Eine Familie von Funktionsräumen W^{k,p} (bzw. H^s für p=2), die sowohl p‑Integrabilität als auch schwache Differenzierbarkeit bis zur ganzzahligen Ordnung k (oder fraktionellen Ordnung s) misst, indem Funktionen mit Normen versehen werden, die die L^p‑Normen der Funktion und ihrer schwachen Ableitungen kombinieren.

Prinzip

Schwache Ableitungen und L^p‑Integrabilität ersetzen klassische punktweise Ableitungen und Stetigkeit; Sobolev‑Normen kodieren globale Regularität und kontrollieren Oszillation und Integrabilität, Einbettungs‑ und Kompaktheitssätze verknüpfen Sobolev‑Mitgliedschaft mit Stetigkeit oder höherer Integrabilität abhängig von Dimension und Indizes.

Demonstration

H^1(Ω)=W^{1,2}(Ω) ist der natürliche Energieraum für elliptische Variationsprobleme zweiter Ordnung: Lösungen in H^1 haben quadratintegrierbare erste schwache Ableitungen und erfüllen Spur‑ sowie Poincaré‑Ungleichungen, die die Konvergenzanalyse der Finite‑Elemente begründen.

Fehlanwendung

Vorauszusetzen, dass eine Sobolev‑Funktion punktweise stetig oder differenzierbar sei, ohne einen Einbettungssatz zu prüfen (z. B. müssen Funktionen in W^{1,1} nicht stetig sein), was zu falschen Randauswertungen oder Missdeutungen punktweiser Grenzwerte führt.

Konsequenz

Bietet den passenden Funktionalrahmen für schwache Formulierungen von PDE, Variationsmethoden sowie Existenz‑/Eindeutigkeitsbeweise; ermöglicht Interpolation, Regularitätsverbesserung und Kompaktheitsargumente, die in Konvergenz‑ und Stabilitätsanalysen verwendet werden.

Umkehrung

Klassische C^k‑ oder Hölder‑Räume, die punktweise Ableitungen und stärkere Stetigkeit verlangen; diese Räume sind enger, liefern aber stärkere punktweise Kontrolle, wo anwendbar.

Abgrenzung

Definiert für Indizes k (ganzzahlig) oder s (fraktional) und p in [1,∞]; Eigenschaften hängen von der Regularität des Gebietes (beschränkt, Lipschitz), von der Dimension und von kritischen Fällen der Sobolev‑Einbettung ab und erfassen nicht unmittelbar punktuelle singuläre Maße oder nichtlokale Integrabilität über p hinaus.

Semantische Spannung

Spannung zwischen Sobolev‑Regularität (Integrabilität schwacher Ableitungen) und punktweiser Glätte (C^k oder Hölder); ebenfalls Spannung zu Besov‑/Triebel‑Lizorkin‑Skalen, die feinere fraktionale oder anisotrope Regularität auflösen.

Synthese

Ein Sobolev‑Raum ist ein Banach‑(bzw. Hilbert‑bei p=2)Raum von Funktionen, deren schwache Ableitungen bis zu einer vorgegebenen Ordnung in L^p liegen; er liefert die geeignete Regularitätsbegrifflichkeit für Variationsformulierungen, Stabilitätsschätzungen und die Untersuchung partieller Differentialgleichungen und verbindet so globale Integrabilität mit lokalem punktweisen Verhalten.