- Research
- Open Access
- Published:

# The *i*th *p*-geominimal surface area

*Journal of Inequalities and Applications*
**volume 2014**, Article number: 356 (2014)

## Abstract

In this paper, we introduce the concept of *i* th *p*-geominimal surface area, which extends the notion of *p*-geominimal surface area by Lutwak. Further, we prove some of its properties and related inequalities for this new notion.

**MSC:**52A30, 52A40.

## 1 Introduction

During the past three decades, the investigations of the classical affine surface area have received great attention from the articles [1–16] or books [17, 18]. Based on the classical affine surface area, Lutwak [19] introduced the notion of *p*-affine surface area and obtained some isoperimetric inequalities for *p*-affine surface area.

Geominimal surface area was introduced by Petty [11] more than three decades ago. As Petty stated, this concept serves as a bridge connecting affine differential geometry, relative differential geometry, and Minkowskian geometry. Based on the classical geominimal surface area, Lutwak [19] introduced the notion of *p*-geominimal surface area and obtained some inequalities for it. Regarding the studies of *p*-affine surface area and *p*-geominimal surface area as well as its dual object, also see [13, 20–27].

Let {\mathcal{C}}^{n} denote the set of compact convex subsets of the Euclidean *n*-space {\mathbb{R}}^{n}. The subset of {\mathcal{C}}^{n} consisting of convex bodies (compact, convex sets with non-empty interiors) will be denoted by {\mathcal{K}}^{n}. For the set of convex bodies containing the origin in their interiors, write {\mathcal{K}}_{o}^{n}, and let {\mathcal{K}}_{c}^{n} denote the set of convex bodies whose centroid lies at the origin. As usual, {S}^{n-1} denotes the unit sphere with unit ball {B}_{n}, {\omega}_{n} the volume of {B}_{n}.

Petty [11] defined the geominimal surface area G(K) of a body K\in {\mathcal{K}}_{o}^{n} by

For p\ge 1 and K\in {\mathcal{K}}_{o}^{n}, Lutwak [19] defined the *p*-geominimal surface area {G}_{p}(K) of *K* by

Moreover, Lutwak proved the following inequalities for the *p*-geominimal surface area.

**Theorem 1.1** *Let* K\in {\mathcal{K}}_{c}^{n} *and* p\ge 1, *then*

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

Let {\mathcal{F}}_{o}^{n} denote the subset of {\mathcal{K}}_{o}^{n} which has a positive continuous function, and let {\mathrm{\Omega}}_{p}(K) denote the *p*-affine surface area of *K*.

**Theorem 1.2** *Let* K\in {\mathcal{F}}_{o}^{n} *and* p\ge 1, *then*

*with equality if and only if* *K* *is of* *p*-*elliptic type*.

**Theorem 1.3** *If* K\in {\mathcal{K}}_{o}^{n} *and* 1\le p\le q, *then*

*with equality if and only if* *K* *is* *p*-*selfminimal*.

The purpose of this paper is to further extend Lutwak’s *p*-geominimal surface area to the *i* th *p*-geominimal surface area. The technique we will use is that of the method designed by Lutwak [19]. Now, we define the notion of *i* th *p*-geominimal surface area as follows:

where i\in \{0,1,\dots ,n-1\}.

The main results are stated as follows. First, we establish the extended versions of Theorems 1.1, 1.2 and 1.3 given by Theorems 1.4, 1.5 and 1.6.

**Theorem 1.4** *If* p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *then*

*with equality for* i=0 *if and only if* *K* *is an ellipsoid*, *for* 1\le i<n *if and only if all* (n-i)-*dimensional convex bodies which are contained in* *K* *are balls*.

If i=0, (1.7) is just inequality (1.3).

Let {\mathrm{\Omega}}_{p}^{(i)}(K) denote the (i,0)-type *p*-affine surface area of *K* (see Section 2.3).

**Theorem 1.5** *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{F}}_{i,o}^{n}, *then*

*with equality if and only if* K\in {\mathcal{W}}_{p,i}^{n}. *For the precise definition of* {\mathcal{W}}_{p,i}^{n}, *see Section * 2.3.

**Theorem 1.6** *If* K\in {\mathcal{K}}_{o}^{n} *and* i\in \{0,1,\dots ,n-1\}, *then for* 1\le p\le q,

*with equality if and only if* *K* *is* *ith* *p*-*selfminimal*.

The proofs of Theorems 1.4-1.6 will be given in Section 4 of this paper. Moreover, in Section 3 we also establish some properties of the *i* th *p*-geominimal surface area which may be required in the proofs of main results.

## 2 Background material for Brunn-Minkowski-Firey theory

### 2.1 Support function, radial function and polar of a convex body

For \varphi \in GL(n), let {\varphi}^{t}, {\varphi}^{-1}, and {\varphi}^{-t} denote the transpose, inverse, and inverse of the transpose of *ϕ*. For K\in {\mathcal{K}}^{n}, let h(K,\cdot ):{\mathbb{R}}^{n}\to (-\mathrm{\infty},\mathrm{\infty}) denote the support function of K\in {\mathcal{K}}^{n}, *i.e.*, for x\in {\mathbb{R}}^{n},

where u\cdot x denotes the standard inner product of *u* and *x*. For \varphi \in GL(n), then obviously h(\varphi K,x)=h(K,{\varphi}^{t}x). For the sake of convenience, we write {h}_{K} rather than h(K,\cdot ) for the support function of *K*. Apparently, for K,L\in {\mathcal{K}}^{n}, K\subseteq L if and only if {h}_{K}\le {h}_{L}. The set {\mathcal{K}}^{n} will be viewed as equipped with the Hausdorff metric *d* defined by \delta (K,L)={|{h}_{K}-{h}_{L}|}_{\mathrm{\infty}}, where {|\cdot |}_{\mathrm{\infty}} is the sup (or max) norm on the space of continuous functions on the unit sphere C({S}^{n-1}).

For a compact subset *L* of {\mathbb{R}}^{n}, which is star-shaped with respect to the origin, we shall use \rho (L,\cdot ) to denote its radial function; *i.e.*, for u\in {S}^{n-1},

If \rho (L,\cdot ) is continuous and positive, *L* will be called a star body, and {\mathcal{S}}_{o}^{n} will be used to denote the class of star bodies in {\mathbb{R}}^{n} containing the origin in their interiors. Apparently, for K,L\in {\mathcal{S}}^{n}, K\subseteq L if and only if {\rho}_{K}\le {\rho}_{L}. Two star bodies *K* and *L* are said to be dilates (of one another) if \rho (K,u)/\rho (L,u) is independent of u\in {S}^{n-1}. Let \tilde{\delta} denote the radial Hausdorff metric as follows: if K,L\in {\mathcal{S}}_{o}^{n}, then \tilde{\delta}(K,L)={|{\rho}_{K}-{\rho}_{L}|}_{\mathrm{\infty}}.

For K\in {\mathcal{K}}_{o}^{n}, the polar body {K}^{\ast} of *K* is defined by

Obviously, we have {({K}^{\ast})}^{\ast}=K. For K\in {\mathcal{K}}_{o}^{n}, the support and radial functions of the polar body {K}^{\ast} of *K* are defined respectively by (see [18, 28])

