General L
           p
          
         
        
        $L_{p}$ -mixed chord integrals of star bodies

Zhaofeng Li; Weidong Wang

doi:10.1186/s13660-016-1006-3

Research

Open Access

General $L_{p}$-mixed chord integrals of star bodies

Zhaofeng Li¹Email author and
Weidong Wang¹

Journal of Inequalities and Applications20162016:58

https://doi.org/10.1186/s13660-016-1006-3

Received: 8 October 2015

Accepted: 2 February 2016

Published: 12 February 2016

Abstract

The notion of general mixed chord integrals of star bodies was introduced by Feng and Wang. In this paper, we extend the concept of the general mixed chord integrals to general $L_{p}$-mixed chord integrals of star bodies. Based on this new notion, we study their extremum values and obtain an Aleksandrov-Frenchel type and a cyclic inequality for general $L_{p}$-mixed chord integrals of star bodies, respectively. Further, as applications, we establish two Brunn-Minkowski type inequalities for $L_{p}$-radial bodies. Finally, we get an interesting identical equality on combining $L_{p}$-radial bodies.

Keywords

star bodymixed chord integralsgeneral $L_{p}$-mixed chord integrals $L_{p}$-radial body

MSC

52A2052A4052A39

1 Introduction and main results

The setting for this paper is n-dimensional Euclidean spaces $\mathbb{R}^{n}$. Let $\mathcal{K}^{n}$ denote the set of convex bodies (compact, convex subsets with nonempty interiors) in $\mathbb{R}^{n}$. $\mathcal{K}^{n}_{0}$ denotes the set of convex bodies containing the origin in their interiors. The n-dimensional volume of a body K is written as $V(K)$. The unit sphere in $\mathbb{R}^{n}$ is denoted $\mathcal{S}^{n-1}$ and B denotes the standard unit ball in $\mathbb{R}^{n}$.

If K is a compact star shaped (about the origin) set in $\mathbb {R}^{n}$, then its radial function, $\rho_{K}=\rho(K, \cdot): \mathbb {R}^{n} \backslash\{0\}\rightarrow[0,\infty)$, is defined by (see [1, 2])

$$\rho(K, u)=\max\{\lambda\geq0, \lambda u\in K\},\quad u\in\mathcal{S}^{n-1}. $$

If $\rho_{K}$ is positive and continuous, then K is called a star body (about the origin) and $\mathcal{S}^{n}$ denotes the set of star bodies in $\mathbb{R}^{n}$. We will use $\mathcal{S}^{n}_{0}$ to denote the subset of $\mathcal{S}^{n}$ containing the origin in their interiors. Two star bodies K and L are said to be dilated of one another if $\rho_{K}(u)/\rho_{L}(u)$ is independent of $u\in\mathcal{S}^{n-1}$.

The notion of mixed chord integrals of star bodies was defined by Lu (see [3]). Feng and Wang (see [4]) generalized the definition of mixed chord integrals to the general mixed chord integrals of star bodies: For $K_{1},\ldots, K_{n}\in\mathcal {S}^{n}_{0}$ and $\tau\in(-1,1)$, the general mixed chord integral $C^{(\tau)}(K_{1},\ldots, K_{n})$ is defined by

$$C^{(\tau)}(K_{1},\ldots, K_{n})=\frac{1}{n} \int_{\mathcal {S}^{n-1}}c^{(\tau)}(K_{1}, u)\cdots c^{(\tau)}(K_{n}, u)\, du, $$

where $c^{(\tau)}(K, \cdot)=f_{1}(\tau)\rho(K,\cdot)+f_{2}(\tau)\rho (-K,\cdot)$ and the functions $f_{1}(\tau)$ and $f_{2}(\tau)$ are defined as follows:

$$f_{1}(\tau)=\frac{(1+\tau)^{2}}{2(1+\tau^{2})}, \qquad f_{2}(\tau)= \frac {(1-\tau)^{2}}{2(1+\tau^{2})}. $$

The general mixed chord integral is a map $\underbrace{\mathcal {S}_{o}^{n}\times\cdots\times\mathcal{S}_{o}^{n}}_{n}\rightarrow \mathbb{R}$. It is positive, continuous, multilinear with respect to radial Minkowski linear combinations, positively homogeneous and monotone under set inclusion. Star bodies $K_{1},\ldots, K_{n}$ are said to have a similar chord if there exist constants $\lambda _{1},\ldots, \lambda_{n}>0$ such that $\lambda_{1}c^{(\tau)}(K_{1}, u)=\cdots=\lambda_{n}c^{(\tau)}(K_{n}, u)$ for all $u\in S^{n-1}$. Feng and Wang (see [4]) established the following inequalities.

Theorem 1.A

If $\tau\in(-1,1)$ and $K_{1},\ldots, K_{n} \in\mathcal{S}_{o}^{n}$, then

$$C^{(\tau)}(K_{1},\ldots, K_{n})^{n}\leq V(K_{1})\cdots V(K_{n}), $$

with equality if and only if $K_{1},\ldots, K_{n}$ are dilates of each other centered.

Theorem 1.B

If $\tau\in(-1,1)$ and $K_{1},\ldots, K_{n} \in\mathcal{S}_{o}^{n}$, then for $1< m\leq n$,

$$C^{(\tau)}(K_{1},\ldots, K_{n})^{m}\leq\prod ^{m}_{i=1}C^{(\tau )}(K_{1}, \ldots, K_{n-m},K_{n-i+1},K_{n-i+1},\ldots, K_{n-i+1}), $$

with equality if and only if $K_{n-m+1},\ldots, K_{n}$ are all of similar general chord.

Theorem 1.C

If $\tau\in(-1,1)$ and $K,L \in \mathcal{S}_{o}^{n}$, then for $i< j <k$,

$$C_{i}^{(\tau)}(K,L)^{k-j}C_{k}^{(\tau)}(K,L)^{j-i} \geq C_{j}^{(\tau )}(K,L)^{k-i}, $$

with equality if and only if K and L have a similar general chord.

Here $C_{i}^{(\tau)}(K,L)=C_{i}^{(\tau)}(K,n-i;L,i)$ in which K appears $n-i$ times and L appears i times.

