Eine Ungleichung, die die L^p-Norm einer Funktion (nach Entfernung eines rigiden Modus wie Mittelwert oder Randspur) durch die L^p-Norm ihres Gradienten auf einem Gebiet begrenzt und damit zeigt, dass der Gradient die Funktion bis auf Konstanten kontrolliert.

Prinzip

Koe­rzi­vi­tätsprinzip: Auf einem beschränkten Gebiet mit geeigneten Nebenbedingungen (z. B. Mittelwert null oder Dirichlet-Randbedingung) existiert eine Konstante C mit ||u−u_mean||_{L^p} ≤ C ||∇u||_{L^p}, was zeigt, dass die Gradienten-Norm die Funktion modulo dem Kern des Gradienten (Konstanten) kontrolliert.

Demonstration

Auf einem beschränkten Lipschitz-Gebiet Ω und p∈[1,∞) besagt die klassische Poincaré-Ungleichung für u∈W^{1,p}(Ω) mit ∫_Ω u=0, dass ||u||_{L^p(Ω)} ≤ C(Ω,p) ||∇u||_{L^p(Ω)}; dies wird verwendet, um Koe­rzi­vi­tät bilinearer Formen in schwachen Formulierungen zu zeigen.

Fehlanwendung

Die Ungleichung auf einem unbeschränkten Gebiet ohne Anpassung anzuwenden oder zu unterlassen, den Kern (Konstanten) zu entfernen, sodass die linke Seite gegenüber dem Gradienten beliebig groß werden kann, macht die Abschätzung ungültig.

Konsequenz

Sie liefert Koe­rzi­vi­tät in Variationsproblemen, Kompaktheit für Folgen mit beschränkten Gradienten, Poincaré-Konstanten, die die Abhängigkeit von der Geometrie quantifizieren, und ist grundlegend für Existenz-/Eindeutigkeitsbeweise bei elliptischen PDEs.

Umkehrung

Die Umkehrung der Ungleichung würde den Gradienten durch die Funktionennorm allein kontrollieren, was im Allgemeinen falsch ist (Funktionen können kleine L^p-Norm, aber stark oszillierende Gradienten haben); daher ist die Kontrolle Gradient→Funktion gerichtet, nicht symmetrisch.

Abgrenzung

Gilt unter Voraussetzungen an Gebiet und Nebenbedingungen (Beschränktheit, Zusammenhängigkeit, geeignete Randbedingungen oder Mittelwertbedingung); die Konstanten hängen von der Geometrie ab und die Ungleichung versagt auf Gebieten ohne diese Eigenschaften oder für Funktionen außerhalb der Sobolev-Klasse.

Semantische Spannung

Eng verwandt mit Friedrichs- und Sobolev-Ungleichungen: Friedrichs ist eine Variante für auf Teilen des Randes verschwindende Funktionen; Sobolev-Ungleichungen verstärken Poincaré, indem sie Gradienten in höhere L^q-Normen einbetten unter dimensionalen Bedingungen.

Synthese

Die Poincaré-Ungleichung besagt, dass auf geeigneten beschränkten Gebieten und nach Entfernung rigider Modi die L^p-Größe einer Funktion durch die L^p-Größe ihres Gradienten kontrolliert wird: eine quantitative Aussage zur Koe­rzi­vi­tät, die Oszillation mit Ableitungsstärke verknüpft.