Youngsche Ungleichung (Produkt)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
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[Bearbeiten]

Allgemeine Form[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

  • 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 (PDF; 104 kB). In: Journal of Inequalities in Pure and Applied Mathematics Bd. 7, Nr. 5, November 2006

Weblinks[Bearbeiten]