An extension of Milman s reverse Brunn-Minowsi inequality by Jesús Bastero *, Julio Bernués * and Ana Peña * Departamento de Matemáticas. Facultad de Ciencias Universidad de Zaragoza 50009-Zaragoza Spain) arxiv:math/950110v1 [math.fa] 4 Jan 1995 0. Introduction The classical Brunn-Minowsi inequality states that for A 1,A IR n compact, A 1 +A 1/n A 1 1/n + A 1/n 1) where denotes the Lebesgue measure on IR n. Brunn [Br] gave the first proof of this inequality for A 1,A compact convex sets, followed by an analytical proof by Minowsi [Min]. The inequality 1) for compact sets, not necessarily convex, was first proved by Lusterni [Lu]. A very simple proof of it can be found in [Pi 1], Ch. 1. It is easy to see that one cannot expect the reverse inequality to hold at all, even if it is perturbed by a fixed constant and we restrict ourselves to balls i.e. convex symmetric compact sets with the origin as an interior point). Tae for instance A 1 = {x 1...x n ) IR n x 1 ε, x i 1, i n} and A = {x 1...x n ) IR n x n ε, x i 1,1 i n 1}. In1986V. Milman[Mil 1]discoveredthatifB 1 andb areballsthereisalwaysarelativeposition ofb 1 and B forwhich a perturbed inverseof1) holds. Moreprecisely: Thereexists a constantc > 0 such that for all n IN and any balls B 1,B IR n we can find a linear transformation u:ir n IR n with detu) = 1 and ub 1 )+B 1/n C B 1 1/n + B 1/n ) The nature of this reverse Brunn-Minowsi inequality is absolutely different from others say reverse Blasche-Santaló inequality, etc.). Brunn-Minowsi inequality is an isoperimetric inequality, in IR n it is its first and most important consequence till now) and there is no inverse to isoperimetric inequalities. So, it was a new idea that in the class of affine images of convex bodies there is some ind of inverse. The result proved by Milman used hard technical tools see [Mil 1]). Pisier in [Pi ] gave a new proof by using interpolation and entropy estimates. Milman in [Mil ] gave another proof by using the convex surgery and achieving also some entropy estimates. The aim of this paper is to extend this Milman s result to a larger class of sets. Note that simple examples show that some conditions on a class of sets are clearly necessary. For B IR n body i.e. compact, with non empty interior), consider B 1 = B x 0, where x 0 is an interior point. If we denote by NB 1 ) = a 1 ab 1 the balanced ernel of B 1, it is clear that NB 1 ) is a balanced compact neighbourhood of the origin, so there exists c > 0 such that B 1 +B 1 cnb 1 ). The Aoi-Rolewicztheoremsee [Ro], [K-P-R])implies that there is 0 < p 1, namely p = log 1 c), such that B 1 B 1/p B 1, where B is the unit ball of some p-norm. This observation will allow us to wor in a p-convex enviroment. The above construction allows us to define the following parameter. For B a body let pb), 0 < pb) 1, be the supremum of the p for which there exist a measure preserving affine transformation * Partially supported by Grant DGICYT PS 90-010 AMS Class.: 46B0,. Key words: p-convexity, entropy 1
of B, TB), and a p-norm with unit ball B verifying TB) B and B 8 1/p B, by suitably adapting the results appearing in [Mil ], it is clear that pb) p for any p-convex body B). Our main theorem is, Theorem 1. Let 0 < p 1. There exists C = Cp) 1 such that for all n IN and all A 1,A IR n bodies such that pa 1 ),pa ) p, there exists an affine transformation Tx) = ux) + x 0 with x 0 IR n, u:ir n IR n linear and detu) = 1 such that TA 1 )+A 1/n C A 1 1/n + A 1/n ) In particular, for the class of p-balls the constant C is universal depending only on p). We prove this theorem in section. The ey is to estimate certain entropy numbers. We will use the convexity of quasi-normed spaces of Rademacher type r > 1, as well as interpolation results and iteration procedures. We want to than Gilles Pisier for a useful conversation during the preparation of this paper. 1. Notation and bacground Throughout the paper X, Y, Z will denote finite dimensional real vector spaces. A quasi-norm on a real vector space X is a map :X IR + such that i) x > 0 x 0. ii) tx = t x t IR,x X. iii) C 1 such that x+y C x + y ) x,y X If iii) is substituted by iii ) x+y p x p + y p for x,y X and some 0 < p 1, is called a p-norm on X. Denote by B X the unit ball of a quasi-normed or a p-normed space. The above observations concerning the p-convexification of our problem can be restated using p-norm and quasi-norm notation. Recall that any compact balanced set with 0 in its interior is the unit ball of a quasi-norm. By the concavity of the function t p, any p-norm is a quasi-norm with C = 1/p 1. Conversely, by the Aoi-Rolewicz theorem, for any quasi-normwith constant C there exists p, namely p = log 1 C), and a p-norm such that x x 4 1/p x, x X. A set K X is called p-convex if λx + µy, whenever x,y K, λ,µ 0, λ p + µ p = 1. Given K X, the p-convex hull or p-convex envelope) of K is the intersection of all p-convex sets that contain K. It is denoted by p-conv K). The closed unit ball of a p-normed space X, ) will simply be called a p-ball. Any symmetric compact p-convex set in X with the origin as an interior point is the p-ball associated to some p-norm. We say that a quasi-normed space X, ) is of Rademacher) type q,0 < q if for some constant T q X) > 0 we have 1 n ε i=±1 n n ε i x i T q X) x i q ) 1/q, x i X,1 i n, n IN i=1 i=1 Kalton, [Ka], proved that any quasi-normed space X, ) of type q > 1 is convex. That is, the quasi-norm is equivalent to a norm and moreover, the equivalence constant depends only on T q X), for a more precise statement and proof of this fact see [K-S]). Given f,g:in IR + we write f g if there exists a constant C > 0 such that C 1 fn) gn) Cfn), n IN. Numerical constants will always be denoted by C or C p if it depends only on p) although their value may change from line to line.
Let u:x Y be a linear map between two quasi-normed spaces and 1. Recall the definition of the following numbers: Kolmogorov numbers: d u) = inf{ Q S u S Y subspace and dims) < } where Q S :Y Y/S is the quotient map. Covering numbers: For A 1,A X, NA 1,A ) = inf{n IN x 1...x N X such that A 1 1 i N x i +A )}. Entropy numbers: e u) = inf{ε > 0 NuB X ),εb Y ) 1 } The sequences {d u)},{e u)} are non-increasing and satisfy d 1 u) = e 1 u) = u. If dimx) = dimy) = n then d u) = 0 for all > n. Denote s either d or e. For all linear operatorsu:x Y, v:y Z we have s v u) = u s v) and s v u) = v s u), IN called the ideal property of s ) and s +n 1 v u) s v)s n u),n IN The following two lemmas contain useful information about these numbers. The first one extends to the p-convex case its convex analogue due to Carl [Ca]). Its proof mimics the ones of Theorem 5.1 and 5. in [Pi 1] see also [T]) with minor changes. In particular we identify X as a quotient of l p I), for some I, and apply the metric lifting property of l p I) in the class of p-normed spaces see Proposition C.3.6 in [Pie]). The second one contains easy facts about NA,B) and its proof is similar to the one of Lemma 7.5. in [Pi 1]. Lemma 1. For all α > 0 and 0 < p < 1 there exists a constant C α,p > 0 such that for all linear map u:x Y, X,Y p-normed spaces and for all n IN we have sup n α e u) C α,p sup α d u) n Lemma. i) For all A 1,A,A 3 X, NA 1,A 3 ) NA 1,A )NA,A 3 ) ii) For all t > 0 and 0 < p < 1 there is C p,t > 0 such that for all X p-normed space of dimension n, NB X,tB X ) C n p,t. iii) For any A 1,A,K IR n, A 1 +K NA 1,A ) A +K. iv) Let B 1,B be p-balls in IR n for some p and B B 1 ; then B 1 B NB 1,B ). For any B IR n p-ball the polar set of B is defined as B := {x IR n x,y 1, y B} where, denotes the standard scalar product on IR n. Given B,D p-balls in IR n we define the following two numbers: sb) := B B ) 1/n and MB,D) := B +D B D B +D ) 1/n B D Observe that for any linear isomorphism u:ir n IR n we have sub)) = sb) and MuB),uD)) = MB,D). Recall that sb l n p ) n 1/p sb l n ) 1/p,0 < p 1 [Pi 1] pg. 11). The following estimates on these numbers are nown: 3
a) [Sa]. For every symmetric convex body B IR n, sb) sb l n ) with equality only if B is an ellipsoid. Blasche-Santaló s inequality). b) [B-M]. There exists a numerical constant C > 0 such that for any n IN and any symmetric convex body B IR n, sb) CsB l n ). c) [Mil 1]. There exists a numerical constant C > 0 such that for any n IN and any symmetric convex body B IR n, there is an ellipsoid called Milman ellipsoid) D IR n such that MB, D) C,Milman ellipsoid theorem).. Entropy estimates and reverse Brunn-Minowsi inequality We firstintroducesomeuseful notation: Let B 1,B IR n betwop-ballsandu:ir n IR n alinear map. We denote u:b 1 B the operator between p-normed spaces u:ir n, B1 ) IR n, B ) where Bi is the p-norm on IR n whose unit ball is B i. Proof of Theorem 1: Let A 1,A be two bodies in IR n such that pa 1 ), pa ) p. It s clear from the definition that there exist two p-balls, B 1, B, for instance, p = p/) and two measure preserving affine transformations T 1, T, verifying T 1 T 1 A 1 )+A B 1 +B and B 1 1/n + B 1/n C p A 1 1/n + A 1/n). So, we only have to prove the theorem for p-balls. In the convex case a way to obtain the reverse Brunn-Minowsi inequality is to prove that, for any symmetric convex body B, there exists an ellipsoid D verifying B = D and B + 1/n C D + 1/n ) for any, say compact, subset IR n C is an universal constant independent of B and n). Indeed, let B 1,B be two balls in IR n. Suppose w.l.o.g. that D i, the ellipsoids associated to B i satisfy u D i = α i B l n, where u i are linear mappings with det u i = 1 and B i 1/n = α i B l n 1/n.Then u 1 B 1 +u B 1/n C u 1 D 1 +u D 1/n = C α 1 +α ) B l n 1/n = C B 1 1/n + B 1/n ) In view of the preceding comments and of straightforward computations deduced from Lemma, in order to obtain ) for p-balls it is sufficent to associate an ellipsoid D to each p-ball B IR n in such a waythat the correspondingcoveringnumbers verify NB,D),ND,B) C n for some constant C depending only on p. It is important to remar now the fact that, what we deduce from covering numbers estimate is that the ellipsoid D associated to B actually verifies the stronger assertion C 1 B + 1/n D + 1/n C B + 1/n foranycompactset in IR n, with constantdepending onlyonp. Furthermore, the roleofthe ellipsoid can be played by any fixed p-ball in a spetial position. Denote by ˆB the convex hull of B. Bydefinitionofe n, ife n id:b D) λthennb,λd) n 1 andbylemma-ii),nb,d) λ n. Of course, the same can be done with ND,B)). Therefore our problem reduces to estimating entropy numbers. What we are going to prove is really a stronger result than we need, in the line of Theorem 7.13 of [Pi ]. 4
Lemma 3. Given α > 1/p 1/, there exists a constant C = Cα,p) such that, for any n IN and for any p-ball B IR n we can find an ellipsoid D IR n such that for every 1 n. α d D B)+e B D) C ) Proof of the Lemma. From Theorem 7.13 of [Pi ] we can easily deduce the following fact: There exists a constant Cα) > 0 such that for any 1 n, n IN and any ball ˆB IR n, there is ellipsoid D 0 IR n such that the identity operator id:ir n IR n verifies d id:d 0 ˆB) ) α Cα) and e id: ˆB ) α D 0 ) Cα) 3) For simplicity, since we are always going to deal with the identity operator, we will denote id:b 1 B by B 1 B. Let D 0 be the ellipsoid associated to ˆB in 3). It is well nown [Pe], [G-K] that B ˆB n 1/p 1 B. This means B ˆB 1 and ˆB B n 1/p 1. Now, 3) and the ideal property of d and e imply d D 0 B) Cα)n 1/p 1 ) α ) α and e B D 0 ) Cα) n This let us to introduce the constant C n as the infimum of the constants C > 0 for which the conclusion of lemma 3 is true for all p-ball in IR n. Trivially C n Cα) 1+n 1/p 1). Let D 1 be an almost optimal ellipsoid such that for every 1 n. ) α d D 1 B) C n n ) α 4) e B D 1 ) C n Use the real interpolation method with parameters θ, to interpolate the couple id:b B and id:d 1 B. It is straightforward from its definition that for B θ := B,D 1 ) θ,, we have d B θ B) B B 1 θ d D 1 B)) θ n and therefore, d B θ B) C n ) α ) θ n B Write λ = 4C n ) α. By definition of the entropy numbers, there exist xi IR n such that 1 i=1 x i + λd 1. But by perturbing λ with an absolute constant we can suppose w.l.o.g. that x i B. For all z B, there exists x i B such that z x i D0 λ. Also by p-convexity, z x i B 1/p. A general result see [B-L] Ch. 3.) assures the existence of a constant C p > 0 such that x Bθ C p x 1 θ B x θ D 1. Therefore, for all z B, there exists x i B such that z x i Bθ C p λ θ which means e B B θ ) C p C n ) α ) θ. 5
Since α > 1/p 1/, then we can pic θ 0,1) such that 1 p) < θ < min{1,1 1/α}. p Then B θ has Rademacher type strictly bigger than 1 because 1 θ p + θ < 1. By Kalton s result quoted before, we can suppose that B θ is a ball and therefore we can apply to it 3) for γ = α1 θ) > 1/ and assure the existence of another ellipsoid D such that ) γ ) γ d D B θ ) Cγ) and e B θ D ) Cγ) and n Recall that d 1 D B) d D B θ )d B θ B) and the same for the e s. Thans to the monotonicity of the numbers s we can use the what is nown about s 1 for all s. Using the estimates obtained above we get n, d D B) Cp,α) θ C θ n ) γ+αθ and e B D ) Cp,α) θ C θ n ) γ+αθ. Hence by the election of γ and by minimality we obtain Cn 1 θ lemma holds. Cp,α) θ, and the conclusion of the The theorem follows now from the estimate we achieved in Lemma 3 and by Lemma 1. Indeed, given any α > 1/p 1/, if D is the ellipsoid associated to B by Lemma 3, we have /// n α e n D B) sup n = Cα,p)n α α e D B) Cα,p)sup n α d D B) Cα,p)sup αnα n α and so, e n D B) Cα,p). On the other hand just tae = n in Lemma 3 and so, e n B D) Cα,p). Finally observe that since the constant Cα,p) depends only on p and α and we can tae any α > 1/p 1/ the thesis of the theorem as stated inmediately follows. /// 6
3. Concluding remars We conclude this note by stating the corresponding versions of a) Blasche-Santaló, b) reverse Blasche-Santaló and c) Milman ellipsoid theorem, cited in section 1, in the context of p-normed spaces. Proposition 1. Let 0 < p 1. There exists a numerical constant C p > 0 such that for every p-ball B IR n, C p sbl n ) ) 1/p sb) sbl n ) and in the second inequality, equality holds if only if B is an ellipsoid Proof: Denote by ˆB the convex envelope of B. Since ˆB = B we have sb) sˆb) sb l n ). If sb) = sb l n ), then ˆB is an ellipsoid. We will show that B = ˆB. Every x in the boundary of ˆB can be written as x = λ i x i,x i B, λ i = 1; but since ˆB is an ellipsoid, x is an extreme point of ˆB and so x = x i for some i that is x B. This shows B = ˆB and we are done. For the first inequality, B ˆB n 1/p 1 B easily implies ˆB B ) 1/n n 1/p 1 and so, ) 1/n sb) = B B ) 1/n = B ˆB ) 1/n B = ˆB B ) 1/n sˆb) ˆB n 1/p 1 CsB l n ) n 1/p 1 = Cn 1/p = C p sbl n ) ) 1/p /// The left inequality above is sharp since sb l n p ) = C p sbl n ) ) 1/p. The right inequality is also sharp since every ball is a p-ball for every 0 < p < 1. And it is sharp even if we restrict ourselves to the class of p-balls which are not q-convex for any q > p, as it is showed by the following example: Let ε > 0 and C ε be a relatively open cap in S n 1 centered in x = 0,...,0,1) of radius ε. Write K = S n 1 \{C ε C ε }. The p-ball p-conv K) is not q-convex for any q > p and we can pic ε such sp-conv K)) that 1. sb l n ) Observe that the left inequality is actually equivalent to the existence of a constant C p > 0 such ) 1/n ˆB that for every p-ball B, C p n 1/p 1 and by Lemma iv), this is also equivalent to the B inequality NˆB,B) C p n 1/p 1. With respect to the Milman ellipsoid theorem we obtain Proposition. Let 0 < p < 1. There exists a numerical constant C p > 0 such that for every p-ball B there is an ellipsoid D such that MB,D) C p n 1/p 1. Proof: Given a p-ball B let D be the Milman ellipsoid of ˆB. Then, ) 1/n B +D MB,D) = B D B +D B D ) 1/n ) 1/n ˆB +D = ˆB D ˆB +D B +D ˆB D ˆB D ˆB +D B D ) 1/n ˆB D MˆB,D) C p n 1/p 1 B D 7 ) 1/n
The bound for MB,D) is sharp. Indeed, if there was a function fn) << n 1/p 1 such that for every a p-ball B there was an ellipsoid D with MB,D) fn), then /// sb l n ) fn) = sd) fn) B D B D ) 1/n sb) and we would have, sb) sb l n ) fn) >> n 1/p which is not possible. Acnowledgments. The authors are indebted to the referee for some fruitful comments which led them to improve the presentation of the paper. References [B-L] Bergh, J. Löfström, J.: Interpolation Spaces. An Introduction. Springer-Verlag, 3. Berlin Heildelberg 1976). [B-M] Bourgain, J., Milman, V.D.: On Mahler s conjecture on the volume of a convex symmetric body and its polar. Preprint I.H.E.S., March 1985. [Br] Brunn, H.: Über Ovale und Eiflächen. Innaugural dissertation. München 1887. [Ca] Carl B.: Entropy numbers, s-numbers, and eigenvalue problems. J. Funct. Anal. 41, 90-306 1981). [G-K] Gordon, Y., Kalton, N.J.: Local structure for quasi-normed spaces. Preprint. [Ja] Jarchow, H.: Locally convex spaces. B.G. Teubner Stuttgart, 1981). [Ka] Kalton, N.: Convexity, Type and the Three Space Problem. Studia Math. 69, 47-871980-81). [K-S] Kalton, N., Si-Chung Tam: Factorization theorems for quasi-normed spaces. Houston J. Math. 19 1993), 301-317. [K-P-R] Kalton, N., Pec, N.T., Roberts, J.W. : An F-space sampler. London Math. Soc. Lecture Notes 89. Cambridge Univ. Press. Cambridge 1985). [Lu] Lusterni, L.A.: Die Brunn-Minowsische Ungleichung für beliebige messbare Mengen. C.R. Acad.Sci.URSS 8, 55-58 1935). [Mil 1] Milman, V.D.: Inégalité de Brunn-Minowsy inverse et applications á la théorie locale des espaces normés. C.R. Acad.Sci.Paris 30,Sér 1, 5-8 1986). [Mil ] Milman, V.D.: Isomorphic symmetrizations and geometric inequalities. In Geometric Aspects of Functional Analysis Israel Sem. GAFA. Lecture Notes in Mathematics, Springer, 1317, 1988), 107-131. [Min] Minowsi, H.:Geometrie der Zahlen. Teubner, Leipzig 1910). [Pe] Pec, T.: Banach-Mazur distances and projections on p-convex spaces. Math. Zeits. 177, 13-141 1981). [Pie] Pietsch, A.: Operator ideals. North-Holland, Berlin 1979. [Pi 1] Pisier, G.: The volume of convex bodies and Banach Space Geometry. Cambridge University Press, Cambridge 1989). [Pi ] Pisier, G.: A new approach to several results of V. Milman. J. reine angew. Math. 393, 115-131 1989). 8
[Ro] Rolewicz, S.: Metric linear spaces. MM 56. PWN, Warsaw 197). [Sa] Santaló, L.A.: Un invariante afín para los cuerpos convexos de n dimensiones. Portugal Math. 8, 155-161 1949). [T] Triebel, H.: Relations between approximation numbers and entropy numbers. Journal of Approx. Theory 78, 1994), 11-116. 9