Abstract
We prove the validity of the p-Brunn–Minkowski inequality for the intrinsic volume \(V_k\), \(k=2,\dots , n-1\), of symmetric convex bodies in \({{\mathbb {R}}}^n\), in a neighbourhood of the unit ball when one of the bodies is the unit ball, for \(0\le p<1\). We also prove that this inequality does not hold true on the entire class of convex bodies of \({{\mathbb {R}}}^n\), when p is sufficiently close to 0.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Brunn–Minkowski inequality is one of the cornerstones of convex geometry, the branch of mathematics which studies the theory of convex bodies; in one of its formulations, it states that the volume functional \(V_n\) is \((\frac{1}{n})\)-concave, that is
and equality holds if and only if \(K_0\) and \(K_1\) are homothetic, or contained in parallel hyperplanes. Here \(V_n\) is the volume, that is, the Lebesgue measure in \({{\mathbb {R}}}^n\), \(K_0,K_1\) belong to the set of compact and convex subsets (convex bodies) of \({{\mathbb {R}}}^n\), denoted by \({{\mathcal {K}}}^n\), and the “sum” of sets indicates the Minkowski linear combination, that is, the vectorial sum. We refer the reader to the survey paper [15], and to the monograph [30] for a thorough presentation of the Brunn–Minkowski inequality, its numerous connections to other areas of mathematics, and applications.
Inequality (1.1) has a great number of variations and generalizations which consider different kinds of sums and different kinds of shape functionals; here we are interested in extending it to the so called p-addition of convex bodies and to the intrinsic volumes, rather than the classical volume.
The p-sum of convex bodies was introduced by Firey in [14] for \(p\ge 1\), and offers an extension to the Minkowski sum (which represents the case \(p=1\)). Its definition is based on the support function of a convex body K, which is denoted by \(h_K:{{\mathbb {S}}}^{n-1}\rightarrow {{\mathbb {R}}}\) (see Sect. 2 for definitions and preliminary results) and finds its motivation starting from the behaviour of the support function with respect to the Minkowski sum of sets. More precisely: for every \(K,L\in {{\mathcal {K}}}^n\) and \(\alpha , \beta \ge 0\) the following equality holds:
This relation motivates the definition of p-addition, for \(p\ge 1\): for \(K,L\in {{\mathcal {K}}}^n\), both containing the origin (that is, \(K,L\in {{\mathcal {K}}}^n_0\)), and for \(\alpha ,\beta \ge 0\), the p-combination \(\alpha \cdot K+_p\beta \cdot L\), with \(p\ge 1\), is defined as the convex body whose support function is given by
This definition is well posed since \((\alpha h_K^p+\beta h_L^p)^{1/p}\) is a (non-negative) support function, by the condition \(p\ge 1\). The p-addition is at the core of the branch of convex geometry currently known as \(L_p\)-Brunn–Minkowski theory (see [30, Chapter 9]), which received a major impulse by the works of Lutwak (see for instance [22, 23]).
A recent breakthrough in this context is due to the works [5, 6] by Böröczky, Lutwak, Yang and Zhang, where the authors begin the analysis of the range \(p<1\), focusing on the case \(p=0\). In particular, in [5] they establish the following form of the Brunn–Minkowski inequality for the case \(p=0\), called the log-Brunn–Minkowski inequality, which we state in Theorem 1.1. Given \(K_0\) and \(K_1\) in \({{\mathcal {K}}}^n_0\), and \(t\in [0,1]\), consider the function \(h_t:{{\mathbb {S}}}^{n-1}\rightarrow {{\mathbb {R}}}^n\) defined by
Then define the convex body \((1-t)\cdot K_0+_0 t\cdot K_1\) as the Aleksandrov body, or Wulff shape, of \(h_t\); that is:
where \( (\cdot ,\cdot ) \) denotes the standard scalar product of \( {{\mathbb {R}}}^n \).
Theorem 1.1
(Böröczky, Lutwak, Yang, Zhang) For every \(K_0, K_1\in {{\mathcal {K}}}^2_0\), origin symmetric, and for every \(t\in [0,1]\):
Equality holds if and only if \(K_0\) and \(K_1\) are dilates of each other, or they are parallelotopes.
In [5] the authors conjectured the same result to be valid in arbitrary dimension; this is the well known log-Brunn–Minkowski inequality conjecture.
Conjecture (Log-Brunn–Minkowski inequality–Böröczky, Lutwak, Yang, Zhang) For every \(K_0, K_1\in {{\mathcal {K}}}^n_0\), origin symmetric, and for every \(t\in [0,1]\):
The idea used in (1.2) to define the 0-sum has been extended to define the \(L_p\) convex combination of \(K_0, K_1\in {{\mathcal {K}}}^n_0\), for \(p\in (0,1)\). Given \(t\in [0,1]\), we set
Note that, by standard properties of p-means, for every \(p\ge 0\) it holds:
(see (2.4) below). Hence, by the previous inclusion and by a standard argument based on the homogeneity of the volume, inequality (1.3) would imply:
for every \(p\ge 0\), that is a Brunn–Minkowski type inequality for the p-sum, for \(p\ge 0\).
The conjectures about the validity of (1.3) and (1.5) originated an intense activity in recent years, and much progress has been made in this area (see [3, 4, 8, 10, 11, 17, 20, 21, 24,25,26,27, 29, 31]).
As already mentioned, inequality (1.1) has been generalized in many directions. It became the prototype for many similar inequalities, which bear the name of “Brunn–Minkowski type inequalities”, where the volume functional is replaced by other functionals. Among them, we mention those verified by intrinsic volumes as functionals defined on \({{\mathcal {K}}}^n\), with respect to the standard Minkowski addition. Indeed, for every \(k\in \{0,1,\dots ,n\}\), the following inequality holds:
(see [30, Theorem 7.4.5]), where \(V_k\) is the k-th intrinsic volume. In particular, when \(k=1\) equality holds in the previous inequality for every \(K_0, K_1\) and t, while for \(k= n\) inequality (1.6) is the classical Brunn–Minkowski inequality (1.1). Note that (1.6) implies a corresponding inequality with respect to the p-addition, for every \(p\ge 1\), in \({{\mathcal {K}}}^n_0\), due to the monotonicity of intrinsic volumes.
The question that we consider in this paper is whether intrinsic volumes verify a Brunn–Minkowski inequality with respect to the p-addition, for \(p\in [0,1)\), in \({{\mathcal {K}}}^n_0\).
To begin with, we present the case \(k\in \{2,\dots ,n-1\}\) (note that, for \(k=0\), \(V_0\) is constant, \(k=n\) is the case of the volume, and the case \(k=1\) will be described separately). We prove two types of results, one in the affirmative and one in the negative direction. Our first two results state the validity of the p-Brunn–Minkowski inequality for intrinsic volumes, in a suitable neighborhood of the unit ball \(B_n\) of \({{\mathbb {R}}}^n\), for every \(p\in [0,1)\). We denote by \({{\mathcal {K}}}^n_{0,s}\) the family of origin symmetric convex bodies.
Theorem 1.2
There exists \(\eta >0\) such that for every \(k\in \{2,\dots ,n\}\) and \(p\in [0,1)\), if \(K\in {{\mathcal {K}}}^n_{0,s}\) is of class \(C^{2,+}\) and verifies
then
and
Moreover, equality holds in (1.7) and in (1.8), if and only if K is a ball centered at the origin.
The proof of (1.7) in this theorem is in the same spirit of analogous (and, in fact, stronger) results concerning the volume, proved in [10, 11, 21]. The argument can be heuristically described as follows: (1.7) is equivalent to the concavity of \(\log (V_k)\), with respect to the 0-addition. We compute the second variation of \(\log (V_k)\), and we prove that it is negative definite at the unit ball. Then, by a continuity argument, we deduce that such second variation continues to be negative definite in a neighborhood of \(B_n\). As in the case of the volume, determining the sign of the second variation amounts to analysing the spectrum of a second order elliptic operator on \({{\mathbb {S}}}^{n-1}\). As it is pointed out in [21], this method dates back to the proof of the standard Brunn–Minkowski inequality for the volume, given by Hilbert (see also [2]).
Concerning (1.8), we deduce it from (1.7), using (1.4) and an argument based on homogeneity. Moreover, again by homogeneity, (1.8) and (1.7) could be stated replacing \(B_n\) with the ball of radius \(R>0\) centered at the origin, for an arbitrary R.
In the case of the volume, \(k=n\), and for \(n\ge 3\) and \(p=0\), Theorem 1.2 is contained in [10]. For \(0<p<1\), when p is sufficiently close to 1, the validity of the p-Brunn–Minkowski inequality for the volume has been proved for the entire class of centrally symmetric convex bodies, with contributions by Kolesnikov and Milman [21] and Chen, Huang, Li, Liu [8] (see also [26]).
We also show by counterexamples that for p sufficiently close to 0, the p-Brunn–Minkowski inequality for \(V_k\) does not hold in \({{\mathcal {K}}}^n\), for any \(k\in \{2,\dots ,n-1\}\).
Theorem 1.3
For every \(n\ge 3\), \(k\in \{2,\dots ,n-1\}\), there exists \(\bar{p}\in (0,1)\) such that for every \(p\in (0,{\bar{p}})\) the p-Brunn–Minkowski inequality for \(V_k\) does not hold in \({{\mathcal {K}}}^n_{0,s}\). That is, there exist \(K_0, K_1\in {{\mathcal {K}}}^n_{0,s}\) such that
if \(0<p<\bar{p}\).
Indeed we built some counterexamples by considering k-dimensional cubes, with faces parallel to coordinate hyperplanes, embedded in \({{\mathbb {R}}}^n\) in such a way that the dimension of their intersection is minimized. The construction shows how the value \({\bar{p}}\) depends on n and k.
The analysis of the case \(k=1\) yields a reverse Brunn–Minkowski inequality: this is a direct consequence of the linearity of \(V_1\) with respect to the Minkowski addition.
Theorem 1.4
Let \(n\ge 3\), \(p\in [0,1)\), \(t\in [0,1]\). For every \(K_0, K_1\in {{\mathcal {K}}}^n_{0}\) it holds
Moreover, equality holds if and only if either one of the two bodies \(K_0\) and \(K_1\) coincides with \(\{0\}\), or they coincide up to a dilation.
As it is well known, Brunn–Minkowski type inequalities (and in particular equality conditions), are often decisive for uniqueness in the corresponding Minkowski problem. The relevant problem for intrinsic volumes is in fact the so-called Christoffel–Minkowski problem, which asks to determine a convex body when one of its area measures is prescribed (see [30, Section 8.4]). As an application of Theorem 1.2, we find the following local uniqueness result for the solution of the \(L_p\) version of the Christoffel–Minkowski problem, \(0\le p<1\).
Theorem 1.5
There exists \(\eta >0\) such that for every \(k\in \{2,\dots ,n-2\}\) and \(p\in [0,1)\), if \(K\in {{\mathcal {K}}}^n_{0,s}\) is of class \(C^{2,+}\) and
then the condition
implies that \(K=B_n\) (here \(S_{k-1}\) denotes the area measure of order \((k-1)\) of K).
A more general result, under the assumption that \(h_k\in C^4({{\mathbb {S}}}^{n-1})\), is proved in [7] (see also references contained therein). Moreover, the case \(k=n\) of Theorem 1.5 was already established in [10]. Note that (1.11) can be written as a partial differential equation on \({{\mathbb {S}}}^{n-1}\):
where h indicates the support function of K, \(h_{ij}\), for \(i,j=1,\dots ,n-1\), are the second covariant derivatives of h with respect to a local orthonormal frame on \({{\mathbb {S}}}^{n-1}\), \(\delta _{ij}\) are the usual Kronecker symbols, \(S_{k-1}(h_{ij}+h\delta _{ij})\) is the elementary symmetric function of order \((k-1)\) of the eigenvalues of the matrix \((h_{ij}+h\delta _{ij})\) and \(c_{n,k}=\left( {\begin{array}{c}n-1\\ k-1\end{array}}\right) \).
In Sect. 5.1 we also present a local uniqueness result for Eq. (1.12), in the more general context of Sobolev spaces. The argument is based on the inverse function theorem for Banach spaces, and it is completely independent of the Brunn–Minkowski inequality.
Organization of the paper After some preliminaries, given in Sect. 2, Sect. 3 concerns properties of intrinsic volumes relevant to the computation of their first and second variations with respect to the p-addition. The proofs of Theorems 1.2 and 1.4 are given in Sect. 4, while Theorem 1.5 is proved in Sect. 5. Eventually, the proof of Theorem 1.3 is contained in Sect. 6.
2 Preliminaries
2.1 Notations
We work in the n-dimensional Euclidean space \({{\mathbb {R}}}^n\), \(n\ge 2\), endowed with the Euclidean norm \(\vert \cdot \vert \) and the scalar product \((\cdot ,\cdot )\). We denote by \(B_n:= \lbrace x\in {{\mathbb {R}}}^n : \vert x\vert \le 1\rbrace \) and \({{\mathbb {S}}}^{n-1}:=\lbrace x\in {{\mathbb {R}}}^n : \vert x\vert = 1\rbrace \) the unit ball and the unit sphere, respectively.
2.1.1 Convex bodies and Wulff shapes
The symbol \({{\mathcal {K}}}^n\) indicates the set of convex bodies in \({{\mathbb {R}}}^n\), that is, convex and compact subsets of \({{\mathbb {R}}}^n\). For every \(K\in {{\mathcal {K}}}^n\), \(h_K\) denotes the support function of K, which is defined, for every \(x\in {{\mathbb {S}}}^{n-1}\), as:
We say that \(K\in {{\mathcal {K}}}^n\) is of class \(C^{2,+}\) if its boundary \(\partial K\) is of class \(C^2\) and the Gauss curvature is positive at every point of \(\partial K\).
We denote by \({{\mathcal {K}}}^n_0\) the family of convex bodies containing the origin in their interior and by \({{\mathcal {K}}}^n_{0,s}\) the family of those elements of \({{\mathcal {K}}}^n_0\) which are origin symmetric. We underline that a convex body contains the origin if and only if its support function is non-negative on \({{\mathbb {S}}}^{n-1}\), and the origin is an interior point if and only if the support function is strictly positive on \({{\mathbb {S}}}^{n-1}\). Moreover, \(K\in {{\mathcal {K}}}^n\) is origin symmetric if and only if \(h_K\) is even.
For \(p\ge 1\), the \(L_p\) Minkowski linear combination of K and L in \({{\mathcal {K}}}^n_0\), with coefficients \(\alpha ,\beta \ge 0\), denoted by
is defined through the relation
Given a continuous function \(f\in C({{\mathbb {S}}}^{n-1})\) and \(f>0\), we define its Aleksandrov body, or Wulff shape, as
It is not hard to prove that K[f] is a convex body, and
Moreover, equality holds in the previous inequality if f is a support function. Notice that, by definition, if \(f\equiv R\), where R is a positive constant, it holds \(K[f]=R B_n\).
For \(p>0\), the \(L_p\) Minkowski convex combination of \(K_0,K_1\in {{\mathcal {K}}}^n_0\), with parameter \(t\in [0,1]\), is defined as:
and we interpret the case \(p=0\) in the following limiting sense:
Notice that if \(p\ge 1\) this coincides with the classical \(L_p\) Minkowski linear combination defined by (2.1). Moreover, for all \(p\in (0,1)\), the following chain of inclusions
holds. Indeed, by the monotonicity property of the p-means we have
where \(h_0\) and \(h_1\) denote the support functions of \(K_0\) and \(K_1\), respectively; hence from (2.3) and (2.2) we get (2.4).
For \(K\in {{\mathcal {K}}}^n\) and \(k\in \{0,\dots ,n\}\), \(V_k(K)\) denotes the k-th intrinsic volume of K; the intrinsic volumes are described in more details in Sect. 3.
2.2 The matrix Q
For a function \(\varphi \in C^2({{\mathbb {S}}}^{n-1})\) and \(i,j\in \{1,\dots ,n-1\}\), we denote by \(\varphi _i\), \(\varphi _{ij}\) the first and second covariant derivatives with respect to a local orthonormal frame on \({{\mathbb {S}}}^{n-1}\). Moreover, we set
where \(\delta _{ij}\), \(i,j\in \{1,\dots ,n-1\}\), denotes the Kronecker symbols. Then \(Q[\varphi ]\) is a symmetric matrix of order \((n-1)\).
The following proposition can be deduced, for instance, from [30, Section 2.5] and it will be used several times in the paper.
Proposition 2.1
Let \(K\in {{\mathcal {K}}}^n\). The body K is of class \(C^{2,+}\) if and only if its support function \(h_K\) is a \(C^2({{\mathbb {S}}}^{n-1})\) function and
We set
that is, \(C^{2,+}({{\mathbb {S}}}^{n-1})\) is the set of support functions of convex bodies of class \(C^{2,+}\). We also denote by \(C^{2,+}_0({{\mathbb {S}}}^{n-1})\) the set of support functions of convex bodies of class \(C^{2,+}\) in \({{\mathcal {K}}}^n_0\).
2.3 Elementary symmetric functions of a matrix
Let \(N\in {{\mathbb {N}}}\) (in most cases we will consider \(N=(n-1)\)); we denote by \(\mathrm{Sym}(N)\) the space of symmetric square matrices of order N. For \(A=(a_{ij})\in \mathrm{Sym}(N)\) and for \(r\in \{1,\dots ,N\}\), we denote by \(S_r(A)\) the r-th elementary symmetric function of the eigenvalues \(\lambda _1,\dots ,\lambda _N\) of A:
For completeness, we set \(S_0(A)=1\). Note that
For \( r\in \{1,\ldots ,N\} \) and \(i,j\in \{1,\dots ,N\}\), we set
The symmetric matrix \((S_{r}^{ij}(A))_{i,j\in \{1,\dots ,N\}}\) is called the r-cofactor matrix of A. In the special case \(r=N\), this is the standard cofactor matrix (in particular \((S_{N}^{ij}(A))_{i,j\in \{1,\dots ,N\}}=A^{-1}\det (A)\), provided \(\det (A)\ne 0\)). If \(\mathrm {I}_{N}\) denotes the identity matrix of order N, then, for every \(r\in \{1,\dots ,N\}\), we have
Moreover,
i.e.
This follows from (2.5) and from [12, Proposition 2.1]. We also set
for \( r\in \{1,\ldots ,N\} \) and \( i,j,k,l\in \{1,\ldots ,N\} \).
2.4 Integration by parts formulas
The following integration by parts formulas hold.
Proposition 2.2
For every h, \(\psi \), \(\varphi \), \(\bar{\varphi }\in C^2({{\mathbb {S}}}^{n-1})\),
where we have used the convention of summation over repeated indices.
The proof follows from Lemma 2.3 in [9] (see also [10, (11)]).
2.5 The Poincaré inequality on the sphere
Given a function \(\psi \in C^1({{\mathbb {S}}}^{n-1})\), we denote by \(\nabla \psi \) the spherical gradient of \(\psi \) (that is the gradient of \(\psi \) as an application from \({{\mathbb {S}}}^{n-1}\) to \({{\mathbb {R}}}\); see for instance [1]). For \(\psi \in C^2({{\mathbb {S}}}^{n-1})\), we denote by \(\Vert \psi \Vert _{L^2({{\mathbb {S}}}^{n-1})}, \Vert \nabla \psi \Vert _{L^2({{\mathbb {S}}}^{n-1})}, \Vert \psi \Vert _{C^2({{\mathbb {S}}}^{n-1})}\) the standard \(L^2\) and \(C^2\) norms on the sphere, respectively.
Proposition 2.3
(Poincaré inequality on \({{\mathbb {S}}}^{n-1})\) For every \(\psi \in C^1({{\mathbb {S}}}^{n-1})\) such that
it holds
The constant in the previous inequality can be improved under a symmetry assumption, as the following result shows (see, e.g., Section 2 in [10] for the proof).
Proposition 2.4
(Poincaré inequality on \({{\mathbb {S}}}^{n-1}\) with symmetry) Let \(\psi \in C^1({{\mathbb {S}}}^{n-1})\) be even, and such that
Then
3 Intrinsic volumes
Given a convex body \(K\in {{\mathcal {K}}}^n\) of class \(C^{2,+}\) and \(k\in \{0,\dots ,n\}\), the k-th intrinsic volume of K can be written in the form:
where \(h=h_K\in C^{2,+}({{\mathbb {S}}}^{n-1})\) is the support function of K, and \(\kappa _j\) denotes the j-dimensional volume of the unit ball in \({{\mathbb {R}}}^j\) (see formulas (2.43), (4.9) and (5.56) in [30]). Based on the previous formula, we consider the functional
and we define
The functionals \(F_k\) and \({\mathcal {F}}_k\) have the following properties.
-
\(\displaystyle F_k(h)=\frac{1}{k}\int _{{{\mathbb {S}}}^{n-1}}h(x){\mathcal {F}}_k(h)(x)\,\mathrm {d}x. \)
-
\({\mathcal {F}}_k\) is positively homogeneous of order \((k-1)\), that is:
$$\begin{aligned} {\mathcal {F}}_k(t h)=t^{k-1}{\mathcal {F}}_k(h),\quad \forall \, h\in C^{2,+}({{\mathbb {S}}}^{n-1}),\;\forall t>0. \end{aligned}$$Consequently, \(F_k\) is positively homogeneous of order k.
-
For every \(h\in C^{2,+}({{\mathbb {S}}}^{n-1})\) there exists a linear functional \(L_k(h):C^2({{\mathbb {S}}}^{n-1})\rightarrow C({{\mathbb {S}}}^{n-1})\) such that, for every \(\varphi \in C^2({{\mathbb {S}}}^{n-1})\),
$$\begin{aligned} \lim _{s\rightarrow 0}\frac{{\mathcal {F}}_k(h+s\varphi )-{\mathcal {F}}_k(h)}{s}=L_k(h)\varphi , \end{aligned}$$where \(L_k(h)\varphi \) denotes \(L_k(h)\) applied to \(\varphi \). \(L_k\) admits the following representation:
$$\begin{aligned} L_k(h)\varphi =S^{ij}_{k-1}(Q[h])(\varphi _{ij}+\varphi \delta _{ij}), \end{aligned}$$(3.2)where the summation convention over repeated indices is used (see [12, Proposition 4.2]).
-
For every \(h\in C^{2,+}({{\mathbb {S}}}^{n-1})\), \(L_k(h)\) is self-adjoint, that is,
$$\begin{aligned} \int _{{{\mathbb {S}}}^{n-1}}\psi L_k(h)\varphi \,\mathrm {d}x=\int _{{{\mathbb {S}}}^{n-1}}\varphi L_k(h)\psi \,\mathrm {d}x, \end{aligned}$$for every \(\varphi ,\psi \in C^2({{\mathbb {S}}}^{n-1})\). This follows from Proposition 2.2.
We conclude this section by recalling the first and second variation of the functional \(F_k\). In order to do this, we fix an element h of \(C^{2,+}({{\mathbb {S}}}^{n-1})\) and we consider a differentiable path \(h_s\) in \(C^{2,+}({{\mathbb {S}}}^{n-1})\), passing through h. In other words, for some \(\varepsilon >0\), we have a map \((-\varepsilon ,\varepsilon )\ni s\mapsto h_s\in C^{2,+}({{\mathbb {S}}}^{n-1})\) such that
and the following derivatives exist for every s and for every \(x\in {{\mathbb {S}}}^{n-1}\):
We also set
We assume that the limits giving the previous derivatives are uniform in x.
In the following proposition we recall the first and second variations of \(F_k\) (we refer to [12] for the proofs).
Proposition 3.1
For every \(h\in C^{2,+}({{\mathbb {S}}}^{n-1})\), for every \(\varphi \in C^2({{\mathbb {S}}}^{n-1})\) and for every \(s\in (-\varepsilon ,\varepsilon )\), with \(\varepsilon >0\) sufficiently small, we have
and
4 Proof of Theorems 1.2 and 1.4
4.1 The case \(k\in \lbrace 2,\dots ,n\rbrace \)
In this subsection we prove Theorem 1.2.
4.1.1 Computations and estimates of derivatives
We consider a convex body \(K\in {{\mathcal {K}}}^n_0\) of class \(C^{2,+}\), and we denote by \(h\in C^{2,+}_0({{\mathbb {S}}}^{n-1})\) its support function. We fix \(\psi \in C^2({{\mathbb {S}}}^{n-1})\) and we define, for sufficiently small |s|,
The proof of the following result follows from [10, Remark 3.2].
Lemma 4.1
Let \(h\in C^{2,+}_0({{\mathbb {S}}}^{n-1})\) and \(h_s\) as in (4.1); there exists \(\eta _0>0\) (depending on h) with the following property: if \(\psi \in C^2({{\mathbb {S}}}^{n-1})\) and
then
From here on, we will always assume that h and \(\psi \) are such that \(h_s\in C^{2,+}_0({{\mathbb {S}}}^{n-1})\) for every \(s\in [-2,2]\). As in Sect. 3, we denote by \(\dot{h}_s, \ddot{h}_s, \dddot{h}_s\) the first, second and third derivatives of \(h_s\) with respect to s, respectively. When the index s is omitted, it means that these derivatives are computed at \(s=0\).
Let \(k\in \{2,\dots ,n\}\); we are interested in the function
Lemma 4.2
With the notations introduced above, we have, for every s:
and
Proof
The formulas for the first and the second derivatives follow from Proposition 3.1 and from (3.2). For the third derivative, the proof is similar to the one in [10, Lemma 3.3]:
where we have used (3.2) and [10, Remark 3.1]. \(\square \)
If K is the unit ball, then \(h\equiv 1\); consequently
These formulas, together with Lemma 4.2, lead to the following result.
Corollary 4.3
Let K be the unit ball. With the notations introduced above we have
(where \(\Delta \) denotes the spherical Laplacian).
Proof
First note that, from (4.1), \(h_0\equiv 1\). From (4.2) we get that
Lemma 4.2, (2.6) and (4.1) imply
Moreover, from Lemma 4.2, (2.6) and (4.3) we have
\(\square \)
Lemma 4.4
Let \(h\in C^{2,+}_0({{\mathbb {S}}}^{n-1})\), and let \(\eta _0\) be as in Lemma 4.1. There exists a constant \(C>0\), depending on h, n and k, such that if \(\psi \in C^2({{\mathbb {S}}}^{n-1})\) and
then, the following estimates
hold true.
Proof
The proof is similar to the one of Lemma 3.5 in [10]. Throughout the proof, C denotes a positive constant depending on h, n and k.
We firstly observe that, since (4.4) is in force, there exists \(C>0\) such that
Then,
and we immediately deduce (4.5).
Now we prove (4.6). From Lemma 4.2 we get
and so from (4.9) we obtain the desired estimate (4.6).
Let us now prove (4.7). Again, from Lemma 4.2 and the integration by parts formula (2.7), we have
hence we have the bound in (4.7).
Finally, we show that (4.8) holds. From Lemma 4.2 we get
Using formula (2.7) from Proposition 2.2, we get
thus
Now, arguing as we did before, we have that
The third term can be estimated, arguing as before, in the following way:
where we used the definition of \(Q_{ij}[h_s\psi _s]\) and the integration by parts formula (2.8). This concludes the proof of (4.8), hence the proof of the lemma. \(\square \)
4.1.2 Proof of Theorem 1.2
We need one last lemma.
Lemma 4.5
Let \(h:{{\mathbb {S}}}^{n-1}\rightarrow {{\mathbb {R}}}\), \(h\equiv 1\) and let \(\psi \in C^2({{\mathbb {S}}}^{n-1})\) be an even function such that
where \(\eta _0\) is given by Lemma 4.1. Let \(f_k:[-2,2]\rightarrow {{\mathbb {R}}}\) be defined by (4.2), where \(k\in \{2,\dots ,n\}\). There exists a constant \(\eta >0\), which depends only on n, \(\eta \le \eta _0\), such that if
then the function
Moreover, the function is strictly concave, unless \(\psi \) is a constant.
Proof
We start by computing
and
We show that
for all \(s\in [-2,2]\), provided \(\Vert \psi \Vert _{C^2({{\mathbb {S}}}^{n-1})}\le \eta \) and \(\psi \) is not constant. We have
First we assume that
According to Corollary 4.3, we have that
and
Moreover,
Now, since (4.11) is in force and \(\psi \) is even, from Proposition 2.4 we get
As
we may write
where \(\gamma >0\) depends only on n. Now, for every \(s\in [-2,2]\) there exists \(\bar{s}\) between 0 and s such that
from Lemma 4.4, we know that (4.5), (4.6), (4.7) and (4.8) hold true, hence
where we used Proposition 2.4 again. We have then proved the concavity of f, and the strict concavity whenever \(\Vert \nabla \psi \Vert _{L_2({{\mathbb {S}}}^{n-1})}>0\), i.e. whenever \(\psi \) is not a constant.
Now we drop the assumption (4.11). Given \(\psi \in C^2({{\mathbb {S}}}^{n-1})\), let
Clearly \(\bar{\psi }\in C^2({{\mathbb {S}}}^{n-1})\) and \(\bar{\psi }\) verifies (4.11). Moreover
hence if \( \Vert \psi \Vert _{C^2(\mathbb {S}^{n-1})}\le \eta _0/2\) then \(\bar{\psi }\) satisfies (4.10). Since
we have
thus
We conclude that \(\log \bar{f}_k\) and \(\log f_k\) differ by a linear term, and the concavity (respectively the strict concavity) of \(\bar{f}_k\) is equivalent to that of \(f_k\). On the other hand, by the first part of the proof \(\log \bar{f}_k\) is concave (and strictly concave unless \(\psi \) is constant), as long as \(\Vert \bar{\psi }\Vert _{C^2(\mathbb {S}^{n-1})}\) is sufficiently small, and this condition is verified if \(\Vert \psi \Vert _{C^2(\mathbb {S}^{n-1})}\) is sufficiently small.
Finally, note that, by (4.1), if \(\psi =\psi _0\) is constant then \(h_s=e^{\psi _0 s}\). Consequently
whence \(\log f_k(s)\) is linear.
The proof of the lemma is complete. \(\square \)
We split the proof of Theorem 1.2 in two parts: in the first one we prove the validity of (1.7), while in the second one we deduce (1.8).
Proof of (1.7) in Theorem 1.2
Let \(\eta >0\) be as in Lemma 4.5, and let \(K\in {{\mathcal {K}}}^n_{0,s}\) be of class \(C^{2,+}\) and such that
where h is the support function of K. This implies that \(h>0\) on \({{\mathbb {S}}}^{n-1}\), and therefore we can set \(\psi =\log h\in C^2({{\mathbb {S}}}^{n-1})\); thus we may write h in the form \(h=e^\psi \). Define, for \(t\in [0,1]\),
and let \(h_t\) be the support function of \(K_t\); then
Hence \(V_k(K_t)\) is concave in \([-2,2]\), which proves (1.7). Moreover, \(V_k(K_t)\) is strictly concave unless \(\psi \) is constant, and the latter condition is equivalent to saying that h is constant, i.e. K is a ball centered at the origin. \(\square \)
The following remark will be useful for the proof of (1.8) in Theorem 1.2.
Remark 4.6
If two convex bodies \(K_0\) and \(K_1\) satisfy the log-Brunn–Minkowski inequality
then \(\alpha K_0\) and \(\beta K_1\) satisfy the same log-Brunn–Minkowski inequality, for \(\alpha , \beta >0\).
Indeed, we consider the convex bodies \(\alpha K_0\) and \(\beta K_1\); from the definition of 0-sum we have
where \(h_0\) and \(h_1\) denote the support functions of \(K_0\) and \(K_1\), respectively. Hence, from the fact that \(V_k\) is k-homogeneous, (4.16) and (4.15) we obtain
i.e. \(\alpha K_0\) and \(\beta K_1\) satisfy the log-Brunn–Minkowski inequality (4.15) too. By the previous argument, it is clear that we have equality in the inequality for \(K_0\) and \(K_1\) if and only if we have equality in the inequality for \(\alpha K_0\) and \(\beta K_1\).
Proof of (1.8) in Theorem 1.2
Let \(B_n\) and K be as in the statement of Theorem 1.2. In the following we will use an homogeneity argument which is classical in convex geometry; for completeness we write all the details. Let us define
observe that
since \(V_k\) is k-homogeneous. Because of Theorem 1.2, \(B_n\) and K satisfy the log-Brunn–Minkowski inequality
Thanks to Remark 4.6, \(\tilde{B_n}\) and \({\tilde{K}}\) satisfy the same log-Brunn–Minkowski inequality:
Now, for every \(t\in [0,1]\) we define
Clearly \({\tilde{t}}\in [0,1]\) and
hence, applying (4.18) with \(t={\tilde{t}}\), we find
where we have used (4.17). On the other hand,
where we used the fact that
Summing up, we have that
The conclusion now follows from the inclusion (2.4), which gives
Assuming that equality holds in (4.19), we see that we have equality in (4.18) as well. By Remark 4.6 and by the discussion of equality conditions in Theorem 1.2, we obtain that K has to be homothetic to \(B_n\). The vice versa of this statement follows from homogeneity. \(\square \)
4.2 The case \(k=1\)
In this subsection we prove Theorem 1.4.
Proof of Theorem 1.4
We firstly observe that (see Sects. 2 and 3)
With this remark the conclusion of the theorem follows immediately from Minkowski’s triangular inequality (if \(0<p<1\)) and from Hölder’s inequality (if \(p=0\)). Indeed, let \(0<p<1\) and let \(K_0, K_1\in {{\mathcal {K}}}^n_{0}\), then for any \(t\in [0,1]\)
While, if \(p=0\)
From the characterization of equality conditions in the Minkowski’s triangular inequality and in the Hölder’s inequality we deduce that \(h_{K_0}=\alpha h_{K_1}\), for some \(\alpha \ge 0\). This implies that either one of the two bodies \(K_0\) and \(K_1\) coincides with \(\lbrace 0\rbrace \), or they are homothetic. \(\square \)
5 Local uniqueness for the \(L_p\) Christoffel–Minkowski problem
In this section, we prove Theorem 1.5. We will need the following preliminary result.
Lemma 5.1
There exists \(\eta >0\) such that for every \(p\in (0,1)\) and if \(K\in {{\mathcal {K}}}^n_{0,s}\) is of class \(C^{2,+}\) and
then for every \(t\in [0,1]\) the function \(h_t:{{\mathbb {S}}}^{n-1}\rightarrow {{\mathbb {R}}}\) defined by
is the support function of a convex body \(K_t\in {{\mathcal {K}}}^n_{0,s}\), of class \(C^{2,+}\).
Proof
Note that \(h_t\in C^2({{\mathbb {S}}}^{n-1})\) for every \(t\in [0,1]\). By Proposition 2.1, we need to prove that
for every \(t\in [0,1]\). By contradiction, assume that there exist a sequence \(\eta _j>0\), \(j\in {{\mathbb {N}}}\), converging to 0, a sequence of convex bodies \(K_j\in {{\mathcal {K}}}^n_{0,s}\), of class \(C^{2,+}\), a sequence \(t_j\in [0,1]\) and a sequence \(x_j\in {{\mathbb {S}}}^{n-1}\), such that, denoting by \(h_j\) the support function of \(K_j\),
and
Clearly \(h_j\) converges to the constant function \(h_0\equiv 1\) in \(C^2({{\mathbb {S}}}^{n-1})\), and hence \(h_{j}\) converges to \(h_0\equiv 1\) in \(C^2({{\mathbb {S}}}^{n-1})\). Up to subsequences, we may also assume that \(t_j\) and \(x_j\) converge to \({\bar{t}}\in [0,1]\) and \({\bar{x}}\in {{\mathbb {S}}}^{n-1}\), respectively. As a consequence of these facts, by the continuity of Q we get
which is a contradiction, as \(Q[h_0]\) is the identity matrix. \(\square \)
Proof of Theorem 1.5
We first consider the case \(p>0\). Let \(\bar{\eta }>0\) be smaller than the two positive quantities, both called \(\eta \), appearing in Theorem 1.2 and Lemma 5.1. Let \(K\in {{\mathcal {K}}}^n_{0,s}\) be of class \(C^{2,+}\) and such that
Up to replacing \(\eta \) with a smaller constant, we may assume that \(h_K>0\) on \({{\mathbb {S}}}^{n-1}\). For simplicity, in the rest of the proof we will write h instead of \(h_K\). We also set
By the definition of p-addition and Lemma 5.1, the support function \(h_t\) of \(K_t\) is given by:
We now consider the functions \(f,g:[0,1]\rightarrow {{\mathbb {R}}}\) defined by:
Moreover \(f(0)=g(0), f(1)=g(1)\), so that
Note that
By Lemma 4.2, we have:
where we have used (1.11). From (5.1), (5.2) and (5.3), we get
In a similar way, from the comparison \(g'(1)\ge f'(1)\) we obtain the reverse inequality. Hence \(V_k(K)=V_k(B_n)\), which implies that \(f'(0)=f'(1)=0\). As f is concave, we have that f is constant in [0, 1], which means that the inequality (1.8) becomes an equality for K. By Theorem 1.2, K is a dilation of \(B_n\). On the other hand, (1.11) implies \(K=B_n\).
The proof in the case \(p=0\) is similar; (1.7) in Theorem 1.2 and Lemma 4.1 will have to be used instead of (1.8) in Theorem 1.2 and Lemma 5.1, respectively. \(\square \)
5.1 Local uniqueness via a different approach
In this subsection we obtain a local uniqueness result for Eq. (1.11), in the context of Sobolev spaces, via a different argument.
Let \(k\in \{1,\dots ,n-1\}\) and let q be any real number such that
We consider the Sobolev space \(W^{2,q}({{\mathbb {S}}}^{n-1})\). As \(q>\frac{n-1}{2}\), by the Sobolev embedding theorem, \(C({{\mathbb {S}}}^{n-1})\) continuously embeds in this space. Let \(X:=\{h\in W^{2,q}({{\mathbb {S}}}^{n-1}):h>0\}\). For \(p\in [0,1)\), consider the functional
defined by
(with the obvious extension of the matrix Q to functions having second derivatives defined a.e.). \({{\mathcal {G}}}\) is differentiable in X, and its differential at \(h\in X\) is given by
and depends continuously on \(h\in X\). In particular, at \(h=h_{B^n}\equiv 1\) we have, by the results of Sect. 2.3,
The value
does not belong to the spectrum of the spherical Laplacian, for any value of \(k\in \{1,\dots ,n\}\). Therefore \(D{{\mathcal {G}}}(h_{B^n})\) is invertible. By the inverse function theorem in Banach spaces (see e.g. [28]), \({{\mathcal {G}}}\) is injective in a neighborhood of \(h_{B^n}\) in \(W^{2,k}({{\mathbb {S}}}^{n-1})\).
Let \(K\in {{\mathcal {K}}}^n_0\), and let \(h=h_K\); assume that \(h\in W^{2,q}({{\mathbb {S}}}^{n-1})\). By a standard approximation argument, and by weak continuity of area measures of convex bodies (see e.g. [30, Chapter 4]), it follows that
Assume that \(h>0\) on \({{\mathbb {S}}}^{n-1}\) (i.e. the origin is an interior point of K) and that it verifies (1.11). Then (1.12) holds as well, a.e. on \({{\mathbb {S}}}^{n-1}\). Therefore \({{\mathcal {G}}}(h)={{\mathcal {G}}}(h_{B^n})\). If, in addition, \(\Vert h-1\Vert _{W^{2,q}({{\mathbb {S}}}^{n-1})}\le \eta \), then \(K=B^n\).
We have then proved the following result.
Theorem 5.2
Let \(k\in \{1,\dots ,n-1\}\) and let \(q\in {{\mathbb {R}}}\) verify (5.4). There exists a constant \(\eta >0\) such that if K is a convex body containing the origin in its interior, verifying (1.11), with support function \(h\in W^{2,q}({{\mathbb {S}}}^{n-1})\) and
then \(K=B^n\).
6 Proof of Theorem 1.3: counterexamples
In this section we show that for every \(k\in \{2,\ldots ,n-1\}\) there exists \(\bar{p}\) such that the p-Brunn–Minkowski inequality for the intrinsic volumes does not hold, for every \(p<\bar{p}\), that is, (1.9) is satisfied for suitable \( K_0,K_1\in \mathcal {K}_{0,s}^n \).
Given \(k\in \{ 2,\dots ,n-1 \}\), we consider
and
\(K_0\) and \(K_1\) are k-dimensional cubes of side length 2; therefore \(V_k(K_0)=V_k(K_1)=2^k\). We set, for \(p\in (0,1)\),
so that its support function \(h_{K_p}\) satisfies
We denote by \(\{e_1,\dots ,e_n\}\) the standard orthonormal basis of \({{\mathbb {R}}}^n\), and we treat the cases \(k>n/2\) and \(k\le n/2\) separately.
-
Case \(k>n/2\). In this case we have
$$\begin{aligned}&h_{K_0}(\pm \,\, e_i)={\left\{ \begin{array}{ll} 0 &{}\quad \text{ if } i\in \{ 1,\dots ,n-k \} \\ 1 &{}\quad \text{ if } i\in \{ n-k+1,\dots ,k\} \\ 1 &{}\quad \text{ if } i\in \{ k+1,\dots ,n\}, \end{array}\right. }\\&\text{ and } \quad h_{K_1}(\pm \,\, e_i)={\left\{ \begin{array}{ll} 1 &{}\quad \text{ if } i\in \{ 1,\dots ,n-k \} \\ 1 &{}\quad \text{ if } i\in \{ n-k+1,\dots ,k\} \\ 0 &{}\quad \text{ if } i\in \{ k+1,\dots ,n\}. \end{array}\right. } \end{aligned}$$Therefore, from (6.1),
$$\begin{aligned} h_{K_p}(\pm \,\, e_i)\le {\left\{ \begin{array}{ll} 2^{-1/p} &{}\quad \text{ if } i\in \{ 1,\dots ,n-k \} \\ 1 &{}\quad \text{ if } i\in \{ n-k+1,\dots ,k\} \\ 2^{-1/p} &{} \quad \text{ if } i\in \{ k+1,\dots ,n\}. \end{array}\right. } \end{aligned}$$We deduce that
$$\begin{aligned} K_p\subseteq K:=\left[ -2^{-1/p},2^{-1/p} \right] ^{n-k}\times [-1,1]^{2k-n}\times \left[ -2^{-1/p},2^{-1/p} \right] ^{n-k}, \end{aligned}$$where \([x_0,y_0]^m\) indicates the m-dimensional cube given by the product of m copies of \([x_0,y_0]\). This implies
$$\begin{aligned} V_k(K_p)\le V_k(K)= & {} V_k\left( \left[ -2^{-1/p},2^{-1/p} \right] ^{2n-2k}\times [-1,1]^{2k-n}\right) \\= & {} V_k\left( \prod _{i=1}^n[-a_i,a_i]\right) =2^k\sum _{1\le i_1<\ldots <i_k\le n}a_{i_1}\ldots a_{i_k}, \end{aligned}$$where
$$\begin{aligned} a_i={\left\{ \begin{array}{ll} 2^{-1/p} &{}\quad \text{ if } i\in \{ 1,\dots ,2n-2k \} \\ 1 &{}\quad \text{ if } i\in \{ 2n-2k+1,\dots ,n\}. \end{array}\right. } \end{aligned}$$Notice that, since \(k<n\), we have \(n-(2n-2k)=2k-n<k\), hence when choosing k intervals among \(\{[-a_i,a_i]\}_{i=1,\ldots ,n}\), at least one of the them is of the form \( \left[ -2^{-1/p},2^{-1/p} \right] \). We are going to discuss separately the cases \( k\le \frac{2}{3}n \) and \( k>\frac{2}{3}n \).
If \( k\le \frac{2}{3}n \), then \( 2n-2k\ge k \), and
$$\begin{aligned} V_k(K_p)\le & {} 2^k\sum _{1\le i_1<\ldots <i_k\le n}a_{i_1}\ldots a_{i_k}=2^k\sum _{i=1}^k\left( {\begin{array}{c}2n-2k\\ i\end{array}}\right) 2^{-i/p}\\\le & {} 2^{k-1/p}\sum _{i=1}^k\left( {\begin{array}{c}2n-2k\\ i\end{array}}\right) =:C_{n,k}\; 2^{k-1/p}, \end{aligned}$$whereas if \( k>\frac{2}{3}n \), then \( 2n-2k<k \) and
$$\begin{aligned} V_k(K_p)\le & {} 2^k\sum _{1\le i_1<\ldots <i_k\le n}a_{i_1}\ldots a_{i_k}=2^k\sum _{i=1}^{2n-2k}\left( {\begin{array}{c}2n-2k\\ i\end{array}}\right) 2^{-i/p}\\\le & {} 2^{k-1/p}\sum _{i=1}^{2n-2k}\left( {\begin{array}{c}2n-2k\\ i\end{array}}\right) =2^{k-1/p}(2^{2n-2k}-1). \end{aligned}$$Since \(V_k(K_0)=V_k(K_1)=2^k\), we have
$$\begin{aligned} \left( \frac{1}{2}V_k(K_0)^\frac{p}{k}+\frac{1}{2}V_k(K_1)^\frac{p}{k}\right) ^\frac{k}{p}=2^k, \end{aligned}$$while
$$\begin{aligned} V_k(K_p)\le {\left\{ \begin{array}{ll}C_{n,k}\; 2^{k-1/p}&{}\quad \text{ if } \frac{n}{2}<k\le \frac{2}{3}n\\ 2^{k-1/p}(2^{2n-2k}-1)&{}\quad \text{ if } \frac{2}{3}n<k\le n-1\end{array}\right. } \end{aligned}$$
If \( \frac{n}{2}<k\le \frac{2}{3}n \), consider
and let \(p<\bar{p}\) (note that \(C_{n,k}>1\), so that \({\bar{p}}>0\)). Hence
that is, the p-Brunn–Minkowski inequality fails.
If \( \frac{2}{3}n<k\le n-1 \), we choose
and we take \(p<\bar{p}\). Hence
that is, the p-Brunn–Minkowski inequality fails.
\(\bullet \) Case \(k\le n/2\). In this case we have
Consequently, from (6.1),
and we deduce that
Therefore,
Let \(\bar{p}=\frac{k}{\log _2{\left( {\begin{array}{c}2k\\ k\end{array}}\right) }}\) and consider \(p<\bar{p}\). We have
which is equivalent to \(2^k >\left( {\begin{array}{c}2k\\ k\end{array}}\right) 2^{k-\frac{k}{p}}\), which entails that the p-Brunn–Minkowski inequality fails.
Summing things up, we have the following result: for every fixed \(k\in \{2,\ldots ,n-1\}\), let
then the p-Brunn Minkowski for intrinsic volumes does not hold if \(p<\bar{p}_k\). In particular, this proves Theorem 1.3.
Remark 6.1
The value of \(\bar{p}_k\) is bounded away from 1, as n and k range in \({{\mathbb {N}}}\) and \(\{2,\dots ,n-1\}\), respectively. We analyse its value and its asymptotic behaviour in high dimension, in the three cases \(1<k\le \frac{n}{2}, \frac{n}{2}< k\le \frac{2}{3}n \text{ and } \frac{2}{3}n < k\le n-1\).
Case \(1<k\le \frac{n}{2}\). The sequence
is strictly increasing, hence \(b_k>b_1=1\) for \(k\ge 2\), which implies that
moreover \(\lim _{k\rightarrow \infty } \bar{p}_k = \frac{1}{2}\).
Case \(\frac{n}{2}<k\le \frac{2}{3}n\). We notice that, since \(k>1\),
hence
for every \(k\le \frac{2}{3}n\) and for every \(n\ge 3\). Hence the asymptotic behavior of \(\bar{p}_k\) as n tends to infinity is infinitesimal for every \(\frac{n}{2}<k\le \frac{2}{3}n\).
Case \(\frac{2}{3}n<k\le n-1\). Since \(n-k\ge 1\), we have \(\bar{p}_k\le 1/\log _2 3<1\).
References
Abate, M., Tovena, F.: Curves and surfaces, translated from Italian by D. A. Gewurz, Unitext, 55. Springer, Milan (2012)
Bonnesen, T., Fenchel, W.: Theorie der konvexen Körper. Springer, Berlin (1934). [Reprint: Chelsea Publ. Co., New York (1948); English translation: BCS Associates, Moscow (1987)]
Böröczky, K., De, A.: Stability of the logarithmic Brunn–Minkowski inequality in the case of many hyperplane symmetries. arXiv:2101.02549(preprint)
Böröczy, K., Kalantzopoulos, P.: Log-Brunn–Minkowski inequality under symmetry. arXiv:2002.12239(preprint)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The log-Brunn–Minkowski inequality. Adv. Math. 231(3–4), 1974–1997 (2012)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The logarithmic Minkowski problem. J. Am. Math. Soc. 26(3), 831–852 (2013)
Chen, L.: Uniqueness of solutions to \(L_p\) Christoffel–Minkowski problems. J. Funct. Anal. 279(8) (2020)
Chen, S., Huang, Y., Li, Q.-R., Liu, J.: The \(L_p\)-Brunn–Minkowski inequality for \(p<1\). Adv. Math. 368, 107166 (2020)
Colesanti, A., Hug, D., Saorín-Gómez, E.: Monotonicity and concavity of integral functionals. Commun. Contemp. Math. 19(2), 1650033 (2017)
Colesanti, A., Livshyts, G.: A note on the the quantitative local version of the log-Brunn–Minkowski inequality. Advances in Analysis and Geometry, vol. 2, special volume dedicated to the mathematical legacy of Victor Lomonosov (2020)
Colesanti, A., Livshyts, G., Marsiglietti, A.: On the stability of log-Brunn–Minkowski type inequality. J. Funct. Anal. 273(3), 1120–1139 (2017)
Colesanti, A., Saorín-Gómez, E.: Functional inequalities derived from the Brunn–Minkowski inequality for quermassintegrals. J. Convex Anal. 17(1), 35–49 (2010)
Cordero-Erausquin, D.: Santaló’s inequality on \(\mathbb{C} ^n\) by complex interpolation. C. R. Math. Acad. Sci. Paris 334(9), 767–772 (2002)
Firey, W.J.: \(p\)-means of convex bodies. Math. Scand. 10, 17–24 (1962)
Gardner, R.: The Brunn–Minkowski inequality. Bull. Am. Math. Soc. 39(3), 355–405 (2002)
Gilbarg, D., Trudinger, N.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1977)
Hosle, J., Kolesnikov, A., Livshyts, G.: On the \(L_p\)-Brunn–Minkowski and the dimensional Brunn–Minkowski conjectures for log-concave measures. arXiv:2003.05282(preprint)
Jerison, D.: The Minkowski problem for electrostatic capacity. Acta Math. 176, 1–47 (1996)
Koldobsky, A.: Fourier Analysis in Convex Geometry. AMS, Providence (2005)
Kolesnikov, A., Livshyts, G.: On the local version of the log-Brunn–Minkowski conjecture and some new related geometric inequalities. arXiv:2004.06103(preprint)
Kolesnikov, A., Milman, E.: Local \(L^p\)-Brunn–Minkowski inequalities for \(p<1\). Mem. AMS. arXiv:1711.01089(to appear)
Lutwak, E.: The Brunn–Minkowski–Firey theory, I: mixed volumes and the Minkowski problem. J. Differ. Geom. 38(1), 131–150 (1993)
Lutwak, E.: The Brunn–Minkowski–Firey theory, II: affine and geominimal surface areas. Adv. Math. 118(2), 244–294 (1996)
Ma, L.: A new proof of the log-Brunn–Minkowski inequality. Geom. Dedicata 177, 75–82 (2015)
Milman, E.: A sharp centro-affine isospectral inequality of Szegö–Weinberger type and the \(L_p\) Minkowski problem. arXiv:2103.02994(preprint)
Putterman, E.: Equivalence of the local and global versions of the \(L_p\)-Brunn–Minkowski inequality. J. Funct. Anal. arXiv:1909.03729(to appear)
Rotem, L.: A letter: the log-Brunn–Minkowski inequality for complex bodies. arXiv:1412.5321(unpublished)
Rudin, W.: Functional Analysis. McGraw Hill, New Delhi (1974)
Saroglou, C.: Remarks on the conjectured log-Brunn–Minkowski inequality. Geom. Dedicata 177, 353–365 (2015)
Schneider, R.: Convex Bodies: The Brunn-Minkowski Theory, Second Expanded Edition. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2013)
Xi, D., Leng, G.: Dar’s conjecture and the log-Brunn–Minkowski inequality. J. Differ. Geom. 103(1), 145–189 (2016)
Acknowledgements
The authors are indebted to Emanuel Milman for his precious suggestions concerning Theorem 1.2. Chiara Bianchini was partially supported by the GNAMPA project “Analisi spettrale per operatori ellittici con condizioni di Steklov o parzialmente incernierate”. Andrea Colesanti was partially supported by the GNAMPA project “Equazioni alle derivate parziali: aspetti geometrici, disuguaglianze collegate e forme ottime”. Daniele Pagnini was partially supported by the GNAMPA group. Alberto Roncoroni was the holder of a postdoc funded by the INdAM and was partially supported by the GNAMPA project “Equazioni ellittiche e disuguaglianze analitico/geometriche collegate”. The authors wish to thank the anonymous referee for their useful comments, which improved the exposition and some of the results and proofs of the paper (in particular those of Sect. 5.1).
Funding
Open access funding provided by Università degli Studi di Firenze within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bianchini, C., Colesanti, A., Pagnini, D. et al. On p-Brunn–Minkowski inequalities for intrinsic volumes, with \(0\le p<1\). Math. Ann. 387, 321–352 (2023). https://doi.org/10.1007/s00208-022-02454-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-022-02454-0