# Logarithmisches Mittel

In der Mathematik ist das logarithmische Mittel, also der logarithmische Mittelwert, ein bestimmter Mittelwert, der die Logarithmusfunktion verwendet.

## Definition

Das logarithmische Mittel $M_{\text{lm}}$ zweier verschiedener positivreeller Zahlen $x,y$ ist gegeben durch
    $M_{\text{lm}}(x,y)={\frac {y-x}{\ln {\frac {y}{x}}}}={\frac {y-x}{\ln y-\ln x}}$
Um auch den Fall $x=y$ zu erfassen, definiert man allgemeiner
    $M_{\text{lm}}(x,y)=\lim _{(\xi ,\eta )\to (x,y)}{\frac {\eta -\xi }{\ln \eta -\ln \xi }}$
Dann ist $M_{\text{lm}}(x,x)=x$.

## Eigenschaften

Das logarithmische Mittel ist eine streng monoton wachsende Funktion. Ferner liegt das logarithmische Mittel zwischen dem arithmetischen und geometrischen Mittel:
    ${\sqrt {x\cdot y}}<{\frac {y-x}{\ln y-\ln x}}<{\frac {x+y}{2}}$
Diese Ungleichung gilt für $x,y>0$.
Der Beweis stützt sich auf die grafische Veranschaulichung des zugrunde liegenden Sachverhalts (Figur 1 und Figur 2). Wegen der schon vergebenen Bezeichnungen $x$ und $y$ für die Koordinatenachsen werden hier die positiven reellen Zahlen $a$ und $b$ mit $a<b$ vorgegeben.
Aus Figur 1 resultiert der erste Beweisansatz
    $\int _{a}^{b}{\frac {1}{x}}\,\mathrm {d} x>{\frac {2}{a+b}}(b-a)$.
Nach Stammfunktionsbildung folgt hieraus zunächst
    $\ln(b)-\ln(a)>{\frac {2}{a+b}}(b-a)$
und schließlich nach einer elementaren Ungleichungsoperation
    ${\frac {a+b}{2}}>{\frac {b-a}{\ln(b)-\ln(a)}}$,
womit der rechte Teil der Ungleichung bewiesen ist.
Der zweite Beweisansatz wird aus Figur 2 ersichtlich:
    $\int _{a}^{b}{\frac {1}{x}}\,\mathrm {d} x<{\frac {1}{2}}\cdot \left({\frac {1}{a}}+{\frac {1}{\sqrt {ab}}}\right)\cdot \left({\sqrt {ab}}-a\right)+{\frac {1}{2}}\cdot \left({\frac {1}{b}}+{\frac {1}{\sqrt {ab}}}\right)\cdot \left(b-{\sqrt {ab}}\right)$
Wieder ergibt sich nach Lösen des Integrals und mehreren Äquivalenzumformungen
    $\ln(b)-\ln(a)<{\frac {b-a}{\sqrt {ab}}}$
und abschließend
    ${\sqrt {ab}}<{\frac {b-a}{\ln(b)-\ln(a)}}$.
Damit ist auch der linke Teil der Ungleichung bewiesen.
* Figur 1
* Figur 2

## Anwendungen

Der logarithmische Mittelwert findet in diversen Wissenschaften und technischen Problemen Verwendung. Es tritt meist dann auf, wenn über treibende Gefälle gemittelt wird. Dies ist zum Beispiel bei der integralen Betrachtung von Wärme- oder Stofftransportprozessen der Fall, beispielsweise bei der verfahrenstechnischen Auslegung von Wärmetauschern oder Trennkolonnen.

## Analysis
### Mittelwertsatz

Nach dem Mittelwertsatz der Differentialrechnung gibt es zu einer differenzierbaren Funktion $f\colon [x,y]\rightarrow \mathbb {R}$ ein $\xi \in [x,y]$ mit
    $f'(\xi )={\frac {f(x)-f(y)}{x-y}}.$
Für $f(x)=\ln \,x$ erhält man daraus
    ${\frac {1}{\xi }}={\frac {\ln x-\ln y}{x-y}}\,\,$, also $\xi ={\frac {x-y}{\ln x-\ln y}}$.
Das $\xi$ ist in diesem Fall also der logarithmische Mittelwert aus $x$ und $y$.

### Integration

Außerdem erhält man für die Integration
    ${\begin{array}{rcl}\int \limits _{0}^{1}x^{1-t}y^{t}\ \mathrm {d} t&=&\int \limits _{0}^{1}\left({\frac {y}{x}}\right)^{t}x\ \mathrm {d} t\\&=&x\int \limits _{0}^{1}\left({\frac {y}{x}}\right)^{t}\mathrm {d} t\\&=&{\frac {x}{\ln {\frac {y}{x}}}}\left({\frac {y}{x}}\right)^{t}|_{t=0}^{1}\\&=&{\frac {x}{\ln {\frac {y}{x}}}}\left({\frac {y}{x}}-1\right)\\&=&{\frac {y-x}{\ln y-\ln x}}.\end{array}}$

## Verallgemeinerungen
### Mehrere Variablen

Die Verallgemeinerungen des logarithmischen Mittels auf mehr als zwei Variablen wird seltener verwendet und ist uneinheitlich.
Verallgemeinert man die Idee des Mittelwertsatzes etwa ist
    $L_{\mathrm {MV} }(x_{0},\dots ,x_{n})={\sqrt[{-n}]{(-1)^{(n+1)}\cdot n\cdot \ln[x_{0},\dots ,x_{n}]}}$
wobei $\ln[x_{0},\dots ,x_{n}]$ die dividierten Differenzen des Logarithmus bezeichnen.
Für $n=2$, also für drei Variablen, führt dies zu
    $L_{\mathrm {MV} }(x,y,z)={\sqrt {\frac {(x-y)\cdot (y-z)\cdot (z-x)}{2\cdot ((y-z)\cdot \ln x+(z-x)\cdot \ln y+(x-y)\cdot \ln z)}}}$.
Verallgemeinert man das Integral zu
    $L_{\mathrm {I} }(x_{0},\dots ,x_{n})=\int _{S}x_{0}^{\alpha _{0}}\cdot \dots \cdot x_{n}^{\alpha _{n}}\ \mathrm {d} \alpha$
mit $S=\{(\alpha _{0},\dots ,\alpha _{n})|\alpha _{0}+\dots +\alpha _{n}=1\ \land \ \alpha _{0}\geq 0\ \land \ \dots \ \land \ \alpha _{n}\geq 0\}$ erhielte man
    $L_{\mathrm {I} }(x_{0},\dots ,x_{n})=n!\cdot \exp[\ln x_{0},\dots ,\ln x_{n}]$
und als Spezialfall für drei Variablen
    $L_{\mathrm {I} }(x,y,z)=-2\cdot {\frac {x\cdot (\ln y-\ln z)+y\cdot (\ln z-\ln x)+z\cdot (\ln x-\ln y)}{(\ln x-\ln y)\cdot (\ln y-\ln z)\cdot (\ln z-\ln x)}}$.

### Andere Mittelwerte

Das Stolarsky-Mittel etwa verallgemeinert das logarithmische Mittel.

## Quellen

* Horst Alzer: Ungleichungen für Mittelwerte. Archiv der Mathematik, Vol 47, Nr. 5 / Nov. 1986, doi:10.1007/BF01189983.
* A. O. Pittenger: The logarithmic mean in n variables. In: American Mathematical Monthly, 92 (1985), S. 99–104.
* Gao Jia, Jinde Cao: A New Upper Bound of the Logarithmic Mean. Journal of Inequalities in Pure and Applied Mathematics 4, 4, 2003, 80.