arxiv: v2 [math.ca] 30 Jul 2015

Transcription

1 O the sum of squared arthms equalty ad related equaltes Foz M. Daa ad Patrzo Neff ad Chrsta Thel arxv:.290v2 [math.ca] 30 Jul 205 July 3, 205 Abstract We cosder the sum of squared arthms equalty ad vestgate possble coectos wth the theory of majorzato. We also dscuss alteratve suffcet codtos o two sets of vectors a,b R + so that a 2 b 2. Geeralzatos of some equaltes from formato theory are obtaed, cludg a geeralzed formato equalty ad a geeralzed sum equalty, whch states for a,b R + ad k,...,k [0, : m a s a +k s b m +k s. Key Words: sum of squared arthms equalty; expoetal fuctos equaltes; sum equalty; Gbbs equalty; formato equalty AMS 200 subject classfcato: 26D05, 26D07 Cotets Itroducto - the sum of squared arthms equalty 2 2 Prelmares 2 s 3 Dfferet codtos for SSLI ad the sum of powered arthms equalty Related equaltes 6 5 New Logarthmc equaltes formato theory 0 Arab Iteratoal Uversty, Syra, emal: fmda@scs-et.org Correspodg author: Patrzo Neff, Head of Lehrstuhl für Nchtleare Aalyss ud Modellerug, Fakultät für Mathematk, Uverstät Dusburg-Esse, Thea-Leyma Str. 9, 527 Esse, Germay, emal: patrzo.eff@u-due.de Lehrstuhl für Nchtleare Aalyss ud Modellerug, Fakultät für Mathematk, Uverstät Dusburg-Esse, Thea- Leyma Str. 9, 527 Esse, Germay, emal: chrsta.thel@u-due.de

2 Itroducto - the sum of squared arthms equalty The Sum of Squared Logarthms Iequalty SSLI was troduced 203 by Bîrsa, Neff ad Laket [], wth the authors gvg a proof for {2,3}. Recetly, Pompe ad Neff [2] have show the equalty for, whch case t reads: Let a,a 2,a 3,a,b,b 2,b 3,b > 0 be gve postve umbers such that The a +a 2 +a 3 +a b +b 2 +b 3 +b, a a 2 +a a 3 +a 2 a 3 +a a +a 2 a +a 3 a b b 2 +b b 3 +b 2 b 3 +b b +b 2 b +b 3 b, a a 2 a 3 +a a 2 a +a 2 a 3 a +a a 3 a b b 2 b 3 +b b 2 b +b 2 b 3 b +b b 3 b, a a 2 a 3 a b b 2 b 3 b. a 2 +a 2 2 +a 3 2 +a 2 b 2 +b 2 2 +b 3 2 +b 2. The geeral form of ths equalty ca be cojectured as follows. Defto.. Let x R. We deote by e k x the k-th elemetary symmetrc polyomal,.e. the sum of all k products of exactly k compoets of x, so that e k x : x x 2...x k for all k {,...,}; <...< k ote that e x x x 2... x. Cojecture.2 Sum of squared arthms equalty. Let a,b R +. If ad e a e b, the e k a e k b a 2 for all k {,..., } b 2. Alteratvely, we ca express the same statemet as a mmzato problem: Let a R + be gve ad defe The E a : { b R + e k a e k b for all k {,..., } ad e a e b }. { } f b 2 b E a a 2. SSLI The sum of squared arthms equalty SSLI has mportat applcatos matrx aalyss ad olear elastcty theory [, 7, 8, 9, 0, ]. We otce that the prevous cojecture for 2 puts codtos o the elemetary symmetrc polyomals of the umbers a,...,a ad b,..., for obtag SSLI. I ths artcle we obta SSLI ad the so called sum of powered arthms equalty 3.5 uder some alteratve codtos. We also troduce some ew equaltes for the expoetal fuctos. A exteso of the sum equalty s also obtaed, whch yelds geeralzatos of the formato equalty. 2 Prelmares The cocept of majorzato s of great mportace to SSLI ad related equaltes. I the followg we state the basc deftos as well as some fudametal propertes of majorzato. For a larger survey we refer to Marshall, Olk ad Arold [5]. There are varous ways to defe Majorzato. Due to Hardy, Lttlewood ad Pólya [] we ca formulate the followg theorem: 2

3 Theorem 2.. Let x,y R +, the the followg are equvalet: a x y ad k x k y for all k. b fx fy for all covex cotous fuctos f: R R. If the expressos hold, x s sad to be majorzed by y, wrtte x y. Smlarly, the cocept of the weak majorzato ca be fomulated see Tomc [3] ad Weyl []: Theorem 2.2. Let x,y R +, the the followg are equvalet: a k x k y for all k. b fx fy for all covex mootoe creasg cotous fuctos f: R R. If the expressos hold, x s sad to be weakly majorzed by y, wrtte x w y. If x s weakly majorzed by y, we state, partcular, that t s weakly majorzed from below. Aaously we ca also characterze weak majorzato from above x w y, were the equalty a holds wth greater or equal for all vectors descedg order ad equvalet de equalty b for all covex mootoe decreasg fuctos. The followg lemma, whch shows elemetary propertes of the so-called weak arthmc majorzato, follows drectly from the arthmc laws ad the mootocty of the arthm. Lemma 2.3 Logarthmc majorzato. Let x,y R +. The x w y f ad oly f x... x k y... y k for all k {,...,}, x w y f ad oly f x... x k y... y k for all k {,...,}, x y f ad oly f x w y ad x... x y... y, where we abbrevate z : z,z 2,...,z for z R +. Proposto 2.. Let x,y R +. The ad x w y mples x w y x w y mples x w y. From Theorem 2. we ca see, the mappg ϕ: R R wth x fx where f s covex has the property x y mples ϕx ϕy. We call ths property Schur-covexty. f ϕ s Schur-covex, so we call ϕ Schur-cocave. Aaously to Theorem 2. ad Theorem 2.2 we ca geeralze to a mportat property of Schur-covex fuctos: Proposto 2.5. Let ϕ: D R R be Schur-covex. If ϕ s also mootoe creasg resp. mootoe decreasg, the ϕx ϕy for all x,y D wth x w y resp. x w y. Theorem 2.6. The elemetary symmetrc polyomals e k : R R are Schur-cocave ad mootoe creasg for all k {,...,} ad eve strctly Schur-cocave for k 2. Corollary 2.7. Let x,y R +. The x y mples e k x e k y for all k {,...,}. However e k x e k y does ot mply x y geeral: For that cosder a 2,2,2 ad b,,. If x st ot oly a permutato of y, the equalty betwee the e k s eve strct for k 2. I verse cocluso we ca say: Corollary 2.8. If x y ad e k x e k y for ay k {2,...,}, the x y ad thus e k x e k y for every k {2,...,}. 3

4 3 Dfferet codtos for SSLI ad the sum of powered arthms equalty I the followg theorems we gve dfferet codtos that guaratee the valdty of SSLI. We wll use Chebyshev s sum equalty certa cases, whch states: Lemma 3. Chebyshev s sum equalty. If a a 2... a ad b b 2... are two mootoe creasg sequeces of real umbers, the a b a b a Theorem 3.2. Let a,b R + ad there exsts a rearragemet of a ad b that satsfy b a b 2 a 2... a ad a b a 2 b 2... a. 3.2 If we addtoally assume oe of the followg two codtos e a e b ad e a e b, or e a e b ad e a e b, the we get the sum of squared arthms equalty SSLI: 3.2a 3.2b a 2 b 2. Proof. Frst we assume Codto 3.2a: Due to the mootocty of the arthm t follows from the assumptos that b a b 2 a 2... a ad a b a 2 b 2... a. Now we ca estmate wth Chebychev s equalty 3. usg ã +k : b a ad +k : a b : b 2 a 2 b 2 a 2 b a b a b a e b/e a 3. e ae b Fally y 2 a 2 0 s equvalet to SSLI. b a b +a b a b b a a 0. Next we assume codto 3.2b: We set ã, b R + wth ã k : a + k ad b k : + k for k {,...,}, so that we have ã,ã 2,...,ã a,a,...,a ad b, b 2,..., b,b,...,b. The bk ã k + k a + k a + k + k ad ã k bk a + k + k.

5 Hece Furthermore b ã a b 2 ã 2 a... ã ad ã b a ã 2 b2 a... ã b. e b e b e a e ã ad e ãe b e a e b, thus ã ad b satsfy codto 3.2a. Therefore SSLI holds for ã ad b, ad we fd ã 2 2 a b 2 2 b a a b a b Example 3.3. Nether the codtos Cojecture.2 are stroger tha Theorem 3.2 or coversely: Wth a,2,0 ad b 20,2,7 we have e k a e k b for all k {,..., } ad e a e b but there s o rearragemet of a ad b that satsfes b a b2 a 2 b3 a 3 ad a b a 2 b 2 a 3 b 3. Wth a 6,5,7 ad b 0,8,3 we have ad Because of e a 20 ad e b 20 we have e a e b ad e ae b but ot e a e b. Wth a 2,2,2 ad b,2, we have e k a e k b for all k {,..., } ad e a e b. Moreover , ad e ae b. Theorem 3. sum of powered arthms equalty. Let a,b R ad p R wth a >, b > ad p < 0. Assume a w b. The a p b p. 3.5 Remark 3.5. I order for a p ad b p to be well defed for all p R, we must assume a > ad b >. Proof. From a w b wth Proposto 2. we obta k a k b for all k {,...,}. Let x,y R + wth x : a, y : b therefore x : a ad y : b for all k {,...,} the x w y. We ow cosder the fucto g: R + R wth gz z p, the g z p <0 z p >0 < 0 ad g z pp >0 z p 2 >0 > 0. For ths reaso g s mootoe decreasg ad covex. Wth Theorem 2. we obta xp Resubsttuto ow drectly yelds the statemet. Remark 3.6. a b s a codto too weak ad a b plus e a e b s too strog for SSLI: For a 3,2,2 ad b,2, we get a b but 2.7 a 2 < b For a,, ad b 0,, we get a b but 5.77 a 2 > b yp. 5

6 We have show by Lemma 2.7 that a b mples e k a e k ote the reverse equalty. What about usg a b ad e a e b as suffcet requremets for SSLI? We ca easly show a b ad e a e b mply the arthmc majorzato a b. Sce the mappg t t 2 s covex, t follows from Theorem 2. that the equalty a 2 b 2 holds. However, for a b, we ca apply Corollary 2.7 to fd e k a e k b, hece Cojecture.2 mples a 2 b 2 ad thus a 2 b 2. Ths s ot surprsg: we already kow see Remark 2.8 that a b ad e a e b a b. Thus the vectors a ad b R + are equal up to permutatos. Related equaltes Proposto.. Let x,y R + ad m R +. Assume addtoally x w y, the e mx e my.. Proof. We set ϕ: R R wth ϕx. Wth Proposto 2. we have x emx w y. Sce x e mx s covex ad mootoe creasg, t follows drectly from Theorem 2.2 that ϕx ϕy. Theorem.2. If the real umbers a,b,c,x,y,z satsfy a+b+c x+y +z 0 ad the e xy +e yz +e zx < a 2 +b 2 +c 2 x 2 +y 2 +z 2 0, e x2 +e y2 +e z2 exp 3 3 a2 b 2 c 2.2 ad e ab +e bc +e ca < e a2 +e b2 +e c2 exp 3 3 x2 y 2 z 2..3 Proof. For α,β,γ R we obta α + β + γ 2 α 2 + β 2 + γ 2 + 2αβ + 2βγ + 2γα, therefore uder the codtos ab+bc+ca a+b+c 2 a 2 +b 2 +c 2 2 x+y +z 2 x 2 +y 2 +z 2 xy +yz +zx 2 ad we ca set Furthermore p : ab+bc+ca xy +yz +zx. x 3 +px xyz x 3 +x 2 y +xyz +x 2 z xyz x 2 x+y +z x ad aaously y 3 +py xyz 0 ad z 3 +pz xyz 0. Therefore the cubc equato X 3 +px xyz 0 has exactly the three solutos X {x,y,z}. 6

7 Followg Cardao s method see Cardao [2] the cubc equato X 3 +px +q 0 has exactly three real roots, f ad oly f q 2 p 3 D : + < Therefore we obta thus p 3 < 27 x2 y 2 z 2 ad therefore xyz Aaously we obta from X 3 +px abc 0 Now thus 2 2 p 3 x y 2 z 2 + p3 27 < 0, p xy +yz +zx < 3 3 x2 y 2 z 2.. p ab+bc+ca < 3 3 a2 b 2 c 2..5 p p+x 2 x 2 xy +yz +zx+x 2 x 2 yz x 2, yz x 2 +p ad aaously xz y 2 +p ad xy z 2 +p. Accordg to.5 ad the mootocty of the expoetal fucto we have e yz < e x2 exp 3 3 a2 b 2 c 2, e zx < e y2 exp 3 3 a2 b 2 c 2, e xy < e z2 exp 3 3 a2 b 2 c 2 ad summg up we obta.2. The proof of.3 proceeds aaously. Theorem.3. Let I R ad assume f,...,f : I R wth f t 0 ad f t f 2 t... f t ad g: I R wth gt e ft for all t I. for all t I If f t f 2t... f t for all t I, the g t 0 for all t I, respectvely g s mootoe creasg. If f t f 2t... f t for all t I, the g t 0 for all t I, respectvely g s mootoe decreasg. Proof. The codto f t 0 for all t I mples f t d f t 0 for all t I. dt Assume f t f 2 t... f t for all t I. From the mootocty of the expoetal fucto ad Chebychev s equalty wth a : e ft, b : f t, we obta g t f t e ft 3. f t e ft

8 Now assume stead f t f 2 t... f t for all t I. From the mootocty of the expoetal fucto ad Chebychev s equalty wth a : e ft, +k : f t, we obta g t f 3. t eft f e ft 0. 0 Example.. Cosder the fuctos f,f 2,f 3 : R R wth ad The Addtoally f x x 2 +, f 2 x x, f 3 x x 2 x f x 2x, f 2x, f 3x 2x. f x+f 2 x+f 3 x 0 for all x R. f x f 2 x f 3 x ad f x f 2x f 3x for all x [,, [ ] f 2 x f 3 x f x ad f x f 2 x f 3 x for all x,. Now we defe g: R R wth gx e x2 + +e +x +e x2 x e fx +e f2x +e f3x, therefore we ca coclude wth Theorem.3: g s mootoe creasg o [, ad mootoe decreasg o [,]. Now we geeralze Theorem.3 Theorem.5. Let I R ad f,...,f : I R wth f t 0, f t f 2 t... f t ad f t f 2t... f t for all t I ad assume g,h: I R wth h postve ad mootoe creasg ad g h t e htft for all t I. The g h t 0 for all t I, whch mples that g h s mootoe creasg. Proof. The codto f t 0 for all t I mples f t d f t 0 for all t I. dt Wth Chebychev s equalty usg a : f t resp. a : f t ad b : e htft we coclude g h t h tf t+htf te htft h t f t e +ht htft f t e htft 3. h t f t e +ht htft f t e htft

9 Theorem.6. Let I R ad assume f,...,f : I R wth the propertes f t 0, f t f 2 t... f t ad f t f 2t... f t for all t I. Addtoally h: D R s gve mootoe creasg ad covex. I ths regard D R provdes hf t s well defed for all {,...,} ad all t I. We defe furthermore H: I R wth Ht e hft. The H t 0 for all t I ad H s mootoe creasg. Proof. The codto f t 0 for all t I mples f t d f t 0 for all t I. dt Because h s mootoe creasg h x 0 ad hx hy for x y, thus h f t 0 ad hf t hf 2 t... hf t for all t I. By assumpto h s covex ad h s mootoe creasg, thus h x h y for x y, therefore h f t h f 2 t... h f t for all t I. If for real umbers a,a 2,b,b 2 the equaltes 0 < a a 2 ad b b 2 are satsfed, the a b a 2 b 2. Ths appled terated, we obta h f t f t h f 2 t f 2t... h f t f t for all t I. Fally we ca easly show the orgal statemet by applyg Chebychev s equalty oce wth a : h f tf t ad b : e hft, twce wth a : h f t ad b : f t. We obta H t h f t e hft h f tf t ehft 3. h f t f t e hft 3. 2 h f t f t e hft The followg theorem was proved by Bîrsa, Neff ad Laket []. Usg Theorem.3 respectvely the geeralzatos Theorem.5 or Theorem.6 we ca ow show a alteratve ad otherwse very elemetary proof: Theorem.7. Let a,b,c,x,y,z R wth Furthermore The f ad oly f a x. a b c ad x y z..8 a+b+c x+y +z 0 ad a 2 +b 2 +c 2 x 2 +y 2 +z 2..9 e a +e b +e c e x +e y +e z.0 9

10 Remark.8. Usg Theorem.5 or Theorem.6 stead of Theorem.3 the followg proof eve allows to show the stroger statemet uter the codtos of Theorem.7: e ma +e mb +e mc e mx +e my +e mz f ad oly f a x for all m R +. Proof. Let us frst fx a,b,c. The we defe for smplfcato r R + wth r 2 : a 2 + b 2 + c 2. From the codtos.8 ad.9 wemayuquely determe y ad z depedg ox R + Wth.8 x < 0mples a+b+c < 0+y+z 0+0+0; a cotradctoto.9. Sce z x y we fd y 2 + x y 2 +x 2 r 2 0. Let x ad r be gve, the we obta a quadratc equato ad we ca solve wth the quadratc formula to obta y 2 + x y 2 +x 2 r 2 2y 2 +2xy +2x 2 r 2 0 y 2 +xy +x 2 2 r2 0 y 2 x± x2 x r2 2 x± 3 x2 + 2 r2. Isertg these two solutos to z x y, we get z 2 x 3 x2 + 2 r2. From these two possbltes ± for y, oly the postve case, for z oly the egatve case remas to satsfy.8. Both equatos have three real solutos, f ad oly f 3 x2 + 2 r We must have x 3 r2 for ths. Moreover x y x 2 x+ 3 x2 + 2 r2 3 2 x 3 x2 + 2 r2 9 x2 3 x2 + 2 r2 3x 2 2 r2 x 6 r2. [ ] Wth D r : 6 r2 2, 3 r2 we obta the dfferetable fuctos y,z: D r R ad yx 2 x+ 3 x2 + 2 r2 ad zx 2 x 3 x2 + 2 r2. as the uque solutos x,yx,zx of.8 ad.9. Because the gve a,b,c satsfy these codtos, obvously a D r, b ya ad c yb. Now we defe for m R + the fucto g: D r R wth gx e myx +e mzx. We kow yx zx ad y x 3 2 x 3 3 x x z x. r2 3 x2 + 2 r2 Thus, we ca coclude wth Theorem.5 or Theorem.6 both cases we ca set ht : mt. For m we ca use drectly Theorem.3 that g s mootoe creasg. Addtoally x e mx s mootoe creasg, so buldg the sum g: R R wth gx e mx +e myx +e mzx s also mootoe creasg. Therefore gx ga f ad oly f x a, whch s equvalet to the statemet f we set m. 5 New Logarthmc equaltes formato theory Frst we troduce Jese s equaltycf. Mtrovć, Pečarć,[6, eq. 2. p.9] ad the sum equalty cf. Cover, Thomas [3, 2.7 p.29]. The we prove the formato equalty whch s dfferet otato kow uder the ame Gbbs equalty. The formato equalty cf. Cover, Thomas [3, 2.6 p.28] s 0

11 the most fudametal equalty formato theory. It asserts that the relatve etropy betwee two probablty dstrbutos p,q: Ω [0,], whch s defed by Dp q : x Ω px px qx or, f p ad q are probablty measures o a fte set Ω {,...,}, by Dp q : p p q, s oegatve. Lemma 5. Jese s equalty. Let I R be a terval, f: I R be a covex fucto, λ,...,λ postve umbers wth λ +...+λ ad x,...,x I. The f λ x Note: Wth 2 we have drectly the defto of covexty of f. Wth Jese s equalty we ca prove the so called sum equalty: 5. λ fx. 5.2 Lemma 5.2 stroger sum equalty. Let a,...,a,b,..., R + ad k 0, the a a +k a b a +k. 5.3 We have equalty f ad oly f a b a2 b 2... a. Remark 5.3. For k 0 we get the sum equalty: a a a b a. 5. Proof. Wth fx x x+k, λ : b / b, x : a /b ad 5.2 we get a b a b a b +k a +k b b λ x x +k 5.2 λ fx f λ x b λ x λ x +k b a b a b +k a a b +k. 5.5 If c : a b a2 b 2... a, we have x c ad we get f λ x f λ c fc λ fc λ fx. If there s a {,..., } wth a b a+ b + the we get λ fx > f λ x.

12 Proposto 5. Gbbs equalty / Iformato equalty. Let P deote the set of probablty measures o a -elemet set, that s P {p R + p }. The followg four expressos the frst three are amed Gbbs equalty, the last Iformato equalty are equvalet ad hold for all a,b P : { sup ξ P ξ a } a b a a, a a, v Da b { } f a ξ a a, ξ P a a b Proof. Frst we prove the equalty of the four expressos: { sup b P b a b a } a b { a a f b P a a a a a a b 0 Da b 0. b a } b a a a a a a a b 0 b a a a Now let a,b P. Wth the stroger sum equalty ad because a b we get a a +k a b a +k +k. 5.7 Wth k 0 we oba equalty case v formato equalty. Remark 5.5. Aaously we ca deote equalty 5.7 as the stroger formato equalty. Corollary 5.6 geeralzed sum equalty. Let a,b R + ad k,...,k [0,. The s m a s a +k s b a m b s a +k s. 5.8 Proof. Wth m umbers k,...,k m [0, we obta by m tmes buldg sums of the stroger sum equalty 5.3 m a m a +k s a b a +k s. s Wth use of dstrbutvty ad laws of arthms we drectly obta the desred result. Corollary 5.7 geeralzed formato equalty. Let a,b P ad k,...,k [0,. The m a s a +k s b m +k s. 5.9 Proof. We smplfy 5.8 uder the codto a,b P, therefore a b. s 2

13 Refereces [] M. Bîrsa, P. Neff, ad J. Laket. Sum of squared arthms a equalty relatg postve defte matrces ad ther matrx arthm. Joural of Iequaltes ad Applcatos, 203. [2] G. Cardao. Ars Maga. Petreus, 55. [3] T. Cover ad J. Thomas. Elemets of formato theory. Wley, 202. [] G. H. Hardy, J. E. Lttlewood, ad G. Pólya. Iequaltes. Cambrdge Uversty Press, 952. [5] A. Marshall, I. Olk, ad B. Arold. Iequaltes: Theory of majorzato ad ts applcatos: Theory of majorzato ad ts applcatos. Sprger Seres Statstcs. Sprger, 200. [6] D. S. Mtrovć, J. E. Pečarć, ad A. M. Fk. Classcal ad ew equaltes aalyss. Sprger, 993. [7] P. Neff, B. Edel, F. Osterbrk, ad R. Mart. A Remaa approach to stra measures olear elastcty. Comptes Redus Mécaque, 32:25 257, 20. [8] P. Neff, I.-D. Ghba, ad J. Laket. The expoetated hecky-arthmc stra eergy. part : costtutve ssues ad rak-oe covexty. Joural of Elastcty, pages 92, 20. [9] P. Neff, J. Laket, I.-D. Ghba, R. Mart, ad D. Stegma. The expoetated Hecky-arthmc stra eergy. part II: Coercvty, plaar polycovexty ad exstece of mmzers. Zetschrft für agewadte Mathematk ud Physk, pages 23, 205. [0] P. Neff, J. Laket, ad A. Madeo. O Grol s mmum property ad ts relato to Cauchy s polar decomposto. Iteratoal Joural of Egeerg Scece, 800:209 27, 20. [] P. Neff, Y. Nakatsukasa, ad A. Fschle. A arthmc mmzato property of the utary polar factor the spectral orm ad the Frobeus matrx orm. SIAM Joural o Matrx Aalyss ad Applcatos, 353:32 5, 20. [2] W. Pompe ad P. Neff. O the geeralsed sum of squared arthms equalty. Joural of Iequaltes ad Applcatos, 205: 7, 205. [3] M. Tomc. Théoreme de Gauss relatf au cetre de gravté et so applcato. Bull. Soc. Math. Phys. Serbe, :3 0, 99. [] H. Weyl. Iequaltes betwee the two kds of egevalues of a lear trasformato. Proceedgs of the Natoal Academy of Sceces of the Uted States of Amerca, 357:08, 99. 3