Skip to main content

Log-Minkowski inequalities for the \(L_{p}\)-mixed quermassintegrals

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.

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])

$$ h(K,x)=\max \{x\cdot y:y\in K\}, \quad x\in \mathbb{R}^{n}, $$
(1.1)

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\),

$$ h(\lambda K,x)=\lambda h(K,x). $$
(1.2)

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

$$ V(K+L)^{\frac{1}{n}}\geq V(K)^{\frac{1}{n}}+V(L)^{\frac{1}{n}}, $$

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

$$ V\bigl((1-\lambda )K+\lambda L\bigr)\geq V(K)^{1-\lambda }V(L)^{\lambda }, $$
(1.3)

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

$$ (1-\lambda )K+\lambda L=\bigcap_{u\in S^{n-1}}\bigl\{ x\in \mathbb{R}^{n}:x \cdot u\leq (1-\lambda )h_{K}(u)+\lambda h_{L}(u)\bigr\} . $$

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

$$ (1-\lambda )\cdot K+_{0}\lambda \cdot L=\bigcap _{u\in S^{n-1}}\bigl\{ x \in \mathbb{R}^{n}:x\cdot u\leq h_{K}(u)^{1-\lambda }h_{L}(u)^{\lambda }\bigr\} . $$

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]\),

$$ V\bigl((1-\lambda )\cdot K+_{0}\lambda \cdot L\bigr)\geq V(K)^{1-\lambda }V(L)^{ \lambda }. $$
(1.4)

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{V}_{L} \geq \frac{1}{n}\ln \biggl(\frac{V(K)}{ V(L)} \biggr), $$
(1.5)

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{V}_{1}(L,K) \geq \ln \biggl(\frac{V_{1}(L,K)}{V(L)} \biggr)\geq \frac{1}{n}\ln \biggl(\frac{V(K)}{V(L)} \biggr), $$
(1.6)

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]):

$$ W_{i}(L,K)=\frac{1}{n} \int _{S^{n-1}}h(K,u)\,dS_{i}(L,u), $$
(1.7)

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

$$ W_{i}(L)=\frac{1}{n} \int _{S^{n-1}}h(L,u)\,dS_{i}(L,u). $$
(1.8)

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

$$ dw_{i}(L,K)=\frac{1}{n}h(K,\cdot )\,dS_{i}(L,\cdot ). $$
(1.9)

Combining with (1.7) and (1.9), the mixed quermassintegral probability measure is given by

$$ d\overline{W}_{i}(L,K)=\frac{1}{W_{i}(L,K)}\,dw_{i}(L,K). $$
(1.10)

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

$$ dw_{i}(L)=\frac{1}{n}h(L,\cdot )\,dS_{i}(L,\cdot ). $$
(1.11)

Equation (1.10) gives the quermassintegral probability measure \(d\overline{W} _{i}(L)\) by

$$ d\overline{W}_{i}(L)=\frac{1}{W_{i}(L)}\,dw_{i}(L). $$
(1.12)

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L,K) \geq \ln \biggl(\frac{W_{i}(L,K)}{W_{i}(L)} \biggr)\geq \frac{1}{n-i} \ln \biggl(\frac{W_{i}(K)}{W_{i}(L)} \biggr), $$

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

$$ dV_{p}(L,K)=\frac{1}{n}h(K,\cdot )^{p}h(L,\cdot )^{1-p}\,dS(L,\cdot ), $$

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{V}_{p}(L,K) \geq \frac{1}{p}\ln \biggl( \frac{V_{p}(L,K)}{V(L)} \biggr)\geq \frac{1}{n}\ln \biggl(\frac{V(K)}{V(L)} \biggr), $$
(1.13)

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:

$$ W_{p,i}(L,K)=\frac{1}{n} \int _{s^{n-1}}h(K,u)^{p}\,dS_{p,i}(L,\cdot ). $$
(1.14)

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

$$ \frac{dS_{p,i}(L,\cdot )}{dS_{i}(L,\cdot )}=h(L,\cdot )^{1-p}. $$
(1.15)

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

$$ dw_{p,i}(L,K)=\frac{1}{n}h(K,u)^{p}h(L,u)^{1-p} \,dS_{i}(L,u). $$
(1.16)

From this, the \(L_{p}\)-mixed quermassintegral probability measure is written by

$$ d\overline{W}_{p,i}(L,K)=\frac{1}{W_{p,i}(L,K)}\,dw_{p,i}(L,K). $$
(1.17)

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{p,i}(L,K) \geq \frac{1}{p} \ln \biggl( \frac{W_{p,i}(L,K)}{W_{i}(L)} \biggr)\geq \frac{1}{n-i}\ln \biggl(\frac{W_{i}(K)}{W_{i}(L)} \biggr), $$
(1.18)

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

$$\begin{aligned}& \biggl(\frac{h_{K}}{h_{L}} \biggr)_{p\text{-average}}=\frac{\int _{S^{n-1}}(\frac{h _{K}}{h_{L}})^{p}\,d\omega _{i}(L)}{\int _{S^{n-1}}\,d\omega _{i}(L)}= \frac{W _{p,i}(L,K)}{W_{i}(L)}; \\& \biggl(\frac{h_{K}}{h_{L}} \biggr)_{\max }={\max_{u\in \operatorname{supp} \omega _{i}(L)}} \frac{h_{K}}{h_{L}}; \\& \biggl(\frac{h_{K}}{h_{L}} \biggr)_{\min }={\min_{u\in \operatorname{supp} \omega _{i}(L)}} \frac{h_{K}}{h_{L}}, \end{aligned}$$

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L) \geq \frac{ (\frac{h_{K}}{h_{L}} ) _{p\textit{-average}}}{ (\frac{h _{K}}{h_{L}} )^{p}_{\max }}\frac{1}{n-i}\ln \biggl(\frac{W_{i}(K)}{W _{i}(L)} \biggr), $$
(1.19)

with equality if and only if \(K=L\).

In general, if \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), then

