Über eine zweiparametrige Familie von Mittelwerten. (On a two- parametric family of means) (Q810169): Difference between revisions

A proof is offered that \[ r\mapsto E(r,s;x,y)/E(r,s;u,v) \] is strictly increasing whenever \(x,y,u,v>0\) and \(x/y>u/v\geq 1\). Here \[ E(0,0;x,y):=(xy)^{1/2}, \] \[ E(r,r;x,y)=I_ r(x,y):=\exp (\frac{1}{r(y^ r-x^ r)}(x^ r \ln x-y^ r \ln y))\quad (r\neq 0). \] \[ E(r,s;x,y):=\exp (\frac{1}{s-r}\int^{s}_{r}(1/t)\ln I_ 1(x^ t,y^ t)dt)\quad (r\neq s). \] This is used to sharpen Ky Fan's inequality [\textit{E. F. Beckenbach} and \textit{R. Bellman}, ``Inequalities'' (1983; Zbl 0513.26003, 1st ed. 1961; Zbl 0097.265), p. 5] in the case \(n=2\).