Jensensche Ungleichung - LinkFang.de





Jensensche Ungleichung


Die jensensche Ungleichung ist eine elementare Ungleichung für konvexe und konkave Funktionen. Sie ist wegen ihrer Allgemeinheit Grundlage vieler bedeutender Ungleichungen, vor allem in der Analysis und Informationstheorie. Die Ungleichung ist nach dem dänischen Mathematiker Johan Ludwig Jensen benannt, der sie am 17. Januar 1905 bei einer Konferenz der Dänischen Mathematischen Gesellschaft präsentierte.[1] Unter etwas anderen Voraussetzungen findet sie sich bereits 1889 bei Otto Hölder.[2]

Die jensensche Ungleichung besagt, dass der Funktionswert einer konvexen Funktion an einer endlichen Konvexkombination von Stützstellen stets kleiner oder gleich einer endlichen Konvexkombination von den Funktionswerten der Stützstellen ist. Dies bedeutet insbesondere, dass das gewichtete arithmetische Mittel der Funktionswerte an n Stellen größer oder gleich dem Funktionswert am Mittel dieser n Stellen ist.

Satz

Für eine konvexe Funktion [math]f\;[/math] und für nichtnegative [math]\lambda_i\;[/math] mit [math]\sum_{i=1}^n \lambda_i = 1[/math] gilt:

[math]f\left(\sum_{i=1}^n\lambda_i x_i\right) \leq \sum_{i=1}^n \lambda_i f\left(x_i\right).[/math]

Beweis per Induktion

Verwendet man die heute übliche Definition von „konvex“, dass

[math] f(\lambda x+(1-\lambda)y) \le \lambda f(x)+(1-\lambda)f(y)[/math]

für alle reellen [math]\lambda[/math] zwischen 0 und 1 gelte, so ergibt sich die jensensche Ungleichung einfach durch vollständige Induktion über die Anzahl der Stützstellen.

Beweis von Hölder

Hölder verwendete den Begriff konvex noch nicht und zeigte, dass aus [math]f''\ge 0[/math] bzw. [math]f'\;[/math] monoton steigend die Ungleichung

[math]f\left(\frac{\sum_{i=1}^n a_i x_i}{\sum_{i=1}^n a_i}\right) \le \frac{\sum_{i=1}^n a_i f\left(x_i\right)}{\sum_{i=1}^n a_i}[/math]

für positive [math]a_i\;[/math] folgt, wobei er dies im Wesentlichen mit dem Mittelwertsatz der Differentialrechnung bewies.[2]

Beweis von Jensen

Jensen ging von der schwächeren Definition

[math]f\left(\frac{x+y}{2}\right)\leq\frac{f(x)+f(y)}{2}[/math]

aus und zeigte unter ausdrücklichem Verweis auf den cauchyschen Beweis der Ungleichung vom arithmetischen und geometrischen Mittel mit Vorwärts-Rückwärts-Induktion, dass daraus die Beziehung

[math]f\left(\frac{\sum_{i=1}^n x_i}{n}\right)\leq\frac{\sum_{i=1}^n f\left(x_i\right)}{n}[/math]

für beliebige natürliche Zahlen [math]n\;[/math] folgt. Daraus folgerte er dann weiter, dass

[math]f\left(\frac{\sum_{i=1}^n k_i x_i}{\sum_{i=1}^n k_i}\right)\leq\frac{\sum_{i=1}^n k_i f\left(x_i\right)}{\sum_{i=1}^n k_i}[/math]

für natürliche Zahlen [math]k_i\;[/math] und somit

[math]f\left(\sum_{i=1}^n \lambda_i x_i\right)\leq\sum_{i=1}^n \lambda_i f\left(x_i\right)[/math]

für beliebige rationale und, sofern [math]f\;[/math] stetig ist, auch reelle Zahlen [math]\lambda_i\;[/math] zwischen 0 und 1 mit [math]\sum_{i=1}^n \lambda_i=1[/math] gilt.[1]

Varianten

  • Da für konkave Funktionen [math]f\;[/math] die Funktion [math]-f\;[/math] konvex ist, gilt für konkave Funktionen die jensensche Ungleichung in umgekehrter Richtung, d. h., für jede konkave Funktion [math]f\;[/math] und für positive [math]\lambda_i\;[/math] mit [math]\sum_{i=1}^n \lambda_i = 1[/math] gilt:
[math]f\left(\sum_{i=1}^n\lambda_i x_i\right) \geq \sum_{i=1}^n \lambda_i f(x_i).[/math]
  • Die stetige Variante der jensenschen Ungleichung für eine im Bild von [math]y: [a,b]\to\R[/math] konvexe Funktion [math]f\;[/math] lautet
[math]f\left(\frac{1}{b-a}\int_a^b y(x) \, dx\right) \le \frac1{b-a}\int_a^b f\left(y(x)\right)\, dx.[/math]
  • Die stetige und die diskrete Variante lässt sich in der maßtheoretischen Variante zusammenfassen: Ist [math]\left(\Omega,A,\mu\right)[/math] Maßraum mit [math]\mu(\Omega) = 1\;[/math] und ist [math]y\;[/math] eine μ-integrierbare reellwertige Funktion, so gilt für jede im Bild von [math]y\;[/math] konvexe Funktion [math]f\;[/math] die Ungleichung
[math]f\left(\int_{\Omega} y\, d\mu\right) \le \int_\Omega f \circ y\, d\mu. [/math]
  • Die jensensche Ungleichung ist z. B. für Erwartungswerte anwendbar. Ist [math]f\;[/math] konvex und [math]X\;[/math] eine integrierbare Zufallsvariable, dann gilt
[math]f(E(X)) \le E(f(X)).[/math]
Analoge Aussagen gelten für den bedingten Erwartungswert.

Anwendungen

Die jensensche Ungleichung lässt sich beispielsweise zum Beweis der Ungleichung vom arithmetischen und geometrischen Mittel und der Ky-Fan-Ungleichung verwenden.

Weblinks

 Wikisource: Otto Hölder: Ueber einen Mittelwerthssatz (1889) – Quellen und Volltexte

Einzelnachweise

  1. 1,0 1,1 Johan Ludwig William Valdemar Jensen: Sur les fonctions convexes et les inégalités entre les valeurs moyennes. In Acta Math. 30, Seite 175–193, 1906.
  2. 2,0 2,1 Otto Hölder: Ueber einen Mittelwerthssatz. In: Nachrichten von der Königl. Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen. Aus dem Jahre 1889., Nr. 1-21. Dieterichsche Verlags-Buchhandlung, Göttingen 1889, S. 38 ff. (in Wikisource [abgerufen am 24. März 2012]).

Kategorien: Ungleichung | Analysis

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Jensensche Ungleichung (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.