Motivated by Lu and Feng and Wang (see [3, 4]), in this paper, we define the general $L_{p}$-mixed chord integrals as follows: For $K_{1},\ldots, K_{n}\in\mathcal{S}^{n}_{0}$, $p>0$, and $\tau\in [-1,1]$, the general $L_{p}$-mixed chord integral $C_{p}^{(\tau )}(K_{1},\ldots, K_{n})$ of $K_{1},\ldots, K_{n}$ is defined by

$$ C_{p}^{(\tau)}(K_{1},\ldots, K_{n})= \frac{1}{n} \int_{\mathcal {S}^{n-1}}c_{p}^{(\tau)}(K_{1}, u) \cdots c_{p}^{(\tau)}(K_{n}, u)\,du. $$

(1.1)

Here $c_{p}^{(\tau)}(K, \cdot)$ is defined by

$$c_{p}^{(\tau)}(K, u)= \bigl(f_{1}(\tau) \rho^{p}(K,u)+f_{2}(\tau)\rho ^{p}(-K,u) \bigr)^{\frac{1}{p}} $$

for any $u\in\mathcal{S}^{n-1}$, and $f_{1}(\tau)$ and $f_{2}(\tau)$ are chosen as (see [5])

$$ f_{1}(\tau)=\frac{(1+\tau)^{p}}{(1+\tau)^{p}+(1-\tau)^{p}}, \qquad f_{2}(\tau )= \frac{(1-\tau)^{p}}{(1+\tau)^{p}+(1-\tau)^{p}}. $$

(1.2)

Obviously, $f_{1}(\tau)$ and $f_{2}(\tau)$ satisfy

$$\begin{aligned}& f_{1}(\tau)+f_{2}(\tau)=1; \\& f_{1}(-\tau)=f_{2}(\tau), \qquad f_{2}(- \tau)=f_{1}(\tau). \end{aligned}$$

The general $L_{p}$-mixed chord integral is also a map $\underbrace {\mathcal{S}_{o}^{n}\times\cdots\times\mathcal {S}_{o}^{n}}_{n}\rightarrow\mathbb{R}$ and it is positive, continuous, multilinear with respect to $L_{p}$-radial Minkowski linear combinations, positively homogeneous and monotone under set inclusion. If there exist constants $\lambda_{1},\ldots, \lambda_{n}>0$ such that $\lambda_{1}c^{(\tau)}_{p}(K_{1}, u)=\cdots=\lambda_{n}c^{(\tau )}_{p}(K_{n}, u)$ for all $u\in\mathcal{S}^{n-1}$, star bodies $K_{1},\ldots, K_{n}$ are said to have a similar general $L_{p}$-chord.

Let $\underbrace{K_{1}=\cdots=K_{n-i}}_{n-i}=K$ and $\underbrace {K_{n-i+1}=\cdots=K_{n}}_{i}=L$ ($i=0,1,\ldots,n$) in (1.1), we denote $C^{(\tau)}_{p,i}(K,L)$ in which K appears $n-i$ times and L appears i times. From this, if i is any real, we define the following.

For $K, L\in\mathcal{S}_{o}^{n}$, $p>0$, $\tau\in[-1,1]$, and i any real, the ith general $L_{p}$-mixed chord integral, $C^{(\tau )}_{p,i}(K,L)$, of K and L is given by

$$ C_{p,i}^{(\tau)}(K, L)=\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K,u)^{n-i}c_{p}^{(\tau)}(L, u)^{i}\,du. $$

(1.3)

Further, if $L=B$ in (1.3), we write $C^{(\tau)}_{p,i}(K,B)$ as $C^{(\tau)}_{p,i}(K)$ and notice that $c^{(\tau)}_{p}(B,u)=1$, we have

$$ C_{p,i}^{(\tau)}(K)=\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K,u)^{n-i} \,du, $$

(1.4)

where $C^{(\tau)}_{p,i}(K)$ is called the ith general $L_{p}$-mixed chord integral of K. If $i=0$, we write $C_{p,0}^{(\tau )}(K)=C_{p}^{(\tau)}(K)$, which we call the general $L_{p}$-chord integral of K, that is,

$$C_{p}^{(\tau)}(K)=\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K,u)^{n}\,du. $$

The general $L_{p}$-mixed chord integrals of K belong to a new and rapidly evolving asymmetric $L_{p}$ Brunn-Minkowski theory that has its origins in the work of Ludwig et al. (see [5–11]). For the further research of asymmetric $L_{p}$ Brunn-Minkowski theory, also see [12–28].

In this paper, motivated by Feng and Wang (see [4]), we deduce several inequalities for the general $L_{p}$-mixed chord integrals.

Theorem 1.1

If $\tau\in[-1,1]$ and $K_{1},\ldots, K_{n} \in\mathcal{S}_{o}^{n}$, then for $p< n$,

$$ C_{p}^{(\tau)}(K_{1},\ldots, K_{n})^{n} \leq V(K_{1})\cdots V(K_{n}); $$

(1.5)

for $p>n$,

$$ C_{p}^{(\tau)}(K_{1},\ldots, K_{n})^{n} \geq V(K_{1})\cdots V(K_{n}), $$

(1.6)

with equality if and only if $K_{1},\ldots, K_{n}$ are dilates of each other.

Theorem 1.2

