Open Access

\(L_{p}\) Harmonic radial combinations of star bodies

Journal of Inequalities and Applications20152015:134

https://doi.org/10.1186/s13660-015-0654-z

Received: 5 October 2014

Accepted: 1 April 2015

Published: 16 April 2015

Abstract

For star bodies, the \(L_{p}\) harmonic radial combinations were defined and studied in several papers. In this paper, we study the mean chord of \(L_{p}\) harmonic radial combinations of star bodies and get an upper bound for dual mixed volumes of \(L_{p}\) harmonic radial combination of star bodies and their polar bodies. Furthermore, we obtain a dual Urysohn type inequality and a dual Bieberbach type inequality.

Keywords

star body \(L_{p}\) harmonic radial combination Firey linear combination mean chord mean width

MSC

52A20 52A40

1 Introduction

The classical Brunn-Minkowski theory originated with Minkowski when he combined his concept of mixed volume with the Brunn-Minkowski inequality, which is the core of convex geometric analysis. This theory was developed from a few basic concepts such as support function, vector addition, and volume. Since Firey introduced his new \(L_{p}\) addition in 1960s (see [1]), the new \(L_{p}\) Brunn-Minkowski theory was born in Lutwak’s papers [2, 3] and it has witnessed a rapid growth (see, e.g., [413]).

In the 1970s, Lutwak introduced the dual mixed volume and hence developed the dual Brunn-Minkowski theory, which helped achieving a major breakthrough in the solution of the Busemann-Petty problem in the 1990s. The \(L_{p}\) harmonic radial combination of convex bodies was first investigated by Firey (see [14, 15]). Then, the \(L_{p}\) harmonic radial combination was extended to star bodies by Lutwak [3], and it plays a key role in the dual \(L_{p}\) Brunn-Minkowski theory.

For star bodies, the \(L_{p}\) harmonic radial combination was introduced and studied in several papers (see, e.g., [1, 3, 1620]). The aim of this paper is to study them further, that is, we mainly investigate the mean chord of \(L_{p}\) harmonic radial combination of star bodies.

Let K n denote the set of convex bodies (compact, convex subsets with nonempty interiors) in \(\mathbb{R}^{n}\) and K o n denote the subset of K n consisting of all convex bodies that contain the origin in their interiors. Let S o n denote the set of star bodies (star-shaped, continuous radial functions) in \(\mathbb{R}^{n}\) containing the origin in their interiors. The unit ball in \(\mathbb{R}^{n}\) and its surface will be denoted by B and \(S^{n-1}\), respectively. The volume of B will be denoted by \(\omega_{n}\), the \((n-1)\)-dimensional volume \(\alpha_{n-1}\) of \(S^{n-1}\) is \(\alpha_{n-1}=n\omega_{n}\).

The Minkowski addition of two convex bodies K and L is defined as
$$K+L=\{x+y:x\in K,y\in L\}. $$
The scalar multiplication αK of K, where \(\alpha\geq0\), is defined as
$$\alpha K= \{\alpha x: x\in K \}. $$
For each direction \(u\in S^{n-1}\), the support function \(h(K, u)\) of the convex body K can be defined by \(h(K, u)=\max\{u\cdot x: x\in K\}\), where \(u\cdot x\) denotes the usual inner product of x and u in \(\mathbb{R}^{n}\). The radial function \(\rho(K, u)\) of the star body K is \(\rho(K, u)=\sup\{\lambda>0: \lambda u\in K\}\) for \(u\in S^{n-1}\). Usually, we note \(\rho_{K}(u)=\rho(K, u)\). The polar body of a convex body K, denoted by \(K^{\ast}\), is another convex body defined by \(K^{\ast}=\{y: x\cdot y\leq1\mbox{ for all } x\in K\}\). For K K o n , the polar body has the well-known property that
$$ h\bigl(K^{\ast}, u\bigr)=\frac{1}{\rho(K, u)}, \qquad \rho \bigl(K^{\ast}, u\bigr)=\frac{1}{h(K, u)}. $$
For real \(p\geq1\), K , L K o n , and \(\alpha,\beta\geq0\) (not both zero), the Firey linear combination, α K + p β L K o n , was defined by (see [2, 21])
$$ h(\alpha\cdot K +_{p}\beta\cdot L, u)^{p}= \alpha h(K,u)^{p}+\beta h(L,u)^{p}, \quad u\in S^{n-1}. $$
(1.1)

