- Research
- Open access
- Published:
\(L_{p}\) Harmonic radial combinations of star bodies
Journal of Inequalities and Applications volume 2015, Article number: 134 (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.
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., [4–13]).
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, 16–20]). 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 denote the set of convex bodies (compact, convex subsets with nonempty interiors) in \(\mathbb{R}^{n}\) and denote the subset of consisting of all convex bodies that contain the origin in their interiors. Let 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
The scalar multiplication αK of K, where \(\alpha\geq0\), is defined as
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 , the polar body has the well-known property that
For real \(p\geq1\), , and \(\alpha,\beta\geq0\) (not both zero), the Firey linear combination, , was defined by (see [2, 21])
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\), , and \(\alpha,\beta\geq0\) (not both zero), the \(L_{p}\) harmonic radial combination, , was defined by (see [3])
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 , real \(p\geq1\), and \(\alpha,\beta\geq0\), then for n is even
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 . Here we prove the following.
Theorem 1.2
(Dual Urysohn type inequality)
Let , real \(p\geq1\), and \(\alpha,\beta\geq0\) (not both zero), then
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 , real \(p\geq1\), and \(\alpha,\beta\geq 0\) (not both zero), then
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}\),
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 , 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 ,
Let
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
Here \(\overline{b}(K)\) is the mean width of , defined by Hadwiger (see [23]),
where dσ 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 was also defined by Lutwak (see [24])
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 , 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])
Let
then
We shall also introduce the dual concept of the mean width of a convex body: for , the mean chord of L, \(\widetilde{d}(L)\), can be defined by
Furthermore, the mixed chord-integrals \(B(L_{1},\ldots,L_{n})\) of were defined by Lu (see [27])
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 , real \(p\geq1\), \(\alpha,\beta\geq0\), and \(\alpha+\beta=1\). Then
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
So, using the definition of mean chord (2.4), we have
This completes the proof. □
Theorem 3.2
(Positive multisublinear)
Let , real \(p\geq1\), \(\alpha,\beta\geq0\), and \(\alpha+\beta=1\). Then for any ,
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
Then
So using definition (2.2), we can get
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 , \(p\geq1\), \(\alpha,\beta\geq0\), and \(\alpha+\beta=1\). Then for any ,
Proof
As in the proof of Theorem 3.2, by (3.1) we have
From definition (2.5) we have
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 , \(p\geq 1\), and \(\alpha,\beta\geq0\), then
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
that is,
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
The second inequality follows since \(\rho(K,u)\leq h(K,u)\).
In the same manner, we have
Then
Using definition (2.3) of dual mixed volume, we have
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 , then
where the equality holds if and only if K is an n-ball centered at the origin.
Theorem 3.5
Let , \(p\geq1\), and \(\alpha,\beta\geq0\), then
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
Thus
By Lemma 3.1, we have
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 , \(p\geq1\), and \(\alpha,\beta\geq0\). Then
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 , \(p\geq1\), and \(\alpha,\beta\geq 0\). Then
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 , \(p\geq1\), and \(\alpha,\beta\geq0\). Then
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.
References
Firey, W: p-Means of convex bodies. Math. Scand. 10, 17-24 (1962)
Lutwak, E: The Brunn-Minkowski-Firey theory I: mixed volumes and the Minkowski problem. J. Differ. Geom. 38, 131-150 (1993)
Lutwak, E: The Brunn-Minkowski-Firey theory II: affine and geominimal surface areas. Adv. Math. 118, 244-294 (1996)
Campi, S, Gronchi, P: The \(L_{p}\)-Busemann-Petty centroid inequality. Adv. Math. 167, 128-141 (2002)
Campi, S, Gronchi, P: On the reverse \(L_{p}\)-Busemann-Petty centroid inequality. Mathematika 49, 1-11 (2002)
Chou, KS, Wang, XJ: The \(L_{p}\)-Minkowski problem and the Minkowski problem in centroaffine geometry. Adv. Math. 205, 33-83 (2006)
Haberl, C: \(L_{p}\) Intersection bodies. Adv. Math. 217, 2599-2624 (2008)
Haberl, C, Schuster, FE: General \(L_{p}\) affine isoperimetric inequalities. J. Differ. Geom. 83, 1-26 (2009)
Haberl, C, Schuster, FE: Asymmetric affine \(L_{p}\) Sobolev inequalities. J. Funct. Anal. 257, 641-658 (2009)
Lutwak, E, Zhang, G: Blaschke-Santaló inequalities. J. Differ. Geom. 47, 1-16 (1997)
Lutwak, E, Yang, D, Zhang, G: \(L_{p}\) Affine isoperimetric inequalities. J. Differ. Geom. 56, 111-132 (2000)
Lutwak, E, Yang, D, Zhang, G: Sharp affine \(L_{p}\) Sobolev inequalities. J. Differ. Geom. 62, 17-38 (2002)
Lutwak, E, Yang, D, Zhang, G: \(L_{p}\) John ellipsoids. Proc. Lond. Math. Soc. 90, 497-520 (2005)
Firey, W: Polar means of convex bodies and a dual to the Brunn-Minkowski theorem. Can. J. Math. 13, 444-453 (1961)
Firey, W: Mean cross-section measures of harmonic means of convex bodies. Pac. J. Math. 11, 1263-1266 (1961)
Chai, YD, Lee, YS: Harmonic radial combinations and dual mixed volumes. Asian J. Math. 5, 493-498 (2001)
Wang, WD, Qi, C: \(L_{p}\)-Dual geominimal surface area. J. Inequal. Appl. 2011, 6 (2011)
Zhao, CJ, Chen, LY, Cheung, WS: Polar duals of convex and star bodies. J. Inequal. Appl. 2012, 90 (2012)
Zhu, B, Li, N, Zhou, J: Isoperimetric inequalities for \(L_{p}\) geominimal surface area. Glasg. Math. J. 53, 717-726 (2011)
Zhu, B, Li, N, Zhou, J: Brunn-Minkowski inequalities for \(L_{p}\) moment bodies. Glasg. Math. J. 55, 391-398 (2013)
Schneider, R: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge (1993)
Xiong, G, Xiao, QM, Cheung, WS: Firey linear combinations of convex bodies. J. Shanghai Univ. 13, 102-104 (2009)
Hadwiger, H: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. Springer, Berlin (1957)
Lutwak, E: Mixed width-integrals of convex bodies. Isr. J. Math. 28, 249-253 (1977)
Gardner, RJ: Geometric Tomography, 2nd edn. Cambridge University Press, New York (2006)
Lutwak, E: Dual mixed volumes. Pac. J. Math. 58, 531-538 (1975)
Lu, FH: Mixed chord-integral of star bodies. J. Korean Math. Soc. 47, 277-288 (2010)
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).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
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.
About this article
Cite this article
Shen, R., Zhu, B. \(L_{p}\) Harmonic radial combinations of star bodies. J Inequal Appl 2015, 134 (2015). https://doi.org/10.1186/s13660-015-0654-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0654-z