INVARIANCE IN THE CLASS OF WEIGHTED LEHMER MEANS

(1)

Weighted Lehmer Means Iulia Costin and Gheorghe Toader vol. 9, iss. 2, art. 54, 2008

Title Page

Contents

JJ II

J I

Page1of 16 Go Back Full Screen

Close

INVARIANCE IN THE CLASS OF WEIGHTED LEHMER MEANS

IULIA COSTIN GHEORGHE TOADER

Department of Computer Science Department of Mathematics Technical University of Cluj, Technical University of Cluj,

Romania Romania

EMail:iulia.costin@cs.utcluj.ro EMail:gheorghe.toader@math.utcluj.ro

Received: 15 July, 2007

Accepted: 26 March, 2008

Communicated by: L. Losonczi 2000 AMS Sub. Class.: 26E60.

Key words: Lehmer means, Generalized means, Invariant means, Complementary means, Double sequences.

Abstract: We study invariance in the class of weighted Lehmer means. Thus we look at triples of weighted Lehmer means with the property that one is invariant with respect to the other two.

(2)

Title Page Contents

JJ II

J I

Close

1. Means

The abstract definitions of means are usually given as:

Definition 1.1. A mean is a functionM :R²+ →R⁺,with the property min(a, b)≤M(a, b)≤max(a, b), ∀a, b >0.

A meanM is called symmetric if

M(a, b) =M(b, a), ∀a, b >0.

In [12] the following definition was given:

Definition 1.2. The functionM is called a generalized mean if it has the property M(a, a) = a, ∀a >0.

A generalized mean is called in [10] a pre-mean, which seems more adequate.

Of course, each mean is reflexive, thus it is a generalized mean.

In what follows, we use the weighted Lehmer means C_p;λ defined by C_p;λ(a, b) = λ·a^p+ (1−λ)·b^p

λ·a^p−1+ (1−λ)·b^p−1,

with λ∈[0,1] fixed. Important special cases are the weighted arithmetic mean and the weighted harmonic mean, given respectively by

A_λ =C_1;λ and H_λ =C_0;λ.

Forλ = 1/2we get the symmetric means denoted by C_p,A andH.Note that the geometric mean can also be obtained, but the weighted geometric mean cannot:

C_1/2 =G but C_1/2;λ 6=Gλ for λ6= 1/2.

(4)

Title Page Contents

JJ II

J I

Close

Forλ= 0andλ = 1we have

C_p;0 = Π₂ respectively C_p;1= Π₁, ∀p∈R,

whereΠ₁ andΠ₂ are the first and the second projections, defined respectively by Π₁(a, b) =a, Π₂(a, b) =b, ∀a, b≥0.

Ifλ /∈[0,1]the functionsC_p;λ are generalized means only.

(5)

Title Page Contents

JJ II

J I

Close

2. Invariant Means

Given three meansP, QandR, their compound

P(Q, R)(a, b) =P(Q(a, b), R(a, b)), ∀a, b >0, defines also a meanP(Q, R).

Definition 2.1. A meanP is called(Q, R)−invariant if it verifies P(Q, R) =P.

Remark 1. Using the property of(A,G)−invariance of the mean

M(a, b) = π 2 ·

"

Z π/2

0

√ dθ

a²cos²θ+b²sin²θ

#⁻¹ ,

Gauss showed that this mean gives the limit of the arithmetic-geometric double sequence. As was proved in [1], this property is generally valid: the meanP which is (Q, R)−invariant gives the limit of the double sequence of Gauss type defined with the meansQandR :

a_n+1 =Q(a_n, b_n), b_n+1 =R(a_n, b_n), n ≥0.

Moreover, the validity of this property for generalized means is proved in [14] (if the limitLexists andP(L, L)is defined).

Remark 2. In this paper, we are interested in the problem of invariance in a fam- ilyMof means. It consists of determining all the triples of means(P, Q, R)from Msuch thatP is(Q, R)−invariant. This problem was considered for the first time for the class of quasi-arithmetic means by Sutô in [11] and many years later by J.

