/ / Article
Special Issue

## Nonlinear Problems: Analytical and Computational Approach with Applications

View this Special Issue

Research Article | Open Access

Volume 2012 |Article ID 425175 | https://doi.org/10.1155/2012/425175

Yu-Ming Chu, Shou-Wei Hou, "Sharp Bounds for Seiffert Mean in Terms of Contraharmonic Mean", Abstract and Applied Analysis, vol. 2012, Article ID 425175, 6 pages, 2012. https://doi.org/10.1155/2012/425175

# Sharp Bounds for Seiffert Mean in Terms of Contraharmonic Mean

Accepted05 Nov 2011
Published27 Dec 2011

#### 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 .

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  proved that the double inequality holds for all with .

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

In , 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.  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.

1. 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
2. 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
3. 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.
4. J. Pahikkala, “On contraharmonic mean and Phythagorean triples,” Elementary Math, vol. 65, no. 2, pp. 62–67, 2010. View at: Google Scholar
5. 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
6. 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
7. 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.
8. 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
9. 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
10. J. R. Siler, “Mean crowds and Pythagorean triples,” Fibonacci Quarterly, vol. 36, no. 4, pp. 323–326, 1998. View at: Google Scholar | Zentralblatt MATH
11. 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.
12. H. J. Seiffert, “Aufgabe β 16,” Die Wurzel, vol. 29, pp. 221–222, 1995. View at: Google Scholar
13. 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
14. 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.
15. 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
16. 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
17. 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