## Abstract

In this paper, we establish two cyclic Brunn–Minkowski inequalities for the general *i*th width-integrals and general *i*th chord-integrals, respectively. Our works bring the cyclic inequality and Brunn–Minkowski inequality together.

Skip to main content
# Cyclic Brunn–Minkowski inequalities for general width and chord-integrals

## Abstract

## 1 Introduction and main results

### Theorem 1.A

### Theorem 1.B

### Theorem 1.C

### Theorem 1.D

### Theorem 1.1

### Theorem 1.2

### Remark 1.1

### Corollary 1.1

### Corollary 1.2

### Remark 1.2

### Corollary 1.3

### Corollary 1.4

## 2 Preliminaries

## 3 Proofs of theorems

### Lemma 3.1

### Lemma 3.2

### Proof of Theorem 1.1

### Proof of Theorem 1.2

## References

## Acknowledgements

## Funding

## Author information

### Authors and Affiliations

### Contributions

### Corresponding author

## Ethics declarations

### Competing interests

## Additional information

### Publisher’s Note

## Rights and permissions

## About this article

### Cite this article

### MSC

### Keywords

- Review
- Open Access
- Published:

*Journal of Inequalities and Applications*
**volume 2019**, Article number: 196 (2019)

In this paper, we establish two cyclic Brunn–Minkowski inequalities for the general *i*th width-integrals and general *i*th chord-integrals, respectively. Our works bring the cyclic inequality and Brunn–Minkowski inequality together.

The setting for this paper is the Euclidean *n*-space \(\mathbb{R}^{n}\). We use \(S^{n-1}\) and \(V(K)\) to denote the unit sphere and the *n*-dimensional volume of a body *K*, respectively. For the standard unit ball *B*, we write \(V(B)=\omega _{n}\).

If *K* is a nonempty compact convex set in \(\mathbb{R}^{n}\), then the support function of *K*, \(h_{K}=h(K,\cdot ): \mathbb{R}^{n}\rightarrow \mathbb{R}\), is defined by (see [1])

$$ h(K,x)= \max \{x\cdot y: y\in K\} $$

for \(x\in \mathbb{R}^{n}\), where \(x\cdot y\) is the standard inner product of *x* and *y*. If *K* is a compact convex set with nonempty interiors in \(\mathbb{R}^{n}\), then *K* is called a convex body. Let \(\mathcal{K}^{n}\) denote the set of convex bodies in \(\mathbb{R}^{n}\).

The radial function \(\rho _{K}=\rho (K,\cdot ): \mathbb{R}^{n}\setminus \{0\}\rightarrow [0,\infty )\) of a compact star-shaped (about the origin) set \(K\subset \mathbb{R}^{n}\) is defined by (see [1])

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

If \(\rho _{K}\) is continuous, then *K* will be called a star body (about the origin). Let \(\mathcal{S}^{n}_{o}\) denote the subset of star bodies containing the origin in \(\mathbb{R}^{n}\). Two star bodies *K* and *L* are dilates (of one another) if \(\rho _{K}(u)/\rho _{L}(u)\) is independent of \(u\in S^{n-1}\).

The research of width-integrals has a long history. The width-integrals were first considered by Blaschke (see [2]) and were further researched by Hadwiger (see [3]). In 1975, Lutwak [4] gave the *i*th width-integrals as follows:

For \(K\in \mathcal{K}^{n}\) and any real *i*, the *i*th width-integrals \(B_{i}(K)\) of *K* are defined by

$$ B_{i}(K)=\frac{1}{n} \int _{S^{n-1}}b(K,u)^{n-i}\,dS(u). $$

(1.1)

Here \(b(K,u)\) denotes the half width of *K* in the direction \(u\in S^{n-1}\) which is defined by \(b(K,u)=\frac{1}{2}h(K,u)+ \frac{1}{2}h(K,-u)\). If there exists a constant \(\lambda >0\) such that \(b(K,u)=\lambda b(L,u)\) for all \(u\in S^{n-1}\), then *K* and *L* are said to have similar width. Further, Lutwak [4] established the following Brunn–Minkowski inequality and cyclic inequality for the *i*th width-integrals, respectively.

*If*
\(K,L\in \mathcal{K}^{n}\)
*and real*
\(i< n-1\), *then*

