arxiv: v2 [math.pr] 2 Jan 2016

Transcription

1 ON SHARP BOUNDS FOR MARGINAL DENSITIES OF PRODUCT MEASURES arxiv: v [math.pr] Ja 6 GALYNA LIVSHYTS, GRIGORIS PAOURIS, PETER PIVOVAROV Abstract. We discuss optimal costats i a recet result of Rudelso ad Vershyi o margial desities. We show that iff is a probability desity o R of the form f(x) i f i(x i ), where each f i is a desity o R, say bouded by oe, the the desity of ay margial π E (f) is bouded by k/, where k is the dimesio of E. The proof relies o a adaptatio of Ball s approach to cube slicig, carried out for fuctios. Motivated by iequalities for dual affie quermassitegrals, we also prove a isoperimetric iequality for certai averages of the margials of such f for which the cube is the extremal case.. Itroductio I this ote we preset a alterate approach to a recet theorem of Rudelso ad Vershyi o margial desities of product measures [8]. To fix the otatio, iff is a probability desity o Euclidea space R ad E is a subspace, the margial desity of f o E is defied by π E (f)(x) f(y)dy (x E). E +x I [8], it is proved that if f(x) i f i(x i ), where eachf i is a desity o R, bouded by, the for ay k {,..., }, ad ay subspace E of dimesio k, (.) π E (f) /k L (E) C, where C is a absolute costat. I [8], it is poited out that whe k, the costat C i (.) may be take to be. This follows from a theorem of Rogozi [7], which reduces the problem to f Q where Q [ /,/] is the uit cube, together with Ball s theorem [], [] o slices of Q. More precisely, oe ca formulate Rogozi s Theorem as follows: if θ is a uit vector with liear spa [θ], the (.) π[θ] (f) π[θ] L ( ([θ]) Q ) L ([θ])

2 G. LIVSHYTS, G. PAOURIS, P. PIVOVAROV for ay f i the class { } F f(x) f i (x i ) : f i L (R) f i L (R), i,...,. i By defiitio of the margial desity ad the Bru-Mikowski iequality, π[θ] ( Q ) L max Q ([θ]) (θ +x) x [θ] Q θ, where deotes ( )-dimesioal Lebesgue measure. Ball s theorem gives Q θ, which shows C works i (.). Sice Ball s theorem holds i higher dimesios, i.e., (.3) max E G,k Q E /k k (k ), where G,k is the Grassmaia of all k-dimesioal subspaces of R, it is atural to expect that C works i (.) for all k >. However, i the absece of a multi-dimesioal aalogue of Rogozi s result (.), the authors of [8] prove (.) with a absolute costat C via differet meas. Our goal is to show that oe ca determie the optimalc for suitable k > directly by adaptig Ball s argumets givig (.3), ad a related estimate, to the fuctioal settig. The mai result of this paper is the followig theorem. Theorem.. Let k < ad E G,k. The there exists a collectio of umbers {γ i } i [,] with i γ i k such that for ay bouded fuctios f,...,f : R [, ) with f i L (R) for i,...,, the product f(x) i f i(x i ) satisfies ( ( ) k (.4) π E (f) L (E) mi k, k/ ) i f i γ i L (R). I particular, the theorem implies that if f F ad E G,k, the ( ( ) ) k (.5) π E (f) L (E) mi, k/. k As oted i [], if f Q, the boud ( ( k)/ k) is achieved whe k divides ad E G,k is chose so that Q E is a cube of suitable volume; ote that ( ) k e k/. Whe k /, the boud k

