Eine Familie von Einbettungsungleichungen, die Normen von Funktionen in Lebesgue-Räumen durch Normen ihrer schwachen Ableitungen in Sobolev-Räumen beschränken und aussagen, dass ausreichende Integrabilität der Ableitungen zu verbesserter Integrabilität oder Stetigkeit der Funktion selbst führt.

Prinzip

Ableitungen kontrollieren Integrabilität und Regularität: das Ausmaß der Integrabilität und die Anzahl der Ableitungen bestimmen den Ziel-Lebesgue- oder Hölder-Raum, wobei kritische Exponenten durch die Raumdimension und Skalierungsinvarianz festgelegt sind.

Demonstration

In R^n für n>2 besagt die Standard-Sobolev-Einbettung, dass Funktionen der homogenen Sobolevklasse mit einer quadratintegrierbaren Ableitung in L^{2n/(n−2)} eingebettet sind; eine H^1-Funktion besitzt damit eine L^q-Schranke mit q = 2n/(n−2). Auf beschränkten Gebieten gelten ähnliche Einbettungen mit domänabhängigen Konstanten und Randbedingungen.

Fehlanwendung

Eine Sobolev-Einbettung anzuwenden, ohne Dimension, Integrabilitätsexponenten oder Randregularität zu prüfen; eine Einbettung im kritischen Exponenten als kompakt zu behandeln, obwohl Kompaktheit ausfallen kann und Kontrolle verloren geht.

Konsequenz

Stellt den funktionellen Rahmen für Existenz, Eindeutigkeit und Regularität von Lösungen elliptischer und parabolischer PDE bereit, kontrolliert nichtlineare Terme durch passende Normen und liefert Interpolations- und Kompaktheitsresultate, die in Variationsmethoden wesentlich sind.

Umkehrung

Wenn Ableitungen nicht genügend integrierbar sind oder die Dimension zu hoch ist, versagen die Einbettungen und Funktionen können singuläres Verhalten zeigen; die umgekehrte Erkenntnis ist, dass Regularität der Ableitungen notwendig ist, um Integrabilität oder Stetigkeit der Funktion zu erhöhen.

Abgrenzung

Hängt kritisch von Raumdimension, Ableitungsordnung und Lebesgue-Exponenten ab; fällt in kritischen oder überkritischen Kombinationen ohne zusätzliche Struktur aus und verlangt, dass Funktionen schwache Ableitungen im betreffenden Sobolev-Raum besitzen.

Semantische Spannung

Weist Überschneidungen mit Poincaré- und Gagliardo–Nirenberg-Ungleichungen sowie Spuroperatoren auf: Sobolev liefert globale Einbettungskontrolle, verwandte Ungleichungen tauschen Ableitungsordnung, Integrabilität und Randspuren unterschiedlich aus.

Synthese

Sobolev-Ungleichungen formen formal die Aussage, wie Kontrolle über schwache Ableitungen die Integrabilität und Regularität einer Funktion quantitativ verbessert: sie liefern Abbildungsregeln von Sobolev-Räumen in Lebesgue- oder Hölder-Räume, bestimmt durch Dimension und Ableitungsordnung.