for all u\in {S}^{n-1}.

Define the Santaló product of K\in {\mathcal{K}}_{o}^{n} by V(K)V({K}^{\ast}). The Blaschke-Santaló inequality (see [18, 28]) is one of the fundamental affine isoperimetric inequalities. It states that if K\in {\mathcal{K}}_{c}^{n}, then

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

### 2.2 The mixed *p*-quermassintegrals and dual mixed *p*-quermassintegrals

For K\in {\mathcal{K}}^{n} and i\in \{0,1,\dots ,n-1\}, the quermassintegrals {W}_{i}(K) of *K* are defined by (see [29])

From (2.2), we easily see that {W}_{0}(K)=V(K).

In the literature they have two representations, the quermassintegrals {W}_{i}(K) and the intrinsic volumes {V}_{i}(K), and we shall use both throughout. They are defined by

For real p\ge 1, K,L\in {\mathcal{K}}_{o}^{n}, and \alpha ,\beta \ge 0 (not both zero), the Firey linear combination \alpha \cdot K{+}_{p}\beta \cdot L is defined by (see [30])

Note that ‘⋅’ rather than ‘{\cdot}_{p}’ is written for Firey scalar multiplication.

For K,L\in {\mathcal{K}}_{o}^{n}, \epsilon >0, and real p\ge 1, the mixed *p*-quermassintegrals {W}_{p,i}(K,L) of *K* and *L*, i\in \{0,1,\dots ,n-1\}, are defined by (see [29])

Obviously, for p=1, {W}_{1,i}(K,L) is just the classical mixed quermassintegrals {W}_{i}(K,L). For i=0, the mixed *p*-quermassintegrals {W}_{p,0}(K,L) are just the *p*-mixed volume {V}_{p}(K,L).

For p\ge 1, i\in \{0,1,\dots ,n-1\} and each K\in {\mathcal{K}}_{o}^{n}, there exists a positive Borel measure {S}_{p,i}(K,\cdot ) on {S}^{n-1} such that the mixed *p*-quermassintegrals {W}_{p,i}(K,L) have the following integral representation (see [29]):

for all L\in {\mathcal{K}}_{o}^{n}. It turns out that the measure {S}_{p,i}(K,\cdot ), i\in \{0,1,\dots ,n-1\}, on {S}^{n-1} is absolutely continuous with respect to {S}_{i}(K,\cdot ), and has the Radon-Nikodym derivative

Together with (2.2) and (2.4), for K\in {\mathcal{K}}_{o}^{n}, p\ge 1, we have {W}_{p,i}(K,K)={W}_{i}(K).

An immediate consequence of the definition of Firey linear combination, and the integral representation (2.4), is that for Q\in {\mathcal{K}}_{o}^{n}, the mixed *p*-quermassintegrals {W}_{p,i}(Q,\cdot ):{\mathcal{K}}_{o}^{n}\to (0,\mathrm{\infty}) are Firey linear.

**Proposition 2.1** *Suppose* K,L,Q\in {\mathcal{K}}_{o}^{n} *and* \lambda ,\mu \ge 0. *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *then*

It will be helpful to introduce the following notation. Define the inner radius r(K) and the outer radius R(K) of K\in {\mathcal{K}}_{o}^{n} by

Recall that {B}_{n} is the unit ball centered at the origin. Thus,

Obviously, the body *K* is contained in the closure of the annulus R(K){B}_{n}\mathrm{\setminus}r(K){B}_{n}. Note that the notions of inner and outer radii as defined here are not translation invariant.

The next proposition shows that the functional {W}_{p,i}{(K,\cdot )}^{1/p}:{\mathcal{K}}_{o}^{n}\to (0,\mathrm{\infty}) is Lipschitzian. This observation will be needed in Sections 3 and 4.

**Proposition 2.2** *If* K,L,Q\in {\mathcal{K}}_{o}^{n} *and* p\ge 1, i\in \{0,1,\dots ,n-1\}, *then*

*Proof* The Minkowski integral inequality, together with (2.4) and (2.5), gives

□

For K\in {\mathcal{S}}_{o}^{n} and any real *i*, the *i* th dual quermassintegrals {\tilde{W}}_{i}(K) of *K* are defined by (see [18, 28])

Obviously, {\tilde{W}}_{0}(K)=V(K).

An immediate consequence of the definition of *i* th dual quermassintegrals is as follows.

**Proposition 2.3** *If* p\ge 1 *and* i\in {\mathbb{R}}^{n}, *then the functional* {\tilde{W}}_{i}(\cdot ):{\mathcal{S}}_{o}^{n}\to (0,\mathrm{\infty}) *is continuous*.

For K,L\in {\mathcal{S}}_{o}^{n}, p\ge 1 and \lambda ,\mu \ge 0 (not both zero), the *p*-harmonic radial combination \lambda \phantom{\rule{0.2em}{0ex}}\mathrm{\u25ca}\phantom{\rule{0.2em}{0ex}}K\phantom{\rule{0.2em}{0ex}}{\stackrel{\u02c6}{+}}_{-p}\phantom{\rule{0.2em}{0ex}}\mu \phantom{\rule{0.2em}{0ex}}\mathrm{\u25ca}\phantom{\rule{0.2em}{0ex}}L\in {\mathcal{S}}_{o}^{n} is defined by (see [19])

If K,L\in {\mathcal{K}}_{o}^{n} (rather than being in {\mathcal{S}}_{o}^{n}), then

For K,L\in {\mathcal{S}}_{o}^{n}, \epsilon >0, p\ge 1, and real i\ne n, the dual mixed *p*-quermassintegrals {\tilde{W}}_{-p,i}(K,L) of *K* and *L* are defined by (see [31])

If i=0, we easily see that (2.9) is just the definition of dual *p*-mixed volume, *i.e.*, {\tilde{W}}_{-p,0}(K,L)={\tilde{V}}_{-p}(K,L).

From (2.9), the integral representation of the dual mixed *p*-quermassintegrals is given by Wang and Leng [31]: If K,L\in {S}_{o}^{n}, p\ge 1, and real i\ne n, i\ne n+p, then

Together with (2.8) and (2.10), for K\in {S}_{o}^{n}, p\ge 1, and i\ne n,n+p, it follows that {\tilde{W}}_{-p,i}(K,K)={\tilde{W}}_{i}(K).

Further, Wang and Leng [31] proved the following analog of the Minkowski inequality for the dual mixed *p*-quermassintegrals.

**Lemma 2.4** *If* K,L\in {S}_{o}^{n}, p\ge 1, *then for* i<n *or* i>n+p,

*with equality in every inequality if and only if* *K* *and* *L* *are dilates of each other*. *For* n<i<n+p, *inequality* (2.11) *is reverse*.

Another consequence of Lemma 2.4 will be needed.

**Lemma 2.5** ([32])

*Suppose* K,L\in {S}_{o}^{n}, p\ge 1 *and* \lambda ,\mu >0. *If real* i<n *or* n<i<n+p, *then*

*with equality in every inequality if and only if* *K* *and* *L* *are dilates of each other*. *For* i>n+p, *inequality* (2.12) *is reverse*.

### 2.3 The *i* th *p*-curvature function and *i* th *p*-curvature image

