digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

For minimal surfaces in algebraic geometry, see Minimal model program.
A helicoid minimal surface formed by a soap film on a helical frame

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

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

Saddle tower minimal surface. While any small change of the surface increases its area, there exist other surfaces with the same boundary with smaller total area.

Minimal surfaces can be defined in several equivalent ways in R3. 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 MR3 is minimal if and only if every point pM has a neighbourhood with least-area relative to its boundary.

Note that this property is local: there might exist other surfaces that minimize area better with the same global boundary.

Variational definition:A surface MR3 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.

Soap film definition: A surface MR3 is minimal if and only if every point pM has a neighbourhood Dp which is equal to the unique idealized soap film with boundary ∂Dp

By the Young–Laplace equation the curvature of a soap film is proportional to the difference in pressure between the sides: if it is zero, the membrane has zero mean curvature. Note that spherical bubbles are not minimal surfaces as per this definition: while they minimize total area subject to a constraint on internal volume, they have a positive pressure.

Minimal surface curvature planes. On a minimal surface the curvature along the principal curvature planes are equal and opposite at every point. This is makes the mean curvature zero.
Mean curvature definition: A surface MR3 is minimal if and only if its mean curvature vanishes identically.

A direct implication of this definition is that every point on the surface is a saddle point with equal and opposite principal curvatures.

Differential equation definition: A surface MR3 is minimal if and only if it can be locally expressed as the graph of a solution of
$(1+u_x^2)u_{yy} - 2u_xu_yu_{xy} + (1+u_y^2)u_{xx}=0$

The partial differential equation in this definition was originally found in 1762 by Lagrange,[2] and Jean Baptiste Meusnier discovered in 1776 that it implied a vanishing mean curvature.[3]

Energy definition: A conformal immersion X: MR3 is minimal if and only if it is a critical point of the Dirichlet energy for all compactly supported variations, or equivalently if any point pM has a neighbourhood with least energy relative to its boundary.

This definition ties minimal surfaces to harmonic functions and potential theory.

Harmonic definition: If X = (x1, x2, x3): MR3 is an isometric immersion of a Riemann surface into 3-space, then X is said to be minimal whenever xi is a harmonic function on M for each i.

A direct implication of this definition and the maximum principle for harmonic functions is that there are no compact complete minimal surfaces in R3.

Gauss map definition: A surface MR3 is minimal if and only if its stereographically projected Gauss map g: MC ∪ {∞} is meromorphic with respect to the underlying Riemann surface structure, and M is not a piece of a sphere.

This definition uses that the mean curvature is half of the trace of the shape operator, which is linked to the derivatives of the Gauss map. If the projected Gauss map obeys the Cauchy–Riemann equations then either the trace vanishes or every point of M is umbilic, in which case it is a piece of a sphere.

Mean curvature flow definition: Minimal surfaces are the critical points for the mean curvature flow.[4]

The local least area and variational definitions allow extending minimal surfaces to other Riemannian manifolds than R3.

## History

Minimal surface theory originates with Lagrange who in 1762 considered the variational problem of finding the surface z = z(x, y) of least area stretched across a given closed contour. He derived the Euler–Lagrange equation for the solution

$\frac{d}{dx}\left(\frac{z_x}{\sqrt{1+z_x^2+z_y^2}}\right ) + \frac{d}{dy}\left(\frac{z_y}{\sqrt{1+z_x^2+z_y^2}}\right )=0$

He did not succeed in finding any solution beyond the plane. In 1776 Jean Baptiste Marie Meusnier discovered that the helicoid and catenoid satisfy the equation, and that the differential expression corresponds to twice the mean curvature of the surface, concluding that surfaces with zero mean curvature are area-minimizing.

By expanding Lagrange's equation to

$(1+z_x^2)z_{yy} - 2z_xz_yz_{xy} + (1+z_y^2)z_{xx}=0$

Gaspard Monge and Legendre in 1795 derived representation formulas for the solution surfaces. While these were successfully used by Heinrich Scherk in 1830 to derive his surfaces, they were generally regarded as practically unusable. Catalan proved in 1842/43 that the helicoid is the only ruled minimal surface.

Progress had been fairly slow until the middle of the century, when the Björling problem was solved using complex methods. The "first golden age" of minimal surfaces began. Schwarz found the solution of the Plateau problem for a regular quadrilateral in 1865 and for a general quadrilateral in 1867 (allowing the construction of his periodic surface families) using complex methods. Weierstrass and Enneper developed more useful representation formulas, firmly linking minimal surfaces to complex analysis and harmonic functions. Other important contributions came from Beltrami, Bonnet, Darboux, Lie, Riemann, Serret and Weingarten.

