, ,

Let

K

be a star body in

R^{n}

, then the centroid body of

K

is a convex body

Γ K

defined by its support function:

h_{Γ K} (ξ) = \frac{1}{v o l (K)} \int_{K} | (x, ξ) | d x, ξ \in R^{n} .

Let

K

and

L

be two origin-symmetric star bodies in

R^{n}

such that

Γ K \subset Γ L

, what can be said about the volumes of

K

and

L

? Lutwak [L] proved that, if

L

is a polar projection body then

v o l (K) \leq v o l (L)

. On the other hand, if

K

is not a polar projection body, then there is a body

L

, so that

Γ K \subset Γ L

, but

v o l (K) > v o l (L)

. Since in

R^{2}

every convex body is a polar projection body [S] , the results of Lutwak imply the following:

Suppose that

K

and

L

are two origin-symmetric convex bodies in

R^{n}

such that

Γ K \subset Γ L

. If

n = 2

, then we necessarily have

v o l (K) \leq v o l (L)

, while this is no longer true if

n \geq 3

Let

K

be a star body in

R^{n}

and

p \geq 1

, then the

p

-centroid body of

K

is the body

Γ_{p} K

defined by:

\begin{matrix} h_{Γ_{p} K} (ξ) = {(\frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x)}^{1 / p}, ξ \in R^{n} . \end{matrix}

(1)

Note, that if

p \geq 1

, then

h_{Γ_{p} K}

is a convex function, and, therefore,

Γ_{p} K

is well-defined. The polar of

Γ_{p} K

is called the polar

p

-centroid body of

K

and denoted by

Γ_{p}^{*} K

. Since the support function of a body is the norm of its polar,

h = ∥ \cdot ∥_{*}

, the polar

p

-centroid body of

K

is given by

\begin{matrix} ∥ ξ ∥_{Γ_{p}^{*} K} = {(\frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x)}^{1 / p}, ξ \in R^{n} . \end{matrix}

(2)

The p-centroid bodies and their polars have recently been studied by different authors, see e.g. [CG] , [GZ] , [L] , [LYZ] , [LZ] . In [GZ] Grinberg and Zhang generalized the results of Lutwak discussed in the beginning of this section.

Namely, let

K

and

L

be two origin-symmetric star bodies in

R^{n}

such that for

p \geq 1

Γ_{p} K \subset Γ_{p} L .

They prove that if the space

(R^{n}, ∥ \cdot ∥_{L})

embeds in

L_{p}

, then we necessarily have

v o l (K) \leq v o l (L) .

On the other hand, if

(R^{n}, ∥ \cdot ∥_{K})

does not embed in

L_{p}

, then there is a body

L

so that

Γ_{p} K \subset Γ_{p} L

, but

v o l (K) \leq v o l (L) .

Note, that if

p = 1

the positive answer holds for all convex bodies in

R^{2}

, while if

p > 1

there is no dimension where this would always be true. The preceding remark suggests considering

p < 1

in order to make the answer affirmative in higher dimensions.

p < 1

, then the function

h_{Γ_{p} K} (ξ)

in ( 1 ) is not necessarily convex, therefore it is not a support function, but the definition of the polar

p

-centroid body still makes sense, even though these bodies may be non-convex. So for all

p > - 1

p \neq 0

we define the polar

p

-centroid body of a star body

K

by the formula:

\begin{matrix} ∥ ξ ∥_{Γ_{p}^{*} K} = {(\frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x)}^{1 / p}, ξ \in R^{n} . \end{matrix}

(3)

For

p = 0

