Skip to main content

The L p -dual mixed geominimal surface area for multiple star bodies

Abstract

According to the notion of the L p -mixed geominimal surface area of multiple convex bodies which were introduced by Ye et al., we define the concept of the L p -dual mixed geominimal surface area for multiple star bodies, and we establish several inequalities related to this concept.

MSC:52A20, 52A40.

1 Introduction

Let K n denote the set of convex bodies (compact, convex subsets with nonempty interiors) in Euclidean space R n . For the set of convex bodies containing the origin in their interiors and the set of convex bodies whose centroids lie at the origin in R n , we write K o n and K c n , respectively. S o n and S c n , respectively, denote the set of star bodies (about the origin) and the set of star bodies whose centroids lie at the origin in R n . Let F o n denote the set of K o n that have a positive continuous curvate function. Let S n 1 denote the unit sphere in R n and V(K) the n-dimensional volume of the body K. For the standard unit ball B in R n , its volume is written by ω n =V(B).

The notion of L p -geominimal surface area was given by Lutwak in [1]. For K K o n , and p1, the L p -geominimal surface area, G p (K), of K is defined by

ω n p n G p (K)=inf { n V p ( K , L ) V ( L ) p n : L K o n } .

Here V p (K,L) denotes L p -mixed volume of K,L K o n (see [1, 2]) and L denotes the polar of L. For the case p=1, G p (K) is just the classical geominimal surface area which was introduced by Petty [3]. Some affine isoperimetric inequalities related to the classical and L p -geominimal surface areas can be found in [310]. Recently, the L p -geominimal surface area was successfully extended to any real p (pn) by Ye in [11]. Especially, Ye et al. [12] studied the L p -mixed geominimal surface area for multiple convex bodies. For p>0, they defined the L p -mixed geominimal surface areas for K 1 ,, K n F o n as

G p ( 1 ) ( K 1 , , K n ) = inf L K o n { n V p ( K 1 , , K n ; L , , L ) n n + p V ( L ) p n + p } ; G p ( 2 ) ( K 1 , , K n ) = inf L i K o n { n V p ( K 1 , , K n ; L 1 , , L n ) n n + p i = 1 n V ( L i ) p ( n + p ) n } .

Here Q denotes the polar body of Q, and V p ( K 1 ,, K n ; L 1 ,, L n ) denotes a type of L p -mixed volume of K 1 ,, K n F o n , L 1 ,, L n K o n (see [12]).

Wang and Qi in [13] introduced the L p -dual geominimal surface area as follows: For K S o n , and p1, the L p -dual geominimal surface area, G ˜ p (K), of K is defined by

ω n p n G ˜ p (K)=inf { n V ˜ p ( K , L ) V ( L ) p n : L K c n } .
(1.1)

Here V ˜ p (K,L) denotes the L p -dual mixed volume of K,L S o n (see Section 2).

Note that we extend L from an origin-symmetric convex body to L K c n in definition (1.1). Actually, we can prove that the results of [13] all are correct under this extension.

In this paper, we first define the L p -dual mixed geominimal surface area for multiple star bodies with the same idea in mind as [12].

Definition 1.1 For K 1 ,, K n S o n , p1, the L p -dual mixed geominimal surface areas, G ˜ p ( j ) ( K 1 ,, K n ) (j=1,2), of K 1 ,, K n , are defined by

ω n p n G ˜ p ( 1 ) ( K 1 ,, K n )= inf L K c n { n V ˜ p ( K 1 , , K n ; L , , L ) V ( L ) p n } ;
(1.2)
ω n p n G ˜ p ( 2 ) ( K 1 ,, K n )= inf L i K c n { n V ˜ p ( K 1 , , K n ; L 1 , , L n ) i = 1 n V ( L i ) p n 2 } .
(1.3)

Here V ˜ p ( K 1 ,, K n ; L 1 ,, L n ) denotes a type of L p -dual mixed volume of the star bodies K 1 ,, K n , L 1 ,, L n (see (2.5)).

Comparing the definitions (1.2) and (1.3), we easily obtain

G ˜ p ( 2 ) ( K 1 ,, K n ) G ˜ p ( 1 ) ( K 1 ,, K n ).
(1.4)

When K 1 == K n =K in (1.2), then

G ˜ p ( 1 ) (K,,K)= G ˜ p (K).
(1.5)

Further, we establish some inequalities for the L p -dual mixed geominimal surface area. Our results can be stated as follows.

Theorem 1.1 If K 1 ,, K n S o n , p1, 1mn, then

(1.6)
(1.7)