If $K\in\mathcal{S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then for $i< n-p$,

$$ C_{p,i}^{(0)}(K)\leq C_{p,i}^{(\tau)}(K) \leq C_{p,i}^{(\pm1)}(K); $$

(1.7)

for $n-p< i< n$ or $i>n$,

$$ C_{p,i}^{(0)}(K)\leq C_{p,i}^{(\tau)}(K) \leq C_{p,i}^{(\pm1)}(K). $$

(1.8)

If K is not origin-symmetric, equality holds in the left inequality if and only if $\tau=0$ and equality holds in the right inequality if and only if $\tau=\pm1$. When $i=n$, (1.7) and (1.8) are identical.

Theorem 1.3

If $K_{1},\ldots, K_{n} \in\mathcal {S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then for $1< m\leq n$,

$$ C_{p}^{(\tau)}(K_{1},\ldots, K_{n})^{m} \leq\prod^{m}_{i=1}C_{p}^{(\tau )}(K_{1}, \ldots, K_{n-m},K_{n-i+1},K_{n-i+1},\ldots, K_{n-i+1}), $$

(1.9)

with equality if and only if $K_{n-m+1},\ldots, K_{n}$ all have a similar general $L_{p}$-chord.

Theorem 1.4

If $K,L \in\mathcal{S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then, for $i< j <k$,

$$ C_{p,j}^{(\tau)}(K,L)^{k-i}\leq C_{p,i}^{(\tau )}(K,L)^{k-j}C_{p,k}^{(\tau)}(K,L)^{j-i}, $$

(1.10)

with equality if and only if K and L have a similar general $L_{p}$-chord.

Further, as applications, for the $L_{p}$-radial combination, we give two Brunn-Minkowski type inequalities for the general $L_{p}$-mixed chord integrals as follows.

Theorem 1.5

If $K,L \in\mathcal{S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, $\lambda,\mu\geq0 $ (not both zero), then for $i\leq n-p$,

$$ C_{p,i}^{(\tau)}(\lambda\circ K \, \tilde{+}_{p}\, \mu \circ L)^{\frac {p}{n-i}}\leq\lambda C_{p,i}^{(\tau)}(K)^{\frac{p}{n-i}}+ \mu C_{p,i}^{(\tau)}(L)^{\frac{p}{n-i}}; $$

(1.11)

for $n-p< i< n$ or $i>n$,

$$ C_{p,i}^{(\tau)}(\lambda\circ K \, \tilde{+}_{p}\, \mu \circ L)^{\frac {p}{n-i}}\geq\lambda C_{p,i}^{(\tau)}(K)^{\frac{p}{n-i}}+ \mu C_{p,i}^{(\tau)}(L)^{\frac{p}{n-i}}, $$

(1.12)

with equality in each inequality if and only if K and L have a similar general $L_{p}$-chord. Here and in the following theorem $\lambda\circ K \, \tilde{+}_{p}\, \mu\circ L$ denotes the $L_{p}$-radial Minkowski combination of K and L.

Theorem 1.6

If $K,L \in\mathcal{S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then for $i\leq n-p\leq j\leq n $,

$$ \biggl( \frac{C_{p,i}^{(\tau)}(K\, \tilde{+}_{p}\, L)}{C_{p,j}^{(\tau )}(K\, \tilde{+}_{p}\, L)} \biggr)^{\frac{p}{j-i}}\leq \biggl( \frac{C_{p,i}^{(\tau)}(K)}{C_{p,j}^{(\tau)}(K)} \biggr)^{\frac {p}{j-i}}+ \biggl( \frac{C_{p,i}^{(\tau)}(L)}{C_{p,j}^{(\tau)}(L)} \biggr)^{\frac{p}{j-i}}; $$

(1.13)

for $j\geq n\geq i\geq n-p$, inequality (1.13) is reversed, with equality in each inequality if and only if K and L have a similar general $L_{p}$-chord.

Finally, we get an interesting identical equality for the $L_{p}$-radial bodies.

Theorem 1.7

If $K\in\mathcal{S}_{o}^{n}$ and $p>0$, then for $\forall\tau\in[-1,1]$, we have

$$ C_{p,i}^{(\tau)}(\bar {\vartriangle}_{p}K)=C_{p,i}(K). $$

(1.14)

The proofs of Theorems 1.1-1.7 are given in Section 3 of this paper. In the following section, we summarize some associated properties of the general $L_{p}$-mixed chord integrals needed in the proof of main results.

2 Preliminaries

The dual quermassintegral was defined by Lutwak (see [29]) as follows. For $K\in\mathcal{S}_{o}^{n}$ and any real i, the dual quermassintegral, $\widetilde{W}_{i}(K)$, of K is defined by

$$ \widetilde{W}_{i}(K)=\frac{1}{n} \int_{\mathcal{S}^{n-1}}\rho(K, u)^{n-i}\,du, $$

(2.1)

obviously, (2.1) implies the volume $V(K)$ of K is

$$ V(K)=\widetilde{W}_{0}(K)=\frac{1}{n} \int_{\mathcal{S}^{n-1}}\rho(K, u)^{n}\,du. $$

(2.2)

If E is a nonempty set in $\mathbb{R}^{n}$, then the polar set of E, $E^{\ast}$, is defined by (see [1])

$$E^{\ast}=\bigl\{ x\in\mathbb{R}^{n}: x\cdot y\leq1, \mbox{any } y\in E\bigr\} . $$

For $K\in\mathcal{S}_{os}^{n}$, an extension of the Blaschke-Santaló inequality takes the following form (see [30]).

Theorem 2.A

If $K\in\mathcal{S}_{os}^{n}$, then

$$ V(K)V\bigl(K^{\ast}\bigr)\leq\omega_{n}^{2}, $$

(2.3)

with equality if and only if K is an ellipsoid. Here $\omega_{n}=V(B)$.

For $K,L \in\mathcal{S}_{o}^{n}$, $p>0$, and $\lambda,\mu\geq0 $ (not both zero), the Firey $L_{p}$-radial combination, $\lambda\circ K \, \tilde{+}_{p}\, \mu\circ L$, of K and L is defined by (see [6, 31])

$$ \rho(\lambda\circ K \, \tilde{+}_{p}\, \mu\circ L, \cdot)^{p}=\lambda\rho (K,\cdot)^{p}+\mu\rho(L, \cdot)^{p}, $$

(2.4)

here $\lambda\circ K$ denotes the $L_{p}$-radial scalar multiplication and $\lambda\circ K=\lambda^{\frac{1}{p}}K$.

In (2.4), let $\lambda=\mu=\frac{1}{2}$ and let $L=-K$, we have the definition of $L_{p}$-radial body $\bar {\vartriangle}_{p}K$ as follows (see [31]):

$$ \bar {\vartriangle}_{p}K=\frac{1}{2} \circ K \, \tilde{+}_{p}\, \frac {1}{2} \circ(-K). $$

(2.5)

3 Proofs of main results

In this section, we prove Theorems 1.1-1.7. The proofs of Theorems 1.1 and 1.2 require the following lemma.

Lemma 3.1

If $K\in\mathcal{S}_{o}^{n}$ and $\tau \in[-1,1]$, $p>0$, then for $i< n-p$,

$$ C_{p,i}^{(\tau)}(K)\leq\widetilde{W}_{i}(K); $$

(3.1)

for $n-p< i< n$ or $i>n$,

$$ C_{p,i}^{(\tau)}(K)\leq\widetilde{W}_{i}(K), $$

(3.2)

with equality if and only if K is centered. When $i=n$, (3.1) and (3.2) are identical.

Proof

From definitions (1.1) and (1.4), and using Minkowski’s inequality (see [32]), for $i< n-p$, we have

$$\begin{aligned} C_{p,i}^{(\tau)}(K)^{\frac{p}{n-i}} =& \biggl[\frac{1}{n} \int_{\mathcal {S}^{n-1}}c_{p}^{(\tau)}(K,u)^{n-i}\,du \biggr]^{\frac{p}{n-i}} \\ =& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(f_{1}(\tau)\rho ^{p}(K,u)+f_{2}( \tau)\rho^{p}(-K,u) \bigr)^{\frac{n-i}{p}}\,du \biggr]^{\frac {p}{n-i}} \\ \leq& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(f_{1}(\tau)\rho ^{p}(K,u) \bigr)^{\frac{n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\ &{}+ \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(f_{2}(\tau)\rho ^{p}(-K,u) \bigr)^{\frac{n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\ =& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\rho^{p}(K,u) \bigr)^{\frac {n-i}{p}} \,du \biggr]^{\frac{p}{n-i}} \\ =& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}}\rho(K,u)^{n-i}\,du \biggr]^{\frac{p}{n-i}} \end{aligned}$$

i.e.

$$C_{p,i}^{(\tau)}(K)\leq\frac{1}{n} \int_{\mathcal{S}^{n-1}}\rho (K,u)^{n-i}\,du=\widetilde{W}_{i}(K). $$

Similarly, for $n-p< i< n$ or $i< n$, by Minkowski’s inequality we know (3.2) holds. From the equality condition of Minkowski’s inequality, we see that equalities hold in (3.1) and (3.2) if and only if K and −K are dilates of one another, that is, K is centered. □

In Lemma 3.1, let $i=0$ and notice (2.2), we have the following corollary immediately.

Corollary 3.1

If $K\in\mathcal{S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then for $p< n$,

$$ C_{p}^{(\tau)}(K)\leq V(K); $$

(3.3)

for $p>n$,

$$ C_{p}^{(\tau)}(K)\geq V(K), $$

(3.4)

with equality if and only if K is centered.

Theorem 2.A leads to the following corollary.

Corollary 3.2

If $K\in\mathcal{S}_{os}^{n}$ and $\tau\in[-1,1]$, $p>0$, then for $p< n$ and $n\geq1$,

$$ C_{p}^{(\tau)}(K)C_{p}^{(\tau)} \bigl(K^{\ast}\bigr)\leq\omega_{n}^{2}, $$

(3.5)

with equality in each inequality if and only if K is an ellipsoid centered at the origin.

Proof of Theorem 1.1

Using Hölder’s inequality (see [32]), we have for $p< n$ and $n\geq1$,

$$\begin{aligned} C_{p}^{(\tau)}(K_{1},\ldots, K_{n}) =& \biggl[\frac{1}{n} \int_{\mathcal {S}^{n-1}}c_{p}^{(\tau)}(K_{1}, u) \cdots c_{p}^{(\tau)}(K_{n}, u)\,du \biggr]^{n\cdot\frac{1}{n}} \\ \leq& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(c_{p}^{(\tau )}(K_{1}, u) \bigr)^{n}\,du \biggr]^{\frac{1}{n}}\times\cdots\times \biggl[ \frac {1}{n} \int_{\mathcal{S}^{n-1}} \bigl(c_{p}^{(\tau)}(K_{n}, u) \bigr)^{n}\,du \biggr]^{\frac{1}{n}} \\ =&C_{p}^{(\tau)}(K_{1})^{\frac{1}{n}}\cdots C_{p}^{(\tau)}(K_{n})^{\frac {1}{n}} \\ \leq& V(K_{1})^{\frac{1}{n}}\cdots V(K_{n})^{\frac{1}{n}} \end{aligned}$$

i.e. $C_{p}^{(\tau)}(K_{1},\ldots, K_{n})^{n}\leq V(K_{1})\cdots V(K_{n})$.

Similarly, we can obtain $C_{p}^{(\tau)}(K_{1},\ldots, K_{n})^{n}\geq V(K_{1})\cdots V(K_{n})$ when $p>n$. The equality conditions of (3.3) and (3.4) tell us that equalities hold in Theorem 1.1 if and only if $K_{1},\ldots, K_{n}$ are dilates of each other. □

Proof of Theorem 1.2

From the proof of Lemma 3.1, for $i< n-p$, we get

$$ C_{p,i}^{(\tau)}(K)\leq\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\rho ^{p}(K,u) \bigr)^{\frac{n-i}{p}} \,du \quad \mbox{or}\quad \frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\rho^{p}(-K,u) \bigr)^{\frac{n-i}{p}} \,du. $$

(3.6)

Notice (1.2), $f_{1}(+1)=1$, $f_{2}(+1)=0$, we have

$$C_{p,i}^{(+1)}(K)=\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\rho ^{p}(K,u) \bigr)^{\frac{n-i}{p}} \,du. $$

