- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

VolumeΒ 2012Β (2012), Article IDΒ 830585, 11 pages

http://dx.doi.org/10.1155/2012/830585

## Inequalities between Arithmetic-Geometric, Gini, and Toader Means

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

Received 24 August 2011; Accepted 20 October 2011

Academic Editor: Muhammad AslamΒ Noor

Copyright Β© 2012 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 greatest values , and least values , such that the double inequalities and hold for all with and present some new bounds for the complete elliptic integrals. Here , , and are the arithmetic-geometric, Toader, and th Gini means of two positive numbers and , respectively.

#### 1. Introduction

For the th Gini mean and power mean of two positive real numbers and are defined by respectively.

It is well known that and are continuous and strictly increasing with respect to for fixed with . Many means are special case of these means, for example,

Recently, the Gini and power means have been the subject of intensive research. In particular, many remarkable inequalities for these means can be found in the literature [1β7].

In [8], Toader introduced the Toader mean of two positive numbers and as follows: where , , is the complete elliptic integrals of the second kind.

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

The Gauss identity [9] shows that for , where , , is the complete elliptic integrals of the first kind.

Vuorinen [10] conjectured that for all with . This conjecture was proved by Qiu and Shen in [11] and Barnard et al. in [12], respectively.

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

In [14β17], the authors proved that for all with , where denotes the classical logarithmic mean of two positive numbers and .

Very recently, Chu and Wang [18] and Guo and Qi [19] proved that for all with , and and are the best possible lower and upper Lehmer mean bounds for the Toader mean , respectively. Here, the th Lehmer mean of two positive numbers and is defined by .

The main purpose of this paper is to find the greatest values , and least values , such that the double inequalities and hold for all with and present some new bounds for the complete elliptic integrals.

#### 2. Preliminary Knowledge

Throughout this paper, we denote for .

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

Lemma 2.1 can be found in [9, Theoremββ3.21(7), (8), and (10), and Exerciseββ3.43(13) and (46)].

Lemma 2.1. *(1) is strictly decreasing from onto for ;**(2)β is strictly increasing on if and only if and strictly decreasing if and only if ;**(3) is strictly decreasing from onto ;**(4) is strictly increasing from onto ;**(5) is strictly decreasing from onto .*

#### 3. Main Results

Theorem 3.1. *Inequality holds for all with , and and are the best possible lower and upper Gini mean bounds for the arithmetic-geometric mean .*

*Proof. *From (1.1) and (1.5) we clearly see that both and are symmetric and homogenous of degree 1. Without loss of generality, we assume that . Let and . Then from (1.1) and (1.6) together with (2.2) we clearly see that

Let
Then can be rewritten as
where

It is well known that the function is positive and strictly decreasing in . Then (3.4) and Lemma 2.1(1) lead to the conclusion that is strictly increasing in , so that for .

Therefore, follows from (3.1)β(3.3).

On the other hand, follows directly from (1.9).

Next, we prove that and are the best possible lower and upper Gini mean bounds for the arithmetic-geometric mean .

For any and , from (1.1), (1.6), and Lemma 2.1(3) we have
Letting and making use of the Taylor expansion, one has

Equations (3.5)β(3.7) imply that for any there exist and , such that for and for .

Theorem 3.2. *Inequality holds for all with , and and are the best possible lower and upper Gini mean bounds for the Toader mean .*

*Proof. *From (1.1) and (1.4) we clearly see that both and are symmetric and homogenous of degree 1. Without loss of generality, we assume that . Let and . Then from (1.1), (1.4), and (2.3) we have

Let
Then simple computations lead to
where

It follows from (3.12) and Lemma 2.1(1), (4), and (5) that is strictly decreasing from onto . Then (3.11) leads to the conclusion that for . Hence is strictly decreasing in .

Therefore, follows from (3.8)β(3.10) together with the monotonicity of .

On the other hand, follows directly from (1.7).

Next, we prove that and are the best possible lower and upper Gini mean bounds for the Toader mean .

For any and , from (1.1) and (1.4) one has

Letting and making use of the Taylor expansion, we get

Equations (3.13)β(3.15) imply that for any ββthere exist and , such that for and for .

#### 4. Remarks and Corollaries

