Konvergenzmodus in einem topologischen Vektorraum (typischerweise Banach- oder Hilbertraum oder Maßraum), wobei eine Folge x_n schwach gegen x konvergiert, wenn jede stetige lineare Funktional φ gilt: φ(x_n) → φ(x); in Maßräumen verallgemeinert dies schwache-* bzw. enge Konvergenz von Maßen.

Prinzip

Fokus auf Konvergenz von Dualitätspaarungen statt Normen: Schwache Konvergenz erfasst distributionale Grenzwerte und bewahrt Beschränktheit und lineare Nebenbedingungen, ist aber streng schwächer als Normkonvergenz und ermöglicht Kompaktheit via Banach–Alaoglu oder Rellich-Typ-Ergebnisse, wenn Norminjektionen nicht kompakt sind.

Demonstration

In L^2(Ω) besitzt jede beschränkte Folge eine schwach konvergente Teilfolge; z. B. konvergieren normierte oszillatorische Funktionen sin(kx) auf [0,2π] schwach gegen Null, aber nicht stark. Illustratives Szenario: schwache Konvergenz in der Variationsrechnung verwenden, um in linearen Termen einer Energie an die Grenze zu gehen, während nichtlineare, unterhalbstetige Terme zusätzliche Argumente verlangen.

Fehlanwendung

Schwache Konvergenz mit starker Konvergenz zu verwechseln (Annahme von Normkonvergenz, punktweiser Konvergenz oder Konvergenz nichtlinearer Kompositionen) oder zu versuchen, Grenzwerte durch nichtlineare, nicht unterhalbstetige Funktionale ohne Kompaktheit oder Defektmaße zu führen.

Konsequenz

Richtige Verwendung liefert Kompaktheitsaussagen, das Passieren an die Grenze in linearen Formen und Existenzresultate (z. B. schwache Lösungen von PDEs). Sie zeigt auch auf, wann Konzentrations- oder Oszillationsphänomene auftreten und fordert Verfeinerungen (Young-Maße, kompensierte Kompaktheit), wenn schwache Grenzen nicht ausreichen.

Umkehrung

Die Umkehr ist starke (Norm-)Konvergenz: Konvergenz in der von der Norm induzierten Topologie, die Konvergenz aller stetigen linearen Funktionale und oft punktweise oder metrische Eigenschaften impliziert, welche schwache Grenzen nicht haben.

Abgrenzung

Gilt in topologischen Vektorräumen mit einem Dual; schließt Konvergenzbegriffe wie fast-überall-Konvergenz oder starke Operator-TOPologien aus, sofern diese nicht im gegebenen Kontext zusammenfallen. Schwache Konvergenz kontrolliert nicht notwendigerweise nichtlineare Größen oder punktweises Verhalten ohne zusätzliche Struktur.

Semantische Spannung

Spannung zu Konvergenz in Maß, fast-überall-Konvergenz oder enger Konvergenz von Maßen: Diese Begriffe überlappen in manchen Einstellungen, unterscheiden sich aber darin, welche Eigenschaften sie bewahren (z. B. Integrale vs punktwerte vs Gesamtmasse), und Fehlzuordnung führt zu analytischen Fehlern.

Synthese

Schwache Konvergenz ist das auf Dualität basierende Konvergenzkonzept, das Kompaktheit aus Beschränktheit sichert und das Passieren linearer Funktionale an die Grenze ermöglicht, während es die Notwendigkeit zusätzlicher Techniken signalisiert, wenn nichtlineare, punktweise oder starke Eigenschaften verlangt werden.