Ungleichung, die das Integral (oder die Summe) des Produkts zweier messbarer Funktionen durch das Produkt ihrer L^p- bzw. L^q-Normen beschränkt, wenn die Exponenten p und q konjugiert sind (1/p + 1/q = 1).

Prinzip

Für 1 ≤ p,q ≤ ∞ mit 1/p + 1/q = 1 gilt: wenn f∈L^p und g∈L^q, dann ist fg integrierbar und ∫ |f g| ≤ ||f||_p ||g||_q. Die verallgemeinerte Form umfasst endliche Familien mittels Hölder für mehrere Faktoren mit reziproken Exponenten, die sich zu 1 summieren.

Demonstration

Beispiel: Für p=q=2 auf einem Wahrscheinlichkeitsraum reduziert sich Hölder auf Cauchy–Schwarz: |∫ f g| ≤ ||f||_2 ||g||_2. Konkret ist bei quadratintegrierbaren Signalen f und g das Skalarprodukt durch das Produkt der L^2-Normen beschränkt.

Fehlanwendung

Hölder mit nicht-konjugierten Exponenten anzuwenden oder auf Funktionen, die nicht in den angegebenen L^p-Räumen liegen, ist ungültig; ebenso gilt Hölder nicht für p<1, da L^p dort keine Norm liefert.

Konsequenz

Hölder ist zentrales Werkzeug zur Abschätzung von Integralen und Summen, zur Darstellung der Dualität von L^p- und L^q-Räumen und zum Herleiten weiterer Ungleichungen (Minkowski, Young) sowie zur Abschätzung linearer Operatoren.

Umkehrung

Es gibt keine allgemeine Umkehrung: man kann im Allgemeinen ||f||_p ||g||_q nicht durch ∫ |f g| nach oben beschränken. Der Gleichheitsfall charakterisiert Proportionalitätsbedingungen zwischen |f|^p und |g|^q (fast überall).

Abgrenzung

Gilt für 1 ≤ p,q ≤ ∞ mit der Konjugationsbedingung 1/p+1/q=1; schließt Quasi-Norm-Bereiche p<1 aus und verlangt die Zugehörigkeit der Funktionen zu den jeweiligen L^p- und L^q-Räumen.

Semantische Spannung

Spannungen bestehen zu Minkowski (Dreiecksungleichung in L^p) und Young (Faltung); inhaltlich handelt Hölder von der Übertragung von Integrabilität zwischen Faktoren, während andere Ungleichungen Summations- oder Faltungsstrukturen regeln.

Synthese

Höldersche Ungleichung besagt, dass das Integral eines Produkts durch das Produkt der L^p-Normen für konjugierte Exponenten kontrolliert wird und legt damit die Basis für Dualität und Abschätzungen in der Analysis.