$$ B_{i}(K+L)^{\frac{1}{n-i}}\leq B_{i}(K)^{\frac{1}{n-i}}+B_{i}(L)^{ \frac{1}{n-i}} $$

*with equality if and only if*
*K*
*and*
*L*
*have similar width*. *Here*
\(K+L\)
*denotes the Minkowski sum of*
*K*
*and*
*L*.

*If*
\(K\in \mathcal{K}^{n}\)
*and reals*
*i*, *j*, *k*
*satisfy*
\(i< j< k\), *then*

$$ B_{j}(K)^{k-i}\leq B_{i}(K)^{k-j}B_{k}(K)^{j-i} $$

*with equality if and only if*
*K*
*is of constant width*.

Whereafter, Lutwak [5] showed that the mixed width-integral \(B(K_{1},\ldots,K_{n})\) of \(K_{1},\ldots, K_{n}\in \mathcal{K}^{n}\) was defined by

$$ B(K_{1},\ldots,K_{n})=\frac{1}{n} \int _{S^{n-1}}b(K_{1},u)\cdots b(K_{n},u) \,dS(u). $$

(1.2)

In 2016, based on (1.2), Feng [6] introduced the general mixed width-integrals as follows: For \(K_{1},\ldots,K_{n}\in \mathcal{K} ^{n}\) and \(\tau \in (-1,1)\), the general mixed width-integral \(B^{(\tau )}(K_{1},\ldots,K_{n})\) of \(K_{1}, \ldots, K_{n}\) is given by

$$ B^{(\tau )}(K_{1},\ldots,K_{n})= \frac{1}{n} \int _{S^{n-1}}b^{(\tau )}(K _{1},u)\cdots b^{(\tau )}(K_{n},u)\,dS(u), $$

(1.3)

where \(b^{\tau }(K,u)=f_{1}(\tau )h(K,u)+f_{2}(\tau )h(K,-u)\) and

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

(1.4)

Obviously,

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

Combined with (1.4), the case of \(\tau =0\) in (1.3) is just (1.2). If there exists a constant \(\lambda >0\) such that \(b^{\tau }(K,u)=\lambda b^{\tau }(L,u)\) for all \(u\in S^{n-1}\), then we say convex bodies *K* and *L* have similar general width. *K* and *L* have joint constant general width means that \(b^{(\tau )}(K,u)b^{(\tau )}(L,u)\) is a constant for all \(u\in S^{n-1}\).

Taking \(K_{1}=\cdots=K_{n-i}=K\), \(K_{n-i+1}=\cdots=K_{n}=B\) in (1.3) and allowing *i* to be any real, the general *i*th width-integrals \(B_{i}^{(\tau )}(K)\) of \(K\in \mathcal{K}^{n}\) were given by (see [6])

$$ B_{i}^{(\tau )}(K)=\frac{1}{n} \int _{S^{n-1}}b^{(\tau )}(K,u)^{n-i}\,dS(u). $$

(1.5)

From (1.1), (1.4), and (1.5), we easily see that if \(\tau =0\), then \(B_{i}^{(0)}(K)=B_{i}(K)\).

In 2006, motivated by Lutwak’s *i*th width-integrals and together with the notion of radial function, Li, Yuan, and Leng [7] gave the *i*th chord-integrals as follows: For \(K\in \mathcal{S}_{o}^{n}\) and *i* is any real, the *i*th chord-integrals \(C_{i}(K)\) of *K* are defined by

$$ C_{i}(K)=\frac{1}{n} \int _{S^{n-1}}c(K,u)^{n-i}\,dS(u). $$

(1.6)

Here \(c(K,u)\) denotes the half chord of *K* in the direction *u* and \(c(K,u)=\frac{1}{2}\rho (K,u)+\frac{1}{2}\rho (K,-u)\). If there exists a constant \(\lambda >0\) such that \(c(K,u)=\lambda c(L,u)\) for all \(u\in \mathcal{S}^{n-1}\), then we say that *K* and *L* have similar chord.

For the *i*th chord-integrals, the authors [7] proved the following Brunn–Minkowski inequality and cyclic inequality.

*For*
\(K,L\in \mathcal{S}_{o}^{n}\)
*and real*
\(i\neq n\). *If*
\(i< n-1\), *then*

$$ C_{i}(K\mathbin{\tilde{+}}L)^{\frac{1}{n-i}}\leq C_{i}(K)^{\frac{1}{n-i}}+C_{i}(L)^{ \frac{1}{n-i}}; $$

