In
differential geometry, the Willmore energy is a quantitative measure of how much a given
surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
deviates from a round
sphere
A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is th ...
. Mathematically, the Willmore energy of a
smooth
Smooth may refer to:
Mathematics
* Smooth function, a function that is infinitely differentiable; used in calculus and topology
* Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions
* Smooth algebrai ...
closed surface
In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as g ...
embedded in three-dimensional
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean ...
is defined to be the
integral
In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along wit ...
of the square of the
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 ...
minus the
Gaussian curvature. It is named after the English geometer
Thomas Willmore.
Definition
Expressed symbolically, the Willmore energy of ''S'' is:
:
where
is the
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 ...
,
is the
Gaussian curvature, and ''dA'' is the area form of ''S''. For a closed surface, by the
Gauss–Bonnet theorem
In the mathematical field of differential geometry, the Gauss–Bonnet theorem (or Gauss–Bonnet formula) is a fundamental formula which links the curvature of a surface to its underlying topology.
In the simplest application, the case of a t ...
, the integral of the Gaussian curvature may be computed in terms of the
Euler characteristic of the surface, so
:
which is a
topological invariant
In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological space ...
and thus independent of the particular embedding in
that was chosen. Thus the Willmore energy can be expressed as
:
An alternative, but equivalent, formula is
:
where
and
are the
principal curvatures of the surface.
Properties
The Willmore energy is always greater than or equal to zero. A round
sphere
A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is th ...
has zero Willmore energy.
The Willmore energy can be considered a functional on the space of embeddings of a given surface, in the sense of the
calculus of variations, and one can vary the embedding of a surface, while leaving it topologically unaltered.
Critical points
A basic problem in the
calculus of variations is to find the
critical points and minima of a functional.
For a given topological space, this is equivalent to finding the critical points of the function
:
since the Euler characteristic is constant.
One can find (local) minima for the Willmore energy by
gradient descent
In mathematics, gradient descent (also often called steepest descent) is a first-order iterative optimization algorithm for finding a local minimum of a differentiable function. The idea is to take repeated steps in the opposite direction of the ...
, which in this context is called Willmore flow.
For embeddings of the sphere in 3-space, the critical points have been classified: they are all
conformal transforms of
minimal surface
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 tha ...
s, the round sphere is the minimum, and all other critical values are integers greater than or equal to 4
. They are called Willmore surfaces.
Willmore flow
The Willmore flow is the
geometric flow In the mathematical field of differential geometry, a geometric flow, also called a geometric evolution equation, is a type of partial differential equation for a geometric object such as a Riemannian metric or an embedding. It is not a term with ...
corresponding to the Willmore energy;
it is an
-
gradient flow.
:
where ''H'' stands for the
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 ...
of the
manifold .
Flow lines satisfy the differential equation:
:
where
is a point belonging to the surface.
This flow leads to an evolution problem in
differential geometry: the surface
is evolving
in time to follow variations of steepest descent of the energy. Like
surface diffusion it is a fourth-order
flow, since the variation of the energy contains fourth derivatives.
Applications
*
Cell membrane
The cell membrane (also known as the plasma membrane (PM) or cytoplasmic membrane, and historically referred to as the plasmalemma) is a biological membrane that separates and protects the interior of all cells from the outside environment ( ...
s tend to position themselves so as to minimize Willmore energy.
* Willmore energy is used in constructing a class of optimal
sphere eversions, the
minimax eversion In geometry, minimax eversions are a class of sphere eversions, constructed by using half-way models.
It is a variational method, and consists of special homotopies (they are shortest paths with respect to Willmore energy); contrast with Thurston' ...
s.
See also
*
Willmore conjecture
In differential geometry, the Willmore conjecture is a lower bound on the Willmore energy of a torus. It is named after the English mathematician Tom Willmore, who conjectured it in 1965. A proof by Fernando Codá Marques and André Neves was ...
Notes
References
*{{citation
, last = Willmore , first = T. J. , authorlink = Thomas Willmore
, contribution = A survey on Willmore immersions
, mr = 1185712
, pages = 11–16
, publisher = World Scientific , location = River Edge, NJ
, title = Geometry and Topology of Submanifolds, IV (Leuven, 1991)
, year = 1992.
Geometric flow
Differential geometry
Surfaces