##  [Satz von Lax-Milgram](/de/node/59683) 

 Definition

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

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

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

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

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

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

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

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

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.