*if*
\(i>n-1\), *then*

$$ C_{i}(K\mathbin{\tilde{+}}L)^{\frac{1}{n-i}}\geq C_{i}(K)^{\frac{1}{n-i}}+C_{i}(L)^{ \frac{1}{n-i}}. $$

*In each inequality*, *equality holds if and only if*
*K*
*and*
*L*
*are dilates*. *Here*
\(K\mathbin{\tilde{+}}L\)
*denotes the radial sum of*
*K*
*and*
*L*.

*If*
\(K\in \mathcal{S}_{o}^{n}\)
*and reals*
*i*, *j*, *k*
*satisfy*
\(i< j< k\), *then*

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

*with equality if and only if*
*K*
*is of constant chord*.

The mixed chord-integrals of star bodies were defined by Lu (see [8]): For \(K_{1},\ldots,K_{n}\in \mathcal{S}_{o}^{n}\), the mixed chord-integrals \(C(K_{1},\ldots,K_{n})\) of \(K_{1}, \ldots, K_{n}\) are defined by

$$ C(K_{1},\ldots,K_{n})=\frac{1}{n} \int _{S^{n-1}}c(K_{1},u)\cdots c(K_{n},u) \,dS(u). $$

Recently, Feng and Wang [9] gave the general mixed chord-integrals \(C^{(\tau )}(K_{1},\ldots,K_{n})\) of \(K_{1},\ldots,K_{n} \in \mathcal{S}_{o}^{n}\) defined by

$$ C^{(\tau )}(K_{1},\ldots,K_{n})= \frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(K _{1},u)\cdots c^{(\tau )}(K_{n},u)\,dS(u), $$

(1.7)

where \(c^{(\tau )}(K,u)=f_{1}(\tau )\rho (K,u)+f_{2}(\tau )\rho (K,-u)\) and functions \(f_{1}(\tau )\), \(f_{2}(\tau )\) satisfy (1.4). By (1.4), let \(\tau =0\) in (1.7), this is just Lu’s mixed chord-integrals \(C(K_{1},\ldots,K_{n})\). Star bodies *K* and *L* are said to have similar general chord mean that there exist constants \(\lambda , \mu >0\) such that \(\lambda c^{(\tau )}(K,u)=\mu c^{(\tau )}(L,u)\) for all \(u\in S^{n-1}\). If the product \(c^{(\tau )}(K,u)c^{(\tau )}(L,u)\) is constant for all \(u\in S^{n-1}\), then they are said to have joint constant general chord.

Taking \(K_{1}=\cdots=K_{n-i}=K\) and \(K_{n-i+1}=\cdots=K_{n}=B\) in (1.7) and allowing *i* to be any real, the general *i*th chord-integral \(C_{i}^{(\tau )}(K)\) of \(K\in \mathcal{S}_{o}^{n}\) was given by (see [9])

$$ C_{i}^{(\tau )}(K)=\frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(K,u)^{n-i}\,dS(u). $$

(1.8)

Obviously, (1.4), (1.6), and (1.8) give \(C_{i}^{(0)}(K)=C_{i}(K)\).

In this paper, based on Theorems 1.A–1.B and Theorems 1.C–1.D, we respectively establish two cyclic Brunn–Minkowski inequalities for general *i*th width-integrals and general *i*th chord-integrals by using Zhao’s ideas (see [10] and [11]). Our works bring the cyclic inequality and Brunn–Minkowski inequality together. Our main results can be stated as follows.

*Let*
\(K,L\in \mathcal{K}^{n}\), \(\tau \in (-1,1)\), *and*
*i*, *j*, *k*
*all be reals*. *If*
\(j< n-1\)
*and*
\(i\leq j< k\), *then*

$$ B_{j}^{(\tau )}(K+L)^{\frac{k-i}{n-j}} \leq B_{i}^{(\tau )}(K)^{ \frac{k-j}{n-j}}B_{k}^{(\tau )}(K)^{\frac{j-i}{n-j}}+B_{i}^{(\tau )}(L)^{ \frac{k-j}{n-j}}B_{k}^{(\tau )}(L) ^{\frac{j-i}{n-j}} $$

(1.9)

*with equality if and only if*
*K*
*and*
*L*
*have similar general width*. *If*
\(n-1< j< n\)
*and*
\(j\leq i< k\)
*or*
\(j>n\)
*and*
\(i\leq j< k\), *then inequality* (1.9) *is reversed*.

