- Research Article
- Open Access

# Some Inequalities for the -Curvature Image

- Wang Weidong
^{1, 2}Email author, - Wei Daijun
^{2}and - Xiang Yu
^{2}

**2009**:320786

https://doi.org/10.1155/2009/320786

© Wang Weidong et al. 2009

**Received:**16 May 2009**Accepted:**14 October 2009**Published:**19 October 2009

## Abstract

Lutwak introduced the notion of -curvature image and proved an inequality for the volumes of convex body and its -curvature image. In this paper, we first give an monotonic property of -curvature image. Further, we establish two inequalities for the -curvature image and its polar, respectively. Finally, an inequality for the volumes of -projection body and -curvature image is obtained.

## Keywords

- Real Number
- Convex Body
- Area Measure
- Support Function
- Scalar Multiplication

## 1. Introduction

Let denote the set of convex bodies (compact, convex subsets with nonempty interiors) in Euclidean space , for the set of convex bodies containing the origin in their interiors and the set of origin-symmetric convex bodies in , we, respectively, write and . Let denote the unit sphere in , and denote by the -dimensional volume of body , for the standard unit ball in , and denote . The groups of nonsingular linear transformations and the group of special linear transformations are denoted by and , respectively.

Suppose that is the set of real numbers. If , then its support function, : , is defined by (see [1, page 16])

where denotes the standard inner product of and .

A convex body is said to have a curvature function , if its surface area measure is absolutely continuous with respect to spherical Lebesgue measure , and

For , and real , the -surface area measure, , of is defined by (see [2, 3])

Equation (1.3) is also called Radon-Nikodym derivative, and the measure is absolutely continuous with respect to surface area measure .

A convex body is said to have a -curvature function (see [2]) , if its -surface area measure is absolutely continuous with respect to spherical Lebesgue measure , and

If is a compact star shaped (about the origin) in , its radial function, , is defined by (see [1, page 18])

If is positive and continuous, will be called a star body (about the origin). Let denote the set of star bodies (about the origin) in . Two star bodies and are said to be dilates (of one another) if is independent of .

For the radial function, if , then (see [1, page 18])

From (1.6), we have that, for ,

Let , denote the set of all bodies in , , respectively, that have a positive continuous curvature function.

Lutwak in [2] showed the notion of -curvature image as follows. For each and real , define , the -curvature image of , by

Note that, for , this definition differs from the definition of classical curvature image (see [2]). For the study of classical curvature image [1, 4–7].

Further, he proved that if
*and*
*, then*

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

In this paper, we continuously study the -curvature image for convex bodies. First, we give a monotonic property of -curvature image as follows.

Theorem 1.1.

with equality for if and only if and are dilates, for if and only if , and for if and only if and are translation.

Next, we establish an inequality for the -curvature image as follows.

Theorem 1.2.

with equality if and only if is an ellipsoid.

Further, we get the following inequality for the polar of the -curvature image.

Theorem 1.3.

with equality for if and only if and are dilates, and for if and only if and are homothetic.

Here denote the polar of , rather than . Compare with inequality (1.9), we see that inequality (1.12) may be regarded as a dual form of inequality (1.9).

Finally, we obtain an interesting inequality for the -curvature image and -projection body as follows.

Theorem 1.4.

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

## 2. Preliminaries

### 2.1. Polar of Convex Body

If , the polar body of , , is defined by (see [1, page 20])

From the definition (2.1), we know that if , then the support and radial functions of , the polar body of , are defined, respectively, by (see [1])

The Blaschke-Santaló inequality can be stated that (see [1] or [7]): *If*
*, then*

*with equality if and only if*
*is an ellipsoid*.

### 2.2. -Mixed Volume

For and , the Firey -combination is defined by (see [8])

where " " in denotes the Firey scalar multiplication.

If in , then for , the -mixed volume, , of the and is defined by (see [9])

Corresponding to each , there is a positive Borel measure, , on such that (see [9])

for each . The measure is just the -surface area measure of .

From the formula (2.6) and definition (1.3), we immediately get that

The -Minkowski inequality states that (see [9]) if and then

with equality for if and only if and are dilates, and for if and only if and are homothetic.

### 2.3. -Dual Mixed Volume

For , and , the -harmonic radial combination is the star body whose radial function is defined by (see [2])

Note that here " " and the Firey scalar multiplication " " are different.

If , for , the -dual mixed volume, , of the and is defined by (see [2])

The definition above and the polar coordinate formula for volume give the following integral representation of the -dual mixed volume of :

where the integration is with respect to spherical Lebesgue measure on .

From the formula (2.11), it follows immediately that, for each and ,

The Minkowski inequality for the -dual mixed volume is that if and (see [2]), then

with equality if and only if and are dilates.

### 2.4. -Affine Surface Area

Lutwak in [2] showed that for each and , the -affine surface area, , of can be defined by

For
,
is just classical affine surface area
by Leichtwei*β* (see [4]). Further, Lutwak proved that if
and
, then the
-affine surface area of
has the integral representation

### 2.5. -Projection Body

The notion of -projection body is shown by Lutwak et al. (see [10]). For and , the -projection body, , of is the origin-symmetric convex body whose support function is given by

for all . Here is just the -surface area measure of , and

### 2.6. -Centroid Body

Lutwak and Zhang in [11] introduced the notion of -centroid body. For each compact star-shaped body about the origin and for real number , the polar of -centroid body, (rather than ), of is the origin-symmetric convex body, whose radial function is defined by [11]