(6)

Title Page Contents

JJ II

J I

Close

Matkowski in [8]. It was called the problem of Matkowski-Sutô and was completely solved in [4]. The invariance problem was also solved for the class of weighted quasi-arithmetic means in [6], for the class of Greek means in [13] and for the class of Gini-Beckenbach means in [9]. In this paper we are interested in the problem of invariance in the class of weighted Lehmer means. We use the method of series expansion of means, as in [13]. The other papers mentioned before have used functional equations methods.

(7)

Title Page Contents

JJ II

J I

Close

3. Series Expansion of Means

For the study of some problems related to a meanM,in [7] the power series expan- sions of the normalized functionM(1,1−x) is used. For some means it is very difficult, or even impossible to determine all the coefficients. In these cases, a recurrence relation for the coefficients is very useful. Such a formula is presented in [5]

as Euler’s formula.

Theorem 3.1. If the functionf has the Taylor series f(x) =

∞

X

n−0

a_n·xⁿ, pis a real number and

[f(x)]^p =

∞

X

n−0

b_n·xⁿ, then we have the recurrence relation

n

X

k=0

[k(p+ 1)−n]·a_k·bn−k= 0, n ≥0.

Using it in [3], the series expansion of the weighted Lehmer mean is given by:

C_p;λ(1,1−x)

= 1−(1−λ)x+λ(1−λ) (p−1)x²−λ(1−λ) (p−1) [2λ(p−1)−p]x³ 2 +λ(1−λ) (p−1)

6λ²(p−1)²−6λp(p−1) +p(p+ 1)

·x⁴

6 +· · · .

(8)

Title Page Contents

JJ II

J I

Page8of 16 Go Back Full Screen

Close

4. C

_p,λ

−Complementary of Means

If the mean P is (Q, R)−invariant, the mean R is called complementary to Q with respect toP (orP−complementary toQ). If a given mean Qhas a unique P−complementary meanR, we denote it byR=Q^P.

Some obvious general examples are given in the following Proposition 4.1. For every meanM we have

M^M =M, Π^M₁ = Π₂, M^Π² = Π₂. IfM is a symmetric mean we have also

Π^M₂ = Π₁.

We shall call these results trivial cases of complementariness.

Denote theC_p;λ−complementary of the meanM byM^C(p;λ), or byM^C(p)ifλ = 1/2. Using Euler’s formula, we can establish the following.

Theorem 4.2. If the meanM has the series expansion M(1,1−x) = 1 +

∞

X

n=0

a_nxⁿ,

then the first terms of the series expansion ofM^C(p;λ), forλ6= 0,1, are M^C(p;λ)(1,1−x)

= 1− 1−λ+λa₁

1−λ x− λ

(1−λ)² [(p−1)a₁ (a₁+ 2 (1−λ)) + a₂(1−λ)]·x²

(9)

Title Page Contents

JJ II

J I

Page9of 16 Go Back Full Screen

Close

− λ

2 (1−λ)³

a₁(p−1) 2λ³p−λ²(p+ 2)−4λ(p−1) + 3p−2 +a²₁(p−1) 2λ²(1−3p) +λ(3p+ 2) + 3p−4

+a³₁(p−1) (2λp+p−2) + 4a₂(p−1) (1−λ)²+ 4a₁a₂(p−1) (1−λ) +2a₃(1−λ)²

·x³+· · · . Corollary 4.3. The first terms of the series expansion ofCr;µ^C(p;λ)are

C_r;µ^C(p;λ)(1,1−x)

= 1− 1−2λ+λµ 1−µ x +λ(1−µ)

(1−λ)²

p(1−2λ+µ) +µr(λ−1)−1 + 2λ−λµ x² +λ(1−µ)

(1−λ)³

