Youngsche Ungleichung (Produkt)

Allgemeine Form der youngschen Ungleichung: Das grün umrandete Rechteck kann nicht größer sein als die Summe aus gelber und roter Fläche.

Als youngsche Ungleichung - benannt nach William Henry Young - werden in der Mathematik verschiedene Ungleichungen bezeichnet. In diesem Artikel werden drei Ungleichungen beschrieben, die nach Young benannt wurden und eng miteinander in Verbindung stehen. Die zweite und die dritte Ungleichung, die hier aufgeführt werden, ist jeweils ein Spezialfall der vorhergehenden. Alle drei Fassungen ermöglichen es, ein Produkt gegen eine Summe abzuschätzen.

1. In ihrer allgemeinen Form hat die Ungleichung eine einfache und leicht einsichtige geometrische Bedeutung.
2. Von praktischer Wichtigkeit ist eher ein Spezialfall, der zum Beispiel verwendet wird, um die höldersche Ungleichung zu beweisen. Dieser Spezialfall ist zugleich eine wichtige Verallgemeinerung der Ungleichung zwischen dem geometrischen und dem arithmetischen Mittel.
3. Für konkrete Abschätzungen, zum Beispiel im Zusammenhang mit partiellen Differentialgleichungen, benötigt man oft eine skalierte Spezialform.

Aussage

Allgemeine Form

Sei $f : \R_{\ge0} \to \R_{\ge0}$ eine stetige, streng monoton wachsende und unbeschränkte Funktion mit f(0) = 0, und sei f ^{− 1} ihre (somit existierende) Umkehrfunktion, welche dieselben Eigenschaften besitzt.

Dann gilt für alle $a, b \geq 0$:

$ab \leq \int_0^a f(x)\,{\rm d}x + \int_0^b f^{-1}(y)\,{\rm d}y$.

Die Gleichheit gilt genau dann, wenn f(a) = b ist.

Spezialfall

Sind p,q > 1 mit $\tfrac 1p + \tfrac1q = 1$ und $a, b \ge 0$, so gilt:

$ab \leq \frac{a^p}{p} + \frac{b^q}{q}$

mit Gleichheit genau dann, wenn a^p = b^q.

Man erhält dies aus dem allgemeinen Fall, indem man f(x) = x^{p − 1} setzt. Die Umkehrfunktion lautet dann f ^{− 1}(y) = y^{q − 1}.

Andererseits erhält man diese Ungleichung auch als Anwendung der Ungleichung vom gewichteten arithmetischen und geometrischen Mittel für die zwei Summanden a^p und b^q und die Gewichte $\tfrac 1p$ und $\tfrac 1q$.

Der Spezialfall lässt sich auch direkt herleiten (siehe Beweisarchiv).

Skalierte Version des Spezialfalls

Für alle $x, y \in \mathbb{R}, \varepsilon > 0, p, q > 1$ mit $\frac{1}{p} + \frac{1}{q} = 1$ gilt:

$|xy| \leq \varepsilon|x|^p + \frac{(p\varepsilon)^{1-q}}{q}|y|^q.$

Dies erhält man aus dem vorigen Spezialfall für $a := (\varepsilon p)^\frac{1}{p}|x|$ und $b := (\varepsilon p)^{-\frac{1}{p}}|y|$.

Literatur

• R. Cooper: Notes on certain inequalities I, J. London Math. Soc. 2, 17-21 (1927)
• W. H. Young: On classes of summable functions and their Fourier series, Proc. Roy. Soc. (A) 87, 225-229 (1912).
• Alfred Witkowski: On Young's inequality. In: Journal of Inequalities in Pure and Applied Mathematics Bd. 7, Nr. 5, November 2006

Weblinks

• Young's Inequality bei PlanetMath
• Young Inequality bei PlanetMath
• Beweis der youngschen Ungleichung im Beweisarchiv