Skip to content

Advertisement

  • Research
  • Open Access

Quadratic transformation inequalities for Gaussian hypergeometric function

Journal of Inequalities and Applications20182018:251

https://doi.org/10.1186/s13660-018-1848-y

  • Received: 20 May 2018
  • Accepted: 10 September 2018
  • Published:

Abstract

In the article, we present several quadratic transformation inequalities for Gaussian hypergeometric function and find the analogs of duplication inequalities for the generalized Grötzsch ring function.

Keywords

  • Hypergeometric function
  • Quadratic transformation
  • Generalized Grötzsch ring function
  • Duplication inequality

MSC

  • 33C05
  • 26D20

1 Introduction

The Gaussian hypergeometric function \(_{2}F_{1}(a,b;c;x)\) with real parameters \(a,b\), and c \((c\neq0,-1,-2,\dots)\) is defined by [1, 4, 24, 41]
$$ F(a,b;c;x)=_{2}F_{1}(a,b;c;x)=\sum _{n=0}^{\infty}\frac {(a,n)(b,n)}{(c,n)}\frac{x^{n}}{n!} $$
for \(x\in(-1,1)\), where \((a,n)=a(a+1)(a+2)\cdots(a+n-1)\) for \(n=1,2,\dots\), and \((a,0)=1\) for \(a\neq0\). The function \(F(a,b;c;x)\) is called zero-balanced if \(c=a+b\). The asymptotical behavior for \(F(a,b;c;x)\) as \(x\rightarrow1\) is as follows (see [4, Theorems 1.19 and 1.48])
$$ \textstyle\begin{cases} F(a,b;c;1)=\Gamma(c)\Gamma(c-a-b)/[\Gamma(c-a)\Gamma(c-b)],&a+b< c,\\ B(a,b)F(a,b;c;z)+\log(1-z)=R(a,b)+O((1-z)\log(1-z)),&a+b=c,\\ F(a,b;c;z)=(1-z)^{c-a-b}F(c-a,c-b;c;z),&a+b>c, \end{cases} $$
(1.1)
where \(\Gamma(x)=\int_{0}^{\infty}t^{x-1}e^{-t}\,dt\) [10, 25, 43, 44, 47] and \(B(p,q)=[{\Gamma(p)\Gamma(q)}]/[{\Gamma(p+q)}]\) are the classical gamma and beta functions, respectively, and
$$ R(a,b)=-\psi(a)-\psi(b)-2\gamma,\qquad R \biggl(\frac{1}{4}, \frac{3}{4} \biggr)=\log64, $$
(1.2)
\(\psi(z) =\Gamma'(z)/\Gamma(z)\)), and \(\gamma=\lim_{n\rightarrow \infty} (\sum_{k=1}^{n}{1}/{k}-\log n )=0.577\dots\) is the Euler–Mascheroni constant [21, 50].

As is well known, making use of the hypergeometric function, Branges proved the famous Bieberbach conjecture in 1984. Since then, \(F(a,b;c;x)\) and its special cases and generalizations have attracted attention of many researchers, and was studied deeply in various fields [2, 5, 9, 1118, 20, 22, 23, 26, 30, 31, 3537, 40, 45, 46, 48]. A lot of geometrical and analytic properties, and inequalities of the Gaussian hypergeometric function have been obtained [3, 68, 19, 29, 32, 34, 38, 49].

Recently, in order to investigate the Ramanujan’s generalized modular equation in number theory, Landen inequalities, Ramanujan cubic transformation inequalities, and several other quadratic transformation inequalities for zero-balanced hypergeometric function have been proved in [27, 28, 32, 39, 42]. For instance, using the quadratic transformation formula [24, (15.8.15), (15.8.21)]
$$ F \biggl(\frac{1}{4},\frac{3}{4};1;\frac{8r(1+r)}{(1+3r)^{2}} \biggr)=\sqrt {1+3r}F \biggl(\frac{1}{4},\frac{3}{4};1;r^{2} \biggr), $$
(1.3)
Wang and Chu [32] found the maximal regions of the \((a,b)\)-plane in the first quadrant such that inequality
$$ F \biggl(a,b;a+b;\frac{8r(1+r)}{(1+3r)^{2}} \biggr)\leq \sqrt{1+3r}F \bigl(a,b;a+b;r^{2}\bigr) $$
(1.4)
or its reversed inequality
$$ F \biggl(a,b;a+b;\frac{8r(1+r)}{(1+3r)^{2}} \biggr)\geq \sqrt{1+3r}F \bigl(a,b;a+b;r^{2}\bigr) $$
(1.5)
holds for each \(r\in(0,1)\). Moreover, very recently in [33], some Landen-type inequalities for a class of Gaussian hypergeometric function \(_{2}F_{1} (a,b;(a+b+1)/2;x )\ (a,b>0)\), which can be viewed as a generalization of Landen identities of the complete elliptic integrals of the first kind
$$ F \biggl(\frac{1}{2},\frac{1}{2};1;\frac{4r}{(1+r)^{2}} \biggr)=(1+r)F \biggl(\frac{1}{2},\frac{1}{2};1;r^{2} \biggr), $$
have also been proved. As an application, the analogs of duplication inequalities for the generalized Grötzsch ring function with two parameters [33]
$$ \mu_{a,b}(r)=\frac{B(a,b)}{2}\frac{ F (a,b;(a+b+1)/2;1-r^{2} )}{F (a,b;(a+b+1)/2;r^{2} )},\quad r \in(0,1), $$
(1.6)
have been derived. In fact, the authors have proved

Theorem 1.1

For \((a,b)\in\{(a,b)|a,b>0,ab\geq a+b-10/9, a+b\geq2\}\), let \(x=x(r)=2\sqrt{r}/(1+r)\), then the Landen-type inequality
$$ \bigl(xx'\bigr)^{(a+b-1)/2} F \biggl(a,b; \frac{a+b+1}{2};x^{2} \biggr)>(1+r) \bigl(rr' \bigr)^{(a+b-1)/2} F \biggl(a,b;\frac{a+b+1}{2};r^{2} \biggr) $$
(1.7)
holds for all \(r\in(0,1)\).

Theorem 1.2

For \((a,b)\in\{(a,b)|a,b>0,ab\geq a+b-10/9, a+b\geq2\}\), define the function g on \((0,1)\) by
$$ g(r)=2\mu_{a,b} \biggl(\frac{2\sqrt{r}}{1+r} \biggr)-\mu_{a,b}(r). $$
Then g is strictly increasing from \((0,1)\) onto \((-\infty,0)\). In particular, the inequality
$$ 2\mu_{a,b} \biggl(\frac{2\sqrt{r}}{1+r} \biggr)< \mu_{a,b}(r) $$
holds for each \(r\in(0,1)\) with \((a,b)\in\{(a,b)|a,b>0,ab\geq a+b-10/9, a+b\geq2\}\).

The purpose of this paper is to establish several quadratic transformation inequalities for Gaussian hypergeometric function \(_{2}F_{1}(a,b;(a+b+1)/2;x)\) \((a,b>0)\), such as inequalities (1.4), (1.5) and (1.7), and thereby prove the analogs of Theorem 1.2.

We recall some basic facts about \(\mu_{a,b}(r)\) (see [33]). The limiting values of \(\mu_{a,b}(r)\) at 0 and 1 are
$$\begin{aligned} \mu_{a,b}\bigl(0^{+}\bigr)={}&\lim_{r\rightarrow0^{+}} \frac{B(a,b)}{2}F \biggl(a,b;\frac {a+b+1}{2};1-r^{2} \biggr) \\ ={}&\textstyle\begin{cases}\frac{B(a,b)}{2}H(a,b), &a+b< 1,\\ +\infty,&a+b\geq1, \end{cases}\displaystyle \end{aligned}$$
(1.8)
$$\begin{aligned} \mu_{a,b}\bigl(1^{-}\bigr)={}&\lim_{r\rightarrow1^{-}} \frac{B(a,b)}{2 F (a,b;\frac {a+b+1}{2};r^{2} )} =\textstyle\begin{cases}\frac{B(a,b)}{2H(a,b)}, &a+b< 1,\\ 0,&a+b\geq1, \end{cases}\displaystyle \end{aligned}$$
(1.9)
and the derivative formula of \(\mu_{a,b}(r)\) is
$$ \frac{d\mu_{a,b}(r)}{dr}=-\frac{{\Gamma(\frac{a+b+1}{2})}^{2}}{\Gamma (a+b)}\frac{1}{r^{a+b}{r'}^{a+b+1}{F (a,b;(a+b+1)/2;r^{2} )}^{2}}. $$
(1.10)
Here and in what follows,
$$H(a,b)=\frac{B(\frac{a+b+1}{2},\frac{1-a-b}{2})}{B(\frac{1+b-a}{2},\frac {1+a-b}{2})}. $$

2 Lemmas

In order to prove our main results, we need several lemmas, which we present in this section. Throughout this section, we denote
$$ F(x)=F \biggl(a,b,\frac{a+b+1}{2};x \biggr),\qquad G(x)=F \biggl(a+1,b+1;\frac {a+b+3}{2};x \biggr) $$
(2.1)
for \((a,b)\in(0,+\infty)\times(0,+\infty)\setminus\{p,q\}\) with \(p=(1/4, 3/4)\) and \(q=(3/4, 1/4)\), and
$$ \widehat{F}(x)= \biggl(\frac{1}{4},\frac{3}{4};1;x \biggr),\qquad \widehat {G}(x)=F \biggl(\frac{5}{4},\frac{7}{4};2;x \biggr). $$
(2.2)
For the convenience of readers, we introduce some regions in \(\{(a,b)\in \mathbb{R}^{2}| a>0,b>0\}\) and refer to Fig. 1 for illustration:
Figure 1
Figure 1

The regions \(D_{i}\) for \(i=1,2,3,4\), \(E_{1},E_{2}\) and their boundary curves

$$\begin{aligned} &D_{1}= \biggl\{ (a,b)\Big| a,b>0, a+b\leq1,ab-\frac{3(a+b+1)}{32}\leq0 \biggr\} , \\ &D_{2}= \biggl\{ (a,b)\Big| a,b>0, a+b\geq1,ab-\frac{3(a+b+1)}{32}\geq0 \biggr\} , \\ &D_{3}= \biggl\{ (a,b)\Big| a,b>0, a+b< 1,ab-\frac{3(a+b+1)}{32}>0 \biggr\} , \\ &D_{4}= \biggl\{ (a,b)\Big| a,b>0, a+b>1,ab-\frac{3(a+b+1)}{32}< 0 \biggr\} , \\ &E_{1}= \biggl\{ (a,b)\Big| a,b>0, a+b\leq1,2ab+\frac{29(a+b)-41}{32}\leq0 \biggr\} , \\ &E_{2}= \biggl\{ (a,b)\Big| a,b>0, a+b\geq1,2ab+\frac{29(a+b)-41}{32}\geq0 \biggr\} . \end{aligned}$$
Obviously, \(\bigcup_{i=1}^{4}D_{i}=(0,+\infty)\times(0,+\infty)\) and \(D_{i}\cap D_{j}=\emptyset\) for \(i\neq j\in\{1,2,3,4\}\) except that \(D_{1}\cap D_{2}=\{p,q\}\). Moreover, \(D_{1}\subset E_{1}\) and \(D_{2}\subset E_{2}\).

Lemma 2.1

([42, Theorem 2.1])

Suppose that the power series \(f(x)=\sum_{n=0}^{\infty}a_{n}x^{n}\) and \(g(x)=\sum_{n=0}^{\infty}b_{n}x^{n}\) have the radius of convergence \(r>0\) with \(b_{n}>0\) for all \(n\in\{0,1,2,\dots\}\). Let \(h(x)=f(x)/g(x)\) and \(H_{f,g}=(f'/g')g-f\), then the following statements hold true:
  1. 1.

    If the non-constant sequence \(\{a_{n}/b_{n}\}_{n=0}^{\infty}\) is increasing (decreasing) for all \(n>0\), then \(h(x)\) is strictly increasing (decreasing) on \((0,r)\);

     
  2. 2.

    If the non-constant sequence \(\{a_{n}/b_{n}\}_{n=0}^{\infty}\) is increasing (decreasing) for \(0< n\leq n_{0}\) and decreasing (increasing) for \(n>n_{0}\), then \(h(x)\) is strictly increasing (decreasing) on \((0,r)\) if and only if \(H_{f,g}(r^{-})\geq(\leq) 0\). Moreover, if \(H_{f,g}(r^{-})<(>) 0\), then there exists an \(x_{0}\in(0,r)\) such that \(h(x)\) is strictly increasing (decreasing) on \((0,x_{0})\) and strictly decreasing (increasing) on \((x_{0},r)\).

     

Lemma 2.2

  1. 1.

    The function \(\eta(x)=F(x)/\widehat{F}(x)\) is strictly decreasing on \((0,1)\) if \((a,b)\in D_{1}\setminus\{p,q\}\) and strictly increasing on \((0,1)\) if \((a,b)\in D_{2}\setminus\{p,q\}\). Moreover, if \((a,b)\in D_{3} (\textit{or }D_{4})\), then there exists \(\delta_{0}\in(0,1)\) such that \(\eta(x)\) is strictly increasing (decreasing) on \((0,\delta _{0})\) and strictly decreasing (increasing) on \((\delta_{0},1)\).

     
  2. 2.

    The function \(\widetilde{\eta}(x)=G(x)/\widehat{G}(x)\) is strictly decreasing on \((0,1)\) if \((a,b)\in E_{1}\setminus\{p,q\}\) and strictly increasing on \((0,1)\) if \((a,b)\in E_{2}\setminus\{p,q\}\). In the remaining case, namely for \(x\in(0,+\infty)\times(0,+\infty )\setminus(E_{1}\cup E_{2})\), \(\widetilde{\eta}(x)\) is piecewise monotone on \((0,1)\).

     

Proof

Suppose that
$$A_{n}=\frac{(a,n)(b,n)}{ (\frac{a+b+1}{2},n )n!},\qquad A^{*}_{n}=\frac {(\frac{1}{4},n)(\frac{3}{4},n)}{(1,n)n!}, $$
then we have
$$ \eta(x)=\frac{F(x)}{\widehat{F}(x)}=\frac{\sum_{n=0}^{\infty}A_{n}x^{n}}{\sum_{n=0}^{\infty}A^{*}_{n}x^{n}}. $$
(2.3)
It suffices to take into account the monotonicity of \(\{A_{n}/A^{*}_{n}\} _{n=0}^{\infty}\). By simple calculations, one has
$$ \frac{A_{n+1}}{A^{*}_{n+1}}-\frac{A_{n}}{A^{*}_{n}}=\frac{A_{n}\cdot\Delta _{n}}{A^{*}_{n} (\frac{a+b+1}{2} ) (\frac{1}{4}+n ) (\frac{3}{4}+n )}, $$
(2.4)
where
$$ \Delta_{n}= \biggl(\frac{a+b-1}{2} \biggr)n^{2}+ \biggl(ab+\frac{a+b}{2}-\frac {11}{16} \biggr)n+ab-\frac{3(a+b+1)}{32}. $$
(2.5)

We divide the proof into four cases.

Case 1 \((a,b)\in D_{1}\setminus\{p,q\}\). Then it follows easily that \(a+b\leq1\), \(ab-\frac{3(a+b+1)}{32}\leq0\) and \(ab+\frac {a+b}{2}-\frac{11}{16}<0\). This, in conjunction with (2.4) and (2.5), implies that \(\{A_{n}/A^{*}_{n}\}_{n=0}^{\infty}\) is strictly decreasing for all \(n>0\). Therefore, (2.3) and Lemma 2.1(1) lead to the conclusion that \(\eta(x)\) is strictly decreasing on \((0,1)\).

Case 2 \((a,b)\in D_{2}\setminus\{p,q\}\). Then a similar argument as in Case 1 yields \(\Delta_{n}>0\) and this implies that \(\eta(x)\) is strictly increasing on \((0,1)\) from (2.3), (2.4) and Lemma 2.1(1).

Case 3 \((a,b)\in D_{3}\). It follows from (2.4) and (2.5) that the sequence \(\{A_{n}/A^{*}_{n}\}\) is increasing for \(0\leq n\leq n_{0}\) and decreasing for \(n\geq n_{0}\) for some integer \(n_{0}\). Furthermore, making use of the derivative formula for Gaussian hypergeometric function
$$\frac{d F(a,b;c;x)}{dx}=\frac{ab}{c}F(a+1,b+1;c+1;x), $$
and in conjunction with (1.1) and \(a+b<1\), we obtain
$$\begin{aligned} H_{F,\widehat{F}}(x)&=\frac{32ab}{3(a+b+1)} \frac{F (a+1,b+1;\frac {a+b+3}{2};x )}{F (\frac{3}{4},\frac{1}{4};2;x )}(1-x)\widehat{F}(x)-F(x) \\ &\rightarrow-H(a,b)< 0 \end{aligned}$$
(2.6)
as \(x\rightarrow1^{-}\). Combing with (2.3), (2.6) and Lemma 2.1(2), we conclude that there exists an \(x_{1}\in(0,1)\) such that \(\eta(x)\) is strictly increasing on \((0,x_{1})\) and strictly decreasing on \((x_{1},1)\).
Case 4 \((a,b)\in D_{4}\). In this case, we follow a similar argument as in Case 3 and use the fact that
$$\begin{aligned} H_{F,\widehat{F}}(x)={}&\frac{32ab}{3(a+b+1)}(1-x) \frac{F (a+1,b+1;\frac{a+b+3}{2};x )}{F (\frac{3}{4},\frac {1}{4};2;x )}\widehat{F}(x)-F(x) \\ ={}&\frac{32ab}{3(a+b+1)}(1-x)^{\frac{1-a-b}{2}} \biggl[\frac{F (\frac {b-a+1}{2},\frac{a-b+1}{2};\frac{a+b+3}{2};x )}{F (\frac {3}{4},\frac{1}{4};2;x )}F \biggl(\frac{1}{4},\frac{3}{4};1;x \biggr) \\ &{}-F \biggl(\frac{b-a+1}{2},\frac{a-b+1}{2}; \frac{a+b+1}{2};x \biggr) \biggr] \\ \rightarrow{}&+\infty \end{aligned}$$
(2.7)
as \(x\rightarrow1^{-}\) since \(a+b>1\). Therefore, (2.3), (2.7) and Lemma 2.1(2) lead to the conclusion that there exists an \(x_{2}\in(0,1)\) such that \(\eta(x)\) is strictly decreasing on \((0,x_{2})\) and strictly increasing on \((x_{2},1)\).
Let
$$B_{n}=\frac{(a+1,n)(b+1,n)}{ (\frac{a+b+3}{2},n )n!},\qquad B^{*}_{n}=\frac {(\frac{5}{4},n)(\frac{7}{4},n)}{(2,n)n!}, $$
then we can write
$$ \widetilde{\eta}(x)=\frac{G(x)}{\widehat{G}(x)}=\frac{\sum_{n=0}^{\infty}B_{n}x^{n}}{\sum_{n=0}^{\infty}B^{*}_{n}x^{n}}. $$
(2.8)
Easy calculations lead to the conclusion that the monotonicity of \(\{ B_{n}/B^{*}_{n}\}_{n=0}^{\infty}\) depends on the sign of
$$ \widetilde{\Delta}_{n}= \biggl(\frac{a+b-1}{2} \biggr)n^{2}+ \biggl[ab+\frac {3(a+b)}{2}-\frac{27}{16} \biggr]n+2ab+\frac{29(a+b)-41}{32}. $$
(2.9)
Notice that
$$\begin{aligned} H_{G,\widehat{G}}(x)&=\frac{2(a+1)(b+1)}{(a+b+3)}\cdot \frac{32F (a+2,b+2;\frac{a+b+5}{2};x )}{35F (\frac{9}{4},\frac {11}{4};3;x )}\widehat{G}(x)-G(x) \\ &=(1-x)^{-\frac{1+a+b}{2}}\omega(a,b;x), \end{aligned}$$
(2.10)
where
$$\begin{aligned} \omega(a,b;x)={}&\frac{64(a+1)(b+1)}{35(a+b+3)}\frac{F (\frac {b-a+1}{2},\frac{a-b+1}{2};\frac{a+b+5}{2};x )}{F (\frac {3}{4},\frac{1}{4};3;x )}F \biggl(\frac{3}{4},\frac{1}{4};2;x \biggr) \\ &{}-F \biggl(\frac{b-a+1}{2},\frac{a-b+1}{2};\frac{a+b+3}{2};x \biggr). \end{aligned}$$
(2.11)
It follows easily from (1.1) and (2.11) that
$$\begin{aligned} \lim_{x\rightarrow1^{-}}\omega(a,b;x)={}& \frac {64(a+1)(b+1)}{35(a+b+3)}\frac{\Gamma(\frac{a+b+5}{2})\Gamma(\frac {a+b+3}{2})}{\Gamma(a+2)\Gamma(b+2)}\frac{\Gamma(\frac{9}{4})\Gamma (\frac{11}{4})}{\Gamma(3)\Gamma(2)}\frac{\Gamma(2)\Gamma(1)}{\Gamma (\frac{5}{4})\Gamma(\frac{7}{4})} \\ &{}-\frac{\Gamma(\frac{a+b+3}{2})\Gamma(\frac{a+b+1}{2})}{\Gamma (a+1)\Gamma(b+1)} \\ ={}& \biggl(\frac{a+b-1}{2} \biggr)\frac{\Gamma(\frac{a+b+3}{2})\Gamma(\frac {a+b+1}{2})}{\Gamma(a+1)\Gamma(b+1)} \\ ={}&\textstyle\begin{cases}< 0, &a+b< 1,\\ >0, &a+b>1. \end{cases}\displaystyle \end{aligned}$$
(2.12)
Employing similar arguments mentioned in part (1), we obtain the desired assertions easily from (2.8)–(2.12). □

Lemma 2.3

Let \(D_{0}=\{(a,b)| a,b>0,a+b\geq7/4,ab\geq a+b-31/28\}\) and \(x'=\sqrt {1-x^{2}}\) for \(0< x<1\), then the function
$$ f(x)=\frac{(xx')^{\frac{a+b-1}{2}}F(a,b;\frac{a+b+1}{2};x^{2})}{F(\frac {1}{4},\frac{3}{4};1;x^{2})} $$
(2.13)
is strictly increasing on \((0,1)\) if \((a,b)\in D_{0}\).

Proof

Taking the derivative of \(f(x)\) yields
$$ f'(x)=\frac{(xx')^{\frac{a+b-3}{2}}}{x'F(\frac{1}{4},\frac {3}{4};1;x^{2})^{2}}f_{1}(x), $$
(2.14)
where
$$\begin{aligned} f_{1}(x)={}& \biggl[\frac{a+b-1}{2} \bigl(1-2x^{2}\bigr)F \biggl(a,b;\frac {a+b+1}{2};x^{2} \biggr) \\ &{}+\frac{4ab}{a+b+1}x^{2}x^{\prime 2}F \biggl(a+1,b+1;\frac{a+b+3}{2};x^{2} \biggr) \biggr]F \biggl( \frac{1}{4},\frac{3}{4};1;x^{2} \biggr) \\ &{}-\frac{3x^{2}x^{\prime 2}}{8}F \biggl(a,b;\frac{a+b+1}{2};x^{2} \biggr)F \biggl(\frac {5}{4},\frac{7}{4};2;x^{2} \biggr). \end{aligned}$$
(2.15)
We clearly see from (1.1) that
$$x^{\prime 2}F \biggl(\frac{5}{4},\frac{7}{4};2;x^{2} \biggr)=F \biggl(\frac{1}{4},\frac {3}{4};2;x^{2} \biggr) \leq F \biggl(\frac{1}{4},\frac{3}{4};1;x^{2} \biggr) $$
for \(0< x<1\). This implies, in conjunction with (2.15), that
$$ f_{1}(x)\geq F \biggl(\frac{1}{4}, \frac{3}{4};1;x^{2} \biggr)f_{2}(x), $$
(2.16)
where
$$\begin{aligned} f_{2}(x)={}& \biggl[\frac{a+b-1}{2}- \biggl(a+b-\frac{5}{8} \biggr)x^{2} \biggr]F \biggl(a,b;\frac{a+b+1}{2};x^{2} \biggr) \\ &{}+\frac{4ab}{a+b+1}x^{2}\bigl(1-x^{2}\bigr)F \biggl(a+1,b+1;\frac{a+b+3}{2};x^{2} \biggr). \end{aligned}$$
It follows from the definition of hypergeometric function that
$$\begin{aligned} f_{2}(x)={}&\frac{a+b-1}{2}\sum _{n=0}^{\infty}\frac{(a,n)(b,n)}{(\frac {a+b+1}{2},n)}\frac{x^{2n}}{n!}- \biggl(a+b-\frac{5}{8} \biggr)\sum_{n=0}^{\infty}\frac{(a,n)(b,n)}{(\frac{a+b+1}{2},n)}\frac {x^{2n+2}}{n!} \\ &{}+\frac{4ab}{a+b+1} \Biggl[\sum_{n=0}^{\infty}\frac{(a+1,n)(b+1,n)}{(\frac {a+b+3}{2},n)}\frac{x^{2n+2}}{n!}-\sum_{n=0}^{\infty}\frac {(a+1,n)(b+1,n)}{(\frac{a+b+3}{2},n)}\frac{x^{2n+4}}{n!} \Biggr] \\ ={}&\frac{a+b-1}{2}+ \biggl[\frac{ab(a+b-1)}{a+b+1}- \biggl(a+b- \frac {5}{8} \biggr)+\frac{4ab}{a+b+1} \biggr]x^{2} \\ &{}+\frac{a+b-1}{2}\sum_{n=0}^{\infty}\frac {(a,n+2)(b,n+2)}{(\frac{a+b+1}{2},n+2)}\frac{x^{2n+4}}{(n+2)!} \\ &{}- \biggl(a+b-\frac{5}{8} \biggr)\sum _{n=0}^{\infty}\frac {(a,n+1)(b,n+1)}{(\frac{a+b+1}{2},n+1)}\frac{x^{2n+4}}{(n+1)!} \\ &{} +2 \Biggl[\sum_{n=0}^{\infty}\frac{(a,n+2)(b,n+2)}{(\frac {a+b+1}{2},n+2)}\frac{x^{2n+4}}{(n+1)!}-\sum_{n=0}^{\infty}\frac {(a,n+1)(b,n+1)}{(\frac{a+b+1}{2},n+1)}\frac{x^{2n+4}}{n!} \Biggr] \\ ={}&\frac{a+b-1}{2} \biggl[1-\frac{3x^{2}}{4(a+b+1)} \biggr]+ \frac {4ab(a+b-1)-4(a-b)^{2}+1}{4(a+b+1)}x^{2} \\ &{}+\sum_{n=0}^{\infty}\frac{(a,n+1)(b,n+1)}{(\frac{a+b+1}{2},n+2)} \frac {C_{n}}{(n+2)!}x^{2n+4}, \end{aligned}$$
(2.17)
where
$$\begin{aligned} C_{n}={}&\frac{a+b-1}{2}(a+n+1) (b+n+1)- \biggl(a+b-\frac{5}{8} \biggr) \biggl(\frac{a+b+1}{2}+n+1 \biggr) (n+2) \\ &{}+2(a+n+1) (b+n+1) (n+2)-2 \biggl(\frac{a+b+1}{2}+n+1 \biggr) (n+1) (n+2) \\ ={}& \biggl(\frac{4a+4b-7}{8} \biggr)n^{2}+ \biggl[ \frac {32ab+5(a+b)-29}{16} \biggr]n \\ &{}+\frac{4ab(a+b+3)-4(a-b)^{2}-(3a+3b+5)}{8}. \end{aligned}$$
(2.18)
If \((a,b)\in D_{0}\), namely, \(a+b\geq7/4\) and \(ab\geq a+b-31/28\), we can verify
  1. (i)
    $$\begin{aligned} &4ab(a+b-1)-4(a-b)^{2}+1\\ &\quad\geq4 \biggl(a+b- \frac{31}{28} \biggr) (a+b-1)-4(a-b)^{2}+1 \\ &\quad=\frac{1}{7} \bigl[112ab-59(a+b)+38 \bigr]\geq\frac {53}{7} \biggl(a+b-\frac{86}{53} \biggr)\geq\frac{27}{28}, \end{aligned}$$
     
  2. (ii)
    $$\begin{aligned} 32ab+5(a+b)-29&\geq32 \biggl(a+b-\frac{31}{28} \biggr)+5(a+b)-29 \\ &=\frac{37}{7} \biggl[7(a+b)-\frac{451}{259} \biggr]\geq \frac {9}{28}, \end{aligned}$$
     
  3. (iii)
    $$\begin{aligned} &4ab(a+b+3) -4(a-b)^{2} -(3 a + 3 b + 5)\\ &\quad\geq4 \biggl(a+b-\frac{31}{28} \biggr) (a+b+3) \\ &\qquad{} -4(a-b)^{2}-(3a+3b+5)=\frac{16}{7} \bigl[7ab+2(a+b)-8 \bigr] \\ &\quad\geq \frac{16}{7} \biggl[7 \biggl(a+b-\frac{31}{28} \biggr)+2(a+b)-8 \biggr]=\frac{36}{7}\bigl[4(a+b)-7)\bigr]\geq0. \end{aligned}$$
     
This, in conjunction with (2.17) and (2.18), implies that \(f_{2}(x)>0\) for \(0< x<1\). Therefore, \(f(x)\) is strictly increasing on \((0,1)\), which follows from (2.14) and (2.16) if \((a,b)\in D_{0}\). □

Remark 2.4

The function \(f(x)\) defined in Lemma 2.3 is not monotone on \((0,1)\) if two positive numbers \(a,b\) satisfy \(a+b<1\), since \(\lim_{x\rightarrow 0^{+}}f(x)=\lim_{x\rightarrow1^{-}}f(x)=+\infty\) and Lemma 2.1(1) shows the monotonicity of \(f(x)\) on \((0,1)\) if \(a+b=1\). In the remaining case \(a+b>1\), it follows from (2.15) that \(f_{1}(0^{+})=(a+b-1)/2>0\). This, in conjunction with (2.14), implies that \(f(x)\) is strictly increasing on \((0,x^{*})\) for a sufficiently small \(x^{*}>0\). This enables us to find a sufficient condition for \(a,b\) with \(a+b>1\) such that \(f(x)\) is strictly increasing on \((0,1)\) in Lemma 2.3.

The following corollary can be derived immediately from the monotonicity of \(f(x)\) in Lemma 2.3 and the quadratic transformation equality (1.3).

Corollary 2.5

Let \(x=x(r)=\sqrt{8r(1+r)}/(1+3r)\), if \((a,b)\in D_{0}\), then the inequality
$$ \bigl(xx'\bigr)^{\frac{a+b-1}{2}}F \biggl(a,b; \frac{a+b+1}{2};x^{2} \biggr)>\sqrt {1+3r}\bigl(rr' \bigr)^{\frac{a+b-1}{2}}F \biggl(a,b;\frac{a+b+1}{2};r^{2} \biggr) $$
(2.19)
holds for all \(r\in(0,1)\).

3 Main results

Theorem 3.1

The quadratic transformation inequality
$$ F \biggl(a,b;\frac{a+b+1}{2};\frac{8r(1+r)}{(1+3r)^{2}} \biggr)\leq \sqrt {1+3r}F \biggl(a,b;\frac{a+b+1}{2};r^{2} \biggr) $$
(3.1)
holds for all \(r\in(0,1)\) with \(a,b>0\) if and only if \((a,b)\in D_{1}\) and the reversed inequality
$$ F \biggl(a,b;\frac{a+b+1}{2};\frac{8r(1+r)}{(1+3r)^{2}} \biggr)\geq \sqrt {1+3r}F \biggl(a,b;\frac{a+b+1}{2};r^{2} \biggr) $$
(3.2)
takes place for all \(r\in(0,1)\) if and only if \((a,b)\in D_{2}\), with equality only for \((a,b)=p\textit{ or }q\).

In the remaining case \((a,b)\in D_{3}\cup D_{4}\), neither of the above inequalities holds for all \(r\in(0,1)\).

Proof

Suppose that \(x(r)=[8r(1+r)]/(1+3r)^{2}\), then we clearly see that \(x(r)>r^{2}\) for \(0< r<1\). It follows from Lemma 2.1(1) that \(\eta (x(r))<\eta(r^{2})\) for \((a,b)\in D_{1}\setminus\{p,q\}\) and \(\eta (x(r))>\eta(r^{2})\) for \((a,b)\in D_{2}\setminus\{p,q\}\). This, in conjunction with the quadratic transformation formula (1.3), implies
$$ F\bigl(x(r)\bigr)< \frac{\widehat{F}(x(r))}{\widehat{F}(r^{2})}F\bigl(r^{2}\bigr)=\sqrt{1+3r}F \bigl(r^{2}\bigr) $$
for \((a,b)\in D_{1}\setminus\{p,q\}\), and it degenerates to the quadratic transformation equality for \((a,b)=p (\text{or} q)\). This completes the proof of (3.1).

Inequality (3.2) can be derived analogously, and the remaining case follows easily from Lemma 2.2(1). □

Theorem 3.2

We define the function
$$\varphi(r)=\sqrt{1+3\sqrt{r}}F \biggl(a,b,;\frac{a+b+1}{2};r \biggr)-F \biggl(a,b;\frac{a+b+1}{2};\frac{8\sqrt{r}(1+\sqrt{r})}{(1+3\sqrt{r})^{2}} \biggr) $$
for \(r\in(0,1)\) with \(a,b>0\) and \((a,b)\neq p,q\). Let \(L_{1}=\{(a,b)| a+b=1, 0< a<\frac{1}{4}\textit{ or }\frac{3}{4}<a<1\}\) and \(L_{2}=\{ (a,b)| a+b=1, \frac{1}{4}< a<\frac{3}{4}\}\). Then the following statements hold true:
  1. 1.

    If \((a,b)\in L_{1}(\textit{or }L_{2})\), then \(\varphi(r)\) is strictly increasing (resp., decreasing) from \((0,1)\) onto \((0,[R(a,b)-\log64]/B(a,b) )\) (resp., \(([R(a,b)-\log64]/B(a,b),0)\));

     
  2. 2.

    If \((a,b)\in D_{1}\setminus L_{1}\), then \(\varphi(r)\) is strictly increasing from \((0,1)\) onto \((0,H(a,b))\);

     
  3. 3.

    If \((a,b)\in D_{2}\setminus L_{2}\), then \(\varphi(r)\) is strictly decreasing from \((0,1)\) onto \((-\infty,0)\).

     
As a consequence, the inequality
$$\begin{aligned} F \biggl(a,b;\frac{a+b+1}{2};\frac{8r(1+r)}{(1+3r)^{2}} \biggr)&\leq \sqrt {1+3r}F \biggl(a,b,;\frac{a+b+1}{2};r^{2} \biggr) \\ & \leq F \biggl(a,b;\frac{a+b+1}{2};\frac{8r(1+r)}{(1+3r)^{2}} \biggr)+H(a,b) \end{aligned}$$
(3.3)
holds for all \(r\in(0,1)\) if \((a,b)\in D_{1}\setminus L_{1}\), and the following inequality is valid for all \(r\in(0,1)\):
$$\begin{aligned} & F \biggl(a,b;\frac{a+b+1}{2};\frac{8r(1+r)}{(1+3r)^{2}} \biggr) \\ &\quad \leq( \geq) \sqrt{1+3r}F \biggl(a,b,;\frac{a+b+1}{2};r^{2} \biggr) \\ &\quad\leq(\geq)F \biggl(a,b;\frac{a+b+1}{2};\frac {8r(1+r)}{(1+3r)^{2}} \biggr)+ \frac{R(a,b)-\log64}{B(a,b)} \end{aligned}$$
(3.4)
if \((a,b)\in L_{1} (\textit{resp., }L_{2})\).

Proof

Let \(z=z(r)=[8\sqrt{r}(1+\sqrt{r})]/(1+3\sqrt{r})^{2}\), then we clearly see that
$$ \frac{dz}{dr}=\frac{4(1-\sqrt{r})}{\sqrt{r}(1+3\sqrt{r})^{3}}=\frac {4(1-z)}{\sqrt{r}(1-\sqrt{r})(1+3\sqrt{r})}. $$
(3.5)
Taking the derivative of \(\varphi(r)\) with respect to r and using (3.5) yields
$$\begin{aligned} \sqrt{r}(1+3\sqrt{r})\varphi'(r)={}& \frac{3\sqrt{1+3\sqrt {r}}}{4}F(r)+\sqrt{r} (\sqrt{1+3\sqrt{r}} )^{3} \frac {2ab}{a+b+1}G(r) \\ &{}-\frac{2ab}{a+b+1}\frac{4(1-z)}{1-\sqrt{r}}G(z). \end{aligned}$$
(3.6)
We substitute \(\sqrt{r}\) for r in the quadratic transformation equality (1.3), then differentiate it with respect to r to obtain
$$ \frac{4(1-z)}{1-\sqrt{r}}\widehat{G}(z)=4\sqrt{1+3\sqrt{r}}\widehat {F}(r)+\sqrt{r} ( \sqrt{1+3\sqrt{r}} )^{3}\widehat{G}(r), $$
in other words,
$$ \frac{4(1-z)}{1-\sqrt{r}}\frac{\widehat{G}(z)}{\widehat{G}(r)}=4\sqrt {1+3\sqrt{r}} \frac{\widehat{F}(r)}{\widehat{G}(r)}+\sqrt{r} (\sqrt {1+3\sqrt{r}} )^{3}. $$
(3.7)
If \((a,b)\in D_{1}\setminus\{p,q\}\), then it follows from Lemma 2.2(2) that \(G(x)/\widehat{G}(x)\) is strictly decreasing on \((0,1)\). This, in conjunction with \(z>r\), implies that \(G(z)/\widehat{G}(z)< G(r)/\widehat {G}(r)\), that is,
$$ G(z)< \frac{\widehat{G}(z)}{\widehat{G}(r)}G(r). $$
(3.8)
Combing (3.6), (3.7) with the inequality (3.8), we clearly see that
$$\begin{aligned} &\sqrt{r}(1+3\sqrt{r})\varphi'(r) \\ &\quad=\frac{3\sqrt{1+3\sqrt{r}}}{4}F(r)+\sqrt{r} (\sqrt{1+3\sqrt {r}} )^{3} \frac{2ab}{a+b+1}G(r)-\frac{2ab}{a+b+1}\frac {4(1-z)}{1-\sqrt{r}}G(z) \\ &\quad>\frac{3\sqrt{1+3\sqrt{r}}}{4}F(r)+\sqrt{r} (\sqrt{1+3\sqrt {r}} )^{3} \frac{2ab}{a+b+1}G(r)-\frac{2ab}{a+b+1}\frac {4(1-z)}{1-\sqrt{r}} \frac{\widehat{G}(z)}{\widehat{G}(r)}G(r) \\ &\quad=\frac{3\sqrt{1+3\sqrt{r}}}{4}F(r)+\sqrt{r} (\sqrt{1+3\sqrt {r}} )^{3} \frac{2ab}{a+b+1}G(r) \\ &\qquad{}-\frac{2ab}{a+b+1} \biggl[4\sqrt{1+3\sqrt{r}}\frac{\widehat {F}(r)}{\widehat{G}(r)}+\sqrt{r} ( \sqrt{1+3\sqrt{r}} )^{3} \biggr]G(r) \\ &\quad=4\sqrt{1+3\sqrt{r}} \biggl[\frac{3}{16}F(r)-\frac{2ab}{a+b+1} \frac {\widehat{F}(r)}{\widehat{G}(r)}G(r) \biggr] \\ &\quad =4\sqrt{1+3\sqrt{r}}\frac{F(r)^{2}}{\widehat{G}(r)} \biggl(\frac{\widehat {F}(r)}{F(r)} \biggr)'. \end{aligned}$$
(3.9)

It follows from Lemma 2.2(1) that \(\widehat{F}(r)/F(r)\) is strictly increasing on \((0,1)\) if \((a,b)\in D_{1}\setminus\{p,q\}\). This, in conjunction with (3.9), implies that \(\varphi(r)\) is strictly increasing on \((0,1)\) if \((a,b)\in D_{1}\).

Analogously, if \((a,b)\in D_{2}\setminus\{p,q\}\), then we obtain the following inequality:
$$ G(z)>\frac{\widehat{G}(z)}{\widehat{G}(r)}G(r). $$
By using a similar argument as above, we have
$$ \sqrt{r}\varphi'(r)< \frac{4F^{2}(r)}{\widehat{G}(r)} \biggl(\frac{\widehat {F}(r)}{F(r)} \biggr)'< 0, $$
since \(F(r)/\widehat{F}(r)\) is strictly increasing on (0,1) if \((a,b)\in D_{2}\setminus\{p,q\}\) by Lemma 2.2(1). Hence, \(\varphi(r)\) is strictly decreasing on \((0,1)\) if \((a,b)\in D_{2}\).
Notice that \(\varphi(0^{+})=0\) and
$$ \lim_{r\rightarrow1^{-}}\varphi(r)=\textstyle\begin{cases} H(a,b),&a+b< 1,\\ \frac{R(a,b)-\log64}{B(a,b)},&a+b=1,\\ -\infty,&a+b>1. \end{cases} $$
(3.10)

Therefore, we obtain the desired assertion from (3.10). □

Theorem 3.3

If we define the function
$$\phi(r)=2\mu_{a,b} \biggl(\frac{\sqrt{8r(1+r)}}{1+3r} \biggr)- \mu_{a,b}(r), $$
for \((a,b)\in D_{0}\), then \(\phi(r)\) is strictly increasing from \((0,1)\) onto \((-\infty,0)\). As a consequence, the inequality
$$2\mu_{a,b} \biggl(\frac{\sqrt{8r(1+r)}}{1+3r} \biggr)< \mu_{a,b}(r) $$
holds for all \(r\in(0,1)\) if \((a,b)\in D_{0}\).

Proof

Remark 2.4 enables us to consider the case for \(a+b>1\). Note that \(\phi (1^{-})=0\) and
$$\begin{aligned} &\lim_{r\rightarrow0^{+}}\phi(r) \\ &\quad =\lim_{r\rightarrow0^{+}}\frac{B(a,b)}{2} \biggl[2F \biggl(a,b; \frac {a+b+1}{2}; \biggl(\frac{1-r}{1+3r} \biggr)^{2} \biggr)-F \biggl(a,b;\frac {a+b-1}{2};1-r^{2} \biggr) \biggr] \\ &\quad=B(a,b)\lim_{r\rightarrow0^{+}} \biggl[ \biggl( \frac{\sqrt {8r(1+r)}}{1+3r} \biggr)^{1-a-b}F \biggl(\frac{b-a+1}{2}, \frac {a-b+1}{2};\frac{a+b+1}{2}; \biggl(\frac{1-r}{1+3r} \biggr)^{2} \biggr) \\ &\qquad{}-\frac{1}{2}r^{1-a-b}F \biggl( \frac{b-a+1}{2},\frac {a-b+1}{2};\frac{a+b+1}{2};1-r^{2} \biggr) \biggr] \\ &\quad=\frac{1}{2}B \biggl(\frac{a+b+1}{2},\frac{a+b-1}{2} \biggr)\lim_{r\rightarrow0^{+}} \biggl[2 \biggl(\frac{\sqrt{8r(1+r)}}{1+3r} \biggr)^{1-a-b}-r^{1-a-b} \biggr] \\ &\quad=-\infty. \end{aligned}$$
(3.11)
Let \(x=x(r)=\sqrt{8r(1+r)}/(1+3r)\) and \(x'=\sqrt{1-x^{2}}\). Then
$$ \frac{dx}{dr}=\frac{\sqrt{2}(1-r)}{\sqrt{r(1+r)}(1+3r)^{2}}=\frac {x'(1+3x')^{2}}{4x}. $$
(3.12)
Taking the derivative of \(\phi(r)\) and using (3.12) leads to
$$\begin{aligned} \phi'(r)={}&-2\frac{\Gamma(\frac{a+b+1}{2})^{2}}{\Gamma(a+b)} \frac {1}{x^{a+b}x^{\prime a+b+1}F(a,b;\frac{a+b+1}{2};x^{2})^{2}}\cdot\frac {x'(1+3x')^{2}}{4x} \\ &{}+\frac{\Gamma(\frac{a+b+1}{2})^{2}}{\Gamma(a+b)}\frac {1}{r^{a+b}r^{\prime a+b+1}F(a,b;\frac{a+b+1}{2};r^{2})^{2}} \\ ={}&\frac{\Gamma(\frac{a+b+1}{2})^{2}}{\Gamma(a+b)}\frac {(1+3x')^{2}}{2(1+3r)x^{a+b+1}x^{\prime a+b}F(a,b;\frac{a+b+1}{2};x^{2})^{2}} \\ &{}\times \biggl[\frac{(xx')^{a+b-1}F(a,b;\frac {a+b+1}{2};x^{2})^{2}}{(rr')^{a+b-1}F(a,b;\frac {a+b+1}{2};r^{2})^{2}}-(1+3r) \biggr]. \end{aligned}$$
(3.13)

Therefore, the monotonicity of \(\phi(r)\) follows immediately from (2.19) and (3.13). This, in conjunction with (3.11), gives rise to the desired result. □

4 Results and discussion

In the article, we establish several quadratic transformation inequalities for Gaussian hypergeometric function \(_{2}F_{1}(a,b;(a+b+1)/2;x)\) \((0< x<1)\). As applications, we provide the analogs of duplication inequalities for the generalized Grötzsch ring function
$$ \mu_{a,b}(r)=\frac{B(a,b)}{2}\frac{ F (a,b;(a+b+1)/2;1-r^{2} )}{F (a,b;(a+b+1)/2;r^{2} )} $$
introduced in [33].

5 Conclusion

We find several quadratic transformation inequalities for the Gaussian hypergeometric function and Grötzsch ring function. Our approach may have further applications in the theory of special functions.

Declarations

Funding

This work was supported by the Natural Science Foundation of China (Grant Nos. 11701176, 11626101, 11601485), the Science and Technology Research Program of Zhejiang Educational Committee (Grant no. Y201635325).

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics, Hangzhou Normal University, Hangzhou, China
(2)
Department of Mathematics, Huzhou University, Huzhou, China
(3)
Friedman Brain Institute, Icahn School of Medicine at Mount Sinai, New York, New York, USA

References

  1. Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables. Dover, New York (1965). Available online at http://people.math.sfu.ca/~cbm/aands/ MATHGoogle Scholar
  2. Anderson, G.D., Qiu, S.-L., Vamanamurthy, M.K., Vuorinen, M.: Generalized elliptic integrals and modular equations. Pac. J. Math. 192(1), 1–37 (2000). Available online at https://msp.org/pjm/2000/192-1/pjm-v192-n1-p01-s.pdf MathSciNetView ArticleGoogle Scholar
  3. Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Hypergeometric functions and elliptic integrals. In: Srivastava, H.M., Owa, S. (eds.) Current Topics in Analytic Function Theory, pp. 48–85. World Scientific, Singapore (1992). https://doi.org/10.1142/1628. View ArticleGoogle Scholar
  4. Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Conformal Invariants, Inequalities, and Quasiconformal Maps. John Wiley & Sons, New York (1997). Available online at https://www.isbns.net/isbn/9780471594864/ MATHGoogle Scholar
  5. Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Topics in special functions, in papers on analysis: a volume dedicated to Olli Martio on the occasion of his 60th birthday. Report. Univ. Jyväskylä 83, 5–26 (2001). Available online at http://cn.arxiv.org/abs/0712.3856 Google Scholar
  6. Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Topics in special functions II. Conform. Geom. Dyn. 11, 250–270 (2007). https://doi.org/10.1090/S1088-4173-07-00168-3 MathSciNetView ArticleMATHGoogle Scholar
  7. Barnard, R.W., Pearce, K., Richards, K.C.: An inequality involving the generalized hypergeometric function and the arc length of an ellipse. SIAM J. Math. Anal. 31(3), 693–699 (2000). https://doi.org/10.1137/S0036141098341575 MathSciNetView ArticleMATHGoogle Scholar
  8. Bhayo, B.A., Vuorinen, M.: On generalized complete elliptic integrals and modular functions. Proc. Edinb. Math. Soc. (2) 55(3), 591–611 (2012). https://doi.org/10.1017/S0013091511000356 MathSciNetView ArticleMATHGoogle Scholar
  9. Borwein, J.M., Borwein, P.B.: Pi and AGM. Wiley, New York (1987). Available online at http://ww1.openisbn.com/download/0471831387.pdf MATHGoogle Scholar
  10. Chen, C.-P., Qi, F., Srivastava, H.M.: Some properties of functions related to the gamma and psi functions. Integral Transforms Spec. Funct. 21(1–2), 153–164 (2010). https://doi.org/10.1080/10652460903064216 MathSciNetView ArticleMATHGoogle Scholar
  11. Chu, Y.-M., Qiu, S.-L., Wang, M.-K.: Sharp inequalities involving the power mean and complete elliptic integral of the first kind. Rocky Mt. J. Math. 43(3), 1489–1496 (2013). https://doi.org/10.1216/RMJ-2013-43-5-1489 MathSciNetView ArticleMATHGoogle Scholar
  12. Chu, Y.-M., Qiu, Y.-F., Wang, M.-K.: Hölder mean inequalities for the complete elliptic integrals. Integral Transforms Spec. Funct. 23(7), 521–527 (2012). https://doi.org/10.1080/10652469.2011.609482 MathSciNetView ArticleMATHGoogle Scholar
  13. Chu, Y.-M., Wang, M.-K.: Optimal Lehmer mean bounds for the Toader mean. Results Math. 61(3–4), 223–229 (2012). https://doi.org/10.1007/s00025-010-0090-9 MathSciNetView ArticleMATHGoogle Scholar
  14. Chu, Y.-M., Wang, M.-K., Jiang, Y.-P., Qiu, S.-L.: Concavity of the complete elliptic integrals of the second kind with respect to Hölder mean. J. Math. Anal. Appl. 395(2), 637–642 (2012). https://doi.org/10.1016/j.jmaa.2012.05.083 MathSciNetView ArticleMATHGoogle Scholar
  15. Chu, Y.-M., Wang, M.-K., Ma, X.-Y.: Sharp bounds for Toader mean in terms of contraharmonic mean with applications. J. Math. Inequal. 7(2), 161–166 (2013). https://doi.org/10.7153/jmi-07-15 MathSciNetView ArticleMATHGoogle Scholar
  16. Chu, Y.-M., Wang, M.-K., Qiu, S.-L.: Optimal combinations bounds of root-square and arithmetic means for Toader mean. Proc. Indian Acad. Sci. Math. Sci. 122(1), 41–51 (2012). Available online at https://link.springer.com/article/10.1007 MathSciNetView ArticleGoogle Scholar
  17. Chu, Y.-M., Wang, M.-K., Qiu, S.-L., Jiang, Y.-P.: Bounds for complete integrals of the second kind with applications. Comput. Math. Appl. 63(7), 1177–1184 (2012). https://doi.org/10.1016/j.camwa.2011.12.038 MathSciNetView ArticleMATHGoogle Scholar
  18. Chu, Y.-M., Wang, M.-K., Qiu, S.-L., Qiu, Y.-F.: Sharp generalized Seiffert mean bounds for Toader mean. Abstr. Appl. Anal. 2011, Article ID 605259 (2011). https://doi.org/10.1155/2011/605259 MathSciNetView ArticleMATHGoogle Scholar
  19. Heikkala, V., Vamanamurthy, M.K., Vuorinen, M.: Generalized elliptic integrals. Comput. Methods Funct. Theory 9(1), 75–109 (2009). https://doi.org/10.1007/BF0332171 MathSciNetView ArticleMATHGoogle Scholar
  20. Hua, Y., Qi, F.: The best bounds for Toader mean in terms of the centroidal and arithmetic means. Filomat 28(4), 775–780 (2014). https://doi.org/10.2298/FIL1404775H MathSciNetView ArticleMATHGoogle Scholar
  21. Huang, T.-R., Han, B.-W., Ma, X.-Y., Chu, Y.-M.: Optimal bounds for the generalized Euler–Mascheroni constant. J. Inequal. Appl. 2018, Article ID 118 (2018). https://doi.org/10.1186/s13660-018-1711-1 MathSciNetView ArticleGoogle Scholar
  22. Jiang, W.-D., Qi, F.: A double inequality for the combination of Toader mean and the arithmetic mean in terms of the contraharmonic mean. Publ. Inst. Math. 99(113), 237–242 (2016). https://doi.org/10.2298/PIM141026009J MathSciNetView ArticleMATHGoogle Scholar
  23. Lehto, O., Virtanen, K.I.: Quasiconformal Mappings in the Plane, 2nd edn. Springer, New York (1973) View ArticleGoogle Scholar
  24. Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W.: NIST Handbook of Mathematical Functions. Cambridge Univ. Press, Cambridge (2010) MATHGoogle Scholar
  25. Qi, F.: Bounds for the ratio of two gamma functions. J. Inequal. Appl. 2010, Article ID 493058 (2010). https://doi.org/10.1155/2010/493058 MathSciNetView ArticleMATHGoogle Scholar
  26. Qian, W.-M., Chu, Y.-M.: Sharp bounds for a special quasi-arithmetic mean in terms of arithmetic and geometric means with two parameters. J. Inequal. Appl. 2017, Article ID 274 (2017). https://doi.org/10.1186/s13660-017-1550-5 MathSciNetView ArticleMATHGoogle Scholar
  27. Qiu, S.-L., Vuorinen, M.: Landen inequalities for hypergeometric functions. Nagoya Math. J. 154, 31–56 (1999). https://doi.org/10.1017/S0027763000025290 MathSciNetView ArticleMATHGoogle Scholar
  28. Simić, S., Vuorinen, M.: Landen inequalities for zero-balanced hypergeometric functions. Abstr. Appl. Anal. 2012, Article ID 932061 (2012). https://doi.org/10.1155/2012/932061 MathSciNetView ArticleMATHGoogle Scholar
  29. Song, Y.-Q., Zhou, P.-G., Chu, Y.-M.: Inequalities for the Gaussian hypergeometric function. Sci. China Math. 57(11), 2369–2380 (2014). https://doi.org/10.1007/s11425-014-4858-3 MathSciNetView ArticleMATHGoogle Scholar
  30. Sugawa, T., Wang, L.-M.: Spirallikeness of shifted hypergeometric functions. Ann. Acad. Sci. Fenn., Math. 42(2), 963–977 (2017). https://doi.org/10.5186/aasfm.2017.4257 MathSciNetView ArticleMATHGoogle Scholar
  31. Wang, G.-D., Zhang, X.-H., Chu, Y.-M.: A power mean inequality involving the complete elliptic integrals. Rocky Mt. J. Math. 44(5), 1661–1667 (2014). https://doi.org/10.1216/RMJ-2014-44-5-1661 MathSciNetView ArticleMATHGoogle Scholar
  32. Wang, M.-K., Chu, Y.-M.: Refinements of transformation inequalities for zero-balanced hypergeometric functions. Acta Math. Sci. 37B(3), 607–622 (2017). https://doi.org/10.1016/S0252-9602(17)30026-7 MathSciNetView ArticleMATHGoogle Scholar
  33. Wang, M.-K., Chu, Y.-M.: Landen inequalities for a class of hypergeometric functions with applications. Math. Inequal. Appl. 21(2), 521–537 (2018). https://doi.org/10.7153/mia-2018-21-38 MathSciNetView ArticleMATHGoogle Scholar
  34. Wang, M.-K., Chu, Y.-M., Jiang, Y.-P.: Ramanujan’s cubic transformation inequalities for zero-balanced hypergeometric functions. Rocky Mt. J. Math. 46(2), 679–691 (2016). https://doi.org/10.1216/RMJ-2016-46-2-679 MathSciNetView ArticleMATHGoogle Scholar
  35. Wang, M.-K., Chu, Y.-M., Qiu, S.-L.: Some monotonicity properties of generalized elliptic integrals with applications. Math. Inequal. Appl. 16(3), 671–677 (2013). https://doi.org/10.7153/mia-16-50 MathSciNetView ArticleMATHGoogle Scholar
  36. Wang, M.-K., Chu, Y.-M., Qiu, S.-L.: Sharp bounds for generalized elliptic integrals of the first kind. J. Math. Anal. Appl. 429(2), 744–757 (2015). https://doi.org/10.1016/j.jmaa.2015.04.035 MathSciNetView ArticleMATHGoogle Scholar
  37. Wang, M.-K., Chu, Y.-M., Qiu, Y.-F., Qiu, S.-L.: An optimal power mean inequality for the complete elliptic integrals. Appl. Math. Lett. 24(6), 887–890 (2011). https://doi.org/10.1016/j.aml.2010.12.044 MathSciNetView ArticleMATHGoogle Scholar
  38. Wang, M.-K., Chu, Y.-M., Song, Y.-Q.: Asymptotical formulas for Gaussian and generalized hypergeometric functions. Appl. Math. Comput. 276, 44–60 (2016). https://doi.org/10.1016/j.amc.2015.11.088 MathSciNetView ArticleGoogle Scholar
  39. Wang, M.-K., Li, Y.-M., Chu, Y.-M.: Inequalities and infinite product formula for Ramanujan generalized modular equation function. Ramanujan J. 46(1), 189–200 (2018). https://doi.org/10.1007/s11139-017-9888-3 MathSciNetView ArticleMATHGoogle Scholar
  40. Wang, M.-K., Qiu, S.-L., Chu, Y.-M.: Infinite series formula for Hübner upper bounds function with applications to Hersch–Pfluger distortion function. Math. Inequal. Appl. 21(3), 629–648 (2018). https://doi.org/10.7153/mia-2018-21-46 MathSciNetView ArticleGoogle Scholar
  41. Yang, Z.-H., Chu, Y.-M.: A monotonicity property involving the generalized elliptic integral of the first kind. Math. Inequal. Appl. 20(3), 729–735 (2017). https://doi.org/10.7153/mia-20-46 MathSciNetView ArticleMATHGoogle Scholar
  42. Yang, Z.-H., Chu, Y.-M., Wang, M.-K.: Monotonicity criterion for the quotient of power series with applications. J. Math. Anal. Appl. 428(1), 587–604 (2015) https://doi.org/10.1016/j.jmaa.2015.03.043. MathSciNetView ArticleMATHGoogle Scholar
  43. Yang, Z.-H., Qian, W.-M., Chu, Y.-M.: On rational bounds for the gamma function. J. Inequal. Appl. 2017, Article ID 210 (2017). https://doi.org/10.1186/s13660-017-1484-y MathSciNetView ArticleMATHGoogle Scholar
  44. Yang, Z.-H., Qian, W.-M., Chu, Y.-M., Zhang, W.: On approximating the error function. Math. Inequal. Appl. 21(2), 469–479 (2018). https://doi.org/10.7153/mia-2018-2 MathSciNetView ArticleMATHGoogle Scholar
  45. Yang, Z.-H., Qian, W.-M., Chu, Y.-M., Zhang, W.: On approximating the arithmetic-geometric mean and complete elliptic integral of the first kind. J. Math. Anal. Appl. 462(2), 1714–1726 (2018). https://doi.org/10.1016/j.jmaa.2018.03.005 MathSciNetView ArticleMATHGoogle Scholar
  46. Yang, Z.-H., Tian, J.F.: A comparison theorem for two divided differences and applications to special functions. J. Math. Anal. Appl. 464(1), 580–595 (2018). https://doi.org/10.1016/j.jmaa.2018.04.024 MathSciNetView ArticleMATHGoogle Scholar
  47. Yang, Z.-H., Zhang, W., Chu, Y.-M.: Sharp Gautschi inequality for parameter \(0< p<1\) with applications. Math. Inequal. Appl. 20(4), 1107–1120 (2017) https://doi.org/10.7153/mia-201720-71 MathSciNetView ArticleMATHGoogle Scholar
  48. Yin, L., Mi, L.-F.: Landen type inequality for generalized elliptic integrals. Adv. Stud. Contemp. Math. 26(4), 717–722 (2016). Available online at http://www.jangjeon.or.kr/etc/view.html?id=1924 MATHGoogle Scholar
  49. Zhang, X.-H., Wang, G.-D., Chu, Y.-M.: Convexity with respect to Hölder mean involving zero-balanced hypergeometric functions. J. Math. Anal. Appl. 353(1), 256–259 (2009). https://doi.org/10.1016/j.jmaa.2008.11.068 MathSciNetView ArticleMATHGoogle Scholar
  50. Zhao, T.-H., Chu, Y.-M., Wang, H.: Logarithmically complete monotonicity properties relating to the gamma function. Abstr. Appl. Anal. 2011, Article ID 896483 (2011). https://doi.org/10.1155/2011/896483 MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2018

Advertisement