Inequalities for the generalized elliptic integrals with respect to Hölder means (Q643566)

For \(x,y\in(0,+\infty)\), the Hölder mean of order \(p\) is defined by \[ {H}_p(x,y)= \begin{cases} \left( \frac{x^p+y^p}{2}\right)^{\tfrac1p}&\text{if \(p \neq 0\)}, \\ \sqrt{xy} &\text{if \(p = 0\)}. \end{cases} \] \(\text{H}_{-1}\) is the harmonic mean, \(\text{H}_{0}\) is the geometric mean and \(\text{H}_{1}\) is the arithmetic mean. Put \(r'=\sqrt{1-r^2}\). The generalized elliptic integrals are defined by \[ \begin{cases} \mathcal{K}_a=\mathcal{K}_a(r)=\frac{\pi}{2}F(a,1-a;1;r^2), \\ \mathcal{K}'_a=\mathcal{K}'_a(r)=\mathcal{K}_a(r'),\\ \mathcal{K}_a(0)=\frac{\pi}{2},\;\;\mathcal{K}_a(1)=\infty, \end{cases} \] and \[ \begin{cases} \mathcal{E}_a=\mathcal{E}_a(r)=\frac{\pi}{2}F(a-1,1-a;1;r^2), \\ \mathcal{E'}_a=\mathcal{E}'_a(r)=\mathcal{E}_a(r'),\\ \mathcal{E}_a(0)=\frac{\pi}{2},\;\;\mathcal{E}_a(1)=\frac{\sin(a \pi)}{2(1-a)}. \end{cases} \] The purpose of the paper is to prove several inequalities of function compositions consisting of Hölder means and generalized elliptic integrals. The first example is the following Theorem. Let \(a\in(0,\tfrac12].\) There exists a constant \(p_0 \in[\tfrac{1}{1-a},2]\) such that the inequality \[ \text{H}_p(\mathcal{E}_a(x),\mathcal{E}_a(y))\leq\mathcal{E}_a( \text{H}_p(x,y)) \] holds for all \(x,y\in(0,1)\) if and only if \(p\leq p_0\). The second example is the following Theorem. Let \(a\in(0,\tfrac12].\) The inequality \[ \text{H}_q(\mathcal{K}_a(x),\mathcal{K}_a(y))\geq\mathcal{K}_a( \text{H}_q(x,y)) \] holds for all \(x,y\in(0,1)\) if and only if \(q_0\leq q \leq 2\), where \(q_0\leq 1-\tfrac{1}{a(1-a)}\) has a certain value. Corollaries for elliptic integrals are given.