- Research
- Open access
- Published:
Affine inequalities for \(L_{p}\)-mixed mean zonoids
Journal of Inequalities and Applications volume 2016, Article number: 223 (2016)
Abstract
In this paper, we introduce the \(L_{p}\)-mixed mean zonoid of convex bodies K and L, and we prove some important properties for the \(L_{p}\)-mixed mean zonoid, such as monotonicity, \(\operatorname{GL}(n)\) covariance, and so on. We also establish new affine isoperimetric inequalities for the \(L_{p}\)-mixed mean zonoid.
1 Introduction
Let \(\mathcal{K}^{n}\) denote the set of convex bodies (compact, convex subsets with nonempty interiors) in Euclidean space \(\mathbb{R}^{n}\). For the set of convex bodies containing the origin in their interiors, we write \(\mathcal{K}^{n}_{o}\). \(\mathcal {K}^{n}_{s}\) denotes the class of o-symmetric members of \(\mathcal {K}^{n}_{o}\) (o denotes the origin in \(\mathbb{R}^{n}\)). Let \(S^{n-1}\) denote the unit sphere in Euclidean space \(\mathbb{R}^{n}\) and let \(V(K)\) denote the n-dimensional volume of a body K. For the standard unit ball B in \(\mathbb{R}^{n}\), we write \(\omega_{n} = V(B)\) for its volume.
If \(K\in\mathcal{K}^{n}\), then its support function, \(h_{K}=h(K, \cdot):\mathbb {R}^{n}\rightarrow(-\infty, \infty)\), is defined by (see [1, 2]) \(h(K,x)=\max\{x \cdot y: y\in K\}, x\in\mathbb{R}^{n}\), where \(x\cdot y\) denotes the standard inner product of x and y.
The zonoids are investigated by many authors (see [3–5]). The zonoid \(\mathcal{Z}\) is a convex body with support function
where μ is some positive, even Borel measure on \(S^{n-1}\) and \(\langle x,y\rangle\) denotes the standard inner product of vectors x and y in \(\mathbb{R}^{n}\).
For \(K\in\mathcal{K}^{n}\), the mean zonoid, \(\bar{\mathcal{Z}} K\), was defined by Zhang [6]
where \(V(K)\) is the volume of the body K.
Further, Zhang [6] proved the affine isoperimetric inequality \(V(\bar{\mathcal{Z}}K)\geq V(\bar{\mathcal{Z}}B_{K})\), where \(B_{K}\) is the n-ball with the same volume as K.
For each convex subset in \(\mathbb{R}^{n}\), it is well known that there is a unique ellipsoid with the following property: The moment of inertia of the ellipsoid and the moment of inertia of the convex set are the same about every 1-dimensional subspace of \(\mathbb{R}^{n}\). This ellipsoid is called the ellipsoid of inertia \(\Gamma_{2}K\) (also called the Legendre ellipsoid) of the convex set. Namely, between the convex body K and the ellipsoid of inertia \(\Gamma_{2}K\) we have
The Legendre ellipsoid and its polar (the Binet ellipsoid) are well-known concepts from classical mechanics. See [7–9] for historical references.
A non-negative finite Borel measure μ on the unit sphere \(S^{n-1}\) is said to be isotropic if it has the same moment of inertia about all lines through the origin or, equivalently, if, for all \(x\in\mathbb{R}^{n}\),
where \(\vert \cdot \vert \) denotes the standard Euclidean norm on \(\mathbb{R}^{n}\).
Based on the background of mechanics properties, the notion of \(L_{p}\)-zonoids was given by Schneider and Weil [10]. For \(p\geq 1\), an \(L_{p}\)-zonoid was defined by
where μ is some positive, even Borel measure on \(S^{n-1}\). We also refer to [4, 11].
Xi, Guo and Leng [12] considered an extension for a class of bodies \(\bar{\mathcal{Z}}_{p}K\) named \(L_{p}\)-mean zonoids as follows: For \(K\in\mathcal{K}^{n}\) and \(p\geq1\), the \(L_{p}\)-mean zonoid, \(\bar {\mathcal{Z}}_{p}K\), of K is defined by
For \(p=1\), the body \(\bar{\mathcal{Z}}K\) is the mean zonoid of K [6]. Xi et al. also showed that \(\bar{\mathcal{Z}}_{p}K\) is an \(L_{p}\)-zonoid, and established the following affine isoperimetric inequality: For \(K\in\mathcal{K}^{n}\) and \(p\geq1\),
with equality if and only if K is an ellipsoid. Here \(C_{n,p}\) is a constant depending on p and the dimension n.
The main purpose of this paper is to introduce the notion of \(L_{p}\)-mixed mean zonoids, which extends the \(L_{p}\)-mean zonoids by Xi, Guo and Leng [12].
Definition 1.1
For \(K,L\in\mathcal{K}^{n}\) and \(p\geq1\), \(L_{p}\)-mixed mean zonoids, \(\bar {\mathcal{Z}}_{p}(K,L)\), of K and L are defined by
Notice that when \(K=L\), (1.5) is defined by Xi, Guo, and Leng in [12].
Let \(\omega_{p}=\pi^{p/2}/\Gamma(1+p/2)\) and
For the \(L_{p}\)-mixed mean zonoids, our main result is to establish the more general affine inequality as follows.
Theorem 1.2
Let \(K,L\in\mathcal{K}^{n}_{o}\) and \(p\geq1\). If \(K\subseteq L\), then
with equality if and only if \(K=L\) is an ellipsoid.
If \(L=K\), then the above inequality (1.6) reduces to the affine inequality (1.4).
An immediate consequence of Theorem 1.2 is the following.
Corollary 1.3
Let \(K,L\in\mathcal{K}^{n}_{o}\). If \(K\subseteq L\), then
with equality if and only if \(K=L\) is an ellipsoid.
2 Notation and preliminaries
We refer to the books Gardner [1] and Schneider [2] for some terminologies and notations as regards convex bodies.
The Hausdorff metric \(\delta_{H}(K,L)\) between sets \(K,L\in\mathcal {K}^{n}\) can be defined by
A set K is star-shaped (about \(x_{0}\in K\)) if there exists \(x_{0}\in K\), such that the line segment from \(x_{0}\) to any point \(x \in K\) is contained in K. If K is a compact star-shaped (about the origin) set, then its radial function \(\rho_{K}(x,z):\mathbb{R}^{n}\backslash\{x\}\rightarrow [0,\infty)\) with respect to x is defined by
If \(\rho_{K}\) is positive and continuous, then K will be called a star body (about the origin), and \(\mathcal{S}^{n}\) denotes the set of star bodies in \(\mathbb{R}^{n}\). We will use \(\mathcal{S}^{n}_{o}\) to denote the subset of star bodies in \(\mathcal{S}^{n}\) containing the origin in their interiors. Two star bodies K and L are said to be dilates of one another if \(\rho_{K}(u)/\rho_{L}(u)\) is independent of \(u\in S^{n-1}\).
For \(K,L\in\mathcal{S}^{n}_{o}\), \(p>0\), and \(\lambda,\mu\geq0\) (not both zero), the \(L_{p}\)-radial combination, \(\lambda\circ K\widetilde{+}_{p}\mu\circ L\in\mathcal{S}^{n}_{o}\), is defined by
The dual \(L_{p}\)-mixed volume \(\widetilde{V}_{p}(K,L)\) of \(K,L\) was defined by
The integral representation of \(\widetilde{V}_{p}(K,L)\) was proved by
The \(L_{p}\)-Minkowski inequality for the dual \(L_{p}\)-mixed volume is: If \(K,L\in\mathcal{S}^{n}_{o}\) and \(0< p< n\), then
with equality if and only if K and L are dilates.
The difference body \(D(K,L)\) of K and L is defined by \(D(K,L)=K-L=\{x-y: x\in K, y\in L\}\). Particularly, \(DK=K-K=\{x-y: x\in K, y\in K\}\).
For a star-shaped K and \(p\geq1\), the \(L_{p}\)-centroid body of K, \(\Gamma_{p}K\) is the origin-symmetric convex body with the support function
for all \(u\in S^{n-1}\).
For \(K, L\in\mathcal{K}^{n}\), \(p>-1\), and \(K\subseteq L\), the generalized radial pth mean body, \(R_{p}(K,L, \lambda_{n})\), is defined by (see [13, 14])
for all \(u\in S^{n-1}\), where \(\lambda_{n}\) is the n-dimensional Lebesgue measure in \(\mathbb{R}^{n}\).
Lemma 2.1
([13])
For \(K,L\in\mathcal{K}^{n}\) and \(x\in\mathbb{R}^{n}\), the parallel section function on \(\mathbb{R}^{n}\) is defined by \(A_{K,L}(x):=V(K\cap(L+x))\). Then \(g_{K,L}(x)=A_{K,L}(x)^{\frac{1}{n}}\) is concave on its support.
If \(K\subseteq L\) and \(p>0\), then for all \(u\in S^{n-1}\) (see [13, 14])
For \(p,q>0\), define the β-function by
Lemma 2.2
If \(\lambda>0\) and \(A_{K,L}(r,u):=V(K\cap(L+ru))\), then
Proof
If
then \(F(\lambda)\) is a decreasing function on \((-1,+\infty)\). Particularly, if \(\lambda>0\), then \(F(\lambda)\leq F(0)\) with equality if and only if
Then
with equality if and only if \(A_{K,L}(r,u)=V(K) (1-\frac{rV(K)}{n\int_{K}\rho_{L}(x,u)\,\mathrm{d}x} )^{n-1}\). □
3 \(L_{p}\)-Mixed mean zonoids
Suppose \(K,L\in\mathcal{K}^{n}\) and \(p\geq1\). Define \(\bar{\mathcal {Z}}_{\infty}(K,L)\) by
Since \(\bar{\mathcal{Z}}_{\infty}(K,L)=D(K,L)\), it follows from Jensen’s inequality that
Property 3.1
Let \(K,L\in\mathcal{K}^{n}\) with \(K\subseteq L\). If \(p\geq1\), then
Proof
From (1.5), (2.1), the Fubini theorem, (2.4), and (2.5), passing to spherical coordinates we have
Combining with (3.3), we have
 □