$$\begin{aligned} \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L) &\geq \frac{ (\frac{h_{K}}{h_{L}} ) _{p\textit{-average}}}{ (\frac{h _{K}}{h_{L}} )^{p}_{\max }}\frac{1}{n-i}\ln \biggl(\frac{W_{i}(K)}{W _{i}(L)} \biggr) \\ &\quad{} +\ln \biggl[ \biggl(\frac{h_{K}}{h_{L}} \biggr)_{\min } \biggr] \biggl[1-\frac{ (\frac{h_{K}}{h_{L}} ) _{p\textit{-average}}}{ (\frac{h_{K}}{h _{L}} )^{p}_{\max }} \biggr], \end{aligned}$$
(1.20)

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.11.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.

Proofs of theorems

In this part, we will give the proofs of Theorems 1.11.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

$$ W_{p,i}(L,K)\geq W_{i}(L)^{\frac{n-p-i}{n-i}}W_{i}(K)^{\frac{p}{n-i}}, $$
(2.1)

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

$$ \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\ln \biggl(\frac{h _{K}}{h_{L}} \biggr)\,dw_{i}(L)= \int _{S^{n-1}} \ln \biggl(\frac{h_{K}}{h _{L}} \biggr) \,dw_{p,i}(L,K). $$
(2.2)

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

$$ \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{\frac{pt}{t+n}} \,dw_{i}(L) \rightarrow W_{p,i}(L,K) $$

and

$$ \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{\frac{pt}{t+n}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \rightarrow \int _{S^{n-1}} \ln \biggl(\frac{h_{K}}{h_{L}} \biggr) \,dw_{p,i}(L,K). $$

Considering the function \(F_{K,L}(t):[1,\infty )\rightarrow \mathbb{R}\) by

$$ F_{K,L}(t)=\frac{1}{W_{p,i}(L,K)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h _{L}} \biggr)^{\frac{pt}{t+n}} \,dw_{i}(L) $$

and using L’Hôpital’s rule, we have

$$\begin{aligned}& \lim_{t\rightarrow \infty }\ln \bigl[F_{K,L}(t)^{t+n}\bigr] \\& \quad =\lim_{t\rightarrow \infty }\frac{\ln F_{K,L}(t)}{\frac{1}{t+n}} \\& \quad =\lim_{p\rightarrow \infty }\frac{F'_{K,L}(t)}{- \frac{F_{K,L}(t)}{(t+n)^{2}}} \\& \quad =\lim_{t\rightarrow \infty }\frac{\frac{1}{W_{p,i}(L,K)}\cdot \frac{pn}{(t+n)^{2}}\int _{S^{n-1}}(\frac{ h_{K}}{h_{L}})^{ \frac{pt}{t+n}}\ln (\frac{h_{K}}{h_{L}})\,dw_{i}(L)}{- \frac{F_{K,L}(t)}{(t+n)^{2}}} \\& \quad =\lim_{t\rightarrow \infty }-\frac{\frac{pn}{W_{p,i}(L,K)}\int _{S^{n-1}}(\frac{h _{K}}{h_{L}}) ^{\frac{pt}{t+n}}\ln (\frac{h_{K}}{h_{L}})\,dw_{i}(L)}{\frac{1}{W _{p,i}(L,K)}\int _{S^{n-1}}(\frac{h_{K}}{h_{L}}) ^{\frac{pt}{t+n}}\,dw _{i}(L)} \\& \quad =-\frac{pn}{W_{p,i}(L,K)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr) \,dw_{i}(L). \end{aligned}$$
(2.3)

Consequently, by (2.3) we obtain

$$\begin{aligned}& \exp \biggl[-\frac{pn}{W_{p,i}(L,K)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h _{L}} \biggr)^{p}\ln \biggl( \frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \biggr] \\& \quad =\lim_{t\rightarrow \infty }F_{K,L}(t)^{t+n} \\& \quad =\lim_{t\rightarrow \infty } \biggl[\frac{1}{W_{p,i}(L,K)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{\frac{pt}{t+n}} \,dw_{i}(L) \biggr]^{t+n}. \end{aligned}$$
(2.4)

By Hölder’s inequality (see [25]), (1.9) and (1.14) deduce that

$$\begin{aligned}& \biggl[ \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p\cdot \frac{t}{t+n}} \,dw_{i}(L) \biggr]^{\frac{t+n}{t}} \cdot \biggl[ \int _{S^{n-1}}\,dw _{i}(L) \biggr]^{-\frac{n}{t}} \\& \quad \leq \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p} \,dw_{i}(L) \\& \quad =W_{p,i}(L,K), \end{aligned}$$

i.e.,

$$ \biggl[\frac{1}{W_{p,i}(L,K)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{\frac{pt}{t+n}} \,dw_{i}(L) \biggr]^{t+n} \leq \biggl(\frac{W_{i}(L)}{W _{p,i}(L,K)} \biggr)^{n}. $$
(2.5)

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

$$ \exp \biggl[-\frac{pn}{W_{p,i}(L,K)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h _{L}} \biggr)^{p}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \biggr] \leq \biggl( \frac{W_{i}(L)}{W_{p,i}(L,K)} \biggr)^{n}, $$

i.e.,

$$ \frac{p}{W_{p,i}(L,K)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p} \ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \geq \ln \biggl( \frac{W _{p,i}(L,K)}{W_{i}(L)} \biggr). $$
(2.6)

Therefore, by (2.6), (1.9), (1.16), (1.17), and (2.1), we have

$$\begin{aligned}& \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{p,i}(L,K) \\& \quad \geq \frac{1}{p}\ln \biggl(\frac{W_{p,i}(L,K)}{W_{i}(L)} \biggr) \\& \quad \geq \frac{1}{p}\ln \biggl(\frac{W_{i}(L)^{\frac{n-p-i}{n-i}}W_{i}(K)^{ \frac{p}{n-i}}}{W_{i}(L)} \biggr) \\& \quad \geq \frac{1}{n-i}\ln \biggl(\frac{W_{i}(K)}{W_{i}(L)} \biggr). \end{aligned}$$

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

$$ \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\ln \biggl(\frac{h _{K}}{h_{L}} \biggr)\,d\overline{W}_{i}(L)\geq \frac{1}{n-i} \biggl(\frac{W _{i}(K)}{W_{i}(L)} \biggr)^{\frac{p}{n-i}}\ln \biggl( \frac{W_{i}(K)}{W _{i}(L)} \biggr), $$

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

