Willmore energy

Last updated
"Willmore Surface" sculpture at Durham University in memory of Thomas Willmore Willmore Surface sculpture Durham.jpg
"Willmore Surface" sculpture at Durham University in memory of Thomas Willmore

In differential geometry, the Willmore energy is a quantitative measure of how much a given surface deviates from a round sphere. Mathematically, the Willmore energy of a smooth closed surface embedded in three-dimensional Euclidean space is defined to be the integral of the square of the mean curvature minus the Gaussian curvature. It is named after the English geometer Thomas Willmore.

Differential geometry branch of mathematics

Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in the three-dimensional Euclidean space formed the basis for development of differential geometry during the 18th century and the 19th century.

Surface (topology) two-dimensional manifold, and, as such, may be an "abstract surface" not embedded in any Euclidean space

In 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 graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

Sphere round geometrical and circular object in three-dimensional space; special case of spheroid

A sphere is a perfectly round geometrical object in three-dimensional space that is the surface of a completely round ball.

Contents

Definition

Expressed symbolically, the Willmore energy of S is:

where is the mean curvature, is the Gaussian curvature, and dA is the area form of S. For a closed surface, by the Gauss–Bonnet theorem, the integral of the Gaussian curvature may be computed in terms of the Euler characteristic of the surface, so

In mathematics, the mean curvature of a surface 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.

Gaussian curvature

In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a surface at a point is the product of the principal curvatures, κ1 and κ2, at the given point:

Gauss–Bonnet theorem theorem

The Gauss–Bonnet theorem, or Gauss–Bonnet formula, is an important statement in differential geometry about surfaces which connects their geometry to their topology. It is named after Carl Friedrich Gauss, who was aware of a version of the theorem but never published it, and Pierre Ossian Bonnet who published a special case in 1848.

which is a topological invariant and thus independent of the particular embedding in that was chosen. Thus the Willmore energy can be expressed as

In topology and related areas of mathematics a topological property or topological invariant is a property of a topological space which is invariant under homeomorphisms. That is, a property of spaces is a topological property if whenever a space X possesses that property every space homeomorphic to X possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.

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 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.

Calculus of variations 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 to the real numbers. Functionals are often expressed as definite integrals involving functions and their derivatives. Functions that maximize or minimize functionals may be found using the Euler–Lagrange equation of the calculus of variations.

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, which in this context is called Willmore flow.

For embeddings of the sphere in 3-space, the critical points have been classified: [1] they are all conformal transforms of minimal surfaces, 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 corresponding to the Willmore energy; it is an -gradient flow.

where H stands for the mean curvature 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

See also

Notes

Related Research Articles

Curvature physical quantity

In mathematics, curvature is any of a number of loosely related concepts in different areas of geometry. Intuitively, curvature is the amount by which a geometric object such as a surface deviates from being a flat plane, or a curve from being straight as in the case of a line, but this is defined in different ways depending on the context. There is a key distinction between extrinsic curvature, which is defined for objects embedded in another space – in a way that relates to the radius of curvature of circles that touch the object – and intrinsic curvature, which is defined in terms of the lengths of curves within a Riemannian manifold.

In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by .

Sphere eversion turning a sphere inside-out without creasing; a regular homotopy of immersions S² → ℝ³ from the unit sphere to the same with the opposite orientation

In differential topology, sphere eversion is the process of turning a sphere inside out in a three-dimensional space. Remarkably, it is possible to smoothly and continuously turn a sphere inside out in this way without cutting or tearing it or creating any crease. This is surprising, both to non-mathematicians and to those who understand regular homotopy, and can be regarded as a veridical paradox; that is something that, while being true, on first glance seems false.

Bosonic string theory 26-dimensional string theory without supersymmetry, with a tachyon in its spectrum

Bosonic string theory is the original version of string theory, developed in the late 1960s. It is so called because it only contains bosons in the spectrum.

In general relativity, the Gibbons–Hawking–York boundary term is a term that needs to be added to the Einstein–Hilbert action when the underlying spacetime manifold has a boundary.

In geometry, minimax eversions are a class of sphere eversions, constructed by using half-way models.

In mathematics, in the field of differential geometry, the Yamabe invariant is a real number invariant associated to a smooth manifold that is preserved under diffeomorphisms. It was first written down independently by O. Kobayashi and R. Schoen and takes its name from H. Yamabe.

In the mathematical theory of Riemann surfaces, the first Hurwitz triplet is a triple of distinct Hurwitz surfaces with the identical automorphism group of the lowest possible genus, namely 14. The explanation for this phenomenon is arithmetic. Namely, in the ring of integers of the appropriate number field, the rational prime 13 splits as a product of three distinct prime ideals. The principal congruence subgroups defined by the triplet of primes produce Fuchsian groups corresponding to the triplet of Riemann surfaces.

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 announced in 2012 and published in 2014.

In mathematics, specifically differential geometry, a geometric flow is the gradient flow associated to a functional on a manifold which has a geometric interpretation, usually associated with some extrinsic or intrinsic curvature. They can be interpreted as flows on a moduli space or a parameter space.

Differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

The Hawking energy or Hawking mass is one of the possible definitions of mass in general relativity. It is a measure of the bending of ingoing and outgoing rays of light that are orthogonal to a 2-sphere surrounding the region of space whose mass is to be defined.

In mathematics, the Riemannian connection on a surface or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.

Constant-mean-curvature surface

In differential geometry, constant-mean-curvature (CMC) surfaces are surfaces with constant mean curvature. This includes minimal surfaces as a subset, but typically they are treated as special case.

In differential geometry, Cohn-Vossen's inequality, named after Stephan Cohn-Vossen, relates the integral of Gaussian curvature of a non-compact surface to the Euler characteristic. It is akin to the Gauss–Bonnet theorem for a compact surface.

References