arxiv: v2 [math.ca] 24 Sep 2010

Transcription

1 A Note on the Weghted Harmonc-Geometrc-Arthmetc Means Inequaltes arxv: v2 [mathca] 24 Sep 200 Gérard Maze, Urs Wagner e-mal: Mathematcs Insttute Unversty of Zürch Wnterthurerstr 90, CH-8057 Zürch, Swtzerl September 27, 200 Abstract In ths note, we derve non trval sharp bounds related to the weghted harmonc-geometrc-arthmetc means nequaltes, when two out of the three terms are known As applcaton, we gve an explct bound for the trace of the nverse of a symmetrc postve defnte matrx an nequalty related to the coeffcents of polynomals wth postve roots Key Words: Classcal means, weghted HGA nequaltes, sharp nequaltes Subject Classfcaton: Prmary 26D5, Secondary 5A42 Introducton Man Results The well known weghted harmonc-geometrc-arthmetc means nequaltes HGA) can be stated as follows Let > 0 > 0, =,,n wth =, defne h,g,a by h = n Then the HGA nequaltes state that ), g = n x, a = n h g a ) One equalty s reached f only f all the are equal, whch then mples that both nequaltes are n fact equaltes The terms of the prevous nequaltes are respectvely called the harmonc, the geometrc the arthmetc mean of the wth weght There exst several extensons of these nequaltes, see for example [2, 4, 5, 6] In ths note we focus on the case where two of the means are known non trval bounds on the thrd have to be determned Actually, Theorem below gves a sharp lower bound a sharp upper bound on the harmonc mean, when both the arthmetc the geometrc means are known The dual bounds, e, an upper a lower bound on the arthmetc mean when both the harmonc the geometrc means are known can easly be deduced wth the change of varables y = x Theorem 2 gves a sharp lower bound a sharp upper bound on the geometrc mean, when both the harmonc the arthmetc means are known, extendng Inequaltes ) above when the two extreme values are n fact known The theory of complementary nequaltes s a feld, where upper bounds for the ratos a/g, a/h, g/h for the dfferences a g, a h, g h are obtaned n terms of the upper lower bounds for the varables To appear n Math Ineq App

2 For nstance, Kantorovch s nequalty, see eg [6], provdes a well-known upper bound for a/h under these condtons Despte our search for a smlar result n the vast lterature on the subject, we were not able to fnd the nequaltes presented n ths artcle n any publshed work Related to our results, let us however menton [7], where the author consders the nterplay of the three means h,g,a In ths paper, t s shown that the moment space of the trplets h,g,a) s the set M = {u,v,w) R 3 : 0 u v w} Ths means that for any postve ε, there exsts n N, x,,x n > 0 such that h u ε, g v ε, a w ε The meanng of the result s that f n s not fxed, then the only meanngful nequalty for the three means s h g a In the present paper, n s fxed we wll suppose that at least one s dfferent from the others, whch nsure that Inequaltes ) are strct The man results are the followng Theorem Wth the above notatons, f = mn { } ξ 0 [0,], ξ [,/] are the solutons of the equaton ) ξ g = aξ, then a ξ 0ξ 0 ) 2ξ 0 +ξ 0 h a ξ ξ ) 2ξ +ξ The frst resp second) nequalty reaches equalty f only f x j = ξ 0 resp x j = ξ ) x l = x k, l,k j for some j wth j = mn { } The unqueness of the solutons ξ 0 ξ wll be made clear n the sequel Based on ths result, we gve explct general lower upper bounds for the harmonc arthmetc means n Corollary 22 As applcaton, we gve an explct bound for the trace of the nverse of a symmetrc postve defnte matrn Example 5 for the quotent of coeffcents of polynomals wth postve roots n Example 52 Theorem 2 Wth the above notatons, f = mn { } ξ 0 [0,], ξ [,/] are the solutons of the equaton h = a ξξ) 2ξ +ξ, then we have aξ ξ ) g aξ 0 ) ξ0 The frst resp second) nequalty reaches equalty f only f x j = ξ resp x j = ξ 0 ) x l = x k, l,k j for some j wth j = mn { } Based on ths result, we gve explct sharp lower upper bounds for the geometrc mean n Corollary 2 smpler bounds n Corollary 22 2 Explct Bounds We postpone the proof of Theorem Theorem 2 present explct bounds for the dfferent means So let > 0 wth = > 0, =,,n be real numbers such that h = n ), g = n x, a = n let = mn { } Note that n = mples that /n In the caseof Theorem 2, the equaton forξ sexactlysolvable, onereadlyverfesthatasharpboundnclosedformcanbe computedasfollows 2

