Journal of Applied Mathematics

VolumeΒ 2012, Article IDΒ 471096, 14 pages

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

## Inequalities between Power Means and Convex Combinations of the Harmonic and Logarithmic Means

^{1}School of Distance Education, Huzhou Broadcast and TV University, Huzhou 313000, China^{2}Department of Mathematics, Hangzhou Normal University, Hangzhou 310036, China

Received 10 October 2011; Accepted 1 December 2011

Academic Editor: Md. SazzadΒ Chowdhury

Copyright Β© 2012 Wei-Mao Qian and Zhong-Hua Shen. 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 prove that for and all with if and only if and if and only if , and the parameter is the best possible in either case. Here, , , and
and are the harmonic, logarithmic, and *p*th power means of *a* and *b*, respectively.

#### 1. Introduction

The classical logarithmic mean of two positive real numbers and with is defined by

In the recent past, the bivariate means have been the subject of intensive research. In particular, many remarkable inequalities for can be found in the literature [1β21]. It might be surprising that the logarithmic mean has applications in physics, economics, and even in meteorology [22β24]. In [22] the authors study a variant of Jensen's functional equation involving the logarithmic mean, which appears in a heat conduction problem. A representation of as an infinite product and an iterative algorithm for computing it as the common limit of two sequences of special geometric and arithmetic means are given in [4]. In [25, 26] it is shown that can be expressed in terms of Gauss hypergeometric function . And, in [26] the authors prove that the reciprocal of the logarithmic mean is strictly totally positive; that is, every determinant with elements , where and , is positive for all .

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

In [4], Carlson proves that the double inequality holds for all with .

In [5], Lin finds the best possible upper and lower power bounds for the logarithmic mean as follows: for all with .

In [9], SΓ‘ndor establishes that for all with .

In [27], Alzer gives the optimal Lehmer mean bounds for , , and as follows: for all with .

The following sharp bounds for and in terms of power mean are presented in [28]: for all with .

In [29, 30], the authors obtain the sharp bounds for the products and and the sum in terms of power mean as follows: for any and all with .

In [31], Zhu presents some bounds for in terms of and and in terms of and .

In [32], Chu et al. prove that the double inequality holds for all with if and only if and .

It is the aim of this paper to give the optimal power mean bounds for the convex combination of harmonic and logarithmic means. Our main result is the following theorem.

Theorem 1.1. *For and all with , one has*(1)* if and only if ;*(2)* if and only if .**In particular, the parameter is the best possible in either case.*

#### 2. Lemmas

In order to establish our main result we need to establish four lemmas, which we present in this section.

Lemma 2.1. *Let , and . Then for .*

*Proof. *Simple computations lead to
where
for .

Inequality (2.6) implies that is strictly decreasing in . Then (2.4) and (2.5) lead to the conclusion that there exists such that for and for . It follows from (2.3) that is strictly increasing in and strictly decreasing in .

Therefore, Lemma 2.1 follows from (2.1) and (2.2) together with the piecewise monotonicity of .

Lemma 2.2. *Let , and . Then for .*

*Proof. *Let
Then simple computations lead to
where
for .

From inequalities (2.13) we clearly see that for . Then (2.12) leads to the conclusion that is strictly increasing in .

Therefore, Lemma 2.2 follows from (2.7)β(2.11) and the monotonicity of .

Lemma 2.3. *Let , and . Then the following two statements are true:*(1)*if , then for ;*(2)*if , then for .*

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

(1) If , then from (2.19) we note that
where and are defined as in Lemmas 2.1 and 2.2, respectively.

Lemmas 2.1 and 2.2 together with (2.20) imply that is strictly increasing in . Therefore, for follows from (2.14)β(2.18) and the monotonicity of .

(2) If , then from (2.19) we have

Inequalities (2.30) imply that is strictly decreasing in . Then (2.29) leads to the conclusion that is strictly decreasing in .

It follows from (2.28) and the monotonicity of that is strictly decreasing in . Then inequalities (2.25)β(2.27) lead to the conclusion that for . Thus, is strictly decreasing in .

From inequalities (2.22)β(2.24) and the monotonicity of we clearly see that for . Thus, is strictly decreasing in .

It follows from (2.17) and (2.18) and inequality (2.21) together with the monotonicity of that for , which implies that is strictly decreasing in .

Therefore, for follows from (2.14)β(2.16) and the monotonicity of .

Lemma 2.4. * for .*

*Proof. *Let
Then simple computations lead to
where ,
where ,
for .

Therefore, Lemma 2.4 follows from (2.31)β(2.36).

#### 3. Proof of Theorem 1.1

*Proof of Theorem 1.1. *For all with , we first prove that
for ,
for .

Without loss of generality, we assume that and . We divide the proof into two cases.*Case 1 (). *Let . Then we clearly see that
Therefore, inequality (3.1) follows from (3.3) and Lemma 2.4.*Case 2 (). *Then we have

Let
Then simple computations lead to
where is defined as in Lemma 2.3.

If , then inequality (3.1) follows from (3.4)β(3.6) and Lemma 2.3(1). If , then inequality (3.2) follows from (3.4)β(3.6) and Lemma 2.3(2).

Next, we prove that the parameter in inequalities (3.1) and (3.2) is the best possible.

For any , , and , one has
where .

Letting and making use of Taylor expansion, we get

If and , then (3.7) and (3.8) imply that there exists such that for . If and , then (3.7) and (3.8) imply that there exists such that for .

Finally, we prove that there exist with and such that and for any .

If , then from the expression of in (2.21) we clearly see that , which leads to the conclusion that there exists such that
for .

From (2.14)β(2.18) and inequality (3.9) we know that
for . Equations (3.4)β(3.6) and inequality (3.10) lead to the conclusion that for all .