In [22], the mean width of the Firey linear combinations of convex bodies was studied, and the lower bound of the mean width of the Firey linear combinations of convex body and its polar body was given.

For real \(p\geq1\), K , L S o n , and \(\alpha,\beta\geq0\) (not both zero), the \(L_{p}\) harmonic radial combination, α K + ˆ p β L S o n , was defined by (see [3])
$$ \rho(\alpha\cdot K\widehat{+}_{p}\beta\cdot L, u)^{-p}=\alpha \rho(K,u)^{-p}+\beta\rho(L,u)^{-p}, \quad u\in S^{n-1}. $$
(1.2)

In this paper, we give some good properties of \(L_{p}\) harmonic radial combination of star bodies from the definition directly. Besides these properties, we also establish an upper bound for dual mixed volumes \(\widetilde{V}_{i}(\cdot, \cdot)\) of \(L_{p}\) harmonic radial combination of star bodies and their polar bodies as follows.

Theorem 1.1

Let K K o n , real \(p\geq1\), and \(\alpha,\beta\geq0\), then for n is even
$$\widetilde{V}_{\frac{n}{2}}\bigl(\alpha\cdot K\widehat{+}_{p}\beta \cdot K^{\ast},\alpha\cdot K^{\ast}\widehat{+}_{p}\beta \cdot K\bigr)\leq\omega_{n}, $$
with equality if and only if K is a unit ball centered at the origin.

In [23], Hadwiger defined the mean width \(\overline{b}(K)\) of K K o n . Here we prove the following.

Theorem 1.2

(Dual Urysohn type inequality)

Let K , L K o n , real \(p\geq1\), and \(\alpha,\beta\geq0\) (not both zero), then
$$2^{n}\omega_{n}\overline{b}(\alpha\cdot K \widehat{+}_{p}\beta\cdot L)^{-n}\leq V\bigl(\alpha\cdot K^{\ast}+_{p}\beta\cdot L^{\ast}\bigr), $$
the equality holds if and only if \(\alpha\cdot K\widehat{+}_{p}\beta\cdot L \) is an ellipsoid.

This immediately yields the following inequality.

Theorem 1.3

(Dual Bieberbach type inequality)

Let K , L K o n , real \(p\geq1\), and \(\alpha,\beta\geq 0\) (not both zero), then
$$2^{n}\omega_{n}D(\alpha\cdot K\widehat{+}_{p}\beta \cdot L)^{-n}\leq V\bigl(\alpha\cdot K^{\ast}+_{p}\beta \cdot L^{\ast}\bigr), $$
where \(D(K)\) denotes the diameter of K and the equality holds if and only if \(\alpha\cdot K\widehat{+}_{p}\beta\cdot L \) is an ellipsoid.

2 Preliminaries

2.1 Mixed volumes and mean width

