14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

The Isoperimetric Inequality in a Minkowski Space<br />

8 The Brunn–Minkowski Inequality 155<br />

The analog of the classical isoperimetric inequality in a Minkowski space is as<br />

follows:<br />

Theorem 8.10. Let C ∈ Cp(E d ) where E d is endowed with a new norm <strong>and</strong> a corresponding<br />

isoperimetrix I . Then<br />

SI (C) d<br />

V (C) d−1 ≥ SI (I ) d<br />

,<br />

V (I ) d−1<br />

where equality holds if <strong>and</strong> only if C is homothetic to I .<br />

If, in the three proofs of the classical isoperimetric inequality given above, the<br />

Euclidean unit ball B d is replaced by I <strong>and</strong> instead of Steiner’s formula for the volume<br />

of parallel bodies Minkowski’s theorem on mixed volumes is used, we obtain<br />

this more general result.<br />

8.4 S<strong>and</strong> Piles, Capillary Surfaces <strong>and</strong> Wulff’s Theorem in Crystallography<br />

As remarked Sect. 8.3, the Brunn–Minkowski theorem has several applications to<br />

isoperimetric problems of mathematical physics.<br />

In the following we present three pertinent results, a problem on the maximum<br />

volume of a s<strong>and</strong> pile with given area of the base, a problem on the minimum volume<br />

of a capillary surface <strong>and</strong> Wulff’s theorem on the form of crystals.<br />

For general references on isoperimetric inequalities of mathematical physics, see<br />

the books <strong>and</strong> surveys cited in the introduction to Sect. 9.4.<br />

S<strong>and</strong> Piles of Maximum Volume<br />

What is the shape of a closed planar set of given area which supports a s<strong>and</strong> pile<br />

of maximum volume? The same mathematical problem arises also in Nádai’s [761]<br />

theory of plasticity in the following form: For what cross-section of given area has<br />

a perfectly plastic rod maximum torsional rigidity? Compare Sect. 9.4 for the corresponding<br />

question for elastic rods. Leavitt <strong>and</strong> Ungar [633] proved the following<br />

result using the method of inner parallel sets. This method can also be used to prove<br />

the geometric isoperimetric inequality, see, e.g. Fejes Tóth [329].<br />

Theorem 8.11. Among all compact sets B in E 2 of given area it is precisely the<br />

circular discs, up to sets of measure 0, that support s<strong>and</strong> piles of maximum volume.<br />

Proof. Let α be the maximum angle with the horizontal which a s<strong>and</strong> pile can sustain,<br />

the so-called glide angle of the s<strong>and</strong>. The height of a s<strong>and</strong> pile on B at a point<br />

x ∈ B then is at most δ(x) tan α, where δ(x) = dist(x, bd B) = min{�x − y� :y ∈<br />

bd B}. Thus we have the following estimate for the volume V of a s<strong>and</strong> pile on B:<br />

�<br />

(1) V ≤ tan α δ(x) dx.<br />

B

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!