, this definition looks as follows (if we send

p \to 0

\begin{matrix} ∥ ξ ∥_{Γ_{0}^{*} K} = exp (\frac{1}{v o l (K)} \int_{K} ln | (x, ξ) | d x), ξ \in R^{n} . \end{matrix}

(4)

Now we can ask the question discussed above for all

p > - 1

. Namely, suppose that

\begin{matrix} Γ_{p}^{*} L \subset Γ_{p}^{*} K, \end{matrix}

(5)

for origin-symmetric star bodies

K

and

L

. Does it follow that we have an inequality for the volumes of

K

and

L

? In this paper we show that if

(R^{n}, ∥ \cdot ∥_{L})

embeds in

L_{p}

p > - 1

, then we have

v o l (K) \leq v o l (L)

. However if

(R^{n}, ∥ \cdot ∥_{K})

does not embed in

L_{p}

, we construct counterexamples to the latter result.

These results can also be reformulated as follows:

(i) If

0 < p < 1

, then in

R^{2}

the condition ( 5 ) implies that

v o l (K) \leq v o l (L)

, while this is no longer true in dimensions

n \geq 3

(ii) If

- 1 < p \leq 0

, ( 5 ) implies that

v o l (K) \leq v o l (L)

if and only if

n \leq 3

Clearly the integral in ( 3 ) diverges if

p \leq - 1

, but still we can make sense of this integral considering fractional derivatives. Indeed, if

- 1 < p < 0

\begin{matrix} \frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x & = & \frac{1}{v o l (K)} \int_{- \infty}^{\infty} | z |^{p} \int_{(x, ξ) = z} χ (∥ x ∥_{K}) d x d z \end{matrix}

\begin{matrix} = & \frac{1}{v o l (K)} \int_{- \infty}^{\infty} | z |^{p} A_{K, ξ} (z) d z \end{matrix}

\begin{matrix} = & \frac{2 Γ (p + 1)}{v o l (K)} A_{K, ξ}^{(- p - 1)} (0), \end{matrix}

where

A_{K, ξ} (z)

is the parallel section function of

K

, and

A_{K, ξ}^{(- p - 1)} (0)

is its fractional derivative at zero. (For details on fractional derivatives, see e.g.

[K5,Section2.6] ). So, in such terms our problem can be written as follows:

Suppose

K

and

L

are two origin-symmetric star bodies, so that for all

ξ \in S^{n - 1}

\frac{A_{K, ξ}^{(- p - 1)} (0)}{v o l (K)} \leq \frac{A_{L, ξ}^{(- p - 1)} (0)}{v o l (L)} .

Do we necessarily have an inequality for the volumes of

K

and

L

Note that Koldobsky already considered such inequalities (see e.g. [K4] ) without dividing by volumes. So, for

- 1 < p < 0

the positive part of our results can also be obtained from the results of Koldobsky, but we give our own proof. The case

p = - 1

leads to the following modification of the Busemann-Petty problem. Let

K

and

L

be two convex origin-symmetric bodies in

R^{n}

such that

\frac{v o l_{n - 1} (K \cap ξ^{⊥})}{v o l (K)} \leq \frac{v o l_{n - 1} (L \cap ξ^{⊥})}{v o l (L)} .

Does this imply an inequality for the volumes of

K

and

L

It is easy to show that in dimensions

n \leq 4

we have

v o l (L) \leq v o l (K) .

The proof is almost identical to that of the original Busemann-Petty problem from [GKS] . The counterexamples in dimensions

n \geq 5

from [GKS] also work in this situation.

In view of all these remarks one can consider our results as a certain bridge between the results of Lutwak-Grinberg-Zhang about

p

-centroid bodies and the results of Busemann-Petty type obtained by Koldobsky.

2 Centroid inequalities for $- 1 < p < 1$ , $p \neq 0$ .

The Minkowski functional of a star-shaped origin-symmetric body

K \subset R^{n}

is defined as

∥ x ∥_{K} = min {a \geq 0 : x \in a K} .

We denote by

(R^{n}, ∥ \cdot ∥_{K})

the Euclidean space equipped with the Minkowski functional of the body

K .

Clearly,

(R^{n}, ∥ \cdot ∥_{K})

is a normed space if and only if the body

K

is convex.

The support function of a convex body

K

R^{n}

is defined by

h_{K} (x) = {max}_{ξ \in K} (x, ξ), x \in R^{n} .

K

is origin-symmetric, then

h_{K}

is the Minkowski norm of the polar body

K^{*}

A well-known result going back to P.Lévy, (see [BL,p.189] or [K5,Section6.1] ), is that a space

(R^{n}, ∥ \cdot ∥)

embeds into

L_{p}

p > 0

if and only if there exists a finite Borel measure

μ

on the unit sphere so that, for every

x \in R^{n}

\begin{matrix} ∥ x ∥^{p} = \int_{S^{n - 1}} | (x, ξ) |^{p} d μ (ξ) . \end{matrix}

(6)

On the other hand, this can be considered as the definition of embedding in

L_{p}

- 1 < p < 0

(cf. [K2] ).

It was proved in [K1] that a space

(R^{n}, ∥ \cdot ∥)

embeds isometrically in

L_{p}, p > 0,

p / \in 2 N

if and only if the Fourier transform of the function

Γ (- p / 2) ∥ x ∥^{p}

(in the sense of distributions) is a positive distribution outside of the origin.

- n < p < 0

a similar fact was proved in [K2] : a space

(R^{n}, ∥ \cdot ∥)

embeds in

L_{p}

if and only if the Fourier transform of

∥ \cdot ∥^{p}

is a positive distribution in the whole

R^{n} .

Now we are ready to prove our first result.

Theorem 2.1. Let

- 1 < p < 1

p \neq 0

. Let

K

and

L

be origin-symmetric convex bodies in

R^{n}

, so that

(R^{n}, ∥ \cdot ∥_{K})

embeds in

L_{p}

and

\begin{matrix} Γ_{p}^{*} K \subset Γ_{p}^{*} L . \end{matrix}

(7)

Then

v o l (L) \leq v o l (K) .

Proof. First let us prove the case

0 < p < 1

. Since

(R^{n}, ∥ \cdot ∥_{K})

embeds in

L_{p}

, there exists a measure

μ_{K}

on the unit sphere

S^{n - 1}

such that

∥ x ∥_{K}^{p} = \int_{S^{n - 1}} | (x, ξ) |^{p} d μ_{K} (ξ) .

Note that ( 7 ) can be written as

\begin{matrix} \frac{1}{v o l (L)} \int_{L} | (x, ξ) |^{p} d x \leq \frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x, \end{matrix}

(8)

Integrating both sides of the last inequality over

S^{n - 1}

with the measure

μ_{K}

, we get

\frac{1}{v o l (L)} \int_{S^{n - 1}} \int_{L} | (x, ξ) |^{p} d x d μ_{K} (ξ) \leq \frac{1}{v o l (K)} \int_{S^{n - 1}} \int_{K} | (x, ξ) |^{p} d x d μ_{K} (ξ) .

Applying Fubini's Theorem,

\begin{matrix} \frac{1}{v o l (L)} \int_{L} ∥ x ∥_{K}^{p} d x \leq \frac{1}{v o l (K)} \int_{K} ∥ x ∥_{K}^{p} d x . \end{matrix}

(9)

Note that

\begin{matrix} \int_{K} ∥ x ∥_{K}^{p} d x & = & \int_{S^{n - 1}} (\int_{0}^{∥ θ ∥_{K}^{- 1}} ∥ r θ ∥_{K}^{p} r^{n - 1} d r) d θ \end{matrix}

\begin{matrix} = & \frac{1}{n + p} \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} d θ = \frac{n}{n + p} v o l (K) . \end{matrix}

Therefore, ( 9 ) can be rewritten as

\begin{matrix} \frac{1}{v o l (L)} \int_{L} ∥ x ∥_{K}^{p} d x \leq \frac{n}{n + p} . \end{matrix}

Using the inequality

\begin{matrix} \frac{1}{v o l (L)} \int_{L} ∥ x ∥_{K}^{p} d x \geq \frac{n}{n + p} {(\frac{v o l (L)}{v o l (K)})}^{p / n} \end{matrix}

(10)

from [MP,Section2.2] , we get

\begin{matrix} \frac{n}{n + p} & \geq & \frac{1}{v o l (L)} \int_{L} ∥ x ∥_{K}^{p} d x \geq \frac{n}{n + p} {(\frac{v o l (L)}{v o l (K)})}^{p / n}, \end{matrix}

therefore

v o l (L) \leq v o l (K),

which proves the theorem for

0 < p < 1

Now consider

- 1 < p < 0

. In this case ( 7 ) is equivalent to

\begin{matrix} \frac{1}{v o l (L)} \int_{L} | (x, ξ) |^{p} d x \geq \frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x, \end{matrix}

(11)

Since

(R^{n}, ∥ \cdot ∥_{K})

embeds into

L_{p}

p > - 1

, there exists a measure

μ_{K}

on the unit sphere such that

∥ x ∥_{K}^{p} = \int_{S^{n - 1}} | (x, ξ) |^{p} d μ_{K} (ξ) .

Integrating both sides of ( 11 ) over

S^{n - 1}

with the measure

μ_{K}

and using the same argument as in the first part of the proof, we get

\begin{matrix} \frac{1}{v o l (L)} \int_{L} ∥ x ∥_{K}^{p} d x \geq \frac{n}{n + p} . \end{matrix}

(12)

Passing to spherical coordinates and applying Hölder's inequality

\begin{matrix} \int_{L} ∥ x ∥_{K}^{p} d x & = & \int_{S^{n - 1}} (\int_{0}^{∥ θ ∥_{L}^{- 1}} r^{n + p - 1} ∥ θ ∥_{K}^{p} d r) d θ \end{matrix}

\begin{matrix} = & \frac{1}{n + p} \int_{S^{n - 1}} ∥ θ ∥_{L}^{- n - p} ∥ θ ∥_{K}^{p} d θ \end{matrix}

