Mean curvature
   HOME

TheInfoList



OR:

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 in modern mathematics ...
, the mean curvature H of a
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 ...
S is an ''extrinsic'' measure of
curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the can ...
that comes from
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 mult ...
and that locally describes the curvature of an embedded surface in some ambient space such as
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 Euclidea ...
. The concept was used by
Sophie Germain Marie-Sophie Germain (; 1 April 1776 – 27 June 1831) was a French mathematician, physicist, and philosopher. Despite initial opposition from her parents and difficulties presented by society, she gained education from books in her father's lib ...
in her work on elasticity theory.
Jean Baptiste Marie Meusnier Jean Baptiste Marie Charles Meusnier de la Place (Tours, 19 June 1754 — le Pont de Cassel, near Mainz, 13 June 1793) was a French mathematician, engineer and Revolutionary general. He is best known for Meusnier's theorem on the curvature o ...
used it in 1776, in his studies of
minimal surfaces 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 ...
. It is important in the analysis 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, which have mean curvature zero, and in the analysis of physical interfaces between fluids (such as
soap film Soap films are thin layers of liquid (usually water-based) surrounded by air. For example, if two soap bubbles come into contact, they merge and a thin film is created in between. Thus, foams are composed of a network of films connected by Platea ...
s) which, for example, have constant mean curvature in static flows, by the Young-Laplace equation.


Definition

