Abstract and Applied Analysis

Volume 2014, Article ID 914242, 8 pages

http://dx.doi.org/10.1155/2014/914242

## Sharp Bounds for Neuman Means by Harmonic, Arithmetic, and Contraharmonic Means

^{1}School of Mathematics and Computation Sciences, Hunan City University, Yiyang 413000, China^{2}College of Mathematics and Econometrics, Hunan University, Changsha 410082, China

Received 20 May 2014; Accepted 12 July 2014; Published 23 July 2014

Academic Editor: Shuangjie Peng

Copyright © 2014 Zhi-Jun Guo 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.

#### Abstract

We give several sharp bounds for the Neuman means
and ( and ) in terms of harmonic
mean *H* (contraharmonic mean *C*) or the geometric convex
combination of arithmetic mean *A* and harmonic mean *H*
(contraharmonic mean *C* and arithmetic mean *A*) and present a
new chain of inequalities for certain bivariate means.

#### 1. Introduction

For with , the Schwab-Borchardt mean [1–3] of and is defined as where and are the inverse cosine and inverse hyperbolic cosine functions, respectively.

The Schwab-Borchardt mean can be expressed by the symmetric elliptic integral [4] of the first kind as follows [5] (see also [6, (3.21)]): where .

Recently, the Schwab-Borchardt mean has been the subject of intensive research. In particular, many remarkable inequalities for the Schwab-Borchardt mean and its generated means can be found in the literature [1–3, 7–10].

Very recently, Neuman [11] found a new mean derived from the Schwab-Borchardt mean as follows:

Let , , , , , , , , and be, respectively, the geometric, harmonic, logarithmic, first Seiffert, arithmetic, Neuman-Sándor, second Seiffert, quadratic, and contraharmonic means, and let be the Neuman means. Then Neuman [11] proved that for all with , and the double inequalities hold for all with if and only if , , , , , , , and .

Zhang et al. [12] presented the best possible parameters and such that the double inequalities hold for all with .

In [13], the authors found the greatest values , , , , , , , and and the least values , , , , , , , and such that the double inequalities hold for all with .

Let , , , , , and be the parameters such that , . Then He et al. [14] proved that

Let , , , and . Then we clearly see that for all with , and the functions and are, respectively, strictly increasing on the intervals and for fixed with .

The main purpose of this paper is to find the best possible parameters , , , , , , , , , and such that the double inequalities hold, for all with , and present a new chain of inequalities for certain bivariate means.

#### 2. Lemmas

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

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

Lemma 2 (see [16, Lemma 1.1]). *Suppose that the power series and have the radius of convergence and for all . If the sequence is (strictly) increasing (decreasing) for all , then the function is also (strictly) increasing (decreasing) on .*

Lemma 3. *The function
**
is strictly decreasing from onto .*

*Proof. *Making use of power series expansion we get

Let
Then
and is strictly decreasing for all .

Note that

Therefore, Lemma 3 follows easily from Lemma 2 and (18)–(21) together with the monotonicity of the sequence .

Lemma 4. *The function
**
is strictly increasing from onto .*

*Proof. *Let and . Then simple computations lead to
and is strictly increasing on .

Note that

Therefore, Lemma 4 follows from Lemma 1, (23), (24), and the monotonicity of .

Lemma 5. *The function
**
is strictly decreasing from onto .*

*Proof. *Let and . Then simple computations lead to

Let
Then it is not difficult to verify that
for all , where and .

Note that

It follows from Lemma 2 and (27)–(29) that the function is strictly decreasing on . Therefore, Lemma 5 follows from (26) and (30) together with Lemma 1 and the monotonicity of .

Lemma 6. *The function
**
is strictly decreasing from onto .*

*Proof. *Let , , , and . Then simple computations lead to

Since the function is strictly decreasing on , hence (34) leads to the conclusion that is strictly decreasing on .

Note that

Therefore, Lemma 6 follows easily from (32), (33), (35), and Lemma 1 together with the monotonicity of .

Lemma 7. *The function
**
is strictly increasing from onto .*

*Proof. *Let and . Then simple computations lead to

Let

Then
for all .

It follows from Lemma 2 and (38)–(40) that is strictly increasing on .

Note that

Therefore, Lemma 7 follows from Lemma 1, (37), and (41) together with the monotonicity of .

Lemma 8. *The function
**
is strictly increasing from onto .*

*Proof. *Let , , , and . Then simple computations lead to

Since the function is strictly decreasing on , hence Lemma 1 and (43) lead to the conclusion that is strictly increasing on .

Note that

Therefore, Lemma 8 follows easily from (44) and (45) together with the monotonicity of .

#### 3. Main Results

Theorem 9. *The double inequalities
**
hold for all with if and only if , , , , , , , and .*

*Proof. *Without loss of generality, we assume that . Let , , , , and be the parameters such that , . Then (9)–(12) lead to the conclusion that inequalities (46)–(49) are, respectively, equivalent to

Therefore, Theorem 9 follows easily from (50)–(53) and Lemmas 5–8.

Theorem 10. *Let . Then the double inequalities,
**
hold for all with if and only if , , , and .*

*Proof. *Without loss of generality, we assume that . Let , , , and be the parameters such that . Then from (9) and (10) we have

