Una solución en el sentido de viscosidad es una noción generalizada de solución para ciertas ecuaciones en derivadas parciales no lineales de primer y segundo orden, definida por comparación con funciones test suaves en lugar de por derivadas clásicas punto a punto.

Principio

Caracterizar sub- y supersoluciones admisibles mediante tangencia local con funciones test C^∞ y aplicar un principio de comparación que seleccione una solución continua única bajo condiciones adecuadas.

Demostración

Para la ecuación de Hamilton–Jacobi u_t + H(x,Du)=0 en R^n, una función continua u es una subsolución en el sentido de viscosidad si para cada φ suave tal que u−φ tiene un máximo local en x0 se cumple φ_t(x0)+H(x0,Dφ(x0))≤0 (análogamente para supersoluciones).

Aplicación incorrecta

Tratar una solución de viscosidad como una solución distribucional o en sentido de Sobolev y usar identidades de integración por partes que requieren derivadas casi en todas partes puede conducir a conclusiones incorrectas sobre unicidad o regularidad.

Consecuencia

Cuando el principio de comparación vale, se obtiene existencia y unicidad en el marco de soluciones de viscosidad; además se logra estabilidad frente a límites uniformes y esquemas de aproximación monótonos.

Inversión

Una solución clásica satisface la ecuación PDE punto por punto con las derivadas requeridas — si existe una solución clásica, también es solución de viscosidad; esto subraya que las soluciones de viscosidad amplían a las clásicas.

Límite

Se aplica a PDE plenamente no lineales donde pueden faltar soluciones clásicas; no sustituye a los marcos débiles distribucionales en PDE lineales, donde se emplean otras formulaciones débiles.

Tensión semántica

Existe tensión con la noción de solución distribucional: las soluciones de viscosidad se basan en comparación puntual con tests suaves, mientras que las distribucionales usan identidades integrales y espacios funcionales.

Síntesis

La solución en el sentido de viscosidad es el concepto generalizado, basado en la comparación y estable, para PDE no lineales cuando faltan derivadas, que extiende soluciones clásicas y asegura bien‑puesto.