Ungleichung von Mulholland

Die Ungleichung von Mulholland (Vorlage:EnS) ist ein Resultat der Analysis, einem der Teilgebiete der Mathematik. Die Ungleichung ist verwandt mit der minkowskischen Ungleichung, welche sich im Wesentlichen aus der mulhollandschen Ungleichung als Korollar ergibt. Sie wurde von Hugh P. Mulholland im Jahre 1950 publiziert und gab Anlass zu einer Reihe weiterführender Untersuchungen.

Formulierung

Das Resultat lässt sich wie folgt angeben:

Gegeben seien das reelle Intervall $I=[0,\mathrm{\infty })$ und eine reelle Funktion $f:I\to I$ mit folgenden Eigenschaften:

(1) $f(0)=0$  .

(2) $f$ ist eine stetige Bijektion und dabei eine streng monoton steigende Funktion.

(3) Die Einschränkung $f{|}_{(0,\mathrm{\infty })}$ auf das Innere des Intervalls ist eine Jensen-konvexe Funktion.

(4) Die durch die Zuordnung $t\mapsto F(t)=\ln \left(f\left(e^t\right)\right)$ gegebene reelle Funktion $F:ℝ\to ℝ$ ist ebenfalls Jensen-konvex.

Dann gilt für jede natürliche Zahl $N>0$ und je zwei $N$-Tupel $(a_1,\dots ,a_N),(b_1,\dots ,b_N)\in I^N$ stets die Ungleichung

$f^{-1}\left(\sum _{i=1}^{N}f(a_i+b_i)\right)\le f^{-1}\left(\sum _{i=1}^{N}f(a_i)\right)+f^{-1}\left(\sum _{i=1}^{N}f(b_i)\right)$  .

Korollar

Nimmt man oben (zu einer gegebenen reellen Zahl $p\ge 1$) als Funktion $f$ die Potenzfunktion $t\mapsto f(t)=t^p(t\ge 0)$, so erhält man eine Version der minkowskischen Ungleichung:

Für jede natürliche Zahl $N>0$ und je zwei $N$-Tupel $(a_1,\dots ,a_N)$ und $(b_1,\dots ,b_N)$ nichtnegativer reeller Zahlen gilt stets

$\sqrt[p]{\sum _{i=1}^N(a_i+b_i{)}^p}\le \sqrt[p]{\sum _{i=1}^N{a_i}^p}+\sqrt[p]{\sum _{i=1}^N{b_i}^p}$  .

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur