Eine Funktion (oder Äquivalenzklasse von Funktionen), die eine Differentialgleichung erfüllt, wenn sie gegen eine Klasse von Testfunktionen integriert wird, so dass Ableitungen im Sinn von Distributionen auftreten und Randbedingungen über Spuren oder den Testraum kodiert sind.

Prinzip

Ersetze punktweise Differentiation durch Integration gegen glatte kompakt getragene Testfunktionen und nutze partielle Integration, um Ableitungen auf Testfunktionen zu verschieben und damit die Regularitätsanforderungen an die Lösung zu senken.

Demonstration

Eine Funktion u∈H0^1(Ω) ist eine schwache Lösung von -Δu=f in Ω genau dann, wenn ∫_Ω ∇u·∇φ = ∫_Ω f φ für alle φ∈C∞_c(Ω); Existenz folgt aus Lax–Milgram, wenn die bilineare Form koerziv ist.

Fehlanwendung

Anzunehmen, eine schwache Lösung müsse klassisch differenzierbar sein, ohne elliptische Regularität oder zusätzliche Glattheitsannahmen zu prüfen, was zu falschen Interpretationen von Randwerten führt.

Konsequenz

Ermöglicht Existenz- und Eindeutigkeitsaussagen unter minimaler Regularität, die Anwendung variationaler Methoden und finite-Element-Approximation; schwache Lösungen sind der natürliche Zielraum für viele lineare und nichtlineare PDEs.

Umkehrung

Eine starke (klassische) Lösung erfüllt die Differentialgleichung punktweise mit klassischen Ableitungen; die Umkehrung der schwachen Idee erzwingt strengere Differenzierbarkeit und punktweise Gleichheit statt integrierter Identitäten.

Abgrenzung

Gilt, wenn die PDE und Randbedingungen distributionell interpretiert werden können und die Lösung in einem Funktionsraum liegt, in dem die Integrale definiert sind; schließt Gleichungen aus, die punktweise nicht definierte nichtlineare Operationen für Distributionen erfordern.

Semantische Spannung

Steht im Gegensatz zu Viskositätslösungen: Beide sind verallgemeinerte Lösungskonzepte für PDEs, aber Viskositätslösungen nutzen Vergleichsprinzipien und eignen sich für vollständig nichtlineare Gleichungen niedrigerer Ordnung, während schwache Lösungen variational/distributionell sind.

Synthese

Eine schwache Lösung ist ein Objekt, das eine Differentialgleichung im distributionellen Sinn durch Testen gegen glatte Funktionen erfüllt, wodurch geringere Glattheitsanforderungen mit dem variationalen Gehalt der Gleichung vereinbart werden.