- Research
- Open access
- Published:

# New inequalities for star bodies

*Journal of Inequalities and Applications*
**volumeÂ 2016**, ArticleÂ number:Â 145 (2016)

## Abstract

In this paper, we investigate the radial addition and Blaschke addition and get some new Brunn-Minkowski inequalities associated with dual quermassintegrals and chord integral for star bodies.

## 1 Introduction

The Brunn-Minkowski theory, which is the so-called mixed-volume theory, is the classical core of the geometry of convex bodies. This theory originated from the thesis of Hermann Brunn in 1887, and in its essential part is the creation of Hermann Minkowski around the turn of the century. The well-known survey of Bonnesen and Fenchel collected an impressive body of results in 1934, though important developments, by the work of Aleksandrov and others in the 1930s, were still to come. In recent years, the theory of convex bodies was expanded considerably, new topics have been developed rapidly, and originally neglected branches of the subject have gained in interest. For example, the Brunn-Minkowski theory has remained of constant interest owing to its various new applications and connections with other fields.

The classical Brunn-Minkowski theory forms a central part of Brunn-Minkowski theory of convex bodies and arises naturally if one combines the two fundamental concepts of Minkowski addition and volume (see [1, 2]). The famous Brunn-Minkowski inequality implies that, for two convex bodiesin the Euclidean space \(\mathbb{R}^{n}\) (see [3]),

where *V* denotes the volume, with inequality if and only if *K* and *L* are homothetic. This geometric inequality means that if each of *K*, *L* has volume 1, then the Minkowski sum \(\frac{1}{2}(K+L)\) has volume at least 1, and its volume is equal to 1 only if *K* and *L* are translates.

During the last three decades, the Brunn-Minkowski theory has achieved important developments. In the 1970s, Lutwakâ€™s dual Brunn-Minkowski theory had come out, which helped to achieve major breakthrough of solving the Busemann-Petty problem in the 1990s. In the dual theory, compared with the Brunn-Minkowski theory, convex bodies are replaced by star-shaped bodies, and projections onto subspaces are replaced by intersections with subspaces. The machinery of the dual theory includes dual mixed volumes and intersection bodies (see [1, 2, 4â€“12]).

The radial addition and Blaschke addition are still playing a crucial role in the Brunn-Minkowski theory. In this article, we continue to investigate the radial addition and Blaschke addition and get some new Brunn-Minkowski inequalities associated with dual quermassintegrals and chord integral for star bodies.

## 2 Preliminaries

A set *K* of points in the Euclidean space \(\mathbb{R}^{n}\) is *convex* if for any \(x,y\in K\), we have \(0\leq\lambda\leq1\) and \(\lambda x+(1-\lambda)y\in K\). A *domain* is a set with nonempty interiors. A *convex body* is a compact convex domain. The set of convex bodies in \(\mathbb{R}^{n}\) is denoted by \(\mathcal{K}^{n}\). Let \(\mathcal{K}_{o}^{n}\) be the class of members of \(\mathcal{K}^{n}\) containing the origin in their interiors. We write *V* for the *n*-dimensional Lebesgue measure and \(\mathcal{H}^{n-1}\) for the \((n-1)\)-dimensional Hausdorff measure. We denote by \(S^{n-1}\) the surface of the unit ball in \(\mathbb{R}^{n}\).

A convex body \(K\subset\mathbb{R}^{n}\) is uniquely determined by its support function \(h_{K}: \mathbb{R}^{n}\rightarrow \mathbb{R}\), where \(h_{K}(x)=\max\{x\cdot y : y\in K\}\) for \(x\in\mathbb{R}^{n}\). The support function of the dilate \(cK=\{cx:x\in K\}\) of a convex body *K* satisfies the equality

where \(c>0\). Note that support functions are positively homogeneous of degree one and subadditive. It follows immediately from the definition of support functions that, for convex bodies *K* and *L*, we have