Equality holds in inequality (1.6) if and only if K i (i=nm+1,,n) all are dilates of each other. Equality holds in inequality (1.7) if and only if there exist constants c 1 , c 2 ,, c m (not all zero) such that, for all u S n 1 ,

c 1 ρ K n n + p (u) ρ L n p (u)= c 2 ρ K n 1 n + p (u) ρ L n 1 p (u)== c m ρ K n m + 1 n + p (u) ρ L n m + 1 p (u).

In particular, if m=n, then we have the following.

Corollary 1.1 If K 1 ,, K n S o n , p1, then

[ G ˜ p ( 2 ) ( K 1 , , K n ) ] n [ G ˜ p ( 1 ) ( K 1 , , K n ) ] n G ˜ p ( K 1 ) G ˜ p ( K n ).
(1.8)

Equality holds in the second inequality of (1.8) if and only if K i (i=1,2,,n) all are dilates of each other.

Using Corollary 1.1, we may get the following Blaschke-Santalö type inequality.

Corollary 1.2 If K 1 ,, K n K c n , np1, then

G ˜ p ( 2 ) ( K 1 ,, K n ) G ˜ p ( 2 ) ( K 1 , , K n ) G ˜ p ( 1 ) ( K 1 ,, K n ) G ˜ p ( 1 ) ( K 1 , , K n ) n 2 ω n 2 .
(1.9)

Equality holds in the second inequality of (1.9) if and only if K i (i=1,2,,n) all are balls centered at the origin.

Theorem 1.2 If K 1 ,, K n K c n , p1, then

G ˜ p ( 2 ) ( K 1 ,, K n )n ω n 2 n + p n i = 1 n V ( K i ) ( n + p ) n 2 .

Theorem 1.3 If K 1 ,, K n S o n , 1p<q, then

