JJ II

(1)

volume 7, issue 5, article 157, 2006.

Received 28 July, 2006;

accepted 25 August, 2006.

Communicated by:P.S. Bullen

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

A NOTE ON WEIGHTED IDENTRIC AND LOGARITHMIC MEANS

KENDALL C. RICHARDS AND HILARI C. TIEDEMAN

Department of Mathematics Southwestern University Georgetown, Texas, 78627 EMail:richards@southwestern.edu

c

2000Victoria University ISSN (electronic): 1443-5756 202-06

(2)

A Note on Weighted Identric and Logarithmic Means

Kendall C. Richards and Hilari C. Tiedeman

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of11

Abstract

Recently obtained inequalities [12] between the Gaussian hypergeometric function and the power mean are applied to establish new sharp inequalities involving the weighted identric, logartithmic, and power means.

2000 Mathematics Subject Classification:26D07, 26D15, 33C05.

Key words: Identric mean, Logarithmic mean, Hypergeometric function.

1. Introduction

Forx, y >0, the weighted power mean of orderλis given by M_λ(ω;x, y)≡

(1−ω)x^λ+ω y^λ¹_λ

with ω ∈ (0,1) and M₀(ω;x, y) ≡ limλ→0M_λ(ω;x, y) = x^1−ωy^ω. Since λ 7→ Mλ is increasing, it follows that

G(x, y)≤ M_λ 1

2;x, y

≤ A(x, y), for0≤λ≤1, whereG(x, y)≡ M₀ ¹₂;x, y

andA(x, y)≡ M₁ ¹₂;x, y

are the well-known geometric and arithmetic means, respectively (e.g., see [4, p. 203]). Thus, M_λ provides a refinement of the classical inequality G ≤ A. It is natural to seek other bivariate means that separate G and A. Two such means are the logarithmic mean and the identric mean. For distinctx, y > 0, the logarithmic meanLis given by

L(x, y)≡ x−y ln(x)−ln(y), andL(x, x)≡x. The integral representation

(1.1) L(1,1−r) = Z 1

0

(1−rt)⁻¹dt ⁻¹

, r <1 is due to Carlson [6]. Similarly, the identric meanI is defined by

I(x, y)≡ 1 e

x^x y^y

_x−y¹ ,

(4)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of11

I(x, x)≡x, and has the integral representation (1.2) I(1,1−r) = exp

Z 1

0

ln(1−rt)dt

, r <1.

The inequality G ≤ L ≤ A was refined by Carlson [6] who showed that

L(x, y) ≤

M_1/2 ¹₂;x, y

. Lin [8] then sharpened this by provingL(x, y)≤ M_1/3 ¹₂;x, y . Shortly thereafter, Stolarsky [14] introduced the generalized logarithmic mean which has since come to bear his name. These and other efforts (e.g., [11, 15]) led to many interesting results, including the following well-known inequalities:

(1.3) G ≤ L ≤ M_1/3 ≤ M_2/3 ≤ I ≤ A,

where each is evaluated at (x, y), and the power means have equal weights ω = 1−ω = 1/2. It also should be noted that the indicated orders of the power means in (1.3), namely 1/3 and 2/3, are sharp. Following the work of Leach and Sholander [7], Páles [10] gave a complete ordering of the general Stolarsky mean which provides an elegant generalization of (1.3). (For a more complete discussion of inequalites involving means, see [4].)

(5)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of11

2. Main Results

Our main objective is to present a generalization of (1.3) using the weighted logarithmic and identric means. Moreover, sharp power mean bounds are pro- vided. This can be accomplished using the Gaussian hypergeometric function

2F₁which is given by

2F₁(α, β;γ;r)≡

∞

X

n=0

(α)_n(β)_n

(γ)_nn! rⁿ, |r|<1,

where (α)_n is the Pochhammer symbol defined by(α)₀ = 1, (α)₁ = α, and (α)_n+1 = (α)_n(α+n), for n ∈ N. For γ > β > 0, ₂F₁ has the following integral representation due to Euler (see [2]):

2F₁(α, β;γ;r) = Γ(γ) Γ(γ−β)Γ(β)

Z 1

0