Let \(K_{1}, \ldots, K_{m}\) be compact convex sets in \(\mathbb{R}^{n}\) and \(\lambda_{1},\ldots,\lambda_{m}\geq0\). The volume of \(\lambda_{1}K_{1}+\cdots+\lambda_{m}K_{m}\) is a homogeneous nth degree polynomial in \(\lambda_{1},\ldots,\lambda_{m}\),
$$V(\lambda_{1}K_{1}+\cdots+\lambda_{m}K_{m})= \sum_{i_{1},\ldots,i_{n}=1}^{m}V(K_{i_{1}}, \ldots,K_{i_{n}})\lambda _{i_{1}}\cdots \lambda_{i_{n}}. $$
The coefficients \(V(K_{i_{1}},\ldots,K_{i_{n}})\) are nonnegative, symmetric in the indices, and are called mixed volumes of \(K_{i_{1}},\ldots,K_{i_{n}}\).
If K 1 , , K n K n , the mixed surface area measure \(S(K_{1}, \ldots, K_{n-1}; \cdot)\) is the unique finite Borel measure on \(S^{n-1}\) such that for all K K n ,
$$ V(K, K_{1}, \ldots, K_{n-1})=\frac{1}{n}\int _{S^{n-1}}h(K, u)\,dS(K_{1}, \ldots, K_{n-1}; u). $$
Let
$$V_{i}(K,L)=V(\underbrace{K,\ldots,K}_{n-i},\underbrace{L, \ldots,L}_{i}). $$
If L is the unit ball B, then the mixed volumes \(V(\underbrace{K,\ldots,K}_{n-i},\underbrace{B,\ldots,B}_{i})=V_{i}(K,B)\) are called the quermassintegrals of K and denoted by \(W_{i}(K)\). The quermassintegrals are generalizations of the surface area and the volume. Indeed, it can be shown that
$$ W_{0}(K)=V(K), \qquad nW_{1}(K)=S(K), \qquad W_{n}(K)=\omega_{n},\qquad \frac{2}{\omega_{n}}W_{n-1}(K)= \overline{b}(K). $$
(2.1)
Here \(\overline{b}(K)\) is the mean width of K K o n , defined by Hadwiger (see [23]),
$$ \overline{b}(K)=\frac{2}{n\omega_{n}}\int_{S^{n-1}}h(K,u)\,d\sigma(u), $$
where is the \((n-1)\)-dimensional volume element on \(S^{n-1}\), i.e., the area element on \(S^{n-1}\). Furthermore, the mixed width-integrals, \(A(K_{1},\ldots,K_{n})\), of K 1 , , K n K n was also defined by Lutwak (see [24])
$$ A(K_{1}, K_{2}, \ldots, K_{n})= \frac{1}{n}\int_{S^{n-1}}b(K_{1}, u)b(K_{2}, u)\cdots b(K_{n}, u)\,d\sigma(u), $$
(2.2)
where \(b(K, u)=\frac{h(K,u)+h(K,-u)}{2}\) is half the width of K in the direction u.

2.2 Dual mixed volumes and mean chord

Let L i S o n , for \(1\leq i \leq n\), the dual mixed volumes \(\widetilde{V}(L_{1},L_{2}, \ldots, L_{n})\) were defined by (see [25, 26])
$$ \widetilde{V}(L_{1},L_{2}, \ldots, L_{n})= \frac{1}{n}\int_{S^{n-1}}\rho_{L_{1}}(u) \rho_{L_{2}}(u)\cdots\rho _{L_{n}}(u)\,d\sigma. $$
Let
$$ \widetilde{V}_{i}(K,L)=\widetilde{V}(\underbrace{K,\ldots ,K}_{n-i},\underbrace{L,\ldots,L}_{i}), $$
then
$$ \widetilde{V}_{i}(K, L)=\frac{1}{n}\int _{S^{n-1}}\rho^{n-i}_{K}(u)\rho^{i}_{L}(u)\,d\sigma. $$
(2.3)
We shall also introduce the dual concept of the mean width of a convex body: for L S o n , the mean chord of L, \(\widetilde{d}(L)\), can be defined by
$$ \widetilde{d}(L)=\frac{2}{n\omega_{n}}\int_{S^{n-1}} \rho(L,u)\,d\sigma(u). $$
(2.4)
Furthermore, the mixed chord-integrals \(B(L_{1},\ldots,L_{n})\) of L 1 , , L n S o n were defined by Lu (see [27])
$$ B(L_{1}, \ldots, L_{n})=\frac{1}{n}\int _{S^{n-1}}d(L_{1}, u)\cdots d(L_{n}, u)\,d\sigma(u), $$
(2.5)
where \(d(L, u)=\frac{\rho(L,u)+\rho(L,-u)}{2}\) is half the chord of L in the direction u.

3 Main results and proofs

In the following, we obtain some good properties and inequalities for the \(L_{p}\) harmonic radial combinations of star bodies from the definitions directly.