$$\begin{aligned}& \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\ln \biggl(\frac{h _{K}}{h_{L}} \biggr)\,d\overline{W}_{i}(L) \\& \quad =\frac{1}{W_{i}(L)} \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p} \ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \\& \quad =\frac{W_{p,i}(L,K)}{W_{i}(L)} \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h _{L}} \biggr)\,d \overline{W}_{p,i}(L,K) \\& \quad \geq \frac{W_{p,i}(L,K)}{W_{i}(L)}\cdot \frac{1}{p}\ln \biggl( \frac{W _{p,i}(L,K)}{W_{i}(L)} \biggr) \\& \quad \geq \frac{1}{n-i} \biggl(\frac{W_{i}(K)}{W_{i}(L)} \biggr)^{ \frac{p}{n-i}} \ln \biggl(\frac{W_{i}(K)}{W_{i}(L)} \biggr). \end{aligned}$$

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

$$ \frac{1}{p}\ln \biggl(\frac{W_{p,i} (L,K)}{W_{i}(L)} \biggr)\geq \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L), $$
(2.7)

with equality if and only if K and L are dilates.

Lemma 2.2

([26, 27])

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

$$ \int _{X}f(x)\ln f(x)\,dv(x)\geq \int _{X}f(x)\ln g(x)\,dv(x), $$

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

$$ f(u)=\frac{1}{W_{i}(L)} \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p}, \quad \quad g(u)=\frac{1}{W_{p,i}(L,K)}, \quad\quad dv(u)=dw_{p,i}(L,K), $$

then we have

$$ \int _{S^{n-1}}f(u)\,dv(u)=1, \quad\quad \int _{S^{n-1}}g(u)\,dv(u)=1. $$

Thus by Lemma 2.2 we get

$$\begin{aligned}& \int _{S^{n-1}}\frac{1}{W_{i}(L)} \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p} \ln \biggl[\frac{1}{W_{i}(L)} \biggl(\frac{h_{L}}{h _{K}} \biggr)^{p} \biggr]\,dw_{p,i}(L,K) \\& \quad \geq \int _{S^{n-1}}\frac{1}{W_{i}(L)} \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p} \ln \biggl( \frac{1}{W_{p,i}(L,K)} \biggr)\,dw_{p,i}(L,K), \end{aligned}$$

i.e.,

$$\begin{aligned}& \int _{S^{n-1}}\frac{1}{W_{i}(L)} \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p} \ln \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p} \,dw_{p,i} (L,K) \\& \quad \geq \ln \biggl(\frac{W_{i}(L)}{W_{p,i}(L,K)} \biggr) \int _{S^{n-1}}\frac{1}{W _{i}(L)} \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p}\,dw_{p,i}(L,K). \end{aligned}$$

From this, and combined with (1.16), (1.11), and (1.12), we have

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p} \,d\overline{W} _{i}(L)\geq \ln \biggl(\frac{W_{i}(L)}{W_{p,i}(L,K)} \biggr), $$

i.e.,

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L) \leq \frac{1}{p}\ln \biggl( \frac{W_{p,i} (L,K)}{W_{i}(L)} \biggr). $$

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

$$ f(u)=\frac{1}{W_{p,i}(L,K)}, \quad\quad g(u)=\frac{1}{W_{i}(L)} \biggl( \frac{h_{L}}{h_{K}} \biggr)^{p}, \quad\quad dv(u)=dw_{p,i}(L,K), $$

by Lemma 2.2 we get

$$\begin{aligned}& \int _{S^{n-1}}\frac{1}{W_{p,i}(L,K)}\ln \biggl(\frac{1}{W_{p,i}(L,K)} \biggr)\,dw_{p,i}(L,K) \\& \quad \geq \int _{S^{n-1}}\frac{1}{W_{p,i}(L,K)}\ln \biggl[\frac{1}{W_{i}(L)} \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p} \biggr]\,dw_{p,i}(L,K). \end{aligned}$$

This gives

$$\begin{aligned}& \ln \biggl(\frac{W_{i}(L)}{W_{p,i}(L,K)} \biggr) \int _{S^{n-1}}\frac{1}{W _{p,i}(L,K)}\,dw_{p,i}(L,K) \\& \quad \geq \int _{S^{n-1}}\frac{1}{W_{p,i}(L,K)}\ln \biggl( \frac{h_{L}}{h_{K}} \biggr)^{p}\,dw_{p,i}(L,K). \end{aligned}$$

From this, combined with (1.17), we obtain

$$ \ln \biggl(\frac{W_{i}(L)}{W_{p,i}(L,K)} \biggr)\geq \int _{S^{n-1}} \ln \biggl(\frac{h_{L}}{h_{K}} \biggr)^{p} \,d\overline{W} _{p,i}(L,K), $$

i.e.,

$$ \frac{1}{p}\ln \biggl(\frac{W_{p,i}(L,K)}{W_{i}(L)} \biggr)\leq \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d\overline{W} _{p,i}(L,K). $$
(2.8)

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{p,i}(L,K) \geq \frac{1}{p}\ln \biggl( \frac{W_{p,i} (L,K)}{W_{i}(L)} \biggr)\geq \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L). $$
(2.9)

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

$$ \frac{1}{b-a} \int ^{b}_{a}f(t)\,dt\leq \frac{f(b)-f(a)}{\ln f(b)-\ln f(a)}. $$
(2.10)

Proof of Theorem 1.2

For \(K,L\in \mathcal{K}^{n}_{\mathrm{o}}\), if \(L\subseteq K\), we define the function

$$ G(q)= \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{pq}\ln \biggl(\frac{h _{K}}{h_{L}} \biggr)\,dw_{i}(L), \quad q\in \mathbb{R}, $$
(2.11)

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

$$\begin{aligned}& G\bigl((1-\alpha )\beta +\alpha \gamma \bigr) \\& \quad = \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p((1-\alpha )\beta + \alpha \gamma )} \ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \\& \quad = \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p\beta (1-\alpha )} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p\alpha \gamma } \ln \biggl(\frac{h _{K}}{h_{L}} \biggr)\,dw_{i}(L) \\& \quad \leq \biggl( \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p\beta } \ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \biggr) ^{(1-\alpha )} \biggl( \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p\gamma }\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L) \biggr) ^{\alpha } \\& \quad =G(\beta )^{1-\alpha }G(\gamma )^{\alpha }. \end{aligned}$$