Similarly, we obtain

$$C_{p,i}^{(-1)}(K)=\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\rho ^{p}(-K,u) \bigr)^{\frac{n-i}{p}}\,du. $$

Together with (3.6), it follows that

$$C_{p,i}^{(\tau)}(K)\leq C_{p,i}^{(\pm1)}(K), $$

which is just the right inequality of (1.7).

According the equality condition of Lemma 3.1, we know that if $\tau\neq \pm1$, equality holds in the right inequality of (1.7) if and only if K is centered, that means that, if K is not origin-symmetric, equality holds in the right inequality if and only if $\tau=\pm1$.

Now we prove the left inequality of (1.7). When $\tau=0$, we have $f_{1}(\tau)=f_{2}(\tau)=\frac{1}{2}$, thus, by Minkowski’s inequality,

$$\begin{aligned} C_{p,i}^{(0)}(K)^{\frac{p}{n-i}} =& \biggl[\frac{1}{n} \int_{\mathcal {S}^{n-1}} \biggl(\frac{1}{2}\rho^{p}(K,u)+ \frac{1}{2}\rho^{p}(-K,u) \biggr)^{\frac{n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\ =& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \biggl(\frac{1}{2}f_{1}(\tau ) \rho^{p}(K,u)+\frac{1}{2}f_{2}(\tau) \rho^{p}(-K,u) \\ &\biggl.\biggl.\biggl.\biggl.{}+\frac{1}{2}f_{1}(\tau)\rho^{p}(-K,u)+ \frac{1}{2}f_{2}(\tau )\rho^{p}(K,u) \biggr)\biggr.^{\frac{n-i}{p}}\,du \biggr]\biggr.^{\frac{p}{n-i}} \\ \leq& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \biggl(\frac{1}{2}f_{1}(\tau ) \rho^{p}(K,u)+\frac{1}{2}f_{2}(\tau) \rho^{p}(-K,u) \biggr)^{\frac {n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\ &{}+ \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \biggl(\frac {1}{2}f_{1}(\tau) \rho^{p}(-K,u)+\frac{1}{2}f_{2}(\tau) \rho^{p}(K,u) \biggr)^{\frac{n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\ =& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(f_{1}(\tau)\rho ^{p}(K,u)+f_{2}( \tau)\rho^{p}(-K,u) \bigr)^{\frac{n-i}{p}}\,du \biggr]^{\frac {p}{n-i}} \\ =& \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K,u)^{n-i}\,du \biggr]^{\frac{p}{n-i}} \\ =&C_{p,i}^{(\tau)}(K)^{\frac{p}{n-i}} \end{aligned}$$

i.e. $C_{p,i}^{(0)}(K)\leq C_{p,i}^{(\tau)}(K)$, which just is the left inequality of (1.7).

The equality condition of Minkowski’s inequality tells us that if $\tau \neq0$, equality holds in the left inequality of (1.7) if and only if K is centered, then if K is not origin-symmetric, equality holds in the right inequality if and only if $\tau=0$.

For the case $n-p< i< n$ or $i>n$, the proof is similar. □

The proof of Theorem 1.3 requires the following inequality (see [29]).

Lemma 3.2

If $f_{0}, f_{1}, \ldots,f_{m}$ are strictly positive continuous functions defined on $\mathcal{S}^{n-1}$ and $\lambda_{1}, \ldots, \lambda_{m}$ are positive constants the sum of whose reciprocals is unity, then

$$ \int_{\mathcal{S}^{n-1}}f_{0}(u)f_{1}(u)\cdots f_{m}(u)\,du\leq\prod^{m}_{i=1} \biggl[ \int_{\mathcal{S}^{n-1}}f_{0}(u)f_{i}^{\lambda _{i}}(u) \,du\biggr]^{\frac{1}{\lambda_{i}}}, $$

(3.7)

with equality if and only if there exist positive constants $\alpha _{1}, \ldots, \alpha_{m}$ such that $\alpha_{1}f_{1}^{\lambda _{1}}(u)=\cdots=\alpha_{m}f_{m}^{\lambda_{m}}(u)$ for all $u\in S^{n-1}$.

Proof of Theorem 1.3

For $K_{1},\ldots, K_{n} \in S_{o}^{n}$, in (3.7), take $\lambda_{1}=\lambda_{2}=\cdots=\lambda_{m}$, and

$$\begin{aligned}& f_{0}=c_{p}^{(\tau)}(K_{1},u)\cdots c_{p}^{(\tau )}(K_{n-m},u) \quad (f_{0}=1\mbox{ if } m=n), \\& f_{i}=c_{p}^{(\tau)}(K_{n-i+1},u) \quad (1\leq i\leq m), \end{aligned}$$

then it follows that

$$\begin{aligned}& \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau)}(K_{1},u) \cdots c_{p}^{(\tau)}(K_{n},u)\,du \\& \quad \leq\prod ^{m}_{i=1}\biggl[ \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K_{1},u) \cdots c_{p}^{(\tau)}(K_{n-m},u)c_{p}^{(\tau )}(K_{n-i+1},u)^{m} \,du\biggr]^{\frac{1}{m}}. \end{aligned}$$