\begin{matrix} \leq & \frac{1}{n + p} {(\int_{S^{n - 1}} ∥ θ ∥_{L}^{- n} d θ)}^{(n + p) / n} {(\int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} d θ)}^{- p / n} \end{matrix}

\begin{matrix} = & \frac{n}{n + p} {(v o l (L))}^{(n + p) / n} {(v o l (K))}^{- p / n} . \end{matrix}

So ( 12 ) can be written as

\begin{matrix} 1 & \leq & \frac{1}{v o l (L)} {(v o l (L))}^{(n + p) / n} {(v o l (K))}^{- p / n} \end{matrix}

\begin{matrix} = & {(v o l (L))}^{p / n} {(v o l (K))}^{- p / n} . \end{matrix}

Therefore, using the fact that

p < 0

, we get

v o l (L) \leq v o l (K)

□

Since all 2-dimensional spaces embed in

L_{1}

, and therefore in

L_{p}

with

- 2 < p < 1

(see e.g. [K5,Chapter6] ), and all 3-dimensional spaces embed in

L_{0}

, and therefore in

L_{p}

with

- 3 < p < 0

(see [KKYY] ), we have the following

Corollary 2.2. Let

K

and

L

be origin-symmetric convex bodies in

R^{n}

, so that

Γ_{p}^{*} K \subset Γ_{p}^{*} L .

Then i) if

0 < p < 1

, we necessarily have

v o l (L) \leq v o l (K)

in dimension

n = 2

, ii) if

- 1 < p < 0

, we necessarily have

v o l (L) \leq v o l (K)

in dimensions

n = 2

and

3

In order to show a negative counterpart of Theorem 2.1 , we need some lemmas. The following Lemma is [K5,Corollary3.15] with

k = 0

and

p = - q - 1

Lemma 2.3. Let

- 1 < p < 1

p \neq 0

. For an origin-symmetric convex body

K

R^{n}

we have

\begin{matrix} {(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) = - \frac{π}{2 Γ (p + 1) sin (π p / 2)} \int_{S^{n - 1}} | (θ, ξ) |^{p} ∥ θ ∥_{K}^{- n - p} d θ . \end{matrix}

We will use this formula in the following form:

\begin{matrix} {(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) = - \frac{π (n + p)}{2 Γ (p + 1) sin (π p / 2)} \int_{K} | (x, ξ) |^{p} d x . \end{matrix}

Also we can write this formula in terms of fractional derivatives of the parallel section function of

K

. Recall that the parallel section function of a an origin-symmetric star body

K

is defined by

A_{K, ξ} (z) = \int_{(x, ξ) = z} χ (∥ x ∥_{K}) d x .

For

- 1 < q < 0

the fractional derivative of this function at zero is defined by

\begin{matrix} A_{K, ξ}^{(q)} (0) = \frac{1}{2 Γ (- q)} \int_{- \infty}^{\infty} | z |^{- 1 - q} A_{K, ξ} (z) d z = \frac{1}{2 Γ (- q)} \int_{K} | (x, ξ) |^{- 1 - q} d x \end{matrix}

In fact one can see that this can be analytically extended to

q < - 1

Therefore Lemma 2.3 can be reformulated as follows. Let

- 1 < p < 1

p \neq 0

, then

{(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) = - \frac{π (n + p)}{sin (π p / 2)} A_{K, ξ}^{(- p - 1)} (0) .

Note, that for

- 1 < p < 0

this formula was proved in [GKS] .

Now recall a version of Parseval's formula on the sphere proved by Koldobsky [K3] .

Lemma 2.4. If

K

and

L

are origin-symmetric infinitely smooth bodies in

R^{n}

and

0 < p < n

, then

(∥ x ∥_{K}^{- p})^{\land}

and

(∥ x ∥_{L}^{- n + p})^{\land}

are continuous functions on

S^{n - 1}

and

\int_{S^{n - 1}} {(∥ x ∥_{K}^{- p})}^{\land} (ξ) {(∥ x ∥_{L}^{- n + p})}^{\land} (ξ) d ξ = (2 π)^{n} \int_{S^{n - 1}} ∥ x ∥_{K}^{- p} ∥ x ∥_{L}^{- n + p} d x .

Remark 2.5. A proof of this formula via spherical harmonics was given in [K4] . Repeating this proof word by word and using the above definition of the fractional derivative of order

q < - 1

, one can easily extend this result to

- 1 < p < 0

Now we prove a negative counterpart of Theorem 2.1 .

Theorem 2.6. Let

L

be an infinitely smooth origin-symmetric strictly convex body in

R^{n}

, for which

(R^{n}, ∥ \cdot ∥_{L})

does not embed in

L_{p}

- 1 < p < 1

p \neq 0

. Then there exists an origin-symmetric convex body

K

R^{n}

such that

\begin{matrix} Γ_{p}^{*} K \subset Γ_{p}^{*} L . \end{matrix}

but

v o l (L) > v o l (K) .

First consider

0 < p < 1

. Since

(R^{n}, ∥ \cdot ∥_{L})

does not embed in

L_{p}

, there exists a

ξ \in S^{n - 1}

such that

{(∥ x ∥_{L}^{p})}^{\land} (ξ)

is positive, for more details see [K1] . Because

{(∥ x ∥_{L}^{p})}^{\land} (θ)

is a continuous function on

S^{n - 1}

, there exists a neighborhood of

ξ

where it is positive. Define

Ω = {θ \in S^{n - 1} : {(∥ x ∥_{L}^{p})}^{\land} (θ) > 0} .

Choose a non-positive infinitely-smooth even function

v

supported on

Ω

Extend

v

to a homogeneous function

| x |_{2}^{- n - p} v (x / | x |_{2})

of degree

- n - p

R^{n}

. By [K5,Chapter3] , the Fourier transform of

| x |_{2}^{- n - p} v (x / | x |_{2})

is equal to

| x |_{2}^{p} g (x / | x |_{2})

for some infinitely smooth function

g

S^{n - 1}

Define a body

K

∥ x ∥_{K}^{- n - p} = ∥ x ∥_{L}^{- n - p} + ε | x |_{2}^{- n - p} g (x / | x |_{2})

for some small

ε

so that the body

K

is convex (see e.g. the perturbation argument from [K5,Section5.1] ). Applying the Fourier transform to both sides we get

{(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) = {(∥ x ∥_{L}^{- n - p})}^{\land} (ξ) + ε (2 π)^{n} | ξ |_{2}^{p} v (ξ / | ξ |_{2}) .

So using the formula from Lemma 2.3

{(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) = Γ (- p) sin (\frac{π (p + 1)}{2}) \int_{K} | (x, ξ) |^{p} d x

we have

\begin{matrix} \int_{L} | (x, ξ) |^{p} d x < \int_{K} | (x, ξ) |^{p} d x . \end{matrix}

(13)

Consider the integral

\begin{matrix} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) d ξ \end{matrix}

\begin{matrix} = & \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{L}^{- n - p})}^{\land} (ξ) d ξ + ε (2 π)^{n} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) v (ξ) d ξ \end{matrix}

\begin{matrix} < & \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{L}^{- n - p})}^{\land} (ξ) d ξ \end{matrix}

