対数平均

対数平均の3次元グラフ

対数平均（たいすうへいきん、テンプレート:Lang-en-short）とは、下記式で定義される値のこと。

$\begin{array}{cc}{M}_{\text{lm}}(x,y)& =\underset{(\xi ,\eta )\to (x,y)}{\lim }\frac{\eta -\xi }{\ln \eta -\ln \xi }\\ & =\{\begin{array}{cc}0& \text{if }x=0\text{ or }y=0,\\ x& \text{if }x=y,\\ \frac{y-x}{\ln y-\ln x}& \text{otherwise}\end{array}\end{array}$

テンプレート:Math は0以上の実数である。

伝熱などで使われる。対数平均温度差も参照。幾何平均と混同しないように注意。

他の平均との関係

幾何平均 ≤ 対数平均 ≤ 算術平均が成立する。

$\sqrt{xy}\le M_{\text{lm}}(x,y)\le \frac{x+y}{2}\text{ for all }x\ge 0\text{ and }y\ge 0.$

また、以下の関係式も成り立つ。

• 算術平均: $\frac{M_{\text{lm}}(x^2,y^2)}{M_{\text{lm}}(x,y)}=\frac{x+y}{2}$
• 幾何平均: $\sqrt{\frac{M_{\text{lm}}(x,y)}{M_{\text{lm}}(\frac{1}{x},\frac{1}{y})}}=\sqrt{xy}$
• 調和平均: $\frac{M_{\text{lm}}(\frac{1}{x},\frac{1}{y})}{M_{\text{lm}}(\frac{1}{x^2},\frac{1}{y^2})}=\frac{2}{\frac{1}{x}+\frac{1}{y}}$

由来

平均値の定理によるもの

平均値の定理から、導関数 テンプレート:Math が割線の傾きに等しくなるような実数 テンプレート:Math が区間 テンプレート:Math の中に存在する。すなわち

$\mathrm{\exists }\xi \in (x,y):f^{\prime }(\xi )=\frac{f(x)-f(y)}{x-y}.$

対数平均は関数 テンプレート:Math に自然対数 ln を、そしてその導関数 テンプレート:Math に テンプレート:Math を代入し、テンプレート:Math について解くことで得られる。

$\begin{array}{cc}& \frac{1}{\xi }=\frac{\ln x-\ln y}{x-y}\\ \therefore & M_{\text{lm}}=\xi =\frac{x-y}{\ln x-\ln y}\end{array}$

積分によるもの

対数平均は指数関数を用いた面積として解釈することもできる。

$M_{\text{lm}}(x,y)=\underset{0}{\overset{1}{\int }}{x}^{1-t}{y}^t\mathrm{d}t=\frac{y-x}{\ln y-\ln x}.$

この解釈により対数平均がもついくつかの基本的な特性を簡単に導出できる。指数関数は単調であるため、長さ 1 の区間での積分は テンプレート:Math によって制限される。積分演算子の斉次性も対数平均に反映され、

$M_{\text{lm}}(cx,cy)=c{M}_{\text{lm}}(x,y)$

となる。

以下のように、他にも対数平均を導く有用な積分表現がある。

• $\frac{1}{M_{\text{lm}}(x,y)}=\underset{0}{\overset{1}{\int }}\frac{\mathrm{d}t}{tx+(1-t)y}$
• $\frac{1}{M_{\text{lm}}(x,y)}=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\mathrm{d}t}{(t+x)(t+y)}$

一般化

2種類の由来に応じて対数平均の一般化にも2つの方法があり、それぞれ異なる結果を与える。

平均値の定理によるもの

対数の テンプレート:Math 階導関数についての差商に対する平均値の定理を考慮することにより、対数平均を テンプレート:Math 変数に一般化できる。結果、

$M_{\text{MV}}(x_0,\dots ,x_n)=\sqrt[-n]{(-1{)}^{n-1}n\ln [x_0,\dots ,x_n]}$

を得る。ただし テンプレート:Math は対数の差商を表し、差商に対する平均値の定理よりある テンプレート:Math に対して

$\ln [x_0,\dots ,x_n]=\frac{1}{n!}{[\frac{{\mathrm{d}}^n}{\mathrm{d}{x}^n}\ln x]}_{x=\xi }=\frac{(-1{)}^{n-1}}{n{\xi }^n}$

が成り立つ。この式を テンプレート:Math について解くことで上式は導かれる。

たとえば テンプレート:Math のとき、3変数 テンプレート:Math の対数平均は以下となる。

$M_{\text{MV}}(x,y,z)=\sqrt{\frac{(x-y)(y-z)(z-x)}{2\{(y-z)\ln x+(z-x)\ln y+(x-y)\ln z\}}}$

積分によるもの

次の テンプレート:Math 個の実数の組

$S:=\{{\alpha }_0,\dots ,{\alpha }_n\mid {\alpha }_0+\dots +{\alpha }_n=1,{\alpha }_0\ge 0,\dots ,{\alpha }_n\ge 0\}$

を考える。このとき対数平均は

$M_{\text{I}}(x_0,\dots ,x_n)=\underset{S}{\int }{x}_0^{{\alpha }_0}\cdot \cdots \cdot x_n^{{\alpha }_n}\mathrm{d}\alpha$

と一般化される。これは指数関数の差商 テンプレート:Math を用いて簡単に書くことができ、

$M_{\text{I}}(x_0,\dots ,x_n)=n!\exp [\ln x_0,\dots ,\ln x_n]$

となる。

たとえば テンプレート:Math のとき、3変数 テンプレート:Math の対数平均は以下となる。

$M_{\text{I}}(x,y,z)=-2\frac{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)}$

関連項目

• 対数平均温度差
• 幾何平均 - 対数に関連した平均
• テンプレート:仮リンク - 対数平均はこれの特殊な場合である。
• テンプレート:仮リンク