For a convex body *K* and each Borel set \(\omega\subset S^{n-1}\), the reverse spherical image \(\mathcal{\tau}(K,\omega)\) of *K* at *Ï‰* is the set of all boundary points of *K* that have their outer unit normal belonging to the set *Ï‰*. Associated with each convex body \(K\in\mathcal{K}_{o}^{n}\), there is a Borel measure \(S_{K}\) on \(S^{n-1}\), called the Aleksandrov-Fenchel surface area measure of *K*, which is defined as

for each Borel set \(\omega\subseteq\mathbb{S}^{n-1}\). For the surface area measure of the dilate *cK* of *K*, we have

where \(c>0\). The Minkowski sum of convex sets \(K_{1}, \ldots, K_{m}\) can be defined as

By the definition of support function we have

The mixed volume \(V(K_{1}, \ldots, K_{n})\) of compact convex sets \(K_{1}, \ldots, K_{n}\) is defined by

The radial function \(\rho_{M}=\rho(M,\cdot):\mathbb{R}^{n}\setminus\{0\}\rightarrow[0,\infty)\) of a compact star-shaped (about the origin) \(M\subset\mathbb{R}^{n}\) can be defined as (see [3, 4])

We call *M* a star body (about the origin) if \(\rho_{M}\) is positive and continuous. We write \(\mathcal{S}_{o}^{n}\) for the set of star bodies about the origin in \(\mathbb{R}^{n}\). Two star bodies *M* and *N* are dilates (of one another) if \(\rho_{M}(u)/\rho_{N}(u)\) is independent of \(u\in S^{n-1}\). For \(s>0\), we have

The radial Minkowski addition and scalar product of the sets \(M_{1},\ldots,M_{r}\in\mathcal{S}_{o}^{n}\) and \(\lambda_{1},\ldots,\lambda_{r}\in\mathbb{R}\) is defined by (see [4, 10])

For \(M, N \in\mathcal{S}_{o}^{n}\) and \(\lambda, \mu\geq0\), \(a M\,\tilde{+}\,b N\) can be defined as the star body such that

The volume formula of a compact set *M* can be represented by the polar coordinate as follows:

where *S* is the Lebesgue measure on \(S^{n-1}\) (*i.e.*, the \((n-1)\)-dimensional Hausdorff measure).

For \(M_{1},\ldots, M_{r} \in\mathcal{S}_{o}^{n}\) and \(\lambda_{1},\ldots,\lambda_{r}\geq0\), the volume of \(\lambda_{1}M_{1}\tilde{+}\cdots\tilde{+}\lambda_{r}M_{r}\) is defined by

where \(\tilde{V}_{i_{1},\ldots,i_{n}}(M_{1},\ldots, M_{r})\) is the dual mixed volume of \(M_{i_{1}},\ldots,M_{i_{n}}\); we also denote

Let \(M_{1}=\cdots=M_{n-1}=M\) and \(M_{n-i+1}=\cdots=M_{n}=N\). Then

is written as \(\tilde{V}_{i}(M,N)\), and so

Let *N* be the unit ball, then \(\tilde{V}_{i}(M,B)\) becomes to the dual quermassintegral \(\tilde{W}_{i}(M)\), and the last formula implies that

By the dual Minkowski inequality we can obtain the dual Brunn-Minkowski inequality (see [10]):

For \(M,N\in\mathcal{S}_{o}^{n}\) and \(\lambda, \mu\geq0\), we have

with equality if and only if *M* and *N* are dilates.

For \(K, L\in\mathcal{K}^{n}\), by the solution of the Minkowski problem, there exists a convex body *C* such that

The body *C*, denoted by \(K\sharp L \), is called the Blaschke sum of *K* and *L*.

For Blaschke addition, a counterpart to the Brunn-Minkowski inequality, is the following:

with equality if and only if *K* and *L* are homothetic.

For \(M\in\mathcal{S}_{o}^{n}\), the half-chord along the direction \(u\in\mathbb{S}^{n}-1\) passing through \(y\in M\), \(p_{M}(x,u)\), is defined by