\begin{matrix} = & (2 π)^{n} \int_{S^{n - 1}} ∥ x ∥_{L}^{p} ∥ x ∥_{L}^{- n - p} d x = (2 π)^{n} n v o l (L) . \end{matrix}

(14)

Here we used a version of Parseval's formula (Lemma 2.4 and Remark 2.5 ) and the fact that

v

is negative on

Ω

On the other hand, again using Parseval's formula and ( 10 )

\begin{matrix} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) d ξ = (2 π)^{n} \int_{S^{n - 1}} ∥ x ∥_{L}^{p} ∥ x ∥_{K}^{- n - p} d x \end{matrix}

\begin{matrix} = (2 π)^{n} (n + p) \int_{K} ∥ x ∥_{L}^{p} d x \geq (2 π)^{n} n v o l (K) {(\frac{v o l (L)}{v o l (L)})}^{p / n} \end{matrix}

(15)

Combining ( 14 ) and ( 15 ) we get

\begin{matrix} v o l (K) < v o l (L) . \end{matrix}

(16)

Now from ( 16 ) and ( 13 ) it follows that

\frac{1}{v o l (L)} \int_{L} | (x, ξ) |^{p} d x \leq \frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x,

which is equivalent to

\begin{matrix} Γ_{p}^{*} K \subset Γ_{p}^{*} L . \end{matrix}

Now consider the case

- 1 < p < 0

. Since

(R^{n}, ∥ \cdot ∥_{L})

does not embed in

L_{p}

, there exists a

ξ \in S^{n - 1}

such that

{(∥ x ∥_{L}^{p})}^{\land} (ξ)

is negative, see [K1] .

Define

Ω = {θ \in S^{n - 1} : {(∥ x ∥_{L}^{p})}^{\land} (θ) < 0}

and choose

v (θ)

the same way as in the first part.

Define a body

K

\frac{∥ x ∥_{K}^{- n - p}}{v o l (K)} = \frac{∥ x ∥_{L}^{- n - p}}{v o l (L)} + ε | x |_{2}^{- n - p} g (x / | x |_{2})

for some small

ε

so that the body

K

is convex. Applying Fourier transform to both sides we get

\frac{1}{v o l (K)} {(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) = \frac{1}{v o l (L)} {(∥ x ∥_{L}^{- n - p})}^{\land} (ξ) + ε (2 π)^{n} | ξ |_{2}^{p} v (ξ / | ξ |_{2}) .

Again using the formula from Lemma 2.3 and the fact that

v (θ)

is non-positive, we have

\frac{1}{v o l (K)} \int_{K} | (x, ξ) |^{p} d x < \frac{1}{v o l (L)} \int_{L} | (x, ξ) |^{p} d x,

which is the same as

\begin{matrix} Γ_{p}^{*} K \subset Γ_{p}^{*} L, \end{matrix}

since

- 1 < p < 0

Consider the integral

\frac{1}{v o l (K)} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) d ξ

= \frac{1}{v o l (L)} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{L}^{- n - p})}^{\land} (ξ) d ξ + ε (2 π)^{n} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) v (ξ) d ξ

\begin{matrix} > \frac{1}{v o l (L)} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{L}^{- n - p})}^{\land} (ξ) d ξ = (2 π)^{n} n . \end{matrix}

(17)

Here we used Parseval's formula and the fact that

v

is negative on

Ω

On the other hand, again using Parseval's formula and Hölder's inequality

\begin{matrix} \int_{S^{n - 1}} {(∥ x ∥_{L}^{p})}^{\land} (ξ) {(∥ x ∥_{K}^{- n - p})}^{\land} (ξ) d ξ = (2 π)^{n} \int_{S^{n - 1}} ∥ x ∥_{L}^{p} ∥ x ∥_{K}^{- n - p} d x \end{matrix}

\begin{matrix} \leq & (2 π)^{n} {(\int_{S^{n - 1}} ∥ x ∥_{L}^{- n} d x)}^{- p / n} {(\int_{S^{n - 1}} ∥ x ∥_{K}^{- n} d x)}^{(n + p) / n} \end{matrix}

\begin{matrix} = & (2 π)^{n} n {(v o l (L))}^{- p / n} {(v o l (K))}^{(n + p) / n} . \end{matrix}

(18)

So combining ( 17 ) and ( 18 ) we get

v o l (L) > v o l (K)

□

Corollary 2.7. The result of Theorem 2.6 can be formulated as follows:

i) Let

- 1 < p < 0

. There exist origin-symmetric convex bodies

K

and

L

R^{4}

, so that

Γ_{p}^{*} K \subset Γ_{p}^{*} L,

but

v o l (L) > v o l (K) .

ii) Let

0 < p < 1

. There exist origin-symmetric convex bodies

K

and

L

R^{3}

, so that

Γ_{p}^{*} K \subset Γ_{p}^{*} L,

but

v o l (L) > v o l (K) .

Proof. Consider only the case

- 1 < p < 0

, the other case is similar. In view of the previous theorem it is enough to construct an origin-symmetric infinitely smooth convex body

L \in R^{4}

for which the distribution

(∥ x ∥_{L}^{p})^{\land}

is not positive. The construction will be similar to that from [GKS] .

Define

f_{N} (x) = (1 - x^{2} - N x^{4})^{1 / 3}

, let

a_{N} > 0

be such that

f_{N} (a_{N}) = 0

and

f_{N} (x) > 0

on the interval

(0, a_{N})

. Define a body

L

R^{4}

L = {(x_{1}, x_{2}, x_{3}, x_{4}) \in R^{4} : x_{4} \in [- a_{N}, a_{N}] a n d \sqrt{x_{1}^{2} + x_{2}^{2} + x_{3}^{2}} \leq f_{N} (x_{4})} .

The body

L

is strictly convex and infinitely smooth.

By the formula

A_{L, ξ}^{(q)} (0) = \frac{cos \frac{π q}{2}}{π (n - q - 1)} {(∥ x ∥_{L}^{- n + q + 1})}^{\land} (ξ)

from [GKS] and the definition of fractional derivatives, we get

\begin{matrix} {(∥ x ∥_{L}^{p})}^{\land} (ξ) & = & \frac{π p}{cos \frac{π (3 + p)}{2}} A_{L, ξ}^{(3 + p)} (0) \end{matrix}

