Der Banach-Raum von Funktionen auf einer Domäne, deren schwache Ableitungen bis zur ganzzahligen Ordnung k in L^p liegen; ausgestattet mit der Norm, die die L^p-Normen aller Ableitungen bis zur Ordnung ≤ k kombiniert, kodiert er sowohl Integrierbarkeit als auch (schwache) Glattheit.

Prinzip

Schwache Ableitungen im distributionsmäßigen Sinn definieren, verlangen, dass jede Ableitung von Ordnung ≤ k in L^p liegt, und C_c^∞ (oder C^∞) bezüglich der Norm ||u||_{W^{k,p}} = (∑_{|α|≤k} ||D^α u||_{L^p}^p)^{1/p} (oder dem p-Summen-Äquivalent) vervollständigen, um W^{k,p} zu erhalten.

Demonstration

W^{1,2}(Ω) auf einer beschränkten Lipschitz-Domäne Ω ist der Standard-Energieraum für elliptische PDG; Lösungen mit endlicher Dirichlet-Energie liegen in W^{1,2}, was Variationsformulierungen und kompakte Einbettungen in L^2 oder Hölder-Räume unter dimensionsabhängigen Bedingungen ermöglicht.

Fehlanwendung

Die Zugehörigkeit zu einem Sobolev-Raum als punktweise Differenzierbarkeit überall misszuverstehen — zu behaupten, klassische Ableitungen existierten an allen Punkten — oder Randspuren- und Erweiterungsfragen bei der Anwendung von Einbettungssätzen auf unregelmäßigen Domänen zu ignorieren.

Konsequenz

Sobolev-Räume liefern den natürlichen funktionalen Rahmen für schwache Formulierungen von PDG, Interpolations- und Kompaktheitsresultate sowie Regularitätstheorie; Kontrolle der W^{k,p}-Normen liefert quantitative Abschätzungen für Lösungen und ihre Ableitungen im schwachen Sinn.

Umkehrung

Im Gegensatz zu C^k- oder C^{k,α}-Räumen klassisch differenzierbarer Funktionen: Sobolev-Räume lockern die punktweise Differenzierbarkeit zugunsten integrierbarer schwacher Ableitungen, sodass Funktionen punktuell weniger regulär sein können und dennoch variationale Methoden zulassen.

Abgrenzung

Relative zum Definitionsgebiet und Lebesgue-Maß definiert; Eigenschaften hängen von der Regularität der Domäne, dem Integrabilitätsexponenten p und der Ableitungsordnung k ab. Für fraktionale Ordnungen oder nichtganzzahlige Glattheit treten Besov- oder fraktionale Sobolev-Räume an die Stelle von W^{k,p}.

Semantische Spannung

Wird oft mit Hölder- und Besov-Skalen verglichen: Sobolev-Räume betonen die Integrabilität der Ableitungen und sind natürlich für L^p-basierte PDG-Theorie, während Hölder-Räume punktweise Regularität und Stetigkeit erfassen, was zu unterschiedlichen Einbettungsergebnissen führt.

Synthese

W^{k,p} ist der Banach-Raum von Funktionen, deren distributionsmäßige Ableitungen bis zur Ordnung k in L^p liegen; er liefert den kanonischen Rahmen Integrabilität–Regularität für schwache Lösungen, Variationsanalyse und PDG-Abschätzungen.