## Introduction

the statement go isometry inequality is very simple:

, iff is a ball, arrive a minimum .

This is a classical problem in variation theory. The difficult is divide into two parts. The first is to create a “flow” which descrement the energy and the “flow” is compatible with the feature of a ball, i.e. every set under the flow will tend to like a “ball”. The second one is to proof there exist a unit in the space make the Energy arrive a minimum.

Combine this two property we can consult that ball is the set and definitely the only set make the arrive the minimum.

## first difficulties

The energy $E(\Omega)$ is scaling invariance. The first difficult could divide into two part:

**Restrict to convex set**

the first is to deform a set into a convex set and proof this process would not lower . This could been a little subtle. and the way I image could make sense is just like the following transform:

but this process is harder in higher dimension, for example:

**Convex set to a ball**

**Steiner symmetric process.**

** Affine transform**

**Minkowski–Steiner formula**

In mathematics, the Minkowski–Steiner formula is a formula relating the surface area and volume of compact subsets of Euclidean space. More precisely, it defines the surface area as the “derivative” of enclosed volume in an appropriate sense.

The Minkowski–Steiner formula is used, together with the Brunn–Minkowski theorem, to prove the isoperimetric inequality. It is named after Hermann Minkowski and Jakob Steiner.

Statement of the Minkowski-Steiner formula

Let , and let be a compact set. Let denote the [[Lebesgue measure]] (volume) of . Define the quantity by the ”’Minkowski–Steiner formula”’:

where:

denotes the [[closed ball]] of [[radius]] , and:

is the [[Minkowski sum]] of $latexA$ and , so that:

.

Surface measure

For “sufficiently regular” sets , the quantity does indeed correspond with the -dimensional measure of the [[boundary (topology)|boundary]] of . See Federer (1969) for a full treatment of this problem.

Convex sets

When the set is a [[convex set]], the [[limit inferior|lim-inf]] above is a true [[Limit of a sequence|limit]], and one can show that

:,

where the are some [[continuous function]]s of (see [[quermassintegral]]s) and $\omega_{n}$ denotes the measure (volume) of the [[unit ball]] in :

:,

where denotes the [[Gamma function]].

==Example: volume and surface area of a ball==

Taking gives the following well-known formula for the surface area of the [[sphere]] of radius , :

:

::

::,

where is as above.

## The second difficulties

To establish a continue property of the Energy functional .

the continuous property is consider with all open set with Gromov-Hausdorff metric .

We need to proof the continuous of with the Gromov-hausdorff metric on the space consist with convex open sets.

To remark,we need to observe that polygon approximation is just corresponding to the points approximation in Gromov-hausdorff distance. and definitely carefully refinement of this kind of approximation could lead to the result of continuous of the energy on convex set.

A second remark, we definitely need a definition of the it could be achieve with open convex set by a outer and inter approximation by polygon and the error term estimate.

Further remark, isoperimetric inequality is a general phenomenon.