## Nonlinear Problems: Analytical and Computational Approach with Applications

View this Special IssueResearch Article | Open Access

# Sharp Bounds for Seiffert Mean in Terms of Contraharmonic Mean

**Academic Editor:**Muhammad Aslam Noor

#### Abstract

We find the greatest value and the least value in such that the double inequality holds for all with . Here, 2 arctan and are the Seiffert and contraharmonic means of and , respectively.

#### 1. Introduction

For with , the Seiffert mean and contraharmonic mean are defined by

respectively. Recently, both mean values have been the subject of intensive research. In particular, many remarkable inequalities and properties for these means can be found in the literature [1–12].

Let , , , and let and be the arithmetic, geometric, square root, and th power means of two positive numbers and , respectively. Then it is well known that is continuous and strictly increasing with respect to for fixed with , and the inequalities hold for all with .

Seiffert [12] proved that the double inequality holds for all with .

Hästö [13] proved that the function is increasing in if .

In [14], the authors found the greatest value and the least value such that the double inequality holds for all with . Here, , and is the th power-type Heron mean of and .

Wang et al. [15] answered the question: what are the best possible parameters and such that the double inequality holds for all with , where is the th Lehmer mean of and .

In [16, 17], the authors proved that the inequalities hold for all with if and only if , , , , and .

For fixed with , let and

Then it is not difficult to verify that is continuous and strictly increasing in . Note that and . Therefore, it is natural to ask what are the greatest value and the least value in such that the double inequality holds for all with . The main purpose of this paper is to answer this question. Our main result is the following Theorem 1.1.

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

#### 2. Proof of Theorem 1.1

*Proof of Theorem 1.1. *Let and . We first proof that the inequalities
hold for all with .

From (1.1) and (1.2) 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.2) one has
Let
Then simple computations lead to
where

Let , , . Then from (2.8) we get

We divide the proof into two cases.*Case 1 (). *Then (2.6), (2.13), and (2.15) lead to

Note that

It follows from (2.8), (2.10), (2.12), (2.14), and (2.19) that

From (2.14) and inequality (2.19), we clearly see that is strictly increasing in . Then (2.18) and (2.23) lead to the conclusion that there exists such that for and for . Hence, is strictly decreasing in and strictly increasing in .

It follows from (2.17) and (2.22) together with the piecewise monotonicity of that there exists such that is strictly decreasing in and strictly increasing in .

From (2.11) and (2.21) together with the piecewise monotonicity of , we conclude that there exists such that is strictly decreasing in and strictly increasing in .

Equations (2.7), (2.9), and (2.20) together with the piecewise monotonicity of imply that there exists such that is strictly decreasing in and strictly increasing in .

Therefore, inequality (2.1) follows from (2.3)–(2.5) and (2.16) together with the piecewise monotonicity of .*Case 2 (). *Then (2.8) leads to
for .

Inequality (2.24) and (2.7) imply that is strictly increasing in . Therefore, inequality (2.2) follows from (2.3)–(2.5) together with the monotonicity of .

From inequalities (2.1) and (2.2) together with the monotonicity of in , we know that inequality (1.8) holds for all , , and all with .

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

For any , from (2.6) one has

Equations (2.3) and (2.4) together with inequality (2.25) imply that for any there exists such that
for .

Finally, we prove that is the best possible parameter such that inequality (2.2) holds for all with .

For any , from (2.13) one has

From inequality (2.27) and the continuity of , we know that there exists such that
for .

Equations (2.3)–(2.5), (2.7), (2.9), and (2.11) together with inequality (2.28) imply that for any there exists such that
for .

#### Acknowledgments

This research was supported by the National Natural Science Foundation of China under Grants 11071069 and 11171307, and the Innovation Team Foundation of the Department of Education of Zhejiang Province under Grant T200924.

#### References

- Y.-M. Chu, M.-K. Wang, S.-L. Qiu, and Y.-F. Qiu, “Sharp generalized Seiffert mean bounds for Toader mean,”
*Abstract and Applied Analysis*, vol. 2011, Article ID 605259, 8 pages, 2011. View at: Publisher Site | Google Scholar - S.-W. Hou and Y.-M. Chu, “Optimal convex combination bounds of root-square and harmonic root-square means for Seiffert mean,”
*International Journal of Mathematical Analysis*, vol. 5, no. 39, pp. 1897–1904, 2011. View at: Google Scholar - H. Liu and X.-J. Meng, “The optimal convex combination bounds for Seiffert's mean,”
*Journal of Inequalities and Applications*, vol. 2011, Article ID 686834, 9 pages, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH - J. Pahikkala, “On contraharmonic mean and Phythagorean triples,”
*Elementary Math*, vol. 65, no. 2, pp. 62–67, 2010. View at: Google Scholar - S. Toader and Gh. Toader, “Complementaries of Greek means with respect to Gini means,”
*International Journal of Applied Mathematics & Statistics*, vol. 11, no. N07, pp. 187–192, 2007. View at: Google Scholar | Zentralblatt MATH - E. Neuman and J. Sáandor, “On the Schwab-Borchardt mean II,”
*Mathematica Pannonica*, vol. 17, no. 1, pp. 49–59, 2006. View at: Google Scholar - Y. Lim, “The inverse mean problem of geometric mean and contraharmonic means,”
*Linear Algebra and its Applications*, vol. 408, no. 1–3, pp. 221–229, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH - S. Toader and Gh. Toader, “Generalized complementaries of Greek means,”
*Pure Mathematics and Applications*, vol. 15, no. 2-3, pp. 335–342, 2004. View at: Google Scholar - 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 | Zentralblatt MATH - J. R. Siler, “Mean crowds and Pythagorean triples,”
*Fibonacci Quarterly*, vol. 36, no. 4, pp. 323–326, 1998. View at: Google Scholar | Zentralblatt MATH - W. N. Anderson Jr., M. E. Mays, T. D. Morley, and G. E. Trapp, “The contraharmonic mean of HSD matrices,”
*SIAM Journal on Algebraic and Discrete Methods*, vol. 8, no. 4, pp. 674–682, 1987. View at: Publisher Site | Google Scholar | Zentralblatt MATH - H. J. Seiffert, “Aufgabe
*β*16,”*Die Wurzel*, vol. 29, pp. 221–222, 1995. View at: Google Scholar - P. A. Hästö, “A monotonicity property of ratios of symmetric homogeneous means,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 3, no. 5, article 71, 23 pages, 2002. View at: Google Scholar - Y.-M. Chu, M.-K. Wang, and Y.-F. Qiu, “An optimal double inequality between power-type Heron and Seiffert means,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 146945, 11 pages, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH - M.-K. Wang, Y.-F. Qiu, and Y.-M. Chu, “Sharp bounds for Seiffert means in terms of Lehmer means,”
*Journal of Mathematical Inequalities*, vol. 4, no. 4, pp. 581–586, 2010. View at: Google Scholar | Zentralblatt MATH - Y.-M. Chu, C. Zong, and G.-D. Wang, “Optimal convex combination bounds of Seiffert and geometric means for the arithmetic mean,”
*Journal of Mathematical Inequalities*, vol. 5, no. 3, pp. 429–434, 2011. View at: Google Scholar - Y.-M. Chu, M.-K. Wang, and W.-M. Gong, “Two sharp double inequalities for Seiffert mean,”
*Journal of Inequalities and Applications*, vol. 2011, article 44, 2011. View at: Google Scholar

#### Copyright

Copyright © 2012 Yu-Ming Chu and Shou-Wei Hou. 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.