Arxiv:1911.08041V1 [Math.FA] 19 Nov 2019 Ucinllzelpodo O-Ocv Functions

arXiv:1911.08041v1 [math.FA] 19 Nov 2019 ucinlLZelpodo o-ocv functions. log-concave of ellipsoid LYZ functional (No.2019M651001). ncne emty fteJh on,tecne fJh ellipsoid, John of center the point, John the then If geometry. convex in The rizJh lisis[ ellipsoids John Orlicz lisi n the and ellipsoid nteoiia ovxbody, convex original the in yAos,Mrn,Jmee n il [ Villa Jiménez and Merino, Alonso, by h ailfunction, radial The a endi [ in defined was L the the veloped ellipsoid, new a introduced [ nrdcdb i cut n enr[ Werner and Schuett Li, by introduced [ inequality volume-ratio Ball’s and equality polar its and the inequality as centroid Santaló such inequality. Busemann-Petty inequalities, the isoperimetric inequality, affine tion known many of conditions ae ovxbd,i eyipratgoercojc ncne g convex in object geometric important very a is body, convex lated 10 p h rtato sspotdi atb hn ototrlScienc Postdoctoral China by part in supported is author first The Tecrepnigato sspotdi atb SC(o 1167 (No. NSFC by part in supported is author corresponding *The Let e od n phrases. and words Key 2000 charac that geometry convex in objections important are Ellipsoids h well-known The ) w motn at ocrigteJh lisi r onsinclus John’s are ellipsoid John the concerning facts important Two ]). onelpod.Rcnl h onelpodo o-ocv ucin w functions log-concave of ellipsoid John the Recently ellipsoids. John L L K p ahmtc ujc Classification. Subject Mathematics ∞ egv oe peddt [ to appended notes give we Abstract. o n onelpodpoie nfidtetetfrsvrlfundamenta several for treatment unified a provides ellipsoid John K eoe h e fcne oisin bodies convex of set the denotes OE NTEFNTOA Y ELLIPSOID LYZ FUNCTIONAL THE ON NOTES onelpodi rcsl h lsia onelpodadthe and ellipsoid John classical the precisely is ellipsoid John L p onelpod Although ellipsoid. John 6 n owe elpod ucinfralgcnaefnto was function log-concave a for function (ellipsoid) Loewner and ] L edfietefntoa Y lisi flgcnaefntos The functions. log-concave of ellipsoid LYZ functional the define We onellipsoid John 2 ρ onelpodae epciey h et n Y ellipsoids. LYZ and Petty the respectively, are, ellipsoid John 1. K 16 facne body convex a of , o-ocv ucin;an ooe inequality, Sobolev affine functions; Log-concave nrdcinadPreliminaries and Introduction r eeaiain ftecasclJh lisi n the and ellipsoid John classical the of generalizations are ] IF AGADJAUZHOU* JIAZU AND FANG NIUFA L p 6 ]. onelpod aif alsvlm ai inequality. ratio volume Ball’s satisfy ellipsoids John Y ellipsoid LYZ nelpodo aia ouecnandi re- a in contained volume maximal of ellipsoid an , 22,52A30. 52A20, 1 7 ,teLZelpodfrlgcnaefunctions log-concave for ellipsoid LYZ the ], ] 1 L K p R 2 sdfie as defined is n onelpod a o econtained be not may ellipsoids John .I 00 uwk agadZhang and Yang Lutwak, 2000, In ]. [ 8 otiigteoii nterinterior. their in origin the containing .Lta,Yn n hn [ Zhang and Yang Lutwak, ]. ρ K 35 . 1325) ( x max = ) L oer c.[ (cf. eometry sa h origin, the at is p h Blaschke- the , eieequality terize onellipsoids, John et projec- Petty { Foundation e t sdefined as ≥ objects l L n : 0 o in- ion 1 9 John de- ] tx 2 ∈ ], 2 NIUFAFANGANDJIAZUZHOU*

K}, x ∈ Rn \{0}. The LYZ ellipsoid was deﬁned as [8]

