Logaritmik ortalama

Matematikte logaritmik ortalama, iki pozitif gerçek sayının farkının bu sayıların doğal logaritmalarının farkına oranı olarak tanımlanır. Bu hesaplama, ısı ve kütle transferi içeren mühendislik problemlerinde kullanılabilir.

Logaritmik ortalama şu şekilde tanımlanır: ${\displaystyle x,y}$ pozitif gerçek sayılar olmak üzere,

${\displaystyle {\begin{aligned}M_{\text{lm}}(x,y)&=\lim _{(\xi ,\eta )\to (x,y)}{\frac {\eta -\xi }{\ln(\eta )-\ln(\xi )}}\\[6pt]&={\begin{cases}x&x=y{\text{ ise}},\\{\frac {y-x}{\ln(y)-\ln(x)}}&x\neq y{\text{ ise.}}\end{cases}}\end{aligned}}}$

İki sayının logaritmik ortalaması, bu sayıların aritmetik ortalamasından ve ${\displaystyle 1/3}$'üncü dereceden genelleştirilmiş ortalamasından daha büyük olamaz. Aynı zamanda bu ortalama, sayıların geometrik ortalamasından daha küçük de olamaz. İki sayının birbirine eşit olduğu durumda ise bu dört ortalama çeşidi de birbirine eşit olur. Başka bir deyişle, her ${\displaystyle x,y}$ pozitif gerçek sayıları için aşağıdaki eşitsizlik geçerlidir:

${\displaystyle {\sqrt {xy}}\leq M_{\text{lm}}(x,y)\leq \left({\frac {x^{1/3}+y^{1/3}}{2}}\right)^{3}\leq {\frac {x+y}{2}}.}$ ^[1][2][3]

Ortalama değer teoremine göre, herhangi bir (x, y) aralığında bir fonksiyonun türevinin kesen doğrunun eğimine eşit olmasını sağlayan bir ${\displaystyle \xi }$ değeri bulunur:

