対数平均

対数平均（Logarithmic Mean）

対数平均（たいすうへいきん、英: logarithmic mean）とは、実数のペアに関連して定義された特別な平均値です。その定義は以下の式に基づいています。

$$
M_{lm}(x,y)=\lim_{(\xi,\eta)\to(x,y)}\frac{\eta-\xi}{\ln \eta - \ln \xi}
$$

ここで、$x$と$y$は0以上の実数です。対数平均は、主に伝熱や温度差を考える際に重要な役割を果たします。対数平均と対数平均温度差の関連性についても考察が必要です。

定義の詳細

対数平均の具体的な値は、次の条件によって異なります。

• - $x=0$または$y=0$の場合、$M_{lm}(x,y)=0$。
• - $x=y$の場合、$M_{lm}(x,y)=x$。
• - それ以外の場合、$M_{lm}(x,y)=\frac{y-x}{\ln y - \ln x}$となります。

平均の関係

対数平均は他の平均と比べて特定の関係を持っています。具体的には、以下の不等式が成り立ちます。

$$
\sqrt{xy} \leq M_{lm}(x,y) \leq \frac{x+y}{2}
$$

この関係は、すべての非負の実数$x$と$y$に対して成り立つことが示されており、幾何平均（Geometric Mean）、算術平均（Arithmetic Mean）、および調和平均（Harmonic Mean）との関係も重要です。

• - 幾何平均：

$$
M_{lm}(x,y)M_{lm}\left(\frac{1}{x},\frac{1}{y}\right)=\sqrt{xy}
$$

• - 算術平均：

$$
\frac{M_{lm}\left(x^{2},y^{2}\right)}{M_{lm}(x,y)}=\frac{x+y}{2}
$$

• - 調和平均：

$$
\frac{M_{lm}\left(\frac{1}{x},\frac{1}{y}\right)}{M_{lm}\left(\frac{1}{x^{2}},\frac{1}{y^{2}}\right)}=\frac{2}{\frac{1}{x}+\frac{1}{y}}
$$

由来

対数平均の導出は、主に2つの方法に基づいています。一つは平均値の定理に基づくもので、定理により、関数$f$のある区間$(x,y)$内には、導関数$f'$が割線の傾きに等しい実数$\xi$が必ず存在します。この$\xi$を使って、対数の平均を表現すると次のようになります。

$$
\frac{1}{\xi}=\frac{\ln x - \ln y}{x-y}
$$

この式を解くことで、対数平均の計算式に導かれます。

もう一つの方法は積分による解釈です。対数平均は、次のように指数関数を用いた面積として表現されることもあります。

$$
M_{lm}(x,y)=\int_{0}^{1}x^{1-t}y^{t}dt=rac{y-x}{\ln y - \ln x}
$$

この解釈により、対数平均の基礎的な特性が導かれます。特に、指数関数が単調であるため、区間[$0,1$]での積分は$x$と$y$の制限により対数平均を得ることができます。

また、次のような一般化も可能です。対数の$n$階導関数に基づく平均値の定理を考慮すると、対数平均を$n+1$変数へ拡張することができます。

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

実数の組についても同様の考え方を適用することで、対数平均をより複雑なケースにも拡張することが可能です。具体的には、次のような形で対数平均を一般化することができます。

$$
M_{I}(x_0,…,x_n)=\int_S x_0^{\alpha_0}…x_n^{\alpha_n}d\alpha
$$

このように、対数平均はさまざまな数学的文脈で重要であり、特に幾何学的、明示的な性質を持つ多様な場面で応用されることが期待されます。

もう一度検索