- Review
- Open Access
- Published:

# Cyclic Brunn–Minkowski inequalities for general width and chord-integrals

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

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

## Introduction and main results

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

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

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

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.

### Theorem 1.A

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

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

### Theorem 1.B

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

*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

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

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

Obviously,

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

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

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.

### Theorem 1.C

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

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

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

### Theorem 1.D

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

*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

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

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

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.

### Theorem 1.1

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

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

### Theorem 1.2

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

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

### Remark 1.1

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.

### Corollary 1.1

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

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

### Corollary 1.2

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

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

### Remark 1.2

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.

### Corollary 1.3

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

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

### Corollary 1.4

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

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

## Preliminaries

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

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

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

## Proofs of theorems

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

### Lemma 3.1

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

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

### Lemma 3.2

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

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

### Proof of Theorem 1.1

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

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

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

Similarly,

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

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

### Proof of Theorem 1.2

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

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

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

Similarly,

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

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

## References

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

## Acknowledgements

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.

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

## Author information

### Affiliations

### Contributions

The authors were devoted 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.

## About this article

#### Received

#### Accepted

#### Published

#### DOI

### MSC

- 52A20
- 52A40

### Keywords

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