2 1 2 ρ (u)= |hu, vi| dS2(K, v), (1.1) Γ−2K V (K) n−1 ZS n where K ∈Ko with volume V (K), and S2(K, ·) denotes the L2 surface area measure of K. To generalize formula (1.1) to the case of log-concave functions, the corresponding L2 surface area measure of a log-concave function should be defined. The surface n n area measure µf (= ∇(− log f)♯(fH ), where H is the n-dimensional Hausdorff measure) of log-concave function f, introduced by Colesanti and Fragalà[3], implies L2 surface area measure of convex bodies. It is not the L2 surface area measure of log-concave function f. The main reason is the corresponding L2-Minkowski addition of log-concave functions. Recall the L2 surface area measure and the classical surface area measure dS (K, ·) 2 = h−1(·). dS(K, ·) K The LYZ ellipsoid of log-concave functions can be defined as:

n Deﬁnition 1.1. Let f be an integrable log-concave function in R . Let hf (x) = supy∈Rn {hx, yi + log f(y)} denote the support function of f and J(f)= Rn fdx. The log-concave function Γ f : Rn → [0, ∞) −2 R n 2 −1 − log Γ−2f(x)= |hx, yi| hf (y) dµf (y), (1.2) 4J(f) Rn Z is called the functional LYZ ellipsoid of f.

n The right hand side of (1.2) is a continuous convex function, and the constant 4J(f) 2 kxk − 2 in (1.2) is chosen such that Γ−2γ(x)= γ(x) (= e ), the Gaussian function. The Γ−2f includes the LYZ ellipsoid (Lemma 3.1). Let ϕ : Rn → R ∪{+∞}. If for every x, y ∈ Rn and λ ∈ [0, 1], ϕ((1 − λ)x + λy) ≤ (1 − λ)ϕ(x)+ λϕ(y), then ϕ is a convex function. Let dom(ϕ)= {x ∈ Rn : ϕ(x) ∈ R}. By the convexity of ϕ, dom(ϕ) is a convex set. We say that ϕ is proper if dom(ϕ) =6 ∅. The Legendre conjugate of ϕ is the convex function deﬁned by ϕ∗(y) = sup {hx, yi − ϕ(x)} ∀y ∈ Rn. (1.3) x∈Rn Clearly, ϕ(x)+ ϕ∗(y) ≥ hx, yi for all x, y ∈ Rn, there is an equality if and only if x ∈ dom(ϕ) and y is in the subdiﬀerential of ϕ at x. Hence, ϕ∗(∇ϕ(x)) + ϕ(x)= hx, ∇ϕ(x)i. NOTESONTHEFUNCTIONALLYZELLIPSOID 3

The convex function ϕ : Rn → R ∪{+∞} is lower semi-continuous, if the subset {x ∈ Rn : ϕ(x) > t} is an open set for any t ∈ (−∞, +∞]. If ϕ is a lower semi- continuous convex function, then also ϕ∗ is a lower semi-continuous convex function, and ϕ∗∗ = ϕ. On the class of convex functions from Rn to R ∪{+∞}, we consider the operation of inﬁmal convolution, deﬁned by

ϕψ(x) = inf {ϕ(x − y)+ ψ(y)} ∀x ∈ Rn, (1.4) y∈Rn and the following right scalar multiplication by a nonnegative real number α: x (ϕα)(x)= αϕ , for α> 0. (1.5) α In this paper, we consider log-concave functions in Rn: f : Rn → R, f = e−ϕ, where ϕ : Rn → R ∪{+∞} is convex. A log-concave function is degenerate if it vanishes almost everywhere in Rn. A non-degenerate, log-concave function e−ϕ is integrable on Rn if and only if [5] lim ϕ(x)=+∞. kxk→+∞ Any log-concave function is diﬀerentiable almost everywhere in Rn. Let

L = ϕ : Rn → R ∪{+∞} ϕ proper, convex, lim ϕ(x)=+∞ , (1.6) kxk→+∞ Rn R − ϕ A = f : → f = e ,ϕ ∈L . (1.7) n o The total mass functional of f is deﬁned as

J(f)= f(x)dx. (1.8) Rn Z There are important connections between convex bodies and log-concave functions. The Gaussian function 2 kxk γ(x)= e− 2 plays the role in analysis of log-concave functions as the ball does in geometry of convex bodies, and n J(γ)=(2π) 2 = cn. If f ∈A, the polar function, f ◦, of f is deﬁned as ∗ f ◦ = e−ϕ . (1.9) The support function of log-concave function f = e−ϕ is deﬁned in [13]. ∗ hf (x)= ϕ (x). 4 NIUFAFANGANDJIAZUZHOU*

