HOME

TheInfoList



OR:

In
differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
, 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 Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
. 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 ...
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, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
is defined to be the
integral In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
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 In differential geometry, the Gaussian curvature or Gauss curvature of a surface at a point is the product of the principal curvatures, and , at the given point: K = \kappa_1 \kappa_2. The Gaussian radius of curvature is the reciprocal of . F ...
. It is named after the English geometer Thomas Willmore.


Definition

Expressed symbolically, the Willmore energy of ''S'' is: : \mathcal = \int_S H^2 \, dA - \int_S K \, dA where H 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 ...
, K is the
Gaussian curvature In differential geometry, the Gaussian curvature or Gauss curvature of a surface at a point is the product of the principal curvatures, and , at the given point: K = \kappa_1 \kappa_2. The Gaussian radius of curvature is the reciprocal of . F ...
, 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 In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space ...
\chi(S) of the surface, so : \int_S K \, dA = 2 \pi \chi(S), 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 spaces ...
and thus independent of the particular embedding in \mathbb^3 that was chosen. Thus the Willmore energy can be expressed as : \mathcal = \int_S H^2 \, dA - 2 \pi \chi(S) An alternative, but equivalent, formula is : \mathcal = \int_S (k_1 - k_2)^2 \, dA where k_1 and k_2 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 Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
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 The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...
, and one can vary the embedding of a surface, while leaving it topologically unaltered.


Critical points

A basic problem in the
calculus of variations The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...
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 :\int_S H^2 \, dA 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 that ...
s, the round sphere is the minimum, and all other critical values are integers greater than or equal to 4\pi. 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 L^2- gradient flow. :e[]=\frac \int_ H^2\, \mathrmA 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 In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...
\mathcal. Flow lines satisfy the differential equation: : \partial_t x(t) = -\nabla \mathcal (t)\, where x is a point belonging to the surface. This flow leads to an evolution problem in
differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
: the surface \mathcal is evolving in time to follow variations of steepest descent of the energy. Like
surface diffusion Surface diffusion is a general process involving the motion of adatoms, molecules, and atomic clusters ( adparticles) at solid material surfaces.Oura, Lifshits, Saranin, Zotov, and Katayama 2003, p. 325 The process can generally be thought of in t ...
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 eversion In differential topology, sphere eversion is the process of turning a sphere inside out in a three-dimensional space (the word '' eversion'' means "turning inside out"). Remarkably, it is possible to smoothly and continuously turn a sphere in ...
s, 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