A convex body K\in {\mathcal{K}}^{n} is said to have a continuous *i* th curvature function {f}_{i}(K,\cdot ):{S}^{n-1}\to \mathbb{R} if its mixed surface area measure {S}_{i}(K,\cdot ) is absolutely continuous with respect to the spherical Lebesgue measure *S* and has the Radon-Nikodym derivative (see [29])

Let {\mathcal{F}}_{i}^{n}, {\mathcal{F}}_{i,o}^{n}, {\mathcal{F}}_{i,c}^{n} denote the sets of all bodies in {\mathcal{K}}^{n}, {\mathcal{K}}_{o}^{n}, {\mathcal{K}}_{c}^{n}, respectively, that have an *i* th positive continuous curvature function. In particular, {\mathcal{F}}_{0}^{n}:={\mathcal{F}}^{n}, {\mathcal{F}}_{0,o}^{n}:={\mathcal{F}}_{o}^{n}, {\mathcal{F}}_{0,c}^{n}:={\mathcal{F}}_{c}^{n}.

If *∂K* is a regular {C}^{2}-hypersurface with (everywhere) positive principal curvatures, then K\in {\mathcal{F}}_{i}^{n} for all *i*, and the curvature functions of *K* are proportional to the elementary symmetric functions of the principal radii of curvature (viewed as functions of the outer normals) of *K*. Thus, {f}_{0}(K,u) is the reciprocal Gauss curvature of *∂K* at the point of *∂K* whose outer normal is *u*, while {f}_{n-2}(K,u) is proportional to the arithmetic mean of the radii of curvature of *∂K* at the point whose outer normal is *u*.

A convex body K\in {\mathcal{K}}_{o}^{n} is said to have a *p*-curvature function {f}_{p}(K,\cdot ):{S}^{n-1}\to \mathbb{R} if its *p*-surface area measure {S}_{p}(K,\cdot ) is absolutely continuous with respect to the spherical Lebesgue measure *S* and has the Radon-Nikodym derivative (see [19])

Lutwak [19] showed the notion of *p*-curvature image as follows: For each K\in {\mathcal{F}}_{o}^{n} and p\ge 1, define {\mathrm{\Lambda}}_{p}K\in {\mathcal{S}}_{o}^{n}, the *p*-curvature image of *K*, by

Note that for p=1, this definition is different from the classical curvature image (see [19]).

Recently, Liu *et al.* [33], Lu and Wang [34] as well as Ma and Liu [35, 36] independently introduced the concept of *i* th *p*-curvature function of K\in {\mathcal{K}}_{o}^{n} as follows: Let p\ge 1 and i\in \{0,1,\dots ,n-1\}, a convex body K\in {\mathcal{K}}_{o}^{n} is said to have an *i* th *p*-curvature function {f}_{p,i}(K,\cdot ):{S}^{n-1}\to \mathbb{R} if its *i* th *p*-surface area measure {S}_{p,i}(K,\cdot ) is absolutely continuous with respect to the spherical Lebesgue measure *S* and has the Radon-Nikodym derivative

If the *i* th surface area measure {S}_{i}(K,\cdot ) is absolutely continuous with respect to the spherical Lebesgue measure *S*, we have

According to the concept of *i* th *p*-curvature function of a convex body, Lu and Wang [34] and Ma [26] introduced independently the concept of *i* th *p*-curvature image of a convex body as follows: For each K\in {\mathcal{F}}_{i,o}^{n}, i\in \{0,1,\dots ,n-1\} and real p\ge 1, define {\mathrm{\Lambda}}_{p,i}K\in {\mathcal{S}}_{o}^{n}, the *i* th *p*-curvature image of *K*, by

The unusual normalization of definition (2.18) is chosen so that, for the unit ball {B}_{n}, it follows that {\mathrm{\Lambda}}_{p,i}{B}_{n}={B}_{n}. From definitions (2.15), (2.18) and formula (2.17), if i=0, then {\mathrm{\Lambda}}_{p,0}K={\mathrm{\Lambda}}_{p}K.

An immediate consequence of the definition of *i* th *p*-curvature image and the integral representations of {W}_{p,i} and {\tilde{W}}_{-p,i} is the following proposition.

**Proposition 2.6** *If* p\ge 1, i\in \{0,1,\dots ,n-1\} *and* K\in {\mathcal{F}}_{i,o}^{n}, *then*

*for all* Q\in {\mathcal{S}}_{o}^{n}.

Recently, Ma [26] introduced the concept of (i,0)-type *p*-affine surface area as follows: Let p\ge 1 and i\in \{0,1,\dots ,n-1\}, the (i,0)-type *p*-affine surface area {\mathrm{\Omega}}_{p}^{(i)}(K) of K\in {\mathcal{F}}_{i,o}^{n} is defined by

An immediate consequence of the definition of *i* th *p*-curvature image and the integral representations of {\mathrm{\Omega}}_{p}^{(i)} and {\tilde{W}}_{i} is the following proposition.

**Proposition 2.7** *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{F}}_{i,o}^{n}, *then*

A body K\in {\mathcal{F}}_{o}^{n} is of *i* th *p*-elliptic type if the function {f}_{p,i}{(K,\cdot )}^{1/(n+p-i)} is the support function of a convex body in {\mathcal{K}}_{o}^{n}, *i.e.*, *K* is of *i* th *p*-elliptic type if there exists a body Q\in {\mathcal{K}}_{o}^{n} such that

Define

An immediate consequence of the definition of {\mathcal{W}}_{p,i}^{n} and the definition of {\mathrm{\Lambda}}_{p,i} is the following.

**Proposition 2.8** *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{F}}_{i,o}^{n}, *then*

## 3 The *i* th *p*-geominimal surface area

Let O(n) denote an orthogonal transformation group in {\mathbb{R}}^{n}. We will give the following lemmas and propositions.

**Lemma 3.1** ([29])

*Suppose* K,L\in {\mathcal{K}}_{o}^{n}, p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *then for any* \varphi \in O(n),

**Lemma 3.2** ([37])

*Suppose* K,L\in {\mathcal{S}}_{o}^{n}, p\ge 1 *and real* i\in \mathbb{R} *as well as* i\ne n, i\ne n+p, *then*, *for any* \varphi \in O(n),

Specifically,

An immediate consequence of the definition of {G}_{p,i} and Lemma 3.1 and Lemma 3.2 is the following.

**Proposition 3.3** *Suppose* K\in {\mathcal{K}}_{o}^{n}. *If* p\ge 1, i\in \{0,1,\dots n-1\} *and* \varphi \in O(n), *then*

**Lemma 3.4** *If* p\ge 1, *and* {K}_{j} *is a sequence of bodies in* {\mathcal{K}}_{o}^{n} *such that* {K}_{j}\to {K}_{0}\in {\mathcal{K}}_{o}^{n}, *then for* i\in \{0,1,\dots ,n-1\}, {S}_{p,i}({K}_{j},\cdot )\to {S}_{p,i}({K}_{0},\cdot ) *weakly*.