*Let*
\(K,L\in \mathcal{S}_{o}^{n}\), \(\tau \in (-1,1)\), *and*
*i*, *j*, *k*
*all be reals*. *If*
\(j< n-1\)
*and*
\(i\leq j< k\), *then*

$$ C_{j}^{(\tau )}(K\mathbin{\tilde{+}}L)^{\frac{k-i}{n-j}}\leq C_{i}^{(\tau )}(K)^{ \frac{k-j}{n-j}}C_{k}^{(\tau )}(K)^{\frac{j-i}{n-j}}+C_{i}^{(\tau )}(L)^{ \frac{k-j}{n-j}}C_{k}^{(\tau )}(L)^{\frac{j-i}{n-j}} $$

(1.10)

*with equality if and only if*
*K*
*and*
*L*
*have similar general chord*. *If*
\(n-1< j< n\)
*and*
\(j\leq i< k\)
*or*
\(j>n\)
*and*
\(i\leq j< k\), *then inequality* (1.10) *is reversed*.

Let \(i=j\) in Theorem 1.1 and Theorem 1.2, we may obtain the following Brunn–Minkowski inequalities for general *i*th width-integrals and general *i*th chord-integrals, respectively.

*Let*
\(K,L\in \mathcal{K}^{n}\), *real*
\(i\neq n\), *and*
\(\tau \in (-1,1)\). *If*
\(i< n-1\), *then*

$$ B_{i}^{(\tau )}(K+L)^{\frac{1}{n-i}}\leq B_{i}^{(\tau )}(K)^{ \frac{1}{n-i}}+B_{i}^{(\tau )}(L)^{\frac{1}{n-i}} $$

(1.11)

*with equality if and only if*
*K*
*and*
*L*
*have similar general width*. *If*
\(i>n-1\), *then inequality* (1.11) *is reversed*.

*Let*
\(K,L\in \mathcal{S}_{o}^{n}\), *real*
\(i\neq n\), *and*
\(\tau \in (-1,1)\). *If*
\(i< n-1\), *then*

$$ C_{i}^{(\tau )}(K\mathbin{\tilde{+}}L)^{\frac{1}{n-i}}\leq C_{i}^{(\tau )}(K)^{ \frac{1}{n-i}}+C_{i}^{(\tau )}(L)^{\frac{1}{n-i}} $$

*with equality holds if and only if*
*K*
*and*
*L*
*have similar general chord*. *If*
\(i>n-1\), *then the above inequality is reversed*.

Obviously, if \(\tau =0\), then inequality (1.11) yields Theorem 1.A, Corollary 1.2 gives Theorem 1.C, respectively.

If *K* and *L* are nonempty compact convex sets, then Theorem 1.1 also is true. From this, take \(L=\{o\}\) in Theorem 1.1. Since \(K+\{o\}=K\) and notice that \(B^{\tau }_{i}(\{o\})=0\), thus by inequality (1.9) we have the following.

*If*
\(K\in \mathcal{K}^{n}\), \(\tau \in (-1,1)\), *and*
\(i< j< k\), *then*

$$ B^{(\tau )}_{j}(K)^{k-i}\leq B^{(\tau )}_{i}(K)^{k-j}B^{(\tau )}_{k}(K)^{j-i} $$

*with equality if and only if*
*K*
*is of constant width*.

Because of \(\{o\}\in \mathcal{S}_{o}^{n}\), hence let \(L=\{o\}\) in Theorem 1.2, we may obtain the following.

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

$$ C^{(\tau )}_{j}(K)^{k-i}\leq C^{(\tau )}_{i}(K)^{k-j}C^{(\tau )}_{k}(K)^{j-i} $$

*with equality if and only if*
*K*
*is of constant chord*.

If \(\tau =0\), then Corollary 1.3 and Corollary 1.4 respectively give Theorem 1.B and Theorem 1.D.

Our works belong to the asymmetric Brunn–Minkowski theory, which has its starting point in the theory of valuations in connection with isoperimetric and analytic inequalities. As an important research object in convex geometry, asymmetric Brunn–Minkowski theory has gotten rich development, readers can refer to [12,13,14,15,16,17,18,19].

For nonempty compact convex bodies *K* and *L*, \(\lambda , \mu \geq 0\) (not both zero), the Minkowski combination \(\lambda K+ \mu L\) of *K* and *L* is defined by (see [1])

