On Extensions of the Loomis-Whitney Inequality and Ball's Inequality for Concave, Homogeneous Measures
aa r X i v : . [ m a t h . M G ] J a n ON EXTENSIONS OF THE LOOMIS-WHITNEY INEQUALITY AND BALL’SINEQUALITY FOR CONCAVE, HOMOGENEOUS MEASURES
JOHANNES HOSLE
Abstract.
The Loomis-Whitney inequality states that the volume of a convex body is bounded by theproduct of volumes of its projections onto orthogonal hyperplanes. We provide an extension of both thisfact and a generalization of this fact due to Ball to the context of q − concave, q − homogeneous measures. Introduction
The Loomis-Whitney inequality [LW49] is a well-known geometric inequality concerning convex bodies,compact and convex sets with nonempty interior. Explicitly, the inequality states that if u , ..., u n forman orthonormal basis of R n and K is a convex body in R n , then | K | n − ≤ n Y i =1 | K | u ⊥ i | , where K | u ⊥ i denotes the projection of K onto u ⊥ i , the hyperplane orthogonal to u i . Equality occurs ifand only if K is a box with faces parallel to the hyperplanes u ⊥ i . This was generalized by Ball [Bal91],who showed that if u , ..., u m are vectors in R n and c , ..., c m positive constants such that m X i =1 c i u i ⊗ u i = I n , (1.1)then | K | n − ≤ m Y i =1 | K | u i | c i . Here u i ⊗ u i denotes the rank 1 projection onto the span of u i , so ( u i ⊗ u i )( x ) = h x, u i i u i with h· , ·i representing the standard Euclidean inner product, and I n is the identity on R n . What will be usefullater is the fact that m X i =1 c i = n, (1.2)which follows by comparing traces in (1.1).The Loomis-Whitney inequality and Ball’s inequality have been the subject of various generalizations.For instance, Huang and Li [HL17] provided an extension of Ball’s inequality with intrinsic volumes eplacing volumes and an arbitrary even isotropic measure replacing the discrete measure P mi =1 c i δ u i in the condition R S n − u ⊗ u d ( P mi =1 c i δ u i ) ( u ) = I n of (1.1). They [LH16] also demonstrated the L p Loomis-Whitney inequality for even isotropic measures, while Lv [Lv19] very recently demonstrated the L ∞ Loomis-Whitney inequality.In this paper, we will first give a generalization of the original Loomis-Whitney inequality to the contextof q − concave, q − homogeneous measures. Using a different argument, we shall then prove a generalizationof Ball’s inequality. Our two theorems are independent in the sense that the first is not recovered whenspecializing the second to the case of u , ...u n being an orthonormal basis and c = ... = c n = 1. Therefore,in fact, two different extensions of the Loomis-Whitney inequality are given.Let us recall the necessary definitions. Definition 1.1.
A function f : R n → [0 , ∞ ] is p − concave for some p ∈ R \ { } if for all λ ∈ [0 ,
1] and x, y ∈ supp( f ) we have f ( λx + (1 − λ ) y ) ≥ ( λf p ( x ) + (1 − λ ) f p ( y )) p . Definition 1.2.
A function f : R n → [0 , ∞ ] is r − homogeneous if for all a > , x ∈ R n we have f ( ax ) = a r f ( x ).We will interested in the functions g that are both s − concave for some s > p − homogeneousfor some p >
0. In this case, we get that in fact g is p -concave (see e.g. Livshyts [Liv]). Continuity willbe assumed throughout. An example of a p − concave, p − homogeneous function is g ( x ) = 1 h x,θ i > h x, θ i p ,where θ is a vector. All such functions g , with the exception of constant functions, will be supported onconvex cones. To see this, observe that concavity implies that the support is convex and homogeneityimplies that if x ∈ supp( g ) then tx ∈ supp( g ) for all t >
0. Moreover, we cannot have both x, − x ∈ supp( g ), for then concavity will give g (0) = g (cid:0) x + ( − x ) (cid:1) >
0, but g (0) = 0 by homogeneity.A notation we will use is ˜ g ( x ) = g ( x ) + g ( − x ) . If µ is a measure with a p − concave, p − homogeneous density, then a change of variables will showthat µ is n + p homogeneous, that is µ ( tK ) = t n + p µ ( K ). From a result of Borell [Bor75], we also haveconcavity: Lemma 1.3 (Borell) . Let p ∈ (cid:0) − n , ∞ (cid:3) and let µ be a measure on R n with p − concave density g . For q = n + p , µ is a q − concave measure, that is for measurable sets E, F and λ ∈ [0 , we have µ ( λE + (1 − λ ) F ) ≥ ( λµ ( E ) q + (1 − λ ) µ ( F ) q ) q . o now define the generalized notion of projection for measures, one requires the definition of mixedmeasures (see e.g. Livshyts [Liv]). Definition 1.4.
Let
A, B be measurable sets in R n . We define µ ( A, B ) = lim inf ε → µ ( A + εB ) − µ ( A ) ε to be the mixed µ − measure of A and B .An important simple fact, which follows from Lemma 3.3 in Livshyts [Liv], is that mixed measure islinear in the second variable, so µ ( K, E + tF ) = µ ( K, E ) + tµ ( K, F )(1.3)for t ≥ q − concave measures, we have the following generalization of Minkowski’s first inequality (see e.g.Milman and Rotem [MR14]): Lemma 1.5.
Let µ be a q − concave measure and A, B be measurable sets in R n . Then, µ ( A ) − q µ ( B ) q ≤ qµ ( A, B ) . We now turn to discussing the generalized notion of projection. This notion, defined by Livshyts [Liv],is P µ,K ( θ ) = n Z µ ( tK, [ − θ, θ ]) dt (1.4)for θ ∈ S n − , where K is a convex body, µ is an absolutely continuous measure, and [ − θ, θ ] = { tθ : t ∈ [ − , } . This is a natural extension of the identity | K | θ ⊥ | = λ ( K, [ − θ, θ ]), with λ denoting Lebesguemeasure, which can be readily seen for polytopes and follows in the general case by approximation.In [Liv], a version of the Shephard problem for q − concave, q − homogeneous measures was provenwith this notion of measure. The author in [Hos] studied the related section and projection comparisonproblems, including for this same class of q − concave, q − homogeneous measures.With (1.4), we can now state our first theorem: heorem 1.6. Let µ be a measure with p − concave, p − homogeneous density g for some p > . Then,for any convex body K and an orthonormal basis ( u i ) ni =1 with [ − u i , u i ] ∩ supp ( g ) = ∅ for each ≤ i ≤ n , µ ( K ) n + p − ≤ n + p (cid:18) pn (cid:19) n n X k =1 ˜ g p ( u k ) ! − p n Y i =1 P µ,K ( u i ) ˜ gp ( ui ) p P nk =1 ˜ gp ( uk ) . Before we state our generalization of Ball’s inequality, we introduce another definition. Let S = { ( u i ) mi =1 } be a set of unit vectors in R n . Then we define S (1) to be the set of u ij = u i −h u i ,u j i u j | u i −h u i ,u j i u j | , thenormalized projection of u i onto the hyperplane u ⊥ j , for 1 ≤ i, j ≤ m. Recursively defining S ( k ) =( S ( k − ) (1) , we set P = P (( u i ) mi =1 ) := S ∪ S (1) ∪ ... ∪ S ( n − , (1.5)some finite sets depending on our initial choice of { ( u i ) mi =1 } . Our generalization of Ball’s inequality is thefollowing: Theorem 1.7.
Let µ be a measure with p − concave, p − homogeneous density g for some p > . If ( u i ) mi =1 are unit vectors in R n and ( c i ) mi =1 are positive constant such that m X i =1 c i u i ⊗ u i = I n and moreover [ − u, u ] ∩ supp ( g ) = ∅ for each u ∈ P (( u i ) mi =1 ) , then µ ( K ) n + p − ≤ n + p (cid:18) inf u ∈P ˜ g ( u ) (cid:19) − n Y k =1 (cid:18) kp (cid:19) m Y i =1 P µ,K ( u i ) c i (cid:16) pn (cid:17) for any convex body K . Observe that the condition [ − u, u ] ∩ supp( g ) = ∅ is not particularly restrictive. For instance, if weconsider g whose support is a half space with boundary a half plane P , then the condition simply reducesto the fact that some finite number of points do not lie on P . Remark . Consider g ( x ) = 1 h x,θ i > h x, θ i p where either u i θ ⊥ for 1 ≤ i ≤ n with the assumptionsof Theorem 1.6 or u θ ⊥ for each u ∈ P (( u i ) mi =1 ) in the assumptions of Theorem 1.7. Then, taking p → ∞ , Theorem 1.6 and Theorem 1.7 recover the results for Lebesgue measure up to a dimensionalconstant of 2 n . The reason for this extra factor of 2 n comes from the fact that nonconstant p − concave, p − homogeneous densities are supported on at most a half-space, which therefore restricts us to onlybeing able to get inequalities on ’half’ of our domain. cknowledgements. I am very grateful to Galyna Livshyts and Kateryna Tatarko for helpful discus-sions on this topic and comments on this manuscript. I would also like to thank the anonymous refereefor comments that improved the exposition of this paper.2.
Extension of the Loomis-Whitney Inequality
We begin with a lemma providing us with a lower bound for the measure of a face of a parallelapiped.With homogeneity, this will give us a lower bound for the measure of a parallelapiped, which will be akey ingredient in the proof of Theorem 1.6.
Lemma 2.1.
Let g, µ, ( u i ) ni =1 be as in the statement of Theorem 1.6, let F i = { u = α i u i + X j = i β j u j : | β j | ≤ α j } , where α , .., α n are positive constants, and suppose that u i ∈ supp ( g ) . Then, µ n − ( F i ) ≥ (cid:18) pnpn + 1 (cid:19) n (cid:18) g p ( u i ) p P nk =1 ˜ g p ( u k ) (cid:19) n X i =1 ˜ g p ( u i ) ! p α − i n Y j =1 α ˜ gp ( uj ) p P ni =1 ˜ gp ( ui ) j , where µ n − ( F i ) denotes the integral of g over the ( n − − dimensional set F i .Proof. For simplicity of notations, we deal with the case i = 1. We begin by writing µ n − ( F ) as anintegral of g over F , subdividing the domain of integration, and using homogeneity: µ n − ( F ) := Z v = α u + P nj =2 β j u j | β j | ≤ α j g ( v ) dv = X σ =( ± ,..., ± Z α n ... Z α g α u + n X j =2 β j σ ( j ) u j dβ ...dβ n = X σ =( ± ,..., ± Z α n ... Z α α + n X j =2 β j p g α α + P nj =2 β j u + n X j =2 β j α + P nj =2 β j σ ( j ) u j dβ ...dβ n = X σ =( ± ,..., ± I σ . If we take σ ′ such that σ ′ ( j ) u j ∈ supp( g ) for each j (which can be done by the hypothesis of Theorem1.6), then µ n − ( F ) ≥ I σ ′ . (2.1) y p − concavity and the fact that g ( σ ′ ( j ) u j ) = ˜ g ( u j ), I σ ′ ≥ Z α n ... Z α α + n X j =2 β j p α α + P nj =2 β j ˜ g p ( u ) + n X j =2 β j α + P nj =2 β j ˜ g p ( u j ) p dβ ...dβ n = Z α n ... Z α α ˜ g p ( u ) + n X j =2 β j ˜ g p ( u j ) p dβ ...dβ n = n X i =1 ˜ g p ( u i ) ! p Z α n ... Z α α ˜ g p ( u ) P ni =1 ˜ g p ( u i ) + n X j =2 β j ˜ g p ( u j ) P ni =1 ˜ g p ( u i ) p dβ ...dβ n . Inserting the bound α ˜ g p ( u ) P ni =1 ˜ g p ( u i ) + n X j =2 β j ˜ g p ( u j ) P ni =1 ˜ g p ( u i ) ≥ α ˜ gp ( u P ni =1 ˜ gp ( ui ) n Y j =2 β ˜ gp ( uj ) P ni =1 ˜ gp ( ui ) j from the arithmetic mean-geometric mean inequality under the integral gives I σ ′ ≥ n X i =1 ˜ g p ( u i ) ! p α ˜ gp ( u p P ni =1 ˜ gp ( ui ) n Y j =2
11 + ˜ g p ( u j ) p P ni =1 ˜ g p ( u i ) α ˜ gp ( uj ) p P ni =1 ˜ gp ( ui ) j = (cid:18) g p ( u ) p P ni =1 ˜ g p ( u i ) (cid:19) n X i =1 ˜ g p ( u i ) ! p α − n Y j =1
11 + ˜ g p ( u j ) p P ni =1 ˜ g p ( u i ) α ˜ gp ( uj ) p P ni =1 ˜ gp ( ui ) j . Again by the arithmetic mean-geometric mean inequality, n Y j =1 (cid:18) g p ( u j ) p P ni =1 ˜ g p ( u i ) (cid:19) ≤ (cid:18) pn (cid:19) n , and thus I σ ′ ≥ (cid:18) pnpn + 1 (cid:19) n (cid:18) g p ( u ) p P ni =1 ˜ g p ( u i ) (cid:19) n X i =1 ˜ g p ( u i ) ! p α − n Y j =1 α ˜ gp ( uj ) p P ni =1 ˜ gp ( ui ) j . By (2.1), our proof is complete. (cid:3)
For the proof of our theorem, we will recall the definition of a zonotope. A zonotope is simply aMinkowski sum of line segments Z = m X i =1 [ − x i , x i ] . y linearity (1.3), if Z = P mi =1 α i [ − u i , u i ] for unit vectors u i and α i positive constants, then µ ( K, Z ) = m X i =1 α i µ ( K, [ − u i , u i ])for a convex body K . Since our measure µ is homogeneous, P µ,K ( u i ) = n Z µ ( tK, [ − u i , u i ]) dt = n Z t q − dtµ ( K, [ − u i , u i ])= qn µ ( K, [ − u i , u i ])by (1.4). Therefore, µ ( K, Z ) = 2 nq m X i =1 α i P µ,K ( u i ) . (2.2)We now prove our theorem: Proof of Theorem 1.6.
Let Z be the zonotope P ni =1 α i [ − u i , u i ] with α i = P µ,K ( u i ) for 1 ≤ i ≤ n . ByLemma 1.5, (2.2), and our choice of α i , µ ( K ) − q ≤ qµ ( Z ) − q µ ( K, Z )= 2 µ ( Z ) − q , and so µ ( K ) q − ≤ q µ ( Z ) − . (2.3)Without loss of generality, we assume that u i ∈ supp( g ) and g ( − u i ) = 0 for each i . Let F i denote theface of Z orthogonal to and touching α i u i , and subdivide Z into pyramids with bases of F i , apex at theorigin, and height of α i . By homogeneity, µ ( Z ) = n X i =1 Z α i µ n − (cid:18) tα i F i (cid:19) dt = n X i =1 (cid:18)Z α i t q − dt (cid:19) α − q i µ n − ( F i )= q n X i =1 α i µ n − ( F i ) . pplying Lemma 2.1, we have µ ( Z ) ≥ n + p (cid:18) pnpn + 1 (cid:19) n n X i =1 ˜ g p ( u i ) ! p n Y j =1 α ˜ gp ( uj ) p P ni =1 ˜ gp ( ui ) j n X i =1 (cid:18) g p ( u i ) p P nk =1 ˜ g p ( u k ) (cid:19) = (cid:18) pnpn + 1 (cid:19) n n X i =1 ˜ g p ( u i ) ! p n Y j =1 α ˜ gp ( uj ) p P ni =1 ˜ gp ( ui ) j . Combining this bound with (2.3) and recalling that α i = P µ,K ( u i ) , our desired inequality is proven. (cid:3) Extension of Ball’s Inequality
As in the previous section, we will require an estimate from below for the measure of a zonotope.However, mimicking the approach of Ball [Bal91], rather than estimating the measures of the facesdirectly, we shall first project them. A main difference from Ball’s proof stems from the lack of translationinvariance of our measure, but we will circumvent this obstacle by an appropriate inequality (3.2) comingfrom concavity.
Lemma 3.1.
Let g, µ, ( u i ) mi =1 , ( c i ) mi =1 be as in the statement of Theorem 1.7. Let Z = P mi =1 α i [ − u i , u i ] be a zonotope. Then µ ( Z ) ≥ (cid:18) inf u ∈P ˜ g ( u ) (cid:19) n Y k =1 kk + p ! m Y i =1 (cid:18) α i c i (cid:19) c i (cid:16) pn (cid:17) . Proof.
Following Ball [Bal91], we induct on the dimension n . First consider the case n = 1. We can thenassume u = ... = u m and without loss of generality g ( u ) = ˜ g ( u ) > g ( − u ) = 0. Then µ ( Z ) = µ m X i =1 α i ! [ − u , u ] ! = Z P mi =1 α i g ( tu ) dt = Z P mi =1 α i t p dt ! g ( u )= 11 + p m X i =1 α i ! p g ( u ) . Since n = 1, (1.2) implies P mi =1 c i = 1, and therefore by the arithmetic mean-geometric mean inequality m X i =1 α i = m X i =1 c i α i c i ≥ m Y i =1 (cid:18) α i c i (cid:19) c i . his concludes the proof for n = 1.Let us assume we now have our result for dimension n −
1, and consider the case of dimension n .Firstly, observe that homogeneity implies µ ( Z, Z ) = lim inf ε → µ ( Z + εZ ) − µ ( Z ) ε = lim inf ε → µ ( Z ) (1 + ε ) q − ε = 1 q µ ( Z ) . Therefore, µ ( Z ) = qµ ( Z, Z )= q m X i =1 α i µ ( Z, [ − u i , u i ])= qn m X i =1 c i n α i c i µ ( Z, [ − u i , u i ]) . Since P mi =1 c i n = 1, we use the arithmetic mean-geometric mean inequality once again to get µ ( Z ) ≥ qn m Y i =1 (cid:18) α i c i µ ( Z, [ − u i , u i ]) (cid:19) cin . (3.1)Let P i Z denote the projection of Z onto the hyperplane u ⊥ i . We wish to show µ ( Z, [ − u i , u i ]) ≥ µ n − ( P i Z ) , (3.2)where µ n − denotes integration of the density g over the ( n − − dimensional set P i Z . This will com-pensate for the lack of translation invariance of our measure.By assumption, one of u i and − u i lies in supp( g ). Without loss of generality, u i ∈ supp( g ). For w ∈ R n and t >
0, concavity and homogeneity give us g ( w + tu i ) ≥ ( g p ( w ) + tg p ( u i )) p ≥ g ( w ) . To be precise, concavity gives this to us when w ∈ supp( g ), but when w supp( g ) this is trivial. Thisinequality is equivalent to the statement that g ( w + t u i ) ≥ g ( w + t u i )(3.3)for any w ∈ R n and t ≥ t . or each w ∈ P i Z , let t ( w ) ≥ w + t ( w ) u i ∈ ∂Z . We now write µ ( Z, [ − u i , u i ]) = lim inf ε → µ ( Z + ε [ − u i , u i ]) − µ ( Z ) ε = lim inf ε → µ (( Z + ε [ − u i , u i ]) \ Z ) ε ≥ lim inf ε → µ (( Z + ε [0 , u i ]) \ Z ) ε = lim inf ε → ε Z P i Z Z t ( h )+ εt ( h ) g ( h + su i ) dsdh, where our integral of the density is taken over the region ( Z + [0 , u i ]) \ Z . By (3.3) and continuity,lim inf ε → ε Z P i Z Z t ( h )+ εt ( h ) g ( h + su i ) dsdh ≥ lim inf ε → ε Z P i Z Z ε g ( h + su i ) dsdh = µ n − ( P i Z ) . This proves (3.2).Denoting the projection of u j onto u ⊥ i by P i ( u j ), we have that P i Z is the zonotope P i Z = m X j =1 α j [ − P i ( u j ) , P i ( u j )]= m X i =1 α i γ ji [ − u ji , u ji ] , where γ ji = | u j − h u i , u j i u i | . A simple computation shows γ ji = 1 − h u i , u j i .We also have P i = m X j =1 c j P i u j ⊗ P i u j = m X j =1 γ ji c j u ji ⊗ u ji , and this is the identity operator on u ⊥ i . By (3.1), (3.2), and our inductive hypothesis, µ ( Z ) ≥ nn + p m Y i =1 (cid:18) α i c i µ n − ( P i Z ) (cid:19) cin ≥ n Y k =1 kk + p m Y i =1 α i c i inf u ∈P (( u ji ) mj =1 ) ˜ g ( u ) ! m Y j =1 α j γ ji c j γ ji ! c j γ ji (cid:16) p ( n − (cid:17) cin (cid:18) inf u ∈P ˜ g ( u ) (cid:19) n Y k =1 kk + p ! m Y i,j =1 (cid:18) α i c i (cid:19) c i (cid:18) α j c j γ ji (cid:19) c i c j γ ji (cid:16) p ( n − (cid:17) n . From the inequality γ ji ≥ m X i =1 c i γ ji = m X i =1 c i (1 − h u i , u j i ) = n − , an appropriate grouping of elements in our product completes the proof. (cid:3) As before, the proof of Theorem 1.7 now follows:
Proof of Theorem 1.7.
Let Z be the zonotope P mi =1 α i [ − u i , u i ] where α i = c i P µ,K ( u i ) for 1 ≤ i ≤ m . Bythe same argument as in the proof of Theorem 1.6, where we must use (1.2), µ ( K ) q − ≤ q µ ( Z ) − . By Lemma 3.1, we reach µ ( K ) q − ≤ q (cid:18) inf u ∈P ˜ g ( u ) (cid:19) − n Y k =1 (cid:18) kp (cid:19) m Y i =1 P µ,K ( u i ) c i (cid:16) pn (cid:17) as desired. (cid:3) References [Bal91] K. Ball. Shadows of convex bodies.
Trans. Amer. Math. Soc. , 327(2):891–901, 1991.[Bor75] C. Borell. Convex set functions in d -space. Period. Math. Hungar. , 6(2):111–136, 1975.[HL17] Q. Huang and A.-J. Li. On the Loomis-Whitney inequality for isotropic measures.
Int. Math. Res. Not. IMRN ,(6):1641–1652, 2017.[Hos] J. Hosle. On the Comparison of Measures of Convex Bodies via Projections and Sections.
Int. Math. Res. Not.IMRN, rnz215, https://doi.org/10.1093/imrn/rnz215.[LH16] A.-J. Li and Q. Huang. The L p Loomis-Whitney inequality.
Adv. in Appl. Math. , 75:94–115, 2016.[Liv] G. Livshyts. An extension of Minkowski’s theorem and its applications to questions about projections for measures.
Adv. Math. , 356, 2019.[Lv19] S. Lv. L ∞ Loomis-Whitney inequalities.
Geom. Dedicata , 199:335–353, 2019.[LW49] L. H. Loomis and H. Whitney. An inequality related to the isoperimetric inequality.
Bull. Amer. Math. Soc , 55:961–962, 1949.[MR14] E. Milman and L. Rotem. Complemented Brunn-Minkowski inequalities and isoperimetry for homogeneous andnon-homogeneous measures.
Adv. Math. , 262:867–908, 2014. epartment of Mathematics, University of California, Los Angeles, CA 90095 E-mail address : [email protected]@ucla.edu