Theorem 3.1

Let K , L S o n , real \(p\geq1\), \(\alpha,\beta\geq0\), and \(\alpha+\beta=1\). Then
$$\widetilde{d}(\alpha\cdot K \widehat{+}_{p}\beta\cdot L)\leq\alpha \widetilde{d}(K)+\beta\widetilde{d}(L). $$

Proof

According to the definition of \(L_{p}\) harmonic radial combination of star bodies (1.2) and the fact that \(f(x)=x^{-\frac{1}{p}}\) is convex, we have
$$ \rho(\alpha\cdot K\widehat{+}_{p}\beta\cdot L, u)\leq \alpha\rho(K, u)+\beta\rho(L, u), \quad\alpha+\beta=1. $$
(3.1)
So, using the definition of mean chord (2.4), we have
$$\begin{aligned} \widetilde{d}(\alpha\cdot K\widehat{+}_{p}\beta\cdot L) =&{} \frac{2}{n\omega_{n}}\int_{S^{n-1}}\rho(\alpha\cdot K\widehat {+}_{p}\beta\cdot L, u)\,d\sigma(u) \leq\frac{2}{n\omega_{n}}\int_{S^{n-1}}\alpha\rho(K, u)\,d\sigma(u) \\ &{} +\frac{2}{n\omega_{n}}\int_{S^{n-1}}\beta\rho(L, u)\,d\sigma(u) =\alpha\widetilde{d}(K)+\beta\widetilde{d}(L). \end{aligned}$$
This completes the proof. □

Theorem 3.2

(Positive multisublinear)

Let K , L K o n , real \(p\geq1\), \(\alpha,\beta\geq0\), and \(\alpha+\beta=1\). Then for any K 2 , , K n K n ,
$$ A(\alpha\cdot K +_{p}\beta\cdot L, K_{2}, \ldots,K_{n})\geq\alpha A(K, K_{2},\ldots,K_{n})+ \beta A(L, K_{2},\ldots,K_{n}). $$
(3.2)

Proof

According to the definition of Firey linear combination of convex bodies (1.1) and the fact that \(f(x)=x^{\frac{1}{p}}\) is concave, we have
$$h(\alpha\cdot K+_{p}\beta\cdot L, u)\geq\alpha h(K, u)+\beta h(L, u), \quad\alpha+\beta=1. $$
Then
$$\begin{aligned} b(\alpha\cdot K+_{p}\beta\cdot L, u) &=\frac{h(\alpha\cdot K+_{p}\beta\cdot L, u)+h(\alpha\cdot K+_{p}\beta \cdot L, -u)}{2} \\ &\geq\frac{1}{2}\bigl(\alpha h(K, u)+\beta h(L, u)\bigr)+\frac{1}{2} \bigl(\alpha h(K, -u)+\beta h(L, -u)\bigr) \\ &=\alpha b(K, u)+\beta b(L, u). \end{aligned}$$
So using definition (2.2), we can get
$$\begin{aligned} A(\alpha\cdot K+_{p}\beta\cdot L ,K_{2}, \ldots,K_{n}) ={}&\frac{1}{n}\int_{S^{n-1}}b(\alpha \cdot K+_{p}\beta\cdot L, u)b(K_{2}, u)\cdots b(K_{n}, u)\,d\sigma(u) \\ \geq{}&\frac{1}{n}\int_{S^{n-1}}\alpha b(K, u)b(K_{2}, u)\cdots b(K_{n}, u)\,d\sigma(u) \\ &{}+\frac{1}{n}\int_{S^{n-1}}\beta b(L, u)b(K_{2}, u)\cdots b(K_{n}, u)\,d\sigma(u) \\ ={}&\alpha A(K, K_{2}, \ldots,K_{n})+\beta A(L,K_{2},\ldots,K_{n}). \end{aligned}$$
This completes the proof. □

Just like Theorem 3.2, we have one more general property than that of Theorem 3.1 as follows. It is also the dual of inequality (3.2).

Theorem 3.3