3 Corollary 2 Wth the above notatons, we have /n g g a h 2) ) a h)a h 2) 2 ) 2 ) a h 2)+ a h)a h 2) 2 ) 2 a+h 2)+ ) a h)a h 2) 2 ), 2) a+h 2) ) a h)a h 2) 2 ) 2) The bounds of the next corollary are not sharp anymore but are both n closed form smple Corollary 22 Wth the above notatons, we have a e ) ) / a ) g / + < h g a < h e +, g h) h h h a exp a + n )) h h < g < a n a exp a + n )) n Asymptotcally wth n, the last two nequaltes gve an mprovement of the usual HGA nequaltes when h/a < t 0 = , where t 0 e t0+ = Proof: Let us start wth the frst set of nequaltes The root ξ = ξ 0 < of Theorem satsfes the followng nequaltes, g/a) / = ξ ) ξ = ξ + ) ξ) < ξe ξ < ξe because < +u)v < e uv, as soon as v > 0 u < Now, snce ξ > /ξ < ea/g)/, n h = = a n z a ) 2ξ +ξ = ) ξξ) a ξ + )2 < ) ξ a ea/g) / + whch s equvalent to h > a ea/g) / + ) By settng x ) = /, we have a = /h,g = /g,h = /a the nequalty a < h eg/h) / + s a drect consequence Let us now prove the second set of nequaltes Snce 2) 2, we have an thus the upper bound of Corollary 2 gves a h) 2 a h)a h 2) 2 ) a h 2) 2 ) 2 g ) a h 2) a h) a+h 2)+a h 2) 2 ) ) 2 2) Snce /n, + n n, after sutable smplfcatons, usng once agan the above exponental nequalty, we obtan g a ) h + h ) a a 2) + n ) h h n < a a exp a + n )) n The reverse nequalty s once agan obtaned by settng z = / Ths fnshes the proof of the lemma 3

4 3 The Case n = 2 For the rest of the artcle, wthout loss of generalty, we wll assume that the are normalzed so that the arthmetc mean s equal to Ths s smply obtaned by the change of varable x = /a, leadng to a =,g = g/a h = h/a Along the way of the proofs of the man results, we start wth the case n = 2 Ths wll turn out to be n fact the most mportant case, as the general case wll be a consequence of t The next two lemmas wll be useful n the sequel Lemma 3 Let ]0,/2] f ϕ be the functons defned over [0,/] defned by ) x fx) = x xx) ϕx) = 2)x+ 3) Then ϕ0) = ϕ/) = f0) = f/) = 0, f) = ϕ) =, they are strctly ncreasng over [0,] strctly decreasng over [,/], fulfll the property that f > ϕ over [0,[, f < ϕ over ],/] Proof: Clearly, ϕ0) = ϕ/) = f0) = f/) = 0, g) = f) = A short analyss of f of the radcal of ϕ shows that they are strctly ncreasng over [0,] strctly decreasng over [,/] The less obvous fact s that f > ϕ over [0,[ f < ϕ over ],/] In order to prove t, let us consder the quotent f/ϕ Snce f/ϕ)) =, the statement would be proved f we can show that f/ϕ s strctly decreasng over [0,/] Let us prove that t s the case by showng that f/ϕ) < 0 over ]0,[ ],/[ Frst f/ϕ)x) = After sutable smplfcatons, we obtan ) x x ) /2 = ) x /2 x) /2 x 2)x+) /2 2)x+) /2 f/ϕ) x) = ) x ) 2 2x 2 x )+/2 + 2)x) /2 Note that x > so the condton f/ϕ) < 0 s fulflled Lemma 32 If ]0,[ x [0,/], then x x +ln x ) x) 2 + x x) 2 )x) { 0 f x [0,], 0 f x [,/] 32) Proof: If t = x x 2 )x, then < t 0 for x [,/[ 0 t for x [0,] Snce x = 2 t, the +ln t) But snce s0) = 0 s has a non postve dervatve above expresson s equal to st) = 2t 2 t s t) = t 2 2 t) 2 t) 0, the functon s s decreasng s 0 for x [0,] s 0 for x [,/[ Returnng to the orgnal problem, let us focus on the case where both g a are known an upper a lower bound on h s to be determned If, 2 > =, up to a permutaton of the ndces, we can assume wthout loss of generalty that /2 The two dmensonal case can be stated as follows: gven two real numbers 0 < /2 0 < g <, we want to fnd the mnmal the maxmal value of where x y fulfll the condtons Hx,y) = /x+)/y), x+)y = x y = g 4