3 k/ is sharp whe Q E k, Theorem. implies SHARP BOUNDS FOR MARGINAL DENSITIES 3 is a box of suitable volume. Thus for such (.6) sup E G,k π E (f) L (E) sup E G,k π E ( Q ) L (E) (f F ). I terms of radom vectors, if X R is distributed accordig to f, the the desity of the orthogoal projectio P E X of X oto E is simply π E (f). Thus if X has desity f F ad Y has desity Q, the desity of P E X is uiformly bouded above by the value of the desity of P E Y at the origi (with E chose as above). For aother probabilistic cosequece, ote that (.5) implies the followig small-ball probability: for each z E, ( (.7) P P E X z ε ) k (C eπε) k (ε > ), where deotes the Euclidea orm; this was part of the motivatio i [8]; see also Tikhomirov [9] for recet work o such estimates ad their use i radom matrix theory. Ball s approach to cube slicig [], [] has bee adapted to a variety of related problems. We metio just a sample ad refer the reader to the refereces therei; see Barthe s multidimesioal versio [3] of the Brascamp-Lieb iequality [6] ad its ormalized form; the use of the latter by Gluski [] for slices of products of measurable sets; Koldobsky ad Köig [3] for problems ivolvig measures other tha volume; Brzeziski [8] for recet work o slices of products of Euclidea balls; Bobkov ad Chistyakov [4], [5] for coectios to sums of idepedet radom variables. Recetly, bouds for margials of arbitrary bouded desities have bee foud by S. Da ad the secod ad third-amed authors [9]. They obtai extremal iequalities for certai averages, e.g., for ay k ad f : R R + satisfyig f L (R ) f L (R ) ad f() f L (R ), oe has (.8) π E (f)() dµ,k (E) π E ( D )() dµ,k (E), G,k G,k where µ,k is the Haar probability measure o G,k ad D is the Euclidea ball i R of volume oe cetered at the origi. Usig a idea from the proof of Theorem., we also obtai the followig stregtheig of (.8) withi the class F. Propositio.. Let k < ad f F. The (.9) π E (f)() dµ,k (E) π E ( Q )() dµ,k (E). G,k G,k

4 4 G. LIVSHYTS, G. PAOURIS, P. PIVOVAROV The latter ca be see as a type of average domiatio of margials of Q over those of f F. This complemets the poitwise domiatio of Rogozi s Theorem (.) whe k ad the worst-case compariso i (.6) whe k / or k divides. As i [9], iequality (.9) is aother step i extedig results about dual affie quermassitegrals (we recall the defiitio i 4) from covex sets to fuctios i order to quatify characteristics of high-dimesioal probability measures.. Prelimiaries The settig is Euclidea spacer with the stadard basis{e,...,e }, usual ier product,, Euclidea orm ad uit spheres. We reserve k for k-dimesioal Lebesgue measure; the subscript k will be omitted if the cotext is clear. We deote the positive reals by R +. For a Borel set A R of fiite Lebesgue measure, the symmetric rearragemet A of A is the symmetric iterval A [ A /, A /]. For a itegrable fuctio g : R [, ) its symmetric decreasig rearragemet g is defied by g (x) {g>t} (x)dt. This ca be compared with the layer-cake represetatio of g: (.) g(x) {g>t} (x)dt g L (R) {g>t} (x)dt. The g ad g are equimeasurable, i.e., {g > t} {g > t} for each t >. I particular, g L p (R) g L p (R) for p. 3. Adaptig Ball s argumets We start with the followig basic fact used i [], [], proved for completeess. Lemma 3.. Let b (b,...,b ) S ad let A be a measurable subset of b with dim(spa(a)) k {,..., }. The for each i, b i A k P i (A) k, where P i P e i is the orthogoal projectio oto e i. Proof. We may assume that P i : b e i is ijective (otherwise b i ad the iequality is trivial). We may also assume that b ±e i (otherwise equality holds). Let v,...,v k be a orthoormal basis of spa(a) with v e P i b i b i b ad v P i b,...,v k orthogoal to both