Let f = e−ϕ,g = e−ψ and α,β > 0. The “Minkowski addition”, α · f ⊕ β · g, of f and g is deﬁned by α · f ⊕ β · g = e−[(ϕα)(ψβ)]. (1.10) The support function of α · f ⊕ β · g satisﬁes

hα·f⊕β·g(x)= αhf (x)+ βhg(x). (1.11) In particular,

hα·f (x)= αhf (x). (1.12) Let f,g ∈A. Whenever the following limit exists J(f ⊕ t · g) − J(f) lim , (1.13) t→0+ t denote it by δJ(f,g), the ﬁrst variation of J at f along g. For f,g ∈A, set δJ(f,g) δJ(f,g)= . J(f) 2. Petty projection inequality for log-concave functions Lemma 2.1. Suppose f ∈A. (1) If γT is a Gaussian function that is an Slog solution for f, then J(f) · γT δJ(f,γT ) is an Slog solution for f. (2) If γT is a Gaussian function that is an Slog solution for f, then 2 c n n · γ J(γ ) T T is an Slog solution for f.

Proof. (1) Since γT is a Gaussian function that is an Slog solution for f, Lemma 4.1 (2) in [6] tells that J(γT )= cn, and for any P ∈ GL(n) with J(γP )= cn,

δJ(f,γT ) ≤ δJ(f,γP ). (2.1) By directly computing we have J(f) δJ f, · γ =1. δJ(f,γ ) T T From (2.1), and J(γP )= J(γT )= cn, we have J(f) J(f) J · γ ≤ J · γ . δJ(f,γ ) P δJ(f,γ ) T P T Lemma 4.1 (1) in [6] guarantees that the Gaussian function J(f) · γ is an S δJ(f,γT ) T log solution for f. NOTESONTHEFUNCTIONALLYZELLIPSOID 5

(2) Let γT be an Slog solution for f. Then Lemma 4.1 (1) in [6] tells that

δJ(f,γT )=1, and for any P ∈ GL(n) with δJ(f,γP ) = 1, J(γ ) J(γ ) T ≥ P . (2.2) cn cn

By (2.2), δJ(f,γP )= δJ(f,γT ) = 1, we obtain 2 2 c n c n δJ f, n · γ = n δJ(f,γ ) J(γ ) P J(γ ) P P ! P 2 n cn ≥ δJ(f,γT ) J(γT ) 2 c n = δJ f, n · γ . J(γ ) T T ! Since 2 c n J n · γ = c , J(γ ) T n T ! 2 n Lemma 4.1 (2) in [6] ensures that the Gaussian function cn · γ is an S J(γT ) T log solution for f.

Lemma 2.2. There exists a solution to Problem Slog.

2 − kTxk Proof. Given a function γT = e 2 (where T ∈ GL(n) is a positive deﬁnite sym- 2 kxk − E◦ t metric matric), we can write it as γT = e 2 , where E = T B is an origin- n−1 centered ellipsoid. There exists a vE ∈ S such that the diameter of E satisﬁes |hvE ,xi| ◦ diam (E) 2 ≤kxkE . Then, we have diam (E◦)2 kxk2 min |hv, xi|2dµ (x) ≤ E dµ (x) 1 f f 8 v∈Sn− Rn Rn 2 Z Z = δJ(f,γT ) ≤ J(f). ◦ Since kxkE < diam (E )kxk, therefore the upper bound of the convex function ∗ kTxk2 2 is depended only on f. According to Theorem 10.9 in [11], there exist a convex functionϕ ˜ such that the Legendre conjugate of a maximizing sequence of Gaussian functions for Problem Slog converge toϕ ˜. By Lemma 6 in [4] or Theorem 11.34 in [12], a maximizing sequence of Gaussian functions for Problem Slog converge toϕ ˜∗. By the dominated convergence theorem, there exists a solution to Problem Slog. 6 NIUFAFANGANDJIAZUZHOU*

Theorem 4.2 in [6] can be rewritten in a simple form.

′ Theorem 2.1. Let f ∈ A . Then problem Slog has a unique solution. Moreover, a Gaussian function γT solves Slog if and only if it satisﬁes

n 2 ◦ hγT (y)= |hx, yi| dµf (x), (2.3) 4J(f) Rn Z for all y ∈ Rn.

2 n Proof. From Lemma 2.1, we note that if γ solves S , then cn · γ solves S . T log J(γT ) T log Since 2 2 c n c n δJ f, n · γ = n δJ(f,γ ) J(γ ) T J(γ ) T T ! T 2 c n = J(f) n , (2.4) J(γ ) T and 2 ◦ 2 n n cn cn h · γ ,y = · h ◦ (y) J(γ ) T J(γ ) γT T ! ! T