(Positive multisublinear)

Let K , L S o n , \(p\geq1\), \(\alpha,\beta\geq0\), and \(\alpha+\beta=1\). Then for any K 2 , , K n S o n ,
$$B(\alpha\cdot K \widehat{+}_{p}\beta\cdot L, K_{2}, \ldots,K_{n})\leq \alpha B(K, K_{2},\ldots,K_{n})+ \beta B(L, K_{2},\ldots,K_{n}). $$

Proof

As in the proof of Theorem 3.2, by (3.1) we have
$$\begin{aligned} d(\alpha\cdot K\widehat{+}_{p}\beta\cdot L, u) ={}&\frac{\rho(\alpha\cdot K\widehat{+}_{p}\beta\cdot L, u)+\rho(\alpha \cdot K\widehat{+}_{p}\beta\cdot L, -u)}{2} \\ \leq{}&\frac{1}{2}\bigl(\alpha\rho(K,u)+\beta\rho(L,u)\bigr) \\ &{} +\frac{1}{2}\bigl(\alpha\rho(K,-u)+\beta\rho(L,-u)\bigr) \\ ={}&\alpha d(K, u)+\beta d(L,u). \end{aligned}$$
From definition (2.5) we have
$$\begin{aligned} & B(\alpha\cdot K\widehat{+}_{p}\beta\cdot L,K_{2}, \ldots,K_{n}) \\ &\quad=\frac{1}{n}\int_{S^{n-1}}d(\alpha\cdot K \widehat{+}_{p}\beta\cdot L,u)\,d(K_{2},u) \cdots d(K_{n},u)\,d\sigma(u) \\ &\quad\leq\frac{1}{n}\int_{S^{n-1}}\alpha\, d( K,u)\,d(K_{2},u)\cdots d(K_{n},u)\,d\sigma(u) \\ &\qquad{} +\frac{1}{n}\int_{S^{n-1}}\beta\, d(L,u)\,d(K_{2},u)\cdots d(K_{n},u)\,d\sigma(u) \\ &\quad=\alpha B(K,K_{2},\ldots,K_{n})+ \beta B(L,K_{2},\ldots,K_{n}). \end{aligned}$$
This completes the proof. □

Next, we give the proof of Theorem 1.1 which was illustrated in Section 1. We shall prove a generalized form of an upper bound for the dual mixed volume.

Theorem 3.4

Let K K o n , \(p\geq 1\), and \(\alpha,\beta\geq0\), then
$$\widetilde{V}_{i}\bigl(\alpha\cdot K\widehat{+}_{p}\beta \cdot K^{\ast},\alpha \cdot K^{\ast}\widehat{+}_{p}\beta \cdot K\bigr)\leq R^{n-2i} \omega_{n} $$
with equality if and only if K is the unit ball centered at the origin, where \(R=\max\{\rho(\alpha\cdot K\widehat{+}_{p}\beta\cdot K^{\ast},u), u\in S^{n-1}\}\).

Proof