Between 1925 and 1950 minimal surface theory revived, now mainly aimed at nonparametric minimal surfaces. The complete solution of the Plateau problem by Jesse Douglas and Tibor Radó was a major milestone. Bernstein's problem and Robert Osserman's work on complete minimal surfaces of finite total curvature were also important.

Another revival began in the 1980s. One cause was the discovery in 1982 by Celso Costa of a surface that disproved the conjecture that the plane, the catenoid, and the helicoid are the only complete embedded minimal surfaces in R3 of finite topological type. This not only stimulated new work on using the old parametric methods, but also demonstrated the importance of computer graphics to visualise the studied surfaces and numerical methods to solve the "period problem" (when using the conjugate surface method to determine surface patches that can be assembled into a larger symmetric surface, certain parameters need to be numerically matched to produce an embedded surface). Another cause was the verification by H. Karcher that the triply periodic minimal surfaces originally described empirically by Alan Schoen in 1970 actually exist. This has led to a rich menagerie of surface families and methods of deriving new surfaces from old, for example by adding handles or distorting them.

Currently the theory of minimal surfaces has diversified to minimal submanifolds in other ambient geometries, becoming relevant to mathematical physics (e.g. the positive mass conjecture, the Penrose conjecture) and three-manifold geometry (e.g. the Smith conjecture, the Poincaré conjecture, the Thurston Geometrization Conjecture).

## Examples

Classical examples of minimal surfaces include:

• the plane, which is a trivial case
• catenoids: minimal surfaces made by rotating a catenary once around its directrix
• helicoids: A surface swept out by a line rotating with uniform velocity around an axis perpendicular to the line and simultaneously moving along the axis with uniform velocity

Surfaces from the 19th century golden age include:

Modern surfaces include:

## Generalisations and links to other fields

Minimal surfaces can be defined in other manifolds than R3, such as hyperbolic space, higher-dimensional spaces or Riemannian manifolds.

The definition of minimal surfaces can be generalized/extended to cover constant-mean-curvature surfaces: surfaces with a constant mean curvature, which need not equal zero.

In discrete differential geometry discrete minimal surfaces are studied: simplicial complexes of triangles that minimize their area under small perturbations of their vertex positions.[5] Such discretizations are often used to approximate minimal surfaces numerically, even if no closed form expressions are known.

Brownian motion on a minimal surface leads to probabilistic proofs of several theorems on minimal surfaces.[6]

Minimal surfaces have become an area of intense scientific study, especially in the areas of molecular engineering and materials science, due to their anticipated applications in self-assembly of complex materials.

Minimal surfaces play a role in general relativity. The apparent horizon (marginally outer trapped surface) is a minimal hypersurface, linking the theory of black holes to minimal surfaces and the Plateau problem.[7][8]

Minimal surfaces are part of the generative design toolbox used by modern designers. In architecture there has been much interest in tensile structures, which are closely related to minimal surfaces. A famous example is the Olympiapark in Münich by Frei Otto, inspired by soap surfaces.

In the art world, minimal surfaces have been extensively explored in the sculpture of Robert Engman (1927– ), Robert Longhurst (1949– ), and Charles O. Perry (1929–2011), among others.

## References

1. ^ William H. Meeks, III; Joaquín Pérez (2011). "The classical theory of minimal surfaces". Bull. Amer. Math. Soc. 48: 325–407. doi:10.1090/s0273-0979-2011-01334-9.
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{199, 1760.
3. ^ J. B. Meusnier. Mémoire sur la courbure des surfaces. Mém. Mathém. Phys. Acad. Sci. Paris, prés. par div. Savans, 10:477-510, 1785. Presented in 1776.
4. ^ Tobias H. Colding, William P. Minicozzi II, Minimal surfaces and mean curvature flow. http://arxiv.org/abs/1102.1411
5. ^ Ulrich Pinkall, Konrad Polthier, "Computing Discrete Minimal Surfaces and Their Conjugates". Experimental Mathematics Volume 2, Issue 1, pp. 15-36, 1993 http://page.mi.fu-berlin.de/polthier/articles/diri/diri_jem.pdf
6. ^ R. Neel 2008 (arXiv, DOI resolver)
7. ^ Piotr T. Chruściel, Gregory J. Galloway, Daniel Pollack, Mathematical general relativity: a sampler. Bull. Amer. Math. Soc. 47 (2010), 567-638 http://arxiv.org/abs/1004.1016
8. ^ Michael Eichmair, "The Plateau problem for marginally outer trapped surfaces", J. Differential Geom. Volume 83, Number 3 (2009), 551-584. http://arxiv.org/abs/0711.4139

• Robert Osserman (1986). A Survey of Minimal Surfaces. New York: Dover Publications. ISBN 0-486-64998-9. (Introductory text for surfaces in n-dimensions, including n=3; requires strong calculus abilities but no knowledge of differential geometry.)
• Hermann Karcher and Konrad Polthier (1995). "Touching Soap Films - An introduction to minimal surfaces". Retrieved December 27, 2006. (graphical introduction to minimal surfaces and soap films.)
• Various (2000-). "EG-Models". Retrieved September 28, 2004. (Online journal with several published models of minimal surfaces)
• Stewart Dickson (1996). "Scientific Concretization; Relevance to the Visually Impaired Student". VR in the School, Volume 1, Number 4. Retrieved April 15, 2006. (Describes the discovery of Costa's surface)
• Martin Steffens and Christian Teitzel. "Grape Minimal Surface Library". Retrieved October 27, 2008. (A collection of minimal surfaces)
• David Hoffman, Jim Hoffman et al. "Scientific Graphics Project". Retrieved April 24, 2006. (An collection of minimal surfaces with classical and modern examples)
• Jacek Klinowski. "Periodic Minimal Surfaces Gallery". Retrieved February 2, 2009. (An collection of minimal surfaces with classical and modern examples)
• Ulrich Dierkes, Stefan Hildebrandt, Friedrich Sauvigny (2010). Minimal Surfaces. Berlin Heidelberg: Springer. ISBN 978-3-642-11697-1. (Review of minimal surface theory, in particularly boundary value problems. Contains extensive references to the literature.)
 149121 videos foundNext >
 Soap Films and Minimal SurfacesVideo where it is found that with a soap solution can visualize problems and Surfaces Minimum Minimum tours that often are difficult to mathematically calcul... Natural Minimal Surfaces PreviewThis is a short preview of Stanford University Mathematics Prof. David Hoffman's seminal multimedia presentation, Natural Minimal Surfaces via Theory and Com... An Introduction to Minimal SurfaceA video for Famelab. minimal surfaceGrasshopper algorithm to make an orbitary 4 curves which can be edgecurved into a surface in rhino and sliced to get different surfaces. tensile minimal surface time lapsePratt institute morphology studio Fall 2010 critic, Haresh Lalvani fabric minimal surface constructed within a torqued torus. PADI Dive Tables 103 Minimum Surface intervalHow to find the minimum surface interval between 2 dives. Enneper's Minimal SurfaceAnimation of Enneper's parametric surface. The Enneper's surface belongs to a family of minimal surfaces (exhibiting zero mean curvature). Minimal surfaces in MxR - 1/6H. Rosenberg's lecture on Impa's 50th anniversary - 2002. Minimal surface tensionHuge bubbles created by minimising the surface tension of the fluid. In the market square, Cambridge http://www.msm.cam.ac.uk/phase-trans. Adjoint Minimal Surfaces - Part I - SE-FIT/Surface EvolverThe screencast provides some tips on generating adjoint minimal surfaces using Ken Brakke's .fe files and exporting them to an STL file. The SE-FIT software ...
 149121 videos foundNext >
 2 news items
 China and Mongolia clash over how to exploit the Gobi desert The Conversation UK Wed, 20 Aug 2014 06:28:57 -0700 The landscape challenges residents with extreme cold (to -40C), hot summers (to 40C), periodic droughts and minimal surface water. Humans drive the need for extensive groundwater use, particularly in China, where the government encourages farming ... Salon Conservative media is now just making things up about climate scientists Salon Wed, 06 Aug 2014 11:33:23 -0700 Loeb writes it out: “Decadal periods of minimal surface warming, or even cooling [translation: the pause], interspersing decades of rapid surface warming, are not inconsistent with a long-term warming trend” (emphasis added). “Rather, it characterizes ...
 Limit to books that you can completely read online Include partial books (book previews) .gsc-branding { display:block; }

Oops, we seem to be having trouble contacting Twitter