By definition (1.1), this yields

$$C_{p}^{(\tau)}(K_{1},\ldots, K_{n})^{m} \leq\prod^{m}_{i=1}C_{p}^{(\tau )}(K_{1}, \ldots, K_{n-m},K_{n-i+1},K_{n-i+1},\ldots, K_{n-i+1}). $$

From the equality condition of inequality (3.7), we can see that equality holds in Theorem 1.3 if and only if $K_{n-m+1},\ldots, K_{n}$ all have a similar general $L_{p}$-chord. □

When $m=n$ in Theorem 1.3 and use (1.4), we have the following corollary.

Corollary 3.3

If $K_{1},\ldots, K_{n} \in\mathcal {S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then

$$C_{p}^{(\tau)}(K_{1},\ldots, K_{n})^{n} \leq C_{p}^{(\tau )}(K_{1})C_{p}^{(\tau)}(K_{2}) \cdots C_{p}^{(\tau)}(K_{n}), $$

with equality if and only if $K_{1},\ldots, K_{n}$ all have a similar general $L_{p}$-chord.

Proof of Theorem 1.4

For $i< j <k$, by Hölder’s inequality (see [32]), we have

$$\begin{aligned}& C_{p,i}^{(\tau)}(K,L)^{\frac{{k-j}}{k-i}}C_{p,k}^{(\tau)}(K,L)^{\frac {{j-i}}{k-i}} \\& \quad = \biggl(\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K,u)^{n-i}c_{p}^{(\tau)}(L,u)^{i} \,du \biggr)^{\frac{{k-j}}{k-i}} \biggl(\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K,u)^{n-k}c_{p}^{(\tau)}(L,u)^{k} \,du \biggr)^{\frac{{j-i}}{k-i}} \\& \quad \geq\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau)}(K,u)^{\frac {(n-i)(k-j)+(n-k)(j-i)}{k-i}}c_{p}^{(\tau)}(L,u)^{\frac {i(k-j)+k(j-i)}{k-i}} \,du \\& \quad =\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau)}(K)^{n-j}c_{p}^{(\tau )}(L,u)^{j} \,du \\& \quad =C_{p,j}^{(\tau)}(K,L), \end{aligned}$$

that is,