From this, by (2.11) and Hadamard type inequality (2.10), we obtain

$$ \frac{G(1)-G(0)}{\ln G(1)-\ln G(0)}\geq \int ^{1}_{0} \biggl[ \int _{S^{n-1}} \biggl( \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p} \biggr)^{q}\ln \biggl(\frac{h _{K}}{h_{L}} \biggr) \,dw_{i}(L) \biggr]\,dq. $$
(2.12)

Since \(G(1)>G(0)\), combined with (2.12) and Fubini–Toneli’s theorem, we have

$$\begin{aligned} G(0)&\geq G(1)\cdot \exp \biggl[-\frac{G(1)-G(0)}{\int ^{1}_{0}\int _{S ^{n-1}}(\frac{h_{K}}{h_{L}})^{pq}\ln (\frac{h _{K}}{h_{L}})\,dw_{i}(L)\,dq} \biggr] \\ & =G(1)\cdot \exp \biggl[-\frac{G(1)-G(0)}{\int _{S^{n-1}}[\int ^{1}_{0}(\frac{h _{K}}{h_{L}})^{pq}\ln (\frac{h _{K}}{h_{L}})\,dq]\,dw_{i}(L)} \biggr] \\ & =G(1)\cdot \exp \biggl[-p\frac{G(1)-G(0)}{\int _{S^{n-1}}[(\frac{h_{K}}{h _{L}})^{p}-1]\,dw_{i}(L)} \biggr]. \end{aligned}$$
(2.13)

In (2.13), note that

$$ \frac{G(1)-G(0)}{\int _{S^{n-1}}[(\frac{h_{K}}{h_{L}})^{p}-1]\,dw_{i}(L)}=\frac{ \int _{S^{n-1}}\ln (\frac{h_{K}}{h_{L}}) [(\frac{h_{K}}{h_{L}})^{p}-1]\,dw _{i}(L)}{\int _{S^{n-1}}[(\frac{h_{K}}{h_{L}})^{p}-1]\,dw_{i}(L)}\leq \ln \biggl(\frac{h_{K}}{h_{L}} \biggr)_{\max }. $$
(2.14)

Thus, together with (2.13) and (2.14), we get

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr) \,dw_{i}(L)\geq \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\ln \biggl(\frac{h _{K}}{h_{L}} \biggr)\,dw_{i}(L)\cdot \exp \biggl[-p\ln \biggl(\frac{h_{K}}{h _{L}} \biggr)_{\max } \biggr], $$

namely,

$$\begin{aligned}& \frac{1}{W_{i}(L)} \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw _{i}(L) \\& \quad \geq \frac{W_{p,i}(L,K)}{W_{i}(L)}\cdot \frac{1}{W_{p,i}(L,K)}\cdot \biggl( \frac{h_{K}}{h_{L}} \biggr)^{-p}_{\max } \cdot \int _{S^{n-1}} \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,dw_{i}(L). \end{aligned}$$

This yields

$$\begin{aligned} \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L) &\geq \frac{W_{p,i}(L,K)}{W_{i}(L)}\cdot \biggl( \frac{h_{K}}{h_{L}} \biggr)^{-p}_{\max }\cdot \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{p,i}(L,K) \\ & \geq \frac{ (\frac{h_{K}}{h_{L}} )_{p\text{-average}}}{ (\frac{h _{K}}{h_{L}} )^{p}_{\max }} \int _{S^{n-1}} \ln \biggl(\frac{h_{K}}{h _{L}} \biggr)\,d \overline{W}_{p,i}(L,K) \\ &\geq \frac{ (\frac{h_{K}}{h_{L}} )_{p\text{-average}}}{ (\frac{h _{K}}{h_{L}} )^{p}_{\max }}\frac{1}{n-i} \ln \biggl(\frac{W_{i}(K)}{W _{i}(L)} \biggr). \end{aligned}$$

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{\lambda L}} \biggr)\,d \overline{W}_{i}(\lambda L)\geq \frac{ ( \frac{h_{K}}{h_{\lambda L}} )_{p\text{-average}}}{ (\frac{h_{K}}{h_{\lambda L}} )^{p} _{\max }} \frac{1}{n-i} \ln \biggl(\frac{W_{i}(K)}{W_{i}(\lambda L)} \biggr). $$

This and (1.2) give

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{\lambda h_{L}} \biggr)\,d \overline{W}_{i}(L)\geq \frac{ ( \frac{h_{K}}{h_{L}} )_{p\text{-average}}}{ (\frac{h_{K}}{h_{L}} )^{p}_{\max }} \frac{1}{n-i}\ln \biggl(\frac{W _{i}(K)}{\lambda ^{n-i}W_{i}(L)} \biggr), $$

i.e.,

$$\begin{aligned}& \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L) \\& \quad \geq \frac{ (\frac{h_{K}}{h_{L}} ) _{p\text{-average}}}{ (\frac{h _{K}}{h_{L}} )^{p}_{\max }}\frac{1}{n-i}\ln \biggl(\frac{W_{i}(K)}{W _{i}(L)} \biggr)+\ln \lambda \cdot \biggl[1-\frac{ (\frac{h_{K}}{h _{L}} ) _{p\text{-average}}}{ (\frac{h_{K}}{h_{L}} )^{p}_{\max }} \biggr]. \end{aligned}$$
(2.15)

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)\,d \overline{W}_{i}(L) \geq \frac{1}{n-i}\ln \biggl( \frac{W_{i}(K)}{W_{i}(L)} \biggr), $$

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]).

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]

$$ \rho (K,x)=\max \{\lambda \geq 0:\lambda x\in K\}, \quad x\in \mathbb{R}^{n}\backslash \{0\}. $$
(3.1)

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])

$$ K^{\ast }=\bigl\{ x\in \mathbb{R}^{n}:x\cdot y\leq 1,y\in K\bigr\} . $$

From (1.1) and (3.1), it follows that if \(K\in \mathcal{K}^{n}_{\mathrm{o}}\), then

$$ h\bigl(K^{\ast },\cdot \bigr)=\frac{1}{\rho (K,\cdot )}, \quad\quad \rho \bigl(K^{\ast },\cdot \bigr)=\frac{1}{h(K,\cdot )}. $$
(3.2)

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