From the arithmetic-geometric mean inequality, we have
$$\rho(\alpha\cdot K\widehat{+}_{p}\beta\cdot L,u)^{-p}=\alpha \rho (K,u)^{-p}+\beta\rho(L,u)^{-p}\geq\rho(K,u)^{-\alpha p} \rho (L,u)^{-\beta p}, $$
that is,
$$\rho(\alpha\cdot K\widehat{+}_{p}\beta\cdot L,u)\leq \rho(K,u)^{\alpha }\rho(L,u)^{\beta}, $$
where the equality holds if and only if \(\rho(K,u)=\rho(L,u)\).
If we let \(L=K^{\ast}\) and use \(h(K^{\ast},u)=\frac{1}{\rho(K,u)}\), then we have
$$\begin{aligned} \rho\bigl(\alpha\cdot K\widehat{+}_{p}\beta\cdot K^{\ast},u \bigr) &\leq\rho(K,u)^{\alpha}\rho\bigl(K^{\ast},u \bigr)^{\beta} \\ &=\frac{\rho(K,u)^{\alpha}}{h(K,u)^{\beta}}\leq\frac{h(K,u)^{\alpha }}{h(K,u)^{\beta}}. \end{aligned}$$
The second inequality follows since \(\rho(K,u)\leq h(K,u)\).
In the same manner, we have
$$\rho\bigl(\alpha\cdot K^{\ast}\widehat{+}_{p}\beta\cdot K,u \bigr)\leq\frac{h(K,u)^{\beta}}{h(K,u)^{\alpha}}. $$
Then
$$\rho\bigl(\alpha\cdot K\widehat{+}_{p}\beta\cdot K^{\ast},u \bigr)\rho\bigl(\alpha\cdot K^{\ast}\widehat{+}_{p}\beta\cdot K,u \bigr)\leq1. $$
Using definition (2.3) of dual mixed volume, we have
$$\begin{aligned} & \widetilde{V}_{i}\bigl(\alpha\cdot K\widehat{+}_{p}\beta \cdot K^{\ast},\alpha\cdot K^{\ast}\widehat{+}_{p}\beta \cdot K\bigr) \\ &\quad=\frac{1}{n}\int_{S^{n-1}}\rho\bigl(\alpha\cdot K \widehat{+}_{p}\beta\cdot K^{\ast},u\bigr)^{n-i}\rho \bigl(\alpha\cdot K^{\ast}\widehat{+}_{p}\beta\cdot K,u \bigr)^{i}\,du \\ &\quad\leq\frac{1}{n}\int_{S^{n-1}}\max _{u\in S^{n-1}}\rho\bigl(\alpha\cdot K\widehat{+}_{p}\beta\cdot K^{\ast},u\bigr)^{n-2i}\,du \\ &\quad=R^{n-2i} \omega_{n}. \end{aligned}$$
From the equality conditions of the arithmetic-geometric mean inequality and \(h(K,u)=\rho(K,u)\), the equality holds if and only if K is the unit ball centered at the origin. This completes the proof. □

Remark 3.1

Theorem 1.1 is just the case \(i=\frac{n}{2}\) of Theorem 3.4, and we complete the proof of Theorem 1.1.

In the following, we will obtain a dual Urysohn type inequality and a dual Bieberbach type inequality.

Lemma 3.1

(see [26])

Let K K o n , then
$$\omega_{n}^{n-i+1}W_{n-1}^{i-n}(K)\leq W_{i}\bigl(K^{\ast}\bigr), $$
where the equality holds if and only if K is an n-ball centered at the origin.

Theorem 3.5

Let K , L K o n , \(p\geq1\), and \(\alpha,\beta\geq0\), then
$$\omega_{n}^{n-i+1}W_{n-1}^{i-n}(\alpha\cdot K \widehat{+}_{p}\beta\cdot L)\leq W_{i}\bigl(\alpha\cdot K^{\ast}+_{p}\beta\cdot L^{\ast}\bigr), $$
where the equality holds if and only if \(\alpha\cdot K\widehat{+}_{p}\beta\cdot L \) is an ellipsoid.

Proof

From the definitions of Firey linear combinations and \(L_{p}\) harmonic radial combinations, adding the relation \(h(K^{\ast},u)=\frac{1}{\rho(K,u)}\), we have
$$\begin{aligned} h^{p}\bigl((\alpha\cdot K\widehat{+}_{p}\beta\cdot L)^{\ast},u\bigr)&=\frac{1}{\rho^{p}_{\alpha\cdot K\widehat{+}_{p}\beta\cdot L}(u)} =\rho^{-p}_{\alpha\cdot K\widehat{+}_{p}\beta\cdot L}(u) \\ &=\alpha\rho^{-p}(K,u)+\beta \rho^{-p}(L,u) \\ &=\alpha h^{p}\bigl(K^{\ast},u\bigr)+\beta h^{p} \bigl(L^{\ast},u\bigr) \\ &=h^{p}\bigl(\alpha\cdot K^{\ast}+_{p}\beta\cdot L^{\ast},u\bigr). \end{aligned}$$
Thus
$$(\alpha\cdot K\widehat{+}_{p}\beta\cdot L)^{\ast}=\alpha\cdot K^{\ast}+_{p}\beta\cdot L^{\ast}. $$
By Lemma 3.1, we have
$$\omega_{n}^{n-i+1}W_{n-1}^{i-n}(\alpha\cdot K \widehat{+}_{p}\beta\cdot L)\leq W_{i}\bigl(\alpha\cdot K^{\ast}+_{p}\beta\cdot L^{\ast}\bigr), $$
the condition for the equality to hold can be obtained from Lemma 3.1 directly. □