\begin{matrix} = & \frac{π p}{Γ (- 3 - p) cos \frac{π (3 + p)}{2}} \int_{0}^{\infty} \frac{A_{L, ξ} (z) - A_{L, ξ} (0) - A_{L, ξ}^{''} (0) \frac{z^{2}}{2}}{z^{4 + p}} d z . \end{matrix}

Note that the coefficient in the latter formula is positive, therefore it is enough to show that the integral is negative.

The function

A_{L, ξ}

can easily be computed:

A_{L, ξ} (x) = \frac{4 π}{3} (1 - x^{2} - N x^{4}) .

We have

\begin{matrix} \int_{0}^{\infty} \frac{A_{ξ} (z) - A_{ξ} (0) - A_{ξ}^{''} (0) \frac{z^{2}}{2}}{z^{4 + p}} d z = \end{matrix}

\begin{matrix} = \frac{4 π}{3} (- \frac{1}{1 + p} N a_{N}^{1 + p} + \frac{1}{(1 + p) a_{N}^{(1 + p)}} - \frac{1}{(3 + p) a_{N}^{3 + p}}) . \end{matrix}

The latter is negative for

N

large enough, because

N^{1 / 4} \cdot a_{N} \to 1

N \to \infty

□

3 Centroid inequalities for $p = 0$ .

In this section we extend the results of the previous section to

p = 0

First we need some preliminary results. The concept of embedding in

L_{0}

was introduced in [KKYY] :

Definition 3.1. We say that a space

(R^{n}, ∥ \cdot ∥)

embeds in

L_{0}

if there exist a finite Borel measure

μ

on the sphere

S^{n - 1}

and a constant

C \in R

so that, for every

x \in R^{n}

\begin{matrix} ln ∥ x ∥ = \int_{S^{n - 1}} ln | (x, ξ) | d μ (ξ) + C . \end{matrix}

(19)

It follows directly from the definition that

μ

is a probability measure, and the constant

C

equals

\begin{matrix} C = \frac{1}{| S^{n - 1} |} \int_{S^{n - 1}} ln ∥ x ∥ d x - \frac{1}{2 \sqrt{π}} Γ^{'} (1 / 2) + \frac{1}{2} \frac{Γ^{'} (n / 2)}{Γ (n / 2)} . \end{matrix}

(20)

Also it was proved that if

K

is an infinitely smooth body then

{(ln ∥ x ∥_{K})}^{\land} (ξ)

is a homogeneous of degree

- n

function on

R^{n} \ {0}

, as seen from the following

Theorem 3.2. [KKYY,Theorem4.1] Let

K

be an infinitely smooth origin-symmetric star body in

R^{n}

. Extend

A_{K, ξ}^{(n - 1)} (0)

to a homogeneous function of degree

- n

of the variable

ξ \in R^{n} \ {0}

Then i) if

n

is odd

{(ln ∥ x ∥_{K})}^{\land} (ξ) = (- 1)^{(n + 1) / 2} π A_{K, ξ}^{(n - 1)} (0), ξ \in R^{n} \ {0}

ii) if

n

is even, then for

ξ \in R^{n} \ {0}

{(ln ∥ x ∥_{K})}^{\land} (ξ) = a_{n} \int_{0}^{\infty} \frac{A_{ξ} (z) - A_{ξ} (0) - A_{ξ}^{''} (0) \frac{z^{2}}{2} - . . . - A_{ξ}^{n - 2} (z) \frac{z^{n - 2}}{(n - 2)!}}{z^{n}} d z,

where

a_{n} = 2 (- 1)^{n / 2 + 1} (n - 1)!

In particular, for an infinitely smooth origin-symmetric star body

K

{(ln ∥ x ∥_{K})}^{\land} (ξ)

is a continuous function on

S^{n - 1}

, and moreover the measure in Definition 3.1 equals

