Cyclic mean-value inequalities for the gamma function (Q2848702)

The author proves that the following cyclic inequality involving the \(\Gamma\)-function holds true: NEWLINE\[NEWLINE\Gamma(1/(1+ \sqrt{xy}))\,\Gamma(1/(1+ \sqrt{yz}))\,\Gamma(1/(1+ \sqrt{zx}))\leq \Gamma(1/(1+ x))\, \Gamma(1/(1+ y))\, \Gamma(1/(1+ z))NEWLINE\]NEWLINE for all \(x,y,z> 0\). More generally, the inequality holds true for the geometric means \(\sqrt{xy}\) etc., replaced by the Hölder means \(M_r(x,y)= ((x^r+ y^r)/2)^{1/r}\) \((r\neq 0)\), \(M_0(x,y)= \sqrt{xy}\), if and only if \(r\leq 0\).NEWLINENEWLINE The converse of this generalization holds true iff \(r\geq 1.0309\dots\). A main tool in the proof is the fact that the function \(\Gamma(1/(1+ x^{1/r}))\) is concave on \(x> 0\) for \(r> 0\) iff \(r\geq \max\{P(x): 0< x< 1\}\), where \(P(x)= 2x-1+ x(x-1)\psi'(x)/\psi(x)\), \(\psi\) denoting the digamma function.