Eine Interpolationsungleichung, die eine Zwischen-Lebesgue- oder Sobolev-Norm einer Funktion durch eine multiplikative Kombination aus einer Ableitungsnorm und einer niedrigeren Lp-Norm beschränkt, häufig in der Prototypform ||u||_{L^p} ≤ C ||∇^m u||_{L^r}^α ||u||_{L^q}^{1−α} mit durch Skalierung und Dimension verknüpften Exponenten dargestellt.

Prinzip

Ein Prinzip der konvexen Interpolation: Zwischenregulärität und Integrabilität lassen sich abschätzen, indem man höherordentlichen Ableitungsbedarf gegen niederordentliche Lp-Kontrolle ausbalanciert und Exponenten wählt, die Homogenität und Einbettungsrelationen respektieren.

Demonstration

Auf R^n ergibt sich für 0 ≤ m < k und geeignete p,q,r sowie α ∈ (0,1) mit skalierungskompatiblen Bedingungen ||u||_{L^p(R^n)} ≤ C ||D^k u||_{L^r(R^n)}^α ||u||_{L^q(R^n)}^{1−α}. Veranschaulichend: Gewinn einer L^∞-Schranke durch Interpolation zwischen L^2-Kontrolle und einer H^s-Ableitungsnorm.

Fehlanwendung

Die Anwendung mit Exponenten, die die erforderliche Homogenität oder dimensionsabhängige Einschränkungen verletzen, oder auf Funktionen ohne die angenommene Glattheit bzw. Randverhalten führt zu falschen Abschätzungen.

Konsequenz

Bei korrekter Anwendung liefert sie explizite quantitative Interpolationsabschätzungen, verbindet Regularitätsklassen, erlaubt das Abschließen nichtlinearer Abschätzungen in PDE-Beweisen und bringt Abkling- oder Beschränktheitsergebnisse für Entwicklungsgleichungen.

Umkehrung

Eine formale Umkehrung — also eine Unterabschätzung der Ableitungsnorm durch eine Zwischen- und eine niedrigere Norm — gilt im Allgemeinen nicht ohne zusätzliche Struktur (z. B. Spektrallücke oder Koerzivität) und würde die Richtung der Ungleichung fälschlich umkehren.

Abgrenzung

Setzt präzise Voraussetzungen voraus: zulässige Exponenten verknüpft mit Raumdimension und Ableitungsordnung, passende Funktionsräume (Sobolev- oder Besov-Kontexte) sowie häufig Domain-Regularität oder Randbedingungen; Konstanten hängen vom Gebiet ab, und kritische Endpunkte erfordern oft Verfeinerungen.

Semantische Spannung

Enge Verbindung zu Sobolev-Einbettung und Hölder-Interpolation: Die Gagliardo–Nirenberg-Ungleichung interpoliert zwischen diesen Konzepten, kann aber fälschlich als reine Sobolev-Einbettung oder triviale Hölder-Anwendung missverstanden werden; die Spannung besteht darin, ob man sie als strukturelle Einbettung oder als parametrisierbares Interpolationswerkzeug betrachtet.

Synthese

Die Gagliardo–Nirenberg-Ungleichung vereint ableitungsbasierten und massen-/integrabilitätsbasierten Kontrolle in einer einzigen Interpolationsabschätzung: Durch Wahl skalierungskonformer Exponenten tauscht man Ableitungsstärke gegen Integrabilität, um Zwischenabschätzungen zu erhalten, die für nichtlineare Abschätzungen und PDE-Regularität zentral sind, wobei Domain-, Exponenten- und Glattheitsbedingungen beachtet werden müssen.