${\displaystyle \exists \xi \in (x,y):\ f'(\xi )={\frac {f(x)-f(y)}{x-y}}.}$

Logaritmik ortalama, ${\displaystyle f}$ fonksiyonunun doğal logaritma olduğu durumda ${\displaystyle \xi }$'nin alacağı değer olarak tanımlanabilir:

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

eşitliği nedeniyle,

${\displaystyle \xi ={\frac {x-y}{\ln(x)-\ln(y)}}.}$

Logaritmik ortalama, üstel bir eğrinin altında kalan alan olarak da yorumlanabilir:

${\displaystyle {\begin{aligned}L(x,y)={}&\int _{0}^{1}x^{1-t}y^{t}\ \mathrm {d} t={}\int _{0}^{1}\left({\frac {y}{x}}\right)^{t}x\ \mathrm {d} t={}x\int _{0}^{1}\left({\frac {y}{x}}\right)^{t}\mathrm {d} t\\[3pt]={}&\left.{\frac {x}{\ln \left({\frac {y}{x}}\right)}}\left({\frac {y}{x}}\right)^{t}\right|_{t=0}^{1}={}{\frac {x}{\ln \left({\frac {y}{x}}\right)}}\left({\frac {y}{x}}-1\right)={}{\frac {y-x}{\ln \left({\frac {y}{x}}\right)}}\\[3pt]={}&{\frac {y-x}{\ln \left(y\right)-\ln \left(x\right)}}.\end{aligned}}}$

Bu yorum, logaritmik ortalamanın bazı temel özelliklerinin kolayca elde edilmesini sağlar. Örneğin, üstel fonksiyon monoton bir fonksiyon olduğu için 1 uzunluğundaki bir aralıktaki integral, ${\displaystyle x}$ ve ${\displaystyle y}$ tarafından sınırlanır. Bu nedenle bu durum logaritmik ortalama için de geçerli olur. Ayrıca, integral işleminin homojenliği ortalama işlemine aktarılır. Buradan hareketle ${\displaystyle L(cx,cy)=cL(x,y)}$ eşitliğinin geçerli olduğu kolayca görülebilir.

Logaritmik ortalamanın diğer iki faydalı integral gösterimi, $${\displaystyle {1 \over L(x,y)}=\int _{0}^{1}{\operatorname {d} \!t \over tx+(1-t)y}}$$ ve $${\displaystyle {1 \over L(x,y)}=\int _{0}^{\infty }{\operatorname {d} \!t \over (t+x)\,(t+y)}}$$ şeklindedir.

Logaritmik ortalama, bölünmüş farklar için ortalama değer teoremi göz önüne alınarak doğal logaritma fonksiyonunun ${\displaystyle n}$. türevi için ${\displaystyle n+1}$ değişkenli duruma genelleştirilebilir: ${\displaystyle \ln \left(\left[x_{0},\,\dots ,\,x_{n}\right]\right)}$ ifadesi doğal logaritmanın bölünmüş bir farkını göstermek üzere,

${\displaystyle L_{\text{MV}}(x_{0},\,\dots ,\,x_{n})={\sqrt[{-n}]{(-1)^{(n+1)}n\ln \left(\left[x_{0},\,\dots ,\,x_{n}\right]\right)}}.}$

Bu genelleştirme, ${\displaystyle n=2}$ durumunda aşağıdaki tanımı ortaya çıkarır:

${\displaystyle L_{\text{MV}}(x,y,z)={\sqrt {\frac {(x-y)\left(y-z\right)\left(z-x\right)}{2\left(\left(y-z\right)\ln \left(x\right)+\left(z-x\right)\ln \left(y\right)+\left(x-y\right)\ln \left(z\right)\right)}}}.}$

Logaritmik ortalamanın integral yorumu da daha fazla değişkene genelleştirilebilir, ancak bu durum farklı bir sonuca yol açar. ${\textstyle S=\{\left(\alpha _{0},\,\dots ,\,\alpha _{n}\right):\left(\alpha _{0}+\dots +\alpha _{n}=1\right)\land \left(\alpha _{0}\geq 0\right)\land \dots \land \left(\alpha _{n}\geq 0\right)\}}$ biçiminde tanımlanan bir simpleks ve bu simpleksin hacminin 1 birim olmasını sağlayan bir ${\textstyle \mathrm {d} \alpha }$ ölçüsü verildiğinde aşağıdaki tanımı elde ederiz:

${\displaystyle L_{\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 .}$

Bu tanım, üstel fonksiyonun bölünmüş farkları kullanılarak aşağıdaki gibi basitleştirilebilir:

${\displaystyle L_{\text{I}}\left(x_{0},\,\dots ,\,x_{n}\right)=n!\exp \left[\ln \left(x_{0}\right),\,\dots ,\,\ln \left(x_{n}\right)\right].}$

Sıkça karşılaşılan bazı ortalama çeşitleri, logaritmik ortalama cinsinden ifade edilebilir.

• Aritmetik ortalama: ${\displaystyle {\frac {L\left(x^{2},y^{2}\right)}{L(x,y)}}={\frac {x+y}{2}}.}$
• Geometrik ortalama: ${\displaystyle {\sqrt {\frac {L\left(x,y\right)}{L\left({\frac {1}{x}},{\frac {1}{y}}\right)}}}={\sqrt {xy}}.}$
• Harmonik ortalama: ${\displaystyle {\frac {L\left({\frac {1}{x}},{\frac {1}{y}}\right)}{L\left({\frac {1}{x^{2}}},{\frac {1}{y^{2}}}\right)}}={\frac {2}{{\frac {1}{x}}+{\frac {1}{y}}}}.}$

• Aritmetik ortalama
• Geometrik ortalama
• Harmonik ortalama
• Genelleştirilmiş ortalama
• Stolarsky ortalaması
• Logaritmik ortalama sıcaklık farkı [en]
• Logaritmik yarı halka [en]

• Stolarsky, Kenneth (1975). "Generalizations of the logarithmic mean". Mathematics Magazine. 48 (2): 87-92. doi:10.2307/2689825. 

• Oilfield Glossary: Term 'logarithmic mean'
• Eric W. Weisstein, Arithmetic-Logarithmic-Geometric-Mean Inequality (MathWorld)