$$ h(\lambda K+\mu L,\cdot )=\lambda h(K,\cdot )+\mu h(L,\cdot ), $$

(2.1)

where “+” and “*λK*” are called Minkowski addition and Minkowski scalar multiplication, respectively. When \(\lambda =\mu =1\), the \(K+L\) is called Minkowski sum.

For \(K,L\in \mathcal{S}_{o}^{n}\), \(\lambda ,\mu \geq 0\) (not both zero), the radial combination \(\lambda \circ K\mathbin{\tilde{+}}\mu \circ L\) of *K*, *L* is given by (see [1, 20])

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

(2.2)

where “\(\mathbin{\tilde{+}}\)” and “\(\lambda \circ K\)” are radial addition and radial scalar multiplication, respectively. When \(\lambda =\mu =1\), the \(K\mathbin{\tilde{+}}L\) is radial sum of *K* and *L*.

In this part, we give the proofs of Theorem 1.1 and Theorem 1.2. First, we give the following lemmas.

*Let*
\(f\in L^{p}(E)\), \(g\in L^{q}(E)\), *real number*
\(p,q\neq 0\), *and*
\(\frac{1}{p}+\frac{1}{q}=1\), *if*
\(p>1\), *then*

$$ \biggl( \int _{E} \bigl\vert f(x) \bigr\vert ^{p} \,dx \biggr)^{\frac{1}{p}} \biggl( \int _{E} \bigl\vert g(x) \bigr\vert ^{q} \,dx \biggr)^{\frac{1}{q}}\geq \int _{E} \bigl\vert f(x)g(x) \bigr\vert \,dx $$

(3.1)

*with equality if and only if there exists constants*
\(c_{1}\)
*and*
\(c_{2}\)
*such that*
\(c_{1}|f(x)|^{p}=c_{2}|g(x)|^{q}\). *The inequality is reversed if*
\(p<0\)
*or*
\(0< p<1\). *Here*
\(L^{p}(E)\)
*denotes all function sets defined on a measurable set*
*E*
*in*
\(L_{p}\)
*spaces*.

*Let*
\(f,g\in L^{p}(E)\), *if real number*
\(p\neq 0\)
*and*
\(p>1\), *then*

$$ \biggl( \int _{E} \bigl\vert f(x) \bigr\vert ^{p} \,dx \biggr)^{\frac{1}{p}}+ \biggl( \int _{E} \bigl\vert g(x) \bigr\vert ^{p} \,dx \biggr)^{\frac{1}{p}}\geq \biggl( \int _{E} \bigl\vert f(x)+g(x) \bigr\vert ^{p} \biggr)^{ \frac{1}{p}}\,dx $$

(3.2)

*with equality if and only if there exists constants*
\(c_{1}\)
*and*
\(c_{2}\)
*such that*
\(c_{1}|f(x)|^{p}=c_{2}|g(x)|^{q}\). *The inequality is reversed if*
\(p<0\)
*or*
\(0< p<1\).

If \(j< n-1\), i.e., \(n-j>1\), then from (1.5), (2.1), and (3.2), we have

$$\begin{aligned} B_{j}^{(\tau )}(K+L)^{\frac{1}{n-j}} =& \biggl[ \frac{1}{n} \int _{S^{n-1}}b ^{(\tau )}(K+L,u)^{n-j}\,dS(u) \biggr]^{\frac{1}{n-j}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(f_{1}(\tau )h(K+L,u)+f_{2}( \tau )h(K+L,-u) \bigr)^{n-j}\,dS(u) \biggr]^{\frac{1}{n-j}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(f_{1}(\tau )h(K,u)+f_{1}( \tau )h(L,u) \\ &{}+f_{2}(\tau )h(K,-u)+f_{2}(\tau )h(L,-u) \bigr)^{n-j}\,dS(u) \biggr]^{{ \frac{1}{n-j}}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(b^{(\tau )}(K,u)+b^{(\tau )}(L,u) \bigr)^{n-j}\,dS(u) \biggr]^{\frac{1}{n-j}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(b^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{(k-i)(n-j)}}b^{(\tau )}(K,u)^{ \frac{(j-i)(n-k)}{(k-i)(n-j)}} \\ &{}+b^{(\tau )}(L,u)^{\frac{(k-j)(n-i)}{(k-i)(n-j)}}b^{(\tau )}(L,u)^{ \frac{(j-i)(n-k)}{(k-i)(n-j)}} \bigr)^{n-j}\,dS(u) \biggr]^{\frac{1}{n-j}} \\ \leq& \biggl[\frac{1}{n} \int _{S^{n-1}}b^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{k-i}}b^{(\tau )}(K,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}} \\ &{}+ \biggl[\frac{1}{n} \int _{S^{n-1}}b^{(\tau )}(L,u)^{ \frac{(k-j)(n-i)}{k-i}}b^{(\tau )}(L,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}}. \end{aligned}$$