p² 2λ³+ 2λµ²−6λ²µ−λµ+ 5λ² +µ²+µ−5λ+ 1

+ 4pr λµ²+λµ−λ²µ −µ² +r² 2λµ−4λµ²−λ²µ−µ+ 2µ²

+p 2λ²µ²+ 12λ²µ−6λµ²−2λ³−9λ²+µ²−λµ+ 7λ−µ−1 +r 5λ²µ−4λ²µ²+ 4λµ²−6λµ+µ

+ 2λ²µ²+ 4λ²−6λ²µ+2λµ−2λ]x³+· · · . Using them we can prove the following main result.

Corollary 4.4. We have

C_p;λ(C_r;µ,C_u;ν) = C_p;λ if we are in one of the following non-trivial cases:

(10)

Title Page Contents

JJ II

J I

Close

i) C1;λ(C1;(2λ−1)/λ,Cu;1) =C1;λ; ii) C_0;λ(C0;(2λ−1)/λ,C_u;1) =C_0;λ; iii) C₀(C_r;µ,C−r;1−µ) =C₀; iv) C_1/2(C_r;µ,C1−r;1−µ) =C_1/2; v) C₁(C_r;µ,C2−r;1−µ) = C₁;

vi) C_0;λ(C0;(3λ−1)/2λ,C_0;1/2) =C_0;λ; vii) C_1;λ(C1;(3λ−1)/2λ,C₁) = C_1;λ; viii) C_0,1/3(C_r;0,C₀) =C_0;1/3; ix) C_1,1/3(C_r;0,C₁) =C_1;1/3; x) C_2,1/4(C1;−1/2,C₁) =C_2,1/4; xi) C_−1,1/4(C_0;−1/2,C₀) =C_−1,1/4; xii) C_0;λ(C₀,C0;λ/(2−2λ)) =C_0;λ; xiii) C_1;λ(C₁,C_{1;λ/(2−2λ)}) =C_1;λ; xiv) C−1;3/4(C0,C_0;3/2) =C−1;3/4; xv) C_2;3/4(C₁,C_1;3/2) =C_2;3/4.

Proof. We consider the equivalent conditionCr;µ^C(p;λ) =C_u;ν which gives C_r;µ^C(p;λ)(1,1−x) =C_u;ν(1,1−x).

Equating the coefficients ofx^k, k = 1,2, . . . ,5, we get the following table of solutions with corresponding conclusions:

(11)

Title Page Contents

JJ II

J I

Close

Case λ µ ν p r u Cr;µ^C(p;λ) =C_u;ν Case

1 0 µ 0 p r u Cr;µ^Π(2)= Π₂ Trivial

2 λ 1 0 p r u Π^C(p;λ)₁ = Π2 Trivial

3 ¹₂ 0 1 p r u Π^C(p)₂ = Π₁ Trivial

4 λ ^2λ−1_λ 1 1 1 u A^A(λ)2λ−1

λ

= Π1 i)

5 λ ^2λ−1_λ 1 0 0 u H^H(λ)2λ−1

λ

= Π₁ ii) 6 ¹₂ µ 1−µ 0 r −r C_r;µ^H =C−r;1−µ iii)

7 ¹₂ µ 1−µ ¹₂ r 1−r C_r;µ^G =C1−r;1−µ iv)

8 ¹₂ µ 1−µ 1 r 2−r C_r;µ^A =C_2−r;1−µ v)

9 ¹₂ ¹₂ ¹₂ p p p Cp^C(p) =C_p Trivial

10 λ ^3λ−1_2λ ¹₂ 0 0 0 H^H(λ)3λ−1 2λ

=H vi)

11 λ ^3λ−1_2λ ¹₂ 1 1 1 A^A(λ)3λ−1 2λ

