Teorema de Lax-Milgram

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.