Ein Banach- (oder Hilbert-)Raum von Äquivalenzklassen von Funktionen auf einer Domäne, deren schwache Ableitungen bis zu einer angegebenen Ordnung in einem Lp-Raum liegen; üblicherweise bezeichnet als W^{k,p} oder H^{k} für p=2.

Prinzip

Regulärität von Funktionen nach der Integrierbarkeit schwacher Ableitungen statt punktweiser Differenzierbarkeit zu ordnen und damit klassische Glattheit durch Kontrolle des durchschnittlichen Verhaltens zu ersetzen.

Demonstration

H1(Ω) ist der Abschluss von C∞_c(Ω) bezüglich der Norm ||u||_{H1}= (||u||_{L2}^2+||∇u||_{L2}^2)^{1/2}; Variationslösungen elliptischer Randwertprobleme liegen natürlicherweise in H1(Ω).

Fehlanwendung

Eine schwache Ableitung überall als punktweise Ableitung zu behandeln und klassische Spuren ohne Nachweis der Spuren-Sätze oder zusätzlicher Regularität anzuwenden.

Konsequenz

Ermöglicht Existenz- und Kompaktheitsresultate (z. B. Rellich–Kondrachov-Einbettungen) und a-priori-Schranken für PDEs durch Kontrolle von Lp-Normen der Ableitungen statt punktweisem Verhalten.

Umkehrung

Die klassischen C^k-Räume verlangen punktweise stetige Ableitungen der Ordnung k; die Umkehrung ersetzt die Integrabilitäts-basierte Regularität durch gleichmäßige punktweise Glattheit.

Abgrenzung

Gilt für messbare Funktionen auf Domänen mit Lebesgue-Maß und für Ordnungen und p, für die schwache Ableitungen existieren; schließt Distributionen aus, die nicht durch Lp-Funktionen darstellbar sind, sowie Kontexte, die fraktionale oder Besov- Regularität erfordern.

Semantische Spannung

Oft im Gegensatz zu Hölder-Räumen betrachtet: Beide quantifizieren Regularität, aber Sobolev-Räume betonen die Integrabilität der Ableitungen, Hölder-Räume den gleichmäßigen Stetigkeitsgrad.

Synthese

Ein Sobolevraum ist der Raum der Funktionen, deren schwache Ableitungen bis zu einer gegebenen Ordnung Lp-integrierbar sind und bietet einen integrabilitätsbasierten Rahmen zur Analyse von Existenz, Stabilität und Approximation von PDE-Lösungen.