Función que satisface una ecuación en derivadas parciales en sentido integral o distribuciónal frente a una clase prescrita de funciones test, permitiendo regularidad inferior a la de las soluciones clásicas (diferenciables punto por punto); suele formularse en espacios de Sobolev o de distribuciones.

Principio

Multiplicar la EDP por funciones test suaves de soporte compacto y realizar integraciones por partes formales para transferir derivadas a las test; la formulación débil relaja los requisitos de derivación y codifica condiciones de contorno mediante la elección del espacio de test o términos de traza.

Demostración

Para el problema de Poisson −Δu = f en un dominio con condiciones de Dirichlet y f∈L^2, se busca u∈H^1_0 que satisfaga ∫∇u·∇v = ∫ f v para todo v∈H^1_0; esta formulación variacional débil garantiza existencia y unicidad por el teorema de Lax–Milgram.

Aplicación incorrecta

Tratar una solución débil como si fuera clásica puntual (afirmar igualdades punto por punto cuando no existen derivadas puntuales), o descuidar el papel de los espacios traza al interpretar condiciones de contorno.

Consecuencia

Las formulaciones débiles amplían la teoría de existencia (admiten soluciones en espacios de Sobolev), permiten métodos variacionales y discretizaciones de Galerkin (métodos de elementos finitos) y posibilitan argumentos de estabilidad y compacidad que fallan en marcos clásicos.

Inversión

Una solución clásica (fuerte) satisface la EDP puntualmente con las derivadas requeridas; cuando existe regularidad adicional, una solución débil es también una solución clásica, pero la recíproca puede fallar en baja regularidad.

Límite

Se aplica cuando la EDP y las condiciones de contorno pueden escribirse en forma integrada y existen espacios funcionales adecuados (p. ej. espacios de Sobolev); no es directamente aplicable a EDP cuyos coeficientes o términos de fuente son demasiado singulares sin renormalización o formulaciones en valores de medida.

Tensión semántica

Hay tensión entre las soluciones débiles distributionales/variacionales y otras nociones generalizadas (soluciones muy débiles, soluciones de entropía para leyes de conservación); la elección correcta depende del tipo de ecuación y de las propiedades buscadas (unicidad, conservación).

Síntesis

Una solución débil es un objeto de regularidad inferior que satisface una EDP en sentido integrado/con funciones test, extendiendo la solvencia y proporcionando el marco natural para métodos variacionales y aproximación numérica cuando faltan derivadas clásicas.