for all , where satisfy (2.17).

From definition (2.18) and equality (2.2), if , then the -centroid body of is the origin-symmetric convex body whose support function is given by

for all .

## 3. The Proof of Theorems

In order to prove our theorems, the following lemmas are essential.

Lemma 3.1.

Proof.

and this yields (3.1).

If , Lutwak (see [2]) proved that, for ,

where denotes the inverse of the transpose of .

Now we rewrite (3.1) as follows:

this together with (3.7) and the fact , we easily get the following result.

Proposition 3.2.

Lemma 3.3 (see [2]).

for all .

Lemma 3.4.

Proof.

Taking in (3.11), and using (2.12), we have that . Now inequality (2.13) gives , with equality if and only if and are dilates. Let in (3.11), and get . Hence , and and must be dilates. Thus . In turn, when the result obviously is true.

Proof of Theorem 1.1.

and this is just inequality (1.10).

According to the conditions of equality that hold in inequalities (3.12) and (2.8), we know that equality holds in inequality (1.10) for if and only if and are dilates and , and for if and only if and are homothetic and .

For the case of equality that holds in (1.10), we may suppose ( ), and together with , then . Thus, from (3.1), we have . Hence when , this means that if then . For , we easily see that and are dilates that impliy . So we know that equality holds in inequality (1.10) for if and only if and are dilates, and for if and only if .

For the case of equality that holds in (1.10), we may take ( ), then

and this gives , that is, when . Therefore, we see that equality holds in inequality (1.10) for if and only if and are translation.

Proof of Theorem 1.2.

with equality in inequality (3.20) if and only if and are dilates.

From this, and using the Blaschke-Santaló inequality (2.3), then

and equality holds in second inequality of (3.21) if and only if is an ellipsoid.

From (3.21), we immediately obtain inequality (1.11). According to the conditions of equality that hold in (3.20) and second inequality of (3.21), we get equality in (1.11) if and only if is an ellipsoid.

Proof of Theorem 1.3.

this inequality immediately gives (1.12). According to equality conditions of inequality (2.8), we get equality in (1.12) for if and only if and are dilates, and for if and only if and are homothetic.

The proof of Theorem 1.4 requires the following two lemmas.

Lemma 3.5.

Note that the proof of Lemma 3.5 can be found in [12]. Here, for the sake of completeness, we present the proof as follows.

Proof.

for all . Thus .

Lemma 3.6 ([10] ( -Busemann-Petty centroid inequality)).

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

Proof of Theorem 1.4.

From (3.28) and (3.24), we immediately get inequality (1.13). According to the case of equality that holds in (3.28), we see equality in (1.13) if and only if is an ellipsoid centered at the origin.

## Declarations

### Acknowledgment

This research is supported in part by the Natural Science Foundation of China (Grant no. 10671117), Academic Mainstay Foundation of Hubei Province of China (Grant no. D200729002), and Science Foundation of China Three Gorges University. The authors wish to thank the referees for their very helpful comments and suggestions on this paper.

## Authors’ Affiliations

## References

- Gardner RJ:
*Geometric Tomography, Encyclopedia of Mathematics and Its Applications*.*Volume 58*. 2nd edition. Cambridge University Press, Cambridge, UK; 2006.Google Scholar - Lutwak E:
**The Brunn-Minkowski-Firey theory II: affine and geominimal surface areas.***Advances in Mathematics*1996,**118**(2):244–294. 10.1006/aima.1996.0022MathSciNetView ArticleMATHGoogle Scholar - Lutwak E, Yang D, Zhang GY:
**John ellipsoids.***Proceedings of the London Mathematical Society*2005,**90**(2):497–520. 10.1112/S0024611504014996MathSciNetView ArticleMATHGoogle Scholar - Leichtweiß K:
*Affine Geometry of Convex Bodies*. Johann Ambrosius Barth, Heidelberg, Germany; 1998.MATHGoogle Scholar - Lutwak E:
**On some affine isoperimetric inequalities.***Journal of Differential Geometry*1986,**56:**1–13.MathSciNetMATHGoogle Scholar - Petty CM:
**Affine isoperimetric problems.***Annals of the New York Academy of Sciences*1985,**440:**113–127. 10.1111/j.1749-6632.1985.tb14545.xMathSciNetView ArticleMATHGoogle Scholar - Schneider R:
*Convex Bodies: The Brunn-Minkowski Theory*.*Volume 44*. Cambridge University Press, Cambridge, UK; 1993.View ArticleMATHGoogle Scholar - Firey WJ:
**-means of convex bodies.***Mathematica Scandinavica*1962,**10:**17–24.MathSciNetMATHGoogle Scholar - Lutwak E:
**The Brunn-Minkowski-Firey theory I: mixed volumes and the minkowski problem.***Journal of Differential Geometry*1993,**38**(1):131–150.MathSciNetMATHGoogle Scholar - Lutwak E, Yang D, Zhang GY:
**affine isoperimetric inequalities.***Journal of Differential Geometry*2000,**56**(1):111–132.MathSciNetMATHGoogle Scholar - Lutwak E, Zhang GY:
**Blaschke-Santaló inequalities.***Journal of Differential Geometry*1997,**47**(1):1–16.MathSciNetMATHGoogle Scholar - Lv SJ, Leng GS:
**The -curvature images of convex bodies and -projection bodies.***Proceedings of the Indian Academy of Sciences. Mathematical Sciences*2008,**118**(3):413–424. 10.1007/s12044-008-0032-6MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.