*Proof* Suppose f\in C({S}^{n-1}). Since {K}_{j}\to {K}_{0}, by the definition of support function, {h}_{{K}_{j}}\to {h}_{{K}_{0}} uniformly on {S}^{n-1}. Since the continuous function {h}_{{K}_{0}} is positive, {h}_{{K}_{j}} are uniformly bounded away from 0. It follows that {h}_{{K}_{j}}^{1-p}\to {h}_{{K}_{0}}^{1-p} uniformly on {S}^{n-1}, and thus

But {K}_{j}\to {K}_{0} also implies that

follows from the weak continuity of surface area measures (see, for example, Schneider [12, 19]). Hence,

or equivalently,

□

**Lemma 3.5** *Suppose* {K}_{j}\to {K}_{0}\in {\mathcal{K}}_{0}^{n} *and* {L}_{j}\to {L}_{0}\in {\mathcal{K}}_{0}^{n}. *If* p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *then* {W}_{p,i}({K}_{j},{L}_{j})\to {W}_{p,i}({K}_{0},{L}_{0}).

*Proof* Since {h}_{{L}_{j}}\to {h}_{{L}_{0}} uniformly on {S}^{n-1}, and {h}_{L} is continuous, the {h}_{{L}_{i}} are uniformly bounded on {S}^{n-1}. Hence,

By Lemma 3.4, {K}_{j}\to {K}_{0} implies that

Hence,

□

By the definition of dual mixed *p*-quermassintegrals and the continuity of the radial function, we have the following.

**Lemma 3.6** *Suppose* {K}_{j}\to {K}_{0}\in {\mathcal{S}}_{0}^{n} *and* {L}_{j}\to {L}_{0}\in {\mathcal{S}}_{0}^{n}. *If* p\ge 1, i\in \mathbb{R}, *and* i\ne n, i\ne n+p, *then* {\tilde{W}}_{-p,i}({K}_{j},{L}_{j})\to {\tilde{W}}_{-p,i}({K}_{0},{L}_{0}).

An immediate consequence of the definition of {\mathrm{\Omega}}_{p}^{(i)} and Lemma 3.5 and Lemma 3.6 is the following.

**Proposition 3.7** *For* p\ge 1 *and* i\in \{0,1,\dots n-1\}, *the function* {G}_{p,i}:{\mathcal{K}}_{o}^{n}\to (0,\mathrm{\infty}) *is upper semicontinuous*.

Suppose K\in {\mathcal{K}}_{o}^{n} and L\in {\mathcal{S}}_{o}^{n}. For p\ge 1, define {W}_{p,i}(K,{L}^{\ast}) by

Since {h}_{{Q}^{\ast}}=1/{\rho}_{Q} for Q\in {\mathcal{K}}_{o}^{n}, it follows from the integral representation (2.4) that, if *L* happens to belong to {K}_{o}^{n} (rather than just to {\mathcal{S}}_{o}^{n}), the new definition of {W}_{p,i}(K,{L}^{\ast}) agrees with the old definition.

An immediate consequence of Lemma 3.5 is as follows.

**Lemma 3.8** *If* p\ge 1 *and* L\in {\mathcal{S}}_{o}^{n}, *then* {W}_{p,i}(\cdot ,{L}^{\ast}):{\mathcal{K}}_{o}^{n}\to (0,\mathrm{\infty}) *is continuous*.

The following simple fact will be needed.

**Proposition 3.9** *Suppose* {K}_{j}\in {\mathcal{K}}_{o}^{n}, {K}_{j}\to L\in {\mathcal{C}}_{0}^{n} *and* 0\le i\le n. *If the sequence* {\tilde{W}}_{i}({K}_{j}^{\ast}) *is bounded*, *then* L\in {\mathcal{K}}_{o}^{n}.

*Proof* Note that for A\in {\mathcal{S}}_{o}^{n} and 0<i<n, i\in \mathbb{R}, it follows that {\tilde{W}}_{i}(A)\le V{(A)}^{(n-i)/n}{\omega}_{n}^{i/n} with equality if and only if *A* is an *n*-ball centered at the origin (see [38]). We chose two non-negative real numbers {c}_{0}, {c}_{1} such that {c}_{1}{\omega}_{n}^{i/n}V{({K}_{j}^{\ast})}^{(n-i)/n}\le {\tilde{W}}_{i}({K}_{j}^{\ast})\le {c}_{0} for all *j*. Since *L* is compact, there exists a real {r}_{0} such that L\subset {r}_{0}{B}_{n}, and since {K}_{j}\to L, the number {r}_{0} may be chosen so that {K}_{j}\subset {r}_{0}{B}_{n} for all *i*, as well. (Recall that {B}_{n} is the unit ball centered at the origin.)

For each *j*, let

where {u}_{j}\in {S}^{n-1} is any point where this minimum is attained. Since \rho ({K}_{j}^{\ast},{u}_{j})=1/h({K}_{j},{u}_{j})={r}_{j}^{-1}, it follows that {K}_{j}^{\ast} contains the point {r}_{j}^{-1}{u}_{i}. Since {K}_{j}\subset {r}_{0}{B}_{n}, it follows that \rho ({K}_{j}^{\ast},{u}_{j})=1/h({K}_{j},{u}_{j})\ge 1/{r}_{0}.

Thus, {K}_{j}^{\ast} contains the right cone whose apex is {r}_{j}^{-1}{u}_{i} and whose base is an (n-1)-dimensional ball of radius {r}_{0}^{-1} that lies in the subspace orthogonal to {u}_{j}. Thus, for 0\le i\le n,

and hence {r}_{j}\ge \frac{1}{n}{\omega}_{n-1}{\omega}_{n}^{\frac{i}{n-i}}{r}_{0}^{1-n}{({c}_{0}{c}_{1}^{-1})}^{-\frac{n}{n-i}}. Hence the ball, centered at the origin, of radius \frac{1}{n}{\omega}_{n-1}{\omega}_{n}^{\frac{i}{n-i}}{r}_{0}^{1-n}{({c}_{0}{c}_{1}^{-1})}^{-\frac{n}{n-i}} is contained in each {K}_{j}, and thus this ball is contained in *L* as well. □

For K\in {\mathcal{K}}_{o}^{n}, let {P}_{p,i}K denote the compact convex set whose support function, for x\in {\mathbb{R}}^{n}, is given by

The fact that the function h({P}_{p,i}K,\cdot ) is convex and hence is the support function of a compact convex set is a direct consequence of the Minkowski integral inequality. Obviously, h({P}_{p,i}K,\cdot )\ge 0 on {S}^{n-1}. That h({P}_{p,i}K,\cdot )>0 on {S}^{n-1} follows from the fact that the surface area measure of a convex body cannot be concentrated on a closed hemisphere of {S}^{n-1}. If it were the case that h({P}_{p,i}K,\cdot )=0, then {S}_{p,i}(K,\cdot ), and thus the *i* th surface area measure {S}_{i}(K,\cdot ) would be concentrated on a closed hemisphere bounded by the great sphere of {S}^{n-1} that is orthogonal to {u}_{0}. Since h({P}_{p,i},\cdot ) is positive, {P}_{p,i}K\in {\mathcal{K}}_{o}^{n}.

