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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

200 <strong>Convex</strong> Bodies<br />

vector of St at x(s, t) with speed equal to the curvature of St at x(s, t). In other<br />

words, x(s, t) is the solution of the parabolic initial value problem<br />

xt(s, t) = xss(s, t)<br />

x(s, 0) = x(s),<br />

where x(s) is a given arc-length parametrization of S0.<br />

This problem, clearly, can be extended to dimensions d ≥ 2 with the flow driven<br />

by the mean curvature, the Gauss curvature, a function of these, or by some other<br />

function of the principal curvatures. For simplicity, we consider only the mean <strong>and</strong><br />

the Gauss curvature.<br />

The following result was proved for d = 2 by Gage [349, 350] <strong>and</strong> Gage <strong>and</strong><br />

Hamilton [351] <strong>and</strong> for d ≥ 3 by Huisken [529]. Andrews [31] gave a generalization<br />

providing a simpler proof of Huisken’s result. For the question of singularities which<br />

might evolve, see Huisken <strong>and</strong> Sinestrari [530] <strong>and</strong> White [1024]. For a selection of<br />

generalizations, related material <strong>and</strong> references, we refer to Andrews [33], the book<br />

of Chou <strong>and</strong> Zhu [210] <strong>and</strong> the reports of White [1022, 1023].<br />

Theorem 10.4. A given (sufficiently differentiable) closed convex surface S0 in E d<br />

is deformed by the mean curvature driven flow in the interior normal direction into<br />

a family {St : t ≥ 0} of closed convex surfaces shrinking to a point. If rescaled by<br />

suitable homotheties, these convex surfaces tend to S d−1 .<br />

An analogous result holds for the flow driven by the Gauss curvature. For d = 2<br />

it is the same result as before. For general d it was proved by Chou [209] <strong>and</strong> Andrews<br />

[32]. See also Andrews [33] for a multitude of references. For affine evolutions<br />

compare Leichtweiss [643].<br />

<strong>Convex</strong> Billiards <strong>and</strong> Caustics<br />

A(convex) billiard table B in E d is a proper convex body (see Fig. 10.1). A billiard<br />

ball in B is a point which moves with constant speed along a (straight) line in int B<br />

until it hits bd B. If the point where it hits bd B is a regular boundary point of B,the<br />

billiard ball is reflected in the usual way <strong>and</strong> moves again with the same speed along<br />

a line in int B, etc. If the billiard ball hits bd B at a singular point, it stops there. The<br />

curve described by a billiard ball is called a billiard trajectory.<br />

Fig. 10.1. Billiard

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

Saved successfully!

Ooh no, something went wrong!