(3.3)

In the inequality on the right above, notice that \(i< j< k\) means \(\frac{k-i}{k-j}>1\), thus by (3.1) we obtain

$$\begin{aligned}& \frac{1}{n} \int _{S^{n-1}}b^{(\tau )}(K,u)^{\frac{(k-j)(n-i)}{k-i}}b ^{(\tau )}(K,u)^{\frac{(j-i)(n-k)}{k-i}}\,dS(u) \\ & \quad \leq \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(b^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{k-i}} \bigr)^{\frac{k-i}{k-j}}\,dS(u) \biggr]^{ \frac{k-j}{k-i}} \\ & \qquad {}\times \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(b^{(\tau )}(K,u)^{ \frac{(j-i)(n-k)}{k-i}} \bigr)^{\frac{k-i}{j-i}}\,dS(u) \biggr]^{ \frac{j-i}{k-i}} \\ & \quad =B_{i}^{(\tau )}(K)^{\frac{k-j}{k-i}}B_{k}^{(\tau )}(K)^{ \frac{j-i}{k-i}}. \end{aligned}$$

(3.4)

From this, for \(j< n-1\), we can get the following inequality by (3.4):

$$\begin{aligned}& \biggl[\frac{1}{n} \int _{S^{n-1}}b^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{k-i}}b^{(\tau )}(K,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}} \\ & \quad \leq B_{i}^{(\tau )}(K)^{\frac{k-j}{(k-i)(n-j)}}B_{k}^{(\tau )}(K)^{ \frac{j-i}{(k-i)(n-j)}}. \end{aligned}$$

(3.5)

Similarly,

$$\begin{aligned}& \biggl[\frac{1}{n} \int _{S^{n-1}}b^{(\tau )}(L,u)^{ \frac{(k-j)(n-i)}{k-i}}b^{(\tau )}(L,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}} \\ & \quad \leq B_{i}^{(\tau )}(L)^{\frac{k-j}{(k-i)(n-j)}}B_{k}^{(\tau )}(L)^{ \frac{j-i}{(k-i)(n-j)}}. \end{aligned}$$

(3.6)

Hence, by (3.3), (3.5), and (3.6) we have

$$ B_{j}^{(\tau )}(K+L)^{\frac{1}{n-j}} \leq B_{i}^{(\tau )}(K)^{\frac{k-j}{(k-i)(n-j)}}B_{k}^{(\tau )}(K)^{ \frac{j-i}{(k-i)(n-j)}}+B_{i}^{(\tau )}(L)^{\frac{k-j}{(k-i)(n-j)}}B _{k}^{(\tau )}(L) ^{\frac{j-i}{(k-i)(n-j)}}. $$

This yields inequality (1.9).

If \(n-1< j< n\), then \(0< n-j<1\), this gives (3.3) is reversed. But \(j< i< k\) means \(0<\frac{k-i}{k-j}<1\), thus (3.4) is reversed. Hence inequality (3.5) is reversed. Similarly, inequality (3.6) is also reversed. From this, we know that inequality (1.9) is reversed.

If \(j>n\), then \(n-j<0\) implies that (3.3) is reversed. But by \(n-j<0\) and (3.4), we see inequality (3.5) is reversed (inequality (3.6) is also reversed). These yield that inequality (1.9) is reversed.

For \(i=j\), by (3.3) (or its reverse) we easily get inequality (1.9) (or its reverse).

According to the equality conditions of inequalities (3.1) and (3.2), we see that equality holds in (1.9) (or its reverse) if and only if *K* and *L* have similar general width. □

For \(j< n-1\) and \(i\leq j< k\), since \(n-j>1\), thus by (1.8), (2.2), and (3.2) we get