For K\in {\mathcal{K}}_{o}^{n} and u\in {S}^{n-1}, let {w}_{i}(K|{u}^{\mathrm{\perp}}) denote the (n-1)-dimensional quermassintegrals of K|{u}^{\mathrm{\perp}}, the image of the orthogonal projection of *K* onto the (n-1)-dimensional subspace of {\mathbb{R}}^{n} that is orthogonal to *u*. The *i* th projection body {\mathrm{\Pi}}_{i}K\in {\mathcal{K}}_{o}^{n} of K\in {\mathcal{K}}_{o}^{n}, i=0,1,\dots ,n-1, is the body whose support function is given by

for u\in {S}^{n-1}. (See the survey of Lutwak [39].) Since for K\in {\mathcal{K}}_{o}^{n},

it follows from (2.5) that

As noted previously, h({P}_{p,i}K,\cdot )>0 on {S}^{n-1}. However a slightly stronger statement will be needed in this section.

**Lemma 3.10** *For* p\ge 1, i\in \{0,1,\dots n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *then*

*for all* u\in {S}^{n-1}.

*Proof* Since from (2.5),

and

it follows from Jensen’s inequality that for all u\in {S}^{n-1},

To complete the proof, recall that nh({P}_{1,i}K,u)=h({\mathrm{\Pi}}_{i}K,u)={w}_{i}(K|{u}^{\mathrm{\perp}}). □

**Proposition 3.11** *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *there exists a unique body* \overline{K}\in {\mathcal{K}}_{o}^{n} *such that*

*Proof* Choose {c}_{1} such that h{({P}_{p,i}K,\cdot )}^{p}\ge {c}_{1}>0 on {S}^{n-1}. From the definition of {G}_{p,i}(K), there exists a sequence {M}_{j}\in {\mathcal{K}}_{o}^{n} such that {\tilde{W}}_{i}({M}_{j}^{\ast})={\omega}_{n} with {W}_{p,i}(K,{B}_{n})\ge {W}_{p,i}(K,{M}_{j}) for all *j*, and

To see that {M}_{j}\in {\mathcal{K}}_{o}^{n} are uniformly bounded, let

where {u}_{j} is any of the points in {S}^{n-1} at which this maximum is attained.

Since the support function of {M}_{j} dominates that of the convex set {e}_{j}=\{\lambda {u}_{j}:0\le \lambda \le {R}_{j}\}\subset {M}_{j}, and since the measure {S}_{p,i}(K,\cdot ) is positive, it follows that {W}_{p,i}(K,{M}_{j})\ge {R}_{j}^{p}h{({P}_{p,i}K,{u}_{j})}^{p}. Hence,

Since {M}_{j} are uniformly bounded, the Blaschke selection theorem guarantees the existence of a subsequence of {M}_{j}, which will also be denoted by {M}_{j}, and a compact convex L\in {\mathcal{C}}^{n}, such that {M}_{j}\to L. Since {\tilde{W}}_{i}({M}_{j}^{\ast})={\omega}_{n}, Proposition 3.9 gives L\in {\mathcal{K}}_{o}^{n}. Now, {M}_{j}\to L implies that {M}_{j}^{\ast}\to {L}^{\ast}, and since {\tilde{W}}_{i}({M}_{j}^{\ast})={\omega}_{n}, it follows that {\tilde{W}}_{i}({L}^{\ast})={\omega}_{n}. Lemma 3.5 can now be used to conclude that *L* will serve as the desired body \overline{K}.

The uniqueness of the minimizing body is easily demonstrated as follows. Suppose {L}_{1},{L}_{2}\in {\mathcal{K}}_{o}^{n}, such that {\tilde{W}}_{i}({L}_{1}^{\ast})={\omega}_{n}={\tilde{W}}_{i}({L}_{2}^{\ast}), and

Define L\in {\mathcal{K}}_{o}^{n} by

Proposition 2.1 shows that

Since, obviously,

and {\tilde{W}}_{i}({L}_{1}^{\ast})={\omega}_{n}={\tilde{W}}_{i}({L}_{2}^{\ast}), it follows from Lemma 2.5 that

with equality if and only if {L}_{1}={L}_{2}. Thus,

is the contradiction that would arise if it were the case that {L}_{1}\ne {L}_{2}. □

The unique body whose existence is guaranteed by Proposition 3.11 will be denoted by {T}_{p,i}K and will be called the *i* th *p*-Petty body of *K*. The polar body of {T}_{p,i}K will be denoted by {T}_{p,i}^{\ast}K rather than {({T}_{p,i}K)}^{\ast}. When p=1, the subscript will often be suppressed. Thus, for K\in {\mathcal{K}}_{o}^{n}, p\ge 1, and i\in \{0,1,\dots ,n-1\}, the body {T}_{p,i}K is defined by

The next proposition shows that the mapping {T}_{p,i}:{\mathcal{K}}_{o}^{n}\to {\mathcal{K}}_{o}^{n} is an orthogonal transformation invariant mapping.

**Proposition 3.12** *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *then for* \varphi \in O(n),

*Proof* From the definition of {T}_{p,i} and Proposition 3.3,

By Lemma 3.1,

The uniqueness part of Proposition 3.11 shows that {T}_{p,i}K={\varphi}^{-1}{T}_{p,i}\varphi K, which is the desired result. □

In order to prove Lemma 3.14, the following fact will be needed.

**Lemma 3.13** ([40])

*If* K\in {\mathcal{K}}^{n} *and* i\in \{1,2,\dots ,n-1\}, *then*

*with equality if and only if* *K* *is an* *n*-*ball*.

The following crude bound on the size of {T}_{p,i}K will be helpful.

**Lemma 3.14** *Suppose* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}. *If* r,R>0 *are such that*

*then*

*for all* u\in {S}^{n-1}.

*Proof* From the integral representation (2.4) and formulas (2.2) and (2.5), the trivial estimate follows:

From the minimality property of {T}_{p,i}K, it follows that

Let {u}_{0} be any point in {S}^{n-1} such that

Since the support function of {T}_{p,i}K dominates that of the convex set {e}_{0}=\{\lambda {u}_{0}:0\le \lambda \le R({T}_{p,i}K)\}\subset {T}_{p,i}K, it follows that

But from Lemma 3.10, Lemma 3.13 and formula (2.3), it follows that

The desired result is obtained by combining all these inequalities. □

If the outer radii of a sequence of bodies are uniformly bounded from above and the inner radii of the sequence are bounded away from 0, then the same is true for the radii of the *i* th *p*-Petty bodies of the sequence. This is contained in the following lemma.

**Lemma 3.15** *Suppose* p\ge 1, i\in \{0,1,\dots ,n-1\}. *If* {K}_{j}\in {\mathcal{K}}_{o}^{n} *is a family of bodies for which there exist* r,R>0 *such that*

*then there exist*
{r}^{\prime},{R}^{\prime}>0
*such that*

*Proof* The existence of {R}^{\prime}>0, and thus the fact that {T}_{p,i}{K}_{j} are uniformly bounded, is contained in Lemma 3.14. Let {r}_{j}=r({T}_{p,i}{K}_{j}) denote the inner radius of {T}_{p,i}{K}_{j}. Thus,

where {u}_{j}\in {S}^{n-1} is any point where this minimum is attained. Suppose that the infimum of {r}_{j} is 0. Thus, there exists a subsequence of {T}_{p,i}{K}_{j}, which will not be relabeled, such that