=A vii) 12 ¹₃ 0 ¹₂ 0 r 0 Π^H(1/3)₂ =H viii) 13 ¹₃ 0 ¹₂ 1 r 1 Π^A(1/3)₂ =A ix) 14 ¹₄ −¹₂ ¹₂ 2 1 1 A^C(2;1/4)_−1/2 =A x) 15 ¹₄ -¹₂ ¹₂ −1 0 0 H^C(2;1/4)_−1/2 =H xi)

16 λ ¹₂ _2(1−λ)^λ 0 0 0 H^H(λ) =H ^λ

2(1−λ) xii)

17 λ ¹₂ _2(1−λ)^λ 1 1 1 A^A(λ)=A λ

2(1−λ) xiii)

18 ³₄ ¹₂ ³₂ −1 0 0 H^C(−1;3/4) =H_3/2 xiv) 19 ³₄ ¹₂ ³₂ 2 1 1 A^C(2;3/4) =A_3/2 xv)

(12)

Title Page Contents

JJ II

J I

Close

Remark 3. Equating the coefficients ofx¹, x², ..., xⁿ, we have a system of n equations with six unknowns (the parameters of the means). Forn = 2,3,4,solving the system, we get relations among the parameters such as:

ν = λ(1−µ)

1−λ , u= λµr−µr+pµ−2λp+p

1−2λ+λµ , r= Z λ−1, where

Z²µ(µ−1) + 2pµZ(λ−λµ+µ−1) +λ²p−2λ²µ²p−λ²p²+ 2λ³p²−2λ³p + 3λ²µ²p²−λµ³p²−λ³µp²+λ³µp+λµ³p+ 4λ²µp+ 4λµp²

−5λ²µp²−2λµp−2λµ²p+µ²p−µp² = 0.

Forn = 5 we obtained the table of solutions given in the previous corollary. For n = 6,however, the system could not even be solved using Maple. As a result, we are not certain that we have obtained all the solutions for the problem of invariance.

Remark 4. The cases i)-ii), vi)-vii), xii)-xiii) and xiv)-xv), involve C_1;λ = A_λ and C_0;λ = H_λ. There are, however, no similar cases for C_1/2;λ. Instead we have the following results forG_λ:

G^G(λ)2λ−1 λ

= Π₁, Π^G(1/3)₂ =G, G^G(λ)3λ−1 2λ

=G, G^G(λ) =G ^λ

2(1−λ), but these are not Lehmer means.

Remark 5. It is easy to see that not all of the generalized means that appear in the above results are means. In such a case, the result given in Remark1can be negative.

For example, in the case xv), if we consider

a_n+1 =C₁(a_n, b_n), b_n+1 =C_1;3/2(a_n, b_n), n≥0,

for a₀ = 10 and b₀ = 1, we get a₂ = a₀ and b₂ = b₀, thus the sequences are divergent. Also, in the case xii), if we takeλ = 4/5,the double sequence

(13)

Title Page Contents

JJ II

J I

Close

a_n+1 =C₀(a_n, b_n), b_n+1 =C_0;2(a_n, b_n), n ≥0,

has the limit zero fora₀ = 10andb₀ = 1,which is different fromC_0;4/5(10,1).This is becauseC_0;4/5is not defined in(0,0),thus the proof of the Invariance Principle in [14] does not work.

Corollary 4.5. For means we have

C_p;λ(C_r;µ,C_u;ν) = C_p;λ if we are in one of the following non-trivial cases:

i) C1;λ(C1;(2λ−1)/λ,Cu;1) = C1;λ, λ∈[1/2,1];

ii) C_0;λ(C_{0;(2λ−1)/λ},C_u;1) = C_0;λ, λ∈[1/2,1];

iii) C₀(C_r;µ,C−r;1−µ) = C₀; iv) C_1/2(C_r;µ,C1−r;1−µ) = C_1/2; v) C₁(C_r;µ,C2−r;1−µ) =C₁;

vi) C_0;λ(C0;(3λ−1)/2λ,C_0;1/2) = C_0;λ, λ∈[1/3,1];