$$C_{p,j}^{(\tau)}(K,L)^{k-i}\leq C_{p,i}^{(\tau )}(K,L)^{k-j}C_{p,k}^{(\tau)}(K,L)^{j-i}. $$

From the equality condition of Hölder’s inequality, we know that equality holds in (1.10) if and only if K and L have a similar general $L_{p}$-chord. □

Letting $i=0$, $k=n$ in Theorem 1.4, we have the following fact.

Corollary 3.4

If $K,L \in\mathcal{S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then for $0\leq j \leq n$,

$$ C_{p,j}^{(\tau)}(K,L)^{n}\leq C_{p}^{(\tau)}(K)^{n-j}C_{p}^{(\tau )}(L)^{j}. $$

(3.8)

For $j< 0$ or $j> n$, the inequality (3.8) is reversed, with equality if and only if K and L have a similar general $L_{p}$-chord.

Let $j=1$ in Corollary 3.4, we obtain the following dual Minkowski inequality for the general $L_{p}$-mixed chord integrals.

Corollary 3.5

If $K,L \in\mathcal{S}_{o}^{n}$ and $\tau\in[-1,1]$, $p>0$, then

$$ C_{p,1}^{(\tau)}(K,L)^{n}\leq C_{p}^{(\tau)}(K)^{n-1}C_{p}^{(\tau)}(L), $$

(3.9)

with equality if and only if K and L have a similar general $L_{p}$-chord.

Now we prove the associated inequalities based on $L_{p}$-radial combinations.

Proof of Theorem 1.5

For $i\leq n-p$, it follows from Minkowski’s inequality (see [32]) that

$$\begin{aligned}& C_{p,i}^{(\tau)}(\lambda\circ K \, \tilde{+}_{p}\, \mu \circ L)^{\frac {p}{n-i}} \\& \quad = \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(\tau)}(\lambda\circ K \, \tilde{+}_{p}\, \mu\circ L,u)^{n-i}\,du \biggr]^{\frac{p}{n-i}} \\& \quad = \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(f_{1}(\tau)\rho ^{p}( \lambda\circ K \, \tilde{+}_{p}\, \mu\circ L,u)+f_{2}(\tau) \rho ^{p}(\lambda\circ K \, \tilde{+}_{p}\, \mu\circ L,-u) \bigr)^{\frac {n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\& \quad = \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\lambda f_{1}(\tau)\rho ^{p}(K,u)+\lambda f_{2}(\tau)\rho^{p}(-K,u) \\& \qquad\biggl.\biggl.\bigl.\bigl.{}+\mu f_{1}(\tau)\rho^{p}(L,u)+\mu f_{2}(\tau)\rho ^{p}(-L,u) \bigr)\bigr.^{\frac{n-i}{p}}\,du \biggr]\biggr.^{\frac{p}{n-i}} \\& \quad \leq \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\lambda f_{1}(\tau ) \rho^{p}(K,u)+\lambda f_{2}(\tau)\rho^{p}(-K,u) \bigr)^{\frac {n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\& \qquad {}+ \biggl[\frac{1}{n} \int_{\mathcal{S}^{n-1}} \bigl(\mu f_{1}(\tau ) \rho^{p}(L,u)+\mu f_{2}(\tau)\rho^{p}(-L,u) \bigr)^{\frac{n-i}{p}}\,du \biggr]^{\frac{p}{n-i}} \\& \quad =\lambda C_{p,i}^{(\tau)}(K)^{\frac{1}{n-i}}+\mu C_{p,i}^{(\tau )}(L)^{\frac{1}{n-i}}. \end{aligned}$$

Similarly, we can prove the case of $n-p< i< n$ or $i>n$. From the equality conditions of Minkowski’s inequality, we know that equality holds in Theorem 1.5 if and only if K and L have a similar general $L_{p}$-chord. □

In order to prove Theorem 1.6, we require the following lemma which is an extended form of Beckenbach’s inequality (see [33]) obtained by Dresher (see [34]) through the means of moment-space techniques.

Lemma 3.3

(The Beckenbach-Dresher inequality)

If $p\geq1\geq r\geq0$, $f, g\geq0$, and ϕ is a distribution function, then

$$ \biggl(\frac{\int_{E}(f+g)^{p}\,d\phi}{\int_{E}(f+g)^{r}\,d\phi} \biggr)^{\frac {1}{p-r}}\leq \biggl(\frac{\int_{E}f^{p}\,d\phi}{\int_{E}f^{r}\,d\phi} \biggr)^{\frac{1}{p-r}}+ \biggl(\frac{\int_{E}g^{p}\,d\phi}{\int_{E}g^{r}\,d\phi} \biggr)^{\frac{1}{p-r}}, $$

(3.10)

with equality if and only if the functions f and g are positively proportional.

Moreover, the inverse Beckenbach-Dresher inequality was obtained by Li and Zhao (see [35]).

Lemma 3.4

(The Inverse Beckenbach-Dresher inequality)

If $r\leq0\leq p\leq1$, $f, g\geq0$, and ϕ is a distribution function, then

$$ \biggl(\frac{\int_{E}(f+g)^{p}\,d\phi}{\int_{E}(f+g)^{r}\,d\phi} \biggr)^{\frac {1}{p-r}}\geq \biggl(\frac{\int_{E}f^{p}\,d\phi}{\int_{E}f^{r}\,d\phi} \biggr)^{\frac{1}{p-r}}+ \biggl(\frac{\int_{E}g^{p}\,d\phi}{\int_{E}g^{r}\,d\phi} \biggr)^{\frac{1}{p-r}}, $$

(3.11)

with equality if and only if the functions f and g are positively proportional.

Proof of Theorem 1.6

By definitions (1.4) and (2.4), we have

$$\begin{aligned}& \biggl( \frac{C_{p,i}^{(\tau)}(K\, \tilde{+}_{p}\, L)}{C_{p,j}^{(\tau )}(K\, \tilde{+}_{p}\, L)} \biggr)^{\frac{p}{j-i}} \\& \quad = \biggl( \frac{\frac{1}{n}\int_{\mathcal{S}^{n-1}}c_{p}^{(\tau)}(K\, \tilde {+}_{p}\, L,u)^{n-i}\,du}{\frac{1}{n}\int_{\mathcal{S}^{n-1}}c_{p}^{(\tau )}(K\, \tilde{+}_{p}\, L,u)^{n-j}\,du} \biggr)^{\frac{p}{j-i}} \\& \quad = \biggl( \frac{\frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho^{p}(K \, \tilde{+}_{p}\, L,u)+f_{2}(\tau)\rho^{p}(K \, \tilde{+}_{p}\, L,-u)]^{\frac{{n-i}}{p}}\,du}{ \frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho^{p}(K \, \tilde {+}_{p}\, L,u)+f_{2}(\tau)\rho^{p}(K \, \tilde{+}_{p}\, L,-u)]^{\frac {{n-j}}{p}}\,du} \biggr)^{\frac{p}{j-i}} \\& \quad = \biggl( \frac{\frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho ^{p}(K,u)+f_{2}(\tau)\rho^{p}(-K,u)+f_{1}(\tau)\rho^{p}(L,u)+f_{2}(\tau )\rho^{p}(-L,u)]^{\frac{{n-i}}{p}}\,du}{ \frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho^{p}(K,u)+f_{2}(\tau )\rho^{p}(-K,u)+f_{1}(\tau)\rho^{p}(L,u)+f_{2}(\tau)\rho ^{p}(-L,u)]^{\frac{{n-j}}{p}}\,du} \biggr)^{\frac{p}{j-i}} \\& \quad \leq \biggl( \frac{\frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho ^{p}(K,u)+f_{2}(\tau)\rho^{p}(-K,u)]^{\frac{{n-i}}{p}}\,du}{ \frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho^{p}(K,u)+f_{2}(\tau )\rho^{p}(-K,u)]^{\frac{{n-j}}{p}}\,du} \biggr)^{\frac{p}{j-i}} \\& \qquad {}+ \biggl(\frac{\frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho ^{p}(L,u)+f_{2}(\tau)\rho^{p}(-L,u)]^{\frac{{n-i}}{p}}\,du}{ \frac{1}{n}\int_{\mathcal{S}^{n-1}}[f_{1}(\tau)\rho^{p}(L,u)+f_{2}(\tau )\rho^{p}(-L,u)]^{\frac{{n-j}}{p}}\,du} \biggr)^{\frac{p}{j-i}} \\& \quad = \biggl( \frac{C_{p,i}^{(\tau)}(K)}{C_{p,j}^{(\tau)}(K)} \biggr)^{\frac {p}{j-i}}+ \biggl( \frac{C_{p,i}^{(\tau)}(L)}{C_{p,j}^{(\tau)}(L)} \biggr)^{\frac{p}{j-i}}, \end{aligned}$$