The Blaschke selection theorem, in conjunction with Proposition 3.9, demonstrates the existence of M\in {\mathcal{K}}_{o}^{n} such that for a subsequence of {T}_{p,i}{K}_{j}, which will also not be relabeled,

But h({T}_{p,i}{K}_{j})\to 0 and {|{h}_{{T}_{p,i}{K}_{j}}-{h}_{M}|}_{\mathrm{\infty}}\to 0 imply that {h}_{M}({u}_{j})\to 0, which is impossible since the continuous function {h}_{M} is positive. □

The case i=0 of the following proposition is due to Lutwak [19]. The proof of this proposition is based on the one given by Petty and Lutwak.

**Proposition 3.16** *If* p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *then the functional* {G}_{p,i}:{\mathcal{K}}_{o}^{n}\to (0,\mathrm{\infty}) *is continuous*.

*Proof* That {G}_{p,i} is upper semicontinuous follows immediately from Lemma 3.8: The *i* th *p*-geominimal surface area

is defined as the infimum of continuous functions

as *Q* ranges over {\mathcal{K}}_{o}^{n}.

To see that {G}_{p,i} is lower semicontinuous at {K}_{0}\in {\mathcal{K}}_{o}^{n}, let {K}_{j}\in {\mathcal{K}}_{o}^{n} be a sequence of bodies such that {K}_{j}\to {K}_{o} with {G}_{p,i}({K}_{j})\to l\in \mathbb{R}. It will be shown that l\ge {G}_{p,i}({K}_{0}), and thus

By Lemma 3.15 the {T}_{p,i}{K}_{j} are uniformly bounded. The Blaschke selection theorem, in conjunction with Proposition 3.9, yields the existence of a body M\in {\mathcal{K}}_{o}^{n} and a subsequence of {T}_{p,i}{K}_{j}, which will not be relabeled, such that {T}_{p,i}{K}_{j}\to M and {\tilde{W}}_{i}({M}^{\ast})={\omega}_{n}. Lemma 3.5 and the facts that {K}_{j}\to {K}_{0} and {T}_{p,i}{K}_{j}\to M may be used to conclude that {G}_{p,i}({K}_{j})=n{W}_{p,i}({K}_{j},{T}_{p,i}{K}_{j})\to n{W}_{p,i}({K}_{0},M). Now n{W}_{p,i}({K}_{0},M)=l, since {G}_{p,i}({K}_{j})=l. But the definition of {G}_{p,i}({K}_{0}) shows that

and completes the argument. □

The case i=0 of the following result is due to Lutwak [19].

**Proposition 3.17** *If* p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *then the map* {T}_{p,i}:{\mathcal{K}}_{o}^{n}\to {\mathcal{K}}_{o}^{n} *is continuous*.

*Proof* Suppose {K}_{j}\in {\mathcal{K}}_{o}^{n} such that {K}_{j}\to {K}_{0}\in {\mathcal{K}}_{o}^{n}. Let {T}_{p,i}{K}_{j} denote a subsequence of {T}_{p,i}{K}_{j}. Since {K}_{0}\in {\mathcal{K}}_{o}^{n}, Lemma 3.15 shows that {T}_{p,i}{K}_{j} are uniformly bounded. The Blaschke selection theorem, in conjunction with Proposition 3.9, yields the existence of a body M\in {\mathcal{K}}_{o}^{n} and a subsequence of {T}_{p,i}{K}_{j}, which will not be relabeled, such that {T}_{p,i}{K}_{j}\to M and {\tilde{W}}_{i}({M}^{\ast})={\omega}_{n}. Lemma 3.5 and the facts that {K}_{j}\to {K}_{0} and {T}_{p,i}{K}_{j}\to M may be used to conclude that {G}_{p,i}({K}_{j})=n{W}_{p,i}({K}_{j},{T}_{p,i}{K}_{j})\to n{W}_{p,i}({K}_{0},M). But by Proposition 3.16, {G}_{p,i}({K}_{j})\to {G}_{p,i}({K}_{0}). Hence, {G}_{p,i}({K}_{0})=n{W}_{p,i}({K}_{0},M), and the uniqueness part of Proposition 3.11 shows that {T}_{p,i}{K}_{0}=M.

Hence, every subsequence of the sequence {T}_{p,i}{K}_{j} has a subsequence converging to {T}_{p,i}{K}_{0}. □

## 4 The *i* th *p*-geominimal surface area ratio

In [19], Lutwak defined the *p*-geominimal area ratio of *K* by

For K\in {\mathcal{K}}_{0}^{n}, we define the *i* th *p*-geominimal area ratio of *K* as

and define the *i* th Santaló product of K\in {\mathcal{K}}_{o}^{n} by {W}_{i}(K){\tilde{W}}_{i}({K}^{\ast}).

The *i* th *p*-geominimal area ratio does not exceed the *i* th Santaló product divided by {\omega}_{n}. To see this, just take Q=K in the definition of *i* th *p*-geominimal surface area

and get the following.

**Proposition 4.1** *If* p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *then*

An immediate consequence of Proposition 4.1 is as follows.

**Theorem 4.2** *If* p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *then*

**Lemma 4.3** ([38])

*If* K\in {\mathcal{K}}_{o}^{n} *and* i\in \{1,\dots ,n-1\}, *then*

*with equality if and only if* *K* *is an* *n*-*ball* (*centered at the origin*).

*Proof of Theorem 1.4* Inequality (4.1), together with (4.2), (2.3) and (2.1), yields

According to the conditions of equality in inequalities (4.2) and (2.1), we know that for i=0 equality of inequality (1.7) holds if and only if *K* is an ellipsoid for 1\le i<n if and only if all (n-i)-dimensional convex bodies contained in *K* are balls. □

**Theorem 4.4** *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{F}}_{i,o}^{n}, *then*

*with equality if and only if* K\in {\mathcal{W}}_{p,i}^{n}.

*Proof* Since {G}_{p,i}(K)=n{W}_{p,i}(K,{T}_{p,i}K) and {\tilde{W}}_{i}({T}_{p,i}^{\ast}K)={\omega}_{n}, Proposition 2.6 gives

Apply inequality (2.11) and get

with equality if and only if {\mathrm{\Lambda}}_{p,i}K and {T}_{p,i}^{\ast}K are dilates of each other. Since {T}_{p,i}K\in {\mathcal{K}}_{o}^{n}, equality implies that {\mathrm{\Lambda}}_{p,i}K\in {\mathcal{K}}_{o}^{n}, and by Proposition 2.8 this means that K\in {\mathcal{W}}_{p,i}^{n}.

To see that if K\in {\mathcal{W}}_{p,i}^{n}, there is equality in the inequality of the theorem, combine Proposition 2.6 with the definition of {G}_{p,i}(K) to get

Since K\in {\mathcal{K}}_{o}^{n}, by Proposition 2.8, {\mathrm{\Lambda}}_{p,i}K\in {\mathcal{K}}_{o}^{n}. Thus, Q={\mathrm{\Lambda}}_{p,i}^{\ast}K gives n{\omega}_{n}{\tilde{W}}_{i}{({\mathrm{\Lambda}}_{p,i}K)}^{p/(n-i)}\ge {\omega}_{n}^{p/(n-i)}{G}_{p,i}(K) and demonstrates the desired equality in the inequality. □

