Differential geometry Geometric evolution equations Theorem
Huisken's theorem on convex hypersurfaces
Builds on Mean curvaturePrincipal curvature
Statement
Let and let be a compact, connected, smooth hypersurface without boundary embedded in . Assume that is uniformly convex, that is, all principal curvatures of are positive at every point. Then:
- The mean curvature flow starting from has a unique smooth solution on a maximal time interval with .
- Each is uniformly convex.
- As , the hypersurfaces shrink to a single point .
- The rescaled hypersurfaces converge smoothly to the unit sphere as .
Remarks
The proof first shows that convexity is preserved by the maximum principle applied to the evolution of the second fundamental form. The key estimate is a pinching estimate: the ratio of the smallest to the largest principal curvature tends to where the mean curvature blows up. Together with bounds on the derivatives of the curvature, this forces the rescaled surfaces to become round. For a round sphere of radius , the flow gives spheres of radius , so and the rescaled surfaces are all the unit sphere. Convexity is needed: a dumbbell, made of two large spheres joined by a thin neck, can pinch off at the neck before it shrinks to a point. The case of convex curves in the plane is the theorem of Gage and Hamilton, part of the Gage–Hamilton–Grayson theorem.
Going deeper
For a student
Huisken proved this in 1984, for hypersurfaces of dimension at least two. It is the model result for geometric flows that make a shape round. It parallels Hamilton's theorem that the Ricci flow deforms a closed -manifold with positive Ricci curvature into a round one. The method combines the parabolic maximum principle with curvature pinching estimates. Later work of Huisken and others studies what happens without convexity, where singularities such as neck pinches appear.
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Mean curvature concept
- Principal curvature concept
- Huisken's theorem on convex hypersurfaces statement
Further reading
About this page
| Tag | 14RHHMGF2D |
|---|---|
| URI | m2://14RHHMGF2D |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 53E10, 53C44 |
| Status | This copy of the site has no build data. Run m2 status 14RHHMGF2D. |
| Uses | Mean curvature, Principal curvature |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.