5 Clearly, these condtons mply that ) x fx) = g where fx) = x 33) Note that the functon f appears n Lemma 3 We call x x 2 the two unque solutons of Equaton 33), wth x < < x 2 Then, wth ϕ beng the functon of Lemma 3, H,y ) = + ) = ) y 2 + = ϕ2 ) Lemma 3 mples that ϕx 2 ) > fx 2 ) = fx ) > ϕx ) because of the respectve postons of f ϕ Ths drectly gves the followng lemma: Lemma 33 Let 0 < /2 0 < g < If x y fulfll the condtons then x+)y = x y = g, x x ) x 2x + x + ) x 2x 2 ) y x 2 2x 2 + where x x 2 are the unque solutons over [0,] [,/] respectvely of the equaton ) x g = x 34) We would lke now to prove that for a fxed g, as a functon of ]0,/2], the mnmum the maxmum values above Hx ) Hx 2 ) are ncreasng decreasng functons respectvely Ths result wll be useful n the sequel More precsely, f we set Mx,) = ) x + )2 x λ ) = M ),) where x ) x 2 ) are the unque roots of Equaton 34) n [0,] n [,/] respectvely, then we have the followng lemma: Lemma 34 For a fxed g [0,], the functon λ s an ncreasng functon the functon λ 2 s an decreasng functon over [0, 2 ] Proof: Frst, let us note that the functon f beng strctly ncreasng over [0, ] strctly decreasng over [,/], the mplct functon theorem can be used to defne the mplct functon ) [0,] gven ), x by the equaton g = fx) = x where g s fxed These functons are dfferentable, ther dervatve can be computed by mplctly dfferentatng the equaton In fact, takng the natural logarthm of Equaton 34) the dervatve wth respect to, after sutable smplfcatons, we obtan x ) = x x x ln x )) x Usng the chan rule, we have λ ) = M x x),) x )+ M x),) 5

6 After sutable smplfcatons, we obtan whch leads to λ ) = M 2 x,) 2 )x xx) M x,) = x) 2 M2 x,) xx) 2 M x x,) = M2 x,) x) 2 )x)) x 2 x) 2 x x +ln x ) x) 2 ) + x x) 2 )x) Note that snce /2, 2 )x xx) 0 An applcaton of Lemma 32 shows that λ 0 λ 0 0 Ths fnshes the proof of the lemma Let us now focus on the case where both a h are known, an upper a lower bound of g s to be found, when n = 2 The problem can now be formulated as follows Gven two real numbers 0 < /2 0 < h <, we want to fnd the mnmal the maxmal value of where x y fulfll the condtons These two condtons mply that Gx,y) = x y x+)y = h = x + ) = h y ) x + )2 = xx) x 2x+x = ϕ2 x) 35) ) x Gx,y) = fx) = x If x x 2 are the two unque solutons of Equaton 35) wth x < < x 2, Lemma 3 mples that fx ) > ϕx ) = ϕx 2 ) > fx 2 ) because of the respectve postons of f ϕ Ths drectly gves the followng lemma: Lemma 35 Let 0 < /2 0 < h < If x y fulfll the condtons x+)y = x + ) = h, y then x 2 x2 ) x y x ) x where x x 2 are the unque solutons over [0,] [,/] respectvely of the equaton h = xx) 2x+x 36) As before, we would lke now to prove that for a fxed h, as a functon of, the mnmal maxmal values above Gx 2 ) Gx ) are ncreasng decreasng functons respectvely More precsely, f we set Nx,) = x x γ ) = N ),) where x ) x 2 ) are the unques root of Equaton 36) n [0,] [,/] respectvely, then we have the followng lemma: ) 6

7 Lemma 36 For a fxed h [0,], the functon γ s a decreasng functon the functon γ 2 s an ncreasng functon over [0, /2] Proof: The same argument used n the proof of Lemma 34 wth ϕ nstead of f) shows that the functon x) s well defned, after sutable smplfcatons, has the followng dervatve Usng the chan rule, we have After sutable smplfcatons, we obtan whch leads to x ) = x x 2)x+ γ ) = N x x),) x )+ N x),) N x,) = Nx,) N x,) = Nx,) x x ln x x x x ) + x ) x x γ ) = Nx,) x +ln x ) x) 2 ) + x x) 2 )x) A straghtforward applcaton of Lemma 32 shows that γ 0 γ 2 0 whch fnshes the proof of the lemma 4 Proof of Theorems 2 The proofs of the two theorems are smlar, so we treat them as a whole make the dfferences precse when needed Wthout loss of generalty, we can suppose n 3 In Theorem resp Theorem 2), we suppose that the geometrc mean g > 0 resp harmonc mean h > 0) the arthmetc mean a > 0 of a lst of n strctly postve reals are gven we want to fnd sharp bounds on the harmonc mean resp ), geometrc mean) Before gong further, let us notce that the expresson defned for x > 0, can be contnuously contnued on [0, [ n by settng ts value to 0 as soon as = 0 for some Let R 0 = [0, [ let us defne the three sets S h,s g S a as follows: { S a = x R n [0,/ ], } =, S g = { x R n 0 { } ) x = g, S h = x R n 0 = h} The condtonsetsc C 2 onthe relatedtotheorems2respectvelyaregvenbyc = S g S a C 2 = S h S a Because they are defned through the premage of closed sets va contnuous maps, the sets S g S h are closed S a s compact Therefore C C 2 are compact n R n as the ntersecton between a compact a closed set Snce the functons to optmze are well defned contnuous on these sets, ther maxmum mnmum are reached, we wll explctly fnd them The constrants beng of class C, we use the Lagrange multplers to fnd these optmums When the expresson to optmze s n the geometrc the arthmetc means are known, the Lagrange s condtons are n A n ) n )) B ln ) lng) = 0 7