On the other hand, simple computations lead to

Equation (3.11) implies that there exists such that for all .

#### Acknowledgment

This work was supported by the Natural Science Foundation of Zhejiang Broadcast and TV University (Grant no. XKT-09G21).

#### References

- Y.-M. Chu and W.-F. Xia, βTwo optimal double inequalities between power mean and logarithmic mean,β
*Computers & Mathematics with Applications*, vol. 60, no. 1, pp. 83β89, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y.-F. Qiu, M.-K. Wang, Y.-M. Chu, and G.-D. Wang, βTwo sharp inequalities for Lehmer mean, identric mean and logarithmic mean,β
*Journal of Mathematical Inequalities*, vol. 5, no. 3, pp. 301β306, 2011. View at Google Scholar Β· View at Zentralblatt MATH - Y.-M. Chu and B.-Y. Long, βBest possible inequalities between generalized logarithmic mean and classical means,β
*Abstract and Applied Analysis*, vol. 2010, Article ID 303286, 13 pages, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - B. C. Carlson, βThe logarithmic mean,β
*The American Mathematical Monthly*, vol. 79, pp. 615β618, 1972. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. P. Lin, βThe power mean and the logarithmic mean,β
*The American Mathematical Monthly*, vol. 81, pp. 879β883, 1974. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - A. O. Pittenger, βInequalities between arithmetic and logarithmic means,β
*Univerzitet u Beogradu. Publikacije ElektrotehniΔkog Fakulteta. Serija Matematika i Fizika*, no. 678β715, pp. 15β18, 1980. View at Google Scholar Β· View at Zentralblatt MATH - A. O. Pittenger, βThe symmetric, logarithmic and power means,β
*Univerzitet u Beogradu. Publikacije ElektrotehniΔkog Fakulteta. Serija Matematika i Fizika*, no. 678β715, pp. 19β23, 1980. View at Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor, βOn the identric and logarithmic means,β
*Aequationes Mathematicae*, vol. 40, no. 2-3, pp. 261β270, 1990. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor, βA note on some inequalities for means,β
*Archiv der Mathematik*, vol. 56, no. 5, pp. 471β473, 1991. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor, βOn certain identities for means,β
*Universitatis BabeΕ-Bolyai. Studia. Mathematica*, vol. 38, no. 4, pp. 7β14, 1993. View at Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor, βOn certain inequalities for means,β
*Journal of Mathematical Analysis and Applications*, vol. 189, no. 2, pp. 602β606, 1995. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor, βOn refinements of certain inequalities for means,β
*Archivum Mathematicum*, vol. 31, no. 4, pp. 279β282, 1995. View at Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor, βOn certain inequalities for means. II,β
*Journal of Mathematical Analysis and Applications*, vol. 199, no. 2, pp. 629β635, 1996. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor, βOn certain inequalities for means. III,β
*Archiv der Mathematik*, vol. 76, no. 1, pp. 34β40, 2001. View at Publisher Β· View at Google Scholar Β· 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 Google Scholar Β· View at Zentralblatt MATH - J. SΓ‘ndor and T. Trif, βSome new inequalities for means of two arguments,β
*International Journal of Mathematics and Mathematical Sciences*, vol. 25, no. 8, pp. 525β532, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y.-M. Chu and W.-F. Xia, βInequalities for generalized logarithmic means,β
*Journal of Inequalities and Applications*, vol. 2009, Article ID 763252, 7 pages, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - 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. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - K. B. Stolarsky, βGeneralizations of the logarithmic mean,β
*Mathematics Magazine*, vol. 48, no. 2, pp. 87β92, 1975. View at Google Scholar Β· View at Zentralblatt MATH - K. B. Stolarsky, βThe power and generalized logarithmic means,β
*The American Mathematical Monthly*, vol. 87, no. 7, pp. 545β548, 1980. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - 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. Kahlig and J. Matkowski, βFunctional equations involving the logarithmic mean,β
*Zeitschrift fΓΌr Angewandte Mathematik und Mechanik*, vol. 76, no. 7, pp. 385β390, 1996. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - A. O. Pittenger, βThe logarithmic mean in
*n*variables,β*The American Mathematical Monthly*, vol. 92, no. 2, pp. 99β104, 1985. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - G. PΓ³lya and G. SzegΓΆ,
*Isoperimetric Inequalities in Mathematical Physics*, Princeton University Press, Princeton, NJ, USA, 1951. - 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 - B. C. Carlson and J. L. Gustafson, βTotal positivity of mean values and hypergeometric functions,β
*SIAM Journal on Mathematical Analysis*, vol. 14, no. 2, pp. 389β395, 1983. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - H. Alzer, βBestmΓΆgliche AbschΓ€tzungen fΓΌr spezielle Mittelwerte,β
*Zbornik Radova Prirodno-Matematichkog Fakulteta. Serija za Matematiku*, vol. 23, no. 1, pp. 331β346, 1993. View at Google Scholar Β· 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 - M.-Y. Shi, Y.-M. Chu, and Y.-P. Jiang, βOptimal inequalities among various means of two arguments,β
*Abstract and Applied Analysis*, vol. 2009, Article ID 694394, 10 pages, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - W.-F. Xia, Y.-M. Chu, and G.-D. Wang, βThe optimal upper and lower power mean bounds for a convex combination of the arithmetic and logarithmic means,β
*Abstract and Applied Analysis*, vol. 2010, Article ID 604804, 9 pages, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - L. Zhu, βNew inequalities for means in two variables,β
*Mathematical Inequalities & Applications*, vol. 11, no. 2, pp. 229β235, 2008. View at Google Scholar Β· View at Zentralblatt MATH - 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 Zentralblatt MATH