t^β−1(1−t)^γ−β−1(1−rt)^−αdt, which, by continuation, extends the domain of 2F1 to all r < 1. HereΓ(z) ≡ R∞

0 t^z−1e^−tdtforz > 0;Γ(n) = (n−1)! forn ∈ N. Inequalities relating the Gaussian hypergeometric function to various means have been widely studied (see [1,2,3,5,12]). Of particular use here is the hypergeometric mean of order adiscussed by Carlson in [5] and defined by

H_a(ω;c;x, y)≡

Γ(c) Γ(c ω⁰)Γ(c ω)

Z 1

0

t^{c ω−1}(1−t)^{c ω}⁰⁻¹(x(1−t) +yt)^adt _a¹

=x·h

2F₁

−a, c ω;c; 1− y x

i¹_a

(6)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of11

with the parameterc >0and weightsω, ω⁰ >0satisfyingω+ω⁰ = 1. Clearly Ha(ω;c;ρx, ρy) = ρHa(ω;c;x, y)for ρ > 0, soHa is homogeneous. Euler’s integral representation and (1.1) together yield

H−1

1

2; 2; 1,1−r

=

Γ(2) Γ(1)²

Z 1

0

(1−rt)⁻¹dt ⁻¹

=L(1,1−r).

Multiplying by x, with r = 1 − y/x, and applying homogeneity yields H₋₁ ¹₂; 2;x, y

= L(x, y). This naturally leads to the weighted logarithmic meanLˆwhich is defined as

L(ω;ˆ c;x, y)≡ H−1(ω;c;x, y).

Weighted logarithmic means have been discussed by Pittenger [11] and Neuman [9], among others (see also [4, p. 391-392]). Similarly, the weighted identric meanIˆis given by

I(ω;ˆ c;x, y)≡ H₀(ω;c;x, y)≡lim

a→0H_a(ω;c;x, y)

= exp

Γ(c) Γ(c ω⁰)Γ(c ω)

Z 1

0

t^{c ω−1}(1−t)^{c ω}⁰⁻¹ln[x(1−t) +yt]dt

(see [5], [13]). Thus,Iˆ ¹₂; 2;x, y

=I(x, y).

The following theorem establishes inequalities between the power means and the weighted identric and logarithmic means.

(7)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of11

Theorem 2.1. Supposex > y >0andc≥1.

If0< ω≤1/2, then the weighted identric meanIˆsatisfies

(2.1) M ^c

c+1(ω;x, y)≤I(ω;ˆ c;x, y).

If1/2≤ω <1andc≤3, then the weighted logarithmic meanLˆsatisfies (2.2) L(ω;ˆ c;x, y)≤ M^c−1

c+1 (ω;x, y).

Moreover, the power mean ordersc/(c+ 1)and(c−1)/(c+ 1)are sharp.

A key step in the proof will be an application of the following recently obtained result:

Proposition 2.2. [12] Suppose1≥aandc > b > 0. Ifc≥max{1−2a,2b}, then

(2.3) M_λ b

c; 1,1−r

≤[₂F₁(−a, b;c;r)]^a¹ for allr ∈ (0,1),

if and only if λ ≤ (a +c)/(1 + c). If −a ≤ c ≤ min{1−2a,2b}, then the inequality in (2.3) reverses if and only ifλ≥(a+c)/(1 +c).

Proof of Theorem2.1. Suppose x > y > 0, c ≥ 1, ω ∈ (0,1) and define b ≡ c ω withr ≡ 1−y/x ∈ (0,1). Ifω ≤ 1/2anda ∈ (0,1), it follows that c≥max{1−2a,2b}. Hence the previous proposition implies

(2.4) M^a+c

1+c (ω; 1,1−r)≤[₂F₁(−a, b;c;r)]¹^a.

(8)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of11

Taking the limit of both sides of (2.4) asa→0⁺yields

(2.5) M ^c

c+1 (ω; 1,1−r)≤ H₀(ω;c; 1,1−r).

Now supposeω≥1/2andc≤3. Thenc≤2band−a= 1≤c≤3 = 1−2a fora=−1. Thus

(2.6) H−1(ω;c; 1,1−r) = [₂F₁(1, b;c;r)]⁻¹ ≤ M^c−1