vii) C_1;λ(C1;(3λ−1)/2λ,C₁) =C_1;λ, λ∈[1/3,1];

viii) C_0,1/3(Cr;0,C0) =C_0;1/3; ix) C_1,1/3(C_r;0,C₁) =C_1;1/3;

x) C_0;λ(C₀,C_{0;λ/(2−2λ)}) =C_0;λ, λ∈[0,2/3];

xi) C_1;λ(C₁,C1;λ/(2−2λ)) =C_1;λ, λ∈[0,2/3].

(14)

Title Page Contents

JJ II

J I

Close

Remark 6. Each of the above results allows us to define a double sequence of Gauss type with known limit.

Corollary 4.6. For symmetric means, we have C_p(C_r,C_u) = C_p if and only if we are in the following non-trivial cases:

i) C₀(C_r,C−r) = C₀; ii) C1/2(Cr,C1−r) = C1/2; iii) C₁(C_r,C_2−r) = C₁.

(15)

Title Page Contents

JJ II

J I

Close

References

[1] J.M. BORWEIN AND P.B. BORWEIN, Pi and the AGM - a Study in Ana- lytic Number Theory and Computational Complexity, John Wiley & Sons, New York, 1986.

[2] P.S. BULLEN, Handbook of Means and their Inequalities, Kluwer Academic Publishers, Dordrecht/ Boston/ London, 2003.

[3] I. COSTIN AND G. TOADER, A weighted Gini mean, Proceedings of the International Symposium Specialization, Integration and Development, Sec- tion Quantitative Economics, Babe¸s-Bolyai University Cluj-Napoca, Romania, 137–142, 2003.

[4] Z. DARÓCZYANDZs. PÁLES, Gauss-composition of means and the solution of the solution of the Matkowski-Sutô problem, Publ. Math. Debrecen, 61(1-2) (2002), 157–218.

[5] H.W. GOULD, Coefficient identities for powers of Taylor and Dirichlet series, Amer. Math. Monthly, 81 (1974), 3–14.

[6] J. JARCZYKANDJ. MATKOWSKI, Invariance in the class of weighted quasi- arithmetic means, Ann. Polon. Math., 88(1) (2006), 39–51.

[7] D.H. LEHMER, On the compounding of certain means, J. Math. Anal. Appl., 36 (1971), 183–200.

[8] J. MATKOWSKI, Invariant and complementary quasi-arithmetic means, Ae- quationes Math., 57 (1999), 87–107.

(16)

Title Page Contents

JJ II

J I

Close

[9] J. MATKOWSKI, On invariant generalized Beckenbach-Gini means, Func- tional Equations - Results and Advances (Z. Daróczy and Zs. Páles, eds.), Ad- vances in Mathematics, Vol. 3, Kluwer Acad. Publ., Dordrecht, 2002, 219-230.

[10] J. MATKOWSKI, On iteration of means and functional equations, in Iteration Theory (ECIT ’4), W. Förg-Rob, L. Gardini, D. Gronau, L. Reich, J. Smital (Eds.), Grazer Math. Ber., ISSN 1016-7692, Bericht 350(2006), 184-201.

[11] O. SUTÔ, Studies on some functional equations I, Tôhoku Math. J., 6 (1914), 1–15; II, Tôhoku Math. J., 6 (1914), 82–101.

[12] G. TOADER, Integral generalized means, Math. Inequal. Appl., 5(3) (2002), 511–516.

[13] G. TOADER AND S. TOADER, Greek Means and the Arithmetic-Geometric Mean, RGMIA Monographs, Victoria University, 2005. [ONLINE:http://

www.staff.vu.edu.au/rgmia/monographs.asp].

[14] G. TOADER AND S. TOADER, Means and generalized means, J. Inequal.

Pure Appl. Math., 8(2) (2007), Art. 45. [ONLINE: http://jipam.vu.

edu.au/article.php?sid=850].