Funktionalanalytisches Ergebnis, das aussagt: Ist a(·,·) eine stetige (beschränkte) bilineare Form auf einem Hilbertraum H und koerziv (es existiert α>0 mit a(v,v) ≥ α||v||^2 für alle v), so existiert zu jedem stetigen linearen Funktional f genau ein u∈H mit a(u,v)=f(v) für alle v. Es liefert Existenz, Eindeutigkeit und a-priori Abschätzungen für variationale Formulierungen von PDEs.

Prinzip

Stetigkeit plus Koerzivität einer bilinearen Form auf einem Hilbertraum erzeugen ein Isomorphismus zwischen dem Raum und seinem Dual (mittels Riesz-Darstellung), so dass Variationsprobleme zu lösbaren linearen Gleichungen mit stabiler Datenabhängigkeit werden.

Demonstration

Schwache Formulierung der Poisson-Gleichung: Setze H = H_0^1(Ω), a(u,v) = ∫_Ω ∇u·∇v, f(v)=∫_Ω fv. Die Form ist stetig und koerziv (Poincaré-Ungleichung), also garantiert Lax–Milgram ein eindeutiges u mit a(u,v)=f(v), d.h. die schwache Lösung von −Δu=f mit homogenen Dirichlet-Randbedingungen.

Fehlanwendung

Lax–Milgram anzuwenden, wenn Koerzitivität fehlt (z. B. Formen mit Kern oder ohne positive untere Schranke) führt zu falschen Behauptungen über Existenz/Eindeutigkeit; Koerzitivität mit bloßer Positivität zu verwechseln oder den Satz außerhalb des Hilbertraumrahmens ohne Anpassung zu verwenden ist ein häufiger Fehler.

Konsequenz

Ermöglicht die Existenz und Eindeutigkeit schwacher Lösungen für eine breite Klasse elliptischer Variationsprobleme sowie Stabilitätsabschätzungen ||u|| ≤ C||f||. Er bildet die Grundlage für die Finite-Elemente-Formulierung und Fehleranalyse, indem er die wohlgestellteheit des kontinuierlichen Variationsproblems sichert.

Umkehrung

Fällt die Koerzitivität weg, kehrt sich die Schlussfolgerung um: Eindeutigkeit kann versagen und Lösbarkeit kann Kompatibilitätsbedingungen erfordern (führt zu Fredholm-ähnlichen Alternativen); stärkere Annahmen (uniforme Koerzitivität) verbessern die Stabilitätskonstanten.

Abgrenzung

Gilt für stetige bilineare Formen auf Hilberträumen mit Koerzitivität; nicht unmittelbar anwendbar auf indefinite Formen, nichtkoerzive Sattelpunktprobleme (die Babuška–Brezzi-Bedingungen erfordern) oder auf nichtlineare Formen ohne geeignete Linearisation oder Monotonieannahmen.

Semantische Spannung

Wird oft gegenüber Fredholm-Resultaten gesetzt: Lax–Milgram liefert Invertierbarkeit durch Koerzitivität, während Fredholm-Alternativen endliche Hindernisse behandeln, wenn Invertierbarkeit fehlt. Er steht auch nahe an der Riesz-Darstellung und dem Lax-Äquivalenzsatz in numerischen Kontexten.

Synthese

Lax–Milgram bündelt Stetigkeit und Koerzitivität in einem praktischen Lösbarkeitssatz: Eine koerzive, beschränkte bilineare Form auf einem Hilbertraum definiert eine stabile Bijektion zum Dual und liefert eindeutige schwache Lösungen sowie grundlegende Abschätzungen, die in variationaler PDE-Theorie und numerischer Analyse zentral sind.