$$\begin{aligned} C_{j}^{(\tau )}(K\mathbin{\tilde{+}}L)^{\frac{1}{n-j}} =& \biggl[\frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(K\mathbin{\tilde{+}}L,u)^{n-j} \,dS(u) \biggr]^{ \frac{1}{n-j}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(f_{1}(\tau )\rho (K\mathbin{ \tilde{+}}L,u)+f _{2}(\tau )\rho (K\mathbin{\tilde{+}}L,-u) \bigr)^{n-j}\,dS(u) \biggr]^{ \frac{1}{n-j}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(f_{1}(\tau )\rho (K,u)+f_{1}( \tau )\rho (L,u) \\ &{}+f_{2}(\tau )\rho (K,-u)+f_{2}(\tau )\rho (L,-u) \bigr)^{n-j}\,dS(u) \biggr]^{{\frac{1}{n-j}}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(c^{(\tau )}(K,u)+c^{(\tau )}(L,u) \bigr)^{n-j}\,dS(u) \biggr]^{\frac{1}{n-j}} \\ =& \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(c^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{(k-i)(n-j)}}c^{(\tau )}(K,u)^{ \frac{(j-i)(n-k)}{(k-i)(n-j)}} \\ &{}+c^{(\tau )}(L,u)^{\frac{(k-j)(n-i)}{(k-i)(n-j)}}c^{(\tau )}(L,u)^{ \frac{(j-i)(n-k)}{(k-i)(n-j)}} \bigr)^{n-j}\,dS(u) \biggr]^{\frac{1}{n-j}} \\ \leq& \biggl[\frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{k-i}}c^{(\tau )}(K,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}} \\ &{}+ \biggl[\frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(L,u)^{ \frac{(k-j)(n-i)}{k-i}}c^{(\tau )}(L,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}}. \end{aligned}$$

(3.7)

On the right-hand side of the above inequality, when \(i< j< k\), i.e., \(\frac{k-i}{k-j}>1\), by (3.1) we have

$$\begin{aligned}& \frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(K,u)^{\frac{(k-j)(n-i)}{k-i}}c ^{(\tau )}(K,u)^{\frac{(j-i)(n-k)}{k-i}}\,dS(u) \\& \quad \leq \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(c^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{k-i}} \bigr)^{\frac{k-i}{k-j}}\,dS(u) \biggr]^{ \frac{k-j}{k-i}} \\& \qquad {}\times \biggl[\frac{1}{n} \int _{S^{n-1}} \bigl(c^{(\tau )}(K,u)^{ \frac{(j-i)(n-k)}{k-i}} \bigr)^{\frac{k-i}{j-i}}\,dS(u) \biggr]^{ \frac{j-i}{k-i}} \\& \quad =C_{i}^{(\tau )}(K)^{\frac{k-j}{k-i}}C_{k}^{(\tau )}(K)^{ \frac{j-i}{k-i}}. \end{aligned}$$

(3.8)

Hence, for \(j< n-1\),

$$\begin{aligned}& \biggl[\frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(K,u)^{ \frac{(k-j)(n-i)}{k-i}}c^{(\tau )}(K,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}} \\& \quad \leq C_{i}^{(\tau )}(K)^{\frac{k-j}{(k-i)(n-j)}}C_{k}^{(\tau )}(K)^{ \frac{j-i}{(k-i)(n-j)}}. \end{aligned}$$

(3.9)

Similarly,

$$\begin{aligned}& \biggl[\frac{1}{n} \int _{S^{n-1}}c^{(\tau )}(L,u)^{ \frac{(k-j)(n-i)}{k-i}}c^{(\tau )}(L,u)^{\frac{(j-i)(n-k)}{k-i}} \,dS(u) \biggr]^{\frac{1}{n-j}} \\& \quad \leq C_{i}^{(\tau )}(L)^{\frac{k-j}{(k-i)(n-j)}}C_{k}^{(\tau )}(L)^{ \frac{j-i}{(k-i)(n-j)}}. \end{aligned}$$

(3.10)

According to (3.7), (3.9), and (3.10), we see that

$$ C_{j}^{(\tau )}(K\mathbin{\tilde{+}}L)^{\frac{1}{n-j}} \leq C_{i}^{(\tau )}(K)^{\frac{k-j}{(k-i)(n-j)}}C_{k}^{(\tau )}(K)^{ \frac{j-i}{(k-i)(n-j)}}+C_{i}^{(\tau )}(L)^{\frac{k-j}{(k-i)(n-j)}}C _{k}^{(\tau )}(L) ^{\frac{j-i}{(k-i)(n-j)}}. $$

