• Views 297
• Citations 3
• ePub 15
• PDF 234
`Journal of Applied MathematicsVolume 2013 (2013), Article ID 273653, 5 pageshttp://dx.doi.org/10.1155/2013/273653`
Research Article

Optimal Lower Generalized Logarithmic Mean Bound for the Seiffert Mean

1School of Mathematics and Computation Sciences, Hunan City University, Yiyang, Hunan 413000, China
2School of Distance Education, Huzhou Broadcast and TV University, Huzhou, Zhejiang 313000, China
3School of Information & Engineering, Huzhou Teachers College, Huzhou, Zhejiang 313000, China

Received 23 December 2012; Accepted 26 February 2013

Academic Editor: Francisco J. Marcellán

Copyright © 2013 Ying-Qing Song 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 present the greatest value such that the inequality holds for all with , where and denote the Seiffert and th generalized logarithmic means of and , respectively.

1. Introduction

For , the th generalized logarithmic mean is defined by and the Seiffert mean [1] is defined by

It is well known that the generalized logarithmic mean is continuous and strictly increasing with respect to for fixed with . The special cases of the generalized logarithmic mean are, for example, is the geometric mean, is the logarithmic mean, is the identric mean, and is the arithmetic mean. The Seiffert mean can be rewritten as (see [2, equation (2.4)])

Recently, the bivariate means have been the subject of intensive research. In particular, many remarkable inequalities and properties for the generalized logarithmic and the Seiffert means can be found in the literature [313].

In [1, 11], Seiffert proved that the inequalities hold for all with .

Sándor [14] presented the bounds for the Seiffert mean in terms of the arithmetic mean and geometric mean as follows: for all with .

Hästö [15] proved that the double inequality holds for all with if and only if and , where is the th power mean of and .

In [16], the authors found the greatest value and least value such that the double inequality holds for all with , where is the contraharmonic mean of and .

Motivated by the first inequality in (4), Gao [17] gave the best possible constants and such that the double inequality holds for all with .

In [18], the author solved the following open problem proposed by Long and Chu [19]: what is the smallest (largest ) such that the inequality holds for and all with ?

Chu et al. [20] proved that the double inequality holds for all with if and only if and , where is the second Seiffert mean of and , and is the unique solution of the equation .

In [21], the authors answered the question: what are the greatest value and the least value such that the double inequality holds for any with and all with ?

Motivated by the first inequality in (4), it is natural to ask what are the best possible generalized logarithmic mean bounds for the Seiffert mean ? It is the aim of this paper to answer this question.

2. Preliminaries

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

Lemma 1. Let the function be defined with Then, is a continuous and strictly increasing function.

Proof. From (6), we clearly see that If , then simple computation yields If we define then Equation (11) implies that Equations (10) and (12) lead to for .
From (9) and (10) together with (13), we clearly see that for .
Therefore, the continuity of follows from (6) and (7), and the strict monotonicity of follows from (8), (14) and the continuity of .

Remark 2. From Lemma 1, we clearly see that for any fixed , there exists a unique such . In particular, for , making use of Mathematica software, we get
Therefore, the unique solution of the equation belongs to the interval .

Lemma 3. Let and let be defined with . Then, there exists such that for and for .

Proof. Simple computations lead to
Let . Further computations lead to
Inequalities (34) and (35) imply that for .
From (31) and (32) together with (36), we clearly see that there exists such that for and for . Hence, is strictly decreasing on and strictly increasing on .
It follows from (28) and (29) together with the monotonicity of that there exists such that is strictly decreasing on and strictly increasing on .
Equations (25)-(26) and the monotonicity of lead to the conclusion that there exists such that for and for . Therefore, is strictly decreasing on and strictly increasing on .
From (22) and (23) together with the monotonicity of , we clearly see that there exists such that is strictly decreasing on and strictly increasing on .
Equations (19)-(20) and the monotonicity of imply that there exists such that is strictly decreasing on and strictly increasing on .
Therefore, Lemma 3 follows from (16) and (17) together with the monotonicity of .

3. Main Results

Theorem 4. Let be as in Lemma 1 and let be the unique solution of the equation . Then, for all , , the inequality holds, and is the best possible lower generalized logarithmic mean bound for the Seiffert mean .

Proof. From Remark 2, it follows that
We first prove that the inequality (37) holds. Without loss of generality, we assume that . If , then, from (1) and (2), we have If then simple computations lead to where where
From (38) and (44)-(45) together with Lemma 3, we clearly see that there exists such that is strictly decreasing on and strictly increasing on . Then, (38) and (42)-(43) together with the monotonicity of imply that there exists such that is strictly decreasing on and strictly increasing on .
Therefore, follows from (39)–(41) and the monotonicity of .
Next, we prove that is the best possible lower generalized logarithmic mean bound for the Seiffert mean .
For any , from (1) and (2), we get Lemma 1 and (46) lead to
Inequality (47) implies that, for , there exists such that for .