d μ (ξ) = - \frac{1}{(2 π)^{n}} {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ .

Since

μ

is a probability measure, one can see that

\begin{matrix} \int_{S^{n - 1}} (ln ∥ x ∥_{K})^{\land} (θ) d θ = - (2 π)^{n} \end{matrix}

(21)

for any infinitely smooth origin-symmetric star body

K

(see [KKYY,Remark3.2] ).

In our next Lemma we prove that a representation similar to ( 19 ) holds for all infinitely smooth bodies, with

μ

being a signed measure.

Lemma 3.3. Let

K

be an infinitely smooth origin-symmetric star body in

R^{n}

, then

\begin{matrix} ln ∥ x ∥_{K} = - \frac{1}{(2 π)^{n}} \int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ + C_{K}, \end{matrix}

(22)

where

C_{K}

is the constant from ( 20 ).

Since the body

K

is infinitely smooth, by Theorem 3.2 ,

{(ln ∥ x ∥_{K})}^{\land} (ξ)

is a continuous homogeneous function of degree

- n

R^{n} \ {0}

Let

φ

be an even test function supported outside of the origin, then

〈 {(\int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ)}^{\land}, φ 〉

= 〈 \int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ, \hat{φ} (x) 〉

= \int_{R^{n}} [\int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ] \hat{φ} (x) d x

= \int_{S^{n - 1}} [\int_{R^{n}} ln | (x, ξ) | \hat{φ} (x) d x] {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ

Now compute the inner integral using Fubini's theorem and the connection between the Radon and Fourier transforms:

\int_{R^{n}} ln | (x, ξ) | \hat{φ} (x) d x = \int_{R} ln | t | \int_{(x, ξ) = t} \hat{φ} (x) d x d t

= \frac{1}{2 π} \int_{R} (ln | t |)^{\land} (z) {(\int_{(x, ξ) = t} \hat{φ} (x) d x)}^{\land} (z) d z = - \frac{1}{2} \int_{R} | z |^{- 1} \hat{\hat{φ}} (z ξ) d z

= - 2^{n - 1} π^{n} \int_{R} | z |^{- 1} φ (z ξ) d z = - (2 π)^{n} \int_{0}^{\infty} z^{- 1} φ (z ξ) d z

Here we used the formula for the Fourier transform of

ln | t |

(see [GS,p.362] )

\begin{matrix} {(ln | z |)}^{\land} (t) = - π | t |^{- 1} \end{matrix}

(23)

outside of the origin. Therefore, passing from polar to Euclidean coordinates and recalling from Theorem 3.2 , that

{(ln ∥ x ∥_{K})}^{\land}

is a homogeneous function of degree

- n

R^{n} \ {0}

, we get

〈 {(\int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ)}^{\land}, φ 〉

= - (2 π)^{n} \int_{S^{n - 1}} [\int_{0}^{\infty} z^{- 1} φ (z ξ) d z] {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ

= - (2 π)^{n} \int_{R^{n}} φ (y) {(ln ∥ x ∥_{K})}^{\land} (y) d y = - (2 π)^{n} 〈 {(ln ∥ x ∥_{K})}^{\land}, φ 〉 .

It follows that

{(\int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ)}^{\land} = - (2 π)^{n} {(ln ∥ x ∥_{K})}^{\land}

as distributions outside of the origin. Hence, the functions

- (2 π)^{n} ln ∥ x ∥_{K}

and

\int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ

may differ only by a polynomial. But

\frac{1}{(2 π)^{n}} \int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ + ln ∥ x ∥_{K}

is a homogeneous function of degree zero, therefore this polynomial is some constant

C

, which is exactly the constant from Definition 3.1 , as computed in [KKYY] .

□

Now we need a version of Parseval's formula for

L_{0}

. How does the formula of Lemma 2.4 look like if we pass to the limit as

p \to 0

? The answer to this question is given in our next Lemma. Even though in the proof we are using an argument based on Lemma 3.3 , one can obtain the following Lemma by taking the limit in Parseval's formula.

Lemma 3.4. Let

K

and

L

be infinitely smooth origin-symmetric star bodies in

R^{n}

, then

\begin{matrix} - \frac{1}{(2 π)^{n}} \int_{S^{n - 1}} [\int_{L} ln | (x, ξ) | d x] (ln ∥ x ∥_{K})^{\land} (ξ) d ξ = \int_{L} (ln ∥ x ∥_{K} - C_{K}) d x \end{matrix}

Proof. By Lemma 3.3 we have $- \frac{1}{(2 π)^{n}} \int_{S^{n - 1}} ln | (x, ξ) | {(ln ∥ x ∥_{K})}^{\land} (ξ) d ξ = ln ∥ x ∥_{K} - C_{K} .$ Integrating this equality over the body $L$ we get the statement of the Lemma. □

Now we prove the main result of this section.

Theorem 3.5. Let

K

and

L

be two origin-symmetric star bodies in

R^{n}

such that

(R^{n}, ∥ \cdot ∥_{K})

embeds in

L_{0}

and

\begin{matrix} Γ_{0}^{*} K \subset Γ_{0}^{*} L \end{matrix}

(24)

for every

ξ \in S^{n - 1}

, then

v o l (L) \leq v o l (K) .

Proof. Since

(R^{n}, ∥ \cdot ∥_{K})

embeds in

L_{0}

, there exist a probability measure

μ_{K}

S^{n - 1}

(which is the restriction of the Fourier transform of

ln ∥ x ∥_{K}

to the unit sphere) and a constant

C_{K}

from Definition 3.1 .

Rewrite inequality ( 24 ) as follows:

\begin{matrix} \frac{\int_{L} ln | (x, ξ) | d x}{v o l (L)} \leq \frac{\int_{K} ln | (x, ξ) | d x}{v o l (K)}, \end{matrix}

and integrate it over

S^{n - 1}

with respect to

μ_{K}

to get

\begin{matrix} \int_{S^{n - 1}} \frac{\int_{L} ln | (x, ξ) | d x}{v o l (L)} d μ_{K} (ξ) \leq \int_{S^{n - 1}} \frac{\int_{K} ln | (x, ξ) | d x}{v o l (K)} d μ_{K} (ξ) \end{matrix}

Using the Fubini theorem and the definition of embedding in

L_{0}

, we get

\frac{1}{v o l (L)} \int_{L} (ln ∥ x ∥_{K} - C_{K}) d x \leq \frac{1}{v o l (K)} \int_{K} (ln ∥ x ∥_{K} - C_{K}) d x

Therefore

\frac{1}{v o l (L)} \int_{L} ln ∥ x ∥_{K} d x \leq \frac{1}{v o l (K)} \int_{K} ln ∥ x ∥_{K} d x = - \frac{1}{n},

where the latter equality follows from the formula

\frac{1}{v o l (K)} \int_{K} ∥ x ∥_{K}^{p} d x = \frac{n}{n + p},

that we had earlier, after differentiating and letting

p = 0

Now use the following inequality from Milman and Pajor [MP,Section2.2] :

\begin{matrix} \frac{1}{v o l (L)} \int_{L} ln ∥ x ∥_{K} d x \geq - \frac{1}{n} + \frac{1}{n} [ln (v o l (L)) - ln (v o l (K))] \end{matrix}

(25)

Therefore

v o l (L) \leq v o l (K) .

□

Corollary 3.6. Since every three dimensional normed space embeds in

L_{0}

(see [KKYY,Corollary4.3] ), the previous theorem holds for all convex bodies in

R^{3}

To prove our next Theorem we need the following Lemma.

Lemma 3.7. Let

K

be an origin-symmetric star body in

R^{n}

, then the Fourier transform of

∥ x ∥_{K}^{- n}

is a continuous function on

R^{n} \ {0}

and equals

\begin{matrix} (∥ x ∥_{K}^{- n})^{\land} (ξ) = & - & n \int_{K} ln | (x, ξ) | d x + \end{matrix}

\begin{matrix} + & (n Γ^{'} (1) - 1) v o l (K) - \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} ln ∥ θ ∥_{K} d θ . \end{matrix}

Proof. Let

φ

be an even test function. Using the definition of the action of a homogeneous function of degree

- n

(see [GS,p.303] ) we get

\begin{matrix} 〈 (∥ x ∥_{K}^{- n})^{\land}, φ 〉 = 〈 ∥ x ∥_{K}^{- n}, \hat{φ} (x) 〉 \end{matrix}

\begin{matrix} = & \int_{B_{1} (0)} ∥ x ∥_{K}^{- n} (\hat{φ} (x) - \hat{φ} (0)) d x + \int_{R^{n} \ B_{1} (0)} ∥ x ∥_{K}^{- n} \hat{φ} (x) d x \end{matrix}

\begin{matrix} = & \int_{S^{n - 1}} \int_{0}^{1} r^{- 1} ∥ θ ∥_{K}^{- n} (\hat{φ} (r θ) - \hat{φ} (0)) d r d θ + \int_{S^{n - 1}} \int_{1}^{\infty} r^{- 1} ∥ θ ∥_{K}^{- n} \hat{φ} (r θ) d r d θ \end{matrix}

\begin{matrix} = & \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} (\int_{0}^{1} r^{- 1} (\hat{φ} (r θ) - \hat{φ} (0)) d r + \int_{1}^{\infty} r^{- 1} \hat{φ} (r θ) d r) d θ \end{matrix}

\begin{matrix} = & \frac{1}{2} \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} 〈 | r |^{- 1}, \hat{φ} (r θ) 〉 d θ \end{matrix}

\begin{matrix} = & \frac{1}{2} \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} 〈 2 Γ^{'} (1) - 2 ln | t |, \int_{(θ, ξ) = t} φ (ξ) d ξ 〉 d θ \end{matrix}

\begin{matrix} = & 〈 \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} (Γ^{'} (1) - ln | (θ, ξ) |) d θ, φ (ξ) 〉, \end{matrix}

here we used the formula for the Fourier transform of

| r |^{- 1}

from [GS,p.361] :

(| r |^{- 1})^{\land} (t) = 2 Γ^{'} (1) - 2 ln | t | .

Thus we have proved that

\begin{matrix} (∥ x ∥_{K}^{- n})^{\land} (ξ) & = & \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} (Γ^{'} (1) - ln | (θ, ξ) |) d θ . \end{matrix}

(26)

Next, let us compute the following:

\begin{matrix} \int_{K} ln | (x, ξ) | d x = \int_{S^{n - 1}} \int_{0}^{∥ θ ∥_{K}^{- 1}} r^{n - 1} ln | (r θ, ξ) | d r d θ \end{matrix}

\begin{matrix} = & \int_{S^{n - 1}} \int_{0}^{∥ θ ∥_{K}^{- 1}} r^{n - 1} ln r d r d θ + \int_{S^{n - 1}} ln | (θ, ξ) | \int_{0}^{∥ θ ∥_{K}^{- 1}} r^{n - 1} d r d θ \end{matrix}

\begin{matrix} = & - \frac{1}{n} \int_{S^{n - 1}} (∥ θ ∥_{K}^{- n} ln ∥ θ ∥_{K} + \frac{1}{n} ∥ θ ∥_{K}^{- n}) d θ + \frac{1}{n} \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} ln | (θ, ξ) | d θ \end{matrix}

Therefore

\begin{matrix} \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} ln | (θ, ξ) | d θ = \end{matrix}

\begin{matrix} = n \int_{K} ln | (x, ξ) | d x + \int_{S^{n - 1}} (∥ θ ∥_{K}^{- n} ln ∥ θ ∥_{K} + \frac{1}{n} ∥ θ ∥_{K}^{- n}) d θ . \end{matrix}

Combining this formula with the formula ( 26 ), we get

\begin{matrix} (∥ x ∥_{K}^{- n})^{\land} (ξ) = & - & n \int_{K} ln | (x, ξ) | d x + \end{matrix}

\begin{matrix} + & (n Γ^{'} (1) - 1) v o l (K) - \int_{S^{n - 1}} ∥ θ ∥_{K}^{- n} ln ∥ θ ∥_{K} d θ . \end{matrix}

□

Theorem 3.8. There are convex bodies

K

and

L

R^{n}

n \geq 4

such that

\begin{matrix} Γ_{0}^{*} K \subset Γ_{0}^{*} L \end{matrix}

for every

ξ \in S^{n - 1}

, but

v o l (K) < v o l (L) .

Proof. Let

L

be a strictly convex infinitely smooth body in

R^{n}

n \geq 4

, for which

- (ln ∥ x ∥_{L})^{\land}

is not positive everywhere. (See [KKYY,Theorem4.4] for an explicit construction of such a body).

Let

ξ \in S^{n - 1}

be such that

- (ln ∥ x ∥_{L})^{\land} (ξ) < 0

. By continuity of the function

(ln ∥ x ∥_{L})^{\land} (θ)

on the sphere there is a neighborhood of

ξ

where this function is negative. Let

Ω = {θ \in S^{n - 1} : - (ln ∥ x ∥_{L})^{\land} (θ) < 0} .

Choose an infinitely smooth body

D

whose Minkowski norm

∥ x ∥_{D}

is equal to 1 outside of

Ω

and

∥ x ∥_{D} < 1

for

x \in Ω

. Let

v

be a homogeneous function of degree

0

R^{n} \ {0}

, defined as follows:

v (x) = ln ∥ x ∥_{D} - ln | x |_{2} .

Clearly

v (x) < 0

x \in Ω

and

v (x) = 0

x \in S^{n - 1} \ Ω

In view of Theorem 3.2 , the Fourier transforms of

ln ∥ x ∥_{D}

and

ln | x |_{2}

outside of the origin are some homogeneous functions of degree

- n

, therefore the Fourier transform of

v (x)

outside of the origin is equal to

| x |_{2}^{- n} g (x / | x |_{2})

for some infinitely smooth function

g

S^{n - 1}

. Since by ( 21 )

\int_{S^{n - 1}} (ln ∥ x ∥_{D})^{\land} (θ) d θ = \int_{S^{n - 1}} (ln | x |_{2})^{\land} (θ) d θ = - (2 π)^{n},

we have

\begin{matrix} \int_{S^{n - 1}} g (θ) d θ = 0 . \end{matrix}

(27)

Define a body

K

by the formula:

\begin{matrix} \frac{∥ x ∥_{K}^{- n}}{v o l (K)} = \frac{∥ x ∥_{L}^{- n}}{v o l (L)} + n (2 π)^{- n} ε | x |_{2}^{- n} g (x / | x |_{2}) . \end{matrix}

(28)

Note that formula ( 27 ) validates this definition, since integrating the last equality over the unit sphere we get the same quantity in both sides. Also, since

L

is strictly convex, there is an

ε

small enough, so that

K

is also convex (see e.g. the perturbation argument from [K5,Section5.1] ). From now on we fix such an

ε

Now we will show that

K

together with

L

constructed above satisfy the assumptions of the theorem. Apply the Fourier transform to both sides of ( 28 ). Note, that the Fourier transform of

| x |_{2}^{- n} g (x / | x |_{2})

is equal to

(2 π)^{n} v

on test functions, whose Fourier transform is supported outside of the origin.

Such distributions can differ only by a polynomial, which must be a constant in this case, since both functions cannot grow faster than a logarithm (see Lemma 3.7 ). So

{(| x |_{2}^{- n} g (x / | x |_{2}))}^{\land} = (2 π)^{n} (v + α),

for some constant

α

whose value has no significance for us. Hence, by Lemma 3.7 , the Fourier transform of ( 28 ) looks as follows:

\begin{matrix} - \frac{n \int_{K} ln | (x, ξ) | d x}{v o l (K)} = - \frac{n \int_{L} ln | (x, ξ) | d x}{v o l (L)} + n ε \cdot v (ξ) + C, \end{matrix}

(29)

where the constant

C

equals

\begin{matrix} C = \frac{\int_{K} ∥ θ ∥_{K}^{- n} ln ∥ θ ∥_{K} d θ d x}{v o l (K)} - \frac{\int_{L} ∥ θ ∥_{L}^{- n} ln ∥ θ ∥_{L} d θ d x}{v o l (L)} + n ε \cdot α . \end{matrix}

Since the bodies

L

and

D

are fixed, dilating the body

K

we can make this constant equal to zero. Indeed, multiply the Minkowski functional of

K

by a positive constant

λ

, then

\begin{matrix} C & = & \frac{\int_{K} (λ ∥ θ ∥_{K})^{- n} ln λ ∥ θ ∥_{K} d θ d x}{λ^{- n} v o l (K)} - \frac{\int_{L} ∥ θ ∥_{L}^{- n} ln ∥ θ ∥_{L} d θ d x}{v o l (L)} + n ε \cdot α \end{matrix}

\begin{matrix} = & \frac{\int_{K} ∥ θ ∥_{K}^{- n} [ln λ + ln ∥ θ ∥_{K}] d θ d x}{v o l (K)} - \frac{\int_{L} ∥ θ ∥_{L}^{- n} ln ∥ θ ∥_{L} d θ d x}{v o l (L)} + n ε \cdot α \end{matrix}

\begin{matrix} = & n ln λ + \frac{\int_{K} ∥ θ ∥_{K}^{- n} ln ∥ θ ∥_{K} d θ d x}{v o l (K)} - \frac{\int_{L} ∥ θ ∥_{L}^{- n} ln ∥ θ ∥_{L} d θ d x}{v o l (L)} + n ε \cdot α \end{matrix}

One can choose a

λ > 0

so that

C = 0

. Therefore from ( 29 ) we get

\begin{matrix} \frac{\int_{K} ln | 〈 x, ξ 〉 | d x}{v o l (K)} = \frac{\int_{L} ln | 〈 x, ξ 〉 | d x}{v o l (L)} - ε v (ξ) \geq \frac{\int_{L} ln | 〈 x, ξ 〉 | d x}{v o l (L)}, \end{matrix}

(30)

since

v

is non-positive. Therefore

\begin{matrix} Γ_{0}^{*} K \subset Γ_{0}^{*} L . \end{matrix}

Now using Parseval's formula and inequality ( 30 ) we get

\begin{matrix} \frac{1}{v o l (K)} \int_{K} (ln ∥ x ∥_{L} - C_{L}) d x = \end{matrix}

\begin{matrix} = & - \frac{1}{(2 π)^{n}} \frac{1}{v o l (K)} \int_{S^{n - 1}} [\int_{K} ln | 〈 x, ξ 〉 | d x] (ln ∥ x ∥_{L})^{\land} (ξ) d ξ \end{matrix}

\begin{matrix} = & - \frac{1}{(2 π)^{n}} \int_{S^{n - 1}} [\frac{1}{v o l (L)} \int_{L} ln | 〈 x, ξ 〉 | d x - ε v (ξ)] (ln ∥ x ∥_{L})^{\land} (ξ) d ξ \end{matrix}

\begin{matrix} = & - \frac{1}{(2 π)^{n}} \frac{1}{v o l (L)} \int_{S^{n - 1}} [\int_{L} ln | 〈 x, ξ 〉 | d x] (ln ∥ x ∥_{L})^{\land} (ξ) d ξ \end{matrix}

\begin{matrix} + \frac{1}{(2 π)^{n}} \frac{1}{v o l (L)} \int_{S^{n - 1}} ε v (ξ) (ln ∥ x ∥_{L})^{\land} (ξ) d ξ \end{matrix}

\begin{matrix} < & - \frac{1}{(2 π)^{n}} \frac{1}{v o l (L)} \int_{S^{n - 1}} [\int_{L} ln | 〈 x, ξ 〉 | d x] (ln ∥ x ∥_{L})^{\land} (ξ) d ξ \end{matrix}

\begin{matrix} = & \frac{1}{v o l (L)} \int_{L} (ln ∥ x ∥_{L} - C_{L}) d x, \end{matrix}

where the inequality follows from the fact that

v

is non-positive and it is supported on the set where

- (ln ∥ x ∥_{L})^{\land} (ξ) < 0

Recalling the inequality ( 25 )

- \frac{1}{n} \geq \frac{1}{v o l (K)} \int_{K} ln ∥ x ∥_{L} d x \geq - \frac{1}{n} + \frac{1}{n} [ln (v o l (K)) - ln (v o l (L))],

we get

v o l (K) < v o l (L) .

□ Acknowledgments. The authors wish to thank A. Koldobsky for reading this manuscript and making many valuable suggestions.

References

Y. Benyamini and J. Lindenstrauss, Geometric nonlinear functional analysis, Colloqium publications, vol.48, American Mathematical Society, 2000.
S. Campi, P. Gronchi , The $L_{p}$ -Busemann-Petty centroid inequality, Adv. Math. 167 (2002), 128–141.
R. J. Gardner, A. Koldobsky, T. Schlumprecht, An analytic solution to the Busemann-Petty problem on sections of convex bodies, Annals of Math. 149 (1999), 691–703.
I. M. Gelfand, G. E. Shilov, Generalized Functions, vol.1 Properties and Operetaions, Academic Press, New York and London, 1964.
E. Grinberg, G. Zhang, Convolutions, transforms and convex bodies, Proc. London Math. Soc. (3)78 (1999), 77–115.
N. J. Kalton, A. Koldobsky, V. Yaskin and M. Yaskina, The geometry of $L_{0}$ , preprint.
A. Koldobsky, Generalized Lévy representation of norms and isometric embeddings into $L_{p}$ spaces., Ann. Inst. H. Poincaré Sér. B 28 (1992), 335-353.
A. Koldobsky, Positive definite distributions and subspaces of $L_{- p}$ with applications to stable processes, Canad. Math. Bull., 42 (1999), no.3, 344–353.
A. Koldobsky, A generalization of the Busemann-Petty problem on sections of convex bodies, Israel J. Math. 110 (1999), 75–91.
A. Koldobsky, The Busemann-Petty problem via spherical harmonics, Advances in Math. 177 (2003), 105–114.
A. Koldobsky, Fourier analysis in convex geometry, to appear.
E. Lutwak, Centroid bodies and dual mixed volumes, Proc. London Math. Soc. (3)60 (1990), 365–391.
E. Lutwak, D. Yang and G. Zhang, $L_{p}$ affine isoperimetric inequalities, J.Diff.Geom. 56 (2000), 111–132.
E. Lutwak, G. Zhang, Blaschke-Santaló inequalities, J.Diff.Geom. 47 (1997), 1–16.
V. D. Milman, A. Pajor, Isotropic position and inertia ellipsoids and zonoids of the unit ball of a normed n-dimensional space, in: Geometric Aspects of Functional Analysis, ed. by J.Lindestrauss and V.D.Milman, Lecture Notes in Mathematics 1376, Springer, Heidelberg, 1989, 64–104.
R. Schneider, Zur einem Problem von Shephard uber die Projektionen konvexer Korper, Math. Z. 101 (1967), 71–82 (German).

V.Yaskin, Department of Mathematics, University of Missouri, Columbia, MO 65211, USA E-mail address : yaskinv@math.missouri.edu M.Yaskina, Department of Mathematics, University of Missouri, Columbia, MO 65211, USA E-mail address : yaskinam@math.missouri.edu

V.Yaskin and M.Yaskina