$$ \widetilde{W}_{i}(L)=\frac{1}{n} \int _{S^{n-1}}\rho (L,u)^{n-i}\,dS(u). $$
(3.3)

Associated with (3.3), the dual quermassintegral measure \(dw^{\rho } _{i}(L)\) of L is written as follows:

$$ dw^{\rho }_{i}(L)=\frac{1}{n}\rho (L,u)^{n-i} \,dS(u). $$
(3.4)

From this, the dual quermassintegral probability measure is given by

$$ d\widetilde{W}^{\rho }_{i}(L)=\frac{1}{\widetilde{W}_{i}(L)} \,dw^{ \rho }_{i}(L). $$
(3.5)

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

$$ \widetilde{W}_{p,i}(L,K)=\frac{1}{n} \int _{S^{n-1}}\rho (L,u)^{n-p-i} \rho (K,u)^{p} \,dS(u). $$
(3.6)

Based on (3.6), we define the \(L_{p}\)-dual mixed quermassintegral measure \(dw^{\rho }_{p,i}(L,K)\) of L and K by

$$ dw^{\rho }_{p,i}(L,K)=\frac{1}{n}\rho (L,u)^{n-p-i} \rho (K,u)^{p}\,dS(u). $$
(3.7)

According to (3.7), the \(L_{p}\)-dual mixed quermassintegral probability measure is written by

$$ d\widetilde{W}^{\rho }_{p,i}(L,K)=\frac{1}{\widetilde{W}_{p,i}(L,K)}\,dw ^{\rho }_{p,i}(L,K). $$
(3.8)

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\),

$$ \widetilde{W}_{p,i}(L,K)\leq \widetilde{W}_{i}(L)^{\frac{n-p-i}{n-i}} \widetilde{W}_{i}(K)^{\frac{p}{n-i}}; $$
(3.9)

for \(n-p< i< n\) or \(i>n\),

$$ \widetilde{W}_{p,i}(L,K)\geq \widetilde{W}_{i}(L)^{\frac{n-p-i}{n-i}} \widetilde{W}_{i}(K)^{\frac{p}{n-i}}. $$
(3.10)

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)\,d\widetilde{W} ^{\rho }_{p,i}(L,K)\geq \frac{1}{p}\ln \biggl( \frac{\widetilde{W}_{p,i}(L,K)}{ \widetilde{W}_{i}(L)} \biggr)\geq \frac{1}{n-i}\ln \biggl(\frac{ \widetilde{W}_{i} (K)}{\widetilde{W}_{i}(L)} \biggr), $$
(3.11)

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

$$ f(u)=\frac{1}{\widetilde{W}_{p,i}(L,K)}, \quad\quad g(u)=\frac{1}{\widetilde{W}_{i}(L)} \biggl( \frac{\rho _{L}(u)}{ \rho _{K}(u)} \biggr)^{p}, \quad\quad dv(u)=dw^{\rho }_{p,i}(L,K), $$

then we can obtain

$$ \int _{S^{n-1}}f(u)\,dv(u)=1, \quad\quad \int _{S^{n-1}}g(u)\,dv(u)=1. $$

Thus, by Lemma 2.2, we have

$$\begin{aligned}& \int _{S^{n-1}}\frac{1}{\widetilde{W}_{p,i}(L,K)}\ln \biggl(\frac{1}{ \widetilde{W}_{p,i}(L,K)} \biggr)\,dw^{\rho }_{p,i}(L,K) \\& \quad \geq \int _{S^{n-1}}\frac{1}{\widetilde{W}_{p,i}(L,K)}\ln \biggl[\frac{1}{ \widetilde{W}_{i}(L) } \biggl(\frac{\rho _{L}}{\rho _{K}} \biggr)^{p} \biggr]\,dw ^{\rho }_{p,i}(L,K), \end{aligned}$$

i.e.,

$$\begin{aligned}& \ln \biggl(\frac{\widetilde{W}_{i}(L)}{\widetilde{W}_{p,i}(L,K)} \biggr) \int _{S^{n-1}} \frac{1}{\widetilde{W}_{p,i}(L,K)}\,dw^{\rho }_{p,i}(L,K) \\& \quad \geq \int _{S^{n-1}}\frac{1}{\widetilde{W}_{p,i}(L,K)}\ln \biggl(\frac{ \rho _{L}}{\rho _{K}} \biggr)^{p} \,dw^{\rho }_{p,i}(L,K). \end{aligned}$$
(3.12)

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:

$$ \int _{S^{n-1}}\ln \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)^{p} \,d \widetilde{W}^{\rho }_{p,i}(L,K)\geq \ln \biggl( \frac{\widetilde{W} _{p,i}(L,K)}{\widetilde{W}_{i}(L)} \biggr). $$

By (3.10), if \(p>0\) and \(n-p< i< n\) or \(i>n\), then

$$\begin{aligned} \int _{S^{n-1}}\ln \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)\,d\widetilde{W} ^{\rho }_{p,i}(L,K)&\geq \frac{1}{p}\ln \biggl( \frac{\widetilde{W}_{p,i}(L,K)}{ \widetilde{W}_{i}(L)} \biggr) \\ &\geq \frac{1}{p}\ln \biggl(\frac{\widetilde{W}_{i}(L)^{ \frac{n-p-i}{n-i}}\widetilde{W}_{i}(K)^{\frac{p}{n-i}}}{\widetilde{W} _{i}(L)} \biggr) \\ & \geq \frac{1}{n-i}\ln \biggl(\frac{\widetilde{W}_{i}(K)}{\widetilde{W} _{i}(L)} \biggr). \end{aligned}$$

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

$$ \int _{S^{n-1}} \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)^{p}\ln \biggl(\frac{ \rho _{K}}{\rho _{L}} \biggr) \,d\widetilde{W}^{\rho }_{i}(L) \geq \frac{1}{n-i} \biggl(\frac{\widetilde{W}_{i}(K)}{\widetilde{W}_{i}(L)} \biggr)^{\frac{p}{n-i}}\ln \biggl(\frac{\widetilde{W}_{i}(K)}{ \widetilde{W}_{i}(L)} \biggr), $$

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