5 SHARP BOUNDS FOR MARGINAL DENSITIES 5 e i ad b. The P i (v i ) v i for i, ad P i (v ) b i. Cosider the k-dimesioal cube C k i [,v i] spa(a). The P i C is a k-dimesioal box i e i with the sides b i,,...,. Hece P i (C) k b i C k. Thus the lemma is true for coordiate cubes i spa(a). The iequality follows by approximatig A by disjoit cubes. Sice P i b is ijective, the images of such cubes uder P i remai disjoit. The first igrediet i Ball s approach is the followig itegral iequality []. Theorem 3.. For every p, (3.) sit π t p dt p. The secod igrediet is Ball s ormalized form [] of the Brascamp- Lieb iequality [6]. Theorem 3.3. Letu,...,u be uit vectors i R, m, adc,...,c m > satisfyig m c iu i u i I. The for itegrable fuctios f,...,f m : R [, ), m m ( ) ci (3.) f i ( u i,x ) c i dx f i. R R i There is equality if the f is are idetical Gaussia desities. We will also use the followig stadard fact, proved for the coveiece of the reader. Lemma 3.4. Let k < ad E G,k. The there exist vectors w,...,w i R k spa{e,...,e k } such that I k i w i w i ad for ay itegrable fuctio f(x) i f i(x i ) with f i : R [, ), (3.3) π E (f)() f i ( y,w i )dy. R k i Proof. Let v,...,v k R be a orthoormal basis of E ad let w i be defied by i w i : ( v,e i,..., v k,e i ), i. I matrix terms, ifv is the ( k) matrix with columsv,...,v k, the w i V T e i, where V T is the traspose of V. The w i wi T V T e i e T i V I R k i i

6 6 G. LIVSHYTS, G. PAOURIS, P. PIVOVAROV ad π E (f)() ( k f(y)dy f y i v i )dy E R k i f i ( Vy,e i )dy f i ( y,w i )dy. R k i R k i The followig two propositios exted Ball s estimates o slices of the cube to coordiate boxes. It is essetial that we obtai estimates that are uiform amog all such boxes. The proofs draw heavily o []. Propositio 3.5. Let k < ad H G, k. The there exists {β i } i [,] with i β i k such that for ay z,...,z R +, the box B i [ z i/,z i /] satisfies ( ) k (3.4) B H z β i i. k Proof. Let w,...,w be as i Lemma 3.4 (with k ad k iterchaged). For i,...,, let u i w i / w i ad a i w i ad β i a i. For z,...,z R +, we apply (3.3) with f B ad E H to get i B H π H ( B )() z [ i, z i ] ( y,w i )dy R k i R k i Usig Theorem 3.3, the latter is at most ( ) a i (3.5) z [ i, z i a i a i ](t)dt i R [ z i a i, z i a i ]( y,u i )dy. i ( zi As i [, Proof of Propositio 4], we use the boud a i ) a i. i a a i i from which the lemma follows. ( ) k, k

7 SHARP BOUNDS FOR MARGINAL DENSITIES 7 Propositio 3.6. Let k / ad H G, k. The there exists {β j } j [,] with i β i k such that for ay z,...,z R +, the box B j [ z j/,z j /] satisfies (3.6) B H k/ j z β j j. Proof. Assume first that all uit vectors b (b,...,b ) H, satisfy b i for each i,...,. Let P P H be the orthogoal projectio oto H. For i,...,, let u i Pe i ad a Pe i i Pe i. Note that (3.7) (i) a i u i u i I H, (ii) a i k. i By our assumptio, all a i, sice a i is the i-th coordiate of the uit vector u i i H. Assume for the time beig that z,...,z are fixed ad satisfy B j z j. Let X (X,...,X ) be a radom vector with desity B ad Y (Y,...,Y ) be a radom vector with desity Q. The characteristic fuctio Φ : H R of PX satisfies ( Φ(w) Eexp i w, PX ) ( ) Eexp i X j a j w,u j Eexp j ( i j i ) Y j z j a j w,u j j si z ja j w,u j. z j a j w,u j Sice the margial desity π H ( B ) is cotiuous, we ca apply the Fourier iversio formula (e.g., [, Theorem 9.5.4]) to obtai B H π H ( B )() Φ(w)dw (π) k H siz j a j w,u j dw π k z j a j w,u j H j

