Skip to main content

Advertisement

We’d like to understand how you use our websites in order to improve them. Register your interest.

Optimal bounds for Toader mean in terms of general means

Abstract

In this paper, we present the best possible parameters \(\alpha (r)\), \(\beta (r)\) such that the double inequality

$$\begin{aligned} {}[\alpha (r)M^{r}(a,b)+(1-\alpha (r))N^{r}(a,b)] ^{1/r} < &\operatorname{TD}\bigl[M(a,b),N(a,b)\bigr] \\ < &\bigl[\beta (r)M^{r}(a,b)+\bigl(1-\beta (r)\bigr)N^{r}(a,b) \bigr]^{1/r}, \end{aligned}$$

holds for all \(r\leq 1\) and \(a,b>0\) with \(a\neq b\), where

$$ \operatorname{TD}(a,b):= \int ^{\pi /2}_{0}\sqrt{a^{2}\cos ^{2}\theta +b^{2}\sin ^{2} \theta }\,d\theta $$

is the Toader mean, and M, N are means. As applications, we attain the optimal bounds for the Toader mean in terms of arithmetic, contraharmonic, centroidal and quadratic means, and then we provide some new bounds for the complete elliptic integral of the second kind.

Introduction

Let \(I\subset \mathbb{R}\) be an open interval. A two-variable function \(M:I^{2}\rightarrow I\) is called a mean on the interval I if

$$\begin{aligned} \min \{a,b\}\leq M(a,b)\leq \max \{a,b\},\quad a,b\in I. \end{aligned}$$

If for all \(a,b\in I\), \(a\neq b\), these inequalities are strict, M is called strict mean. M is called symmetric if \(M(b,a)=M(a,b)\) holds for all \(a,b\in I\). If \(M(ta,tb)=tM(a,b)\) holds for all \(a, b, t\in \mathbb{R}_{+}\), then M is called homogeneous.

For all \(a,b\in \mathbb{R}_{+}\), the power mean or the Hölder mean\(M_{p}\) for \(p\in \mathbb{R}\) is defined by

$$\begin{aligned} M_{p}(a,b)= \textstyle\begin{cases} (\frac{a^{p}+b^{p}}{2} )^{\frac{1}{p}}, & p\neq 0, \\ \sqrt{ab}, & p=0. \end{cases}\displaystyle \end{aligned}$$

As some special cases,

$$\begin{aligned}& M_{1}=\frac{a+b}{2}=:A(a,b),\qquad M_{0}= \sqrt{ab}=:G(a,b), \\& M_{-1}=\frac{2ab}{a+b}=:H(a,b),\qquad M_{2}= \sqrt{a^{2}+b^{2}}=:Q(a,b), \end{aligned}$$

are, respectively, the classical arithmetic mean, geometric mean, harmonic mean and quadratic mean.

For \(a,b\in \mathbb{R}_{+}\), the Gauss-iteration of the arithmetic mean A and the geometric mean G defined by

$$ a_{1}:=a,\qquad b_{1}:=b ;\qquad a_{n+1}:= \frac{a_{n}+b_{n}}{2},\qquad b_{n+1}:= \sqrt{a_{n}b_{n}}, \quad n\in \mathbb{N}, $$

satisfies

$$ \lim_{n\rightarrow \infty }a_{n}=\lim_{n\rightarrow \infty }b_{n}=:A \otimes G(a,b), $$

which is called the Gauss arithmetic–geometric mean [1]. As is well known, Gauss found the general formula for \(A\otimes G\) as follows:

$$ A\otimes G(a,b)= \biggl(\frac{2}{\pi } \int _{0}^{\frac{\pi }{2}} \frac{dt}{\sqrt{a^{2}\cos ^{2}t+b^{2}\sin ^{2}t}} \biggr)^{-1},\quad a,b \in \mathbb{R}_{+}, $$

which can be rewritten as

$$\begin{aligned} A\otimes G(a,b)= \textstyle\begin{cases} (\frac{2a}{\pi }\kappa (\sqrt{1-(\frac{b}{a})^{2}}) )^{-1}, & \text{if } a\geq b, \\ (\frac{2b}{\pi }\kappa (\sqrt{1-(\frac{a}{b})^{2}}) )^{-1}, & \text{if } a< b, \end{cases}\displaystyle \quad a,b\in \mathbb{R_{+}}, \end{aligned}$$

where

$$ \kappa (r)= \int ^{\pi /2}_{0} \frac{1}{\sqrt{1-r^{2} \sin ^{2}\theta }} \,d\theta ,\quad r \in (0,1), $$
(1.1)

is the complete elliptic integral of the first kind.

In 1991, Haruki considered a more general mean [2]:

$$ M_{\varphi ,n}(a,b):=\varphi ^{-1} \biggl( \frac{1}{2\pi } \int ^{2\pi }_{0} \varphi \bigl(r_{n}(\theta )\bigr)\,d\theta \biggr), $$

where \(\varphi :\mathbb{R}^{+}\rightarrow \mathbb{R}\) is strictly monotonic function and \(r_{n}(\theta )\) is given by

$$\begin{aligned} r_{n}(\theta )= \textstyle\begin{cases} (a^{n}\cos ^{2}\theta +b^{n}\sin ^{2}\theta )^{1/n}, & \text{if } n \neq 0, \\ a^{\cos ^{2}\theta }b^{\sin ^{2}\theta }, & \text{if } n=0, \end{cases}\displaystyle \quad a,b\in \mathbb{R}_{+}. \end{aligned}$$

It is well known that \(M_{\varphi ,n}=A\otimes G\) for the case \(n=2\) and \(\varphi (x)=x^{-1}\).

In 1998, Toader found that, for the case \(n=2\) and \(\varphi (x)=x\), the mean \(\varphi _{\varphi ,n}(a,b)\) becomes another new mean \(\operatorname{TD}(a,b)\), called the Toader mean later, which has a close relationship with the complete elliptic integral of the second kind [3], that is,

$$ \operatorname{TD}(a,b)= \int ^{\pi /2}_{0}\sqrt{a^{2}\cos ^{2}\theta +b^{2}\sin ^{2} \theta }\,d\theta ,\quad a,b\in \mathbb{R}_{+}. $$
(1.2)

It can be rewritten as

$$\begin{aligned} \operatorname{TD}(a,b)= \textstyle\begin{cases} \frac{2a}{\pi }\varepsilon (\sqrt{1-(\frac{b}{a})^{2}} ), & \text{if } a\geq b, \\ \frac{2b}{\pi }\varepsilon (\sqrt{1-(\frac{a}{b})^{2}} ), & \text{if } a< b, \end{cases}\displaystyle \quad a,b\in \mathbb{R}_{+}, \end{aligned}$$