Theorem 5. is the best possible upper generalized logarithmic mean bound for the Seiffert mean .

Proof. For any and , from (1) and (2), we have where .
When , then making use of the Taylor expansion, we get
Equations (48) and (49) imply that for any , there exists such that for .
Therefore, Theorem 5 follows from inequalities (4) and (50).

Acknowledgments

This paper was supported by the Natural Science Foundation of China under Grant 61173123, the Natural Science Foundation of Zhejiang Province under Grants Z1110551 and LY12F02012, and the Natural Science Foundation of Huzhou City under Grant 2012YZ06.

References

1. H. J. Seiffert, “Problem 887,” Nieuw Archief voor Wiskunde (4), vol. 11, no. 2, p. 176, 1993.
2. E. Neuman and J. Sándor, “On the Schwab-Borchardt mean,” Mathematica Pannonica, vol. 14, no. 2, pp. 253–266, 2003.
3. I. Costin and G. Toader, “Optimal evaluations of some Seiffert-type means by power means,” Applied Mathematics and Computation, vol. 219, no. 9, pp. 4745–4754, 2013.
4. W. D. Jiang, “Some sharp inequalities involving reciprocals of the Seiffert and other means,” Journal of Mathematical Inequalities, vol. 6, no. 4, pp. 593–599, 2012.
5. W. M. Qian and B. Y. Long, “Sharp bounds by the generalized logarithmic mean for the geometric weighted mean of the geometric and harmonic means,” Journal of Applied Mathematics, vol. 2012, Article ID 480689, 8 pages, 2012.
6. H. N. Shi and S. H. Wu, “Refinement of an inequality for the generalized logarithmic mean,” Chinese Quarterly Journal of Mathematics, vol. 23, no. 4, pp. 594–599, 2008.
7. C. P. Chen, “The monotonicity of the ratio between generalized logarithmic means,” Journal of Mathematical Analysis and Applications, vol. 345, no. 1, pp. 86–89, 2008.
8. F. Qi, S. X. Chen, and C. P. Chen, “Monotonicity of ratio between the generalized logarithmic means,” Mathematical Inequalities & Applications, vol. 10, no. 3, pp. 559–564, 2007.
9. G. Toader, “Seiffert type means,” Nieuw Archief voor Wiskunde (4), vol. 17, no. 3, pp. 379–382, 1999.
10. C. E. M. Pearce, J. Pečarić, and V. Šimić, “On weighted generalized logarithmic means,” Houston Journal of Mathematics, vol. 24, no. 3, pp. 459–465, 1998.
11. H. J. Seiffert, “Ungleichungen für einen bestimmten Mittelwert,” Nieuw Archief voor Wiskunde (4), vol. 13, no. 2, pp. 195–198, 1995.
12. C. E. M. Pearce and J. Pečarić, “Some theorems of Jensen type for generalized logarithmic means,” Revue Roumaine de Mathématiques Pures et Appliquées, vol. 40, no. 9-10, pp. 789–795, 1995.
13. K. B. Stolarsky, “The power and generalized logarithmic means,” The American Mathematical Monthly, vol. 87, no. 7, pp. 545–548, 1980.
14. J. Sándor, “On certain inequalities for means III,” Archiv der Mathematik, vol. 76, no. 1, pp. 34–40, 2001.
15. P. A. Hästö, “Optimal inequalities between Seiffert's mean and power means,” Mathematical Inequalities & Applications, vol. 7, no. 1, pp. 47–53, 2004.
16. 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.
17. S. Q. Gao, “Inequalities for the Seiffert's means in terms of the identric mean,” Journal of Mathematical Sciences: Advances and Applications, vol. 10, no. 1-2, pp. 23–31, 2011.
18. L. Matejíčka, “Proof of one optimal inequality for generalized logarithmic, arithmetic, and geometric means,” Journal of Inequalities and Applications, vol. 2010, Article ID 902432, 5 pages, 2010.
19. B. Y. Long and Y. M. Chu, “Optimal inequalities for generalized logarithmic, arithmetic, and geometric means,” Journal of Inequalities and Applications, vol. 2010, Article ID 806825, 10 pages, 2010.
20. Y. M. Chu, M. K. Wang, and G. D. Wang, “The optimal generalized logarithmic mean bounds for Seiffert's mean,” Acta Mathematica Scientia B, vol. 32, no. 4, pp. 1619–1626, 2012.
21. Y. L. Jiang, Y. M. Chu, and B. Y. Long, “An optimal double inequality between logarithmic and generalized logarithmic means,” Journal of Applied Analysis. In press.