$$\begin{aligned}& \int _{S^{n-1}} \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)^{p}\ln \biggl(\frac{ \rho _{K}}{\rho _{L}} \biggr) \,d\widetilde{W}^{\rho }_{i}(L) \\& \quad =\frac{1}{\widetilde{W}_{i}(L)} \int _{S^{n-1}} \biggl(\frac{\rho _{K}}{ \rho _{L}} \biggr)^{p}\ln \biggl( \frac{\rho _{K}}{\rho _{L}} \biggr)\,dw^{ \rho }_{i}(L) \\& \quad =\frac{\widetilde{W}_{p,i}(L,K)}{\widetilde{W}_{i}(L)} \int _{S^{n-1}} \ln \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)\,d \widetilde{W}^{\rho }_{p,i}(L,K) \\& \quad \geq \frac{\widetilde{W}_{p,i}(L,K)}{\widetilde{W}_{i}(L)}\cdot \frac{1}{p}\ln \biggl( \frac{\widetilde{ W}_{p,i}(L,K)}{\widetilde{W}_{i}(L)} \biggr) \\& \quad \geq \frac{1}{n-i} \biggl( \frac{\widetilde{W}_{i}(K)}{\widetilde{W}_{i}(L)} \biggr)^{ \frac{p}{n-i}} \ln \biggl( \frac{\widetilde{W}_{i}(K)}{\widetilde{W} _{i}(L)} \biggr). \end{aligned}$$

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

$$ \varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho _{K}}{ \rho _{L}} \biggr)^{p} \biggr)\,d\widetilde{W} ^{\rho }_{i}(L) \biggr]\leq \biggl(\frac{\widetilde{W}_{i}(K)}{\widetilde{W}_{i}(L)} \biggr)^{ \frac{p}{n-i}}, $$
(3.13)

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

$$ \int _{X}\varphi \bigl(g(x)\bigr)\,d\mu (x)\geq \varphi \biggl( \int _{X}g(x)\,d\mu (x) \biggr), $$
(3.14)

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

$$\begin{aligned} \widetilde{W}_{p,i}(L,K)&=\frac{1}{n} \int _{S^{n-1}}\rho (L,u)^{n-p-i} \rho (K,u)^{p} \,dS(u) \\ &=\frac{1}{n} \int _{S^{n-1}}\rho (L,u)^{n-i} \biggl(\frac{\rho (K,u)}{ \rho (L,u)} \biggr)^{p}\,dS(u) \\ &=\widetilde{W}_{i}(L) \int _{S^{n-1}} \biggl( \frac{\rho (K,u)}{\rho (L,u)} \biggr)^{p}\,d \widetilde{W}^{\rho }_{i}(L) \\ &=\widetilde{W}_{i}(L) \int _{S^{n-1}}\varphi \biggl[\varphi ^{-1} \biggl( \biggl(\frac{\rho (K,u)}{\rho (L,u)} \biggr) ^{p} \biggr) \biggr]\,d \widetilde{W}^{\rho }_{i}(L) \\ &\geq \widetilde{W}_{i}(L)\varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho (K,u)}{\rho (L,u)} \biggr)^{p} \biggr)\,d \widetilde{W}^{\rho }_{i}(L) \biggr], \end{aligned}$$

i.e.,

$$ \frac{\widetilde{W}_{p,i}(L,K)}{\widetilde{W}_{i}(L)}\geq \varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho (K,u)}{\rho (L,u)} \biggr)^{p} \biggr)\,d\widetilde{W}^{\rho } _{i}(L) \biggr]. $$
(3.15)

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

$$ \varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho (K,u)}{ \rho (L,u)} \biggr)^{p} \biggr) \,d\widetilde{W}^{\rho }_{i}(L) \biggr]\leq \frac{ \widetilde{W}_{p,i}(L,K)}{\widetilde{W}_{i}(L)}\leq \biggl( \frac{ \widetilde{W}_{i}(K)}{\widetilde{W}_{i}(L)} \biggr)^{\frac{p}{n-i}}. $$

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

$$ \varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho _{L}}{ \rho _{K}} \biggr)^{n-p-i} \biggr) \,d\widetilde{W}^{\rho }_{i}(K) \biggr] \leq \biggl(\frac{\widetilde{W}_{i}(L)}{\widetilde{W}_{i}(K)} \biggr) ^{\frac{n-p-i}{n-i}}, $$
(3.16)

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

$$\begin{aligned} \widetilde{W}_{p,i}(L,K)&=\frac{1}{n} \int _{S^{n-1}}\rho (L,u)^{n-p-i} \rho (K,u)^{p} \,dS(u) \\ &=\frac{1}{n} \int _{S^{n-1}}\rho (K,u)^{n-i} \biggl(\frac{\rho (L,u)}{ \rho (K,u)} \biggr)^{n-p-i}\,dS(u) \\ &=\widetilde{W}_{i}(K) \int _{S^{n-1}} \biggl( \frac{\rho (L,u)}{\rho (K,u)} \biggr)^{n-p-i}\,d \widetilde{W}^{\rho }_{i}(K) \\ &=\widetilde{W}_{i}(K) \int _{S^{n-1}}\varphi \biggl[\varphi ^{-1} \biggl( \biggl(\frac{\rho (L,u)}{\rho (K,u)} \biggr) ^{n-p-i} \biggr) \biggr]\,d \widetilde{W}^{\rho }_{i}(K) \\ &\geq \widetilde{W}_{i}(K)\varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho (L,u)}{\rho (K,u)} \biggr)^{n-p-i} \biggr)\,d \widetilde{W}^{\rho }_{i}(K) \biggr], \end{aligned}$$

equivalently,

$$ \frac{\widetilde{W}_{p,i}(L,K)}{\widetilde{W}_{i}(K)}\geq \varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho (L,u)}{\rho (K,u)} \biggr)^{n-p-i} \biggr)\,d\widetilde{W}^{ \rho }_{i}(K) \biggr]. $$
(3.17)

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

$$ \varphi \biggl[ \int _{S^{n-1}}\varphi ^{-1} \biggl( \biggl( \frac{\rho (L,u)}{ \rho (K,u)} \biggr)^{n-p-i} \biggr)\,d\widetilde{W} ^{\rho }_{i}(K) \biggr] \leq \frac{\widetilde{W}_{p,i}(L,K)}{\widetilde{W}_{i}(K)}\leq \biggl( \frac{ \widetilde{W}_{i} (L)}{\widetilde{W}_{i}(K)} \biggr)^{\frac{n-p-i}{n-i}}. $$

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