where

$$ \varepsilon (r)= \int ^{\frac{\pi }{2}}_{0}\sqrt{1-r^{2} \sin ^{2} \theta } \,d\theta ,\quad r\in (0,1), $$
(1.3)

is the complete elliptic integral of the second kind.

For \(a,b\in \mathbb{R}_{+}\) with \(a\neq b\), the contraharmonic mean \(C(a,b)\), the centroidal mean \(\overline{C}(a,b)\), the logarithmic mean \(L(a,b)\), the identric mean \(I(a,b)\) and the first Seiffert mean \(P(a,b)\) [4] are, respectively, defined by

$$\begin{aligned} \begin{aligned} & C(a,b)=\frac{a^{2}+b^{2}}{a+b},\qquad \overline{C}(a,b)= \frac{2(a^{2}+ab+b^{2})}{3(a+b)}, \qquad L(a,b)= \frac{b-a}{\log b-\log a}, \\ &I(a,b)=\frac{1}{e} \biggl(\frac{a^{a}}{b^{b}} \biggr)^{\frac{1}{a-b}}, \qquad P(a,b)=\frac{a-b}{2\arcsin (\frac{a-b}{a+b} )}, \end{aligned} \end{aligned}$$
(1.4)

which satisfy the well-known chain of inequalities

$$\begin{aligned} H(a,b) < &G(a,b)< L(a,b)< P(a,b)< I(a,b) \\ < &A(a,b)< \operatorname{TD}(a,b)< \overline{C}(a,b)< Q(a,b)< C(a,b). \end{aligned}$$

In 1997, Vuorinen [5] conjectured that

$$ \operatorname{TD}(a,b)>M_{3/2}(a,b), $$

for all \(a,b>0\) with \(a\neq b\). The conjecture was proved by Qiu and Shen [6], and Barnard, Pearce and Richards [7], respectively.

In [8], Alzer and Qiu presented a best possible upper power mean bound for the Toader mean as follows:

$$ \operatorname{TD}(a,b)< M_{\log 2/\log (\pi /2)}(a,b), $$

for all \(a,b>0\) with \(a\neq b\).

Neuman [9] proved that the inequalities

$$ \frac{(a+b)\sqrt{ab}-ab}{A\otimes G(a,b)}< \operatorname{TD}(a,b)< \frac{4(a+b)\sqrt{ab}+(a-b)^{2}}{8A\otimes G(a,b)} $$

hold for all \(a,b>0\) with \(a\neq b\).

Kazi and Neuman [10] proved the inequality

$$ \operatorname{TD}(a,b)< \frac{1}{4} \bigl(\sqrt{(2+\sqrt{2})a^{2}+ (2-\sqrt{2})b^{2}}+ \sqrt{(2+\sqrt{2})b^{2}+(2- \sqrt{2})a^{2}} \bigr) $$

holds for all \(a,b>0\) with \(a\neq b\).

In [11], the authors proved the inequalities

$$\begin{aligned}& \alpha _{1} A(a,b)+(1-\alpha _{1})C(a,b)< \operatorname{TD} \bigl(A(a,b),C(a,b)\bigr)< \beta _{1}A(a,b)+(1- \beta _{1})C(a,b), \\& A^{\alpha _{2}}(a,b)C^{1-\alpha _{2}}(a,b)< \operatorname{TD}\bigl(A(a,b),C(a,b) \bigr)< A^{ \beta _{2}}(a,b)C^{1-\beta _{2}}(a,b), \\& \frac{\alpha _{3}}{A(a,b)}+\frac{1-\alpha _{3}}{C(a,b)}< \frac{1}{\operatorname{TD}(A(a,b),C(a,b))}< \frac{\beta _{3}}{A(a,b)}+ \frac{1-\beta _{3}}{C(a,b)}, \\& \begin{aligned} C\bigl(\alpha _{4}a+(1-\alpha _{4})b,\alpha _{4}b+(1-\alpha _{4})a\bigr)&< \operatorname{TD} \bigl(A(a,b),C(a,b)\bigr)\\ &< C\bigl[ \beta _{4}a+(1-\beta _{4})b,\beta _{4}b+(1-\beta _{4})a\bigr], \end{aligned} \end{aligned}$$

hold for all \(a,b>0\) with \(a\neq b\) if and only if

$$\begin{aligned}& \alpha _{1}\geq 1/2, \qquad \beta _{1}\leq 2\biggl[1- \frac{3}{\pi } \varepsilon (1/3)+\frac{4}{3\pi }\kappa (1/3)\biggr], \\& \alpha _{2}\geq 1/2,\qquad \beta _{2}\leq \log \bigl[3\pi / \bigl(9\varepsilon (1/3)-4 \kappa (1/3)\bigr)\bigr], \\& \alpha _{3}\leq \bigl[3\pi -9\varepsilon (1/3)+4\kappa (1/3)\bigr]/ \bigl[9 \varepsilon (1/3)-4\kappa (1/3)\bigr],\qquad \beta _{3}\geq 1/2, \\& \alpha _{4}\leq (2+\sqrt{2})/4,\qquad \beta _{4}\geq \bigl(1+ \sqrt{\bigl[18 \varepsilon (1/3)-8\kappa (1/3)\bigr]/3\pi -1}\bigr)/2. \end{aligned}$$

Recently, there were published numerous articles which focus on the bounds for the Toader mean [1223]. For example, Zhao, Chu and Zhang [24] presented the best possible parameters \(\alpha (r)\) and \(\beta (r)\) such that the double inequality

$$\begin{aligned} {}[\alpha (r)A^{r}(a,b)+(1-\alpha (r)Q^{r}(a,b))] ^{1/r} < &\operatorname{TD}\bigl[A(a,b),Q(a,b)\bigr] \\ < &\bigl[\beta (r)A^{r}(a,b)+\bigl(1-\beta (r)Q^{r}(a,b) \bigr)\bigr]^{1/r} \end{aligned}$$

holds for all \(r\leq 1\) and \(a,b>0\) with \(a\neq b\).

Motivated by the above mentioned work, in this paper, for two means M, N, we present the best possible parameters \(\alpha (r)\), \(\beta (r)\) such that the double inequality

$$\begin{aligned} {}[\alpha (r)M^{r}(a,b)+(1-\alpha (r)N^{r}(a,b))] ^{1/r} < &\operatorname{TD}\bigl[M(a,b),N(a,b)\bigr] \\ < &\bigl[\beta (r)M^{r}(a,b)+\bigl(1-\beta (r)N^{r}(a,b) \bigr)\bigr]^{1/r} \end{aligned}$$

holds for all \(r\leq 1\) and \(a,b>0\) with \(a\neq b\).

Lemmas