Let p be a point on the surface S inside the three dimensional Euclidean space . Each plane through p containing the normal line to S cuts S in a (plane) curve. Fixing a choice of unit normal gives a signed curvature to that curve. As the plane is rotated by an angle \theta (always containing the normal line) that curvature can vary. The maximal curvature \kappa_1 and minimal curvature \kappa_2 are known as the ''
principal curvature 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 b ...
s'' of S. The mean curvature at p\in S is then the average of the signed curvature over all angles \theta: :H = \frac\int_0^ \kappa(\theta) \;d\theta. By applying
Euler's theorem In number theory, Euler's theorem (also known as the Fermat–Euler theorem or Euler's totient theorem) states that, if and are coprime positive integers, and \varphi(n) is Euler's totient function, then raised to the power \varphi(n) is congr ...
, this is equal to the average of the principal curvatures : :H = (\kappa_1 + \kappa_2). More generally , for a
hypersurface In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidea ...
T the mean curvature is given as :H=\frac\sum_^ \kappa_. More abstractly, the mean curvature is the trace of the second fundamental form divided by ''n'' (or equivalently, the
shape operator 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 perspective ...
). Additionally, the mean curvature H may be written in terms of the
covariant derivative In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differe ...
\nabla as :H\vec = g^\nabla_i\nabla_j X, using the ''Gauss-Weingarten relations,'' where X(x) is a smoothly embedded hypersurface, \vec a unit normal vector, and g_ the
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allow ...
. A surface is a
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 ...
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bic ...
the mean curvature is zero. Furthermore, a surface which evolves under the mean curvature of the surface S, is said to obey a heat-type equation called the
mean curvature flow In the field of differential geometry in mathematics, mean curvature flow is an example of a geometric flow of hypersurfaces in a Riemannian manifold (for example, smooth surfaces in 3-dimensional Euclidean space). Intuitively, a family of surf ...
equation. The
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 the c ...
is the only embedded surface of constant positive mean curvature without boundary or singularities. However, the result is not true when the condition "embedded surface" is weakened to "immersed surface".


Surfaces in 3D space

For a surface defined in 3D space, the mean curvature is related to a unit normal of the surface: :2 H = -\nabla \cdot \hat n where the normal chosen affects the sign of the curvature. The sign of the curvature depends on the choice of normal: the curvature is positive if the surface curves "towards" the normal. The formula above holds for surfaces in 3D space defined in any manner, as long as the
divergence In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the quantity of the vector field's source at each point. More technically, the divergence represents the volume density of ...
of the unit normal may be calculated. Mean Curvature may also be calculated : 2 H = \text((\mathrm)(\mathrm^)) where I and II denote first and second quadratic form matrices, respectively. If S(x,y) is a parametrization of the surface and u, v are two linearly independent vectors in parameter space then the mean curvature can be written in terms of the first and second fundamental forms as \frac where E = \mathrm(u,u), F = \mathrm(u,v), G = \mathrm(v,v), l = \mathrm(u,u), m = \mathrm(u,v), n = \mathrm(v,v). For the special case of a surface defined as a function of two coordinates, e.g. z = S(x, y), and using the upward pointing normal the (doubled) mean curvature expression is :\begin 2 H & = -\nabla \cdot \left(\frac\right) \\ & = \nabla \cdot \left(\frac \right) \\ & = \frac. \end In particular at a point where \nabla S=0, the mean curvature is half the trace of the Hessian matrix of S. If the surface is additionally known to be
axisymmetric Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which i ...
with z = S(r), :2 H = \frac + \frac, where \frac comes from the derivative of z = S(r) = S\left(\sqrt \right).


Implicit form of mean curvature

The mean curvature of a surface specified by an equation F(x,y,z)=0 can be calculated by using the gradient \nabla F=\left( \frac, \frac, \frac \right) and the
Hessian matrix In mathematics, the Hessian matrix or Hessian is a square matrix of second-order partial derivatives of a scalar-valued function, or scalar field. It describes the local curvature of a function of many variables. The Hessian matrix was developed ...
:\textstyle \mbox(F)= \begin \frac & \frac & \frac \\ \frac & \frac & \frac \\ \frac & \frac & \frac \end . The mean curvature is given by: :H = \frac Another form is as the
divergence In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the quantity of the vector field's source at each point. More technically, the divergence represents the volume density of ...
of the unit normal. A unit normal is given by \frac and the mean curvature is :H = -\nabla\cdot \left(\frac\right).


Mean curvature in fluid mechanics

An alternate definition is occasionally used in
fluid mechanics Fluid mechanics is the branch of physics concerned with the mechanics of fluids ( liquids, gases, and plasmas) and the forces on them. It has applications in a wide range of disciplines, including mechanical, aerospace, civil, chemical and ...
to avoid factors of two: :H_f = (\kappa_1 + \kappa_2) \,. This results in the pressure according to the Young-Laplace equation inside an equilibrium spherical droplet being
surface tension Surface tension is the tendency of liquid surfaces at rest to shrink into the minimum surface area possible. Surface tension is what allows objects with a higher density than water such as razor blades and insects (e.g. water striders) t ...
times H_f; the two curvatures are equal to the reciprocal of the droplet's radius :\kappa_1 = \kappa_2 = r^ \,.


Minimal surfaces

A minimal surface is a surface which has zero mean curvature at all points. Classic examples include the
catenoid In geometry, a catenoid is a type of surface, arising by rotating a catenary curve about an axis (a surface of revolution). It is a minimal surface, meaning that it occupies the least area when bounded by a closed space. It was formally descri ...
, helicoid and
Enneper surface In differential geometry and algebraic geometry, the Enneper surface is a self-intersecting surface that can be described parametrically by: \begin x &= \tfrac u \left(1 - \tfracu^2 + v^2\right), \\ y &= \tfrac v \left(1 - \tfracv^2 + u^2\righ ...
. Recent discoveries include Costa's minimal surface and the Gyroid.


CMC surfaces

An extension of the idea of a minimal surface are surfaces of constant mean curvature. The surfaces of unit constant mean curvature in
hyperbolic space In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. The ...
are called Bryant surfaces..


See also

*
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 . ...
*
Mean curvature flow In the field of differential geometry in mathematics, mean curvature flow is an example of a geometric flow of hypersurfaces in a Riemannian manifold (for example, smooth surfaces in 3-dimensional Euclidean space). Intuitively, a family of surf ...
*
Inverse mean curvature flow In the mathematical fields of differential geometry and geometric analysis, inverse mean curvature flow (IMCF) is a geometric flow of submanifolds of a Riemannian or pseudo-Riemannian manifold. It has been used to prove a certain case of the Rie ...
* First variation of area formula *
Stretched grid method The stretched grid method (SGM) is a numerical technique for finding approximate solutions of various mathematical and engineering problems that can be related to an elastic grid behavior. In particular, meteorologists use the stretched grid meth ...


Notes


References

*. * {{curvature Differential geometry Differential geometry of surfaces Surfaces Curvature (mathematics)