In mathematics , the logarithmic mean , that is, the logarithmic mean , is a certain mean value that uses the logarithmic function.
The logarithmic mean of two different positive real numbers is given by
M.
lm
{\ displaystyle M _ {\ text {lm}}}
x
,
y
{\ displaystyle x, y}
M.
lm
(
x
,
y
)
=
y
-
x
ln
y
x
=
y
-
x
ln
y
-
ln
x
{\ displaystyle M _ {\ text {lm}} (x, y) = {\ frac {yx} {\ ln {\ frac {y} {x}}}} = {\ frac {yx} {\ ln y- \ ln x}}}
In order to also cover the case, one defines more generally
x
=
y
{\ displaystyle x = y}
M.
lm
(
x
,
y
)
=
lim
(
ξ
,
η
)
→
(
x
,
y
)
η
-
ξ
ln
η
-
ln
ξ
{\ displaystyle M _ {\ text {lm}} (x, y) = \ lim _ {(\ xi, \ eta) \ to (x, y)} {\ frac {\ eta - \ xi} {\ ln \ eta - \ ln \ xi}}}
Then is .
M.
lm
(
x
,
x
)
=
x
{\ displaystyle M _ {\ text {lm}} (x, x) = x}
The logarithmic mean is a strictly monotonically increasing function . Furthermore, the logarithmic mean lies between the arithmetic and geometric mean:
x
⋅
y
≤
y
-
x
ln
y
-
ln
x
≤
x
+
y
2
{\ displaystyle {\ sqrt {x \ cdot y}} \ leq {\ frac {yx} {\ ln y- \ ln x}} \ leq {\ frac {x + y} {2}}}
This equation applies to ; Equality if and only if
x
,
y
>
0
{\ displaystyle x, y> 0}
x
=
y
.
{\ displaystyle x = y.}
The logarithmic mean is used in various sciences and technical problems. It usually occurs when averaging over driving slopes. This is the case, for example, with the integral consideration of heat or mass transport processes, for example with the procedural design of heat exchangers or separation columns .
Analysis
Mean theorem
According to the mean value theorem of differential calculus, there is a with
for a differentiable function
f
:
[
x
,
y
]
→
R.
{\ displaystyle f \ colon [x, y] \ rightarrow \ mathbb {R}}
ξ
∈
[
x
,
y
]
{\ displaystyle \ xi \ in [x, y]}
f
′
(
ξ
)
=
f
(
x
)
-
f
(
y
)
x
-
y
.
{\ displaystyle f '(\ xi) = {\ frac {f (x) -f (y)} {xy}}.}
For one gets from it
f
(
x
)
=
ln
x
{\ displaystyle f (x) = \ ln \, x}
1
ξ
=
ln
x
-
ln
y
x
-
y
{\ displaystyle {\ frac {1} {\ xi}} = {\ frac {\ ln x- \ ln y} {xy}} \, \,}
, so .
ξ
=
x
-
y
ln
x
-
ln
y
{\ displaystyle \ xi = {\ frac {xy} {\ ln x- \ ln y}}}
That is so in this case the logarithmic mean of and .
ξ
{\ displaystyle \ xi}
x
{\ displaystyle x}
y
{\ displaystyle y}
integration
You also get for integration
∫
0
1
x
1
-
t
y
t
d
t
=
∫
0
1
(
y
x
)
t
x
d
t
=
x
∫
0
1
(
y
x
)
t
d
t
=
x
ln
y
x
(
y
x
)
t
|
t
=
0
1
=
x
ln
y
x
(
y
x
-
1
)
=
y
-
x
ln
y
-
ln
x
.
{\ displaystyle {\ 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 {yx} {\ ln y- \ ln x}} . \ end {array}}}
Generalizations
Multiple variables
The generalizations of the log mean to more than two variables are used less often and are inconsistent.
If one generalizes the idea of the mean theorem is roughly
L.
M.
V
(
x
0
,
...
,
x
n
)
=
(
-
1
)
(
n
+
1
)
⋅
n
⋅
ln
[
x
0
,
...
,
x
n
]
-
n
{\ displaystyle L _ {\ mathrm {MV}} (x_ {0}, \ dots, x_ {n}) = {\ sqrt [{- n}] {(- 1) ^ {(n + 1)} \ cdot n \ cdot \ ln [x_ {0}, \ dots, x_ {n}]}}}
where denotes the divided differences of the logarithm.
ln
[
x
0
,
...
,
x
n
]
{\ displaystyle \ ln [x_ {0}, \ dots, x_ {n}]}
For , that is for three variables, this leads to
n
=
2
{\ displaystyle n = 2}
L.
M.
V
(
x
,
y
,
z
)
=
(
x
-
y
)
⋅
(
y
-
z
)
⋅
(
z
-
x
)
2
⋅
(
(
y
-
z
)
⋅
ln
x
+
(
z
-
x
)
⋅
ln
y
+
(
x
-
y
)
⋅
ln
z
)
{\ displaystyle L _ {\ mathrm {MV}} (x, y, z) = {\ sqrt {\ frac {(xy) \ cdot (yz) \ cdot (zx)} {2 \ cdot ((yz) \ cdot \ ln x + (zx) \ cdot \ ln y + (xy) \ cdot \ ln z)}}}}
.
One generalizes the integral to
L.
I.
(
x
0
,
...
,
x
n
)
=
∫
S.
x
0
α
0
⋅
⋯
⋅
x
n
α
n
d
α
{\ displaystyle L _ {\ mathrm {I}} (x_ {0}, \ dots, x_ {n}) = \ int _ {S} x_ {0} ^ {\ alpha _ {0}} \ cdot \ dots \ cdot x_ {n} ^ {\ alpha _ {n}} \ \ mathrm {d} \ alpha}
with
you would get
S.
=
{
(
α
0
,
...
,
α
n
)
|
α
0
+
⋯
+
α
n
=
1
∧
α
0
≥
0
∧
...
∧
α
n
≥
0
}
{\ displaystyle S = \ {(\ alpha _ {0}, \ dots, \ alpha _ {n}) | \ alpha _ {0} + \ dots + \ alpha _ {n} = 1 \ \ land \ \ alpha _ {0} \ geq 0 \ \ land \ \ dots \ \ land \ \ alpha _ {n} \ geq 0 \}}
L.
I.
(
x
0
,
...
,
x
n
)
=
n
!
⋅
exp
[
ln
x
0
,
...
,
ln
x
n
]
{\ displaystyle L _ {\ mathrm {I}} (x_ {0}, \ dots, x_ {n}) = n! \ cdot \ exp [\ ln x_ {0}, \ dots, \ ln x_ {n}] }
and as a special case for three variables
L.
I.
(
x
,
y
,
z
)
=
-
2
⋅
x
⋅
(
ln
y
-
ln
z
)
+
y
⋅
(
ln
z
-
ln
x
)
+
z
⋅
(
ln
x
-
ln
y
)
(
ln
x
-
ln
y
)
⋅
(
ln
y
-
ln
z
)
⋅
(
ln
z
-
ln
x
)
{\ displaystyle 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)}} }
.
Other means
The Stolarsky mean, for example, generalizes the logarithmic mean.
swell
Horst Alzer: Inequalities for mean values . Archive of Mathematics, Vol 47, No. 5 / Nov. 1986, doi: 10.1007 / BF01189983 .
AO Pittenger: The logarithmic mean in n variables . In: American Mathematical Monthly, 92 (1985), pp. 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.
Individual evidence
↑ Eric W. Weisstein: Arithmetic-Logarithmic-Geometric-Mean-Inequality and Napier's Inequality in MathWorld
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">