$$ \int _{S^{n-1}}\ln \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)\,d\widetilde{W} ^{\rho }_{i}(K)\geq \frac{1}{n-i}\ln \biggl( \frac{\widetilde{W}_{i}(K)}{ \widetilde{W}_{i}(L)} \biggr)\geq \int _{S^{n-1}}\ln \biggl(\frac{\rho _{K}}{\rho _{L}} \biggr)\,d \widetilde{W}^{\rho }_{i}(L), $$

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]).

\(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

$$ \frac{dS_{p,i}(K,\cdot )}{dS}=f_{p,i}(K,\cdot ). $$
(4.1)

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])

$$ \rho (\varLambda _{p,i}K,\cdot )^{n+p-i}=\frac{\widetilde{W}_{i}(\varLambda _{p,i}K)}{\omega _{n}}f_{p,i}(K, \cdot ). $$
(4.2)

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

$$ \varOmega _{p,i}(K)^{n+p-i}=n^{n+p-i}\omega _{n}^{n-i}\widetilde{W}_{i}( \varLambda _{p,i}K)^{p}. $$
(4.3)

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

$$ \varOmega _{p,i}(K)= \int _{S^{n-1}}f_{p,i}(K,u)^{\frac{n-i}{n+p-i}}\,dS(u). $$
(4.4)

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

$$ \bigl[W_{i}(K)W_{i}\bigl(K^{\ast }\bigr) \bigr]^{p}\geq \frac{1}{n^{n+p-i}H(K,L,p)}\frac{ \varOmega _{p,i}(L)^{n+p-i}}{W_{i}(L)^{n-p-i}} \biggl( \frac{W_{i}(K) }{W _{i}(L)} \biggr)^{p}, $$
(4.5)

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

$$\begin{aligned}& \exp \biggl( \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\,d \overline{W}_{p,i}(L,K) \biggr) \\ & \quad \geq \frac{W_{p,i}(L,K)}{W_{i}(L)} \\ & \quad =\frac{1}{n}\cdot \frac{1}{W_{i}(L)}\cdot \int _{S^{n-1}}h(K,u)^{p}\,dS _{p,i}(L,u) \\ & \quad =\frac{1}{n}\cdot \frac{1}{W_{i}(L)}\cdot \int _{S^{n-1}}h(K,u)^{p}f _{p,i}(L,u)\,dS(u). \end{aligned}$$
(4.6)

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

$$\begin{aligned}& \int _{S^{n-1}}h(K,u)^{p}f_{p,i}(L,u)\,dS(u) \\ & \quad \geq \biggl( \int _{S^{n-1}}\bigl[h(K,u)^{p}\bigr]^{-\frac{n-i}{p}} \,dS(u) \biggr) ^{-\frac{p}{n-i}} \biggl( \int _{S^{n-1}}f_{p,i}(L,u)^{\frac{n-i}{n+p-i}}\,dS(u) \biggr)^{\frac{n+p-i}{n-i}} \\ & \quad = \biggl( \int _{S^{n-1}}h(K,u)^{-(n-i)}\,dS(u) \biggr)^{-\frac{p}{n-i}} \biggl( \int _{S^{n-1}}f_{p,i}(L,u) ^{\frac{n-i}{n+p-i}}\,dS(u) \biggr)^{ \frac{n+p-i}{n-i}} \\ & \quad =\bigl(n\widetilde{W}_{i}\bigl(K^{\ast }\bigr) \bigr)^{-\frac{p}{n-i}}\varOmega _{p,i}(L)^{ \frac{n+p-i}{n-i}}. \end{aligned}$$
(4.7)

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

$$\begin{aligned}& \exp \biggl( \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\,d \overline{W}_{p,i}(L,K) \biggr) \\& \quad \geq \frac{1}{nW_{i}(L)}\bigl(n\widetilde{W}_{i} \bigl(K^{\ast }\bigr)\bigr)^{- \frac{p}{n-i}}\varOmega _{p,i}(L)^{\frac{n+p-i}{n-i}} \\& \quad =\frac{1}{W_{i}(L)}\frac{\varOmega _{p,i}(L)^{\frac{n+p-i}{n-i}}}{n^{ \frac{n+p-i}{n-i}}\widetilde{W}_{i}(K^{\ast }) ^{\frac{p}{n-i}}}. \end{aligned}$$

Equivalently,

$$\begin{aligned}& \biggl[\exp \biggl( \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\,d \overline{W}_{p,i}(L,K) \biggr) \biggr]^{n-i} \\& \quad \geq \biggl(\frac{1}{W_{i}(L)} \biggr)^{n-i}\frac{\varOmega _{p,i}(L)^{n+p-i}}{n ^{n+p-i}\widetilde{W}_{i}(K^{\ast }) ^{p}} \\& \quad =\frac{1}{n^{n+p-i}}\frac{\varOmega _{p,i}(L)^{n+p-i}}{W_{i}(L)^{n-p-i}} \biggl(\frac{W_{i}(K) }{W_{i}(L)} \biggr)^{p} \biggl(\frac{1}{W_{i}(K) \widetilde{W}_{i}(K^{\ast })} \biggr)^{p}. \end{aligned}$$
(4.8)

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])

$$ \widetilde{W}_{i}(K)\leq W_{i}(K), $$
(4.9)

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

$$ \frac{1}{n^{n+p-i}H(K,L,p)} \frac{\varOmega _{p,i}(L)^{n+p-i}}{W_{i}(L)^{n-p-i}} \biggl(\frac{W_{i}(K) }{W _{i}(L)} \biggr)^{p}\leq \bigl[W_{i}(K)\widetilde{W}_{i} \bigl(K^{\ast }\bigr)\bigr]^{p} \leq \bigl[W_{i}(K)W_{i} \bigl(K^{\ast }\bigr)\bigr]^{p}. $$

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

$$ H(K,L,p)= \biggl[\exp \biggl( \int _{S^{n-1}}\ln \biggl(\frac{h_{K}}{h_{L}} \biggr)^{p}\,d \overline{W}_{p,i}(L,K) \biggr) \biggr] ^{(n-i)}=1. $$

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