Then the chord integral of *M* can be defined as

For \(M, N\in\mathcal{S}_{o}^{n}\) and \(y\in M\cap N\), it is easy to see that

We also need the following Minkowski inequality for integrals is needed (see [13]):

Let \(f,g:\mathbb{S}^{n-1}\longrightarrow\mathbb{R}\) be positive continuous functions, and let \(1 < p < \infty\). Then we have

where equality holds if and only if *f* and *g* are proportional.

If \(p<0\) or \(0< p<1\), the inequality is reverse.

## 3 Inequalities of dual quermassintegrals

### Theorem 1

*For*
\(M,N\in\mathcal{S}_{o}^{n}\), *we have*
\(\tilde{W}_{2n}(M)^{\frac{1}{n}}+\tilde{W}_{2n}(N)^{\frac{1}{n}}\geq 4\tilde{W}_{2n}(M\,\tilde{+}\,N)^{\frac{1}{n}}\)
*with equality if and only if*
*M*
*and*
*N*
*are the same*.

### Proof

By the Minkowski inequality for integrals we have that

with equality if and only if \(\rho(M,u)=\rho(N,u)\), that is, *M* and *N* are the same.â€ƒâ–¡

For Blaschke addition, we have the following theorem.

### Theorem 2

*Let*
\(K_{j}\)
\((j=1,\ldots,m)\in\mathcal{K}_{o}^{n}\). *Then*, *for*
\(i>n\)
*or*
\(1< i< n\), *we have*

*with equality if and only if*
\(K_{1}, \ldots, K_{m}\)
*are homothetic*.

*For*
\(i<1\), *we have*

*with equality if and only if*
\(K_{1}, \ldots, K_{m}\)
*are homothetic*.

### Proof

If \(i>n\) or \(1< i< n\), then by the definition of Blaschke linear combination and the Minkowski inequality for integrals we can get

where equality holds (by Minkowskiâ€™s inequality for integrals) if \(K_{1}, \ldots, K_{m}\) are homothetic.

Similarly, for \(i<1\), we can get that the reverse inequality of Minkowskiâ€™s inequality for integrals.

Particularly, if \(i=0\), then Theorem 2 implies the following:â€ƒâ–¡

### Corollary 3.1

*Let*
\(K_{j}\)
\((j=1,\ldots,m)\in\mathcal{S}_{o}^{n}\). *Then*

*with equality if and only if*
\(K_{1}, \ldots, K_{m}\)
*are homothetic*.

## 4 Inequalities of chord integral of the star body

### Theorem 3

*Let*
\(M, N\in\mathcal{S}_{o}^{n}\), \(y\in K\cap L\). *Then*

*with equality if and only if*
*M*
*and*
*N*
*are the same*.

### Proof

By Minkowskiâ€™s inequality for integrals we get

with equality if and only if \(p_{M}(y,u)=p_{N}(y,u)\), that is, *M* and *N* are the same.â€ƒâ–¡

### Theorem 4

*Let*
\(M_{j}\)
\((j=1,\ldots,m)\in\mathcal{S}_{o}^{n}\)
*and*
\(y\in \bigcap^{m}_{j=1}M_{j}\). *If*
\(i>n\)
*or*
\(n-1< i< n\), *then*

*with equality if and only if*
\(M_{1}, \ldots, M_{m}\)
*are homothetic*.

*If*
\(i< n-1\), *then we have*

*with equality if and only if*
\(M_{1}, \ldots, M_{m}\)
*are homothetic*.

### Proof

If \(i>n\) or \(n-1< i< n\), then by the Minkowski linear combination and Minkowski inequality for integrals we have

where equality holds (by Minkowskiâ€™s inequality for integrals) if \(M_{1}, \ldots, M_{m}\) are homothetic.

