Willmore Flow
   HOME

TheInfoList



OR:

In
differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
, 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 (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, 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
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 solid figures; for example, the sphere is the boundary of the solid ball. Other surfaces ari ...
embedded in three-dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
is defined to be the
integral In mathematics, an integral is the continuous analog of a Summation, sum, which is used to calculate area, areas, volume, volumes, and their generalizations. Integration, the process of computing an integral, is one of the two fundamental oper ...
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 smooth Surface (topology), surface in three-dimensional space at a point is the product of the principal curvatures, and , at the given point: K = \kappa_1 \kappa_2. For ...
. 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 smooth Surface (topology), surface in three-dimensional space at a point is the product of the principal curvatures, and , at the given point: K = \kappa_1 \kappa_2. For ...
, 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 (topology), surface to its underlying topology. In the simplest applicati ...
, 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's ...
\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 space ...
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 In differential geometry, the two principal curvatures at a given point of a surface are the maximum and minimum values of the curvature as expressed by the eigenvalues of the shape operator at that point. They measure how the surface bends by ...
of the surface.


Properties

The Willmore energy is always greater than or equal to zero. A round
sphere A sphere (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, 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 Function (mathematics), functions and functional (mathematics), functionals, to find maxima and minima of f ...
, and one can vary the embedding of a surface, while leaving it topologically unaltered. The form (k_1-k_2)^2 \, dA is unchanged after a
conformal transformation In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths. More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\i ...
, so the value of the Willmore energy is conformally invariant.


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 Function (mathematics), functions and functional (mathematics), functionals, to find maxima and minima of f ...
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 Gradient descent is a method for unconstrained mathematical optimization. It is a first-order iterative algorithm for minimizing a differentiable multivariate function. The idea is to take repeated steps in the opposite direction of the gradi ...
, 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 integer multiples of 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 a ...
corresponding to the Willmore energy; it is an L^2-
gradient flow In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space \mathbb^n. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and direc ...
. :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 Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
: 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 ...
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 or cytoplasmic membrane, and historically referred to as the plasmalemma) is a biological membrane that separates and protects the interior of a cell from the outside environment (the extr ...
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 a theoretical process of turning a sphere inside out in a three-dimensional space (the word ''wikt:eversion#English, eversion'' means "turning inside out"). It is possible to smoothly and continuou ...
s, the minimax eversions.


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