This gives inequality (1.10).

For \(n-1< j< n\) and \(j\leq i< k\), we easily obtain that (3.7) and (3.8) are reversed, thus inequalities (3.9) and (3.10) both are reversed. So, we can get that inequality (1.10) is reversed.

For \(j>n\) and \(i\leq j< k\), we know that inequality (3.7) is reversed, notice that inequality (3.8) still holds, thus by (3.8) and \(n-j<0\), inequality (3.9) is reversed. Similarly, inequality (3.10) is also reversed. Therefore, inequality (1.10) is reversed.

When \(i=j\), by (3.7) (or its reverse) we easily get inequality (1.10) (or its reverse).

The equality conditions of Lemma 3.1 and Lemma 3.2 show that equality holds in (1.10) (or its reverse) if and only if *K* and *L* have similar general chord. □

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

Blaschke, W.: Vorlesungen über integral geometric I, II. Teubner, Leipzig (1936, 1937). Reprint: Chelsea, New York (1949)

Hadwiger, H.: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. Springer, Berlin (1957)

Lutwak, E.: Width-integrals of convex bodies. Proc. Am. Math. Soc.

**53**, 435–439 (1975)Lutwak, E.: Mixed width-integrals of convex bodies. Isr. J. Math.

**28**(3), 249–253 (1977)Feng, Y.B.: General mixed width-integral of convex bodies. J. Nonlinear Sci. Appl.

**9**, 4226–4234 (2016)Li, Y.H., Yuan, J., Leng, G.S.: Chord-integrals of star bodies. J. Shanghai Univ. Nat. Sci.

**12**(4), 394–398 (2006)Lu, F.H.: Mixed chord-integrals of star bodies. J. Korean Math. Soc.

**47**, 277–288 (2010)Feng, Y.B., Wang, W.D.: General mixed chord-integrals of star bodies. Rocky Mt. J. Math.

**46**, 1499–1518 (2016)Zhao, C.J.: Dual cyclic Brunn–Minkowski inequalities. Bull. Belg. Math. Soc. Simon Stevin

**22**, 391–401 (2015)Zhao, C.J.: Cyclic Brunn–Minkowski inequalities for

*p*-affine surface area. Quaest. Math.**40**(4), 467–476 (2017)Feng, Y.B., Wang, W.D.: General \(L_{p}\)-harmonic Blaschke bodies. Proc. Indian Acad. Sci. Math. Sci.

**124**, 109–119 (2014)Feng, Y.B., Wang, W.D., Lu, F.H.: Some inequalities on general \(L_{p}\)-centroid bodies. Math. Inequal. Appl.

**18**, 39–49 (2015)Haberl, C., Schuster, F.E.: Asymmetric affine \(L_{p}\) Sobolev inequalities. J. Funct. Anal.

**257**, 641–658 (2009)Li, Z.F., Wang, W.D.: General \(L_{p}\)-mixed chord integrals of star bodies. J. Inequal. Appl.

**2016**, 58 (2016)Ludwig, M.: Minkowski areas and valuations. J. Differ. Geom.

**86**, 133–162 (2010)Wang, W.D., Feng, Y.B.: A general \(L_{p}\)-version of Petty’s affine projection inequality. Taiwan. J. Math.

**17**, 517–528 (2013)Wang, W.D., Li, Y.N.: General \(L_{p}\)-intersection bodies. Taiwan. J. Math.

**19**, 1247–1259 (2015)Wang, W.D., Ma, T.Y.: Asymmetric \(L_{p}\)-difference bodies. Proc. Am. Math. Soc.

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

The authors want to express earnest thankfulness for the referees who provided extremely precious and helpful comments and suggestions. This made the article more accurate and readable.

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. 2019SSPY147).

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

The authors state that they have no competing interests.

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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

Yu, L., Zhang, Y. & Wang, W. Cyclic Brunn–Minkowski inequalities for general width and chord-integrals.
*J Inequal Appl* **2019**, 196 (2019). https://doi.org/10.1186/s13660-019-2149-9

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-019-2149-9

- 52A20
- 52A40

- General
*i*th width-integral - General
*i*th chord-integral - Cyclic Brunn–Minkowski inequality