An immediate consequence of Theorem 4.4 and Proposition 2.7 is Theorem 1.5.

Suppose 1\le p<q and K\in {\mathcal{K}}_{o}^{n} with L\in {\mathcal{S}}_{o}^{n}. Since

the Hölder inequality yields the following.

**Proposition 4.5** *Suppose* K\in {\mathcal{K}}_{o}^{n}, L\in {\mathcal{S}}_{o}^{n} *and* i\in \{0,1,\dots ,n-1\}. *If* 1\le p<q, *then*

*with equality if and only if there exists* c>0 *such that* {\rho}_{L}=c/{h}_{K} *almost everywhere with respect to* {S}_{i}(K,\cdot ).

Suppose 1\le p<q, and K\in {\mathcal{K}}_{o}^{n} with L\in {\mathcal{S}}_{o}^{n}. From the integral representation of {W}_{p,i}(K,{L}^{\ast}), the easy estimate follows:

This gives the following proposition.

**Proposition 4.6** *Suppose* K\in {\mathcal{K}}_{o}^{n}, L\in {\mathcal{S}}_{o}^{n} *and* i\in \{0,1,\dots ,n-1\}. *Then the function defined on* [1,\mathrm{\infty}) *by*

*is continuous*.

The definition of {G}_{p,i}(K) of K\in {\mathcal{K}}_{o}^{n}, by

together with Proposition 4.5, shows that the *i* th *p*-geominimal area ratios are monotone non-decreasing in *p*.

**Proposition 4.7** *If* K\in {\mathcal{K}}_{o}^{n} *and* i\in \{0,1,\dots ,n-1\}, *then for* 1\le p\le q,

The equality conditions for the inequality of Proposition 4.7 are given in Theorem 1.6.

Proposition 4.7 provides a key step in showing the following.

**Proposition 4.8** *If* K\in {\mathcal{K}}_{o}^{n} *and* i\in \{0,1,\dots ,n-1\}, *then the function defined on* [1,\mathrm{\infty}) *by*

*is continuous*.

*Proof* Proposition 4.7 shows that the function \psi :[1,\mathrm{\infty})\to (0,\mathrm{\infty}) defined by

is monotone. The continuity of p\mapsto {G}_{p,i}(K) will be demonstrated by establishing the continuity of *ψ*.

Suppose {p}_{j}\to {p}_{0}. By Proposition 3.11, there exist {T}_{{p}_{j},i}K\in {\mathcal{K}}_{0}^{n} such that {\tilde{W}}_{i}({T}_{{p}_{j},i}^{\ast}K)={\omega}_{n} and

First assume that {p}_{j}\ge {p}_{0} for all *j*. From the definition of *i* th *p*-geominimal surface area and Proposition 4.5, it follows that

The continuity of the function p\mapsto {[{W}_{p,i}(K,{T}_{{p}_{0},i}K)/{W}_{i}(K)]}^{1/p} shows that

and hence

Now assume that {p}_{j}\le {p}_{0} for all *j*. That \psi ({p}_{j})\to \psi ({p}_{0}) will be proven by showing that every subsequence of \psi ({p}_{j}) has a subsequence converging to \psi ({p}_{0}). Let \psi ({p}_{j}) denote a subsequence of \psi ({p}_{j}).

Lemma 3.14 shows that {T}_{{p}_{j},i}K are uniformly bounded. Thus, the Blaschke selection theorem and Proposition 3.9 can now be used to deduce the existence of a subsequence of {T}_{{p}_{j},i}K, which will also be denoted by {T}_{{p}_{j},i}K, and a body \overline{K}\in {\mathcal{K}}_{o}^{n}, with {\tilde{W}}_{i}({\overline{K}}^{\ast})={\omega}_{n}, such that {T}_{{p}_{j},i}K\to \overline{K}. Obviously,

By Proposition 4.6 the second term of this sum tends to 0. By Proposition 2.2 the first term in this sum is bounded by

and since {T}_{{p}_{j},i}K\to \overline{K}, this also tends to 0. Hence,

where the inequality is justified by the definition of *i* th *p*-geominimal surface area. But by Proposition 4.8, *ψ* is monotone non-decreasing, and hence \psi ({p}_{j})\to \psi ({p}_{0}). □

For K\in {\mathcal{K}}_{o}^{n}, let \sigma (K)\subset {S}^{n-1} denote the compact set that is the support of the *i* th surface area measure {S}_{i}(K,\cdot ) of *K*; *i.e.*, \omega ={S}^{n-1}\mathrm{\setminus}\sigma (K) is the largest open subset of {S}^{n-1} for which {S}_{i}(K,\omega )=0. Let v(K)\subset {S}^{n-1} denote the set of extreme normal directions of *∂K*.

**Lemma 4.9** *Suppose* K\in {\mathcal{K}}_{o}^{n} *and* c>0. *If* {h}_{{T}_{p,i}K}=c{h}_{K} *almost everywhere with respect to* {S}_{i}(K,\cdot ), *then* {h}_{{T}_{p,i}K}=c{h}_{K} *everywhere*.

*Proof* Since {h}_{{T}_{p,i}K} and c{h}_{K} are continuous, and {h}_{{T}_{p,i}}K=c{h}_{K} almost everywhere with respect to {S}_{i}(K,\cdot ), it follows that {h}_{{T}_{p,i}}K=c{h}_{K} on \sigma (K). But v(K)\subset \sigma (K), and hence

But

shows that {K}^{\ast}\subset c{T}_{p,i}^{\ast}K. Since {\tilde{W}}_{i}({T}_{p,i}^{\ast}K)={\omega}_{n}, it follows that {\tilde{W}}_{i}({K}^{\ast})\le {c}^{n-i}{\omega}_{n} with equality if and only if cK={T}_{p,i}K.

We now show that indeed there is equality in this inequality, and hence cK={T}_{p,i}K. First note that since {h}_{{T}_{p,i}}K=c{h}_{K} almost everywhere with respect to {S}_{i}(K,\cdot ), it follows that {h}_{{T}_{p,i}}K=c{h}_{K} almost everywhere with respect to {S}_{p,i}(K,\cdot ). Hence, from the integral representation (2.4) it follows that

From this and the definition of *i* th *p*-geominimal surface area, it follows that

Hence {\tilde{W}}_{i}({K}^{\ast})\ge {c}^{n-i}{\omega}_{n}. □

Proposition 4.1 states that the *i* th *p*-geominimal ratio is always dominated by the Santaló product (divided by {\omega}_{n}); *i.e.*, for K\in {\mathcal{K}}_{o}^{n}, p\ge 1 and i\in \{0,1,\dots ,n-1\},

The main result of this section is that in the limit (as p\to \mathrm{\infty}) these two quantities are equal.

**Theorem 4.10** *If* p\ge 1, i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *then*

*Proof* Since the first equality is an immediate consequence of Proposition 4.7, only the second equality needs to be demonstrated.

