Resultado de análisis funcional que afirma que si a(·,·) es una forma bilineal continua (acotada) en un espacio de Hilbert H y es coerciva (existe α>0 con a(v,v) ≥ α||v||^2 para todo v), entonces para todo funcional lineal continuo f existe un único u en H tal que a(u,v) = f(v) para todo v. Proporciona existencia, unicidad y estimaciones a priori para formulaciones variacionales de EDP.

Principio

Continuidad más coercividad de una forma bilineal en un espacio de Hilbert produce un isomorfismo entre el espacio y su dual (vía la representación de Riesz), transformando problemas variacionales en ecuaciones lineales solucionables con dependencia estable respecto de los datos.

Demostración

Formulación débil de la ecuación de Poisson: tomar H = H_0^1(Ω), definir a(u,v) = ∫_Ω ∇u·∇v y f(v)=∫_Ω fv. La forma es continua y coerciva (desigualdad de Poincaré), de modo que Lax–Milgram garantiza un único u con a(u,v)=f(v), es decir, la solución débil de −Δu=f con condiciones de Dirichlet homogéneas.

Aplicación incorrecta

Usar Lax–Milgram cuando falta la coercividad (por ejemplo, formas con núcleo o sin una cota inferior positiva) conduce a afirmaciones incorrectas sobre existencia/unicidad; confundir coercividad con mera positividad o aplicar el teorema fuera del marco de espacios de Hilbert sin adaptar es un error frecuente.

Consecuencia

Proporciona existencia y unicidad de soluciones débiles para una amplia clase de problemas variacionales elípticos, además de estimaciones de estabilidad ||u|| ≤ C||f||. Sustenta las formulaciones por elementos finitos y el análisis de errores al garantizar que el problema variacional continuo está bien planteado.

Inversión

Si se elimina la coercividad, la conclusión se invierte: la unicidad puede fallar y la solvencia puede exigir condiciones de compatibilidad (lo que conduce a alternativas tipo Fredholm); hipótesis más fuertes (coercividad uniforme) mejoran las constantes de estabilidad.

Límite

Se aplica a formas bilineales continuas en espacios de Hilbert con coercividad; no es directamente aplicable a formas indefinidas, a problemas de punto de silla no coercivos (que requieren condiciones de Babuška–Brezzi) ni a formas no lineales sin linealización o hipótesis de monotonicidad.

Tensión semántica

Se contrasta frecuentemente con resultados tipo Fredholm: Lax–Milgram da invertibilidad directa por coercividad, mientras que las alternativas de Fredholm tratan obstrucciones finito-dimensionales cuando la invertibilidad falla. Está también cerca de la representación de Riesz y del teorema de equivalencia de Lax en contextos numéricos.

Síntesis

Lax–Milgram empaqueta continuidad y coercividad en un teorema práctico de solvencia: una forma bilineal acotada y coerciva en un espacio de Hilbert define una biyección estable al dual, produciendo soluciones débiles únicas y estimaciones fundamentales utilizadas en teoría variacional de EDP y análisis numérico.