2 n cn y ◦ = hγT 2 , (2.5) J(γ )  n  T cn  J(γT )    the formula (2.3) follows from Theorem 4.1 in [6], (2.4) and (2.5 ). Let f ∈A. The new log-concave function Πf of f = e−ϕ is deﬁned by

1 h(Πf,y)= hΠf (y)= |hx, yi|dµf (x), (2.6) 2 Rn Z for y ∈ Rn. In particular, if f = e−kxkK , then

hΠf (x)=Γ(n)hΠK(x), (2.7) Rn n for x ∈ and K ∈Ko . We have the following Petty projection inequality for log-concave functions. Theorem 2.2. Let f ∈A and Π◦f denote the polar of Πf. Then 1 n−1 n − 1 ω n n n n n−1 ◦ 1/n n−1 k∇f(x)kdx ≥ nωn n J(Π f) ≥ nωn |f(x)| dx . Rn ω Γ(n + 1) Rn Z n Z The ﬁrst inequality holds with equality sign if f is the characteristic function of a ball and the second inequality holds with equality sign if f is the characteristic function of an ellipsoid. NOTESONTHEFUNCTIONALLYZELLIPSOID 7

Proof. By the deﬁnition of Π◦f, integral of polar coordinates with respect to the sphere Lebesgue measure, Jensen’s inequality and Fubini’s Theorem, we have 1 Π◦f(x)dx = exp − |h∇ϕ,yi|fdx dy Rn Rn 2 Rn Z Z Z ∞ r = rn−1 exp − |h∇f(x),ui|dx dudr 0 Sn−1 2 Rn Z ∞ Z Z n−1 1 r ≥ nωn r exp − |h∇f,ui|dxdu dr 0 nωn Sn−1 2 Rn Z ∞ Z Z n−1 ωn−1 = nωn r exp − r k∇fkdx dr nω Rn Z0 n Z −n ∞ ωn−1 n−1 −r = k∇fkdx nωn r e dr nω Rn n 0 Z −n Z −n ωn−1 = nωnΓ(n) k∇fkdx . (2.8) nω Rn n Z

Equality holds if and only if Rn |h∇f(x),ui|dx is independent of u. Let f be the characteristic function, XB, of the unit ball B. By the approximation argument in Zhang [15], we obtain R

2ωn−1 |h∇XB(x),ui|dx = . Rn nω Z n Hence, the equality holds in (2.9) when f is the characteristic function of a ball. By the definition of Π◦f, integral of polar coordinates with respect to the sphere Lebesgue measure, the affine Sobolev inequality (which obtained by Zhang [15, The- orem 1.1]), we have 1 Π◦f(x)dx = exp − |h∇ϕ,yi|fdx dy Rn Rn 2 Rn Z Z Z ∞ r = rn−1 exp − |h∇f(x),ui|dx dudr n−1 2 Rn Z0 ZS Z ∞ −n = 2n rn−1e−rdr |h∇f(x),ui|dx du 1 0 Sn− Rn Z Z Z −n = 2nΓ(n) |h∇f(x),ui|dx du 1 Sn− Rn Z Z n 1−n ωn n ≤ Γ(n + 1) |f(x)| n−1 dx . (2.9) ω Rn n−1 Z Equality condition follows from the affine Sobolev inequality. As mentioned in [14, Corollary 3.1] that the first inequality in Theorem 2.2 includes a geometric inequality, which involves the surface area and the volume of the polar 8 NIUFAFANGANDJIAZUZHOU* body of Petty projection body. The second inequality in Theorem 2.2 implies the Petty projection inequality.

3. The functional LYZ ellipsoid of log-concave functions The Minkowski functional of K is deﬁned as n kxkK = max{t ≥ 0 : x ∈ tK}, x ∈ R . n For K ∈Ko ,

kxkK = hK◦ (x), where K◦ = {x ∈ Rn : hx, yi ≤ 1 for all y ∈ K} is the polar body of K.

2 kxkK n − 2 Lemma 3.1. Let K ∈Ko . If f(x)= e , then 2 kxkΓ K − −2 Γ−2f(x)= e 2 .