inequality (1.13) is proved. Using the same method, we can see that when $j\geq n\geq i\geq n-p$, the reversed inequality of (1.13) is obtained.

From the equality condition of Lemma 3.3 and Lemma 3.4, we know that equality in inequality (1.13) if and only if K and L have a similar general $L_{p}$-chord. □

Finally, we prove the interesting equality for the $L_{p}$-radial bodies.

Proof of Theorem 1.7

For $\forall\tau\in[-1,1]$,

$$\begin{aligned} C_{p,i}^{(\tau)}(\bar {\vartriangle}_{p}K) =& \frac{1}{n} \int _{\mathcal{S}^{n-1}}c_{p}^{(\tau)}(\bar {\vartriangle }_{p}K,u)^{n-i}\,du \\ =&\frac{1}{n} \int_{\mathcal{S}^{n-1}}\bigl[f_{1}(\tau)\rho^{p}( \bar {\vartriangle}_{p}K,u)+f_{2}(\tau) \rho^{p}(\bar {\vartriangle }_{p}-K,u) \bigr]^{\frac{{n-i}}{p}}\,du \\ =&\frac{1}{n} \int_{\mathcal{S}^{n-1}}\biggl[\frac{1}{2}f_{1}(\tau)\rho ^{p}(K,u)+\frac{1}{2}f_{2}(\tau)\rho^{p}(-K,u) \\ &\biggl.\biggl.{}+\frac{1}{2}f_{1}(\tau)\rho^{p}(-K,u)+ \frac{1}{2}f_{2}(\tau)\rho ^{p}(K,u) \biggr]\biggr.^{\frac{{n-i}}{p}}\,du \\ =&\frac{1}{n} \int_{\mathcal{S}^{n-1}}\biggl[\frac{1}{2}\rho^{p}(K,u)+ \frac {1}{2}\rho^{p}(-K,u)\biggr]^{\frac{{n-i}}{p}}\,du \\ =&\frac{1}{n} \int_{\mathcal{S}^{n-1}}c_{p}^{(0)}(K,u)^{n-i} \,du \\ =&C_{p,i}(K), \end{aligned}$$

that is, $C_{p,i}^{(\tau)}(\bar {\vartriangle}_{p}K)=C_{p,i}(K)$. □

Declarations

Acknowledgements

The authors are most grateful to the referees for the extraordinary attention they gave to our paper. Research is supported by the Natural Science Foundation of China (Grant No. 11371224).

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.

Authors’ Affiliations

(1)

Department of Mathematics, China Three Gorges University, Yichang, China

References

