Una solución que posee las derivadas clásicas (punto por punto) requeridas por las ecuaciones gobernantes, de modo que las relaciones diferenciales se cumplen casi por todas partes; suele pertenecer a espacios de funciones de regularidad elevada (Ck o espacios de Sobolev de orden alto).

Principio

Imponer regularidad suficiente para que todos los operadores diferenciales del modelo puedan evaluarse puntualmente y la EDP se cumpla en el sentido clásico; suele derivarse mediante métodos energéticos, bootstrap de regularidad o suavizado parabólico.

Demostración

Para la ecuación del calor, una solución fuerte u(t,x) puede ser C1 en el tiempo y C2 en el espacio y satisfacer ∂_t u − Δu = f punto por punto para casi todo (t,x); esa regularidad suele surgir de datos iniciales suaves y condiciones de contorno compatibles.

Aplicación incorrecta

Suponer que una solución calculada numéricamente o una solución variacional es fuerte sin verificar diferenciabilidad o condiciones de compatibilidad puede llevar a usos indebidos de identidades puntuales, aplicación incorrecta de principios del máximo o estimaciones de error inválidas.

Consecuencia

Cuando existe una solución fuerte, normalmente se obtiene unicidad, dependencia continua respecto de los datos y la verificación directa de leyes de conservación puntuales; pueden aplicarse técnicas clásicas de EDP (principio del máximo, métodos de características).

Inversión

La inversión es la solución débil, donde la EDP solo se satisface en sentido integrado o distribucional y las derivadas puntuales pueden no existir.

Límite

Requiere que el dominio, los datos iniciales y de contorno y la fuente permitan la regularidad superior; excluye soluciones con choques, esquinas o singularidades donde las derivadas clásicas fallan o solo existen en sentido débil.

Tensión semántica

Hay tensiones entre soluciones fuertes y soluciones mild (semigrupo) o soluciones débiles: las soluciones mild son menos regulares pero pueden garantizar el bien planteamiento cuando no hay diferenciabilidad clásica, mientras que las soluciones fuertes permiten conclusiones más contundentes.

Síntesis

Una solución fuerte es la realización clásica de un modelo: contiene suficiente suavidad para evaluar los operadores diferenciales puntualmente, lo que permite manipulaciones PDE directas, argumentos de unicidad y la aplicación de estimaciones clásicas, siempre que los datos y el dominio sostengan esa regularidad.