Together (2.6) with (3.2), if \(K\subseteq L\), then
Let
Property 3.2
Let \(K,L\in\mathcal{K}^{n}\) and \(p\geq1\). If \(K\subseteq L\),then
Proof
By (3.4), (2.7), (2.6), (2.5), and (2.4), we have
This implies \(h_{\bar{\mathcal{Z}}_{p}(K,L)}(u)\leq C_{K,L}(n,p)h_{\Gamma _{p}(R_{1}(K,L,\lambda_{n}))}(u)\). □
The following property will be used to prove that \(\bar{\mathcal {Z}}_{p}: \mathcal{K}^{n}\times\mathcal{K}^{n}\rightarrow\mathcal {K}^{n}\) is continuous.
Property 3.3
If \(p\geq1, K_{i},L_{i}\in\mathcal{K}^{n}\) and \(K_{i}\rightarrow K\in\mathcal{K}^{n}, L_{i}\rightarrow L\in\mathcal{K}^{n}\), then
Proof
Since \(K_{i}\rightarrow K\), \(\{K_{i}\}\) are uniformly bounded. Thus there is \(R_{K}>0\), such that \(K_{i}\subseteq R_{K}B^{n}\). Similarly, \(L_{i}\subseteq R_{L}B^{n}\) with \(R_{L}>0\). Taking (1.5) together with Minkowski’s inequality, it follows that for \(u_{0}\in S^{n-1}\)
This means \(h_{\bar{\mathcal{Z}}_{p}(K_{i},L_{i})}(u_{0})\rightarrow h_{\bar{\mathcal{Z}}_{p}(K,L)}(u_{0})\), which is the desired result. □
The following property will prove that \(\bar{\mathcal{Z}}_{p}: \mathcal {K}^{n}\times\mathcal{K}^{n}\rightarrow\mathcal{K}^{n}\) is \(\operatorname{GL}(n)\) covariant.
Property 3.4
If \(p\geq1\), \(K\in\mathcal{K}^{n}\) and \(T\in\operatorname{GL}(n)\), then
Proof
Combining (1.5) with the substitution \(x=Tx_{1}, y=Ty_{1}\), we obtain
Namely, \(\bar{\mathcal{Z}}_{p}(T K,T L)=T(\bar{\mathcal{Z}}_{p}(K,L))\). □
4 Proof of main result
If \(u\in S^{n-1}\), then we denote by \(u^{\perp}\) the \((n-1)\)-dimensional subspace orthogonal to u, by \(l_{u}\) the line through o parallel to u, and by \(l_{u}(x)\) the line through the point x parallel to u. We denote by \(K_{u}\) the image of the orthogonal projection of K onto \(u^{\perp}\) for a convex body K. Let \(\overline{l}_{u}(K; y'): K_{u}\rightarrow\mathbb{R}\) and \(\underline{l}_{u}(K; y'): K_{u}\rightarrow\mathbb{R}\) for the overgraph and undergraph functions of K in the direction u; namely,
Thus, the overgraph and undergraph functions of the Steiner symmetrical \(S_{u}\) of \(K\in\mathcal{K}^{n}\) in direction u are defined by
For \(y'\in K_{u}\), \(m_{y'}=m_{y'}(u)\) denotes \(m_{y'}(u)=\frac{1}{2} (\overline{l}_{u}(K; y')-\underline{l}_{u}(K; y') )\). Let the midpoint of the chord \(K\cap l_{u}(y')\) be \(y'+m_{y'}(u)u\), note that \(l_{u}(y')\) is the line through \(y'\) parallel to u, and let the length \(\vert K\cap l_{u}(y')\vert \) of this chord be \(\sigma_{y'}=\sigma_{y'}(u)\). For \(x=(x',s)\in\mathbb{R}^{n-1}\times\mathbb{R}\), we write \(h_{K}(x',s)\) throughout this section.
Lemma 4.1
([15])
If \(K\in\mathcal{K}^{n}_{o}\), \(u\in S^{n-1}\) and \(y'\in\operatorname{relint}K_{u}\), then
Lemma 4.2
If \(K\in\mathcal{K}^{n}, p\geq1\), \(u\in S^{n-1}\), and \(z'_{1},z'_{2}\in u^{\perp}\), then
Equality in (4.3) or (4.4) implies that all of the chords of K and L parallel to u have midpoints that lie in a hyperplane, respectively.
Proof
We only prove (4.3). Inequality (4.4) can be established in the same way. It follows from the definition of the \(L_{p}\)-mixed mean zonoid that
by \(t_{1}=-m_{x'}+s_{1}, t_{2}=-m_{y'}+s_{2}\).
Let \(t_{1}=m_{x'}-s_{1}, t_{2}=m_{y'}-s_{2}\). Thus, combining with Minkowski’s inequality we have
From the condition of inequality in Minkowski’s inequality, we know that equality in (4.3) or (4.4) holds if and only if for \(\lambda\geq0\), we have
for all \((x'_{1},t_{1})\in K, (y'_{1},t_{2})\in L\). This is equivalent to
for all \((x'_{1},t_{1})\in K, (y'_{1},t_{2})\in L\).
We fix \(x',y'\). If change \(t_{1},t_{2}\) in (4.5) with \((x'_{1},t_{1})\in K, (y'_{1},t_{2})\in L\), then the left of (4.5) will not change; thus we obtain \(\lambda=1\). Namely, equality in (4.3) or (4.4) implies all of the chords of K and L parallel to u have midpoints that lie in a hyperplane, respectively. □
Lemma 4.3
If \(K,L\in\mathcal{K}^{n}, p\geq1\) and \(u\in S^{n-1}\), then
If the inclusion is an identity, then all of the chords of K and L parallel to u have midpoints that lie in a hyperplane, respectively.
Proof
Let \(y'\in\operatorname{relint}(\bar{Z}_{p}(K,L))_{u}\). Lemma 4.1 means that there exist \(z'_{1}=z'_{1}(y')\) and \(z'_{2}=z'_{2}(y')\) in \(u^{\perp}\) with
Combining (4.1), (4.2), (4.3), and (4.4), it follows that
and
Let the inclusion be an identity. Then equality in both (4.3) and (4.4) holds; thus all of the chords of K and L parallel to u have midpoints that lie in a hyperplane, respectively. □
Now, we show that \(\bar{Z}_{p}(K,L)\) contains the origin in its interior.
Lemma 4.4
Suppose that \(K,L\in\mathcal{K}^{n}, p\geq1\). Then there exists \(c_{0}>0\) such that
for all \(u\in S^{n-1}\).
Proof
Given \(u_{0}\in S^{n-1}\). Taking the Euclidean n-balls \(B_{1}\subseteq K\) and \(B_{2}\subseteq L\) such that \(x-y\) is not orthogonal to \(u_{0}\) for all \((x,y)\in B_{1}\times B_{2}\), then it follows from the continuity that the above result holds. □
Proof of Theorem 1.2
It follows from the standard Steiner symmetrization argument that there exists a sequence of directions \(\{u_{i}\}\) with the sequences of convex bodies \(\{K_{i}\}\) and \(\{L_{i}\}\), defined by
and
converge to \(B_{K}\) and \(B_{L}\), respectively. Note that \(B_{K}\ (B_{L})\) is the n-ball, where \(V(K)=V(B_{K}) (V(L)=V(B_{L}))\).
By Property 3.3 and Lemma 4.3, we have
From Lemma 4.4, Lemma 4.3, (4.7), and the definitions of \(B_{K}\) and \(B_{L}\), we get
Since K and L are the ellipsoids, it follows from Property 3.4 that
Conversely, let \(V(\bar{\mathcal{Z}}_{p}(K,L))=V(\bar{\mathcal {Z}}_{p}(B_{K},B_{L}))\). Clearly, for all \(u\in S^{n-1}\) the inclusion in (4.6) is the identity. Thus we see that all of the chords of K and L parallel to u have midpoints that lie in a hyperplane, respectively, for all \(u\in S^{n-1}\), namely, K and L are ellipsoids.
This implies
where \(V(B_{K})=V(K)\) and \(V(B_{L})=V(L)\), and equality holds if and only if K and L are dilated ellipsoids having the same midpoints.
Furthermore, we know that \(h(\bar{\mathcal{Z}}_{p}(B_{K},B_{L}),u)\) is a constant independent of u. Thus \(\bar{\mathcal {Z}}_{p}(B_{K},B_{L})\) is an n-ball. Thus one has
The following formula is well known:
Together (4.9) with (4.10), it follows that
Suppose that \(r_{B_{K}}\) and \(r_{B_{L}}\) denote radii of the balls \(B_{K}\) and \(B_{L}\), respectively. Without loss of generality, let \(B_{K}\subseteq B_{L}\). For all \(u\in S^{n-1}\), it is obvious that \(\rho _{DB_{K}}(u)=2r_{B_{K}}\) and \(\rho_{DB_{L}}(u)=2r_{B_{L}}\). It follows from the spherical polar coordinates, (2.1), the Fubini theorem, and (2.6) that
Since \(g_{B_{K},B_{L}}(tu)^{1/n}=V(B_{K}\cap(B_{L}+tu))^{1/n}\) is concave on \(DB_{K}\), it follows from Lemma 2.1 that
with equality if and only if \(B_{K}=B_{L}\).
Taking (4.12) together with (4.13), it follows that
Combining (4.11) with (4.14), we have
From (4.8) and (4.15), this yields
with equality if and only if \(K=L\) is an ellipsoid. □
Proof of Corollary 1.3
Let \(p=1\). From the \(L_{p}\)-Minkowski inequality (2.3), we have
Exchange the order of K and L, then
namely,
with equality if and only if K and L are dilates.
On the other hand, from inequality (1.6), we have
with equality if and only if \(K=L\) is an ellipsoid.
Taking (4.17) together with (4.18), it follows that
Together with the equality conditions of inequalities (4.17) and (4.18), we see with equality in (1.7) if and only if \(K=L\) is an ellipsoid. □
References
Gardner, RJ: Geometric Tomography, 2nd edn. Cambridge University Press, Cambridge (2006)
Schneider, R: Convex Bodies: The Brunn-Minkowski Theory, 2nd edn. Cambridge University Press, Cambridge (2014)
Campi, S, Gronchi, P: Volume inequalities for \(L_{p}\)-zonotopes. Mathematika 53, 71-80 (2006)
Lutwak, E, Yang, D, Zhang, G: Volume inequalities for subspaces of \(L_{p}\). J. Differ. Geom. 68, 159-184 (2004)
Schnerder, R: Random hyperplanes meeting a convex body. Z. Wahrscheinlichkeitstheor. Verw. Geb. 61, 379-387 (1982)
Zhang, GY: Restricted chord projection and affine inequalities. Geom. Dedic. 39, 213-222 (1991)
Leichtweiß, K: Affine Geometry of Convex Bodies. Barth, Heidelberg (1998)
Lindenstrauss, J, Milman, VD: Local theory of normal spaces and convexity. In: Gruber, PM, Wills, JM (eds.) Handbook of Convex Geometry, pp. 1149-1220. North-Holland, Amsterdam (1993)
Milman, VD, Pajor, A: Isotropic position and inertia ellipsoids and zonoids of the unit ball of a normal n-dimensional space. In: Geometric Aspect of Functional Analysis. Lecture Note in Math., vol. 1376, pp. 64-104. Springer, Berlin (1989)
Schneider, R, Weil, W: Zonoids and related topics. In: Gruber, PM, Wills, JM (eds.) Convexity and Its Applications, pp. 296-317. Birkhäuser, Basel (1983)
Lutwak, E, Yang, D, Zhang, GY: \(L_{p}\)-Affine isoperimetric inequalities. J. Differ. Geom. 56, 111-132 (2000)
Xi, DM, Guo, LJ, Leng, GS: Affine inequalities for \(L_{p}\)-mean zonoids. Bull. Lond. Math. Soc. 46, 367-378 (2014)
Gardner, RJ, Zhang, GY: Affine inequalities and radial mean bodies. Am. J. Math. 120, 505-528 (1998)
Yuan, SF, Zhang, HJ, Yuan, J: Several properties of the radial pth mean bodies of convex bodies. J. Math. Res. Exposition 26, 617-622 (2006) (in Chinese)
Lutwak, E, Yang, D, Zhang, GY: Orlicz centroid bodies. J. Differ. Geom. 84, 365-387 (2010)
Acknowledgements
The authors are indebted to the editors and the anonymous referees for many valuable suggestions and comments. This work is supported by the National Natural Science Foundations of China (Grant No. 11561020 and Grant No. 11161019), the Science and Technology Plan of Gansu Province (Grant No. 145RJZG227), the Young Foundation of Hexi University (Grant No. QN2015-02) and partly the National Natural Science Foundation of China (Grant No. 11371224).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors completed the paper, and read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ma, T., Guo, Y. & Feng, Y. Affine inequalities for \(L_{p}\)-mixed mean zonoids. J Inequal Appl 2016, 223 (2016). https://doi.org/10.1186/s13660-016-1167-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1167-0