8 8 G. LIVSHYTS, G. PAOURIS, P. PIVOVAROV π k π k H j H j siz j a j w,u j z j a j w,u j Φ j ( w,u j )dw, where Φ j : R [, ) is defied by Φ j (t) Theorem 3.3 with c j a j ( (3.8) Φ π k j (t) j R siz ja j t z j a j t dw implies that B H is at most ) a j a j dt j ( π R (cf. (3.7)). Fially, we use Theorem 3.: a Φ j (t) j dt siz j a j t π R π R z j a j t ( z j a j π R. z j. Cosequetly, ) a j a Φ j (t) j dt a j sit t I summary, for ay z,...,z R + with B j z j, we have ( ) a j (3.9) B H k/ z a j j. j For a arbitrary box B j [ z j z j, z j (3.) B H k/ z j j j j dt a j dt ) ], we get via scalig that z a j j k/ z β j j, where β j a j. Note that we assumed a j, so i fact β j [,]. Suppose ow that there exists a uit vector b H such that b i for some i. By iductio, assume the propositio is true for all dimesios at most ad for all k. For z,...,z R +, ote that the cylider { C x R : x j z } j j i satisfies B H C H. By Lemma 3., j (3.) C H b i P i (C H) B H,

9 SHARP BOUNDS FOR MARGINAL DENSITIES 9 where B is a ( ) dimesioal box with sides {z j } j i ad H P i H is a (k )-codimesioal subspace i R. If k, the B H B j i z j, ad thus B H j i z j, hece the propositio holds with β j for j i. If k, we use the iductive hypothesis: there exists {β j } j i [,] with j i β j (k ) k such that B H (k )/ j i z β j j. Usig (3.), ad takig β j, we coclude that B H k/ j i z β j j. 4. Proofs of Theorem. ad Propositio. Proof of Theorem.. By traslatig if ecessary, we may assume that (4.) π E (f) L (E) π E(f)(). Fori,...,, set c i f i L (R) ad cosider the box C i [,c i]. Let w,...,w be as i Lemma 3.4. Usig (3.3), the rearragemet iequality of Rogers [6] ad Brascamp-Lieb-Luttiger [7], ad the layercake represetatio (.), we have π E (f)() f i ( y,w i )dy R k i R k i c c fi ( y,w i )dy R k i {f i >t i }( x,w i )dxdt...dt. Write dt dt...dt ad M ( k ) k. Sice each f i is symmetric ad decreasig, the set{f i > t i } is a symmetric iterval. Cosequetly,

10 G. LIVSHYTS, G. PAOURIS, P. PIVOVAROV we apply Propositio 3.5 with z i : {fi > t i }, i,...,, to get π E (f)() M {fi > t i } β i dt M M C i i i c β i i c β i i ; i f i β i L (R) here we used Fubii s theorem, Hölder s iequality ad the fact that (4.) ci {fi > t i } dt i fi L (R) f i L (R), i,...,. Thus settig γ i β i, i,...,, we obtai the first estimate i the theorem. Repeatig the latter argumet with M k/, usig Propositio 3.6, cocludes the proof of the theorem. Before provig Propositio., we recall the followig otio, proposed by Lutwak: if K is a covex body i R, ad k <, the dual affie quermassitegrals of K are defied by (4.3) Φk (K) ω ω k ( G,k K E dµ,k (E) where ω is the volume of the Euclidea ball i R of radius oe; see [4], [5] for further backgroud. Griberg [] proved that (4.4) Φk (K) Φ k (SK) for each volume-preservig liear trasformatio S; see [9] for a geeralizatio of the latter ivariace property for fuctios. Proof of Propositio.. Let w,...,w be as i Lemma 3.4. As i the proof of Theorem., π E (f)() {f i >t i }( x,w i )dxdt...dt R k i [,] B(t) E dt, where B(t) is the origi-symmetric box with side-legths {f i t i }, i,...,. Thus G,k π E (f)() dµ,k (E) ),

