Ein Theorem, das aussagt, dass bestimmte Einbettungen von Sobolevräumen (z. B. W^{1,p}(Ω) in L^q(Ω) oder C^0(Ω) bei geeigneten Exponenten- und Regularitätsbedingungen) kompakt sind, wenn der Bereich Ω beschränkt und ausreichend regulär ist.

Prinzip

Die Kontrolle von Normen und Oszillationen durch Sobolew‑Schranken zusammen mit dem Rellich‑Lemma führt zur Präkompaktheit: Beschränkte Folgen in der stärkeren Sobolev‑Norm besitzen Teilfolgen, die in der schwächeren Zielnorm konvergieren, weil Ableitungen feinmaßige Oszillationen einschränken.

Demonstration

Auf einem beschränkten Lipschitz‑Gebiet Ω besitzt jede beschränkte Folge in H^1_0(Ω) eine Teilfolge, die stark in L^2(Ω) konvergiert; dies wird benutzt, um in Variationsbeweisen für elliptische PDEs konvergente Teilfolgen zu extrahieren.

Fehlanwendung

Die Annahme von Kompaktheit auf unbeschränkten Gebieten, bei kritischen Exponenten, wo die Einbettung zwar stetig aber nicht kompakt ist, oder für Folgen ohne gleichmäßige Kontrolle (z. B. Konzentration nach außen) führt zu falschen Kompaktheitsaussagen.

Konsequenz

Stellt die zentrale Kompaktheit bereit, um Grenzprozesse in nichtlinearen PDEs und Variationsproblemen durchzuführen, und ermöglicht so den Nachweis der Existenz schwacher Lösungen und die Begründung von Grenzübertragungen in nichtlinearen Termen.

Umkehrung

Das Gegenteil ist eine nur stetige (nicht kompakte) Einbettung, bei der beschränkte Folgen keine stark konvergenten Teilfolgen besitzen müssen und somit Oszillation oder Konzentration im Grenzwert bestehen bleibt.

Abgrenzung

Voraussetzung sind ein beschränktes Gebiet und geeignete Relationen zwischen Sobolew‑Ordnung, Raumdimension und Integrabilitätsexponenten; die Regularität des Gebiets (z. B. Lipschitz oder C^1) wird häufig angenommen, und fraktionelle oder kritische Fälle erfordern separate Behandlung.

Semantische Spannung

Widerspricht Gegenbeispielen bei kritischen Sobolew‑Exponenten und konkurriert mit Konzentrations‑Kompaktheits‑Techniken, die den Verlust der Kompaktheit durch Translations‑ oder Skaleninvarianten verfeinern; diese Rahmen erklären, wo Rellich–Kondrachov versagt.

Synthese

Rellich–Kondrachov formalisiert, wie Sobolew‑Kontrolle über Ableitungen auf beschränkten, regulären Gebieten Kompaktheit von Einbettungen erzwingt und liefert so den Kompaktheitsmechanismus, der vielen Existenz‑ und Konvergenzargumenten in der PDE‑Theorie zugrunde liegt.