# Inverse mean curvature flow

Inverse mean curvature flow

In the field of differential geometry in mathematics, inverse mean curvature flow (IMCF) is an example of a geometric flow of hypersurfaces a Riemannian manifold (for example, smooth surfaces in 3-dimensional Euclidean space). Intuitively, a family of surfaces evolves under IMCF if the outward normal speed at which a point on the surface moves is given by the reciprocal of the mean curvature of the surface. For example, a round sphere evolves under IMCF by expanding outward uniformly at an exponentially growing rate (see below). In general, this flow does not exist (for example, if a point on the surface has zero mean curvature), and even if it does, it generally develops singularities. Nevertheless, it has recently been an important tool in differential geometry and mathematical problems in general relativity.

Example: a round sphere

Consider a two-dimensional sphere of radius $R\left(t\right)$ evolving under IMCF in 3-dimensional Euclidean space, where $t$ is the time parameter of the flow. (By symmetry considerations, a round sphere will remain round under this flow, so that the radius at time $t$ determines the surface at time $t$.) The outward speed under the flow is the derivative, $R\text{'}\left(t\right)$, and the mean curvature equals $frac\left\{2\right\}\left\{R\left(t\right)\right\}$. (This may be computed from the first variation of area formula.) Setting the speed equal to the reciprocal of the mean curvature, we have the ordinary differential equation

:$frac\left\{dR\right\}\left\{dt\right\}=frac\left\{R\left(t\right)\right\}\left\{2\right\},$

which possesses a unique, smooth solution given by

:$R\left(t\right) = R_0 e^\left\{t/2\right\},$

where $R_0$ is the radius of the sphere at time $t=0$. Thus, in this case we see that a round sphere evolves under IMCF by uniformly expanding outward with an exponentially increasing radius.

Generalization: weak IMCF

In 1997 G. Huisken and T. Ilmanen showed that it makes sense to define a weak solution to IMCF. Geometrically, this means that the flow can be continued past singularities if the surface is allowed to "jump" outward at certain times.

Monotonicity of the Hawking mass

It was observed by Geroch, Jang, and Wald that if a closed, connected surface evolves smoothly under IMCF in a 3-manifold with nonnegative scalar curvature, then a certain geometric quantity associated to the surface, the Hawking mass, is non-decreasing under the flow. Amazingly, the Hawking mass is non-decreasing even under IMCF in the sense of Huisken and Ilmanen. This fact is at the heart of the geometric applications of IMCF.

Applications

In the late 1990s and early 2000s, weak IMCF has been used to
* prove the Riemannian Penrose inequality for the case of a single black hole (due to Huisken and Ilmanen)
* compute the Yamabe invariant of three-dimensional real projective space (due to H. Bray and A. Neves)

* mean curvature flow

References

* Huisken, G., and Ilmanen, T. "The inverse mean curvature flow and the Riemannian Penrose inequality", Journal of Differential Geometry, 59, (2001), 353-437.
* Bray, H., and Neves A. "Classification of prime 3-manifolds with Yamabe invariant greater than RP3." Annals of Mathematics,159, (2004), 407-424.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Mean curvature flow — In the field of differential geometry in mathematics, mean curvature flow is an example of a geometric flow of hypersurfaces in a Riemannian manifold (for example, smooth surfaces in 3 dimensional Euclidean space). Intuitively, a family of… …   Wikipedia

• Mean curvature — In mathematics, the mean curvature H of a surface S is an extrinsic measure of curvature that comes from differential geometry and that locally describes the curvature of an embedded surface in some ambient space such as Euclidean space. The… …   Wikipedia

• Geometric flow — In mathematics, specifically differential geometry, a geometric flow is the gradient flow associated to a functional on a manifold which has a geometric interpretation, usually associated with some extrinsic or intrinsic curvature. They can be… …   Wikipedia

• Curvature — In mathematics, curvature refers to any of a number of loosely related concepts in different areas of geometry. Intuitively, curvature is the amount by which a geometric object deviates from being flat, or straight in the case of a line, but this …   Wikipedia

• Riemannian Penrose inequality — In mathematical general relativity, the Penrose inequality, first conjectured by Sir Roger Penrose, estimates the mass of a spacetime in terms of the total area of its black holes and is a generalization of the positive mass theorem. The… …   Wikipedia

• List of mathematics articles (I) — NOTOC Ia IA automorphism ICER Icosagon Icosahedral 120 cell Icosahedral prism Icosahedral symmetry Icosahedron Icosian Calculus Icosian game Icosidodecadodecahedron Icosidodecahedron Icositetrachoric honeycomb Icositruncated dodecadodecahedron… …   Wikipedia

• Gerhard Huisken — 2006 Gerhard Huisken (* 20. Mai 1958 in Hamburg) ist ein deutscher Mathematiker. Inhaltsverzeichnis 1 Leben …   Deutsch Wikipedia

• List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

• Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

• Glossary of Riemannian and metric geometry — This is a glossary of some terms used in Riemannian geometry and metric geometry mdash; it doesn t cover the terminology of differential topology. The following articles may also be useful. These either contain specialised vocabulary or provide… …   Wikipedia