Similarly, we can prove the case of \(i< n-1\) with the reverse inequality, which follows by the Minkowskiâ€™s inequality for integrals.â€ƒâ–¡

Particularly, if \(i=2n\), then by Theorem 4 we have the following corollary.

### Corollary 4.1

*Let*
\(M_{j}\)
\((j=1,\ldots,m)\in\mathcal{S}_{o}^{n}\)
*and*
\(y\in \bigcap^{m}_{j=1}M_{j}\). *Then*

*with equality if and only if*
\(M_{1}, \ldots, M_{m}\)
*are homothetic*.

### Theorem 5

*Let*
\(K_{j}\)
\((j=1,\ldots,m)\in\mathcal{K}_{o}^{n}\)
*and*
\(y\in \bigcap^{m}_{j=1}K_{j}\). *If*
\(i>n\)
*or*
\(1< i< n\), *then*

*with equality if and only if*
\(K_{1}, \ldots, K_{m}\)
*are homothetic*.

*If*
\(i<1\), *then we have*

*with equality if and only if*
\(K_{1}, \ldots, K_{m}\)
*are homothetic*.

### Proof

If \(i>n\) or \(1< i< n\), then by the definition of Blaschke linear combination and Minkowskiâ€™s inequality for integrals we have

where equality holds (by Minkowskiâ€™s inequality for integrals) if \(K_{1}, \ldots, K_{m}\) are homothetic.

Similarly, if \(i<1\), then we can get that the reverse inequality, which follows by the Minkowski inequality for integrals.â€ƒâ–¡

## References

Gardner, R: On the Busemann-Petty problem concerning central sections of centrally symmetric convex bodies. Bull. Am. Math. Soc.

**30**, 222-226 (1994)Burago, YD, Zalgaller, VA: Geometric Inequalities. Springer, Berlin (1988)

Schneider, R: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge (2014)

Gardner, R: Geometric Tomography, 2nd edn. Cambridge University Press, New York (2006)

Gardner, R: Intersection bodies and the Busemann-Petty problem. Trans. Am. Math. Soc.

**342**, 435-445 (1994)Gardner, R: A positive answer to the Busemann-Petty problem in three dimensions. Ann. Math.

**140**, 435-447 (1994)Goodey, P, Weil, W: Intersection bodies and ellipsoids. Mathematika

**42**, 295-304 (1995)Klain, D: Star Measures and Dual Mixed Volumes. Ph.D. thesis, MIT, Cambridge (1994)

Klain, D: Star valuations and dual mixed volumes. Adv. Math.

**121**, 80-101 (1996)Lutwak, E: Intersection bodies and dual mixed volumes. Adv. Math.

**71**, 232-261 (1988)Lutwak, E: Centroid bodies and dual mixed volumes. Proc. Lond. Math. Soc.

**60**, 365-391 (1990)Zhang, G: Centered bodies and dual mixed volumes. Trans. Am. Math. Soc.

**345**, 777-801 (1994)Hardy, GH, Littlewood, JE, PÃ³lya, G: Inequalities. Cambridge University Press, London (1934)

## Acknowledgements

Authors would like to thank two anonymous referees for many helpful comments and suggestions that directly led to the improvement of the original manuscript. Supported by Natural Science Foundation of China (Grant Nos. 11171364; 11271301; 11471266; 11426182); by â€˜Fundamental Research Funds for the Central Universitiesâ€™ (Grant Nos. XDJK2016B037; SWU115052; SWU1509190); by Natural Science Foundation Project of CQ CSTC (Grant Nos. cstc2014jcyjA00010; 2010BB9206) and by the Project-sponsored by SRF for ROCS, SEM.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

YY carried out inequalities of dual quermassintegrals. LZ and MZ carried out inequalities for the chord integral of a star body. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Yan, Y., Zhang, L. & Zhou, M. New inequalities for star bodies.
*J Inequal Appl* **2016**, 145 (2016). https://doi.org/10.1186/s13660-016-1081-5

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-016-1081-5