Proposition 3.11 guarantees the existence of {T}_{p,i}K\in {\mathcal{K}}_{o}^{n} such that {\tilde{W}}_{i}({T}_{p,i}^{\ast}K)={\omega}_{n} and {G}_{p,i}(K)=n{W}_{p,i}(K,{T}_{p,i}K)\le n{W}_{p,i}(K,{B}_{n}) for all *p*.

By Lemma 3.14 it follows that there exists c>0 such that {T}_{p,i}K\subset c{B}_{n} for all *p*. The Blaschke selection theorem and Proposition 3.9 may be used to deduce the existence of a subsequence of {T}_{p,i}K, which will also be denoted by {T}_{p,i}K, and a body {K}_{0}\in {\mathcal{K}}_{o}^{n} with {\tilde{W}}_{i}({K}_{0}^{\ast})={\omega}_{n} such that {T}_{p,i}K\to {K}_{0} as p\to \mathrm{\infty}.

Define r(K,{K}_{0})=max\{\lambda >0:\lambda {K}_{0}\subset K\}. Now,

Proposition 2.2 shows that the first term in this sum is dominated by

and hence tends to 0 as p\to \mathrm{\infty}. To see that the second term of this sum tends to 0, note that from (2.4) and (2.5) it follows that

where the maximum is taken over the support of the measure {S}_{i}(K,\cdot ). But

is easily verified: First abbreviate {max}_{u\in \sigma (K)}[{h}_{{K}_{0}}(u)/{h}_{K}(u)]={c}_{0}. From the definition of r(K,{K}_{0}), it follows that {h}_{{K}_{0}}/{h}_{K}\le 1/r(K,{K}_{0}) on {S}^{n-1} and hence {c}_{0}\le 1/r(K,{K}_{0}). From the definition of {c}_{0}, it follows that {h}_{{K}_{0}}\le {c}_{0}{h}_{K} on \sigma (K). Since v(K), the set of extreme normal directions of *∂K* is a subset of \sigma (K) (see, *e.g.*, Schneider [41]), {h}_{{K}_{0}}\le {c}_{0}{h}_{K} on v(K). Thus,

But {K}_{0}\subset {c}_{0}K implies that r(K,{K}_{0})\ge 1/{c}_{0}, and thus {c}_{0}=1/r(K,{K}_{0}).

From the definition of r(K,{K}_{0}) it follows that r(K,{K}_{0}){K}^{\ast}\subset {K}_{0}^{\ast} and hence

Thus,

But from Proposition 4.1 it follows that

and this completes the proof. □

A body in {\mathcal{K}}_{o}^{n} will be called *i* th *p*-selfminimal if {T}_{p,i}K and *K* are dilates of each other. From this definition and Proposition 3.12 it follows that the class of *i* th *p*-selfminimal bodies is an orthogonal transformation invariant class of bodies.

The next proposition characterizes the *i* th *p*-selfminimal bodies as those bodies whose *i* th *p*-geominimal ratio is their *i* th Santaló product.

**Proposition 4.11** *If* p\ge 1 *and* i\in \{0,1,\dots ,n-1\}, *and* K\in {\mathcal{K}}_{o}^{n}, *then*

*with equality if and only if* *K* *is* *ith* *p*-*selfminimal*.

*Proof* The inequality is just Proposition 4.1. To obtain the equality conditions, first assume that *K* is *i* th *p*-selfminimal. Now, {T}_{p,i}K=cK implies that

But {T}_{p,i}K=cK implies that c{T}_{p,i}^{\ast}K={K}^{\ast}, and since {\tilde{W}}_{i}({T}_{p,i}^{\ast}K)={\omega}_{n}, it follows that {c}^{n-i}={\tilde{W}}_{i}({K}^{\ast})/{\omega}_{n}. This shows that there is equality in the inequality.

Suppose now that there is equality in the inequality of the proposition; *i.e.*,

Since {G}_{p,i}(K)=n{W}_{p,i}(K,{T}_{p,i}K) and {W}_{i}(K)={W}_{p,i}(K,K), rewrite the last displayed identity as follows:

Since the *i* th dual quermassintegrals of the polar body of {[{\tilde{W}}_{i}({K}^{\ast})/{\omega}_{n}]}^{1/(n-i)}K are {\omega}_{n}, it follows from the uniqueness of {T}_{p,i}K that

and thus that *K* is *i* th *p*-selfminimal. □

An immediate consequence of Proposition 4.11 and Proposition 4.7 is the fact that an *i* th *p*-selfminimal body is *i* th *q*-selfminimal for all q\ge p.

An immediate consequence of Propositions 4.11 and 4.7 is that if K\in {\mathcal{K}}_{o}^{n} is *i* th *p*-selfminimal, then

for all q\ge p.

As the next proposition shows, this property characterizes the *i* th *p*-selfminimal bodies among bodies in {\mathcal{K}}_{o}^{n}; *i.e.*, if for some q>p the *i* th *q*-geominimal area ratio of a body in {\mathcal{K}}_{o}^{n} is equal to its *i* th *p*-geominimal area ratio, then the body must be an *i* th *p*-selfminimal body (and thus in {\mathcal{K}}_{s}^{n} denote the set of convex bodies having their Santaló point at the origin).

*Proof of Theorem 1.6* In light of Proposition 4.7, only the equality conditions need to be established. Assume that there is equality in this inequality. From Propositions 3.11 and 4.5, and the definition of *i* th *p*-geominimal surface area, it follows that

The hypothesis forces:

The middle equality and the equality conditions of Proposition 4.5 yield c>0 such that h({T}_{q,i}K,\cdot )=c{h}_{K} almost everywhere with respect to {S}_{i}(K,\cdot ). The right equality and the uniqueness of {T}_{p,i}K show {T}_{q,i}K={T}_{p,i}K. The fact that {T}_{p,i}K=cK now follows from Lemma 4.9. □

Theorem 1.6 contains a new characterization of selfminimal bodies as follows.

**Proposition 4.12** *If* K\in {\mathcal{K}}_{o}^{n} *and* i\in \{0,1,\dots ,n-1\}, *then for* p>1,

*with equality if and only if* *K* *is* *ith selfminimal*.

When Proposition 4.7 is combined with Propositions 4.11 and 4.12, the result is that for K\in {\mathcal{K}}_{o}^{n} and 1\le p\le q,

Finally, we propose the following two open questions.

**Conjecture 4.13** *Suppose* K\in {\mathcal{K}}_{c}^{n}, i\in \{0,1,\dots ,n-1\}, *and* p\ge 1. *Does it follow that*

*With equality in inequality for* i=0 *if and only if* *K* *is an ellipsoid*; *for* 0<i\le n-1 *if and only if* *K* *is a ball*.

Obviously, the case i=0 of Conjecture 4.13 is just the inequalities for the *p*-geominimal surface area by Lutwak (see [19]).

**Conjecture 4.14** *Suppose* K\in {\mathcal{K}}_{c}^{n} *and* i\in \{0,1,\dots ,n-1\}. *Does it follow that*

*With equality in inequality for* i=0 *if and only if* *K* *is an ellipsoid*; *for* 0<i\le n-1 *if and only if* *K* *is a ball*.

Obviously, the case i=0 of Conjecture 4.14 is just the Blaschke-Santaló inequality (see [18, 28]).