$$ \varOmega _{p,i}(K)^{n+p-i}\leq n^{n+p-i}W_{i}(K)^{n-i}W_{i} \bigl(K^{\ast }\bigr)^{p}, $$

with equality if and only if K is a ball centered at the origin.

References

  1. 1.

    Gardner, R.J.: Geometric Tomography, 2nd edn. Encyclopedia Math. Appl. Cambridge University Press, Cambridge (2006)

    Google Scholar 

  2. 2.

    Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory, 2nd edn. Encyclopedia Math. Appl. Cambridge University Press, Cambridge (2014)

    Google Scholar 

  3. 3.

    Gardner, R.J.: The Brunn–Minkowski inequality. Bull. Am. Math. Soc. 39, 355–405 (2002)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Böröczky, K., Lutwak, E., Yang, D., Zhang, G.Y.: The log-Brunn–Minkowski inequality. Adv. Math. 231, 1974–1997 (2012)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Saroglou, C.: Remarks on the conjectured log-Brunn–Minkowski inequality. Geom. Dedic. 177, 353–365 (2015)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Ma, L.: A new proof of the log-Brunn–Minkowski inequality. Geom. Dedic. 177, 75–82 (2015)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Wang, W., Liu, L.J.: The dual log-Brunn–Minkowski inequality. Taiwan. J. Math. 20, 909–919 (2016)

    Article  Google Scholar 

  8. 8.

    Xi, D.M., Leng, G.S.: Dar’s conjecture and the log-Minkowski inequality. J. Differ. Geom. 103, 145–189 (2016)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Zhu, G.X.: The logarithmic Minkowski problem for polytopes. Adv. Math. 262, 909–931 (2014)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Stancu, A.: The logarithmic Minkowski inequality for non-symmetric convex bodies. Adv. Appl. Math. 73, 43–58 (2016)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Lutwak, E.: The Brunn–Minkowski–Firey theory I: mixed volumes and the Minkowski problem. J. Differ. Geom. 38, 131–150 (1993)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Wang, W., Feng, M.: The log-Minkowski inequalities for quermassintegrals. J. Math. Inequal. 4, 983–995 (2017)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Böröczky, K.J., Hegedus̈, P., Zhu, G.X.: On the discrete logarithmic Minkowski problem. Int. Math. Res. Not. 2016, 1807–1838 (2016)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.Y.: The logarithmic Minkowski problem. J. Am. Math. Soc. 26, 831–852 (2013)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Berg, A., Parapatits, L., Schuster, F.E., Weberndorfer, M.: Log-concavity properties of Minkowski valuations. Trans. Am. Math. Soc. 2014, 1–44 (2014)

    MATH  Google Scholar 

  16. 16.

    Henk, M., Pollehn, H.: On the log-Minkowski inequality for simplices and parallelpipeds. Acta Math. Hung. 155, 141–157 (2018)

    Article  Google Scholar 

  17. 17.

    Hu, J.Q., Xiong, G.: The logarithmic John ellipsoid. Geom. Dedic. (2018). https://doi.org/10.1007/s10711-017-0316-z

    MathSciNet  Article  MATH  Google Scholar 

  18. 18.

    Jin, H.L.: The log-Minkowski measure of asymmetry for convex bodies. Geom. Dedic. (2017). https://doi.org/10.1007/s10711-017-0302-5

    Article  Google Scholar 

  19. 19.

    Stancu, A.: The discrete planar \(L_{0}\)-Minkowski problem. Adv. Math. 167, 160–174 (2002)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Stancu, A.: On the number of solutions to the discrete two dimensional \(L_{0}\)-Minkowski problem. Adv. Math. 180, 290–323 (2003)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Stancu, A.: The necessary condition for the discrete \(L_{0}\)-problem in \(\mathbb{R}^{2}\). J. Geom. 88, 162–168 (2008)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Saroglou, C.: More on logarithmic sums of convex bodies (2014). arXiv:1409.4346v2

  23. 23.

    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)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Lutwak, E.: The Brunn–Minkowski–Firey theory II: affine and geominimal surface areas. Adv. Math. 118, 244–294 (1996)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, London (1934)

    Google Scholar 

  26. 26.

    Cover, T., Thomas, J.: Elements of Information Theory, 2nd edn. Wiley-Interscience, Hoboken (2006)

    Google Scholar 

  27. 27.

    Li, T.Y.: Entropy. Adv. Math. 19(3), 301–320 (1990)

    MathSciNet  MATH  Google Scholar 

  28. 28.

    Gill, P., Pearce, C., Pečarić, J.: Hadammard’s inequality for r-convex functions. J. Math. Anal. Appl. 215, 461–470 (1997)

    MathSciNet  Article  Google Scholar 

  29. 29.

    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)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Lutwak, E.: Dual mixed volumes. Pac. J. Math. 58, 531–538 (1975)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Wang, W.D., Yan, L.: Inequalities for dual quermassintegrals of the p-cross-section bodies. Math. Inequal. Appl. 9(2), 321–330 (2015)

    MathSciNet  Article  Google Scholar 

  32. 32.

    Gardner, D.R., Hug, D., Weil, W., Ye, D.P.: The dual Orlicz–Brunn–Minkowski theory. J. Math. Anal. Appl. 430, 810–829 (2015)

    MathSciNet  Article  Google Scholar 

  33. 33.

    Lu, F.H., Wang, W.D.: Inequalities for \(L_{p}\)-mixed curvature image. Acta Math. Sci. 30B, 1044–1052 (2010)

    MATH  Google Scholar 

  34. 34.

    Li, T., Wang, W.D.: \(L_{p}\)-Mixed affine surface area. Math. Inequal. Appl. 20, 949–962 (2017)

    MathSciNet  MATH  Google Scholar 

Download references

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

Affiliations

Authors

Contributions

The authors contributed equally to the writing of this article. The authors read and approved the final manuscript.

Corresponding author

Correspondence to Weidong Wang.

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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

Download citation

MSC

  • 52A20
  • 52A40

Keywords

  • Log-Minkowski inequality
  • \(L_{p}\)-mixed quermassintegral
  • Dual log-Minkowski inequality
  • \(L_{p}\)-dual mixed quermassintegral
  • \(L_{p}\)-mixed affine isoperimetric inequality