対数平均

対数平均（たいすうへいきん、英: logarithmic mean）とは、下記式で定義される値のこと。 M lm ( x , y ) = lim ( ξ , η ) → ( x , y ) η − ξ ln ⁡ η − ln ⁡ ξ = { 0 if  x = 0  or  y = 0 , x if  x = y , y − x ln ⁡ y − ln ⁡ x otherwise {\displaystyle {\begin{aligned}M_{\text{lm}}(x,y)&=\lim _{(\xi ,\eta )\to (x,y)}{\frac {\eta -\xi }{\ln {\eta }-\ln {\xi }}}\\[6pt]&={\begin{cases}0&{\text{if }}x=0{\text{ or }}y=0,\\x&{\text{if }}x=y,\\{\dfrac {y-x}{\ln {y}-\ln {x}}}&{\text{otherwise}}\end{cases}}\end{aligned}}} x, y は0以上の実数である。 伝熱などで使われる。対数平均温度差も参照。幾何平均と混同しないように注意。 幾何平均 ≤ 対数平均 ≤ 算術平均が成立する。 x y ≤ M lm ( x , y ) ≤ x + y 2  for all  x ≥ 0  and  y ≥ 0. {\displaystyle {\sqrt {xy}}\leq M_{\text{lm}}(x,y)\leq {\frac {x+y}{2}}\qquad {\text{ for all }}x\geq 0{\text{ and }}y\geq 0.} また、以下の関係式も成り立つ。 算術平均: M lm ( x 2 , y 2 ) M lm ( x , y ) = x + y 2 {\displaystyle {\frac {M_{\text{lm}}\left(x^{2},y^{2}\right)}{M_{\text{lm}}(x,y)}}={\frac {x+y}{2}}} 幾何平均: M lm ( x , y ) M lm ( 1 x , 1 y ) = x y {\displaystyle {\sqrt {\frac {M_{\text{lm}}\left(x,y\right)}{M_{\text{lm}}\left({\frac {1}{x}},{\frac {1}{y}}\right)}}}={\sqrt {xy}}} 調和平均: M lm ( 1 x , 1 y ) M lm ( 1 x 2 , 1 y 2 ) = 2 1 x + 1 y {\displaystyle {\frac {M_{\text{lm}}\left({\frac {1}{x}},{\frac {1}{y}}\right)}{M_{\text{lm}}\left({\frac {1}{x^{2}}},{\frac {1}{y^{2}}}\right)}}={\frac {2}{{\frac {1}{x}}+{\frac {1}{y}}}}} 平均値の定理から、導関数 f' が割線の傾きに等しくなるような実数 ξ が区間 (x, y) の中に存在する。すなわち ∃ ξ ∈ ( x , y ) :   f ′ ( ξ ) = f ( x ) − f ( y ) x − y . {\displaystyle \exists \xi \in (x,y):\ f'(\xi )={\frac {f(x)-f(y)}{x-y}}.} 対数平均は関数 f に自然対数 ln を、そしてその導関数 f' に 1/ξ を代入し、ξ について解くことで得られる。 1 ξ = ln ⁡ x − ln ⁡ y x − y ∴ M lm = ξ = x − y ln ⁡ x − ln ⁡ y {\displaystyle {\begin{aligned}&{\frac {1}{\xi }}={\frac {\ln {x}-\ln {y}}{x-y}}\\\therefore \quad &M_{\text{lm}}=\xi ={\frac {x-y}{\ln {x}-\ln {y}}}\end{aligned}}} 対数平均は指数関数を用いた面積として解釈することもできる。 M lm ( x , y ) = ∫ 0 1 x 1 − t y t   d t = y − x ln ⁡ y − ln ⁡ x . {\displaystyle M_{\text{lm}}(x,y)=\int _{0}^{1}x^{1-t}y^{t}\ \mathrm {d} t={\frac {y-x}{\ln {y}-\ln {x}}}.} この解釈により対数平均がもついくつかの基本的な特性を簡単に導出できる。指数関数は単調であるため、長さ 1 の区間での積分は x, y によって制限される。積分演算子の斉次性も対数平均に反映され、 M lm ( c x , c y ) = c M lm ( x , y ) {\displaystyle M_{\text{lm}}(cx,cy)=cM_{\text{lm}}(x,y)} となる。 以下のように、他にも対数平均を導く有用な積分表現がある。 1 M lm ( x , y ) = ∫ 0 1 d t t x + ( 1 − t ) y {\displaystyle {1 \over M_{\text{lm}}(x,y)}=\int _{0}^{1}{\operatorname {d} \!t \over tx+(1-t)y}} 1 M lm ( x , y ) = ∫ 0 ∞ d t ( t + x ) ( t + y ) {\displaystyle {1 \over M_{\text{lm}}(x,y)}=\int _{0}^{\infty }{\operatorname {d} \!t \over (t+x)\,(t+y)}} 2種類の由来に応じて対数平均の一般化にも2つの方法があり、それぞれ異なる結果を与える。 対数の n 階導関数についての差商に対する平均値の定理を考慮することにより、対数平均を n+1 変数に一般化できる。結果、 M MV ( x 0 , … , x n ) = ( − 1 ) n − 1 n ln ⁡ [ x 0 , … , x n ] − n {\displaystyle M_{\text{MV}}(x_{0},\dots ,x_{n})={\sqrt[{-n}]{(-1)^{n-1}n\ln \left[x_{0},\,\dots ,\,x_{n}\right]}}} を得る。ただし ln[x0, ..., xn] は対数の差商を表し、差商に対する平均値の定理よりある ξ に対して ln ⁡ [ x 0 , … , x n ] = 1 n ! [ d n d x n ln ⁡ x ] x = ξ = ( − 1 ) n − 1 n ξ n {\displaystyle \ln \left[x_{0},\,\dots ,\,x_{n}\right]={\frac {1}{n!}}\left[{\frac {\mathrm {d} ^{n}}{\mathrm {d} x^{n}}}\ln {x}\right]_{x=\xi }={\frac {(-1)^{n-1}}{n\xi ^{n}}}} が成り立つ。この式を ξ について解くことで上式は導かれる。 たとえば n = 2 のとき、3変数 x, y, z の対数平均は以下となる。 M MV ( x , y , z ) = ( x − y ) ( y − z ) ( z − x ) 2 { ( y − z ) ln ⁡ x + ( z − x ) ln ⁡ y + ( x − y ) ln ⁡ z } {\displaystyle M_{\text{MV}}(x,y,z)={\sqrt {\frac {(x-y)\left(y-z\right)\left(z-x\right)}{2\left\{\left(y-z\right)\ln {x}+\left(z-x\right)\ln {y}+\left(x-y\right)\ln {z}\right\}}}}} 次の n+1 個の実数の組 S := { α 0 , … , α n ∣ α 0 + ⋯ + α n = 1 , α 0 ≥ 0 , … , α n ≥ 0 } {\displaystyle S:=\{\alpha _{0},\,\dots ,\,\alpha _{n}\mid \alpha _{0}+\dots +\alpha _{n}=1,\quad \alpha _{0}\geq 0,\dots ,\alpha _{n}\geq 0\}} を考える。このとき対数平均は M I ( x 0 , … , x n ) = ∫ S x 0 α 0 ⋅ ⋯ ⋅ x n α n   d α {\displaystyle M_{\text{I}}\left(x_{0},\,\dots ,\,x_{n}\right)=\int _{S}x_{0}^{\alpha _{0}}\cdot \,\cdots \,\cdot x_{n}^{\alpha _{n}}\ \mathrm {d} \alpha } と一般化される。これは指数関数の差商 exp[ln x0, ... , ln xn] を用いて簡単に書くことができ、 M I ( x 0 , … , x n ) = n ! exp ⁡ [ ln ⁡ x 0 , … , ln ⁡ x n ] {\displaystyle M_{\text{I}}\left(x_{0},\,\dots ,\,x_{n}\right)=n!\exp \left[\ln {x_{0}},\dots ,\ln {x_{n}}\right]} となる。 たとえば n = 2 のとき、3変数 x, y, z の対数平均は以下となる。 M 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 M_{\text{I}}(x,y,z)=-2{\frac {x\left(\ln {y}-\ln {z}\right)+y\left(\ln {z}-\ln {x}\right)+z\left(\ln {x}-\ln {y}\right)}{\left(\ln {x}-\ln {y}\right)\left(\ln {y}-\ln {z}\right)\left(\ln {z}-\ln {x}\right)}}} ^ B. C. Carlson (1966). “Some inequalities for hypergeometric functions”. Proc. Amer. Math. Soc. 17: 32–39. doi:10.1090/s0002-9939-1966-0188497-6.  ^ B. Ostle; H. L. Terwilliger (1957). “A comparison of two means”. Proc. Montana Acad. Sci. 17: 69–70.  対数平均温度差 幾何平均 - 対数に関連した平均 ストラースキー平均（英語版） - 対数平均はこれの特殊な場合である。 対数半環（英語版）