Therefore, Theorem 10 follows easily from (55) and (56) together with Lemmas 3 and 4.

Theorem 11. *Let . Then the double inequalities,
**
hold for all with if and only if , , , and .*

*Proof. *Without loss of generality, we assume that . Let , , , and be the parameters such that . Then from (11) and (12) one has
where the functions and are defined as in Lemmas 3 and 4, respectively.

Note that

Therefore, Theorem 11 follows easily from Lemmas 3 and 4 together with (58)-(59).

Theorem 12. *Let , , , and . Then the inequalities
**
hold for all with .*

*Proof. *It follows from [1, ] and [11, ] together with [9, , Theorems 2 and 5] that

Therefore, the second, fourth, ninth, and twelfth inequalities follow from (61) and the first, sixth, seventh, eighth, and eleventh inequalities follow from (62) immediately, while the fifth and thirteenth inequalities can be derived from and the fact that and are, respectively, the mean values of , , and , .

Next, we prove the third and tenth inequalities. In fact, the third inequality can be derived from the following inequalities (63) [14, Theorem 1.2] and (64) [9, Theorem 3] together with . Consider the following:

while the tenth inequality can be derived from the inequality in Theorem 9 and together with , where .

*Remark 13. *He et al. [14, Theorem 1.2], Xia and Chu [17, Theorem 3.1], and Chu et al. [18, Theorem 2.1] proved that the double inequalities
hold for all with if and only if , , , , , , , and .

From the above results we clearly see that the mean values and and and are not comparable with each other.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This research was supported by the Natural Science Foundation of China under Grants 61374086, 11371125, and 11171307 and the Natural Science Foundation of Zhejiang Province under Grant LY13A010004.

#### References

- E. Neuman and J. Sándor, “On the Schwab-Borchardt mean,”
*Mathematica Pannonica*, vol. 14, no. 2, pp. 253–266, 2003. View at Google Scholar · View at MathSciNet - E. Neuman and J. Sándor, “On the Schwab-Borchardt mean II,”
*Mathematica Pannonica*, vol. 17, no. 1, pp. 49–59, 2006. View at Google Scholar · View at MathSciNet - E. Neuman, “Inequalities for the Schwab-Borchardt mean and their applications,”
*Journal of Mathematical Inequalities*, vol. 5, no. 4, pp. 601–609, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - B. C. Carlson,
*Special Functions of Applied Mathematics*, Academic Press, New York, NY, USA, 1977. View at MathSciNet - B. C. Carlson, “Algorithms involving arithmetic and geometric means,”
*The American Mathematical Monthly*, vol. 78, pp. 496–505, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. L. Brenner and B. C. Carlson, “Homogeneous mean values: weights and asymptotics,”
*Journal of Mathematical Analysis and Applications*, vol. 123, no. 1, pp. 265–280, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - Z.-Y. He, Y.-M. Chu, and M.-K. Wang, “Optimal bounds for Neuman means in terms of harmonic and contraharmonic means,”
*Journal of Applied Mathematics*, vol. 2013, Article ID 807623, 4 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Y.-M. Chu and W.-M. Qian, “Refinements of bounds for Neuman means,”
*Abstract and Applied Analysis*, vol. 2014, Article ID 354132, 8 pages, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - E. Neuman, “On some means derived from the Schwab-Borchardt mean,”
*Journal of Mathematical Inequalities*, vol. 8, no. 1, pp. 171–183, 2014. View at Google Scholar - E. Neuman, “On some means derived from the Schwab-Borchardt mean II,”
*Journal of Mathematical Inequalities*, vol. 8, no. 2, pp. 361–370, 2014. View at Google Scholar - E. Neuman, “On a new bivariate mean,”
*Aequationes Mathematicae*, 2013. View at Publisher · View at Google Scholar - Y. Zhang, Y.-M. Chu, and Y.-L. Jiang, “Sharp geometric mean bounds for Neuman means,”
*Abstract and Applied Analysis*, vol. 2014, Article ID 949815, 6 pages, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - Z.-J. Guo, Y. Zhang, Y.-M. Chu, and Y.-Q. Song, “Sharp bounds for Neuman means in terms of geometric, arithmetic and quadratic means,” In press, http://arxiv.org/abs/1405.4384.
- Z.-Y. He, Y.-M. Chu, Y.-Q. Song, and X.-J. Tao, “Note on certain inequalities for Neuman means,” http://arxiv.org/abs/1405.4387.
- 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 · View at Google Scholar · View at MathSciNet · View at Scopus - S. Simić and M. Vuorinen, “Landen inequalities for zero-balanced hypergeometric functions,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 932061, 11 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - W.-F. Xia and Y.-M. Chu, “Optimal inequalities related to the logarithmic, identric, arithmetic and harmonic means,”
*Revue d'Analyse Numérique et de Théorie de l'Approximation*, vol. 39, no. 4, pp. 176–183, 2010. View at Google Scholar - Y.-M. Chu, Y.-F. Qiu, M.-K. Wang, and G.-D. Wang, “The optimal convex combination bounds of arithmetic and harmonic means for the Seiffert's mean,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 436457, 7 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus