Minimal surface explained

In mathematics, a minimal surface is a surface that locally minimizes its area. This is equivalent to having zero mean curvature (see definitions below).

The term "minimal surface" is used because these surfaces originally arose as surfaces that minimized total surface area subject to some constraint. Physical models of area-minimizing minimal surfaces can be made by dipping a wire frame into a soap solution, forming a soap film, which is a minimal surface whose boundary is the wire frame. However, the term is used for more general surfaces that may self-intersect or do not have constraints. For a given constraint there may also exist several minimal surfaces with different areas (for example, see minimal surface of revolution): the standard definitions only relate to a local optimum, not a global optimum.

Definitions

Minimal surfaces can be defined in several equivalent ways in

\R ^{3} . The fact that they are equivalent serves to demonstrate how minimal surface theory lies at the crossroads of several mathematical disciplines, especially differential geometry, calculus of variations, potential theory, complex analysis and mathematical physics.^[1]

Local least area definition: A surface

M \subset \R ^{3} is minimal if and only if every point p ∈ M has a neighbourhood, bounded by a simple closed curve, which has the least area among all surfaces having the same boundary.

This property is local: there might exist regions in a minimal surface, together with other surfaces of smaller area which have the same boundary. This property establishes a connection with soap films; a soap film deformed to have a wire frame as boundary will minimize area.

Variational definition: A surface

M \subset \R ^{3} is minimal if and only if it is a critical point of the area functional for all compactly supported variations.

This definition makes minimal surfaces a 2-dimensional analogue to geodesics, which are analogously defined as critical points of the length functional.

Mean curvature definition: A surface

M \subset \R ^{3} is minimal if and only if its mean curvature is equal to zero at all points.

A direct implication of this definition is that every point on the surface is a saddle point with equal and opposite principal curvatures. Additionally, this makes minimal surfaces into the static solutions of mean curvature flow. By the Young–Laplace equation, the mean curvature of a soap film is proportional to the difference in pressure between the sides. If the soap film does not enclose a region, then this will make its mean curvature zero. By contrast, a spherical soap bubble encloses a region which has a different pressure from the exterior region, and as such does not have zero mean curvature.

Differential equation definition: A surface

M \subset \R ^{3} is minimal if and only if it can be locally expressed as the graph of a solution of( 1+ u ^{2 )u} _{yy} - 2 u _{xu} _{yu} _{xy} + ( 1+ u ^{2 )u} _{xx} =0

The partial differential equation in this definition was originally found in 1762 by Lagrange,^[2]

Notes and References

1. William H. III . Meeks . Joaquín . Pérez . 2011 . The classical theory of minimal surfaces . . 48 . 3 . 325–407 . 10.1090/s0273-0979-2011-01334-9 . 2801776 . free .
2. J. L. Lagrange. Essai d'une nouvelle methode pour determiner les maxima et les minima des formules integrales indefinies. Miscellanea Taurinensia 2, 325(1):173