8 whch gves x 2 A B = 0, =,,n When the expresson to optmze s n x the harmonc the arthmetc means are known, the Lagrange s condtons appled to the natural logarthm of the product are n n ) n )) ln ) A B h = 0 whch gves A B x 2 = 0, =,,n In both cases, each s equaltoone ofthe roots, sayx,y, ofaseconddegreepolynomal Snce wesupposed that the s are not all equal, we have X Y Now, note that f = I wth I = { = X}, then = j J j wth J = {j x j = Y}, we may suppose wthout loss of generalty that [0,/2] Moreover n = X +)Y = n n x ) = = X Y = g X + ) = h Y Suppose both the geometrc the arthmetc means are known the mnmum the maxmum of the harmonc mean have to be determned Makng use of Lemma the prevous notatons, snce /2, we have HX) < h < HY) where X < < Y The functons HX) HY) beng decreasng ncreasng functons of, the mnmum of HX) the maxmum of HY) are reached when = mn { }, = 0 beng mpossble Smlarly, suppose both the harmonc the arthmetc means are known the mnmum the maxmum of the geometrcmean haveto be determned Makng use nowoflemma 35 36, snce /2, we have GY) < h < GX) where X < < Y The functons GY) GX) beng decreasng ncreasng functons of, the mnmum of GY) the maxmum of GX) are reached as before when = mn { } The statement of each Theorem 2 follows then drectly from the statements of Lemma Applcatons Example 5 The frst applcaton s a bound on the trace of the nverse of a matrx whose egenvalues are all postve Ths problem has been treated by several authors see [] the reference theren) If λ are the egenvalues of such an n n matrx A, then deta) = n λ, tracea) = n λ, tracea ) = n /λ The connecton wth the arthmetc, geometrc harmonc means s clear, Corollary 22 shows that ) n tracea) tracea ) < e n deta) + n 2 tracea) Example 52 The second applcaton s a bound on the quotent of some coeffcents of polynomals wth postve roots It has been known snce Fransén Lohne [3] see also [5]) that f the polynomal a 0 x n +a x n ++a n x+a n 8

9 has postve roots, then a n n 2 a 0 a n a An applcaton of Corollary 22 shows that the followng reverse nequalty holds: a n n 2 a 0 a n a +e a 0 a n na 0 Indeed, f λ are the roots of the polynomal, then a n /a 0 = n λ, a /a 0 = n λ, a n /a n = n /λ Acknowledgments The authors would lke to thank the revewer for several helpful suggestons References [] Ba, Z Golub, G H Bounds for the trace of the nverse the determnant of symmetrc postve defnte matrces Ann Numer Math, 4 997), pp [2] Beckenbach, E F Bellman, R Inequaltes Second revsed prntng Ergebnsse der Mathematk und hrer Grenzgebete Neue Folge, B 30 Sprnger-Verlag, New York, Inc 965 [3] Fransén, A Lohne, J Problem 96 Nad Mat Tdskr 8 960), 88 [4] Hardy, G H, Lttlewood, J E Polya, G Inequaltes 2d ed Cambrdge, Unversty Press, 952 [5] Mlovanovć, G V, Mtrnovć, D S Rassas, Th M Topcs n polynomals: extremal problems, nequaltes, zeros World Scentfc Publshng Co Inc, Rver Edge, NJ, 994 [6] Mtrnovć, D S Analytc nequaltes In cooperaton wth P M Vas De Grundlehren der mathematschen Wssenschaften, B 65 Sprnger-Verlag, New York-Berln, 970 [7] Páles, Z Essental nequaltes for means Perodca Math Hungar 2) 990), pp 9-6 9