Abstract
Lutwak and Zhang proposed the concept of \(L_{p}\)-centroid bodies. Then Feng and Wang gave the notion of general \(L_{p}\)-centroid bodies. In this article, based on the \(L_{p}\)-dual affine surface area, we address Shephard type problems for the general \(L_{p}\)-centroid bodies.
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 non-empty interiors) in Euclidean space \(\mathbb {R}^{n}\). For the set of convex bodies containing the origin in their interiors, the set of convex bodies whose centroid lie at the origin and the set of origin-symmetric convex bodies in \(\mathbb{R}^{n}\), we write \(\mathcal{K}^{n}_{o}\), \(\mathcal{K}^{n}_{c}\), and \(\mathcal{K}^{n}_{os}\), respectively. \(\mathcal{S}^{n}_{o}\), \(\mathcal{S}^{n}_{os}\), respectively, denote the set of star bodies (about the origin) and the set of origin-symmetric star bodies in \(\mathbb{R}^{n}\). Let \({S}^{n-1}\) denote the unit sphere in \(\mathbb{R}^{n}\), and \(V(K)\) denotes the n-dimensional volume of body K. For the standard unit ball B in \(\mathbb{R}^{n}\), denote \(\omega_{n}=V(B)\).
In 1997, Lutwak and Zhang [1] gave the concept of an \(L_{p}\)-centroid body as follows: For each compact star-shaped about the origin \(K \subset \mathbb{R}^{n} \), real \(p\geq1 \), the \(L_{p}\)-centroid body, \(\Gamma_{p}K\), of K is an origin-symmetric convex body whose support function is defined by
for any \(u\in{S}^{n-1}\). Here
Meanwhile, they [1] obtained the \(L_{p}\)-centroid affine inequality, which implies the well-known Blaschke-Santaló inequality. Hereafter, associating the \(L_{p}\)-centroid bodies with the \(L_{p}\)-projection bodies, Lutwak et al. [2] established the \(L_{p}\)-Busemann-Petty centroid inequality and the \(L_{p}\)-Petty projection inequality. For the studies of \(L_{p}\)-centroid bodies, also see [3–7].
In 2005, Ludwig [8] introduced a function \(\varphi_{\tau}: \mathbb {R}\rightarrow[0, +\infty)\) by
for \(\tau\in[-1,1]\). Further, in [8] the general \(L_{p}\)-moment bodies and the general \(L_{p}\)-projection bodies were defined by (1.2). In 2009, Haberl and Schuster [9] derived the general \(L_{p}\)-moment body (the general \(L_{p}\)-projection body) is an \(L_{p}\)-Minkowski combination of the asymmetric \(L_{p}\)-moment body (the asymmetric \(L_{p}\)-projection body) and established the general \(L_{p}\)-Busemann-Petty centroid inequality and the general \(L_{p}\)-Petty projection inequality.
Recently, motivated by Ludwig’s, and Haberl and Schuster’s work, Feng et al. [10] defined asymmetric \(L_{p}\)-centroid bodies as follows: For \(K \in \mathcal{S}^{n}_{o}\), \(p\geq1\), the asymmetric \(L_{p}\)-centroid body, \(\Gamma^{+}_{p}K\), of K is a convex body whose support function is defined by
for any \(u\in{S}^{n-1}\). Using polar coordinates in the above definition, we easily obtain, for any \(u\in{S}^{n-1}\),
where \((u \cdot x)_{+}=\max\{u\cdot x, 0\}\), \(c_{n, p}\) satisfies (1.1) and the integration is with respect to Lebesgue measure on \(S^{n-1}\). Obviously, \(\Gamma^{+}_{p}B=B\). They also defined
By (1.2), Feng et al. [10] introduced the general \(L_{p}\)-centroid bodies: For \(K \in\mathcal{S}^{n}_{o}\), \(p\geq1\), and \(\tau\in[-1,1]\), the general \(L_{p}\)-centroid body, \(\Gamma^{\tau}_{p}K\), of K is a convex body whose support function is defined by
where
and \(c_{n, p}\) satisfies (1.1).
Obviously, \(\Gamma^{\tau}_{p}B=B\), and if \(\tau=0\), then \(\Gamma^{\tau}_{p}K=\Gamma_{p}K\).
From the definition of \(\Gamma^{\pm}_{p}K\) and (1.4), it follows that if \(K \in\mathcal{S}^{n}_{os}\), \(p\geq1\), and \(\tau\in[-1,1]\), then, for any \(u\in S^{n-1}\),
where
From (1.6), we know that
The general \(L_{p}\)-centroid bodies belong to a new and rapidly evolving asymmetric \(L_{p}\) Brunn-Minkowski theory that has its origins in the work of Ludwig, Haberl, and Schuster (see [8, 9, 11–14]). For the further researches of asymmetric \(L_{p}\) Brunn-Minkowski theory, also see [10, 15–27].
In 1996, Lutwak [28] introduced the concept of an \(L_{p}\)-affine surface area as follows: For \(K \in\mathcal{K}^{n}_{o} \) and \(p\geq1\), the \(L_{p}\)-affine surface area, \(\Omega_{p}(K)\), of K is defined by
where \(V_{p}(M,N)\) denotes the \(L_{p}\)-mixed volume of \(M,N\in\mathcal{K}^{n}_{o}\).
Further, Wang and Leng [29] defined ith \(L_{p}\)-mixed affine surface area, \(\Omega_{p,i}(K)\), of K (for \(i=0\), \(\Omega_{p,0}(K)\) is just the \(L_{p}\)-affine surface area \(\Omega_{p}(K)\)) and extended some of Lutwak’s results. Regarding the studies of an \(L_{p}\)-affine surface area, many results have been obtained (see [28–35]).
Associated with the \(L_{p}\)-dual mixed volumes, Wang and He [36] gave the notion of the \(L_{p}\)-dual affine surface area. For \(K \in \mathcal{S}^{n}_{o} \) and \(1\leq p< n\), the \(L_{p}\)-dual affine surface area, \(\widetilde{\Omega}_{-p}(K)\), of K is defined by
where \(\widetilde{V}_{-p}(M, N)\) denotes the \(L_{p}\)-dual mixed volume of \(M, N\in\mathcal{S}^{n}_{o} \).
In 2014, Feng and Wang [37] improved definition (1.9) from \(Q\in \mathcal{K}^{n}_{c} \) to \(Q\in\mathcal{S}^{n}_{os}\) as follows: For \(K \in \mathcal{S}^{n}_{o} \) and \(1\leq p< n\), the \(L_{p}\)-dual affine surface area, \(\widetilde{\Omega}_{-p}(K)\), of K is defined by
Let \(Z^{*}_{p}\) denote the set of polar of all \(L_{p}\)-projection bodies, then \(\mathcal{Z}^{*}_{p}\subseteq \mathcal{S}^{n}_{os}\). If \(Q\in Z^{*}_{p}\) in (1.10), write \(\widetilde{\Omega}^{o}_{-p}(K)\) by
According to (1.10) and (1.11), Feng and Wang [37] studied the Shephard type problems for the \(L_{p}\)-centroid bodies. First, they gave an affirmative form of the Shephard type problems for the \(L_{p}\)-centroid bodies as follows.
Theorem 1.A
For \(K, L\in\mathcal{S}^{n}_{o}\), \(1\leq p< n\), if \(\Gamma_{p}K \subseteq\Gamma_{p}L \), then
with equality if and only if \(\Gamma_{p}K = \Gamma_{p}L \).
Hereafter, combining with definition (1.10) of the \(L_{p}\)-dual affine surface area, the authors [37] gave an improved form of the Shephard type problems for the \(L_{p}\)-centroid bodies.
Theorem 1.B
For \(K\in \mathcal{S}_{o}^{n}\), \(L\in\mathcal{ S}_{os}^{n}\) and \(1\leq p< n\), if \(\Gamma_{p}K=\Gamma_{p}L\), then
with equality if and only if \(K=L\).
Finally, they [37] obtained a negative form of the Shephard type problems for the \(L_{p}\)-centroid bodies.
Theorem 1.C
For \(L\in \mathcal{S}_{o}^{n}\) and \(1\leq p< n\), if L is not origin-symmetric star body, then there exists \(K\in \mathcal{S}_{os}^{n}\), such that
but
In this paper, associated with definition (1.10) of the \(L_{p}\)-dual affine surface area, we will research the Shephard type problems for the general \(L_{p}\)-centroid bodies. For convenience, we improve definition (1.11) as follows: Let \(Z^{\tau,*}_{p}\) denote the set of polar of all general \(L_{p}\)-projection bodies, for \(K\in\mathcal{S}^{n}_{o}\) and \(1\leq p< n\), the \(L_{p}\)-dual affine surface area, \(\widetilde{\Omega}^{\star}_{-p}(K)\), of K is given by
From definition (1.12), we first give an affirmative form of the Shephard type problems for the general \(L_{p}\)-centroid bodies, i.e., a general form of Theorem 1.A is obtained.
Theorem 1.1
For \(K,L\in\mathcal{S}^{n}_{o}\), \(1\leq p< n\), and \(\tau\in[-1,1]\), if \(\Gamma^{\tau}_{p}K \subseteq\Gamma^{\tau}_{p}L\), then
with equality if and only if \(\Gamma^{\tau}_{p}K =\Gamma^{\tau}_{p}L\).
Next, corresponding to Theorem 1.B and combining with definition (1.10), we get an improved form of the Shephard type problems for the general \(L_{p}\)-centroid bodies.
Theorem 1.2
Let \(K \in\mathcal{S}^{n}_{o}\), \(L \in \mathcal{S}^{n}_{os}\), \(1 \leq p < n\), and \(\tau\in[-1,1]\), if \(\Gamma^{\tau}_{p}K = \Gamma^{\tau}_{p}L \), then
with equality if and only if \(K = L\).
Further, we prove a general version of Theorem 1.C, that is, a negative form of the Shephard type problems for the general \(L_{p}\)-centroid bodies is given.
Theorem 1.3
For \(L\in \mathcal{S}_{o}^{n}\), \(1\leq p< n\), and \(\tau\in(-1, 1)\), if L is not origin-symmetric star body, then there exists \(K\in \mathcal{S}_{o}^{n}\) (for \(\tau=0\), \(K\in\mathcal{S}^{n}_{os}\)), such that
but
Besides, corresponding to Theorem 1.C, we generalize the scope of negative solutions of the Shephard type problems for the \(L_{p}\)-centroid bodies from \(K\in\mathcal{S}^{n}_{os} \) to \(K\in\mathcal{S}^{n}_{o}\).
Theorem 1.4
For \(L\in \mathcal{S}_{o}^{n}\) and \(1\leq p< n\), if L is not origin-symmetric star body, then there exists \(K\in \mathcal{S}_{o}^{n}\), such that
but
The proofs of Theorems 1.1-1.4 are completed in Section 4. In order to prove our results, we give two inequalities for the general \(L_{p}\)-harmonic Blaschke bodies in Section 3.
2 Preliminaries
2.1 Support function, radial function and polar
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 [38, 39])
where \(x\cdot y\) denotes the standard inner product of x and y.
If K is a compact star-shaped (about the origin) in \(\mathbb{R}^{n} \), then its radial function, \(\rho_{K}=\rho(K,\cdot):\mathbb{R}^{n}\backslash \{0\}\rightarrow[0,+\infty)\), is defined by (see [38, 39])
Given \(c > 0\), we can get, for any \(u \in{S}^{n-1}\),
If \(\rho_{K}\) is positive and continuous, K will be called a star body (about the origin). 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}\).
If E is a non-empty set in \(\mathbb{R}^{n}\), the polar set, \(E^{\ast}\), of E is defined by (see [38, 39])
From (2.2), we easily see that if \(K\in{\mathcal{S}}^{n}_{o}\), then \(K^{*}\in {\mathcal{K}}^{n}_{o}\) (see [38]).
2.2 \(L_{p}\)-Dual mixed volumes
For \(K,L \in\mathcal{S}^{n}_{o}\), \(p \geq1\), and \(\lambda,\mu\geq0\) (not both zero), the \(L_{p}\)-harmonic radial combination, \(\lambda\star K +_{-p}\mu\star L \in\mathcal{S}^{n}_{o}\), of K and L is defined by (see [28])
where the operation ‘\(+_{-p}\)’ is called \(L_{p}\)-harmonic radical addition and \(\lambda\star K \) denotes the \(L_{p}\)-harmonic radical scalar multiplication. From (2.1) and (2.3), we have \(\lambda\star K = \lambda^{-\frac{1}{p}}K\).
Associated with (2.3), Lutwak [28] introduced the notion of an \(L_{p}\)-dual mixed volume as follows: For \(K,L \in\mathcal{S}^{n}_{o}\), \(p\geq1\), and \(\varepsilon>0\), the \(L_{p}\)-dual mixed volume, \(\widetilde {V}_{-p}(K,L)\), of K and L is defined by (see [28])
The definition above and Hospital’s rule give the following integral representation of an \(L_{p}\)-dual mixed volume (see [28]):
where the integration is with respect to spherical Lebesgue measure on \(S^{n-1}\).
The \(L_{p}\)-dual Minkowski inequality can be stated as follows (see [28]).
Theorem 2.A
If \(K,L\in\mathcal{S}^{n}_{o}\), \({p \geq 1}\), then
with equality if and only if K and L are dilates.
2.3 General \(L_{p}\)-projection bodies
The general \(L_{p}\)-projection body was introduced by Ludwig (see [8]). For \(K\in\mathcal{K}^{n}_{o}\), \(p\geq1\), and \(\tau\in[-1,1]\), the general \(L_{p}\)-projection body, \(\Pi^{\tau}_{p}K\in\mathcal{K}^{n}_{o}\), of K is given by
where \(\varphi_{\tau}\) satisfies (1.2) and
with \(\alpha_{n,p}=1/c_{n,p}(n+p)\omega_{n}\).
3 General \(L_{p}\)-harmonic Blaschke bodies
In order to prove our results, we require the notions of \(L_{p}\)-harmonic Blaschke combinations and general \(L_{p}\)-harmonic Blaschke bodies.
For \(K,L\in\mathcal{S}^{n}_{o}\), \(p \geq1\), and \(\lambda, \mu\geq0\) (not both zero), the \(L_{p}\)-harmonic Blaschke combination, \(\lambda * K\, \hat{+}_{p} \, \mu * L \in\mathcal{S}^{n}_{o}\), of K and L is defined by (see [37])
where the operation ‘\(\hat{+}_{p}\)’ is called \(L_{p}\)-harmonic Blaschke addition and \(\lambda * K\) denotes \(L_{p}\)-harmonic Blaschke scalar multiplication. From (2.1) and (3.1), we know \(\lambda * K=\lambda^{\frac {1}{p}}K\).
Let \(\lambda=\mu=\frac{1}{2}\) and \(L=-K\) in (3.1), then the \(L_{p}\)-harmonic Blaschke body, \(\widehat{\nabla}_{p}K\), of \(K\in\mathcal {S}^{n}_{o}\) is given by (see [37])
According to (3.1), Feng and Wang [15] defined general \(L_{p}\)-harmonic Blaschke bodies as follows: For \(K\in\mathcal{S}^{n}_{o}\), \(p\geq1\), and \(\tau\in[-1,1]\), the general \(L_{p}\)-harmonic Blaschke body, \(\widehat{\nabla}^{\tau}_{p} K = f_{1}(\tau )\circ K \, \hat{+}_{p}\, f_{2}(\tau)\circ(-K)\), of K is defined by
where \(f_{1}(\tau)\), \(f_{2}(\tau)\) satisfy (1.6).
Obviously, if \(\tau=0 \), then \(\widehat{\nabla}^{\tau}_{p}K = \widehat {\nabla}_{p}K\). In addition, if \(\tau=\pm1\), then we write \(\widehat {\nabla}^{\tau}_{p}(K)=\widehat{\nabla}^{\pm}_{p}K\), and \(\widehat{\nabla }^{+}_{p}K=K\), \(\widehat{\nabla}^{-}_{p}K=-K\).
For the \(L_{p}\)-harmonic Blaschke combination (3.1), Feng and Wang [37] proved the following fact.
Theorem 3.A
If \(K,L\in\mathcal{S}^{n}_{o}\), \(p \geq 1\), \(\lambda,\mu\geq0\) (not both zero), then
with equality if and only if K and L are dilates.
From Theorem 3.A, we easily get the following.
Corollary 3.1
If \(K \in\mathcal{S}^{n}_{o}\), \(p \geq 1\), and \(\tau\in[-1,1]\), then
For \(\tau\in(-1,1)\), equality holds if and only if K is origin-symmetric. For \(\tau=\pm1\), (3.4) is identic.
Proof
For \(\tau\in(-1,1)\), taking \(\lambda=f_{1}(\tau)\), \(\mu =f_{2}(\tau)\), and \(L=-K\) in (3.3), then by (1.8) we immediately get inequality (3.4). According to the equality condition of inequality (3.3), we see that equality holds in inequality (3.4) if and only if K and −K are dilates, i.e., K is origin-symmetric.
For \(\tau=\pm1\), by \(\widehat{\nabla}^{+}_{p}K=K\) and \(\widehat{\nabla }^{-}_{p}K=-K\), we know that (3.4) is identic. □
Further, according to the \(L_{p}\)-harmonic Blaschke combination (3.1) and definition (1.10) of the \(L_{p}\)-dual affine surface area, Feng and Wang [37] gave the following result.
Theorem 3.B
If \(K,L \in\mathcal{S}^{n}_{o}\), \(\lambda ,\mu\geq0\) (not both zero) and \(1\leq p< n\), then
with equality if and only if K and L are dilates.
Corollary 3.2
If \(K\in\mathcal{S}^{n}_{o}\), \(1 \leq p< n\), and \(\tau\in[-1,1] \), then
For \(\tau\in(-1,1)\), equality holds if and only if K is origin-symmetric. For \(\tau=\pm1\), (3.6) is identic.
Proof
For \(\tau\in(-1,1)\), let \(\lambda=f_{1}(\tau)\), \(\mu =f_{2}(\tau)\), and \(L=-K\) in (3.5), we obtain
For any \(Q\in\mathcal{S}^{n}_{os}\), using \(\rho_{Q^{*}}(u) = \rho _{-Q^{*}}(u)\), for any \(u\in S^{n-1}\), we get
Associated with (1.10) and (3.8), we have
Thus by (3.7), (3.9), and (1.8), we know
This and inequality (3.4) yield inequality (3.6).
From the equality conditions of inequalities (3.4) and (3.5), we see that equality holds in (3.6) if and only if K is origin-symmetric.
For \(\tau=\pm1\), obviously, (3.6) is identic. □
4 Proofs of theorems
In this section, we complete the proofs of Theorems 1.1-1.4. In the proof of Theorem 1.1, we require a lemma as follows.
Lemma 4.1
([10])
If \(K\in\mathcal{S}^{n}_{o}\), \(p\geq1\), \(\tau\in[-1,1]\), then, for any \(Q\in\mathcal{K}^{n}_{o}\),
Proof of Theorem 1.1
Since \(\Gamma^{\tau}_{p}K\subseteq\Gamma^{\tau}_{p}L\), for any \(Q\in\mathcal{K}^{n}_{o}\),
with equality if and only if \(\Gamma^{\tau}_{p}K=\Gamma^{\tau}_{p}L\).
Therefore, from (4.1) and Lemma 4.1, we have
Let \(M=\Pi^{\tau}_{p}Q\), then \(M\in Z^{\tau, \ast}_{p}\). From (1.11) and (4.2), we get
i.e., (1.13) is obtained.
According to the equality condition of (4.1), we know that the equality holds in (1.13) if and only if \(\Gamma^{\tau}_{p}K=\Gamma^{\tau}_{p}L\). □
The proof of Theorem 1.2 requires the following lemmas.
Lemma 4.2
([37])
For \(K,L \in\mathcal {S}^{n}_{o}\), \(p\geq1\), if \(\Gamma_{p} K=\Gamma_{p} L\), then, for any \(Q\in \mathcal{S}^{n}_{os}\),
Lemma 4.3
For \(K,L \in\mathcal{S}^{n}_{o}\), \(p\geq 1\), and \(\tau\in[-1,1]\), if \(\Gamma^{\tau}_{p} K = \Gamma^{\tau}_{p} L\), then, for any \(Q \in\mathcal{S}^{n}_{os}\),
Proof
Let \(\tau=0\) in (1.5), we have, for any \(u\in S^{n-1}\),
On the other hand, by (1.5), (1.7), (1.8), and (4.4), we see that, for any \(u\in S^{n-1}\),
i.e., for any \(u\in S^{n-1}\),
From this, if \(\Gamma^{\tau}_{p} K = \Gamma^{\tau}_{p} L \), then \(\Gamma ^{-\tau}_{p} K = \Gamma^{-\tau}_{p} L \). Thus by (4.5) we obtain \(\Gamma _{p}K=\Gamma_{p}L\). This combined with Lemma 4.2 gives (4.3). □
Proof of Theorem 1.2
According to (1.9), we know
Since \(\Gamma^{\tau}_{p}K=\Gamma^{\tau}_{p}L \), thus from Lemma 4.3, we get, for any \(Q\in\mathcal{S}^{n}_{os} \),
Thus from (4.6) and (4.7), we have
i.e.,
But \(L\in\mathcal{S}^{n}_{os}\), thus taking \(Q=L\) in (4.3), and associated with inequality (2.4), we obtain
i.e.,
This combined with (4.8), and noticing \(n>p\), leads to (1.14).
According to the equality condition of (2.4), we see that equality holds in (1.14) if and only if \(K=L \). □
Now we complete the proofs of Theorems 1.3 and 1.4. The following lemmas are required.
Lemma 4.4
If \(K\in\mathcal{S}^{n}_{o}\), \(p\geq1\), \(\tau\in[-1, 1]\), then
and
Proof
From (1.3) and (3.2), we have, for all \(u\in S^{n-1}\),
This immediately gives (4.9).
Similarly, we know that, for all \(u\in S^{n-1}\),
This yields (4.10). □
Lemma 4.5
For \(L\in\mathcal{S}^{n}_{o}\), \(p\geq1\), and \(\tau\in(-1,1)\), if L is not origin-symmetric, then there exists \(K\in\mathcal{S}^{n}_{o}\) (for \(\tau =0\), \(K\in\mathcal{S}^{n}_{os}\)) such that
but
Proof
Since L is not origin-symmetric and \(\tau\in(-1,1)\), thus by Corollary 3.2 we know \(\widetilde{\Omega}_{-p}(\widehat{\nabla }^{\tau}_{p}L)>\widetilde{\Omega}_{-p}(L)\). From this, choose \(\varepsilon>0\) such that \(1-\varepsilon>0\), and \(K=(1-\varepsilon)\widehat{\nabla}^{\tau}_{p}L\in\mathcal{S}^{n}_{o}\) (if \(\tau=0\) then \(K\in\mathcal{S}^{n}_{os}\)) satisfies
But by (4.9) and (4.10), and noticing that \(\Gamma^{\pm}_{p}(cM)=c\Gamma^{\pm}_{p}M\) (\(c>0\)), we, respectively, have
and
□
Proof of Theorem 1.3
Since L is not origin-symmetric and \(\tau \in(-1,1)\), thus by Lemma 4.5, there exists \(K\in\mathcal{S}^{n}_{o}\) such that
but
Because \(\tau\in(-1,1)\) is equivalent to \(-\tau\in(-1,1)\), we have \(\Gamma^{+}_{p}K\subset\Gamma^{\tau}_{p}L\), \(\Gamma^{-}_{p}K\subset\Gamma^{-\tau }_{p}L\) implying
From this together with (1.5) and (1.7), we obtain, for any \(u\in S^{n-1}\),
i.e., \(\Gamma^{\tau}_{p}K\subset\Gamma^{\tau}_{p}L\). □
Lemma 4.6
If \(K\in\mathcal{S}^{n}_{o}\), \(p \geq1\), and \(\tau\in[-1,1]\), then
Proof
From (4.4), (4.9), (4.10), and (4.5), we have, for all \(u\in S^{n-1}\),
So (4.11) is obtained. □
Proof of Theorem 1.4
Since L is not origin-symmetric, for \(\tau\in(-1, 1)\), by Corollary 3.2 we know
Choose \(\varepsilon> 0\), such that \(1-\varepsilon>0\) and
Let \(K=(1-\varepsilon)\widehat{\nabla}^{\tau}_{p} L\), thus \(K\in\mathcal {S}^{n}_{o}\) (if \(\tau=0\) then \(K\in\mathcal{S}^{n}_{os}\)) and \(\widetilde {\Omega}_{-p}(K)>\widetilde{\Omega}_{-p}(L)\).
But from Lemma 4.6 and \(\Gamma_{p}(cM)=c\Gamma_{p}M\) (\(c>0\)), we can get
□
References
Lutwak, E, Zhang, GY: Blaschke-Santaló inequalities. J. Differ. Geom. 47(1), 1-16 (1997)
Lutwak, E, Yang, D, Zhang, GY: \(L_{p}\)-Affine isoperimetric inequalities. J. Differ. Geom. 56(1), 111-132 (2000)
Grinberg, E, Zhang, GY: Convolutions transforms and convex bodies. Proc. Lond. Math. Soc. 78(3), 77-115 (1999)
Lutwak, E, Yang, D, Zhang, GY: The Cramer-Rao inequality for star bodies. Duke Math. J. 112(1), 59-81 (2002)
Wang, WD, Lu, FH, Leng, GS: A type of monotonicity on the \(L_{p}\)-centroid body and \(L_{p}\)-projection body. Math. Inequal. Appl. 8(4), 735-742 (2005)
Wang, WD, Lu, FH, Leng, GS: A type of monotonicity on the \(L_{p}\)-centroid body. J. Syst. Sci. Math. Sci. 28(2), 154-162 (2008) (in Chinese)
Yuan, J, Zhao, LZ, Leng, GS: Inequalities for \(L_{p}\)-centroid body. Taiwan. J. Math. 29(2), 209-220 (2008)
Ludwig, M: Minkowski valuations. Trans. Am. Math. Soc. 357, 4191-4213 (2005)
Haberl, C, Schuster, FE: General \(L_{p}\) affine isoperimetric inequalities. J. Differ. Geom. 83, 1-26 (2009)
Feng, YB, Wang, WD, Lu, FH: Some inequalities on general \(L_{p}\)-centroid bodies. Math. Inequal. Appl. 18(1), 39-49 (2015)
Haberl, C: \(L_{p}\) Intersection bodies. Adv. Math. 217(6), 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: Asymmetric affine \(L_{p}\) Sobolev inequalities. J. Funct. Anal. 257, 641-658 (2009)
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)
Haberl, C, Schuster, FE, Xiao, J: An asymmetric affine Pólya-Szegö principle. Math. Ann. 352, 517-542 (2012)
Parapatits, L: \(\mathit{SL}(n)\)-Covariant \(L_{p}\)-Minkowski valuations. J. Lond. Math. Soc. 89, 397-414 (2014)
Parapatits, L: \(\mathit{SL}(n)\)-Contravariant \(L_{p}\)-Minkowski valuations. Trans. Am. Math. Soc. 366, 1195-1211 (2014)
Schuster, FE, Wannerer, T: \(\mathit{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, Li, YN: General \(L_{p}\)-intersection bodies. Taiwan. J. Math. 19(4), 1247-1259 (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: \(\mathit{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)
Lutwak, E: The Brunn-Minkowski-Firey theory II: affine and geominimal surface areas. Adv. Math. 118(2), 244-294 (1996)
Wang, WD, Leng, GS: \(L_{p}\)-Mixed affine surface area. J. Math. Anal. Appl. 335(1), 341-354 (2007)
Meyer, M, Werner, E: On the p-affine surface area. Adv. Math. 152(2), 288-313 (2000)
Schütt, C, Werner, E: Surface bodies and p-affine surface area. Adv. Math. 187, 98-145 (2004)
Wang, WD, Leng, GS: Some affine isoperimetric inequalities associated with \(L_{p}\)-affine surface area. Houst. J. Math. 34(2), 443-453 (2008)
Werner, E, Ye, D: New \(L_{p}\)-affine isoperimetric inequalities. Adv. Math. 218(3), 762-780 (2008)
Werner, E, Ye, D: Inequalities for mixed p-affine surface area. Math. Ann. 347(3), 703-737 (2010)
Yuan, J, Lv, SJ, Leng, GS: The p-affine surface area. Math. Inequal. Appl. 10(3), 693-702 (2007)
Wang, W, He, BW: \(L_{p}\)-Dual affine surface area. J. Math. Anal. Appl. 348, 746-751 (2008)
Feng, YB, Wang, WD: Shephard type problems for \(L_{p}\)-centroid bodies. Math. Inequal. Appl. 17(3), 865-877 (2014)
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)
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 by the 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
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
Pei, Y., Wang, W. Shephard type problems for general \(L_{p}\)-centroid bodies. J Inequal Appl 2015, 287 (2015). https://doi.org/10.1186/s13660-015-0812-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0812-3