Research Article | Open Access

Yu-Ming Chu, Miao-Kun Wang, Ye-Fang Qiu, "On Alzer and Qiu's Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function", *Abstract and Applied Analysis*, vol. 2011, Article ID 697547, 7 pages, 2011. https://doi.org/10.1155/2011/697547

# On Alzer and Qiu's Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function

**Academic Editor:**Dirk Aeyels

#### Abstract

We prove that the double inequality (( holds for all with the best possible constants and , which answer to an open problem proposed by Alzer and Qiu. Here, is the complete elliptic integrals of the first kind, and arth is the inverse hyperbolic tangent function.

#### 1. Introduction

For , Lengedre's complete elliptic integrals of the first and second kind [1] are defined by respectively. Here and in what follows, we set . These integrals are special cases of Guassian hypergeometric function where . Indeed, we have

It is well known that the complete elliptic integrals have many important applications in physics, engineering, geometric function theory, quasiconformal analysis, theory of mean values, number theory, and other related fields [2β13].

Recently, the complete elliptic integrals have been the subject of intensive research. In particular, many remarkable properties and inequalities can be found in the literature [3, 10β18].

In 1992, Anderson et al. [15] discovered that can be approximated by the inverse hyperbolic tangent function, , and proved that for .

In [16], Alzer and Qiu proved that the double inequality holds for all with the best possible constants and and proposed an open problem as follows.

*Open Problem #*

The double inequality
holds for all with the best possible constants and .

It is the aim of this paper to give a positive answer to the open problem #.

#### 2. Lemmas and Theorem

In order to establish our main result, we need several formulas and lemmas, which we present in this section.

For , the following derivative formulas were presented in [4, AppendixββE, pages 474-475]:

Lemma 2.1 (see [4, Theoremββ1.25]). *For , let be continuous on and be differentiable on , let be on . If is increasing (decreasing) on , then so are
**
If is strictly monotone, then the monotonicity in the conclusion is also strict.*

The following Lemma 2.2 can be found in [9, Lemmaββ3(1)] and [4, Theoremββ3.21(1) and Exercise 3.43(30) and (46)].

Lemma 2.2. *
(1)ββ is strictly decreasing in if and only if ;**
(2)ββ is strictly increasing from onto ;**
(3)ββ is strictly decreasing from onto ;**
(4)ββ is strictly decreasing from onto .*

Lemma 2.3. *
(1)ββ is strictly increasing from onto ;**
(2)ββ is strictly increasing from onto ;**
(3)ββ is strictly increasing from onto ;**
(4)ββ is positive and strictly increasing in ;**
(5)ββ is positive and strictly increasing on .*

*Proof. *For part (1), let and . Then , and

It is well known that the function is strictly increasing from onto . Therefore, from (2.3) and Lemma 2.1 together with l'HΓ΄pital's rule, we know that is strictly increasing in , and .

For part (2), clearly . Let and , then , , and

It follows from Lemma 2.1, Lemma 2.2(1), part (1), (2.4), and l'HΓ΄pital's rule that is strictly increasing in and .

For part (3), from Lemma 2.2(4), we clearly see that . Let

From Lemma 2.2(2) and part (1), we clearly see that is strictly increasing in . Thus, the monotonicity of can be obtained from (2.5) and Lemma 2.1. Moreover, making use of l'HΓ΄pital's rule, we have .

For part (4), let . Then, Lemma 2.2(3) leads to the conclusion that is strictly increasing in . Note that
for .

Therefore, part (4) follows from (2.7) and (2.8).

For part (5), simple computations lead to

Making use of parts (1)β(4), one has
for .

Therefore, part (5) follows from (2.9) and (2.11).

Lemma 2.4. *Let
**
then the following statements are true:**
(1)ββ for all if and only if ;**
(2)ββ for all if and only if .*

*Proof. *Firstly, we prove that for . Since is continuous and strictly increasing with respect to for fixed , it suffices to prove that for all . Note that
We divide the proof into two cases.*Case 1 (). *Then, making use of Lemma 2.3(1)β(3) and (2.14), we have
*Case 2 (). *Then, making use of Lemma 2.3(4) and (2.14), we get

Inequalities (2.15) and (2.16) imply that is strictly increasing in . Therefore, follows from (2.13) and the monotonicity of .

On the other hand, inequality (1.5) leads to the conclusion that for all and .

Next, we prove that the parameters and 0 are the best possible parameters in Lemma 2.4(1) and (2), respectively.

If , then follows from Lemma 2.3(5). Moreover, let
then, using l'HΓ΄pital's rule and Lemma 2.2(4), we get

Inequality (2.18) implies that there exists such that for all . Therefore, for follows from (2.17).

From Lemma 2.4, we clearly see that the following Theorem 2.5 holds, which give a positive answer to the open problem #.

Theorem 2.5. *The double inequality
**
holds for all with the best possible constants and .*

#### Acknowledgments

This paper was supported by the Natural Science Foundation of China under Grant 11071069 and the Innovation Team Foundation of the Department of Education of Zhejiang Province under Grant T200924.

#### References

- F. Bowman,
*Introduction to Elliptic Functions with Applications*, Dover Publications, New York, NY, USA, 1961. View at: Zentralblatt MATH - P. F. Byrd and M. D. Friedman,
*Handbook of Elliptic Integrals for Engineers and Scientists*, Springer-Verlag, New York, NY, USA, 1971. View at: Zentralblatt MATH - G. D. Anderson, S.-L. Qiu, and M. K. Vamanamurthy, βElliptic integral inequalities, with applications,β
*Constructive Approximation*, vol. 14, no. 2, pp. 195β207, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH - G. D. Anderson, M. K. Vamanamurthy, and M. Vuorinen,
*Conformal Invariants, Inequalities, and Quasiconformal Maps*, John Wiley & Sons, New York, NY, USA, 1997. - G. D. Anderson, M. K. Vamanamurthy, and M. Vuorinen, βDistortion functions for plane quasiconformal mappings,β
*Israel Journal of Mathematics*, vol. 62, no. 1, pp. 1β16, 1988. View at: Publisher Site | Google Scholar | Zentralblatt MATH - M. Vuorinen, βSingular values, Ramanujan modular equations, and Landen transformations,β
*Studia Mathematica*, vol. 121, no. 3, pp. 221β230, 1996. View at: Google Scholar | Zentralblatt MATH - G. D. Anderson, S.-L. Qiu, M. K. Vamanamurthy, and M. Vuorinen, βGeneralized elliptic integrals and modular equations,β
*Pacific Journal of Mathematics*, vol. 192, no. 1, pp. 1β37, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S.-L. Qiu, βGrΓΆtzsch ring and Ramanujan's modular equations,β
*Acta Mathematica Sinica*, vol. 43, no. 2, pp. 283β290, 2000 (Chinese). View at: Google Scholar | Zentralblatt MATH - S.-L. Qiu, M. K. Vamanamurthy, and M. Vuorinen, βSome inequalities for the Hersch-Pfluger distortion function,β
*Journal of Inequalities and Applications*, vol. 4, no. 2, pp. 115β139, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH - M. K. Vamanamurthy and M. Vuorinen, βInequalities for means,β
*Journal of Mathematical Analysis and Applications*, vol. 183, no. 1, pp. 155β166, 1994. View at: Publisher Site | Google Scholar | Zentralblatt MATH - R. W. Barnard, K. Pearce, and K. C. Richards, βA monotonicity property involving
_{3}*F*_{2}and comparisons of the classical approximations of elliptical arc length,β*SIAM Journal on Mathematical Analysis*, vol. 32, no. 2, pp. 403β419, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH - R. W. Barnard, K. Pearce, and K. C. Richards, βAn inequality involving the generalized hypergeometric function and the arc length of an ellipse,β
*SIAM Journal on Mathematical Analysis*, vol. 31, no. 3, pp. 693β699, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH - R. W. Barnard, K. Pearce, and L. Schovanec, βInequalities for the perimeter of an ellipse,β
*Journal of Mathematical Analysis and Applications*, vol. 266, no. 2, pp. 295β306, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH - G. D. Anderson, M. K. Vamanamurthy, and M. Vuorinen, βFunctional inequalities for complete elliptic integrals and their ratios,β
*SIAM Journal on Mathematical Analysis*, vol. 21, no. 2, pp. 536β549, 1990. View at: Publisher Site | Google Scholar | Zentralblatt MATH - G. D. Anderson, M. K. Vamanamurthy, and M. Vuorinen, βFunctional inequalities for hypergeometric functions and complete elliptic integrals,β
*SIAM Journal on Mathematical Analysis*, vol. 23, no. 2, pp. 512β524, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH - H. Alzer and S.-L. Qiu, βMonotonicity theorems and inequalities for the complete elliptic integrals,β
*Journal of Computational and Applied Mathematics*, vol. 172, no. 2, pp. 289β312, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH - Γ. Baricz, βTurΓ‘n type inequalities for generalized complete elliptic integrals,β
*Mathematische Zeitschrift*, vol. 256, no. 4, pp. 895β911, 2007. View at: Google Scholar - S. AndrΓ‘s and Γ Baricz, βBounds for complete elliptic integral of the first kind,β
*Expositiones Mathematicae*, vol. 28, no. 4, pp. 357β364, 2010. View at: Google Scholar

#### Copyright

Copyright Β© 2011 Yu-Ming Chu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.