Abstract
Lutwak defined the dual Blaschke combination of star bodies. In this paper, based on the \(L_{p}\)-dual Blaschke combination of star bodies, we define the general \(L_{p}\)-dual Blaschke bodies and obtain the extremal values of their volume and \(L_{p}\)-dual affine surface area. Further, as the applications, we study two negative forms of the \(L_{p}\)-Busemann-Petty problems.
Similar content being viewed by others
1 Introduction and main results
Let \({\mathcal{K}}^{n}\) denote the set of convex bodies (compact, convex subsets with nonempty interiors) in the Euclidean space \(\mathbb{R}^{n}\). \({\mathcal{K}}^{n}_{c}\) denotes the set of convex bodies whose centroid lies at the origin in \(\mathbb{R}^{n}\). Let \(S^{n-1}\) denote the unit sphere in \(\mathbb{R}^{n}\) and \(V(K)\) denote the n-dimensional volume of a body K. For the standard unit ball B in \(\mathbb{R}^{n}\), its volume is written by \(\omega_{n} = V(B)\).
If K is a compact star shaped (about the origin) in \(\mathbb{R}^{n}\), then its radial function \(\rho_{K}=\rho(K,\cdot)\) is defined on \(S^{n-1}\) by letting (see [1, 2])
If \(\rho_{K}\) is positive and continuous, then K will be called a star body (about the origin). For the set of star bodies containing the origin in their interiors and the set of origin-symmetric star bodies in \(\mathbb{R}^{n}\), we write \({\mathcal{S}}^{n}_{o}\) and \({\mathcal{S}}^{n}_{os}\), respectively. 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}\).
The notion of dual Blaschke combination was given by Lutwak (see [3]). For \(K, L\in{\mathcal{S}}_{o}^{n}\), \({\lambda, \mu\geq 0}\) (not both zero), \(n \geq2\), the dual Blaschke combination \(\lambda\circ K \oplus\mu\circ L\in{\mathcal{S}}_{o}^{n}\) of K and L is defined by
where the operation ‘⊕’ is called dual Blaschke addition and \(\lambda\circ K\) denotes dual Blaschke scalar multiplication.
Combining with the definition of dual Blaschke combination, Lutwak [3] gave the concept of dual Blaschke body as follows: For \(K \in \mathcal{S}_{o}^{n}\), take \(\lambda= \mu=1/2\), \(L=-K\), the dual Blaschke body \(\overline{\nabla}K\) is given by
In this paper, we define the notion of \(L_{p}\)-dual Blaschke combination as follows: For \(K, L\in{\mathcal{S}}_{o}^{n}\), \({\lambda, \mu \geq0}\) (not both zero), \(n>p>0\), the \(L_{p}\)-dual Blaschke combination \(\lambda\circ K \oplus_{p} \mu\circ L\in{\mathcal{S}}_{o}^{n}\) of K and L is defined by
where the operation ‘\(\oplus_{p}\)’ is called \(L_{p}\)-dual Blaschke addition and \(\lambda\circ K=\lambda^{\frac{1}{n-p}}K\).
Let \(\lambda=\mu=\frac{1}{2}\) and \(L=-K\) in (1.1), then the \(L_{p}\)-dual Blaschke body \(\overline{\nabla}_{p}K\) of \(K\in {\mathcal{S}}_{o}^{n}\) is given by
Now, by (1.1) we define the general \(L_{p}\)-dual Blaschke bodies as follows: For \(K\in{\mathcal{S}}_{o}^{n}\), \(n > p >0\) and \(\tau\in[-1, 1]\), the general \(L_{p}\)-dual Blaschke body \(\overline{\nabla}_{p}^{\tau}K\) of K is defined by
where
From (1.4), we have that
From (1.3), it easily follows that
Besides, by (1.2), (1.4) and (1.7), we see that if \(\tau=0\), then \(\overline{\nabla}_{p}^{0} K=\overline{\nabla}_{p} K\); if \(\tau=\pm1\), then \(\overline{\nabla}_{p}^{+1} K=K\), \(\overline{\nabla}_{p}^{-1} K=-K\).
The main results of this paper can be stated as follows: First, we give the extremal values of the volume of general \(L_{p}\)-dual Blaschke bodies.
Theorem 1.1
If \(K \in{\mathcal{S}}_{o}^{n}\), \(n>p> 0\), \(\tau\in[-1, 1]\), then
If \(\tau\neq0\), equality holds in the left inequality if and only if K is origin-symmetric, if \(\tau\neq\pm 1\), then equality holds in the right inequality if and only if K is also origin-symmetric.
Moreover, based on the \(L_{p}\)-dual affine surface area \(\widetilde {\Omega}_{p}(K)\) of \(K \in{\mathcal{S}}_{o}^{n}\) (see (2.7)), we give another class of extremal values for general \(L_{p}\)-dual Blaschke bodies.
Theorem 1.2
If \(K \in{\mathcal{S}}_{o}^{n}\), \(n>p> 0\), \(\tau\in[-1, 1]\), then
If \(\tau\neq0\), equality holds in the left inequality if and only if K is origin-symmetric, if \(\tau\neq\pm 1\), then equality holds in the right inequality if and only if K is also origin-symmetric.
Theorems 1.1 and 1.2 belong to a part of new and rapidly evolving asymmetric \(L_{p}\) Brunn-Minkowski theory that has its origins in the work of Ludwig, Haberl and Schuster (see [4–9]). For the studies of asymmetric \(L_{p}\) Brunn-Minkowski theory, also see [10–22].
Haberl and Ludwig [5] defined the \(L_{p}\)-intersection body as follows: For \(K\in{\mathcal{S}}^{n}_{o}\), \(0< p<1\), the \(L_{p}\)-intersection body \(I_{p}K\) of K is the origin-symmetric star body whose radial function is given by
for all \(u\in{S}^{n-1}\). Haberl and Ludwig [5] pointed out that the classical intersection body which was introduced by Lutwak (see [3]) IK of K is obtained as a limit of the \(L_{p}\)-intersection body of K, more precisely, for all \(u\in{S}^{n-1}\),
Associated with the \(L_{p}\)-intersection bodies, Haberl [4] obtained a series of results, Berck [23] investigated their convexity. For further results on \(L_{p}\)-intersection bodies, also see [1, 2, 18, 24–27]. In particular, Yuan and Cheung (see [26]) gave the negative solutions of \(L_{p}\)-Busemann-Petty problems as follows.
Theorem 1.A
Let \(K\in\mathcal{S}^{n}_{o}\) and \(0< p<1\), if K is not origin-symmetric, then there exists \(L\in\mathcal{S}^{n}_{os}\) such that
but
As the application of Theorem 1.1, we extend the scope of negative solutions of \(L_{p}\)-Busemann-Petty problems from origin-symmetric star bodies to star bodies.
Theorem 1.3
Let \(K\in\mathcal{S}^{n}_{o}\) and \(0< p<1\), if K is not origin-symmetric, then there exists \(L\in\mathcal{S}^{n}_{o}\) such that
but
Similarly, applying Theorem 1.2, we get the form of \(L_{p}\)-dual affine surface areas for the negative solutions of \(L_{p}\)-Busemann-Petty problems.
Theorem 1.4
For \({K}\in{\mathcal{S}}_{o}^{n}\), \(0< p<1\), if K is not origin-symmetric, then there exists \({L}\in{\mathcal{S}}_{o}^{n}\) such that
but
In this paper, the proofs of Theorems 1.1-1.4 will be given in Section 4. In Section 3, we obtain some properties of general \(L_{p}\)-dual Blaschke bodies.
2 Preliminaries
2.1 \(L_{p}\)-Dual mixed volume
For \({K, L}\in S_{o}^{n}\), \(p > 0\) and \({\lambda, \mu} \geq0\) (not both zero), the \(L_{p}\)-radial combination, \(\lambda\cdot K\, \tilde{+}_{p}\, \mu\cdot L\in S_{o}^{n}\), of K and L is defined by (see [4, 28])
where \(\lambda\cdot K \) denotes the \(L_{p}\)-radial scalar multiplication, and we easily know \(\lambda\cdot K=\lambda^{\frac{1}{p}}K\).
Associated with (2.1), Haberl in [4] (also see [28]) introduced the notion of \(L_{p}\)-dual mixed volume as follows: For \({K, L}\in{\mathcal{S}}_{o}^{n}\), \(p > 0\), \(\varepsilon> 0\), the \(L_{p}\)-dual mixed volume \(\widetilde{V}_{p}(K, L)\) of K and L is defined by
And he got the following integral form of \(L_{p}\)-dual mixed volume:
where the integration is with respect to spherical Lebesgue measure on \(S^{n-1}\).
From (2.2), we get that
The Minkowski inequality of \(L_{p}\)-dual mixed volume is as follows (see [4, 28]): If \({K,L}\in S_{o}^{n}\), then for \(0< p < n\),
for \(p> n\),
In every case, equality holds if and only if K is a dilate of L. For \(p=n\), (2.4) (or (2.5)) is identical.
From (2.4) and (2.5), we easily get the following result.
Proposition 2.1
If \(K, L\in{\mathcal{S}}_{o}^{n}\), \(p> 0\), and for any \(Q\in{\mathcal{S}}_{o}^{n}\),
or
then
2.2 \(L_{p}\)-Dual affine surface area
The notion of \(L_{p}\)-dual affine surface area was given by Wang, Yuan and He (see [29]). For \(K\in{\mathcal{S}}_{o}^{n}\), \(0< p< n\), the \(L_{p}\)-dual affine surface area \(\widetilde{\Omega}_{p}(K)\) of K is defined by
Here \(E^{\ast}\) is the polar set of a nonempty set E which is defined by (see [1])
For the sake of convenience of our work, we improve definition (2.6) from \(Q\in{\mathcal{K}}_{c}^{n}\) to \(Q\in{\mathcal{S}}_{os}^{n}\) as follows: For \(K\in{\mathcal{S}}_{o}^{n}\), \(0< p< n\), the \(L_{p}\)-dual affine surface area \(\widetilde{\Omega}_{p}(K)\) of K is defined by
3 Some properties of general \(L_{p}\)-dual Blaschke bodies
In this section, we give some properties of general \(L_{p}\)-dual Blaschke bodies.
Theorem 3.1
If \(K \in{\mathcal{S}}_{o}^{n}\), \(n>p>0\) and \(\tau\in[-1, 1]\), then
Proof
From (1.6) and (1.7), we obtain that for \(n>p>0\) and \(\tau \in[-1, 1]\),
Further, we have that for any \(u\in S^{n-1}\),
Hence, we get
□
Theorem 3.2
For \(K \in{\mathcal{S}}_{o}^{n}\), \(n>p>0\) and \(\tau\in[-1, 1]\), if \(\tau\neq0\), then \(\overline{\nabla}^{\tau}_{p} K=\overline{\nabla}^{-\tau}_{p} K\) if and only if \(K\in{\mathcal{S}}_{os}^{n}\).
Proof
From (1.3) and (1.6), we get that for all \(u \in S^{n-1}\),
Hence, if \(K\in{\mathcal{S}}_{os}^{n}\), i.e., \(K=-K\), then by (3.1), (3.2) and (1.5) we get, for all \(u\in S^{n-1}\),
Thus
Conversely, if \(\overline{\nabla}_{p}^{\tau}K= \overline{\nabla }_{p}^{-\tau} K\), then together with (3.1) and (3.2) it yields
Since \(f_{1}(\tau)-f_{2}(\tau) \neq0\) when \(\tau\neq0\), thus it follows that \(\rho(K, u)=\rho(-K, u)\) for all \(u \in S^{n-1}\), i.e., \(K\in{\mathcal{S}}_{os}^{n}\). □
From Theorem 3.2, it immediately yields the following corollary.
Corollary 3.1
For \(K \in{\mathcal{S}}_{o}^{n}\), \(n>p>0\) and \(\tau\in[-1, 1]\), if K is not origin-symmetric, then \(\overline{\nabla}_{p}^{\tau}K=\overline{\nabla}_{p}^{-\tau} K\) if and only if \(\tau=0\).
Theorem 3.3
If \(K \in{\mathcal{S}}_{os}^{n}\), \(n>p>0\) and \(\tau\in[-1, 1]\), then
Proof
Since \(K \in{\mathcal{S}}_{os}^{n}\), i.e., \(K=-K\), by (1.3) and (1.5) we know that, for any \(u\in S^{n-1}\),
That is,
□
4 Proofs of theorems
In this section, we complete the proofs of Theorems 1.1-1.4.
Lemma 4.1
If \(K, L \in\mathcal{S}_{o}^{n}\), \({\lambda, \mu \geq0}\) (not both zero), \(n > p>0\), then
with equality if and only if K and L are dilates.
Proof
Associated with (1.1), (2.2), (2.3) and inequality (2.4), we know that, for any \(Q \in S_{o}^{n}\),
Let \(Q=\lambda\circ K\oplus_{p} \mu\circ L\), it yields (4.1). From the equality condition of (2.4), we see that equality holds in (4.1) if and only if K is a dilate of L. □
Proof of Theorem 1.1
By (4.1), (1.5) and (1.7), we get, for any \(\tau\in[-1, 1]\),
Therefore, we obtain, for \(n>p>0\),
This gives the right inequality of (1.8).
Clearly, equality holds in (4.2) if \(\tau=\pm1\). Besides, if \(\tau \neq\pm1\), then by the condition of equality in (4.1), we see that equality holds in (4.2) if and only if K and −K are dilates, this yields \(K=-K\), i.e., K is an origin-symmetric star body. This means that if \(\tau\neq\pm1\), then equality holds in the right inequality of (1.8) if and only if K is origin-symmetric.
Now, we prove the left inequality of (1.8). From (1.2), (1.4) and (1.7), we know that for any \(u\in S^{n-1}\),
From Theorem 3.1 and (4.3), use (4.1) to yield that for \(n>p>0\),
This gives that for \(n>p>0\),
This is just the left inequality of (1.8).
Obviously, if \(\tau=0\), then equality holds in (4.4). If \(\tau\neq 0\), according to the equality condition of (4.1), we see that equality holds in (4.4) if and only if \(\widehat{\nabla}^{\tau}_{p} K\) and \(\overline{\nabla}^{-\tau}_{p} K\) are dilates, this implies \(\overline{\nabla}^{\tau}_{p} K=\overline{\nabla}^{-\tau}_{p} K\). Therefore, using Corollary 3.1, we obtain that if K is not an origin-symmetric body, then equality holds in (4.4) if and only if \(\tau=0\). This shows that if \(\tau\neq0\), then equality holds in the left inequality of (1.8) if and only if K is origin-symmetric. □
Proof of Theorem 1.2
From definition (2.7) and (1.7), we have that
Since \(Q\in{\mathcal{S}}_{os}^{n}\), thus use \(\rho(Q, u)=\rho(-Q, u)=\rho(Q, -u)\) for all \(u\in S^{n-1}\) to get
by (2.7) we know \(\widetilde{\Omega}_{p}(K)=\widetilde{\Omega}_{p}(-K)\). This combining with (4.5) and (1.5), we know
i.e., the right inequality of (1.9) is obtained.
If \(\tau\neq\pm1\), equality of (4.5) holds if and only if K and −K are dilates. This yields \(K=-K\), thus K is an origin-symmetric star body. Since (4.5) and (4.6) are equivalent, hence equality holds in (4.6) if and only if K is an origin-symmetric star body when \(\tau \neq\pm1\). Therefore, if \(\tau\neq\pm1\), equality holds in the right inequality of (1.9) if and only if K is origin-symmetric.
Further, we complete the proof of the left inequality of (1.9). From Theorem 3.1, we know that
Thus, (4.3) can be written as
Similar to the proof of inequality (4.6), we have
This yields the left inequality of (1.9).
Similar to the proof of equality in inequality (4.6), we easily know that equality holds in (4.7) if and only if \(\overline{\nabla}^{\tau}_{p} K=\overline{\nabla}^{-\tau}_{p} K\) when \(\tau\neq0\). Hence, if \(\tau\neq0\), using Theorem 3.2 we get that equality holds in the left inequality of (1.9) if and only if K is origin-symmetric. □
In order to prove Theorems 1.3 and 1.4, the following lemma is required.
Lemma 4.2
If \(K\in S_{o}^{n}\), \(0< p<1\) and \(\tau\in[-1,1]\), then
Proof
From definition (1.10), we may obtain the following polar coordinate form:
Thus by (1.3) we have that
According to (1.10), we easily know \(I_{p}(-K)=I_{p}K\), so combining with (4.8) and (1.5), then for any \(u\in S^{n-1}\),
i.e.,
□
Proof of Theorem 1.3
Since K is not an origin-symmetric star body, thus from Theorem 1.1, we know that if \(\tau\neq\pm1\), then
Choose \(\varepsilon>0\) such that \(V ((1+\varepsilon)\overline{\nabla}^{\tau}_{p} K )< V(K)\). Therefore, let \(L=(1+\varepsilon)\overline{\nabla}^{\tau}_{p} K\) (for \(\tau=0\), \(L\in S^{n}_{os}\); for \(\tau\neq0\), \(L\in S^{n}_{o}\)), then
But from Lemma 4.2, and notice that \(I_{p} ((1+\varepsilon)K )=(1+\varepsilon)^{\frac{n-p}{p}}I_{p}K\), we can get
□
Proof of Theorem 1.4
Since K is not an origin-symmetric star body, thus by Theorem 1.2, we know that for \(\tau\neq\pm1\),
Choose \(\varepsilon>0\) such that \(\widetilde{\Omega}_{p} ((1+\varepsilon)\overline{\nabla }^{\tau}_{p} K )<\widetilde{\Omega}_{p}(K)\). Therefore, let \(L=(1+\varepsilon)\overline{\nabla}^{\tau}_{p} K\), then \(L\in S^{n}_{o}\) and
But, similar to the proof of Theorem 1.3, we may obtain \(I_{p}L\supset I_{p} K\). □
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)
Lutwak, E: Intersection bodies and dual mixed volumes. Adv. Math. 71, 232-261 (1988)
Haberl, C: \(L_{p}\)-Intersection bodies. Adv. Math. 4, 2599-2624 (2008)
Haberl, C, Ludwig, M: A characterization of \(L_{p}\) intersection bodies. Int. Math. Res. Not. 2006, Article ID 10548 (2006)
Haberl, C, Schuster, FE: General \(L_{p}\) affine isoperimetric inequalities. J. Differ. Geom. 83, 1-26 (2009)
Haberl, C, Schuster, FE: Asymmetric affine \(L_{p}\) Sobolev inequalities. J. Funct. Anal. 257, 641-658 (2009)
Ludwig, M: Minkowski valuations. Trans. Am. Math. Soc. 357, 4191-4213 (2005)
Ludwig, M: Intersection bodies and valuations. Am. J. Math. 128, 1409-1428 (2006)
Feng, YB, Wang, WD: General \(L_{p}\)-harmonic Blaschke bodies. Proc. Indian Acad. Sci. Math. Sci. 124(1), 109-119 (2014)
Feng, YB, Wang, WD, Lu, FH: Some inequalities on general \(L_{p}\)-centroid bodies. Math. Inequal. Appl. 18(1), 39-49 (2015)
Haberl, C, Schuster, FE, Xiao, J: An asymmetric affine Pólya-Szegö principle. Math. Ann. 352, 517-542 (2012)
Parapatits, L: \(\operatorname{SL}(n)\)-Covariant \(L_{p}\)-Minkowski valuations. J. Lond. Math. Soc. 89, 397-414 (2014)
Parapatits, L: \(\operatorname{SL}(n)\)-Contravariant \(L_{p}\)-Minkowski valuations. Trans. Am. Math. Soc. 366, 1195-1211 (2014)
Schuster, FE, Wannerer, T: \(\operatorname{GL}(n)\) Contravariant Minkowski valuations. Trans. Am. Math. Soc. 364, 815-826 (2012)
Schuster, FE, Weberndorfer, M: Volume inequalities for asymmetric Wulff shapes. J. Differ. Geom. 92, 263-283 (2012)
Wang, WD, Feng, YB: A general \(L_{p}\)-version of Petty’s affine projection inequality. Taiwan. J. Math. 17(2), 517-528 (2013)
Wang, WD, Li, YN: Busemann-Petty problems for general \(L_{p}\)-intersection bodies. Acta Math. Sin. Engl. Ser. 31(5), 777-786 (2015)
Wang, WD, Ma, TY: Asymmetric \(L_{p}\)-difference bodies. Proc. Am. Math. Soc. 142(7), 2517-2527 (2014)
Wang, WD, Wan, XY: Shephard type problems for general \(L_{p}\)-projection bodies. Taiwan. J. Math. 16(5), 1749-1762 (2012)
Wannerer, T: \(\operatorname{GL}(n)\) Equivariant Minkowski valuations. Indiana Univ. Math. J. 60, 1655-1672 (2011)
Weberndorfer, M: Shadow systems of asymmetric \(L_{p}\) zonotopes. Adv. Math. 240, 613-635 (2013)
Berck, G: Convexity of \(L_{p}\)-intersection bodies. Adv. Math. 222(3), 920-936 (2009)
Kalton, NJ, Koldobsky, A: Intersection bodies and \(L_{p}\) spaces. Adv. Math. 196, 257-275 (2005)
Lu, FH, Mao, WH: Affine isoperimetric inequalities for \(L_{p}\)-intersection bodies. Rocky Mt. J. Math. 40, 489-500 (2010)
Yuan, J, Cheung, WS: \(L_{p}\)-Intersection bodies. J. Math. Anal. Appl. 339(2), 1431-1439 (2008)
Yu, WY, Wu, DH, Leng, GS: Quasi \(L_{p}\)-intersection bodies. Acta Math. Sin. 23(11), 1937-1948 (2007)
Grinberg, E, Zhang, GY: Convolutions transforms and convex bodies. Proc. Lond. Math. Soc. 78(3), 77-115 (1999)
Wang, W, Yuan, J, He, BW: Large inequalities for \(L_{p}\)-dual affine surface area. Math. Inequal. Appl. 7, 34-45 (2008)
Acknowledgements
The authors would like to sincerely thank the referees for very valuable and helpful comments and suggestions which made the paper more accurate and readable. Research is supported in part by the Natural Science Foundation of China (Grant No. 11371224), Innovation Foundation and Excellent Foundation of Graduate Student of China Three Gorges University (Grant Nos. 2013CX084, 2014PY065).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors 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
Wang, J., Wang, W. General \(L_{p}\)-dual Blaschke bodies and the applications. J Inequal Appl 2015, 233 (2015). https://doi.org/10.1186/s13660-015-0756-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0756-7