In what follows, we will need some useful functional relations about complete elliptic integrals which we collect.

Lemma 1

([1])

For\(r\in (0,1)\),

  1. (i)
    $$ \kappa \bigl(0^{+}\bigr)=\varepsilon \bigl(0^{+}\bigr)= \frac{\pi }{2}, $$
  2. (ii)
    $$ \frac{d\kappa (r)}{dr}= \frac{\varepsilon (r)-(1-r^{2})\kappa (r)}{r(1-r^{2})},\qquad \frac{d\varepsilon (r)}{dr}= \frac{\varepsilon (r)-\kappa (r)}{r}, $$
  3. (iii)
    $$ \varepsilon (r)=\bigl(1+r'\bigr)\varepsilon \biggl( \frac{1-r'}{1+r'} \biggr)- \frac{2r'}{1+r'}\kappa \biggl(\frac{1-r'}{1+r'} \biggr), $$

    where\(r'=\sqrt{1-r^{2}}\).

Lemma 2

For all\(0< r<1\), the following inequalities hold:

  1. (i)

    \(\varepsilon (r)>\frac{\pi }{4}(1+\sqrt{1-r^{2}})\),

  2. (ii)

    \(\sqrt{1-r^{2}}\kappa (r)+\varepsilon (r)<\frac{\pi }{2}(1+ \sqrt{1-r^{2}})\),

  3. (iii)

    \((1-r^{2})\kappa (r)<\varepsilon (r)<(1-\frac{r^{2}}{2}) \kappa (r)<\kappa (r)\).

Proof

(i) In fact, by the definition of \(\varepsilon (r)\), we get

$$\begin{aligned}& \varepsilon (r)-\frac{\pi }{4}\bigl(1+\sqrt{1-r^{2}}\bigr) \\& \quad = \int ^{\frac{\pi }{2}}_{0}\sqrt{1-r^{2} \sin ^{2}\theta } \,d\theta - \frac{\pi }{4}\bigl(1+ \sqrt{1-r^{2}}\bigr) \\& \quad = \int ^{\frac{\pi }{4}}_{0}\bigl(\sqrt{1-r^{2} \sin ^{2}\theta }+\sqrt{1-r^{2} \cos ^{2}\theta }\bigr) \,d\theta - \int ^{\frac{\pi }{4}}_{0}\bigl(1+\sqrt{1-r^{2}}\bigr) \,d \theta \\& \quad = \int ^{\frac{\pi }{4}}_{0}\bigl(\sqrt{2-r^{2}+2 \sqrt{1-r^{2}+r^{4}\sin ^{2} \theta \cos ^{2}\theta }}-\sqrt{2-r^{2}+2\sqrt{1-r^{2}}}\bigr) \,d\theta >0. \end{aligned}$$

(ii) By the definition of \(\varepsilon (r)\) and \(\kappa (r)\), we get

$$\begin{aligned}& \sqrt{1-r^{2}}\kappa (r)+\varepsilon (r)-\frac{\pi }{2}\bigl(1+ \sqrt{1-r^{2}}\bigr) \\& \quad =\sqrt{1-r^{2}} \int ^{\frac{\pi }{2}}_{0} \frac{1}{\sqrt{1-r^{2} \sin ^{2}\theta }} \,d\theta + \int ^{ \frac{\pi }{2}}_{0}\sqrt{1-r^{2} \sin ^{2}\theta }\,d\theta - \int ^{ \frac{\pi }{2}}_{0}\bigl(1+\sqrt{1-r^{2}}\bigr) \,d\theta \\& \quad =- \int ^{\frac{\pi }{2}}_{0} \frac{r^{2}\cos ^{2}\theta (1-\sqrt{1-r^{2} \sin ^{2}\theta })}{\sqrt{1-r^{2} \sin ^{2}\theta }(\sqrt{1-r^{2}}+\sqrt{1-r^{2} \sin ^{2}\theta })} \,d\theta < 0. \end{aligned}$$

(iii) By the definition of \(\varepsilon (r)\) and \(\kappa (r)\), we get

$$\begin{aligned}& \begin{gathered} \bigl(1-r^{2}\bigr)\kappa (r)-\varepsilon (r) \\ \quad =\bigl(1-r^{2}\bigr) \int ^{\frac{\pi }{2}}_{0} \frac{1}{\sqrt{1-r^{2} \sin ^{2}\theta }} \,d\theta - \int ^{ \frac{\pi }{2}}_{0}\sqrt{1-r^{2} \sin ^{2}\theta } \,d\theta \\ \quad = \int ^{\frac{\pi }{2}}_{0} \frac{r^{2}(\sin ^{2}\theta -1)}{\sqrt{1-r^{2} \sin ^{2}\theta }} \,d \theta < 0 \end{gathered} \end{aligned}$$

and

$$\begin{aligned}& \biggl(1-\frac{r^{2}}{2}\biggr)\kappa (r)-\varepsilon (r) \\& \quad =\biggl(1-\frac{r^{2}}{2}\biggr) \int ^{\frac{\pi }{2}}_{0} \frac{1}{\sqrt{1-r^{2} \sin ^{2}\theta }} \,d\theta - \int ^{ \frac{\pi }{2}}_{0}\sqrt{1-r^{2} \sin ^{2}\theta } \,d\theta \\& \quad = \int ^{\frac{\pi }{2}}_{0} \frac{r^{2}(\sin ^{2}\theta -\frac{1}{2})}{\sqrt{1-r^{2} \sin ^{2}\theta }} \,d\theta \\& \quad =r^{2} \int ^{\frac{\pi }{4}}_{0} \biggl( \frac{\sin ^{2}\theta -\frac{1}{2}}{\sqrt{1-r^{2}\sin ^{2}\theta }}+ \frac{\cos ^{2}\theta -\frac{1}{2}}{\sqrt{1-r^{2}\cos ^{2}\theta }} \biggr)\,d\theta \\& \quad =r^{2} \int ^{\frac{\pi }{4}}_{0} \biggl(\sin ^{2}\theta - \frac{1}{2} \biggr)\cdot \biggl(\frac{1}{\sqrt{1-r^{2}\sin ^{2}\theta }}- \frac{1}{\sqrt{1-r^{2}\cos ^{2}\theta }} \biggr)\,d\theta >0. \end{aligned}$$

 □

Lemma 3

Let\(0< k_{0}<1\), \(k'_{0}=\sqrt{1-k_{0}^{2}}\), \(t\in (0,k'_{0})\), \(\lambda = \frac{1-\frac{2}{\pi }\varepsilon (k'_{0})}{1-k_{0}}\)and

$$ f(t):=\frac{\pi p}{2}\sqrt{1-t^{2}}+ \frac{\pi }{2}(1-p)-\varepsilon (t). $$
(2.1)

Then

  1. (i)

    \(f(t)<0\)for all\(t\in (0,k'_{0})\)if and only if\(p\geq 1/2\),

  2. (ii)

    \(f(t)>0\)for all\(t\in (0,k'_{0})\)if and only if\(p\leq \lambda \).

Proof

Firstly, we can, respectively, give the first-, second- and third-order derivatives of f as follows:

$$\begin{aligned}& f'(t)=\frac{f_{1}(t)}{t\sqrt{1-t^{2}}},\qquad f_{1}(t)= \sqrt{1-t^{2}}\bigl[ \kappa (t)-\varepsilon (t)\bigr]- \frac{\pi p}{2}t^{2}, \end{aligned}$$
(2.2)
$$\begin{aligned}& f'_{1}(t)=\frac{t[2\varepsilon (t)-\kappa (t)]}{\sqrt{1-t^{2}}}- \pi pt, \end{aligned}$$
(2.3)
$$\begin{aligned}& f_{1}''(t)= \frac{(3-2t^{2})\varepsilon (t)-(2-t^{2})\kappa (t)}{(1-t^{2})^{\frac{3}{2}}}- \pi p, \end{aligned}$$
(2.4)
$$\begin{aligned}& f_{1}'''(t)=- \frac{(1+t^{2})[\kappa (t)-\varepsilon (t)]+t^{2}\kappa (t)}{t(1-t^{2})^{\frac{5}{2}}}< 0, \end{aligned}$$
(2.5)

for all \(t\in (0,k'_{0})\).

Letting \(t\rightarrow 0\), from (2.1)–(2.4), we have

$$ f\bigl(0^{+}\bigr)=f_{1}\bigl(0^{+} \bigr)=f_{1}'\bigl(0^{+}\bigr)=0,\qquad f_{1}''\bigl(0^{+}\bigr)=\pi \biggl(\frac{1}{2}-p \biggr), $$
(2.6)

and substituting \(t=k'_{0}\) into (2.1)–(2.4), we get

$$\begin{aligned}& f\bigl(k'_{0}\bigr)=\frac{\pi }{2}(1-k_{0}) (\lambda -p),\qquad f_{1}\bigl(k'_{0}\bigr)= \frac{\pi k^{\prime 2}_{0}}{2}\bigl(\lambda ^{*}-p\bigr), \end{aligned}$$
(2.7)
$$\begin{aligned}& f_{1}'\bigl(k'_{0}\bigr)=\pi k'_{0}\bigl(\lambda ^{**}-p\bigr),\qquad f_{1}''\bigl(k'_{0} \bigr)= \pi \bigl(\lambda ^{***}- p\bigr), \end{aligned}$$
(2.8)

where

$$\begin{aligned}& \lambda =\frac{\pi -2\varepsilon (k'_{0})}{\pi (1-k_{0})},\qquad \lambda ^{*}= \frac{2k_{0}(\kappa (k'_{0})-\varepsilon (k'_{0}))}{\pi (1-k_{0}^{2})}, \\& \lambda ^{**}= \frac{(2\varepsilon (k'_{0})-\kappa (k'_{0}))}{\pi k_{0}},\qquad \lambda ^{***}= \frac{(3-2k^{\prime 2}_{0})\varepsilon (k'_{0})-(2-k^{\prime 2}_{0})\kappa (k'_{0})}{\pi k^{3}_{0}}. \end{aligned}$$

By Lemma 2, we can easily prove that

$$ \lambda ^{***}< \lambda ^{**}< \lambda ^{*}< \lambda < \frac{1}{2}. $$
(2.9)

Since \(f'''(t)<0\), \(t\in (0,k'_{0})\), \(f''(t)\) is strictly decreasing on \((0,k'_{0})\). Then we divide the proof into six cases in the following.

Case 1\(p\geq 1/2\). Then from (2.6) we can clearly see that

$$ f_{1}'' \bigl(0^{+}\bigr)\leq 0. $$
(2.10)

It follows from (2.10) and the monotonicity of \(f_{1}''(t)\) that \(f_{1}'(t)\) is strictly decreasing on \((0,k'_{0})\). Therefore \(f(t)<0\) for all \(t\in (0,k'_{0}) \), as follows easily from (2.2), (2.6) and the monotonicity of \(f_{1}'(t)\).

Case 2\(\lambda < p<1/2\). From (2.6), (2.7) and (2.8), we have

$$ f\bigl(k'_{0}\bigr)< 0,\qquad f_{1}\bigl(k'_{0}\bigr)< 0,\qquad f_{1}'\bigl(k'_{0}\bigr)< 0, \qquad f_{1}''\bigl(k'_{0} \bigr)< 0, $$
(2.11)

and

$$ f_{1}'' \bigl(0^{+}\bigr)>0. $$
(2.12)

It follows from (2.11), (2.12) and the monotonicity of \(f_{1}''(t)\) that there exists \(t_{1}\in (0,k'_{0})\) such that \(f_{1}'(t)\) is strictly increasing on \((0,t_{1}]\) and strictly decreasing on \([t_{1},k'_{0})\). Then from (2.6), (2.11) and the piecewise monotonicity of \(f_{1}'(t)\) we clearly see that there exists \(t_{2}\in (0,k'_{0})\) such that \(f_{1}(t)\) is strictly increasing on \((0,t_{2}]\) and strictly decreasing on \([t_{2},k'_{0})\). The piecewise monotonicity of \(f_{1}(t)\) and \(f_{1}(0^{+})=0\), \(f_{1}(k'_{0})<0\), show as a result that there exists \(t_{3}\in (0,k'_{0})\) such that \(f(t)\) is strictly increasing on \((0,t_{3}]\) and strictly decreasing on \([t_{3},k'_{0})\).

Therefore, we find that there exists \(t_{4}\in (0,k'_{0})\) such that \(f(t)>0\) on \((0,t_{4}]\) and \(f(t)<0\)\([t_{4},k'_{0})\) as follows easily from \(f(0^{+})=0\), \(f(k'_{0})<0\) and the piecewise monotonicity of \(f(t)\).

Case 3\(\lambda ^{*}< p\leq \lambda \). Then (2.7) and (2.8) lead to

$$ f\bigl(k'_{0}\bigr)\geq 0,\qquad f_{1} \bigl(k'_{0}\bigr)< 0,\qquad f_{1}' \bigl(k'_{0}\bigr)< 0,\qquad f_{1}'' \bigl(k'_{0}\bigr)< 0, $$

and

$$ f_{1}''\bigl(0^{+}\bigr)>0. $$

Similar to Case 2, the piecewise monotonicity of \(f(t)\) can be proved, that is, \(f(t)\) is firstly strictly increasing and then strictly decreasing on \((0,k'_{0})\). It follows from \(f(0^{+})=0\), \(f(k'_{0})\geq 0\) that \(f(t)>0\) for all \(t\in (0,k'_{0})\).

Case 4\(\lambda ^{**}< p\leq \lambda ^{*}\). Then (2.7) and (2.8) lead to

$$ f\bigl(k'_{0}\bigr)>0,\qquad f_{1} \bigl(k'_{0}\bigr)\geq 0,\qquad f_{1}' \bigl(k'_{0}\bigr)< 0,\qquad f_{1}'' \bigl(k'_{0}\bigr)< 0, $$

and

$$ f_{1}''\bigl(0^{+}\bigr)>0. $$

We can similarly prove that \(f_{1}(t)\) has piecewise monotonicity, that is, \(f_{1}(t)\) is firstly strictly increasing and then strictly decreasing on \((0,k'_{0})\).

It follows from \(f_{1}(0^{+})=0\), \(f_{1}(k'_{0})\geq 0\) and the piecewise monotonicity of \(f_{1}(t)\) that

$$ f_{1}(t)>0 $$
(2.13)

for all \(t\in (0,k'_{0})\). By (2.2) and (2.13), then \(f(t)\) is strictly increasing on \((0,k'_{0})\). Therefore, we get \(f(t)>0\) for all \(t\in (0,k'_{0})\) from \(f(0^{+})=0\).

Case 5\(\lambda ^{***}< p\leq \lambda ^{**}\). Then (2.7) and (2.8) lead to

$$ f\bigl(k'_{0}\bigr)>0,\qquad f_{1} \bigl(k'_{0}\bigr)>0,\qquad f_{1}' \bigl(k'_{0}\bigr)\geq 0,\qquad f_{1}'' \bigl(k'_{0}\bigr)< 0, $$

and

$$ f_{1}''\bigl(0^{+}\bigr)>0. $$

Since \(f_{1}''(0^{+})>0\), \(f_{1}''(k'_{0})<0\) and \(f_{1}''(t)\) is strictly decreasing, we find that \(f_{1}'(t)\) is firstly strictly increasing and then strictly decreasing on \((0,k'_{0})\). Then \(f_{1}'(t)>0\) holds for all \(t\in (0,k'_{0})\) for \(f_{1}'(0^{+})=0\), \(f_{1}'(k'_{0})\geq 0\). Therefore, we get \(f(t)>0\) for all \(t\in (0,k'_{0})\) from (2.2) and (2.6).

Case 6\(p\leq \lambda ^{***}\). Then (2.7) and (2.8) lead to

$$ f_{1}''\bigl(0^{+}\bigr)>0, \qquad f_{1}''\bigl(k'_{0} \bigr)\geq 0. $$

Since \(f_{1}''(t)\) is strictly decreasing, we have \(f_{1}''(t)>0\) for all \(t\in (0,k'_{0})\). So \(f_{1}'(t)\), \(f_{1}(t)\), \(f(t)\) are strictly increasing from \(f_{1}(0^{+})=f_{1}'(0^{+})=0\). Therefore, we get \(f(t)>0\) for all \(t\in (0,k'_{0})\) from \(f(0^{+})=0\).

Therefore, we have \(f(t)<0\) for all \(t\in (0,k'_{0})\) if and only if \(p\geq 1/2\), and \(f(t)>0\) for all \(t\in (0,k'_{0})\) if and only if \(p\leq \lambda \). □

Lemma 4

Let\(0< k_{0}<1\), \(r\in \mathbb{R}\), \(a,b>0\)with\(k_{0}< a/b<1\), \(c_{0}=\frac{2}{\pi }\varepsilon (k'_{0})\), \(k'_{0}= \sqrt{1-k_{0}^{2}}\), \(c_{1}=k_{0}\), \(\lambda (r)\)and\(U(r;a,b)\)be, respectively, defined by

$$ \lambda (r)=\frac{1-c_{0}^{r}}{1-c_{1}^{r}}\quad (r\neq 0),\qquad \lambda (0)= \frac{\log c_{0}}{\log c_{1}}, $$
(2.14)

and

$$ U(r;a,b)=\bigl[\lambda (r)a^{r}+\bigl(1-\lambda (r) \bigr)b^{r}\bigr]^{\frac{1}{r}}\quad (r \neq 0),\qquad U(0;a,b)=a^{\lambda (0)}b^{1-\lambda (0)}. $$
(2.15)

Then the function\(r\rightarrow U(r;a,b)\)is strictly decreasing on\((-\infty ,\infty )\).

Proof

When \(0< t<1\),

$$ \varepsilon \bigl(\sqrt{1-t^{2}}\bigr)-\frac{\pi }{2}t= \int _{0}^{ \frac{\pi }{2}}\bigl(\sqrt{\cos ^{2}\theta +t^{2}\sin ^{2}\theta }-t\bigr)\,d \theta >0. $$

Hence, \(0< c_{1}< c_{0}<1\).

Let \(x=a/b\in (k_{0},1)\), \(r\neq 0\). Then

$$\begin{aligned}& \log U(r;a,b)=\log b+\frac{1}{r}\log \bigl[\lambda (r) \bigl(x^{r}-1\bigr)+1\bigr], \end{aligned}$$
(2.16)
$$\begin{aligned}& \frac{\partial \log U(r;a,b)}{\partial {r}}= \frac{\lambda '(r)(x^{r}-1)+\lambda (r)x^{r}\log x}{r (\lambda (r)(x^{r}-1)+1)}- \frac{\log [\lambda (r)(x^{r}-1)+1]}{r^{2}} , \end{aligned}$$
(2.17)

where

$$ \lambda '(r)= \frac{(c_{1}^{r}-1)c_{0}^{r}\log c_{0}-(c_{0}^{r}-1)c_{1}^{r}\log c_{1}}{(c_{1}^{r}-1)^{2}}. $$
(2.18)

Substituting \(x=k_{0}\) and \(x=1\) into (2.17), we get

$$ \frac{\partial \log U(r;a,b)}{\partial {r}}\bigg|_{x=k_{0}}= \frac{\partial \log U(r;a,b)}{\partial {r}}\bigg|_{x=1}=0. $$
(2.19)

Now we give the derivative of (2.17) with respect to x as follows:

$$ \frac{\partial ^{2}\log U(r;a,b)}{\partial r\,\partial x}= \frac{\lambda (r)x^{r-1}}{(\lambda (r)(x^{r}-1)+1)^{2}}V(r,x), $$
(2.20)

where

$$ V(r,x):=\bigl(1-\lambda (r)\bigr)\log x+\frac{\lambda '(r)}{\lambda (r)}. $$
(2.21)

Substituting \(x=k_{0}\) and \(x=1\) into (2.21), we get

$$ V(r,k_{0})=c_{0}^{r} \biggl(\frac{\log c_{0}}{c_{0}^{r}-1}- \frac{\log c_{1}}{c_{1}^{r}-1} \biggr),\qquad V(r,1)= \frac{\log \frac{1}{c_{0}}}{(\frac{1}{c_{0}})^{r}-1}- \frac{\log \frac{1}{c_{1}}}{(\frac{1}{c_{1}})^{r}-1}. $$
(2.22)

Because the function \(t\mapsto \log t/(t^{r}-1)\) is strictly decreasing on \((0,+\infty )\) and \(c_{0}>c_{1}\), we find that \(V(r,k_{0})<0\) and \(V(r,1)>0\). Note that the function \(x\mapsto V(r,x)\) is strictly increasing on \((1,k_{0})\) for \(\lambda (r)\in (0,1)\). There exists \(x_{0}\in (0,1)\) such that the function \(x\mapsto \partial \log U(r;a,b)/\partial r\) is strictly decreasing on \((1,x_{0})\) and strictly increasing on \((x_{0},k_{0})\). Therefore, we have, for all \(a,b>0\) with \(k_{0}< a/b<1\), \(r\neq 0\),

$$ \frac{\partial \log U(r;a,b)}{\partial r}< 0. $$
(2.23)

Since

$$ \lim_{r\rightarrow 0}\lambda (r)=\lambda (0), \qquad \lim _{r \rightarrow 0}U(r;a,b)=U(0;a,b), $$

the function \(r\mapsto U(r;a,b)\) is strictly decreasing on \((-\infty ,+\infty )\) from (2.23). □

Main result

Theorem 1

Let\(0< k_{0}<1\), \(k'_{0}=\sqrt{1-k_{0}^{2}}\)and the functions\(M,N:((0,+\infty ),(0,\infty ))\mapsto (0,+\infty )\)be two means which satisfy

$$ k_{0}< \frac{M(a,b)}{N(a,b)}< 1, $$

for all\(a,b>0\)with\(a\neq b\). Suppose\(c_{0}=2\varepsilon (k'_{0})/\pi \), \(c_{1}=k_{0}\)and\(\lambda (r)\)be defined by (2.14). Then the double inequality

$$\begin{aligned} \begin{aligned}[b] \bigl[\alpha (r)M^{r}(a,b)+\bigl(1-\alpha (r)N^{r}(a,b)\bigr)\bigr]^{1/r}&< \operatorname{TD} \bigl[M(a,b),N(a,b)\bigr] \\ &< \bigl[\beta (r)M^{r}(a,b)+\bigl(1-\beta (r)N^{r}(a,b) \bigr)\bigr]^{1/r} \end{aligned} \end{aligned}$$
(3.1)

holds for all\(r\leq 1\)and\(a,b>0\)with\(a\neq b\)if and only if

$$ \alpha (r)\geq 1/2,\qquad \beta (r)\leq \lambda (r), $$
(3.2)

where\(r=0\)is the limit value of\(r\rightarrow 0\).

Proof

We first prove the case \(r=1\). Let

$$ t=\sqrt{1- \biggl(\frac{M(a,b)}{N(a,b)} \biggr)^{2}}\in \bigl(0,k'_{0}\bigr), $$

then we get

M(a,b)=N(a,b)1t2,TD[M(a,b),N(a,b)]=2πN(a,b)ε(t),pM(a,b)+(1p)N(a,b)TD[M(a,b),N(a,b)]=2πN(a,b)f(t),

where \(f(t)\) is defined as in Lemma 3.

Therefore, by Lemma 3, we get the result for the case \(r=1\). So we have

$$ \frac{M(a,b)+N(a,b)}{2}< \operatorname{TD}\bigl[M(a,b),N(a,b)\bigr]< \lambda (1)M(a,b)+\bigl(1- \lambda (1)\bigr)N(a,b), $$
(3.3)

where \(\lambda (1)=\frac{1-\frac{2}{\pi }\varepsilon (k'_{0})}{1-k_{0}}:= \lambda \).

By Lemma 4 and for the function \(r\mapsto [(a^{r}+b^{r})/2]^{1/r}\) being strictly increasing, we get

$$ \lambda (1)M(a,b)+\bigl(1-\lambda (1)\bigr)N(a,b)< \bigl[\lambda (r)M^{r}(a,b)+\bigl(1- \lambda (r)\bigr)N^{r}(a,b) \bigr]^{1/r} $$
(3.4)

and

$$ \biggl[\frac{M^{r}(a,b)+N^{r}(a,b)}{2} \biggr]^{1/r}< \frac{M(a,b)+N(a,b)}{2}, $$
(3.5)

hold for all \(r<1\) and \(a,b>0\) with \(a\neq b\).

If \(\alpha (r)\geq \frac{1}{2}\) and \(\beta (r)\leq \lambda (r)\), since \(M(a,b)< N(a,b)\),

$$ \bigl[\alpha (r)M^{r}(a,b)+\bigl(1-\alpha (r)N^{r}(a,b) \bigr)\bigr]^{1/r}\leq \biggl[ \frac{M^{r}(a,b)+N^{r}(a,b)}{2} \biggr]^{1/r} $$

and

$$ \bigl[\lambda (r)M^{r}(a,b)+\bigl(1-\lambda (r)\bigr)N^{r}(a,b) \bigr]^{1/r}\leq \bigl[\beta (r)M^{r}(a,b)+\bigl(1- \beta (r)N^{r}(a,b)\bigr)\bigr]^{1/r}. $$

Then we find that the double inequalities (3.1) hold from (3.3)–(3.5). Thus we prove the “if” part of our theorem.

To prove the converse implication, note that

$$\begin{aligned}& \frac{\operatorname{TD}[M(a,b),N(a,b)]}{[\frac{M^{r}(a,b)+N^{r}(a,b)}{2}]^{\frac{1}{r}}}= \frac{2^{1+1/r}}{\pi } \frac{\varepsilon (t)}{[1+ (1-t^{2})^{r/2}]^{1/r}}, \\& \frac{\operatorname{TD}[M(a,b),N(a,b)]}{[\lambda (r)M^{r}(a,b)+(1-\lambda (r))N^{r}(a,b)]^{\frac{1}{r}}}= \frac{2}{\pi } \frac{\varepsilon (t)}{[\lambda (r) (1-t^{2})^{r/2}+1-\lambda (r)]^{1/r}} \end{aligned}$$

and

$$ \lim_{t\rightarrow 0^{+}}\frac{2^{1+1/r}}{\pi } \frac{\varepsilon (t)}{[1+ (1-t^{2})^{r/2}]^{1/r}}=\lim _{t \rightarrow k'_{0}}\frac{2}{\pi } \frac{\varepsilon (t)}{[\lambda (r) (1-t^{2})^{r/2}+1-\lambda (r)]^{1/r}}=1, $$

which imply that the bonds for \(\alpha (r)\) and \(\beta (r)\) given by (3.2) are optimal. This completes the proof. □

Remark 1

Using the symmetry of the Toader mean, we get the result for the case \(M(a,b)>N(a,b)\).

Some examples

Example 1

Let \(c_{0}=2\varepsilon (\sqrt{3}/2)/\pi =0.770\cdots \) , \(c_{1}=1/2\) and \(\lambda (r)\) be defined by (2.14). Then the double inequality

$$\begin{aligned} {}[\alpha (r)A^{r}(a,b)+(1-\alpha (r)C^{r}(a,b))] ^{1/r} < &\operatorname{TD}\bigl[A(a,b),C(a,b)\bigr] \\ < &\bigl[\beta (r)A^{r}(a,b)+\bigl(1-\beta (r)C^{r}(a,b) \bigr)\bigr]^{1/r} \end{aligned}$$

holds for all \(r\leq 1\) and \(a,b>0\) with \(a\neq b\) if and only if \(\alpha (r)\geq 1/2\) and \(\beta (r)\leq \lambda (r)\), where \(r=0\) is the limit value of \(r\rightarrow 0\).

Proof

Since

$$ \frac{1}{2}< \frac{A(a,b)}{C(a,b)}< 1, $$

letting \(k_{0}=1/2\), we have \(k'_{0}=\sqrt{3}/2\) and \(c_{0}=2\varepsilon (\sqrt{3}/2)/\pi =0.770\cdots \) , \(c_{1}=1/2\). By Theorem 1, we get the result. □

Remark 2

(i) Let \(r=1\), Theorem 1 leads that the double inequality

$$ \alpha (1)A(x,y)+\bigl(1-\alpha (1)\bigr)C(x,y)< \operatorname{TD} \bigl(A(x,y),C(x,y)\bigr)< \beta (1)A(x,y)+\bigl(1- \beta (1)\bigr)C(x,y) $$

holds if and only if

$$ \alpha (1)\geq 1/2, \beta (1)\leq \lambda (1)=2-\frac{4}{\pi } \varepsilon ( \sqrt{3}/2). $$

It follows from Lemma 1 (iii) that

$$ \varepsilon (\sqrt{3}/2)=\frac{3}{2}\varepsilon (1/3)-\frac{2}{3} \kappa (1/3), $$

then

$$ \lambda (1)=2-\frac{4}{\pi }\varepsilon (\sqrt{3}/2)=2\biggl[1- \frac{3}{\pi }\varepsilon (1/3)+\frac{4}{3\pi }\kappa (1/3)\biggr]. $$

Therefore, the result agrees well with Theorem 3.1 in [11].

(ii) Letting \(r=-1\), Theorem 1 shows that the double inequality

$$ \frac{\alpha (-1)}{A(x,y)}+\frac{1-\alpha (-1)}{C(x,y)}< \frac{1}{\operatorname{TD}(A(x,y),C(x,y))}< \frac{\beta (-1)}{A(x,y)}+ \frac{1-\beta (-1)}{C(x,y)} $$

holds if and only if

$$ \alpha (-1)\geq 1/2, \beta (-1)\leq \lambda (-1)= \frac{\pi -2\varepsilon (\sqrt{3}/2)}{2\varepsilon (\sqrt{3}/2)}. $$

Since

$$ \varepsilon (\sqrt{3}/2)=\frac{3}{2}\varepsilon (1/3)-\frac{2}{3} \kappa (1/3), $$

we have

$$ \lambda (-1)= \frac{\pi -2\varepsilon (\sqrt{3}/2)}{2\varepsilon (\sqrt{3}/2)}= \frac{3\pi -9\varepsilon (1/3)+4\kappa (1/3)}{9\varepsilon (1/3)-4\kappa (1/3)}. $$

Therefore, the result agrees well with Theorem 3.3 in [11].

Example 2

Let \(c_{0}=2\varepsilon (\sqrt{7}/4)/\pi =0.879\cdots \) , \(c_{1}=3/4\), \(\lambda (r)\) is defined by (2.14). Then the double inequality

$$\begin{aligned} {}[\alpha (r)A^{r}(a,b)+(1-\alpha (r)\overline{C}^{r}(a,b))] ^{1/r} < &\operatorname{TD}\bigl[A(a,b), \overline{C}(a,b)\bigr] \\ < &\bigl[\beta (r)A^{r}(a,b)+\bigl(1-\beta (r)\overline{C}^{r}(a,b) \bigr)\bigr]^{1/r} \end{aligned}$$

holds for all \(r\leq 1\) and \(a,b>0\), \(a\neq b\) if and only if \(\alpha _{2}(r)\geq 1/2\) and \(\beta _{2}(r)\leq \lambda (r)\), where \(r=0\) is the limit value of \(r\rightarrow 0\).

Proof

Since

$$ \frac{3}{4}< \frac{A(a,b)}{\overline{C}(a,b)}< 1, $$

letting \(k_{0}=3/4\), we have \(k'_{0}=\sqrt{7}/4\) and \(c_{0}=2\varepsilon (\sqrt{7}/4)/\pi =0.879\cdots \) , \(c_{1}=3/4\). Using Theorem 1, we prove the result. □

Example 3

Let \(c_{0}=2\varepsilon (\sqrt{2}/2)/\pi =0.859\cdots \) , \(c_{1}=\sqrt{2}/2\), \(\lambda (r)\) is defined by (2.14). Then the double inequality

$$\begin{aligned} {}[\alpha (r)A^{r}(a,b)+(1-\alpha (r)Q^{r}(a,b))] ^{1/r} < &\operatorname{TD}\bigl[A(a,b),Q(a,b)\bigr] \\ < &\bigl[\beta _{2}(r)A^{r}(a,b)+\bigl(1-\beta _{2}(r)Q^{r}(a,b)\bigr)\bigr]^{1/r} \end{aligned}$$

holds for all \(r\leq 1\) and \(a,b>0\), \(a\neq b\) if and only if \(\alpha (r)\geq 1/2\) and \(\beta (r)\leq \lambda (r)\), where \(r=0\) is the limit value of \(r\rightarrow 0\).

Proof

Since

$$ \frac{\sqrt{2}}{2}< \frac{A(a,b)}{Q(a,b)}< 1, $$

letting \(k_{0}=\sqrt{2}/2\), we have \(k'_{0}=\sqrt{2}/2\) and \(c_{0}=2\varepsilon (\sqrt{2}/2)/\pi =0.859\cdots \) , \(c_{1}=\sqrt{2}/2\). Using Theorem 1, we prove the result. □

Remark 3

The same result can be found in [24].

From the case \(r=1\) of Examples 13, we get the following results.

Corollary 1

  1. (1)

    Let\(\lambda _{1}=2-4\varepsilon (\sqrt{3}/2)/\pi =0.458\cdots \) . Then, for all\(t\in (0,\sqrt{3}/2)\), the double inequality

    $$ \frac{\pi }{4}\sqrt{1-t^{2}}+\frac{\pi }{4}< \varepsilon (t)< \frac{\pi }{2}\lambda _{1}\sqrt{1-t^{2}}+ \frac{\pi }{2}(1-\lambda _{1}) $$
    (4.1)

    holds.

  2. (2)

    Let\(\lambda _{2}=4-8\varepsilon (\sqrt{7}/4)/\pi =0.482\cdots \) . Then, for all\(t\in (0,\sqrt{7}/4)\), the double inequality

    $$ \frac{\pi }{4}\sqrt{1-t^{2}}+\frac{\pi }{4}< \varepsilon (t)< \frac{\pi }{2}\lambda _{2}\sqrt{1-t^{2}}+ \frac{\pi }{2}(1-\lambda _{2}) $$
    (4.2)

    holds.

  3. (3)

    Let\(\lambda _{3}=(2+\sqrt{2})[1-2\varepsilon (\sqrt{2}/2)/\pi ]=0.478 \cdots \) . Then, for all\(t\in (0,\sqrt{2}/2)\), the double inequality

    $$ \frac{\pi }{4}\sqrt{1-t^{2}}+\frac{\pi }{4}< \varepsilon (t)< \frac{\pi }{2}\lambda _{3}\sqrt{1-t^{2}}+ \frac{\pi }{2}(1-\lambda _{3}) $$
    (4.3)

    holds.

References

  1. 1.

    Borwein, J.M., Borwein, P.B.: Pi and the AGM. Wiley, New York (1987)

  2. 2.

    Haruki, H.: New characterizations of the arithmetic–geometric mean of Gauss and other well-known mean values. Publ. Math. (Debr.) 38, 323–332 (1991)

  3. 3.

    Toader, G.: Some mean values related to the arithmetic–geometric mean. J. Math. Anal. Appl. 218(2), 358–368 (1998)

  4. 4.

    Seiffert, H.: Problem 887. Nieuw Arch. Wiskd. 11(2), 176 (1993)

  5. 5.

    Vuorinen, M.: Hypergeometric functions in geometric function theory. In: Special Functions and Differential Equations, Madras, 1997, pp. 119–126. Allied Publ., New Delhi (1998)

  6. 6.

    Qiu, S., Shen, J.: On two problems concerning means. J. Hongzhou Inst. Electron. Eng. 17(3), 1–7 (1997)

  7. 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)

  8. 8.

    Alzer, H., Qiu, S.: Monotonicity theorems and inequalities for the complete elliptic integrals. J. Comput. Appl. Math. 172(2), 289–312 (2004)

  9. 9.

    Neuman, E.: Bounds for symmetric elliptic integrals. J. Approx. Theory 122(2), 249–259 (2003)

  10. 10.

    Kazi, H., Neuman, E.: Inequalities and bounds for elliptic integrals. J. Approx. Theory 146(2), 212–226 (2007)

  11. 11.

    Li, N., Zhao, T., Zhao, Y.: Bounds for a Toader-type mean by arithmetic and contraharmonic means. Int. J. Pure Appl. Math. 105(2), 257–268 (2015)

  12. 12.

    Wang, M.K., He, Z.Y., Chu, Y.M.: Sharp power mean inequalities for the generalized elliptic integral of the first kind. Comput. Methods Funct. Theory 20, 111–124 (2020)

  13. 13.

    Qian, W., He, Z., Chu, Y.: Approximation for the complete elliptic integral of the first kind. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 57 (2020)

  14. 14.

    Wang, J., Qian, W., He, Z., Chu, Y.: On approximating the Toader mean by other bivariate means. J. Funct. Spaces 2019, Article ID 6082413 (2019)

  15. 15.

    Chu, Y., Wang, M., Ma, X.: Sharp bounds for Toader mean in terms of contraharmonic mean with applications. J. Math. Inequal. 7(2), 161–166 (2013)

  16. 16.

    Chu, Y., Wang, M.: Optimal Lehmer mean bounds for the Toader mean. Results Math. 61(3–4), 223–229 (2012)

  17. 17.

    Chu, Y., Wang, M., Qiu, S.: Optimal combinations bounds of root-square and arithmetic means for Toader mean. Proc. Math. Sci. 122(1), 41–51 (2012)

  18. 18.

    Chu, Y., Wang, M.: Inequalities between arithmetic–geometric, Gini and Toader means. Abstr. Appl. Anal. 2012, Article ID 830585 (2012)

  19. 19.

    Chu, Y., Wang, M., Qiu, S., Qiu, Y.: Sharp generalized Seiffert mean bounds for Toader mean. Abstr. Appl. Anal. 2011, Article ID 605259 (2011)

  20. 20.

    Yang, Z., Chu, Y., Zhang, W.: High accuracy asymptotic bounds for the complete elliptic integral of the second kind. Appl. Math. Comput. 348, 552–564 (2019)

  21. 21.

    Wang, M., Zhang, W., Chu, Y.: Monotonicity, convexity and inequalities involving the generalized elliptic integrals. Acta Math. Sci. 39(5), 1440–1450 (2019)

  22. 22.

    Wang, M., Chu, Y., Zhang, W.: Monotonicity and inequalities involving zero-balanced hypergeometric function. Math. Inequal. Appl. 22(2), 601–617 (2019)

  23. 23.

    Huang, T., Tan, S., Ma, X., Chu, Y.: Monotonicity properties and bounds for the complete p-elliptic integrals. J. Inequal. Appl. 2018, 239 (2018)

  24. 24.

    Zhao, T., Chu, Y., Zhang, W.: Optimal inequalities for bounding Toader mean by arithmetic and quadratic means. J. Inequal. Appl. 2017(1), 26 (2017)

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Not applicable.

Funding

This research is supported by the National Natural Science Foundation of China (No. 11771296 and No. 11931016).

Author information

Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Maoan Han.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhang, Q., Xu, B. & Han, M. Optimal bounds for Toader mean in terms of general means. J Inequal Appl 2020, 118 (2020). https://doi.org/10.1186/s13660-020-02384-y

Download citation

MSC

  • 26E60

Keywords

  • Toader mean
  • Double inequality
  • Optimal bounds
  • Complete elliptic integral