Chinese Journal of Mathematics

Volume 2013 (2013), Article ID 852516, 7 pages

http://dx.doi.org/10.1155/2013/852516

## Optimal Lehmer Mean Bounds for the Combinations of Identric and Logarithmic Means

^{1}College of Nursing, Huzhou Teachers College, Huzhou 313000, China^{2}School of Mathematics and Computation Science, Hunan City University, Yiyang 413000, China

Received 11 July 2013; Accepted 5 August 2013

Academic Editors: M. Coppens, Y. Miao, and P.-y. Nie

Copyright © 2013 Xu-Hui Shen 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

For any , we answer the questions: what are the greatest values and and the least values and , such that the inequalities and hold for all with ? Here, , , and denote the identric, logarithmic, and th Lehmer means of two positive numbers and , respectively.

#### 1. Introduction

For with , the logarithmic mean and identric mean are defined by respectively. In the recent past, both mean values have been the subject of intensive research. In particular, many remarkable inequalities for and can be found in the literature [1–19]. In [14, 17, 20], inequalities between , , and the classical arithmetic-geometric mean of Gauss are proved. The ratio of identric means leads to the weighted geometric mean which has been investigated in [11, 13, 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 , which appears in a heat conduction problem. A representation of as an infinite product and an iterative algorithm for computing the logarithmic mean as the common limit of two sequences of special geometric and arithmetic means are given in [5]. 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 .

For , the power mean and Lehmer mean of order of two positive numbers and with are defined by

It is well known that and are strictly increasing with respect to for fixed with . The main properties for and are given in [27–32].

Let , , and be the arithmetic, geometric, and harmonic means of two positive numbers and , respectively. Then it is well known that for all with .

The following sharp bounds for , , , and in terms of power means are proved in [2–4, 6, 8, 9, 33]: for all with .

Alzer and Qiu [19] proved that for all with if and only if , , and .

The following sharp upper and lower Lehmer mean bounds for , , , and are presented in [34]: for all with .

The purpose of this paper is to present the best possible upper and lower Lehmer mean bounds of the product and the sum for any and all with .

#### 2. Lemmas

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

Lemma 1. *If , then the following statements are true:*(1)*;*(2)*;*(3)*;*(4)*;*(5)*;*(6)*.*

*Proof. *(1) We clearly see that

(2) Let
Then simple computations lead to

Therefore, Lemma 1(2) follows from (14) and (15).

(3) Let
Then simple computations yield

Therefore, Lemma 1(3) follows from (16) and (17).

(4) Let
Then simple computations lead to

Therefore, Lemma 1(4) follows from (18) and (19).

(5) Let
Then simple computations yield

It follows from (28) and the discriminant of the quadratic function that

Therefore, Lemma 1(5) follows from (20)–(27) and (29).

(6) Let
Then we have

Therefore, Lemma 1(6) follows from (30) and (31).

Lemma 2. *Suppose that . If , then for .*

*Proof. *Let , , , and /; then elaborated computations lead to

It follows from Lemma 1(6) and (49) that
for .

From Lemma 1(1)–(5) and (38)–(48), we clearly see that

Therefore, Lemma 2 follows from and (32)–(36) together with (50) and (51).

Lemma 3. *Inequality holds for any and all with .*

*Proof. *Without loss of generality, we assume that . Let and ; then , , and from (1) and (4) we have
Let
Then simple computations lead to
where is defined as in Lemma 2.

From (54) and (55) together with Lemma 2, we clearly see that
for .

Therefore, Lemma 3 follows from (52) and (53) together with (56).

#### 3. Main Results

Theorem 4. *Inequality holds for any and all with , and and are the best possible lower and upper Lehmer mean bounds for the product .*

*Proof. *Inequality follows directly from (10) and (11).

For the other inequality, we note that

Therefore, follows from (7) and (10) together with Lemma 3 and (57).

Next, we prove that and are the best possible lower and upper Lehmer mean bounds for the product .

For any and , from (1) and (2) we have
Letting and making use of Taylor expansion, one has

Equations (58) and (59) imply that for any , there exist and , such that for and for .

Theorem 5. *Inequality holds for any and all with , and and are the best possible lower and upper Lehmer mean bounds for the sum .*

*Proof. *Inequality follows directly from (10) and (11), and inequality follows from Theorem 4.

Next, we prove that and are the best possible lower and upper Lehmer mean bounds for the sum .

For any and , from (1) and (2), we have
Letting and making use of Taylor expansion, one has

Equations (60)-(62) imply that for any , there exist and , such that for and for .

#### Acknowledgments

This research was supported by the Natural Science Foundation of China under Grants 11071069 and 11171307 and the Natural Science Foundation of Zhejiang Province under Grants LY13H070004 and LY13A010004.

#### References

- G. Allasia, C. Giordano, and J. Pečarić, “On the arithmetic and logarithmic means with applications to Stirling's formula,”
*Atti del Seminario Matematico e Fisico dell'Università di Modena*, vol. 47, no. 2, pp. 441–445, 1999. View at Google Scholar - H. Alzer, “Ungleichungen fur ${\left(e/a\right)}^{a}$${\left(b/e\right)}^{b}$,”
*Elemente der Mathematik*, vol. 40, pp. 120–123, 1985. View at Google Scholar - H. Alzer, “Ungleichungen für Mittelwerte,”
*Archiv der Mathematik*, vol. 47, no. 5, pp. 422–426, 1986. View at Publisher · View at Google Scholar · View at Scopus - F. Burk, “The geometric, logarithmic and arithmetic mean inequality,”
*The American Mathematical Monthly*, vol. 94, no. 6, pp. 527–528, 1987. View at Publisher · View at Google Scholar - B. C. Carlson, “The logarithmic mean,”
*The American Mathematical Monthly*, vol. 79, no. 6, pp. 615–618, 1972. View at Publisher · View at Google Scholar - T. P. Lin, “The power mean and the logarithmic mesn,”
*The American Mathematical Monthly*, vol. 81, no. 8, pp. 879–883, 1974. View at Publisher · View at Google Scholar - J. Maloney, J. Heidel, and J. Pečarić, “A reverse Hölder type inequality for the logarithmic mean and generalizations,”
*Journal of the Australian Mathematical Society Series B-Applied Mathematics*, vol. 41, no. 3, pp. 401–409, 2000. View at Google Scholar · View at Scopus - A. O. Pittenger, “Inequalities between arithmetic and logarithmic means,”
*Univerzitet u Beogradu. Publikacije Elektrotehniv ckog Fakulteta. Serija Matematika*, vol. 678–715, pp. 15–18, 1980. View at Google Scholar - A. O. Pittenger, “The symmetric, logarithmic and power means,”
*Univerzitet u Beogradu. Publikacije Elektrotehniv ckog Fakulteta. Serija Matematika*, vol. 678–715, pp. 19–23, 1980. View at Google Scholar - J. Sandor, “Inequalities for means,” in
*Proceedings of the 3rd Symposium of Mathematics and its Applications (Timisoara, 1989)*, pp. 87–90, Romanian Academy, Timisoara, Romania, 1990. - J. Sándor, “On the identric and logarithmic means,”
*Aequationes Mathematicae*, vol. 40, no. 1, pp. 261–270, 1990. View at Publisher · View at Google Scholar · View at Scopus - 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 Scopus - J. Sandor, “On certain identities for means,”
*Studia Universitatis Babes-Bolyai Mathematica*, vol. 38, no. 4, pp. 7–14, 1993. View at Google Scholar - J. Sandor, “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 Scopus - J. Sandor, “On refinements of certain inequalities for means,”
*Archiv der Mathematik*, vol. 31, no. 4, pp. 279–282, 1995. View at Google Scholar - J. Sandor, “Two inequalities for means,”
*International Journal of Mathematics and Mathematical Sciences*, vol. 18, no. 3, pp. 621–623, 1995. View at Google Scholar - J. Sandor, “On certain inequalities for means II,”
*Journal of Mathematical Analysis and Applications*, vol. 199, no. 2, pp. 629–635, 1996. View at Google Scholar - 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 Scopus - H. Alzer and S.-L. Qiu, “Inequalites for means in two arivariables,”
*Archiv der Mathematik*, vol. 80, no. 2, pp. 201–215, 2003. View at Google Scholar - 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 Scopus - J. Sandor and I. Rasa, “Inequalities for certain means in two arguments,”
*Nieuw Archief voor Wiskunde*, vol. 15, no. 41, pp. 51–55, 1997. View at Google Scholar - P. Kahlig and J. Matkowski, “Functional equations involving the logarithmic mean,”
*ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik*, vol. 76, no. 7, pp. 385–390, 1996. View at Google Scholar · View at Scopus - A. O. Pittenger, “The logarithmic mean in n variables,”
*American Mathematical Monthly*, vol. 92, no. 2, pp. 99–104, 1985. View at Google Scholar - G. Polya and G. Szego,
*Isoperimetric Inequalities in Mathematical Physics*, Princeton University Press, Princeton, NJ, USA, 1951. - B. C. Carlson, “Algorithms involving aritmetic and geometric means,”
*American Mathematical Monthly*, vol. 78, pp. 496–505, 1971. View at Google Scholar - 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 Google Scholar - P. S. Bullen, D. S. Mitrinovic, and P. M. Vasic,
*Means and Their Inequalities*, D. Reidel, Dordrecht, The Netherlands, 1988. - K. B. Stolarsky, “Hölder means, Lehmer means, and ${x}^{-1}$ log cosh
*x*,”*Journal of Mathematical Analysis and Applications*, vol. 202, no. 3, pp. 810–818, 1996. View at Publisher · View at Google Scholar · View at Scopus - Z. Liu, “Remark on inequalities between Hölder and Lehmer means,”
*Journal of Mathematical Analysis and Applications*, vol. 247, no. 1, pp. 309–313, 2000. View at Google Scholar - E. F. Beckenbach, “A class of mean value functions,”
*American Mathematical Monthly*, vol. 57, pp. 1–6, 1950. View at Google Scholar - E. F. Beckenbach and R. Bellman,
*Inequalities*, Springer, New York, NY, USA, 1965. - Z. Pales, “Inequalites for sums of powers,”
*Journal of Mathematical Analysis and Applications*, vol. 131, no. 1, pp. 265–270, 1988. View at Google Scholar - K. B. Stolarsky, “The power and generalized logarithmic means,”
*American Mathematical Monthly*, vol. 87, no. 7, pp. 545–548, 1980. View at Google Scholar - H. Alzer, “Bestmogliche Abschatzungen fur spezielle Mittelwerte,”
*Prirodoslovno-Matematički Fakultet Sveučilišta u Zagrebu*, vol. 23, no. 1, pp. 331–346, 1993. View at Google Scholar