( G ˜ p ( 1 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + p ) 1 p ( G ˜ q ( 1 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + q ) 1 q ;
(1.10)
( G ˜ p ( 2 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + p ) 1 p ( G ˜ q ( 2 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + q ) 1 q .
(1.11)

Equality holds in (1.10) and (1.11) if and only if each K i K c n (i=1,2,,n).

2 Notations and background materials

2.1 Radial function and polar set

If K is a compact star-shaped (with respect to the origin) in R n , then its radial function, ρ K =ρ(K,): R n {0}[0,), is defined by (see [6, 14])

ρ(K,u)=max{λ0:λuK},u S n 1 .

If ρ K is positive and continuous, K will be called a star body (with respect to the origin). Two star bodies K and L are said to be dilates (of one another) if ρ K (u)/ ρ L (u) is independent of u S n 1 .

If E is a nonempty subset in R n , the polar set, E , of E is defined by (see [6, 14])

E = { x R n : x y 1 , y E } .

For K K o n and its polar body, the well-known Blaschke-Stantalö inequality can be stated (see [14]): If K K c n , then

V(K)V ( K ) ω n 2 ,
(2.1)

with equality if and only if K is an ellipsoid centered at the origin.

2.2 Dual mixed volume

The dual mixed volume of star bodies was introduced by Lutwak (see [15]). For K 1 ,, K n S o n , the dual mixed volume, V ˜ ( K 1 ,, K n ), of K 1 ,, K n is given by

V ˜ ( K 1 , K 2 ,, K n )= 1 n S n 1 ρ K 1 (u) ρ K 2 (u) ρ K n (u)du.
(2.2)

The classical Alexander-Fenchel inequality for the dual mixed volume (see [6, 14]) asserts that the integer m satisfies 1mn such that

with equality if and only if K n m + 1 ,, K n are all dilations of each other.

In particular, if m=n, one has the Minkowski inequality

V ˜ ( K 1 , K 2 , , K n ) n V( K 1 )V( K 2 )V( K n ),
(2.3)

with equality if and only if K 1 ,, K n are all dilations of each other.

2.3 L p -Dual mixed volume

Lutwak in [1] introduced the L p -dual mixed volume. For K,L S o n , p1, the L p -dual mixed volume, V ˜ p (K,L), of K and L is defined by

V ˜ p (K,L)= 1 n S n 1 ρ K n + p (u) ρ L p (u)du.
(2.4)

Associated with (2.4), for all K 1 ,, K n S o n , L 1 ,, L n S o n , and p1, we define

V ˜ p ( K 1 ,, K n ; L 1 ,, L n )= 1 n S n 1 i = 1 n [ ρ K i n + p ( u ) ρ L i p ( u ) ] 1 n du.
(2.5)

From (2.2) and (2.5), we easily get

V ˜ p ( K 1 ,, K n ; K 1 ,, K n )= V ˜ ( K 1 ,, K n ).
(2.6)

If K 1 == K n =K and L 1 == L n =L in (2.5), then (2.4) and (2.5) yield

V ˜ p (K,,K;L,,L)= V ˜ p (K,L).

3 Results and proofs

In this section, we will prove Theorems 1.1-1.3 and Corollaries 1.1-1.2.

Proof of Theorem 1.1 We first prove inequality (1.7) is true.

Let ρ 0 , ρ 1 ,, ρ m be nonnegative bounded Borel functions on S n 1 . By the Hölder inequality (see [16]), we have (see [14])

( 1 n S n 1 ρ 0 ( u ) ρ 1 ( u ) ρ m ( u ) d u ) m i = 0 m 1 ( 1 n S n 1 ρ 0 ( u ) [ ρ i + 1 ( u ) ] m d u ) ,
(3.1)

with equality if and only if there exist constants b 1 ,, b m 0 (not all zero) such that b 1 ρ 1 m (u)== b m ρ m m (u) for all u S n 1 .

For i=0,,m1, we let

ρ 0 ( u ) = [ ρ K 1 n + p ( u ) ρ L 1 p ( u ) ρ K n m n + p ( u ) ρ L n m p ( u ) ] 1 n , ρ i + 1 ( u ) = [ ρ K n i n + p ( u ) ρ L n i p ( u ) ] 1 n .

In association with (2.5), we get

(3.2)

Combining with (1.3), (3.2), we get

i.e.,

This gives (1.7).

According to the equality condition of inequality (3.1), we see that equality holds in inequality (1.7) if and only if

c 1 ρ K n n + p (u) ρ L n p (u)= c 2 ρ K n 1 n + p (u) ρ L n 1 p (u)== c m ρ K n m + 1 n + p (u) ρ L n m + 1 p (u)

for all u S n 1 , where c i = b i n / m (i=1,2,,m).

Now we complete the proof of (1.6). For i=0,,m1, we let

ρ 0 ( u ) = [ ρ K 1 n + p ( u ) ρ L p ( u ) ρ K n m n + p ( u ) ρ L p ( u ) ] 1 n , ρ i + 1 ( u ) = [ ρ K n i n + p ( u ) ρ L p ( u ) ] 1 n .

In association with (2.5) and (3.1), we get

(3.3)

Similar to the proof of (1.7), combining with (1.2) and (3.3), we obtain

According to the equality condition of inequality (3.1), we see that equality holds in inequality (1.6) if and only if

c 1 ρ K n n + p (u) ρ L p (u)= c 2 ρ K n 1 n + p (u) ρ L p (u)== c m ρ K n m + 1 n + p (u) ρ L p (u)

for all u S n 1 , where c i = b i n / m (i=1,2,,m). This means that

c 1 ρ K n n + p (u)= c 2 ρ K n 1 n + p (u)== c m ρ K n m + 1 n + p (u)

for all u S n 1 , i.e., K i (i=nm+1,,n) all are dilates of each other. □

Proof of Corollary 1.1 Let m=n in (1.6), and together with (1.4) and (1.5), we easily obtain

[ G ˜ p ( 2 ) ( K 1 , , K n ) ] n [ G ˜ p ( 1 ) ( K 1 , , K n ) ] n i = 0 n 1 G ˜ p ( 1 ) ( K n i , , K n i ) G ˜ p ( K 1 ) G ˜ p ( K 2 ) G ˜ p ( K n ) .

This gives (1.8).

From the equality condition of (1.6), we easily find that equality holds in the second inequality of (1.8) if and only if there exist constants c 1 , c 2 ,, c n (not all zero) such that, for all u S n 1 , c 1 ρ K n n + p (u) ρ L p (u)= c 2 ρ K n 1 n + p (u) ρ L p (u)== c n ρ K 1 n + p (u) ρ L p (u). This means all K i (i=1,2,,n) are dilates of each other. □

In order to prove Corollary 1.2, we give the following lemma.

Lemma 3.1 ([13])

If K K c n , np1, then

G ˜ p (K) G ˜ p ( K ) n 2 ω n 2 ,
(3.4)

with equality if and only if K is a ball centered at the origin.

Proof of Corollary 1.2 Corollary 1.1, for K and K , immediately yields

[ G ˜ p ( 2 ) ( K 1 , , K n ) ] n [ G ˜ p ( 1 ) ( K 1 , , K n ) ] n G ˜ p ( K 1 ) G ˜ p ( K n ),
(3.5)
[ G ˜ p ( 2 ) ( K 1 , , K n ) ] n [ G ˜ p ( 1 ) ( K 1 , , K n ) ] n G ˜ p ( K 1 ) G ˜ p ( K n ) .
(3.6)

Combining with (3.5), (3.6), and (3.4), we obtain

[ G ˜ p ( 2 ) ( K 1 , , K n ) ] n [ G ˜ p ( 2 ) ( K 1 , , K n ) ] n [ G ˜ p ( 1 ) ( K 1 , , K n ) ] n [ G ˜ p ( 1 ) ( K 1 , , K n ) ] n G ˜ p ( K 1 ) G ˜ p ( K 1 ) G ˜ p ( K n ) G ˜ p ( K n ) [ n 2 ω n 2 ] n ,

i.e.,

G ˜ p ( 2 ) ( K 1 ,, K n ) G ˜ p ( 2 ) ( K 1 , , K n ) G ˜ p ( 1 ) ( K 1 ,, K n ) G ˜ p ( 1 ) ( K 1 , , K n ) n 2 ω n 2 .

This yields (1.9).

By the equality conditions of inequality (3.4) and the second inequality of (1.8), we know that equality holds in the second inequality of (1.9) if and only if K 1 ,, K n all are balls centered at the origin. □

Proof of Theorem 1.2 From (1.3), it follows that, for any L i K c n ,

G ˜ p ( 2 ) ( K 1 ,, K n )n ω n p n V ˜ p ( K 1 ,, K n ; L 1 ,, L n ) i = 1 n V ( L i ) p n 2 .

Since K 1 ,, K n K c n , taking K 1 ,, K n for L 1 ,, L n , and using (2.6), (2.3), and (2.1), we get

G ˜ p ( 2 ) ( K 1 , , K n ) n ω n p n V ˜ p ( K 1 , , K n ; K 1 , , K n ) i = 1 n V ( K i ) p n 2 = n ω n p n V ˜ ( K 1 , , K n ) i = 1 n V ( K i ) p n 2 n ω n p n [ V ( K 1 ) V ( K n ) ] 1 n i = 1 n V ( K i ) p n 2 = n ω n p n [ V ( K 1 ) V ( K n ) V ( K 1 ) V ( K n ) ] 1 n i = 1 n V ( K i ) ( n + p ) n 2 n ω n 2 n + p n i = 1 n V ( K i ) ( n + p ) n 2 .

This gives the proof of Theorem 1.2. □

Proof of Theorem 1.3 Using the Hölder inequality, (2.5), and (2.2), we get

V ˜ p ( K 1 , , K n ; L 1 , , L n ) = 1 n S n 1 i = 1 n [ ρ K i n + p ( u ) ρ L i p ( u ) ] 1 n d u = 1 n S n 1 ( i = 1 n [ ρ K i n + q ( u ) ρ L i q ( u ) ] 1 n ) p q ( i = 1 n [ ρ K i n ( u ) ] 1 n ) q p q d u V ˜ p ( K 1 , , K n ; L 1 , , L n ) p q V ˜ ( K 1 , , K n ) q p q ,

that is,

( V ˜ p ( K 1 , , K n ; L 1 , , L n ) V ˜ ( K 1 , , K n ) ) 1 p ( V ˜ q ( K 1 , , K n ; L 1 , , L n ) V ˜ ( K 1 , , K n ) ) 1 q .
(3.7)

According to the equality condition in the Hölder inequality, we know that equality holds in (3.7) if and only if there exist constants c i >0 (i=1,2,,n) such that ρ( K i ,u)= c i ρ( L i ,u) for any u S n 1 , i.e., for each i=1,2,,n, K i and L i both are dilates.

From definition (1.3) and inequality (3.7), we have

ω n 1 ( G ˜ p ( 2 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + p ) 1 p = inf L i K c n { ( V ˜ p ( K 1 , , K n ; L 1 , , L n ) V ˜ ( K 1 , , K n ) ) n p 1 V ˜ ( K 1 , , K n ) ( i = 1 n V ( L i ) p n 2 ) n p } = inf L i K c n { ( V ˜ p ( K 1 , , K n ; L 1 , , L n ) V ˜ ( K 1 , , K n ) ) n p 1 V ˜ ( K 1 , , K n ) i = 1 n V ( L i ) 1 n } inf L i K c n { ( V ˜ q ( K 1 , , K n ; L 1 , , L n ) V ˜ ( K 1 , , K n ) ) n q 1 V ˜ ( K 1 , , K n ) i = 1 n V ( L i ) 1 n } = inf L i K c n { ( V ˜ q ( K 1 , , K n ; L 1 , , L n ) V ˜ ( K 1 , , K n ) ) n q 1 V ˜ ( K 1 , , K n ) ( i = 1 n V ( L i ) q n 2 ) n q } = ω n 1 ( G ˜ q ( 2 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + q ) 1 q ,

i.e.,

( G ˜ p ( 2 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + p ) 1 p ( G ˜ q ( 2 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + q ) 1 q .

This is just (1.11). Because of each L i K c n in inequality (3.7), together with the equality condition of (3.7), we see that equality holds in (1.11) if and only if each K i K c n .

In order to prove (1.10), (3.7) can be written

( V ˜ p ( K 1 , , K n ; L , , L ) V ˜ ( K 1 , , K n ) ) 1 p ( V ˜ q ( K 1 , , K n ; L , , L ) V ˜ ( K 1 , , K n ) ) 1 q .
(3.8)

In the same way as (1.11), from definition (1.2) and (3.8), we get

( G ˜ p ( 1 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + p ) 1 p ( G ˜ q ( 1 ) ( K 1 , , K n ) n n n V ˜ ( K 1 , , K n ) n + q ) 1 q .

From the equality condition in (1.11), we see that equality holds in (1.10) if and only if each K i K c n . □

References

  1. Lutwak E: The Brunn-Minkowski-Firey theory II: affine and geominimal surface areas. Adv. Math. 1996, 118: 244-294. 10.1006/aima.1996.0022

    Article  MathSciNet  MATH  Google Scholar 

  2. Lutwak E: The Brunn-Minkowski-Firey theory I: mixed volumes and the Minkowski problem. J. Differ. Geom. 1993, 38: 131-150.

    MathSciNet  MATH  Google Scholar 

  3. Petty CM: Geominimal surface area. Geom. Dedic. 1974, 3: 77-97.

    Article  MathSciNet  MATH  Google Scholar 

  4. Petty CM: Affine isoperimetric problems. Annals of the New York Academy of Sciences 440. Discrete Geometry and Convexity 1985, 113-127.

    Google Scholar 

  5. Schneider R: Affine surface area and convex bodies of elliptic type. Period. Math. Hung. 2014. 10.1007/s10998-014-0050-3

    Google Scholar 

  6. Schneider R: Convex Bodies: The Brunn-Minkowski Theory. 2nd edition. Cambridge University Press, Cambridge; 2014.

    MATH  Google Scholar 

  7. Wang WD, Feng YB:A general L p -version of Petty’s affine projection inequality. Taiwan. J. Math. 2013,17(2):517-528.

    Article  MATH  Google Scholar 

  8. Zhu BC, Li N, Zhou JZ:Isoperimetric inequalities for L p geominimal surface area. Glasg. Math. J. 2011, 53: 717-726. 10.1017/S0017089511000292

    Article  MathSciNet  MATH  Google Scholar 

  9. Zhu BC, Zhou JZ, Xu WX: L p Mixed geominimal surface area. J. Math. Anal. Appl. 2015, 422: 1247-1263. 10.1016/j.jmaa.2014.09.035

    Article  MathSciNet  MATH  Google Scholar 

  10. Zhu, BC, Zhou, JZ, Xu, WX: Affine isoperimetric inequalities for L p geominimal surface area. Springer Proceedings in Mathematics and Statistics (in press)

  11. Ye, DP: On the L p -geominimal surface area and related inequalities (submitted). arXiv: 1308.4196

  12. Ye, DP, Zhu, BC, Zhou, JZ: The mixed L p -geominimal surface areas for multiple convex bodies. arXiv: 1311.5180v1

  13. Wang WD, Qi C: L p -Dual geominimal surface area. J. Inequal. Appl. 2011., 2011: Article ID 6

    Google Scholar 

  14. Gardner RJ: Geometric Tomography. 2nd edition. Cambridge University Press, Cambridge; 2006.

    Book  MATH  Google Scholar 

  15. Lutwak E: Dual mixed volumes. Pac. J. Math. 1975, 58: 531-538. 10.2140/pjm.1975.58.531

    Article  MathSciNet  MATH  Google Scholar 

  16. Hardy GH, Littlewood JE, Pólya G: Inequalities. Cambridge University Press, Cambridge; 1959.

    MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to sincerely thank the referees for very valuable and helpful comments and suggestions which made the paper more accurate and readable. Research is supported in part by the Natural Science Foundation of China (Grant No. 11371224) and Foundation of Degree Dissertation of Master of China Three Gorges University (Grant No. 2014PY067).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Weidong Wang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors have equally contributed in designing a new algorithm and obtaining complexity results. 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 (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, Y., Wang, W. The L p -dual mixed geominimal surface area for multiple star bodies. J Inequal Appl 2014, 456 (2014). https://doi.org/10.1186/1029-242X-2014-456

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-456

Keywords