11 G,k G,k SHARP BOUNDS FOR MARGINAL DENSITIES ( ) B(t) E dt dµ,k(e) [,] ( ) k {fj > t j } B(t) E dt [,] j dµ,k (E), where B(t) B(t)/ B(t) /. Usig Hölder s iequality (twice), alog with (4.) ad (4.4), we get π E (f)() dµ,k (E) B(t) E dµ,k (E)dt G,k [,] G,k Q E dµ,k (E). G,k 5. Ackowledgemets It is our pleasure to thak Alex Koldobsky for helpful discussios. Galya Livshyts would like to thak the Uiversity of Missouri ad Texas A&M Uiversity for their hospitality durig visits i which this project started. Galya Livshyts is supported by a Ket State Uiversity Fellowship ad US NSF grat 636 (to A. Zvavitch ad D. Ryabogi). Grigoris Paouris is supported by the A. Sloa Foudatio, US NSF grat CAREER-57 ad BSF grat 88. This work was also partially supported by a grat from the Simos Foudatio (#37733 to Peter Pivovarov). Refereces. K. Ball, Cube slicig i R, Proc. Amer. Math. Soc. 97 (986), o. 3, , Volumes of sectios of cubes ad related problems, Geometric aspects of fuctioal aalysis (987 88), Lecture Notes i Math., vol. 376, Spriger, Berli, 989, pp F. Barthe, O a reverse form of the Brascamp-Lieb iequality, Ivet. Math. 34 (998), o., S. G. Bobkov ad G. P. Chistyakov, Bouds for the maximum of the desity of the sum of idepedet radom variables, Zap. Nauch. Sem. S.-Peterburg. Otdel. Mat. Ist. Steklov. (POMI) 48 (), o. Veroyatost i Statistika. 8, 6 73, , O Cocetratio Fuctios of Radom Variables, J. Theoret. Probab. 8 (5), o. 3, H. J. Brascamp ad E. H. Lieb, Best costats i Youg s iequality, its coverse, ad its geeralizatio to more tha three fuctios, Advaces i Math. (976), o., H. J. Brascamp, Elliott H. Lieb, ad J. M. Luttiger, A geeral rearragemet iequality for multiple itegrals, J. Fuctioal Aalysis 7 (974), 7 37.

12 G. LIVSHYTS, G. PAOURIS, P. PIVOVAROV 8. P. Brzeziski, Volume estimates for sectios of certai covex bodies, Math. Nachr. 86 (3), o. 7-8, S. Da, P. Paouris, ad P. Pivovarov, Boudig margial desities via affie isoperimetry, R. M. Dudley, Real aalysis ad probability, Cambridge Studies i Advaced Mathematics, vol. 74, Cambridge Uiversity Press, Cambridge,, Revised reprit of the 989 origial.. E. Gluski, O the multivariable versio of Ball s slicig cube theorem, Geometric aspects of fuctioal aalysis, Lecture Notes i Math., vol. 85, Spriger, Berli, 4, pp. 7.. E. L. Griberg, Isoperimetric iequalities ad idetities for k-dimesioal cross-sectios of covex bodies, Math. A. 9 (99), o., H. Köig ad A. Koldobsky, O the maximal measure of sectios of the -cube, Geometric aalysis, mathematical relativity, ad oliear partial differetial equatios, Cotemp. Math., vol. 599, Amer. Math. Soc., Providece, RI, 3, pp E. Lutwak, A geeral isepiphaic iequality, Proc. Amer. Math. Soc. 9 (984), o. 3, , Itersectio bodies ad dual mixed volumes, Adv. i Math. 7 (988), o., C. A. Rogers, A sigle itegral iequality, J. Lodo Math. Soc. 3 (957), B. A. Rogozi, A estimate for the maximum of the covolutio of bouded desities, Teor. Veroyatost. i Primee. 3 (987), o., 53 6, Eglish traslatio:theory Probab. Appl. 3 (987), o., M. Rudelso ad R. Vershyi, Small ball probabilities for liear images of high dimesioal distributios, It. Math. Res. Not., doi:.93/imr/ru K. Tikhomirov, The smallest sigular value of radom rectagular matrices with o momet assumptios o etries, Galya Livshyts: School of Mathematics, Georgia Istitute of Techology, Atlata GA 339, glivshyts6@math.gatech.edu Grigoris Paouris: Departmet of Mathematics (Mailstop 3368), Texas A&M Uiversity, College Statio, TX , grigoris@math.tamu.edu Peter Pivovarov: Mathematics Departmet, Uiversity of Missouri, Columbia, MO 65, pivovarovp@missouri.edu