Abstract
Böröczky et al. proposed the log-Minkowski problem and established the plane log-Minkowski inequality for origin-symmetric convex bodies. Recently, Stancu proved the log-Minkowski inequality for mixed volumes; Wang, Xu, and Zhou gave the \(L_{p}\) version of Stancu’s results. In this paper, we define the \(L_{p}\)-mixed quermassintegrals probability measure and obtain the log-Minkowski inequality for the \(L_{p}\)-mixed quermassintegrals. As its application, we establish the \(L_{p}\)-mixed affine isoperimetric inequality. In addition, we also consider the dual log-Minkowski inequalities for the \(L_{p}\)-dual mixed quermassintegrals.
Similar content being viewed by others
1 Introduction and main results
Let \(\mathcal{K}^{n}\) denote a 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 and the set of origin-symmetric convex bodies in \(\mathbb{R}^{n}\), we write \(\mathcal{K}^{n}_{\mathrm{o}}\) and \(\mathcal{K}^{n}_{\mathrm{os}}\), respectively. Let \(\mathcal{F}^{n}_{\mathrm{o}} \) denote the subset of \(\mathcal{K}^{n}_{\mathrm{o}} \) that has a positive continuous curvature function. Besides, let \(\mathcal{S}^{n}_{\mathrm{o}}\) denote the set of star bodies (with respect to the origin). Let \(S^{n-1}\) denote the unit sphere and \(V(K)\) denote the n-dimensional volume of the convex body K. For the standard unit ball B, its volume is written by \(V(B)=\omega _{n}\).
If \(K\in \mathcal{K}^{n}\), then its support function, \(h_{K}=h(K, \cdot ): \mathbb{R}^{n}\rightarrow \mathbb{R}\), is defined by (see [1, 2])
where \(x\cdot y\) denotes the standard inner product of x and y. From the definition of support function, we know that, for \(\lambda >0\),
The Brunn–Minkowski inequality is of utmost importance in the theory of convex geometric analysis. The well-known Brunn–Minkowski inequality can be stated as follows.
Brunn–Minkowski inequality
If \(K,L\in \mathcal{K} ^{n}\), then
with equality if and only if K and L are homothetic. Here \(K+L=\{x+y : x\in K\textit{ and }y\in L\}\) denotes the Minkowski sum of K and L.
As the first milestone of the Brunn–Minkowski theory, the Brunn–Minkowski inequality is a far-reaching generalization of the isoperimetric inequality. The Brunn–Minkowski inequality exposes the crucial log-concavity property of the volume functional because the Brunn–Minkowski inequality has an equivalent formulation as follows: If \(K,L\in \mathcal{K}^{n}\), real \(\lambda \in [0,1]\), then
with equality if and only if K and L are translates. Here, \((1-\lambda )K+\lambda L\) denotes the Minkowski combination of K and L with respect to λ, and
For more research on the classical Brunn–Minkowski inequality, see [1,2,3].
Similar to the definition of Minkowski combination, Böröczky et al. [4] gave the definition of log-Minkowski combination as follows: For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\) and \(0\leq \lambda \leq 1\), the log-Minkowski combination, \((1-\lambda )\cdot K+_{0} \lambda \cdot L\), of K and L is defined by
Meanwhile, according to the log-Minkowski combination, Böröczky et al. in [4] conjecture that, for origin-symmetric bodies, there is a stronger inequality than inequality (1.3), i.e., the following log-Brunn–Minkowski inequality.
The conjectured log-Brunn–Minkowski inequality
Let \(K,L\in \mathcal{K}^{n}_{\mathrm{os}}\), then for all \(\lambda \in [0,1]\),
The case \(n=2\) of inequality (1.4) was proved by Böröczky et al. (see [4]). Afterwards, Saroglou [5] showed that the log-Brunn–Minkowski inequality (1.4) is valid when K and L are unconditional convex bodies with respect to the same orthonormal basis in \(\mathbb{R}^{n}\). For further research on log-Brunn–Minkowski inequality, we also see [6,7,8].
Further, Böröczky et al. [4] proposed that log-Brunn–Minkowski inequality (1.4) is equivalent to the following log-Minkowski inequality.
The conjectured log-Minkowski inequality
Let \(K,L\in \mathcal{K}^{n}_{\mathrm{os}}\), then
where \(dV_{L}=\frac{1}{n}h_{L}(u)\,dS(L,u)\) denotes cone-volume measure of L for any \(u\in S^{n-1}\), and \(d\overline{V}_{L}=\frac{1}{V(L)}\,dV _{L}\) denotes its normalization.
For the log-Minkowski inequality (1.5), Böröczky et al. [4] proved that it is true when \(n=2\). In 2014, Zhu [9] solved the case of discrete measures and proved the log-Minkowski inequality (1.5) for polytopes in \(\mathbb{R}^{n}\). Recently, Stancu [10] introduced the mixed cone-volume measure \(dv_{1}(L,K)\) of \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\) by \(dv_{1}(L,K)= \frac{1}{n}h(K,\cdot )\,dS(L,\cdot )\), and \(d\overline{V}_{1}(L,K)=\frac{dv _{1}(L,K)}{V_{1}(L,K)}\) denotes its normalization, where \(V_{1}(L,K)\) denotes the mixed volume of L and K, and \(S(L,\cdot )\) is the surface area measure of L (see [1]). According to this notion, Stancu [10] proved a modified log-Minkowski inequality for n-dimensional convex bodies as follows.
Theorem 1.A
(The log-Minkowski inequality for mixed volume)
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), then
with equality if and only if K is homothetic to L.
For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(i=0,\ldots,n-1\), we write the mixed quermassintegrals \(W_{i}(L,K)\) of L and K for the mixed volume \(V(\underbrace{L,\ldots,L}_{n-i-1},K,\underbrace{B,\ldots,B}_{i})\), where B is the standard unit ball. The mixed quermassintegrals \(W_{i}(L,K)\) have the following integral representation (see [11]):
where \(S_{i}(L,\cdot )\) denotes the mixed surface area measure of L. If \(K=L\), then the quermassintegrals \(W_{i}(L)\) of L are given by
Obviously, when \(i=0\), then \(W_{0}(L)=V(L)\).
From (1.7), Wang and Feng [12] defined the mixed quermassintegral measure \(dw_{i}(L,K)\) of L and K by
Combining with (1.7) and (1.9), the mixed quermassintegral probability measure is given by
Obviously, if \(i=0\) in (1.9) and (1.10), then \(dw_{i}(L)=dV(L)\) and \(d\overline{W}_{i}(L)=d\overline{V}(L)\).
If \(K=L\), then (1.9) implies the quermassintegral measure \(dw_{i}(L)\) by
Equation (1.10) gives the quermassintegral probability measure \(d\overline{W} _{i}(L)\) by
Obviously, if \(i=0\) in (1.11) and (1.12), then \(dw_{i}(L)=dV(L)\) and \(d\overline{W}_{i}(L)=d\overline{V}(L)\).
In relation to the mixed quermassintegrals, Wang and Feng [12] established the following log-Minkowski inequality for mixed quermassintegrals, which is more general than Stancu’s results.
Theorem 1.B
(The log-Minkowski inequality for mixed quermassintegrals)
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\) and \(i=0,\ldots,n-1\), then
with equality if and only if K is homothetic to L.
The log-Minkowski inequality belongs to log-Minkowski theory. For more research on log-Minkowski theory, we may refer to [13,14,15,16,17,18,19,20,21,22].
In 2017, Wang, Xu, and Zhou [23] proposed p-mixed cone-volume measure: For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\), the p-mixed cone-volume measure \(dV_{p}(L,K)\) of L and K is defined by
and \(d\overline{V}_{p}(L,K)=\frac{dV_{p}(L,K)}{V_{p}(L,K)}\) denotes its normalization, where \(V_{p}(L,K)\) is the \(L_{p}\)-mixed volume of L and K (see [24]). Based on this notion, they [23] proved the log-Minkowski inequality for \(L_{p}\)-mixed volumes as follows.
Theorem 1.C
(The log-Minkowski inequality for \(L_{p}\)-mixed volume)
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p>1\), then
with equality if and only if K and L are dilates.
In [11], Lutwak defined \(L_{p}\)-mixed quermassintegrals as follows: For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\), and \(i=0, 1,\ldots, n-1\), there exists a positive Borel measure \(S_{p,i}(L, \cdot )\) on \(S^{n-1}\) such that \(L_{p}\)-mixed quermassintegral \(W_{p,i}(L,K) \) has the following integral representation:
It turns out that the measure \(S_{p,i}(L,\cdot )\) (called the \(L_{p}\)-mixed surface area measure) on \(S^{n-1}\) has the Radon–Nikodym derivative
In this paper, in relation to \(L_{p}\)-mixed quermassintegrals, we continuously study log-Minkowski inequality. First, according to (1.14) and (1.15), we define the \(L_{p}\)-mixed quermassintegral probability measure as follows:
For \(K,L\in \mathcal{K}_{\mathrm{o}}^{n}\), \(p\geq 1\), and \(i=0,1,\ldots,n-1\), the \(L_{p}\)-mixed quermassintegral measure \(dw_{p,i}(L,K)\) of L and K is defined by
From this, the \(L_{p}\)-mixed quermassintegral probability measure is written by
In particular, if \(p=1\) and \(i=0\) in (1.16) and (1.17), then \(dw_{p,i}(L,K)=dv_{1}(L,K)\) and \(d\overline{W}_{p,i}(L,K)=d\overline{V}_{1}(L,K)\).
Next, combined with the above \(L_{p}\)-mixed quermassintegral probability measure, we give a generalization of the log-Minkowski inequalities (1.6) and (1.13).
Theorem 1.1
(The log-Minkowski inequality for \(L_{p}\)-mixed quermassintegral)
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\), and \(i=0,1,2,\ldots,n-1\), then
with equality, for \(p=1\) if and only if K and L are homothetic, for \(p>1\) if and only if K and L are dilates.
Remark 1.1
If \(p=1\) and \(i=0\) in Theorem 1.1, then Theorem 1.A can be obtained. If \(p>1\) and \(i=0\), then Theorem 1.1 implies Theorem 1.C.
In addition, we also consider the log-Minkowski inequality for quermassintegrals. For convenience, let
where \(\operatorname{supp} \omega _{i}(L)\) denotes the support of the quermassintegral measure of \(\omega _{i}(L)\). Our result can be stated as follows.
Theorem 1.2
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\) satisfy \(L\subseteq K\), \(p\geq 1\), and \(i=0,1,2,\ldots,n-1\), then
with equality if and only if \(K=L\).
In general, if \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), then
with equality if and only if K and L are dilates.
Remark 1.2
The case of \(p=1\) and \(i=0\) is just Stancu’s result (see [10]). If \(p>1\) and \(i=0\) in Theorem 1.2, then inequalities (1.19) and (1.20) can be found in [23].
In Sect. 2, we complete the proofs of Theorems 1.1–1.2 and obtain some results about the log-Minkowski inequality. In Sect. 3, we establish the dual form of Theorem 1.1 and obtain some related inequalities. Finally, as the application of Theorem 1.1, an \(L_{p}\)-mixed affine isoperimetric inequality is given in Sect. 4.
2 Proofs of theorems
In this part, we will give the proofs of Theorems 1.1–1.2. First, in order to prove Theorem 1.1, the following lemma is required.
Lemma 2.1
([11])
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\) and \(i=0,1,2,\ldots,n-1\), then
with equality, for \(p=1\) and \(0\leq i< n-1\), if and only if L and K are homothetic; for \(p>1\), if and only if L and K are dilates; for \(p=1\) and \(i=n-1\), (2.1) is identical.
Proof of Theorem 1.1
For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\), and \(i=0,1,2,\ldots,n-1\), by (1.11) and (1.16) we have that
From Lebesgue’s dominated convergence theorem, and combined with formula (1.11), (1.14), (1.16), and (2.2), we obtain if \(t\rightarrow \infty \), then
and
Considering the function \(F_{K,L}(t):[1,\infty )\rightarrow \mathbb{R}\) by
and using L’Hôpital’s rule, we have
Consequently, by (2.3) we obtain
By Hölder’s inequality (see [25]), (1.9) and (1.14) deduce that
i.e.,
By the equality condition of Hölder’s inequality, we see that equality holds in (2.5) if and only if \((\frac{h_{K}}{h_{L}})^{p}\) is a constant, i.e., L and K are dilates.
From this, together (2.5) with (2.4), we obtain
i.e.,
Therefore, by (2.6), (1.9), (1.16), (1.17), and (2.1), we have
This gives the desired inequality (1.18).
The equality conditions of inequalities (2.1) and (2.5) imply that equality holds in inequality (1.18) for \(p=1\) if and only if K is homothetic to L, for \(p>1\) if and only if L and K are dilates. □
Remark 2.1
The case \(p=1\) of Theorem 1.1 is just Theorem 1.B which is obtained by Wang and Feng (see [12]).
Using Theorem 1.1, we have the following result.
Corollary 2.1
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\) with \(L\subseteq K\), \(p\geq 1\), and \(i=0,1,2,\ldots,n-1\), then
with equality, for \(p=1\) if and only if K and L are homothetic, for \(p>1\) if and only if K and L are dilates.
Proof
From (1.10), (2.2), (1.18), and (2.1), we have
The equality conditions of (1.18) and (2.1) imply that the equality holds in Corollary 2.1 for \(p=1\) if and only if K and L are homothetic, for \(p>1\) if and only if K and L are dilates. □
Remark 2.2
If \(p=1\) and \(i=0\), then Corollary 2.1 can be found in [10].
Next, we give an improved version of the right-hand inequality of (1.18) in Theorem 1.1.
Theorem 2.1
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\), and \(i=0,1,2,\ldots,n-1\), then
with equality if and only if K and L are dilates.
Lemma 2.2
Let \(f(x)\) and \(g(x)\) be the probability density functions on a measure space \((X,v)\) for v-almost all \(x\in X\), if \(\int _{X}f(x)\,dv(x)=1\), \(\int _{X}g(x)\,dv(x)=1\), then
with equality if and only if \(f(x)=g(x)\).
Proof of Theorem 2.1
For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\), \(i=0,1,2,\ldots,n-1\), and all \(u\in S^{n-1}\), let
then we have
Thus by Lemma 2.2 we get
i.e.,
From this, and combined with (1.16), (1.11), and (1.12), we have
i.e.,
According to Lemma 2.2, the equality holds in (2.7) if and only if \(\frac{1}{W_{i}(L)} (\frac{h_{L}}{h_{K}} )^{p}= \frac{1}{W_{p,i}(L,K)}\), i.e., \(h_{K}/h_{L}\) is a constant. Hence the equality holds in (2.7) if and only if K and L are dilates. □
Actually, applying Lemma 2.2, we may give another proof of the left-hand inequality of (1.18) in Theorem 1.1.
Another proof of the left-hand inequality of (1.18)
Taking
by Lemma 2.2 we get
This gives
From this, combined with (1.17), we obtain
i.e.,
This is just the left-hand inequality of (1.18).
By Lemma 2.2, equality holds in (2.8) if and only if \(\frac{1}{W_{p,i}(L,K)}=\frac{1}{W_{i}(L)} (\frac{h_{L}}{h_{K}} )^{p}\), i.e., \(h_{K}/h_{L}\) is a constant. This means that equality holds in the left-hand inequality of (1.18) if and only if K and L are dilates. □
From inequality (2.7) and the left-hand inequality of (1.18), we easily obtain the following.
Corollary 2.2
If \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), \(p\geq 1\), and \(i=0,1,2,\ldots,n-1\), then
In each case, equality holds if and only if K and L are dilates.
Corollary 2.2 shows that the log-Minkowski inequality for \(L_{p}\)-mixed quermassintegrals is stronger than the log-Minkowski inequality for quermassintegrals.
Now, we give the proof of Theorem 1.2, the following lemma is necessary.
Lemma 2.3
(Hadamard type inequality [28])
Let f be a positive, log-convex function on \([a,b]\), then
Proof of Theorem 1.2
For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), if \(L\subseteq K\), we define the function
then \(G(q)\) is non-negative. If \(u\rightarrow \ln (\frac{h_{K}}{h _{L}} )(u)\) is zero on the support of the quermassintegral measure of L, then G is identically zero. If G is not identically zero, then by (2.9) we know \(G(1)\geq G(0)>0\). If \(G(1)=G(0)\), then K must be equal to L. So assume \(G(1)>G(0)\).
Here, we show that \(G(q)\) is a log-convex function. In fact, for \(\alpha \in (0,1)\) and \(\beta ,\gamma \in \mathbb{R}\), by (2.11) and Hölder’s inequality [25], we have
From this, by (2.11) and Hadamard type inequality (2.10), we obtain
Since \(G(1)>G(0)\), combined with (2.12) and Fubini–Toneli’s theorem, we have
In (2.13), note that
Thus, together with (2.13) and (2.14), we get
namely,
This yields
The last inequality is obtained by the left-hand inequality of (1.18). This is the desired inequality (1.19).
Assume that \(G(q)\) is identically zero, then \(h(K,u)=h(L,u)\) for almost all u in the support of the quermassintegral measure of L, or equivalently with respect to the \(L_{p}\)-surface area measure of L. This implies \(W_{p,i}(L,K)=W_{i}(L)\). By (2.1), we can obtain \(W_{i}(L)^{\frac{n-p-i}{n-i}}W_{i}(K)^{\frac{p}{n-i}}\leq W_{p,i}(L,K)=W _{i}(L)\), i.e., \(W_{i}(K)\leq W_{i}(L)\), with \(L\subseteq K\), we know that \(W_{i}(K)=W_{i}(L)\). Since \(L\subseteq K\) are convex bodies and with the equality condition of (2.1), thus \(K=L\).
When L is not included in K, since \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), thus there exist \(\lambda \in \mathbb{R}\) and \(0<\lambda <1\) such that \(\lambda L\subseteq K\). From this, by (1.19) we have
This and (1.2) give
i.e.,
Now let \(\lambda = (\frac{h_{K}}{h_{L}} )_{\min }\) in (2.15), then (2.15) yields inequality (1.20). According to \(\lambda L\subseteq K\) and the equality condition of inequality (1.19), we see that equality holds in (1.20) if and only if K and L are dilates. □
Remark 2.3
If \(p=1\) in Theorem 1.2, we can obtain Wang and Feng’s result (see [12]).
Obviously, if there exists \(\lambda \in [0,1]\) such that \(\lambda L \subseteq K\) is valid as well as \(\lambda h_{L}(u)=h_{K}(u)\), \(\frac{(\frac{h_{K}}{h_{L}}) _{p\text{-average}}}{(\frac{h_{K}}{h_{L}})^{p} _{\max }}=1\) in Theorem 1.2, the following result is obtained.
Corollary 2.3
Let \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\) such that there exists a positive constant \(\lambda >0\) with \(\lambda h _{L}(u)=h_{K}(u)\) for each u in the support of the quermassintegral measure of L. Then
with equality if and only if \(K=\lambda L\).
Remark 2.4
If \(i=0\) in Corollary 2.3, then this inequality was firstly obtained by Gardner, Hug, and Weil (see [29]).
3 Dual log-Minkowski inequalities for the \(L_{p}\)-dual mixed quermassintegrals
Let K be a compact star-shaped (about the origin) set in \(\mathbb{R}^{n}\), its radial function, \(\rho _{K}=\rho (K,\cdot ): \mathbb{R}^{n}\backslash \{0\}\rightarrow [0,+\infty )\), is defined by [1, 2]
If \(\rho _{K}\) is positive and continuous, K will be called a star body (about the origin).
If \(K\in \mathcal{K}^{n}_{\mathrm{o}}\), the polar body \(K^{\ast }\) of K is defined by (see [1, 2])
From (1.1) and (3.1), it follows that if \(K\in \mathcal{K}^{n}_{\mathrm{o}}\), then
The notion of dual quermassintegrals was given by Lutwak [30]. For \(L\in \mathcal{S}^{n}_{\mathrm{o}}\), i is any real, the dual quermassintegral \(\widetilde{W}_{i}(L)\) of L is defined by
Associated with (3.3), the dual quermassintegral measure \(dw^{\rho } _{i}(L)\) of L is written as follows:
From this, the dual quermassintegral probability measure is given by
Besides, Wang and Yan [31] gave the \(L_{p}\)-dual mixed quermassintegrals as follows: For \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\), \(p\neq 0\), and real \(i\neq n\), the \(L_{p}\)-dual mixed quermassintegral \(\widetilde{W}_{p,i}(L,K)\) of L and K is defined by
Based on (3.6), we define the \(L_{p}\)-dual mixed quermassintegral measure \(dw^{\rho }_{p,i}(L,K)\) of L and K by
According to (3.7), the \(L_{p}\)-dual mixed quermassintegral probability measure is written by
For the \(L_{p}\)-dual mixed quermassintegrals, Wang and Yan [31] established the \(L_{p}\)-dual Minkowski inequality as follows.
Lemma 3.1
Let \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\), \(p\neq 0\), and real \(i\neq n\). If \(p>0\), then for \(i< n-p\),
for \(n-p< i< n\) or \(i>n\),
In each case, equality holds if and only if K and L are dilates. If \(p<0\), then for \(i>n-p\), inequality (3.9) holds; for \(i< n\) or \(n< i< n-p\), inequality (3.10) holds. If \(i=n-p\), (3.9) (or (3.10)) is identic.
Recently, the dual log-Minkowski inequality was established by Gardner et al. [32]. In 2017, Wang, Xu, and Zhou [23] obtained the dual log-Minkowski inequality for \(L_{p}\)-dual mixed volumes. In this part, we will establish the following dual log-Minkowski inequality for \(L_{p}\)-dual mixed quermassintegrals.
Theorem 3.1
Let \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\), if \(p>0\) and \(n-p< i< n\) or \(i>n\), then
with equality if and only if K and L are dilates. If \(p<0\) and \(i>n-p\), inequality (3.11) is reverse.
Proof of Theorem 3.1
For all \(u\in S^{n-1}\), we take
then we can obtain
Thus, by Lemma 2.2, we have
i.e.,
According to the equality condition of Lemma 2.2, we see that equality holds in (3.12) if and only if \(\frac{1}{\widetilde{W}_{p,i}(L,K)}=\frac{1}{ \widetilde{W}_{i}(L)}(\frac{\rho _{L}}{\rho _{K}})^{p}\), i.e., \(\frac{\rho _{L}}{\rho _{K}}\) is a constant. Thus K and L are dilates.
From (3.8), inequality (3.12) can be written as follows:
By (3.10), if \(p>0\) and \(n-p< i< n\) or \(i>n\), then
If \(p<0\) and \(i>n-p\), then by (3.9) and (3.12), we obtain inequality (3.11) is reverse.
According to the equality conditions of inequalities (3.10) and (3.12), we see that equality holds in (3.11) if and only if K and L are dilates. □
In addition, the left-hand inequality in (3.11) can be written as follows.
Corollary 3.1
Let \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\), if \(p>0\) and \(n-p< i< n\) or \(i>n\), then
with equality if and only if K and L are dilates. If \(p<0\) and \(i>n-p\), the inequality is reverse.
Proof
From (3.5), (3.4), (3.7), (3.8), (3.11), and (3.10), we can obtain
If \(p<0\) and \(i>n-p\), then by (3.9) and (3.11), we obtain this inequality is reverse.
The equality conditions of (3.10) and (3.11) imply the equality holds in Corollary 3.1 if and only if K and L are dilates. □
In the following, we obtain a more general form than the dual log-Minkowski inequality.
Theorem 3.2
Let \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\) and \(\varphi (x):(0,\infty )\rightarrow (0,\infty )\) be a monotonous convex function. If \(p>0\), real \(i\neq n\) and \(i< n-p\), then
with equality if and only if K and L are dilates.
Lemma 3.2
(Jessen’s inequality [25])
Suppose that μ is a probability measure on a space X and \(g : X\rightarrow I\subset \mathbb{R}\) is a μ-integrable function, where I is a possibly infinite interval. If \(\varphi :X\rightarrow I\subset \mathbb{R}\) is a strictly convex function, then
with equality if and only if \(g(x)\) is a constant for μ-almost all \(x\in X\).
Proof of Theorem 3.2
For \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\) and \(\varphi (x):(0,\infty )\rightarrow (0,\infty )\) is a monotonous convex function. From (3.6), (3.4), (3.5), and (3.14), we have
i.e.,
By the equality condition of inequality (3.14), we know that the equality holds in (3.15) if and only if \(\varphi ^{-1} ( (\frac{ \rho (K,u)}{\rho (L,u)} )^{p} )\) is a constant, i.e., \(\frac{\rho (K,u)}{\rho (L,u)}=\lambda \) is a constant, then K and L are dilates.
Combining with (3.15) and Minkowski inequality (3.9), we obtain
This yields inequality (3.13).
According to the equality conditions of (3.9) and (3.15), we can know that the equality holds in (3.13) if and only if K and L are dilates. □
Theorem 3.3
Let \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\) and \(\varphi (x):(0,\infty )\rightarrow (0,\infty )\) be a monotonous convex function. If \(p>0\), real \(i\neq n\), and \(i< n-p\), then
with equality if and only if K and L are dilates.
Proof of Theorem 3.3
Since \(\varphi (x):(0,\infty )\rightarrow (0,\infty )\) is a monotonous convex function, thus by (3.6), (3.4), (3.5), and (3.14), we obtain
equivalently,
By the equality condition of inequality (3.14), we see that the equality holds in (3.17) if and only if \(\varphi ^{-1} ( (\frac{\rho (L,u)}{ \rho (K,u)} )^{n-p-i} )\) is constant, i.e., \(\frac{\rho (L,u)}{ \rho (K,u)}=\lambda \) is constant, then K and L are dilates.
Together with (3.17) and Minkowski inequality (3.9), we get
This is the desired inequality (3.16).
According to the equality conditions of (3.9) and (3.17), we know that the equality holds in (3.16) if and only if K and L are dilates. □
In particular, let \(\varphi (x)=\exp (x)\) in Theorem 3.2 and Theorem 3.3, then we can obtain the following dual log-Minkowski inequality of dual quermassintegrals probability measure.
Corollary 3.2
If \(K,L\in \mathcal{S}^{n}_{\mathrm{o}}\), \(p>0\), and real \(i\neq n\), then
with equality if and only if K and L are dilates.
Remark 3.1
If \(i=0\) in Corollary 3.2, then this inequality firstly was obtain by Gardner et al. (see [32]).
4 \(L_{p}\)-Mixed affine isoperimetric inequality
For \(p\geq 1\) and \(i=0,1,\ldots,n-1\). A convex body \(K\in \mathcal{K}_{\mathrm{o}}^{n}\) is said to have a generalized \(L_{p}\)-curvature function (see [33]) \(f_{p,i}(K,\cdot ):S^{n-1}\rightarrow \mathbb{R}\) if measure \(S_{p,i}(K,\cdot )\) is absolutely continuous with respect to spherical Lebesgue measure S, and
Obviously, \(f_{p,0}(K,\cdot )=f_{p}(K,\cdot )\). Here \(f_{p}(K,\cdot )\) is the \(L_{p}\)-curvature function of \(K\in \mathcal{K}_{\mathrm{o}}^{n}\) (see [24]). Let \(\mathcal{F}^{n}_{\mathrm{o}} \) denote the subset of \(\mathcal{K}^{n}_{\mathrm{o}} \) that has a positive continuous curvature function.
For \(K\in \mathcal{F}_{\mathrm{o}}^{n}\), \(p\geq 1\), and \(i=0,1,\ldots,n-1\), the \(L_{p}\)-mixed curvature image \(\varLambda _{p,i}K\in \mathcal{S}_{\mathrm{o}}^{n}\) of K is defined by (see [33])
In relation to the \(L_{p}\)-dual mixed quermassintegrals, Li and Wang [34] gave the notion of \(L_{p}\)-mixed affine surface area \(\varOmega _{p,i}(K)\) of K and obtained the following result: If \(K\in \mathcal{F}_{\mathrm{o}}^{n}\), \(p\geq 1\), and \(i=0,1,\ldots,n-1\), then
By (3.3), (4.2), and (4.3), we have the following integral formula of \(L_{p}\)-mixed affine surface area \(\varOmega _{p,i}(K)\): If \(K\in \mathcal{F}_{\mathrm{o}}^{n}\), \(p\geq 1\), and \(i=0,1,\ldots,n-1\), then
Obviously, let \(i=0\) in (4.4), then \(\varOmega _{p,0}(K)\) is just the \(L_{p}\)-affine surface area \(\varOmega _{p}(K)\) (see [24]).
As the application of Theorem 1.1, associated with the \(L_{p}\)-mixed affine surface areas, we establish the following \(L_{p}\)-mixed affine isoperimetric inequality.
Theorem 4.1
If \(K\in \mathcal{K}^{n}_{\mathrm{o}}\), \(L\in \mathcal{F}_{\mathrm{o}}^{n}\), \(p>1\), and \(i=0,1,\ldots,n-1\), then
with equality if and only if K and L are dilate balls centered at the origin. Here \(H(K,L,p)= [\exp (\int _{S^{n-1}}\ln (\frac{h _{K}}{h_{L}} )^{p}\,d\overline{W}_{p,i}(L,K) ) ]^{n-i}\).
Proof
Suppose that K and L are distinct, according to the left-hand inequality of (1.18), (1.14), (1.15), and (4.1), we have
By the equality conditions of inequality (1.18), we see that equality holds in (4.6) for \(p>1\) if and only if K and L are dilates.
In fact, for \(p>1\) and \(i=0,1,\ldots,n-1\), since \(-\frac{n-i}{p}<0\), thus by Hölder’s inequality (see [25]), (3.2), (3.3), and (4.4), we have
From the equality condition of Hölder’s inequality, we see that equality holds in (4.7) if and only if \(f_{p,i}(L,u)=\lambda h(K,u)^{-(n+p-i)}\) for all \(u\in S^{n-1}\), where λ is a constant.
Therefore, by (4.6) and (4.7), we obtain
Equivalently,
In addition, for \(K\in \mathcal{K}_{\mathrm{o}}^{n}\) and \(i= 1, 2,\ldots, n-1\), it is well known that (see [1, 2])
with equality if and only if K is a ball centered at the origin.
Let \(H(K,L,p)= [\exp (\int _{S^{n-1}}\ln (\frac{h_{K}}{h _{L}} )^{p}\,d\overline{W}_{p,i}(L,K) ) ]^{n-i}\) in (4.8), then by (4.9) we obtain
This yields inequality (4.5).
Because of the equality conditions of inequalities (4.6) and (4.9), we deduce that K and L are dilate balls centered at the origin, these imply the equality condition of (4.7): \(f_{p,i}(L,u)=\lambda h(K,u)^{-(n+p-i)}\). Hence, we see that equality holds in (4.5) if and only if K and L are dilate balls centered at the origin. □
Specially, if \(K=L\) in Theorem 4.1, then
Thus, we immediately obtain the following result.
Corollary 4.1
If \(K\in \mathcal{F}_{\mathrm{o}}^{n}\), \(p>1\), and \(i=0,1,\ldots,n-1\), then
with equality if and only if K is a ball centered at the origin.
References
Gardner, R.J.: Geometric Tomography, 2nd edn. Encyclopedia Math. Appl. Cambridge University Press, Cambridge (2006)
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory, 2nd edn. Encyclopedia Math. Appl. Cambridge University Press, Cambridge (2014)
Gardner, R.J.: The Brunn–Minkowski inequality. Bull. Am. Math. Soc. 39, 355–405 (2002)
Böröczky, K., Lutwak, E., Yang, D., Zhang, G.Y.: The log-Brunn–Minkowski inequality. Adv. Math. 231, 1974–1997 (2012)
Saroglou, C.: Remarks on the conjectured log-Brunn–Minkowski inequality. Geom. Dedic. 177, 353–365 (2015)
Ma, L.: A new proof of the log-Brunn–Minkowski inequality. Geom. Dedic. 177, 75–82 (2015)
Wang, W., Liu, L.J.: The dual log-Brunn–Minkowski inequality. Taiwan. J. Math. 20, 909–919 (2016)
Xi, D.M., Leng, G.S.: Dar’s conjecture and the log-Minkowski inequality. J. Differ. Geom. 103, 145–189 (2016)
Zhu, G.X.: The logarithmic Minkowski problem for polytopes. Adv. Math. 262, 909–931 (2014)
Stancu, A.: The logarithmic Minkowski inequality for non-symmetric convex bodies. Adv. Appl. Math. 73, 43–58 (2016)
Lutwak, E.: The Brunn–Minkowski–Firey theory I: mixed volumes and the Minkowski problem. J. Differ. Geom. 38, 131–150 (1993)
Wang, W., Feng, M.: The log-Minkowski inequalities for quermassintegrals. J. Math. Inequal. 4, 983–995 (2017)
Böröczky, K.J., Hegedus̈, P., Zhu, G.X.: On the discrete logarithmic Minkowski problem. Int. Math. Res. Not. 2016, 1807–1838 (2016)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.Y.: The logarithmic Minkowski problem. J. Am. Math. Soc. 26, 831–852 (2013)
Berg, A., Parapatits, L., Schuster, F.E., Weberndorfer, M.: Log-concavity properties of Minkowski valuations. Trans. Am. Math. Soc. 2014, 1–44 (2014)
Henk, M., Pollehn, H.: On the log-Minkowski inequality for simplices and parallelpipeds. Acta Math. Hung. 155, 141–157 (2018)
Hu, J.Q., Xiong, G.: The logarithmic John ellipsoid. Geom. Dedic. (2018). https://doi.org/10.1007/s10711-017-0316-z
Jin, H.L.: The log-Minkowski measure of asymmetry for convex bodies. Geom. Dedic. (2017). https://doi.org/10.1007/s10711-017-0302-5
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)
Stancu, A.: The necessary condition for the discrete \(L_{0}\)-problem in \(\mathbb{R}^{2}\). J. Geom. 88, 162–168 (2008)
Saroglou, C.: More on logarithmic sums of convex bodies (2014). arXiv:1409.4346v2
Wang, X.X., Xu, W.X., Zhou, J.Z.: Some logarithmic Minkowski inequalities for non-symmetric convex bodies. Sci. China Math. 60, 1857–1872 (2017)
Lutwak, E.: The Brunn–Minkowski–Firey theory II: affine and geominimal surface areas. Adv. Math. 118, 244–294 (1996)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, London (1934)
Cover, T., Thomas, J.: Elements of Information Theory, 2nd edn. Wiley-Interscience, Hoboken (2006)
Li, T.Y.: Entropy. Adv. Math. 19(3), 301–320 (1990)
Gill, P., Pearce, C., Pečarić, J.: Hadammard’s inequality for r-convex functions. J. Math. Anal. Appl. 215, 461–470 (1997)
Gardner, G.R., Hug, D., Weil, W.: The Orlicz–Brunn–Minkowski theory: a general framework, additions, and inequalities. J. Differ. Geom. 97, 427–476 (2014)
Lutwak, E.: Dual mixed volumes. Pac. J. Math. 58, 531–538 (1975)
Wang, W.D., Yan, L.: Inequalities for dual quermassintegrals of the p-cross-section bodies. Math. Inequal. Appl. 9(2), 321–330 (2015)
Gardner, D.R., Hug, D., Weil, W., Ye, D.P.: The dual Orlicz–Brunn–Minkowski theory. J. Math. Anal. Appl. 430, 810–829 (2015)
Lu, F.H., Wang, W.D.: Inequalities for \(L_{p}\)-mixed curvature image. Acta Math. Sci. 30B, 1044–1052 (2010)
Li, T., Wang, W.D.: \(L_{p}\)-Mixed affine surface area. Math. Inequal. Appl. 20, 949–962 (2017)
Funding
Research is supported in part by the Natural Science Foundation of China (Grant No. 11371224) and the Innovation Foundation of Graduate Student of China Three Gorges University (Grant No. 2019SSPY146).
Author information
Authors and Affiliations
Contributions
The authors contributed equally to the writing of this article. The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors state that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Li, C., Wang, W. Log-Minkowski inequalities for the \(L_{p}\)-mixed quermassintegrals. J Inequal Appl 2019, 85 (2019). https://doi.org/10.1186/s13660-019-2042-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2042-6