- Research Article
- Open access
- Published:
Equivalence of Some Affine Isoperimetric Inequalities
Journal of Inequalities and Applications volume 2009, Article number: 981258 (2009)
Abstract
We establish the equivalence of some affine isoperimetric inequalities which include the -Petty projection inequality, the -Busemann-Petty centroid inequality, the "dual" -Petty projection inequality, and the "dual" -Busemann-Petty inequality. We also establish the equivalence of an affine isoperimetric inequality and its inclusion version for -John ellipsoids.
1. Introduction
In the recent years, the -analogs of the projection bodies and centroid bodies have received considerable attentions [1–7]. Lutwak et al. established the -analog of the Petty projection inequality [4]. It states that ifis a convex body in, then for,
with an equality if and only ifis an ellipsoid. Here, is used to denote the polar body of the -projection body, , of and write for , the -dimensional volume of the unit ball .
They also established the -analog of the Busemann-Petty centroid inequality [4]. It states that ifis a star body (about the origin) in, then for,
with an equality if and only ifis a centroid ellipsoid at the origin. Here, is the -centroid body of . It is also shown in [4] that the -Busemann-Petty inequality (1.2) implies -Petty projection inequality (1.1). A quite different proof of the -analog of the Busemann-Petty centroid inequality is obtained by Campi and Gronchi [1].
Recently, Lutwak et al. [8] proved that there is a family of -John ellipsoids, , which can be associated with a fixed convex body : if contains the origin in its interior and , among all origin-centered ellipsoids , the unique ellipsoid solves the constrained maximization problem:
Corresponding to Lutwak et al.'s work, Yu et al. [9] proved that there is a family of dual -John ellipsoids, , which can be associated with a fixed convex body : if contains the origin in its interior and , among all origin-centered ellipsoids , the unique ellipsoid solves the constrained maximization problem:
Lutwak et al. [8] showed that the following results hold.
Theorem A.
If is a convex body in that contains the origin in its interior, and , then
with an equality in the right inequality if and only if is a centered ellipsoid and an equality in the left inequality if is a parallelotope.
Yu et al. [9] showed a theorem similar to Theorem A, and recently, Lu and Leng [10] gave a strengthened inequality as follows.
Theorem B.
If is a convex body in that contains the origin in its interior, and , then
with an equality if and only if is a centered ellipsoid. Here, is a dual form of -Busemann-Petty centroid inequality (1.2).
One purpose of this paper is to establish the equivalence of some affine isopermetric inequalities as follows.
Theorem 1.1.
If is a convex body in that contains the origin in its interior, and , then the following inequalities are equivalent:
all above inequalities with an equality if and only if is a centered ellipsoid.
Note that (1.7) is the -Busemann-Petty centroid inequality (1.2), (1.8) is the dual form of -Busemann-Petty centroid inequality in Theorem B, (1.9) is a "dual" form of -Petty projection inequality, and (1.10) is the -Petty projection inequality (1.1).
Another purpose of this paper is to establish the follow equivalence of Theorem A and its inclusion version Theorem A'.
Theorem 1.2.
If is a convex body in that contains the origin in its interior, and , then Theorem A is equivalent to Theorem A'.
Theorem A'
There exist an ellipsoid and a parallelotope such that
where the left inclusion with an equality if and only if is a centered ellipsoid and the right inclusion with an equality if and only if is a parallelotope.
Some notation and background material contained in Section 2.
2. Notations and Background Materials
We will work in equipped with a fixed Euclidean structure and write for the corresponding Euclidean norm. We denote the Euclidean unit ball and the unit sphere by and , respectively. The volume of appropriate dimension will be denoted by . The group of nonsingular affine transformations of is denoted by . The group of special affine transformations is denoted by , these are the members of whose determinant is one. We will write for the volume of the Euclidean unit ball in . Note that
defines for all nonnegative real (not just the positive integers). For real , define .
If is a convex body in that contains the origin in its interior, then we will use to denote the polar body of , that is,
From the definition of the polar body, we can easily find that for , there is
If is a convex body in , then its support function, , is defined for by A star body in is a nonempty compact set satisfying for all and such that the radial function, defined by is positive and continuous. Two star bodies and are said to be dilates if is independent of .
If is a centered (i.e., symmetric about the origin) convex body, then it follows from the definitions of support and radial functions, and the definition of polar body, that
For -mixed and dual mixed volumes, those formulae are directly given as follows.
It was shown in [11] that corresponding to each convex body that is containing the origin in its interior, there is a positive Borel measure, , on , such that
for each convex body .
If are star bodies in , then for , the dual mixed volume, , of and was defined by [4]
where the integration is with respect to spherical Lebesgue measure on .
From the integral representation (2.5), it follows immediately that for each convex body ,
From (2.6), of the dual -mixed volume, it follows immediately the for each star body ,
We will require two basic inequalities for the -mixed volume and the dual -mixed volume . The -Minkowski inequality states that for convex bodies [3],
with an equality if and only if and are dilates [11]. The dual -Minkowski inequality states that for star bodies [4],
with an equality if and only if and are dilates.
The -projection bodies was first introduced by Lutwak et al. in [4], and is defined as the body whose support function, for is given by
If is a star body about the origin in , and , the -centroid body of is the origin-symmetric convex body whose support function is given by [4]
The normalized polar projection body of , , for is defined as the body whose radial function, for is given by [8]
Here, we introduce a new convex body of , , for , defined as the body whose radial function, for that is given by
Noting that the normalization is chosen for the standard unit ball in , we have . For general reference the reader may wish to consult the books of Gardner [12] and Schneider [13].
3. Proof of the Results
Lemma 3.1.
If is a convex body in that contains the origin in its interior, then
Proof.
From the definition (2.11) and (2.13) combined with (2.4), for , we have
So we get
From the definition (2.12) and (2.14) combined with (2.4), for , we have
So we get
Corollary 3.2.
If is a convex body in that contains the origin in its interior, let , then for ,
Proof.
Since for (see [4]), combined with (3.2) and we know that for ,
From Corollary 3.2, we know that (1.9) is an affine isoperimetric inequality.
Lemma 3.3.
If are convex bodies in that contain the origin in their interior, then the following equalities are equivalent:
Proof.
First, from Lemma 3.1, we know that
From (2.5) and (2.6), we have for ,
Substitute (3.13) in (3.9) and combine (3.15) to just get (3.10); substitute (3.2) in (3.10) and combine (3.14) to just get (3.11); substitute (3.13) in (3.11) and combine (3.15) to just get (3.12); substitute (3.2) in (3.12) and combine (3.14) to just get (3.9).
Note.
Equation (3.9) is proved in [4] and (3.10) is proved in [10].
Proof of Theorem 1.1.
(1.7)(1.8): substituting in (3.10), followed by (2.8), (2.9), and (1.7), we have for each convex body that contains the origin in its interior,
(1.8)(1.9): substituting in (3.11), followed by (2.7), (2.9), and (1.8), we have
(1.9)(1.10): substituting in (3.12), followed by (2.9), we get
that is,
So, we have
(1.10)(1.7): substituting in (3.9), followed by (2.7), (2.10), we have
that is,
Combined with (1.10), we get
that is,
Lemma 3.4 (see [8]).
If is a convex body in that contains the origin in its interior, and , then for ,
Proof of Theorem 1.2.
Firstly, we prove that Theorem A implies Theorem A'.
From , taking , since for , we know that and followed by Lemma 3.4,
where the inclusion with an equality if and only if is a centered ellipsoid.
Suppose that for some , then
Take , here is the unit cube . Since Lutwak et al. [8] proved that the -John ellipsoid of the unit cube is , that is, , so we have by the fact . Following Lemma 3.4, , (3.27) and the left inequality of Theorem A, we have
where the inclusion with an equality if and only if is a parallelotope. By (3.26) and (3.28), we know that Theorem A implies Theorem A'.
Secondly, we prove that Theorem A' implies Theorem A.
On the one hand, since and by Lemma 3.4, we have
with an equality holds if and only if is a centered ellipsoid. On the other hand, suppose that for some , then , so . Following Theorem A' and Lemma 3.4, we have
that is,
with an equality if and only if is a parallelotope. By (3.29) and (3.31), we know that Theorem A' implies Theorem A.
References
Campi S, Gronchi P: The -Busemann-Petty centroid inequality. Advances in Mathematics 2002,167(1):128–141. 10.1006/aima.2001.2036
Campi S, Gronchi P: On the reverse -Busemann-Petty centroid inequality. Mathematika 2002,49(1–2):1–11. 10.1112/S0025579300016004
Lutwak E, Yang D, Zhang G: A new ellipsoid associated with convex bodies. Duke Mathematical Journal 2000,104(3):375–390. 10.1215/S0012-7094-00-10432-2
Lutwak E, Yang D, Zhang G: affine isoperimetric inequalities. Journal of Differential Geometry 2000,56(1):111–132.
Lutwak E, Yang D, Zhang G: The Cramer-Rao inequality for star bodies. Duke Mathematical Journal 2002,112(1):59–81. 10.1215/S0012-9074-02-11212-5
Lutwak E, Zhang G: Blaschke-Santaló inequalities. Journal of Differential Geometry 1997,47(1):1–16.
Werner E: The -affine surface area and geometric interpretations. Rendiconti del Circolo Matematico di Palermo 2002, 70: 367–382.
Lutwak E, Yang D, Zhang G: John ellipsoids. Proceedings of the London Mathematical Society 2005,90(2):497–520. 10.1112/S0024611504014996
Yu W, Leng G, Wu D: Dual John ellipsoids. Proceedings of the Edinburgh Mathematical Society 2007,50(3):737–753.
Lu F, Leng G: Volume inequalities for -John ellipsoids and their duals. Glasgow Mathematical Journal 2007,49(3):469–477.
Lutwak E: The Brunn-Minkowski-Firey theory—I: mixed volumes and the Minkowski problem. Journal of Differential Geometry 1993,38(1):131–150.
Gardner RJ: Geometric Tomography, Encyclopedia of Mathematics and Its Applications. Volume 58. Cambridge University Press, Cambridge, UK; 1995:xvi+424.
Schneider R: Convex Bodies: The Brunn-Minkowski Theory, Encyclopedia of Mathematics and Its Applications. Volume 44. Cambridge University Press, Cambridge, UK; 1993:xiv+490.
Acknowledgments
The author thanks the referee for careful reading and useful comments. This article is supported by National Natural Sciences Foundation of China (10671117).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Yu, W. Equivalence of Some Affine Isoperimetric Inequalities. J Inequal Appl 2009, 981258 (2009). https://doi.org/10.1155/2009/981258
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/981258