Journal of Applied Mathematics

VolumeΒ 2011Β (2011), Article IDΒ 618929, 9 pages

http://dx.doi.org/10.1155/2011/618929

## Optimal Inequalities between Harmonic, Geometric, Logarithmic, and Arithmetic-Geometric Means

Department of Mathematics, Huzhou Teachers College, Huzhou 313000, China

Received 19 July 2011; Accepted 4 September 2011

Academic Editor: LaurentΒ Gosse

Copyright Β© 2011 Yu-Ming Chu and Miao-Kun Wang. 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.

#### Abstract

We find the least values , , and in (0, 1/2) such that the inequalities , , , and hold for all with , respectively. Here , and denote the arithmetic-geometric, harmonic, geometric, and logarithmic means of two positive numbers and , respectively.

#### 1. Introduction

The classical arithmetic-geometric mean of two positive real numbers and is defined as the common limit of sequences and , which are given by

Let ,β,β, , and and be the harmonic, geometric, logarithmic, identric, arithmetic, and -th power means of two positive numbers and with , respectively. Then it is well known that for all with .

Recently, the inequalities for means have been the subject of intensive research. In particular, many remarkable inequalities for arithmetic-geometric mean can be found in the literature [1β9].

Carlson and Vuorinen [2], and Bracken [9] proved that for all with .

In [3], Vamanamurthy and Vuorinen established the following inequalities: for all with .

We recall the Gauss identity [6, 7] for and . As usual, and denote the complete elliptic integrals [8] given by

where for , and .

For fixed with and , let

Then it is not difficult to verify that , and are continuous and strictly increasing in , respectively. Note that , = and .

Therefore, it is natural to ask what are the least values , , and in such that the inequalities , + , and hold for all with , respectively. The main purpose of this paper is to answer these questions. Our main results are Theorems 1.1β1.3.

Theorem 1.1. *If , then inequality
**
holds for all with if and only if .*

Theorem 1.2. *If , then inequality
**
holds for all with if and only if .*

Theorem 1.3. *If , then inequality
**
holds for all with if and only if .*

#### 2. Lemmas

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

For , the following derivative formulas were presented in [6, Appendix , pp. 474-475]:

The following Lemma 2.1 can be found in [6, Theorem and Exercise ].

Lemma 2.1. *β is strictly increasing from onto ;**ββ is strictly increasing from onto .*

Lemma 2.2. *Inequality
**
holds for all .*

*Proof. *Let
Then simple computations lead to

It follows from Lemma 2.1 (1) and (2.6) that for , which implies that is strictly increasing in .

Therefore, inequality (2.3) follows from (2.4) and (2.5) together with the monotonicity of .

Lemma 2.3. *Inequality
**
holds for all .*

*Proof. *Let
Then simple computations lead to

Clearly the function is strictly decreasing from onto . Then (2.10) and Lemma 2.1 (2) lead to the conclusion that for . Thus, is strictly increasing in .

Therefore, inequality (2.7) follows from (2.8) and (2.9) together with the monotonicity of .

#### 3. Proof of Theorems 1.1β1.3

*Proof of Theorem 1.1. *Let , then from the monotonicity of the function in we know that to prove inequality (1.10) we only need to prove that
for all with .

From (1.1) and (1.7) we clearly see that both and are symmetric and homogeneous of degree 1. Without loss of generality, we can assume that . Let and , then from (1.5) we have

Let
Then making use of (2.2) we get
where . Note that

Therefore, inequality (3.1) follows from (3.2)β(3.5).

Next, we prove that the parameter is the best possible parameter in such that inequality (1.10) holds for all with .

Since for and small ,

It follows from (3.6) and (3.7) that inequality holds for small only .

*Remark 3.1. *For and , one has

Equation (3.8) implies that there does not exist such that for all .

*Proof of Theorem 1.2. *Let , then from the monotonicity of the function in we know that to prove inequality (1.11) we only need to prove that
for all with .

From (1.1) and (1.8) we clearly see that both and are symmetric and homogeneous of degree 1. Without loss of generality, we can assume that . Let and , then from (1.5) we have

Let
Then making use of (2.2) we have

Therefore, inequality (3.9) follows from (3.10)β(3.12) together with Lemma 2.2.

Next, we prove that the parameter is the best possible parameter in such that inequality (1.11) holds for all with .

Since for and small ,

It follows from (3.6) and (3.13) that inequality holds for small only .

*Remark 3.2. *For and , one has

Equation (3.14) implies that there does not exist such that for all .

*Proof of Theorem 1.3. * Let , then from the monotonicity of in we know that to prove inequality (1.12) we only need to prove that
for all with .

From (1.1) and (1.9) we clearly see that both and are symmetric and homogeneous of degree 1. Without loss of generality, we can assume that . Let and , then from (1.5) one has

Let
Then from (2.2) we get
where is defined as in Lemma 2.3.

Therefore, inequality (3.15) follows from (3.16)β(3.18) together with Lemma 2.3.

Next, we prove that the parameter is the best possible parameter in such that inequality (1.12) holds for all with .

Since for and small ,

It follows from (3.6) and (3.19) that inequality holds for small only .

*Remark 3.3. *For and , one has

Equation (3.20) implies that there exist no values such that for all .

#### Acknowledgments

The authors wish to thank the anonymous referees for their careful reading of the paper and their fruitful comments and suggestions. This research was supported by the Natural Science Foundation of China under Grant 11071069, and Innovation Team Foundation of the Department of Education of Zhejiang Province under Grant T200924.

#### References

- J. M. Borwein and P. B. Borwein,
*Pi and the AGM*, John Wiley and Sons, New York, NY, USA, 1987. View at Zentralblatt MATH - B. C. Carlson and M. Vuorinen, βInequality of the AGM and the logarithmic mean,β
*SIAM Review*, vol. 33, no. 4, p. 655, 1991. View at Google Scholar - 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 Β· View at Google Scholar Β· View at Zentralblatt MATH - T. Hayashi, βNon-commutative arithmetic-geometric mean inequality,β
*Proceedings of the American Mathematical Society*, vol. 137, no. 10, pp. 3399β3406, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - L. Knockaert, βBest upper bounds based on the arithmetic-geometric mean inequality,β
*Archives of Inequalities and Applications*, vol. 1, no. 1, pp. 85β90, 2003. View at Google Scholar Β· View at Zentralblatt MATH - G. D. Anderson, M. K. Vamanamurthy, and M. K. Vuorinen,
*Conformal Invariants, Inequalities, and Quasiconformal Maps*, John Wiley and Sons, New York, NY, USA, 1997. - S.-L. Qiu and M. Vuorinen, βSpecial functions in geometric function theory,β in
*Handbook of Complex Analysis: Geometric Function Theory*, vol. 2, pp. 621β659, Elsevier Science Publishers B.V., Amsterdam, The Netherlands, 2005. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - M. Abramowitz and I. A. Stegun,
*Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables*, Dover, New York, NY, USA, 1965. - P. Bracken, βAn arithmetic-geometric mean inequality,β
*Expositiones Mathematicae*, vol. 19, no. 3, pp. 273β279, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH