Eine Familie von Aussagen, die bestimmen, wann ein Sobolev-Raum W^{k,p}(Ω) (einschließlich fraktionaler Varianten) stetig oder kompakt in einen Lebesgue-Raum L^{q}(Ω), einen Hölder-Raum C^{0,α}(Ω) oder einen anderen Sobolev-Raum eingebettet ist; die Aussagen legen Zusammenhänge zwischen Ableitungsordnung, Integrabilitäts-Exponenten und der Raumdimension oder der Regularität von Ω fest.

Prinzip

Ausgleich von Regularität und Integrabilität: Höhere schwache Ableitungen oder stärkere Integrabilität erhöhen punktuelle Kontrolle und Kompaktheit, während Dimension und Geometrie des Gebiets kritische Schwellwerte für Einbettungen bestimmen.

Demonstration

Auf einem beschränkten Lipschitz-Gebiet Ω ⊂ R^n gilt die stetige Einbettung W^{1,p}(Ω)→L^{p*}(Ω) mit p* = np/(n−p) für 1≤pn gilt W^{1,p}(Ω)→C^{0,α}(Ω) mit α=1−n/p. Diese Formeln geben in Standardfällen die expliziten Exponenten an.

Fehlanwendung

Die Einbettung für unbeschränkte oder fraktale Gebiete zu behaupten oder Parameterbereiche außerhalb der Hypothesen anzuwenden (z. B. W^{1,1}(Ω)→L^{∞}(Ω) in Dimension n≥1) führt zu falschen Schlüssen und fehlender Kompaktheit.

Konsequenz

Richtig angewendet liefert sie Kontrolle des punktweisen Verhaltens aus Sobolev-Normen, Kompaktheit beschränkter Folgen (Rellich–Kondrachov-Typ), Existenz von Spuren am Rand und verbesserte Regularität für PDE-Lösungen.

Umkehrung

Scheitern die Exponentenbedingungen (z. B. beim kritischen Exponenten ohne zusätzliche Struktur), so können Einbettungen nicht kompakt sein oder ganz ausfallen; Folgen können konzentrieren oder oszillieren und damit Konvergenz verhindern.

Abgrenzung

Gilt für Sobolev- und fraktionale Sobolev-Räume auf Gebieten oder Mannigfaltigkeiten mit vorgegebener Regularität; schließt gewichtete Sobolev-Räume, bestimmte singuläre Maße und viele unbeschränkte Geometrien ohne Anpassung aus.

Semantische Spannung

Wird häufig mit Sobolev-Ungleichungen (Normabschätzungen) oder Kompaktheits-Sätzen verwechselt; die Einbettungsaussage behandelt Inklusionsabbildungen (stetig/kompakt), während verwandte Ungleichungen Normkontrolle und Konstanten quantifizieren.

Synthese

Sobolev-Einbettungen sind präzise Regeln, die Informationen über schwache Ableitungen und Integrabilität in stärkere Integrabilitäts- oder Stetigkeitsaussagen umwandeln; kritische Schwellen werden durch Ableitungsordnung, Exponenten und Geometrie bestimmt.