If we let \(i=0\) in Theorem 3.5, then we have the following.

Corollary 3.1

Let K , L K o n , \(p\geq1\), and \(\alpha,\beta\geq0\). Then
$$\omega_{n}^{n+1}W_{n-1}^{-n}(\alpha\cdot K \widehat{+}_{p}\beta\cdot L)\leq V\bigl(\alpha\cdot K^{\ast}+_{p} \beta\cdot L^{\ast}\bigr), $$
where the equality holds if and only if \(\alpha\cdot K\widehat{+}_{p}\beta\cdot L \) is an ellipsoid.

At the same time, by the last equation in (2.1) we can obtain the dual Urysohn type inequality (see [26] for the dual Urysohn inequality):

Corollary 3.2

(Theorem 1.2)

Let K , L K o n , \(p\geq1\), and \(\alpha,\beta\geq 0\). Then
$$2^{n}\omega_{n}\overline{b}(\alpha\cdot K \widehat{+}_{p}\beta\cdot L)^{-n}\leq V\bigl(\alpha\cdot K^{\ast}+_{p}\beta\cdot L^{\ast}\bigr), $$
the equality holds if and only if \(\alpha\cdot K\widehat{+}_{p}\beta\cdot L \) is an ellipsoid.

This immediately yields the dual Bieberbach type inequality (see [26] for the dual Bieberbach inequality):

Corollary 3.3

(Theorem 1.3)

Let K , L K o n , \(p\geq1\), and \(\alpha,\beta\geq0\). Then
$$2^{n}\omega_{n}D(\alpha\cdot K\widehat{+}_{p}\beta \cdot L)^{-n}\leq V\bigl(\alpha\cdot K^{\ast}+_{p}\beta \cdot L^{\ast}\bigr), $$
where \(D(K)\) denotes the diameter of K and the equality holds if and only if \(\alpha\cdot K\widehat{+}_{p}\beta\cdot L \) is an ellipsoid.

Declarations

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. This work is supported in part by the Doctor Starting Foundation of Hubei University for Nationalities (No. MY2014B001) and National Natural Science Foundation of China (No.11201133).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)
Department of Mathematics, Hubei University for Nationalities

