Abstract
The Blaschke Santaló inequality and the L p affine isoperimetric inequalities are major inequalities in convex geometry and they have a wide range of applications. Functional versions of the Blaschke Santaló inequality have been established over the years through many contributions. More recently and ongoing, such functional versions have been established for the L p affine isoperimetric inequalities as well. These functional versions involve notions from information theory, like entropy and divergence.We list stability versions for the geometric inequalities as well as for their functional counterparts. Both are known for the Blaschke Santaló inequality. Stability versions for the L p affine isoperimetric inequalities in the case of convex bodies have only been known in all dimensions for p = 1 and for p > 1 only for convex bodies in the plane. Here, we prove almost optimal stability results for the L p affine isoperimetric inequalities, for all p, for all convex bodies, for all dimensions. Moreover, we give stability versions for the corresponding functional versions of the L p affine isoperimetric inequalities, namely the reverse log Sobolev inequality, the L p affine isoperimetric inequalities for log concave functions, and certain divergence inequalities.
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
Keywords
1991 Mathematics Subject Classification
1 Introduction and Background
We present stability results for several geometric and functional inequalities. Our main focus will be on geometric inequalities coming from affine convex geometry, namely the Blaschke Santaló inequality, e.g., [24, 55], and the L p affine-isoperimetric and related inequalities [12, 21, 45, 51, 66] and also their functional counterparts, which includes the functional Blaschke Santaló inequality [5, 7, 22, 35] and the recently established divergence and entropy inequalities [6, 17, 20]. These inequalities are fundamental in convex geometry and geometric analysis, e.g., [10, 29, 30, 45, 46, 48, 49, 60, 64, 66, 67], and they have applications throughout mathematics. We only quote: approximation theory of convex bodies by polytopes [11, 27, 37, 54, 57, 61], affine curvature flows [3, 4, 62, 63], information theory [6, 17, 18, 20, 51, 65], valuation theory [2, 28, 29, 38, 40, 41, 42, 52, 56], and partial differential equations [43]. Therefore, it is important to know stability results of those inequalities.
Stability results answer the following question: Is the inequality that we consider sensitive to small perturbations? In other words, if a function almost attains the equality in a given inequality, is it possible to say that then this function is close to the minimizers of the inequality? For the Blaschke Santaló inequality and the functional Blaschke Santaló inequality such stability results have been established in [8] and [9], respectively. Stability results for the L p -affine isoperimetric inequalities for convex bodies were proved in [13] for p = 1 and dimension n ≥ 3. In [32, 33], stability results for the L p -affine isoperimetric inequality were proved in dimension 2 and for p ≥ 1.
We present here stability results for the L p -affine isoperimetric inequalities for all p and in all dimensions. Stability results for the corresponding functional versions of these inequalities are also given.
Throughout, we will assume that K is a convex body in \(\mathbb{R}^{n}\), i.e., a convex compact subset of \(\mathbb{R}^{n}\) with non-empty interior int(K). We denote by ∂ K the boundary of K and by vol(K) or | K | its n-dimensional volume. B 2 n is the Euclidean unit ball centered at 0 and S n−1 = ∂ B 2 n its boundary. The standard inner product on \(\mathbb{R}^{n}\) is 〈, 〉. It induces the Euclidean norm, denoted by ∥ ⋅ ∥ 2. We will use the Banach-Mazur distance d BM (K, L) to measure the distance between the convex bodies K and L,
In the case when K and L are 0-symmetric, x and y can be taken to be 0,
2 Stability in Inequalities for Convex Bodies
2.1 The Blaschke Santaló Inequality
Let K be a convex body in \(\mathbb{R}^{n}\) such that 0 ∈ int(K). The polar K ∘ of K is defined as
and, more generally, the polar K z with respect to z ∈ int(K) by (K − z)∘. The classical Blaschke Santaló inequality (see, e.g., [55]) states that there is a unique point s ∈ int(K), the Santaló point of K, such that the volume product | K | | K s | is minimal and that
with equality if and only if K is an ellipsoid.
Ball and Böröczky [8] proved the following stability version of the Blaschke Santaló inequality. It will be one of the tools to prove stability versions for the L p -affine isoperimetric inequalities.
Theorem 1 ([8])
Let K be a convex body in \(\mathbb{R}^{n}\) , n ≥ 3, with Santaló point at 0. If |K||K ∘ | > (1 −ɛ)|B 2 n | 2 , for \(\varepsilon \in (0, \frac{1} {2})\) , then for some γ > 0, depending only on n, we have
Remark
It was noted in [8] that if K is 0-symmetric, then the exponent \(\frac{1} {3(n+1)}\) occurring in Theorem 1 can be replaced by \(\frac{2} {3(n+1)}\). Moreover, it was also noted in [8] that taking K to be the convex body resulting from B 2 n by cutting off two opposite caps of volume ɛ, shows that the exponent \(\frac{1} {(3(n+1)}\) cannot be replaced by anything larger than \(\frac{2} {n+1}\), even for 0-symmetric convex bodies with axial rotational symmetry. Therefore the exponent of ɛ is of the correct order.
2.2 L p -Affine Isoperimetric Inequalities
Now we turn to stability results for the L p -affine isoperimetric inequalities for convex bodies. These inequalities involve the L p -affine surface areas which are a central part of the rapidly developing L p and Orlicz Brunn Minkowski theory and are the focus of intensive investigations (see, e.g., [19, 23, 25, 26, 30, 39, 40, 41, 42, 43, 44, 45, 46, 47, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66]).
The L p -affine surface area as p (K) of a convex body K in \(\mathbb{R}^{n}\) was introduced by Lutwak for all p > 1 in his seminal paper [45] and for all other p by Schütt and Werner [60](see also [31]). The case p = 1 is the classical affine surface area introduced by Blaschke in dimensions 2 and 3 [12] (see also [36, 59]).
Let \(p \in \mathbb{R}\), p ≠ − n and assume that K is a convex body with centroid or Santaló point at the origin. Then
where N(x) is the unit outer normal in x ∈ ∂ K, the boundary of K, κ(x) is the (generalized) Gaussian curvature in x and μ K is the surface area measure on ∂ K. In particular, for p = 0
For p = 1,
is the classical affine surface area which is independent of the position of K in space. Note also that as p (B 2 n) = vol n−1(∂ B 2 n) = n | B 2 n | for all p ≠ − n. If the boundary of K is sufficiently smooth, (1) can be written as an integral over the boundary S n−1 of the Euclidean unit ball B 2 n,
Here, σ is the usual surface area measure on S n−1, h K (u) = max x ∈ K 〈x, u〉 is the support function of K in direction u ∈ S n−1, and f K (u) is the curvature function, i.e. the reciprocal of the Gaussian curvature κ K (x) at this point x ∈ ∂ K that has u as outer normal. In particular, for p = ±∞,
The L p -affine surface area is invariant under linear transformations T with determinant 1. More precisely (see, e.g., [60]), if \(T: \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\) is a linear, invertible map, then
The L p -affine surface area is a valuation [40, 42, 58], i.e., for convex bodies K and L such that K ∪ L is convex,
Valuations have become a major topic in convex geometry in recent years. We refer to, e.g., [2, 28, 29, 38, 40, 41, 42, 52, 56].
We now state the L p -affine isoperimetric inequalities for the quantities as p (K). They were proved by Lutwak for p > 1 [45] and for all other p by Werner and Ye [66]. The case p = 1 is the classical affine isoperimetric inequality [12, 21].
Theorem 2 (p = 1 [12, 21], p > 1 [45], all other p [66])
Let K be a convex body with centroid at the origin.
-
(i)
If p > 0, then
$$\displaystyle\begin{array}{rcl} \frac{as_{p}(K)} {as_{p}(B_{2}^{n})} \leq \left ( \frac{\vert K\vert } {\vert B_{2}^{n}\vert }\right )^{\frac{n-p} {n+p} },& & {}\\ \end{array}$$with equality if and only if K is an ellipsoid. For p = 0, equality holds trivially for all K.
-
(ii)
If − n < p < 0, then
$$\displaystyle\begin{array}{rcl} \frac{as_{p}(K)} {as_{p}(B_{2}^{n})} \geq \left ( \frac{\vert K\vert } {\vert B_{2}^{n}\vert }\right )^{\frac{n-p} {n+p} },& & {}\\ \end{array}$$with equality if and only if K is an ellipsoid.
-
(iii)
If K is in addition in C + 2 and if p < −n, then
$$\displaystyle{ c^{ \frac{np} {n+p} }\left ( \frac{\vert K\vert } {\vert B_{2}^{n}\vert }\right )^{\frac{n-p} {n+p} } \leq \frac{as_{p}(K)} {as_{p}(B_{2}^{n})}. }$$
The constant c in (iii) is the constant from the inverse Blaschke Santaló inequality due to Bourgain and Milman [15]. This constant has recently been improved by Kuperberg [34] (see also [50] for a different proof).
2.3 Stability for the L p -Affine Isoperimetric Inequality for Convex Bodies
Stability results for the L p -affine isoperimetric inequalities for convex bodies were proved by Böröczky [13] for p = 1 and dimension n ≥ 3. Ivaki [32, 33] gave stability results for the L p -affine isoperimetric inequality in dimension 2 and p ≥ 1. We present here stability results for the L p -affine isoperimetric inequalities for all p and in all dimensions. Before we do so, we first quote the results by Böröczky [13] and Ivaki [33].
Theorem 3 ([13])
If K is a convex body in \(\mathbb{R}^{n}\) , n ≥ 3, and
then for some γ > 0, depending only on n, we have
Later, in [8], the above approximation was improved to
Ivaki [33] gave a stability version for the Blaschke Santaló inequality from which the following stability result for the L p -affine isoperimetric inequality in dimension 2 and p ≥ 1 follows easily.
Theorem 4 ([33])
Let K be an origin symmetric convex body in \(\mathbb{R}^{2}\) , and p ≥ 1. There exists an ε p > 0, depending on p, such that the following holds. If for an ε, 0 < ε < ε p ,
then for some γ > 0, we have
The same author also considered the case when K is a not necessarily origin symmetric convex body in \(\mathbb{R}^{2}\) [33]. Then the order of approximation becomes \(\frac{1} {4}\) instead of \(\frac{1} {2}\). Note also that there are results in dimension n = 2 by Böröczky and Makai [14] on stability of the Blaschke Santaló inequality, from which a stability result of the form (5) for the L p -affine isoperimetric inequality in dimension 2 follows easily. But the order of approximation in the origin-symmetric case is 1∕3 and in the general case 1∕6.
We now present almost optimal stability results for the L p -affine isoperimetric inequalities, for all p, for all convex bodies, for all dimensions. To do so, we use the above stability version of the Blaschke Santaló inequality by Ball and Böröczky [8], together with inequalities proved in [66].
Theorem 5
Let K be a convex body in \(\mathbb{R}^{n}\) , n ≥ 3, with Santaló point or centroid at 0.
-
(i)
Let p > 0. If \(\left ( \frac{as_{p}(K)} {as_{p}(B_{2}^{n})}\right )^{n+p} > (1-\varepsilon )^{p}\left ( \frac{\vert K\vert } {\vert B_{2}^{n}\vert }\right )^{n-p}\) , then for some γ > 0, depending only on n, we have
$$\displaystyle{d_{BM}(K,B_{2}^{n}) < 1 +\gamma \varepsilon ^{ \frac{1} {3(n+1)} }\vert \log \varepsilon \vert ^{ \frac{4} {3(n+1)} }.}$$ -
(ii)
Let − n < p < 0. If \(\left ( \frac{as_{p}(K)} {as_{p}(B_{2}^{n})}\right )^{n+p} < (1-\varepsilon )^{p}\left ( \frac{\vert K\vert } {\vert B_{2}^{n}\vert }\right )^{n-p}\) , then for some γ > 0, depending only on n, we have
$$\displaystyle{d_{BM}(K,B_{2}^{n}) < 1 +\gamma \varepsilon ^{ \frac{1} {3(n+1)} }\vert \log \varepsilon \vert ^{ \frac{4} {3(n+1)} }.}$$
Remarks
-
(i)
If K is 0-symmetric, then \(\varepsilon ^{ \frac{1} {3(n+1)} }\) can be replaced by \(\varepsilon ^{ \frac{2} {3(n+1)} }\). This follows from [8]. See also the Remark after Theorem 1.
-
(ii)
The example in [8] already quoted in the Remark after Theorem 1 shows that \(\varepsilon ^{ \frac{1} {3(n+1)} }\) cannot be replaced by anything smaller than \(\varepsilon ^{ \frac{2} {n-1} }\), even for 0-symmetric convex bodies with axial rotational symmetry. Indeed, let K be the convex body obtained from B 2 n by removing two opposite caps of volume ɛ each. Then
$$\displaystyle{\left ( \frac{as_{p}(K)} {as_{p}(B_{2}^{n})}\right )^{n+p} > (1 - k\varepsilon ^{\frac{n-1} {n+1} })^{p}\left ( \frac{\vert K\vert } {\vert B_{2}^{n}\vert }\right )^{n-p} = (1-\delta )^{p}\left ( \frac{\vert K\vert } {\vert B_{2}^{n}\vert }\right )^{n-p},}$$where we have put \(\delta = k\varepsilon ^{\frac{n-1} {n+1} }\) and where k is a constant that depends on n only, except for 0 < p < n, where it also depends on p. And \(d_{BM}(K,B_{2}^{n}) = 1 +\gamma \delta ^{ \frac{2} {n-1} }\).
Proof of Theorem 5.
(i) As as p (B 2 n) = n | B 2 n | , we observe that the inequality
is equivalent to the inequality
It was proved in [66] that for all p > 0,
Hence we get from the assumption that
or equivalently, that
and we conclude with the Ball and Böröczky stability result in Theorem 1.
(ii) The proof of (ii) is done similarly. We use the inequality
which holds for − n < p < 0 and which was also proved in [66]. □
Another stability result for the L p -affine isoperimetric inequalities for convex bodies is obtained as a corollary to Proposition 17 below. We list it now, as we want to compare the two. Let K be a convex body in \(\mathbb{R}^{n}\) with 0 in its interior and let the function ψ of Proposition 17 be ψ(x) = ∥ x ∥ K 2∕2, where ∥ ⋅ ∥ K is the gauge function of the convex body K,
Let
be the L λ -affine surface area of the function ψ. This quantity is discussed in detail in Section 3.3 Differentiating ψ(x) = ∥ x ∥ K 2∕2, we get 〈x, ∇ψ(x)〉 = 2ψ(x). Thus, for ψ(x) = ∥ x ∥ K 2∕2, the expression (7) simplifies to
Note that for the Euclidean norm ∥ . ∥ 2, \(as_{\lambda }\left (\frac{\|\cdot \|_{2}^{2}} {2} \right ) = \left (2\pi \right )^{\frac{n} {2} }\) and it was proved in [20] that
where λ and p are related by \(\lambda = \frac{p} {n+p}\). Together with Proposition 17, this immediately implies another stability result for the L p -affine isoperimetric inequalities for convex bodies.
Corollary 6
Let K be a convex body in \(\mathbb{R}^{n}\) with the centroid or the Santaló point at the origin.
(i) Let 0 < p ≤∞ and suppose that for some ɛ ∈ (0,ɛ 0 ),
(i) Let − n < p < 0 and suppose that for some ɛ ∈ (0,ɛ 0 ),
Then, in both cases (i) and (ii), there exist c > 0 and a positive definite matrix A such that
where \(R(\varepsilon ) = \frac{\vert \log \varepsilon \vert ^{\frac{1} {2} }} {8n}\) and ɛ 0 ,η depend on n.
Proof
It is easy to see (e.g., [20]) that
As \(\vert B_{2}^{n}\vert = \frac{\pi ^{\frac{n} {2} }} {\Gamma \left (1+\frac{n} {2} \right )}\), we get, with \(\psi (x) = \frac{\|x\|_{K}^{2}} {2}\), by (9) and the assumptions of the theorem, that for 0 < p ≤ ∞,
We have also used that \(\lambda = \frac{p} {n+p}\). The result for 0 < p ≤ ∞ then follows immediately from Proposition 17. The case − n < p < 0 is treated similarly. □
Remarks
In general, one cannot deduce Theorem 5 from Corollary 6. However, it follows from Theorem 5 that there exists T ∈ GL(n) and \(x_{0},y_{0} \in \mathbb{R}^{n}\) such that
For simplicity, assume that x 0 = y 0 = 0, which corresponds to the case that K is 0-symmetric. Then this means that for all \(x \in \mathbb{R}^{n}\),
and thus
Hence, allowing general T, the exponent of ɛ can be improved.
2.4 Stability Result for the Entropy Power \(\Omega _{K}\)
An affine invariant quantity that is closely related to the L p -affine surface areas is the entropy power \(\Omega _{K}\). It was introduced in [51] as the limit of L p -affine surface areas,
The quantity \(\Omega _{K}\) is related to the relative entropy of the cone measures of K and K ∘. We refer to [51] for the details and only mention an affine isoperimetric inequality for \(\Omega _{K}\) proved in [51].
Theorem 7 ([51])
If K is a convex body of volume 1, then
Equality holds if and only if K is a normalized ellipsoid.
We now use the previous theorems to prove stability results for inequality (11). Using the invariant property (3) and the fact that as p (B 2 n) = n | B 2 n | , this inequality can be written as
Theorem 8
Let K be a convex body in \(\mathbb{R}^{n}\) , n ≥ 3, of volume 1 and such that the Santaló point or the centroid is at 0. Suppose that for some \(\varepsilon \in (0, \frac{1} {2})\) ,
Then for some γ > 0, depending only on n, we have
Remarks similar to the ones after Theorem 5 hold.
Proof
It was shown in [66] that \(\left (\frac{as_{p}(K^{\circ })} {n\vert K\vert } \right )^{n+p}\) is decreasing in p ∈ (0, ∞). By definition (7), \(\lim _{p\rightarrow \infty }\left (\frac{as_{p}(K^{\circ })} {n\vert K\vert } \right )^{n+p} = \Omega _{ K^{\circ }}\). Therefore we get with assumption (12) that for all p > 0
Or, equivalently, as | K | = 1,
In the last inequality we have used the Blaschke Santaló inequality | K | | K ∘ | ≤ | B 2 n | 2, which we can apply as long as n − p ≥ 0. Note that for all \(\varepsilon \in (0, \frac{1} {2})\) and p > 0
Hence, using the elementary inequality above, we get for all 0 < p ≤ n that
Inequality (6) and the arguments used after it imply that for all 0 < p ≤ n,
Since the right-hand side of above equation is decreasing in p, minimizing over p in the interval (0, n] gives the result. □
The second stability result and the corresponding comparisons (see the Remark after Corollary 6) are obtained accordingly. We skip the proof.
Theorem 9
Let K be a convex body in \(\mathbb{R}^{n}\) , n ≥ 3, of volume 1 and with Santaló point or centroid at 0, such that \(\Omega _{K^{\circ }} > (1-\varepsilon )\vert B_{2}^{n}\vert ^{2n}\) . Then there exists c > 0 and a positive definite matrix A such that
\(R(\varepsilon ) = \frac{\vert \log \varepsilon \vert ^{\frac{1} {2} }} {8n}\) and ɛ 0 ,η depend on n.
3 Stability Results for Functional Inequalities
3.1 Stability for the Functional Blaschke Santaló Inequality
We will first state a functional version of the Blaschke Santaló inequality. To do so, we recall that the Legendre transform of a function \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) at \(z \in \mathbb{R}^{n}\) is defined by
The function \(L_{z}\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) is always convex and lower semicontinuous. If ψ is convex, lower semicontinuous and ψ < +∞, then L z L z ψ = ψ. When z = 0, we write
Work by K.M. Ball [7], S. Artstein-Avidan, B. Klartag, V.D.Milman [5], M. Fradelizi, M. Meyer [22], and J. Lehec [35] led to the functional version of the Blaschke Santaló inequality which we now state.
Theorem 10 ([5, 7, 22, 35])
Let \(\rho: \mathbb{R} \rightarrow \mathbb{R}_{+}\) be a log-concave non-increasing function and \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) be measurable. Then
If ρ is decreasing, there is equality if and only if there exist a, b, c in \(\mathbb{R}\) , a < 0, \(z \in \mathbb{R}^{n}\) and a positive definite matrix \(A: \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\) such that
and moreover either c = 0, or ρ(t) = e at+b , for t > −|c|.
Remark
If ρ(t) = e −t and if φ = e −ψ has centroid at 0, i.e., \(\int _{\mathbb{R}^{n}}xe^{-\psi }dx = 0\), then the inequality of the above theorem simplifies to
Barthe, Böröczky, and Fradelizi [9] established the following stability theorem for the functional Blaschke Santaló inequality.
Theorem 11 ([9])
Let \(\rho: \mathbb{R} \rightarrow \mathbb{R}_{+}\) be a log-concave and decreasing function with \(\int _{\mathbb{R}_{+}}\rho < \infty \) . Let \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R}\) be a convex, measurable function. Assume that for some ɛ ∈ (0,ɛ 0 ) and all \(z \in \mathbb{R}^{n}\) the following inequality holds
Then there exists some \(z \in \mathbb{R}^{n}\) , \(c \in \mathbb{R}\) and a positive definite n × n matrix A such that
where limɛ→0 R(ɛ) = ∞ and ɛ 0 ,η,R(ɛ) depend on n and ρ.
3.2 Stability for Divergence Inequalities
A function \(\varphi: \mathbb{R}^{n} \rightarrow [0,\infty )\) is log concave, if it is of the form φ(x) = e −ψ(x), where \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R}\) is a convex function. Recall that we say that φ = e −ψ has centroid at 0, respectively, the Santaló point, at 0 if,
The following entropy inequality for log concave functions was established in [17], Corollary 13.
Theorem 12 ([17])
Let \(\varphi: \mathbb{R}^{n} \rightarrow [0,\infty )\) be a log-concave function that has centroid or Santaló point at 0. Let \(f: (0,\infty ) \rightarrow \mathbb{R}\) be a convex, decreasing function. Then
If f is a concave, increasing function, the inequality is reversed.
Equality holds in both cases if and only if φ(x) = ce −〈 Ax,x〉 , where c is a positive constant and A is an n × n positive definite matrix.
Theorem 12 was proved under the assumptions that the convex or concave functions f and the log concave functions φ have enough smoothness and integrability properties so that the expressions considered in the above statement make sense. Thus, in this section, we will make the same assumptions on f and φ, i.e., we will assume that φ ∘ ∈ L 1(supp(φ), dx), the Lebesgue integrable functions on the support of φ, that
where C 2(supp(φ)) denotes the twice continuously differentiable functions on their support, and that
Recall that φ(x) = e −ψ(x) and put d μ = e −ψ dx. Then the left-hand side of inequality (16) can be written as
It was shown in [17] that the left-hand side of the inequality (16) is the natural definition of f-divergence D f (φ) for a log concave function φ, so that (16) can be rewritten as
In information theory, probability theory, and statistics, an f-divergence is a function that measures the difference between two (probability) distributions. We refer to, e.g., [17] for details and references about f-divergence.
Theorem 13
Let \(f: (0,\infty ) \rightarrow \mathbb{R}\) be a concave, strictly increasing function. Let \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R}\) be a convex function such that \(e^{-\psi }\in C^{2}(\mathbb{R}^{n})\) and such that \(\int _{\mathbb{R}^{n}}xe^{-\psi (x)}dx = 0\) or \(\int _{\mathbb{R}^{n}}xe^{-\psi ^{{\ast}}(x) }dx = 0\) . Suppose that for some ɛ ∈ (0,ɛ 0 ),
Then there exist c > 0 and a positive definite matrix A such that
where limɛ→0 R(ɛ) = ∞ and ɛ 0 ,η,R(ɛ) depend on n.
The analogue stability result holds, if f is convex and strictly decreasing.
Proof
We treat the case when f is concave and strictly increasing. The case when f is convex and strictly decreasing is done similarly. We set \(d\nu = \frac{e^{-\psi }dx} {\int e^{-\psi }dx} = \frac{\mu } {\int d\mu }\). Then ν is a probability measure and by Jensen’s inequality and a change of variable,
Thus, by the assumption of the theorem, we get
The last inequality holds as by Taylor’s theorem and the assumptions on f (i.e., f″ ≤ 0), for ɛ small enough, there is a real number τ such that
Therefore we arrive at
Since f is strictly increasing we conclude that
which is equivalent to
From that we get
As μ has its centroid at 0, we have by (15) that
and the theorem follows from the result by Barthe, Böröczky and Fradelizi [9], Theorem 11, with ρ(t) = e −t. □
3.3 Stability for the Reverse Log Sobolev Inequality
We now prove a stability result for the reverse log Sobolev inequality. This inequality was first proved by Artstein-Avidan, Klartag, Schütt, and Werner [6] under strong smoothness assumptions. Those were subsequently removed in [20] and there, also equality characterization was achieved.
We first recall the reverse log Sobolev inequality. Let γ n be the standard Gaussian measure on \(\mathbb{R}^{n}\). For a log-concave probability measure μ on \(\mathbb{R}^{n}\) with density e −ψ, i.e., ψ = −log(d μ∕dx), let
be the Shannon entropy of μ.
Theorem 14 ([6, 20])
Let μ be a log-concave probability measure on \(\mathbb{R}^{n}\) with density e −ψ with respect to the Lebesgue measure. Then
Equality holds if and only if μ is Gaussian (with arbitrary mean and positive definite covariance matrix).
Inequality (20) is a reverse log Sobolev inequality as it can be shown that the log Sobolev inequality is equivalent to
where \(\Delta \) is the Laplacian. We refer to, e.g., [6, 20] for the details.
Note that inequality (20) follows from inequality (16) with f(t) = logt. However, because of the assumptions on φ in Theorem 13, the result would only hold under those assumptions and not in the full generality stated in Theorem 14. Similarly, a stability result for Theorem 14 follows from Theorem 13 with f(t) = logt. But again, because of the assumptions of Theorem 13, the result would only hold for those ψ such that e −ψ is in \(C^{2}(\mathbb{R}^{n})\) and has centroid at 0. We can prove a stability result for Theorem 14 without these assumptions. The proof is similar to the one of Theorem 13. We include it for completeness. But first we need to recall various items.
For a convex function \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\), we define D ψ to be the convex domain of ψ, \(D_{\psi } =\{ x \in \mathbb{R}^{n},\psi (x) < +\infty \}\). We always consider convex functions ψ such that \(\text{int }\left (D_{\psi }\right )\neq \emptyset\). In the general case, when ψ is neither smooth nor strictly convex, the gradient of ψ, denoted by ∇ψ, exists almost everywhere by Rademacher’s theorem (e.g., [53]), and a theorem of Alexandrov [1], Busemann and Feller [16], guarantees the existence of its Hessian ∇2 ψ almost everywhere in \(\text{int }\left (D_{\psi }\right )\). We let X ψ be the set of points of \(\text{int }\left (D_{\psi }\right )\) at which its Hessian ∇2 ψ in the sense of Alexandrov, Busemann, and Feller exists and is invertible. Then, by definition of the Legendre transform, for a convex function \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) we have
for every \(x,y \in \mathbb{R}^{n}\), and with equality if and only if x ∈ D ψ and y = ∇ψ(x), i.e.,
Theorem 15
Let \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) be a convex function and let μ be a log-concave probability measure on \(\mathbb{R}^{n}\) with density e −ψ with respect to Lebesgue measure. Suppose that for some ɛ ∈ (0,ɛ 0 ),
Then there exist c > 0 and a positive definite matrix A such that
where limɛ→0 R(ɛ) = ∞ and ɛ 0 ,η,R(ɛ) depend on n.
Proof
Both terms of the inequality are invariant under translations of the measure μ, so we can assume that μ has its centroid at 0.
Put ɛ = logβ > 0. Since \(S(\gamma _{n}) = \frac{n} {2} \log (2\pi e)\), the inequality of the theorem turns into
which in turn is equivalent to
We now use the divergence theorem and get
where \(N_{D_{\psi }}(x)\) is an exterior normal to the convex set D ψ at the point x and \(\sigma _{D_{\psi }}\) is the surface area measure on ∂ D ψ . Since D ψ is convex, the centroid 0 of μ is in D ψ . Thus \(\langle x,N_{D_{\psi }}(x)\rangle \geq 0\) for every x ∈ ∂ D ψ and div(x) = n hence
Thus we get from inequality (22),
With Jensen’s inequality, and as d μ = e −ψ dx,
By (21),
The change of variable y = ∇ψ(x) gives
and inequality (23) becomes
As \(\int _{D_{\psi }}e^{-\psi }dx = 1\) and β −1 = e −ɛ ≥ 1 −ɛ, we therefore get that
As μ has its centroid at 0, we have by (15) that
The theorem now follows from Theorem 11, the stability result for the functional Blaschke Santaló inequality, due to Barthe, Böröczky, and Fradelizi [9]. □
3.4 Stability for the L λ -Affine Isoperimetric Inequality for Log Concave Functions
The following divergence inequalities were proved in [17]. In fact, inequalities (25), (26) and consequently (16) are special cases of a more general divergence inequality proved in [17].
For 0 ≤ λ ≤ 1, it says
and for λ ∉ [0, 1],
The left-hand sides of the above inequalities are the L λ -affine surface areas as λ (ψ). For a general log concave function φ = e −ψ (and not just a log concave function in \(C^{2}(\mathbb{R}^{n})\)) they were introduced in [20],
Since \(\mathrm{det}\left (\nabla ^{2}\psi (x)\right ) = 0\) outside X ψ , the integral may be taken on D ψ for λ > 0. In particular,
Assume now that ∫ x e −ψ(x) dx = 0 or \(\int xe^{-\psi ^{{\ast}}(x) }dx = 0\). Then we can apply the functional Blaschke Santaló inequality (15) and get from (25) that for λ ∈ [0, 1],
Similarly, for λ ≤ 0, we get from (26)
provided that \(\varphi \in C^{2}(\mathbb{R}^{n})\), which is the assumption on φ in inequality (16). However, these inequalities hold without such a strong smoothness assumption. This, together with characterization of equality, was proved in [20].
Theorem 16 ([20])
Let \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{\infty \}\) be a convex function. For λ ∈ [0,1],
and for λ ≤ 0,
For λ = 0 equality holds trivially in these inequalities. Moreover, for 0 < λ ≤ 1, or λ < 0, equality holds in above inequalities if and only if \(\psi (x) = \frac{1} {2}\langle Ax,x\rangle + c\) , where A is a positive definite n × n matrix and c is a constant.
A stability result for these inequalities is again an immediate consequence of Theorem 13. But again, we would then get the stability result for log concave functions \(\varphi \in C^{2}(\mathbb{R}^{n})\) only, so we include the proof for general functions.
Proposition 17
Let \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) be a convex function such that ∫xe −ψ(x) dx = 0 or \(\int xe^{-\psi ^{{\ast}}(x) }dx = 0\).
-
(i)
Let 0 < λ ≤ 1 and suppose that for some ɛ ∈ (0,ɛ 0 ),
$$\displaystyle{as_{\lambda }(\psi ) > (1-\varepsilon )^{\lambda }\left (2\pi \right )^{n\lambda }\left (\int _{ X_{\psi }}e^{-\psi (x)}dx\right )^{1-2\lambda }.}$$ -
(ii)
Let λ < 0 and suppose that for some ɛ ∈ (0,ɛ 0 ),
$$\displaystyle{as_{\lambda }(\psi ) < (1-\varepsilon )^{\lambda }\left (2\pi \right )^{n\lambda }\left (\int _{ X_{\psi }}e^{-\psi (x)}dx\right )^{1-2\lambda }.}$$Then, in both cases (i) and (ii), there exists c > 0 and a positive definite matrix A such that
$$\displaystyle{\int _{R(\varepsilon )B_{2}^{n}}\left \vert \frac{\|x\|_{2}^{2}} {2} + c -\psi (Ax)\right \vert dx <\eta \varepsilon ^{ \frac{1} {129n^{2}} },}$$where limɛ→0 R(ɛ) = ∞ and ɛ 0 ,η,R(ɛ) depend on n.
Proof
(i) The case λ = 1 is the stability case for the functional Blaschke Santaló inequality of Theorem 11. Therefore we can assume that 0 < λ < 1. We put d μ = e −ψ dx. By Hölder’s inequality with p = 1∕λ and q = 1∕(1 −λ),
where, in the last equality, we have used (21) and (24). Therefore, by the assumption (i) of the proposition
which is equivalent to
and the result is again a consequence of Theorem 11 by Barthe, Böröczky, and Fradelizi [9].
Similarly, in the case (ii) the proposition follows by applying the reverse Hölder inequality. □
The following Blaschke Santaló type inequality follows directly from inequality (28). It was also proved, together with its equality characterization in [20].
Corollary 18 ([20])
Let \(\lambda \in [0, \frac{1} {2}]\) and let \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) be a convex function such that ∫xe −ψ(x) dx = 0 or \(\int xe^{-\psi ^{{\ast}}(x) }dx = 0\) . Then
Equality holds if and only if there exist \(a \in \mathbb{R}\) and a positive definite matrix A such that \(\psi (x) = \frac{1} {2}\langle Ax,x\rangle + a\) , for every \(x \in \mathbb{R}^{n}\) .
We have the following stability result as a direct consequence of Theorem 11.
Proposition 19
Let \(\psi: \mathbb{R}^{n} \rightarrow \mathbb{R} \cup \{ +\infty \}\) be a convex function such that ∫xe −ψ(x) dx = 0 or \(\int xe^{-\psi ^{{\ast}}(x) }dx = 0\) . Let \(0 \leq \lambda \leq \frac{1} {2}\) and suppose that for some ɛ ∈ (0,ɛ 0 ),
Then, there exist c > 0 and a positive definite matrix A such that
where limɛ→0 R(ɛ) = ∞ and ɛ 0 ,η,R(ɛ) depend on n.
References
A.D. Aleksandrov Almost everywhere existence of the second differential of a convex function and some properties of convex surfaces connected with it, Leningrad State Univ. Annals [Uchenye Zapiski] Math. Ser. 6 (1939), 3–35.
S. Alesker, Continuous rotation invariant valuations on convex sets, Ann. of Math. 149, (1999), 977–1005.
B. Andrews, Gauss curvature flow: the fate of the rolling stones, Invent. Math. 138, (1999), 151–161.
B. Andrews, The affine curve-lengthening flow, J. Reine Angew. Math. 506, (1999), 43–83.
S. Artstein-Avidan, B. Klartag, V. Milman, The Santaló point of a function, and a functional form of Santaló inequality, Mathematika 51 (2004), 33–48.
S. Artstein-Avidan, B. Klartag, C. Schütt and E. M. Werner, Functional affine-isoperimetry and an inverse logarithmic Sobolev inequality, Journal of Functional Analysis 262, (2012), 4181–4204.
K. Ball, Isometric problems in l p and sections of convex sets, PhD dissertation, University of Cambridge (1986).
K. Ball and K. Böröczky, Stability of some versions of the Prékopa Leindler inequality, Monatshefte für Mathematik 163(1), (2011), 1–14.
F. Barthe, K. Böröczky and M. Fradelizi, Stability of the functional form of the Blaschke-Santaló inequality, Monatshefte für Mathematik, (2013) DOI: 0.1007/s00605-013-0499-9.
A. Bernig, J. H. G. Fu, and G. Solanes, Integral geometry of complex space forms, Geom. Funct. Anal. 24, (2014), 403–492.
K. Böröczky, Polytopal approximation bounding the number of k-faces, Journal of Approximation Theory 102, (2000), 263–285.
W. Blaschke, Vorlesungen über Differentialgeometrie II, Affine Differentialgeometrie. Springer Verlag, Berlin, (1923).
K. Böröczky, Stability of the Blaschke-Santaló and the affine isoperimetric inequalities, Advances in Math. 225, (2010), 1914–1928.
K. Böröczky and Makai, Volume product in the plane II, upper estimates: the polygonal case and stability, in preparation.
J. Bourgain and V.D. Milman, New volume ratio properties for convex symmetric bodies in \(\mathbb{R}^{n}\), Invent. Math. 88, (1987), 319–340.
H. Busemann and W. Feller, Krümmungseigenschaften konvexer Flächen, Acta Math. 66 (1935), 1–47.
U. Caglar and E. M. Werner, Divergence for s-concave and log concave functions, Advances in Math. 257 (2014), 219–247.
U. Caglar and E. Werner, Mixed f-divergence and inequalities for log concave functions, Proceedings London Math. Soc. 110, (2015), 271–290.
U. Caglar and D. Ye, Orlicz affine isoperimetric inequalities for functions, arXiv:1506.02974 (2015).
U. Caglar, M. Fradelizi, O. Guédon, J. Lehec, C. Schütt and E. M. Werner, Functional versions of L p -affine surface area and entropy inequalities, International Mathematics Research Notices 2015; doi: 10.1093/imrn/rnv151.
A. Deicke, Über die Finsler-Räume mit A i = 0, Archiv Math. 4 (1953), 45–51.
M. Fradelizi and M. Meyer, Some functional forms of Blaschke-Santaló inequality, Math. Z. 256, No. 2, (2007), 379–395.
R. J. Gardner and G. Zhang, Affine inequalities and radial mean bodies, Amer. J. Math. 120, No.3, (1998), 505–528.
R. Gardner, Geometric tomography, Encyclopedia of Mathematics and its Applications vol. 58, Cambridge Univ. Press, Cambridge, 2006.
R. J. Gardner, The dual Brunn-Minkowski theory for bounded Borel sets: Dual affine quermassintegrals and inequalities, Advances in Math. 216, (2007), 358–386.
R. Gardner, D. Hug and W. Weil, The Orlicz-Brunn-Minkowski theory: a general framework, additions, and inequalities, J. Differential Geometry, 97, No. 3, (2014), 427–476.
P. M. Gruber, Aspects of approximation of convex bodies, Handbook of Convex Geometry, vol.A, North Holland, (1993), 321–345.
C. Haberl, Blaschke valuations, Amer. J. Math. 133, (2011), 717–751.
C. Haberl, Minkowski valuations intertwining with the special linear group, J. Eur. Math. Soc. (JEMS) 14, (2012), 1565–159.
C. Haberl and F. Schuster, General L p affine isoperimetric inequalities, J. Differential Geometry 83, (2009), 1–26.
D. Hug, Curvature Relations and Affine Surface Area for a General Convex Body and its Polar, Results in Mathematics 29, (1996), 233–248.
M. N. Ivaki, On stability of the p -affine isoperimetric inequality, The Journal of Geometric Analysis 24 (2014), 1898–1911.
M. N. Ivaki, Stability of the Blaschke-Santaló inequality in the plane, Monatshefte für Mathematik 177 (2015), 451–459.
G. Kuperberg, From the Mahler conjecture to Gauss linking integrals, Geom. Funct. Anal. 18, No. 3, (2008), 870–892.
J. Lehec, A simple proof of the functional Santaló inequality, C. R. Acad. Sci. Paris. Sér.I 347 (2009), 55–58.
K. Leichtweiss, Affine Geometry of Convex bodies, Johann Ambrosius Barth Verlag, Heidelberg, (1998).
M. Ludwig, Asymptotic approximation of smooth convex bodies by general polytopes, Mathematika 46, (1999), 103–125.
M. Ludwig, Ellipsoids and matrix valued valuations, Duke Math. J. 119, (2003), 159–188.
M. Ludwig, Intersection bodies and valuations, Amer. J. Math. 128, (2006), 1409–1428.
M. Ludwig, General affine surface areas, Advances in Math. 224, (2010), 2346–2360.
M. Ludwig, Minkowski areas and valuations, J. Differential Geometry, 86, (2010), 133–162.
M. Ludwig and M. Reitzner, A classification of S L(n) invariant valuations, Ann. of Math. 172, (2010), 1223–1271.
E. Lutwak and V. Oliker, On the regularity of solutions to a generalization of the Minkowski problem, J. Differential Geometry 41, (1995), 227–246.
E. Lutwak, Extended affine surface area, Advances in Math. 85, (1991), 39–68.
E. Lutwak, The Brunn-Minkowski-Firey theory II: Affine and geominimal surface areas, Advances in Math. 118, (1996), 244–294.
E. Lutwak, D. Yang and G. Zhang, Sharp Affine L p Sobolev inequalities, J. Differential Geometry 62, (2002), 17–38.
E. Lutwak, D. Yang and G. Zhang, Volume inequalities for subspaces of L p , J. Differential Geometry 68, (2004), 159–184.
M. Meyer and E. M. Werner, The Santaló-regions of a convex body, Transactions of the AMS 350, (1998), 4569–4591.
M. Meyer and E. Werner, On the p -affine surface area, Advances in Math. 152, (2000), 288–313.
F. Nazarov, The Hörmander proof of the Bourgain-Milman theorem, Geometric Aspects of Functional Analysis 2050, (2012), 335–343.
G. Paouris and E. M. Werner, Relative entropy of cone measures and Lp centroid bodies, Proceedings London Math. Soc. 104, (2012), 253–286.
L. Parapatits and T. Wannerer, On the Inverse Klain Map, Duke Math. J. 162, (2013), 1895–1922.
J. M. Borwein and J.D. Vanderwerff, Convex Functions: Constructions, Characterizations and Counterexamples, Cambridge Univ. Press, 2010.
M. Reitzner, Random points on the boundary of smooth convex bodies, Trans. Amer. Math. Soc. 354, (2002), 2243–2278.
R. Schneider, Convex Bodies: The Brunn-Minkowski theory, Encyclopedia of Mathematics and its Applications vol. 151, Cambridge Univ. Press, Cambridge, 2014.
F. Schuster, Crofton measures and Minkowski valuations, Duke Math. J. 154, (2010), 1–30.
C. Schütt, The convex floating body and polyhedral approximation, Israel J. Math. 73, (1991), 65–77.
C. Schütt, On the affine surface area, Proc. Amer. Math. Soc. 118, (1993), 1213–1218.
C. Schütt and E. M. Werner, The convex floating body, Math. Scand. 66, (1990), 275–290.
C. Schütt and E. Werner, Surface bodies and p-affine surface area, Advances in Math. 187, (2004), 98–145.
C. Schütt and E. M. Werner, Random polytopes of points chosen from the boundary of a convex body, Geometric aspects of functional analysis, vol. 1807 of Lecture Notes in Math., Springer-Verlag, (2002), 241–422.
A. Stancu, The Discrete Planar L 0 -Minkowski Problem, Advances in Math. 167, (2002), 160–174.
A. Stancu, On the number of solutions to the discrete two-dimensional L 0 -Minkowski problem, Advances in Math. 180, (2003), 290–323.
E. M. Werner, On L p -affine surface areas, Indiana Univ. Math. J. 56, No. 5, (2007), 2305–2324.
E. M. Werner, Rényi Divergence and L p -affine surface area for convex bodies, Advances in Math. 230, (2012), 1040–1059.
E. M. Werner and D. Ye, New L p affine isoperimetric inequalities, Advances in Math. 218, (2008), 762–780.
E. Werner and D.Ye, Inequalities for mixed p affine surface area, Math. Annalen 347, (2010), 703–737.
Acknowledgements
Elisabeth M. Werner is partially supported by an NSF grant.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer Science+Business Media LLC
About this paper
Cite this paper
Caglar, U., Werner, E.M. (2017). Stability Results for Some Geometric Inequalities and Their Functional Versions. In: Carlen, E., Madiman, M., Werner, E. (eds) Convexity and Concentration. The IMA Volumes in Mathematics and its Applications, vol 161. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-7005-6_17
Download citation
DOI: https://doi.org/10.1007/978-1-4939-7005-6_17
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4939-7004-9
Online ISBN: 978-1-4939-7005-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)