Abstract
Recently Böröczky, Lutwak, Yang and Zhang have proved the log-Brunn–Minkowski inequality which is stronger than the classical Brunn–Minkowski inequality for two origin-symmetric convex bodies in the plane. This paper presents a new proof of this inequality and proves the uniqueness of the cone-volume measure by using the log-Minkowski inequality.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathcal {K}^{n}\) be the set of all convex bodies, i.e., compact convex sets with non-empty interior, in the \(n\) dimensional Euclidean space \(\mathbb {E}^{n}\). The volume of a set \(M\subset \mathbb {E}^{n}\), is denoted by \(V(M)\). For two convex bodies \(K, L \in \mathcal {K}^{n}\), the Minkowski addition is denoted \(K+L=\{x+y : x \in K, y\in L\},\) and the classical Brunn–Minkowski inequality states that
with equality if and only if \(K\) and \(L\) are homothetic. It became an extremely powerful tool in convex geometry with significant applications to various other areas of mathematics. Gardner’s article [8] and Schneider’s classic text [26] are excellent survey and source of references.
In the early 1960s, Firey [6] extended the Minkowski addition of convex bodies to \(L_{p}\)-Minkowski addition for each \(p\ge 1\) (now known as Firey-Minkowski \(L_{p}\)-addition). Furthermore, he also established the \(L_{p}\)-Brunn–Minkowski inequality (an inequality that is also known as the Brunn–Minkowski–Firey inequality), which states as follows:
with equality if and only if \(K\) and \(L\) are dilatates. In the mid 1990s, it was shown in [14, 15], that when Firey-Minkowski \(L_{p}\)-addition is combined with volume the result is an embryonic \(L_{p}\)-Brunn–Minkowski theory. This theory has expanded rapidly. (See e.g.[16–21]).
Recently, Böröczky, Lutwak, Yang and Zhang in [4] defined the \(L_{0}\)-Minkowski addition of convex bodies, for \(0\le \lambda \le 1,\)
where \(h_{K}\) and \(h_{L}\) are the support functions of \(K\) and \(L\) and conjectured that for origin-symmetric convex bodies \(K\) and \(L\) in \(\mathbb {E}^{n}\) and \(0\le \lambda \le 1,\)
They call (1.4) the log-Brunn–Minkowski inequality and note that while it is not true for general convex bodies, it implies the classical Brunn–Minkowski inequality for origin-symmetric convex bodies. In [4], (1.4) is proved when \(n=2\), and it is also shown that for all \(n\), (1.4) is equivalent to the log-Minkowski inequality
where \(V_{K}\) is the cone-volume measure of \(K\).
In fact, Böröczky, Lutwak, Yang and Zhang in [4] first proved the uniqueness of the cone-volume measure, then used the uniqueness of the cone-volume measure to prove the log-Brunn-Minkowski inequality. The cone-volume measure of a convex body is defined as if \(K\) is a convex body in \(\mathbb {E}^{n}\) that contains the origin in its interior, then the cone-volume measure, \(V_{K}\), of \(K\) is a Borel measure on the unit sphere \(S^{n-1}\) defined for a Borel set \(\omega \in S^{n-1}\), by
where \(\nu _{K}: \partial K\rightarrow S^{n-1}\) is the Gauss map of \(K\), defined on \(\partial K\), the set of points of \(\partial K\) that have a unique outer unit normal, and \(\mathcal {H}^{n-1}\) is \((n-1)\)-dimensional Hausdorff measure. In recent years, cone-volume measures have appeared in e.g. [3, 5, 10, 12, 13, 23–25].
In this paper, we present a new proof for the log-Minkowski inequality in the plane, and then prove the uniqueness of the cone-volume measure of a convex body in the plane by using the log-Minkowski inequality.
2 Preliminaries
In this section, we will review some basic facts in convex geometry, which are useful for our later discussion. Good general references for the theory of convex bodies are provided by the books of Gardner [9], Gruber [11], Leichtweiss [22], Schneider [26], and Thompson [29]. Firstly, we will give the definition of a compact convex set and its support function.
If \(K\subseteq \mathcal {K}^{n}\) , its support function \(h(K, \cdot ): \mathbb {E}^{n}\rightarrow \mathbb {E}\) is defined by
A convex body \(K\) in \(\mathbb {E}^{n}\) is origin-symmetric if and only if
for all \(u\in S^{n-1}\).
Let \(K\) be a convex body in \(\mathbb {E}^{n}\) that contains the origin in its interior, then the cone-volume measure, \(V_{K}\), of \(K\) is a Borel measure on the unit sphere \(S^{n-1}\) defined for a Borel set \(\omega \in S^{n-1}\), by
There are formulas
and
Let \(K, L\subseteq \mathcal {K}^{n}\) and if \(h_{K}\) , \(h_{L}\) are the support functions of \(K\) and \(L\), the Minkowski addition can be equivalently defined as the compact convex set such that
The Minkowski–Steiner formulas state that
and
where \(t\ge 0\),
and
is called the the \(i\)-th mixed volume of \(K\) and \(L\). In particular, we have \(V_{0}(K, L) = V(K)\), \(V_{n}(K, L)=V(L)\) and \(V_{i}(K, L)= V_{n-i}(L, K)\).
Differentiating both sides of (2.6) with respect to \(t\), and using (2.7), we have
In the planar case, write \(V_{1}(K, L)\) as \(V (K, L)\). Then the formula (2.6) becomes
where \(V(K, L)=V(L, K).\) So
3 The Log-Brunn–Minkowski inequality
The following lemma, proved in [4], will be needed.
Lemma 3.1
If \(K, L\) are origin-symmetric plane convex bodies, then
with equality if and only if \(K\) and \(L\) are dilates, or \(K\) and \(L\) are parallelograms with parallel sides.
Theorem 3.1
If \(K\) and \(L\) are planar origin-symmetric convex bodies, then
with equality if and only if \(K\) and \(L\) are dilates, or \(K\) and \(L\) are parallelograms with parallel sides.
Proof
Let
Now, differentiating \(F(t)\) with respect to \(t\), we have
Thus, from Lemma 3.1 we get
This shows that \(F(t)\) is decreasing on \([0, +\infty )\).
Since
By mean value theorem for integrals there exists \(\xi \in S^{1}\) such that
Then
Thus
in particular,
This yields the desired inequality (3.2).
We will now establish the equality conditions in (3.2). To that end, suppose:
Therefore,
Conversely, if \(F'(t)=0.\) Then, there exists a constant \(C\) such that \(F(t)=C.\)
However, by (3.6), this means that
From the above discussion, we have \(F(t)=0\) if and only if \(F'(t)=0\).
Thus, from Lemma 3.1 we get \(F(t)=0\) if and only if \(K\) and \(L+tK\) are dilates, or \(K\) and \(L+tK\) are parallelograms with parallel sides.
In particular, when \(t=0\), We can see that \(F(0)=0\) if and only if \(K\) and \(L\) are dilates, or \(K\) and \(L\) are parallelograms with parallel sides.
It is easily seen that the equality holds in (3.2) if and only if \(K\) and \(L\) are dilates, or \(K\) and \(L\) are parallelograms with parallel sides. \(\square \)
In [4], Böröczky, Lutwak, Yang and Zhang also showed that the following lemma is true.
Lemma 3.2
For origin symmetric convex bodies in \(\mathbb {E}^{n}\), the log-Brunn–Minkowski inequality (1.4) and the log-Minkowski inequality (1.5) are equivalent.
Theorem 3.2
If \(K\) and \(L\) are origin-symmetric convex bodies in the plane, then for all real \(\lambda \in [0, 1],\)
When \(\lambda \in (0, 1)\), equality in the inequality holds if and only if \(K\) and \(L\) are dilates or \(K\) and \(L\) are parallelograms with parallel sides.
4 Uniqueness question for planar cone-volume measures
Given a finite Borel measure on the unit sphere, under what necessary and sufficient conditions is the measure the cone-volume measure of a convex body? This is the existence question for the unsolved log-Minkowski problem. It requires solving a Monge-Amp\(\grave{e}\)re equation and is connected with some important curvature flows (see e.g. [1, 2, 7, 27]). The uniqueness question for the log-Minkowski problem asks under what conditions can two different bodies have identical cone-volume measures. The uniqueness question appears to be more difficult than the existence question. In the plane, Gage [7] showed that within the class of origin-symmetric plane convex bodies that are smooth and have positive curvature, the cone-volume measure determines the convex body uniquely. For even discrete measures, the uniqueness question for the log-Minkowski problem, for plane convex bodies, was treated by Stancu [27]. The uniqueness question for the log-Minkowski problem for arbitrary origin-symmetric plane convex bodies was settled by Böröczky, Lutwak, Yang and Zhang [5]. For convex bodies in \(\mathbb {E}^{n}\), the problem remains open.
The following theorem was established by Gage [7] when the convex bodies are smooth and have positive curvature. When the convex bodies are polytopes it is due to Stancu [28]. The proof of the general case is due to Böröczky, Lutwak, Yang and Zhang [4]. Here, we will prove it by the log-Minkowski inequality.
Theorem 4.1
If \(K\) and \(L\) are planar origin-symmetric convex bodies that have the same cone-volume measure, then either \(K=L\) or else \(K\) and \(L\) are parallelograms with parallel sides.
Proof
Assume that \(K\ne L\).
Since
it follows that \(V(K)=V(L).\) Thus, since \(K\ne L\), the bodies can not be dilates.
By the log-Minkowski inequality (3.2), we have
and
with equality, in either inequality, if and only if \(K\) and \(L\) are parallelograms with parallel sides. Using (4.1), \(V_{K}=V_{L}\), (4.2) and \(V_{L}=V_{K}\), we get
Thus, we have equalities in both inequalities of (4.1) and (4.2) By the equality conditions of (4.1) and (4.2), we conclude that \(K\) and \(L\) are parallelograms with parallel sides.
5 Open problems
The following conjecture was made by Böröczky, Lutwak, Yang and Zhang in [4].
Conjecture 1
If \(K\) and \(L\) are origin-symmetric convex bodies in \(\mathbb {E}^{n}\), then
We conjecture that the following result is true.
Conjecture 2
If \(K, L\) are origin-symmetric convex bodies in \(\mathbb {E}^{n}\), then
Remark 1
In fact, if Conjecture 2 is true, by (2.8) and using methods similar to the proof of Theorem 3.1, we can prove that Conjecture 1 is also true.
References
Andrews, B.: Gauss curvature flow: the fate of the rolling stones. Invent. Math. 138, 151–161 (1999)
Andrews, B.: Classification of limiting shapes for isotropic curve flows. J. Am. Math. Soc. 16, 443–459 (2003)
Barthe, F., Guedon, O., Mendelson, S., Naor, A.: A probabilistic approach to the geometry of the \(l^{n}_{p}\) -ball. Ann. Probabil. 33, 480–513 (2005)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The log-Brunn-Minkowski inequality. Adv. Math. 231, 1974–1997 (2012)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The logarithmic Minkowski problem. J. Am. Math. Soc. 26, 831–852 (2013)
Firey, W.J.: \(p\)-means of convex bodies. Math. Scand. 10, 17–24 (1962)
Gage, M.E.: Evolving plane curves by curvature in relative geometries. Duke Math. J. 72, 441–466 (1993)
Gardner, R.J.: The Brunn–Minkowski inequality. Bull. Am. Math. Soc. 39, 355–405 (2002)
Gardner, R.J.: Geometric Tomography, second ed., in: Encyclopedia of mathematics and its applications, vol. 58, Cambridge University Press, Cambridge, (2006)
Gromov, M., Milman, V.D.: Generalization of the spherical isoperimetric inequality for uniformly convex Banach Spaces. Composito Math. 62, 263–282 (1987)
Gruber P. M.: Convex and Discrete Geometry, in: Grundlehren der Mathematischen Wissenschaften, vol. 336, Springer, Berlin, (2007)
Ludwig, M.: General affine surface areas. Adv. Math. 224, 2346–2360 (2010)
Ludwig, M., Reitzner, M.: A classification of \(SL(n)\) invariant valuations. Ann. Math. 172, 1219–1267 (2010)
Lutwak, E.: The Brunn-Minkowski-Firey theory. I. Mixed volumes and the Minkowski problem. J. Differ. Geom. 38, 131–150 (1993)
Lutwak, E.: The Brunn-Minkowski-Firey theory. II. Affine and geominimal surface areas. Adv. Math. 118, 244–294 (1996)
Lutwak, E., Yang, D., Zhang, G.: \(L_{p}\) affine isoperimetric inequalities. J. Differ. Geom. 56, 111–132 (2000)
Lutwak, E., Yang, D., Zhang, G.: A new ellipsoid associated with convex bodies. Duke Math. J. 104, 375–390 (2000)
Lutwak, E., Yang, D., Zhang, G.: Sharp affine \(L_{p}\) Sobolev inequalities. J. Differ. Geom. 62, 17–38 (2002)
Lutwak, E., Yang, D., Zhang, G.: Volume inequalities for subspaces of \(L_{p}\). J. Differ. Geom. 68, 159–184 (2004)
Lutwak, E., Yang, D., Zhang, G.: \(L_{p}\) John ellipsoids. Proc. Lond. Math. Soc. 90(3), 497–520 (2005)
Lutwak, E., Yang, D., Zhang, G.: Optimal Sobolev norms and the \(L_{p}\) Minkowski problem. Int. Math. Res. Not. 62987, 1–21 (2006)
Leichtweiss, K.: Affine Geometry of Convex Bodies. Johann Ambrosius Barth Verlag, Heidelberg (1998)
Naor, A.: The surface measure and cone measure on the sphere of \(l^{n} _{p}\). Trans. Am. Math. Soc. 359, 1045–1079 (2007)
Naor, A., Romik, D.: Projecting the surface measure of the sphere of \(l^{n} _{p}\). Ann. Inst. H. Poincaré Probab. Statist. 39, 241–261 (2003)
Paouris, G., Werner, E.: Relative entropy of cone measures and \(L_{p}\) centroid bodies. Proc. Lond. Math. Soc. 104, 253–286 (2012)
Schneider, R.: Convex bodies: The Brunn-Minkowski Theory, in: Encyclopedia of Mathematics and its Applications, vol. 44, Cambridge University Press, Cambridge, (1993)
Stancu, A.: The discrete planar \(L_{0}\)-Minkowski problem. Adv. Math. 167, 160–174 (2002)
Stancu, A.: On the number of solutions to the discrete two-dimensional \(L_{0}\)-Minkowski problem. Adv. Math. 180, 290–323 (2003)
Thompson, A.C.: Minkowski Geometry, in: Encyclopedia of mathematics and its applications, vol. 63, Cambridge University Press, Cambridge (1996)
Acknowledgments
The author would like to thank anonymous referees for valuable comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ma, L. A new proof of the Log-Brunn–Minkowski inequality. Geom Dedicata 177, 75–82 (2015). https://doi.org/10.1007/s10711-014-9979-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-014-9979-x
Keywords
- \(L_{0}\)-Minkowski addition
- Log-Minkowski inequality
- Log-Brunn–Minkowski inequality
- Minkowski mixed-volume inequality