Calculus of variations and optimal control; optimization Geometric measure theory and optimization on manifolds Example
Simons cone
Builds on ConeMean curvatureMinimal surface
Example
Write points of as with . The Simons cone is the hypersurface It is a cone: if and , then . It is smooth away from the origin, and the origin is its only singular point.
Check that is a minimal surface, that is, has mean curvature zero. The cone is the zero set of , and vanishes only at the origin. The unit normal is with , and the mean curvature is, up to a constant factor, . Since and , one gets , which is on .
Remarks
The intersection of with the unit sphere is the product of two -spheres of radius , a minimal hypersurface of . James Simons showed in 1968 that is stable, that is, the second variation of area is nonnegative. Bombieri, De Giorgi and Giusti proved in 1969 that is in fact area-minimizing: the region minimizes perimeter among all sets that agree with it outside a ball. So area-minimizing hypersurfaces in can have isolated singular points, and the dimension bound for the singular set of such hypersurfaces is sharp. The analogous cones with for are not area-minimizing. The cone is the reason why the answer to Bernstein's problem changes at dimension .
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Cone concept
- Mean curvature concept
- Minimal surface concept
- Simons cone example
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | ED3DAZVQZ4 |
|---|---|
| URI | m2://ED3DAZVQZ4 |
| Kind | example |
| Writing | W0 stub |
| MSC | 49Q05, 53A10, 49Q15 |
| Illustrates | Bombieri–De Giorgi–Giusti theorem, Bernstein's problem |
| Uses | Cone, Mean curvature, Minimal surface |
| Same as |
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.