Proof. Let V¯K denote the normalized cone measure of K, which is given by hz, ν (z)i dV¯ (z)= K dHn−1(z) for z ∈ ∂K. K nV (K) n n−1 For y ∈ R , we write y = rz, with z ∈ ∂K, dy = nV (K)r drdV¯K(z). Since the map y 7→ ∇kykK is 0-homogeneous and the fact that kzkK = 1 when z ∈ ∂K, therefore

2 kxkK n − 2 2 n J(e )=2 Γ( 2 + 1)V (K). (3.1) Hence

1 2 − log Γ−2f(x)= kxkΓ K. 2 −2 NOTESONTHEFUNCTIONALLYZELLIPSOID 9

Analogously, Γ−2f is also an intertwining operator with the linear group GL(n). Lemma 3.2. Let f be an integrable log-concave function in Rn. Then

Γ−2(f ◦ T )=(Γ−2f) ◦ T, for T ∈ GL(n). −ϕ t Proof. Let f = e and T ∈ GL(n). Since ∇y(ϕ ◦ T )= T ∇Tyϕ, so that (ϕ ◦ T )∗(y) = sup {hx, yi − ϕ(T x)} x∈Rn = sup hx, T −tyi − ϕ(x) x∈Rn = ϕ∗(T−ty). Then, by a simple calculation we have

n 2 −1 x 7→ |hx, yi| hf (y) dµf (y) (3.3) 4J(f) Rn Z is a continuous convex function. The LYZ ellipsoid of log-concave functions (1.2) can be rewritten as

n 2 −1 ◦ hΓ−2f (x)= |hx, yi| hf (y) dµf (y). (3.4) 4J(f) Rn Z References [1] D. Alonso-Gutiérrez, B. Merino, C. H. Jiménez and R. Villa, John’s ellipsoid and the integral raito of a log-concave function, J. Geom. Anal., 28 (2018), 1182-1201. [2] K. Ball, Volume ratios and a reverse isoperimetric inequality, J. London Math. Soc., 44 (1991), no.2, 351-359. [3] A. Colesanti and I. Fragalà, The first variation of the total mass of log-concave functions and related inequalities, Adv. Math., 244 (2013), 708-749. 10 NIUFAFANGANDJIAZUZHOU*

[4] A. Colesanti, M. Ludwig and F. Mussnig, Valuations on convex functions, Int. Math. Res. Not., rnx189, https://doi.org/10.1093/imrn/rnx189. [5] D. Cordero-Erausquin and B. Klartag, Moment measure, J. Funct. Anal., 268 (2015), 3834-3866. [6] N. Fang and J. Zhou, LYZ ellipsoid and Petty projection body for log-concave functions, Adv. Math., 340 (2018), 914-959. [7] B. Li, C. Schuett and E. M. Werner, The Loewner function of a log-concave function, arXiv:1904.01211v2 [math.FA]. [8] E. Lutwak, D. Yang and G. Zhang, A new ellipsoid associated with convex bodies, Duke Math. J., 104 (2000), 375-390. [9] E. Lutwak, D. Yang and G. Zhang, Lp John ellipsoids, Proc. London Math. Soc., 90 (2005), no.3, 497-520. [10] G. Pisier, The volume of convex bodies in Banach space geometry, Cambridge University Press, (1989). [11] R. T. Rockafellar, Convex Analysis, Princeton University Press (Princeton, 1970). [12] R. T. Rockafellar and R. J.-B. Wets, Variational analysis, Grundlehren der Mathematischen Wissenschaften, vol. 317, Springer-Verlag, Berlin, 1998. [13] L. Rotem, On the mean width of log-concave functions, in Geometric aspects of functional analysis, volume 2050 of lecture Notes in Math., Springer, Berlin, (2012). [14] L.A. da Silva, B.G. Merino and R. Villa, Some remarks on Petty projection of log-concave functions, arXiv:1906.08183v2 [math.FA] 24 Jun 2019. [15] G. Zhang, The aﬃne Sobolev inequality, J. Diﬀer. Geom., 53 (1999), 183-202. [16] D. Zou and G. Xiong, Orlicz-John ellipsoids, Adv. Math., 265 (2014), 132-168.

Chern Institute of Mathematics, Nankai University, Tianjin 300071, China School of Mathematics and Statistics, Southwest University, Chongqing 400715, China E-mail address: [email protected] School of Mathematics and Statistics, Southwest University, Chongqing 400715, China College of Science, Wuhan University of Science and Technology, Wuhan, Hubei 430081, China E-mail address: [email protected]