c+1 (ω; 1,1−r), again by the above proposition. Multiplying both sides of the inequalities in (2.5) and (2.6) byxand applying homogeneity yields the desired results.

In the case thatω = 1/2, we have

Corollary 2.3. Ifx, y >0,1≤c≤3, andω= 1/2then (2.7) H₋₂ ≤ H₋₁ ≤ M^c−1

c+1 ≤ M ^c

c+1 ≤ H₀ ≤ H₁.

Moreover,(c−1)/(c+ 1)andc/(c+ 1)are sharp. Ifc= 2, then (2.7) reduces to (1.3).

Proof. Supposex > y > 0, 1 ≤ c ≤ 3, and ω = 1/2. Hence (2.2) and (2.1), together with the fact thatλ7→ M_λis increasing, imply

H−1

1

2;c;x, y

≤ M^c−1

c+1

1 2;x, y

≤ M ^c

c+1

1 2;x, y

≤ H₀ 1

2;c;x, y

.

(9)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of11

that H_a is symmetric in(x, y)whenω = 1/2. This symmetry can be seen by making the substitutions = 1−tin Euler’s integral representation:

H_a 1

2;c;x, y a

= Γ(c) Γ(c/2)²

Z 1

0

[t(1−t)]^c/2−1((1−t)x+ty)^adt

= Γ(c) Γ(c/2)²

Z 1

0

[(1−s)s]^c/2−1(sx+ (1−s)y)^ads

=H_a 1

2;c;y, x a

. Finally, note thatM^c−1

c+1 =M¹

3 andM ^c

c+1 =M²

3 whenc= 2. Also, H−2

1

2; 2; 1,1−r −2

=2F1(2,1; 2;r) = 1 1−r, for |r| < 1. It follows that H−2 1

2; 2;x, y

= (xy)¹² = G(x, y). Likewise, H₁ ¹₂; 2;x, y

=x(1−(1−y/x)/2) =A(x, y).Thus (2.7) implies (1.3).

(10)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of11

References

[1] H. ALZER AND S.-L. QIU, Monotonicity theorems and inequalities for the complete elliptic integrals, J. Comp. Appl. Math., 172 (2004), 289–

312.

[2] G.E. ANDREWS, R. ASKEY, AND R. ROY, Special Functions, Cam- bridge University Press, Cambridge, 1999.

[3] R.W. BARNARD, K. PEARCE, AND K.C. RICHARDS, An inequality involving the generalized hypergeometric function and the arc length of an ellipse, SIAM J. Math. Anal., 31 (2000), 693–699.

[4] P.S. BULLEN Handbook of Means and Their Inequalities, Kluwer Aca- demic Publishers, Dordrecht, 2003.

[5] B.C. CARLSON, Some inequalities for hypergeometric functions, Proc.

Amer. Math. Soc., 16 (1966), 32–39.

[6] B.C. CARLSON, The logarithmic mean, Amer. Math. Monthly, 79 (1972), 615–618.

[7] E.B. LEACHANDM.C. SHOLANDER, Multi-variate extended mean val- ues, J. Math. Anal. Appl., 104 (1984), 390–407.

[8] T.P. LIN, The power and the logarithmic mean, Amer. Math. Monthly, 81 (1974), 271–281.

[9] E. NEUMANN, The weighted logarithmic mean, J. Math. Anal. Appl.,

(11)

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of11

[10] Z. PÁLES, Inequalities for differences of powers, J. Math. Anal. Appl., 131 (1988), 271–281.

[11] A.O. PITTENGER, The logarithmic mean in n variables, Amer. Math.

Monthly, 92 (1985), 99–104.

[12] K.C. RICHARDS, Sharp power mean bounds for the Gaussian hypergeo- metric function, J. Math. Anal. Appl., 308 (2005), 303–313.

[13] J. SÁNDOR AND T. TRIF, A new refinement of the Ky Fan inequality, Math. Ineq. Appl., 2 (1999) 529–533.

[14] K. STOLARSKY, Generalizations of the logarithmic means, Math. Mag., 48 (1975), 87–92.

[15] K. STOLARSKY, The power and generalized logarithmic means, Amer.

Math. Monthly, 87 (1980), 545–548.