Gardner, RJ: Geometric Tomography, 2nd edn. Cambridge University Press, Cambridge (2006) View ArticleMATHGoogle Scholar
Schneider, R: Convex Bodies: The Brunn-Minskowski Theory, 2nd edn. Cambridge University Press, Cambridge (2014) Google Scholar
Lu, FH: Mixed chord-integrals of star bodies. J. Korean Math. Soc. 47(2), 277-288 (2010) View ArticleMathSciNetMATHGoogle Scholar
Feng, YB, Wang, WD: General mixed chord-integrals of star bodies. Rocky Mt. J. Math. (2015, accepted) Google Scholar
Haberl, C, Schuster, FE: General $L_{p}$ affine isoperimetric inequalities. J. Differ. Geom. 83, 1-26 (2009) MathSciNetMATHGoogle Scholar
Haberl, C: $L_{p}$-Intersection bodies. Adv. Math. 217, 2599-2624 (2008) View ArticleMathSciNetMATHGoogle Scholar
Haberl, C: Minkowski valuations intertwining with the special linear group. J. Eur. Math. Soc. 4(5), 1565-1597 (2012) View ArticleMathSciNetGoogle Scholar
Haberl, C, Ludwig, M: A characterization of $L_{p}$ intersection bodies. Int. Math. Res. Not. 2006, Article ID 10548 (2006) MathSciNetGoogle Scholar
Haberl, C, Schuster, FE: Asymmetric affine $L_{p}$ Sobolev inequalities. J. Funct. Anal. 257(3), 641-658 (2009) View ArticleMathSciNetMATHGoogle Scholar
Ludwig, M: Minkowski valuations. Trans. Am. Math. Soc. 357, 4191-4213 (2005) View ArticleMathSciNetMATHGoogle Scholar
Ludwig, M: Intersection bodies and valuations. Am. J. Math. 128, 1409-1428 (2006) View ArticleMathSciNetMATHGoogle Scholar
Feng, YB, Wang, WD: General $L_{p}$-harmonic Blaschke bodies. Proc. Indian Acad. Sci. Math. Sci. 124(1), 109-119 (2014) View ArticleMathSciNetMATHGoogle Scholar
Feng, YB, Wang, WD, Lu, FH: Some inequalities on general $L_{p}$-centroid bodies. Math. Inequal. Appl. 18(1), 39-49 (2015) MathSciNetMATHGoogle Scholar
Haberl, C, Schuster, FE, Xiao, J: An asymmetric affine Pólya-Szegö principle. Math. Ann. 352, 517-542 (2012) View ArticleMathSciNetMATHGoogle Scholar
Liu, CY, Ma, TY: p-Mixed chord-integrals of star bodies. Commun. Appl. Math. Comput. 27(2), 239-245 (2013) MathSciNetMATHGoogle Scholar
Parapatits, L: $\operatorname{SL}(n)$-Covariant $L_{p}$-Minkowski valuations. J. Lond. Math. Soc. 89, 397-414 (2014) View ArticleMathSciNetMATHGoogle Scholar
Parapatits, L: $\operatorname{SL}(n)$-Contravariant $L_{p}$-Minkowski valuations. Trans. Am. Math. Soc. 366, 1195-1211 (2014) View ArticleMathSciNetMATHGoogle Scholar
Schuster, FE: Convolutions and multiplier transformations. Trans. Am. Math. Soc. 359, 5567-5591 (2007) View ArticleMATHGoogle Scholar
Schuster, FE: Crofton measures and Minkowski valuations. Duke Math. J. 154, 1-30 (2010) View ArticleMathSciNetMATHGoogle Scholar
Schuster, FE, Wannerer, T: $\operatorname{GL}(n)$ contravariant Minkowski valuations. Trans. Am. Math. Soc. 364, 815-826 (2012) View ArticleMathSciNetMATHGoogle Scholar
Schuster, FE, Weberndorfer, M: Volume inequalities for asymmetric Wulff shapes. J. Differ. Geom. 92, 263-283 (2012) MathSciNetMATHGoogle Scholar
Wang, WD, Feng, YB: A general $L_{p}$-version of Petty’s affine projection inequality. Taiwan. J. Math. 17(2), 517-528 (2013) View ArticleMATHGoogle Scholar
Wang, WD, Li, YN: Busemann-Petty problems for general $L_{p}$-intersection bodies. Acta Math. Sin. Engl. Ser. 31(5), 777-786 (2015) View ArticleMathSciNetGoogle Scholar
Wang, WD, Li, YN: General L p $L_{p}$ -intersection bodies. Taiwan. J. Math. (accepted) Google Scholar
Wang, WD, Ma, TY: Asymmetric $L_{p}$-difference bodies. Proc. Am. Math. Soc. 142, 2517-2527 (2014) View ArticleMATHGoogle Scholar
Wannerer, T: $\operatorname{GL}(n)$ equivariant Minkowski valuations. Indiana Univ. Math. J. 60, 1655-1672 (2011) View ArticleMathSciNetMATHGoogle Scholar
Weberndorfer, M: Shadow systems of asymmetric $L_{p}$ zonotopes. Adv. Math. 240, 613-635 (2013) View ArticleMathSciNetMATHGoogle Scholar
Yan, L, Wang, WD: The general $L_{p}$-mixed brightness integrals. J. Inequal. Appl. 2015, 190 (2015) View ArticleGoogle Scholar
Lutwak, E: Dual mixed volumes. Pac. J. Math. 58(2), 531-538 (1975) View ArticleMathSciNetMATHGoogle Scholar
Lutwak, E: Extended affine surface area. Adv. Math. 85, 39-68 (1991) View ArticleMathSciNetMATHGoogle Scholar
Grinberg, E, Zhang, GY: Convolutions transforms and convex bodies. Proc. Lond. Math. Soc. 78(3), 77-115 (1999) View ArticleMathSciNetGoogle Scholar
Hardy, GH, Littlewood, JE, Pólya, G: Inequalities. Cambridge University Press, Cambridge (1934) Google Scholar
Beckenbach, EF, Bellman, R: Inequalities, 2nd edn. Springer, Berlin (1965) View ArticleGoogle Scholar
Dresher, M: Moment spaces and inequalities. Duke Math. J. 20, 261-271 (1953) View ArticleMathSciNetMATHGoogle Scholar
Li, XY, Zhao, CJ: On the p-mixed affine surface area. Math. Inequal. Appl. 17(2), 443-450 (2014) MathSciNetMATHGoogle Scholar

Journal of Inequalities and Applications

General \(L_{p}\)-mixed chord integrals of star bodies

Abstract

Keywords

MSC

1 Introduction and main results

Theorem 1.A

Theorem 1.B

Theorem 1.C

Theorem 1.1

Theorem 1.2

Theorem 1.3

Theorem 1.4

Theorem 1.5

Theorem 1.6

Theorem 1.7

2 Preliminaries

Theorem 2.A

3 Proofs of main results

Lemma 3.1

Proof

Corollary 3.1

Corollary 3.2

Proof of Theorem 1.1

Proof of Theorem 1.2

Lemma 3.2

Proof of Theorem 1.3

Corollary 3.3

Proof of Theorem 1.4

Corollary 3.4

Corollary 3.5

Proof of Theorem 1.5

Lemma 3.3

Lemma 3.4

Proof of Theorem 1.6

Proof of Theorem 1.7

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright