Duplication inequalities for the ratios of hypergeometric functions (Q4936110)

Let \(B^2\) be the unit disk on the plane and let \(\mu(r)\) denote the modulus of the plane Grötzsch ring \(B^2\backslash [0,r]\) for \(r\in (0, 1)\). Then \(\mu (r)\) has the explicit expression \(\mu(r)=\pi {\mathcal K}'(r)/2 {\mathcal K}(r)\), where \(0<r<1\), \({\mathcal K}'(r)={\mathcal K}(r')\) and \(r'=(1-r^2)^{1/2}\). The function \({\mathcal K}(r)\) can be expressed in terms of the Gauss hypergeometric function: \({\mathcal K}(r)=\pi F({1\over 2} , {1\over 2} ; 1; r^2)\). It is well known that \(\mu (r)\) satisfies the duplication formulas \(\mu (r)=2\mu (2{\sqrt r}/(1+r))\) and \(\mu (r)\mu ((1-r)/(1+r))= \pi ^2/2\). The authors introduce a generalization of \(\mu(r)\), denoted by \(\mu_a(r)\): \[ \mu_a(r)={{\pi}\over {2\sin \pi a}} {F(a,1-a;1;1-r^2)\over F(a,1-a;1;r^2)}, \] where \(a,r\in (0, 1)\). The authors derive analogues of the duplication formula and logarithmic inequalities for the function \(\mu_a(r)\). (They are rather complicated to give them here.) Sharp estimates for this function are obtained too. The results are formulated as several theorems.