Résultat d'analyse fonctionnelle affirmant que si a(·,·) est une forme bilinéaire continue (bornée) sur un espace de Hilbert H et coercive (il existe α>0 tel que a(v,v) ≥ α||v||^2 pour tout v), alors pour tout fonctionnel linéaire continu f il existe un unique u dans H vérifiant a(u,v) = f(v) pour tout v. Il assure existence, unicité et estimations a priori pour des formulations variationnelles de PDE.

Principe

Continuité et coercivité d'une forme bilinéaire sur un espace de Hilbert induisent un isomorphisme entre l'espace et son dual (via la représentation de Riesz), transformant les problèmes variationnels en équations linéaires résolubles avec dépendance stable vis-à-vis des données.

Démonstration

Formulation faible de l'équation de Poisson : prendre H = H_0^1(Ω), poser a(u,v) = ∫_Ω ∇u·∇v et f(v)=∫_Ω fv. La forme est continue et coercive (inégalité de Poincaré), donc Lax–Milgram garantit un unique u tel que a(u,v)=f(v), c'est-à-dire la solution faible de −Δu=f avec conditions de Dirichlet homogènes.

Mauvaise application

Employer Lax–Milgram lorsque la coercivité fait défaut (par exemple des formes avec noyau ou absence d'une borne inférieure positive) conduit à des affirmations erronées sur existence/unicité ; confondre coercivité et simple positivité ou appliquer le théorème hors du cadre des espaces de Hilbert sans adaptation sont des erreurs courantes.

Conséquence

Assure l'existence et l'unicité de solutions faibles pour une large classe de problèmes elliptiques variationnels, ainsi que des estimations de stabilité ||u|| ≤ C||f||. Il fonde les formulations aux éléments finis et l'analyse d'erreur en garantissant le bien posé continu du problème variationnel.

Inversion

Si l'on supprime la coercivité, la conclusion se renverse : l'unicité peut échouer et la résolubilité peut exiger des conditions de compatibilité (menant vers des alternatives de type Fredholm) ; inversement, des hypothèses plus fortes (coercivité uniforme) améliorent les constantes de stabilité.

Limite

S'applique aux formes bilinéaires continues sur espaces de Hilbert avec coercivité ; il ne s'applique pas directement aux formes indéfinies, aux problèmes de type selle non coercifs (qui requièrent des conditions de Babuška–Brezzi), ni aux formes non linéaires sans linéarisation ou hypothèses de monotonicité.

Tension sémantique

Souvent mis en contraste avec des résultats de type Fredholm : Lax–Milgram donne une inversibilité directe par coercivité, tandis que les alternatives de Fredholm traitent des obstructions de dimension finie lorsque l'inversibilité fait défaut. Il est aussi proche de la représentation de Riesz et du théorème d'équivalence de Lax en contextes numériques.

Synthèse

Lax–Milgram rassemble continuité et coercivité en un théorème de résolubilité pratique : une forme bilinéaire bornée et coercive sur un espace de Hilbert définit une bijection stable vers le dual, conduisant à des solutions faibles uniques et à des estimations fondamentales pour la théorie variationnelle des PDE et l'analyse numérique.