*Remark 4.1. *From (3.9) and Lemma 2.1(4) we clearly see that . Then (3.8) and (3.9) together with the monotonicity of lead to the conclusion that
for all with .

*Remark 4.2. *We find that the lower bound in (1.10) and the best possible lower Gini mean bound in Theorem 3.1 are not comparable. In fact, from (1.1) and (1.11) we have

*Remark 4.3. *The following two equations show that the best possible upper power mean bound in (1.8) and the best possible upper Gini mean bound in Theorem 3.2 are not comparable:

From Theorem 3.1 we get an upper bound for the complete elliptic integrals of the first kind as follows.

Corollary 4.4. *Inequality
**
holds for all .*

*Remark 4.5. *Computational and numerical experiments show that the upper bound in (4.4) for is very accurate for some . In fact, if we let , then we have Table 1 via elementary computation.

The following bounds for the complete elliptic integrals of the second kind follow from Theorem 3.2 and Remark 4.1.

Corollary 4.6. *
Inequality
**
holds for all .*

*Remark 4.7. *Computational and numerical experiments show that the upper bound in (4.5) for is very accurate for some . In fact, if we let , then we have Table 2 via elementary computation.

#### Acknowledgments

This work is supported by the Natural Science Foundation of China (Grant no. 11071069), the Natural Science Foundation of Zhejiang Province (Grant no. Y7080106), and the Innovation Team Foundation of the Department of Education of Zhejiang Province (Grant no. T200924).

#### References

- I. Raşa and M. Ivan, βSome inequalities for means II,β in
*Proceedings of the Itinerant Seminar on Functional Equations, Approximation and Convexity*, pp. 75β79, Cluj-Napoca, Romania, May 2001. - J. Sándor, βA note on the Gini means,β
*General Mathematics*, vol. 12, no. 4, pp. 17β21, 2004. View at Zentralblatt MATH - J. Sándor and I. Raşa, βInequalities for certain means in two arguments,β
*Nieuw Archief voor Wiskunde*, vol. 15, no. 1-2, pp. 51β55, 1997. View at Zentralblatt MATH - P. S. Bullen, D. S. Mitrinović, and P. M. Vasić,
*Means and their Inequalities*, vol. 31, D. Reidel Publishing, Dordrecht, The Netherlands, 1988. - P. A. Hästö, βOptimal inequalities between Seiffert's mean and power means,β
*Mathematical Inequalities & Applications*, vol. 7, no. 1, pp. 47β53, 2004. View at Zentralblatt MATH - H. Alzer and S.-L. Qiu, βInequalities for means in two variables,β
*Archiv der Mathematik*, vol. 80, no. 2, pp. 201β215, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - K. C. Richards, βSharp power mean bounds for the Gaussian hypergeometric function,β
*Journal of Mathematical Analysis and Applications*, vol. 308, no. 1, pp. 303β313, 2005. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Gh. Toader, βSome mean values related to the arithmetic-geometric mean,β
*Journal of Mathematical Analysis and Applications*, vol. 218, no. 2, pp. 358β368, 1998. View at Publisher Β· 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 & Sons, New York, NY, USA, 1997. - M. Vuorinen, βHypergeometric functions in geometric function theory,β in
*Special Functions and Differential Equations (Madras, 1997)*, pp. 119β126, Allied, New Delhi, India, 1998. View at Zentralblatt MATH - S.-L. Qiu and J.-M. Shen, βOn two problems concerning means,β
*Journal of Hangzhou Insitute of Electronic Engineering*, vol. 17, no. 3, pp. 1β7, 1997 (Chinese). - 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 Β· View at Google Scholar Β· View at 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 Β· View at Google Scholar Β· 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. - 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 - 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 - F. Qi and A. Sofo, βAn alternative and united proof of a double inequality for bounding the arithmetic-geometric mean,β
*University Politehnica of Bucharest Scientific Bulletin Series A*, vol. 71, no. 3, pp. 69β76, 2009. - Y.-M. Chu and M.-K. Wang, βOptimal Lehmer mean bounds for the Toader mean,β
*Results in Mathematics*. In press. View at Publisher Β· View at Google Scholar - B.-N. Guo and F. Qi, βSome bounds for the complete elliptic integrals of the first and second kinds,β
*Mathematical Inequalities & Applications*, vol. 14, no. 2, pp. 323β334, 2011. View at Zentralblatt MATH