References

  1. Firey, W: p-Means of convex bodies. Math. Scand. 10, 17-24 (1962) MATHMathSciNetGoogle Scholar
  2. Lutwak, E: The Brunn-Minkowski-Firey theory I: mixed volumes and the Minkowski problem. J. Differ. Geom. 38, 131-150 (1993) MATHMathSciNetGoogle Scholar
  3. Lutwak, E: The Brunn-Minkowski-Firey theory II: affine and geominimal surface areas. Adv. Math. 118, 244-294 (1996) View ArticleMATHMathSciNetGoogle Scholar
  4. Campi, S, Gronchi, P: The \(L_{p}\)-Busemann-Petty centroid inequality. Adv. Math. 167, 128-141 (2002) View ArticleMATHMathSciNetGoogle Scholar
  5. Campi, S, Gronchi, P: On the reverse \(L_{p}\)-Busemann-Petty centroid inequality. Mathematika 49, 1-11 (2002) View ArticleMATHMathSciNetGoogle Scholar
  6. Chou, KS, Wang, XJ: The \(L_{p}\)-Minkowski problem and the Minkowski problem in centroaffine geometry. Adv. Math. 205, 33-83 (2006) View ArticleMATHMathSciNetGoogle Scholar
  7. Haberl, C: \(L_{p}\) Intersection bodies. Adv. Math. 217, 2599-2624 (2008) View ArticleMATHMathSciNetGoogle Scholar
  8. Haberl, C, Schuster, FE: General \(L_{p}\) affine isoperimetric inequalities. J. Differ. Geom. 83, 1-26 (2009) MATHMathSciNetGoogle Scholar
  9. Haberl, C, Schuster, FE: Asymmetric affine \(L_{p}\) Sobolev inequalities. J. Funct. Anal. 257, 641-658 (2009) View ArticleMATHMathSciNetGoogle Scholar
  10. Lutwak, E, Zhang, G: Blaschke-Santaló inequalities. J. Differ. Geom. 47, 1-16 (1997) MATHMathSciNetGoogle Scholar
  11. Lutwak, E, Yang, D, Zhang, G: \(L_{p}\) Affine isoperimetric inequalities. J. Differ. Geom. 56, 111-132 (2000) MATHMathSciNetGoogle Scholar
  12. Lutwak, E, Yang, D, Zhang, G: Sharp affine \(L_{p}\) Sobolev inequalities. J. Differ. Geom. 62, 17-38 (2002) MATHMathSciNetGoogle Scholar
  13. Lutwak, E, Yang, D, Zhang, G: \(L_{p}\) John ellipsoids. Proc. Lond. Math. Soc. 90, 497-520 (2005) View ArticleMATHMathSciNetGoogle Scholar
  14. Firey, W: Polar means of convex bodies and a dual to the Brunn-Minkowski theorem. Can. J. Math. 13, 444-453 (1961) View ArticleMATHMathSciNetGoogle Scholar
  15. Firey, W: Mean cross-section measures of harmonic means of convex bodies. Pac. J. Math. 11, 1263-1266 (1961) View ArticleMATHMathSciNetGoogle Scholar
  16. Chai, YD, Lee, YS: Harmonic radial combinations and dual mixed volumes. Asian J. Math. 5, 493-498 (2001) MATHMathSciNetGoogle Scholar
  17. Wang, WD, Qi, C: \(L_{p}\)-Dual geominimal surface area. J. Inequal. Appl. 2011, 6 (2011) View ArticleGoogle Scholar
  18. Zhao, CJ, Chen, LY, Cheung, WS: Polar duals of convex and star bodies. J. Inequal. Appl. 2012, 90 (2012) View ArticleMathSciNetGoogle Scholar
  19. Zhu, B, Li, N, Zhou, J: Isoperimetric inequalities for \(L_{p}\) geominimal surface area. Glasg. Math. J. 53, 717-726 (2011) View ArticleMATHMathSciNetGoogle Scholar
  20. Zhu, B, Li, N, Zhou, J: Brunn-Minkowski inequalities for \(L_{p}\) moment bodies. Glasg. Math. J. 55, 391-398 (2013) View ArticleMATHMathSciNetGoogle Scholar
  21. Schneider, R: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge (1993) View ArticleMATHGoogle Scholar
  22. Xiong, G, Xiao, QM, Cheung, WS: Firey linear combinations of convex bodies. J. Shanghai Univ. 13, 102-104 (2009) View ArticleMATHMathSciNetGoogle Scholar
  23. Hadwiger, H: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. Springer, Berlin (1957) View ArticleMATHGoogle Scholar
  24. Lutwak, E: Mixed width-integrals of convex bodies. Isr. J. Math. 28, 249-253 (1977) View ArticleMATHMathSciNetGoogle Scholar
  25. Gardner, RJ: Geometric Tomography, 2nd edn. Cambridge University Press, New York (2006) View ArticleMATHGoogle Scholar
  26. Lutwak, E: Dual mixed volumes. Pac. J. Math. 58, 531-538 (1975) View ArticleMATHMathSciNetGoogle Scholar
  27. Lu, FH: Mixed chord-integral of star bodies. J. Korean Math. Soc. 47, 277-288 (2010) View ArticleMATHMathSciNetGoogle Scholar

Copyright

© Shen and Zhu; licensee Springer. 2015