Mean curvature flow

Last updated July 05, 2024

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 surfaces evolves under mean curvature flow if the normal component of the velocity of which a point on the surface moves is given by the mean curvature of the surface. For example, a round sphere evolves under mean curvature flow by shrinking inward uniformly (since the mean curvature vector of a sphere points inward). Except in special cases, the mean curvature flow develops singularities.

Existence and uniqueness

The following was shown by Michael Gage and Richard S. Hamilton as an application of Hamilton's general existence theorem for parabolic geometric flows.^[1]^[2]

Let $M$ be a compact smooth manifold, let $(M',g)$ be a complete smooth Riemannian manifold, and let $f:M\to M'$ be a smooth immersion. Then there is a positive number $T$ , which could be infinite, and a map $F:[0,T)\times M\to M'$ with the following properties:

$F(0,\cdot )=f$
$F(t,\cdot ):M\to M'$ is a smooth immersion for any $t\in [0,T)$
as $t\searrow 0,$ one has $F(t,\cdot )\to f$ in $C^{\infty }$
for any $(t_{0},p)\in (0,T)\times M$ , the derivative of the curve $t\mapsto F(t,p)$ at $t_{0}$ is equal to the mean curvature vector of $F(t_{0},\cdot )$ at $p$ .
if ${\widetilde {F}}:[0,{\widetilde {T}})\times M\to M'$ is any other map with the four properties above, then ${\widetilde {T}}\leq T$ and ${\widetilde {F}}(t,p)=F(t,p)$ for any $(t,p)\in [0,{\widetilde {T}})\times M.$

Necessarily, the restriction of $F$ to $(0,T)\times M$ is $C^{\infty }$ .

One refers to $F$ as the (maximally extended) mean curvature flow with initial data $f$ .

Convex solutions

Following Hamilton's epochal 1982 work on the Ricci flow, in 1984 Gerhard Huisken employed the same methods for the mean curvature flow to produce the following analogous result:^[3]

If $(M',g)$ is the Euclidean space $\mathbb {R} ^{n+1}$ , where $n\geq 2$ denotes the dimension of $M$ , then $T$ is necessarily finite. If the second fundamental form of the 'initial immersion' $f$ is strictly positive, then the second fundamental form of the immersion $F(t,\cdot )$ is also strictly positive for every $t\in (0,T)$ , and furthermore if one choose the function $c:(0,T)\to (0,\infty )$ such that the volume of the Riemannian manifold $(M,(c(t)F(t,\cdot ))^{\ast }g_{\text{Euc}})$ is independent of $t$ , then as $t\nearrow T$ the immersions $c(t)F(t,\cdot ):M\to \mathbb {R} ^{n+1}$ smoothly converge to an immersion whose image in $\mathbb {R} ^{n+1}$ is a round sphere.

Note that if $n\geq 2$ and $f:M\to \mathbb {R} ^{n+1}$ is a smooth hypersurface immersion whose second fundamental form is positive, then the Gauss map $\nu :M\to S^{n}$ is a diffeomorphism, and so one knows from the start that $M$ is diffeomorphic to $S^{n}$ and, from elementary differential topology, that all immersions considered above are embeddings.

Gage and Hamilton extended Huisken's result to the case $n=1$ . Matthew Grayson (1987) showed that if $f:S^{1}\to \mathbb {R} ^{2}$ is any smooth embedding, then the mean curvature flow with initial data $f$ eventually consists exclusively of embeddings with strictly positive curvature, at which point Gage and Hamilton's result applies.^[4] In summary:

If $f:S^{1}\to \mathbb {R} ^{2}$ is a smooth embedding, then consider the mean curvature flow $F:[0,T)\times S^{1}\to \mathbb {R} ^{2}$ with initial data $f$ . Then $F(t,\cdot ):S^{1}\to \mathbb {R} ^{2}$ is a smooth embedding for every $t\in (0,T)$ and there exists $t_{0}\in (0,T)$ such that $F(t,\cdot ):S^{1}\to \mathbb {R} ^{2}$ has positive (extrinsic) curvature for every $t\in (t_{0},T)$ . If one selects the function $c$ as in Huisken's result, then as $t\nearrow T$ the embeddings $c(t)F(t,\cdot ):S^{1}\to \mathbb {R} ^{2}$ converge smoothly to an embedding whose image is a round circle.

Properties

The mean curvature flow extremalizes surface area, and minimal surfaces are the critical points for the mean curvature flow; minima solve the isoperimetric problem.

For manifolds embedded in a Kähler–Einstein manifold, if the surface is a Lagrangian submanifold, the mean curvature flow is of Lagrangian type, so the surface evolves within the class of Lagrangian submanifolds.

Huisken's monotonicity formula gives a monotonicity property of the convolution of a time-reversed heat kernel with a surface undergoing the mean curvature flow.

Related flows are:

Curve-shortening flow, the one-dimensional case of mean curvature flow
the surface tension flow
the Lagrangian mean curvature flow
the inverse mean curvature flow

Mean curvature flow of a three-dimensional surface

The differential equation for mean-curvature flow of a surface given by $z=S(x,y)$ is given by

{\frac {\partial S}{\partial t}}=2D\ H(x,y){\sqrt {1+\left({\frac {\partial S}{\partial x}}\right)^{2}+\left({\frac {\partial S}{\partial y}}\right)^{2}}}

with $D$ being a constant relating the curvature and the speed of the surface normal, and the mean curvature being

{\begin{aligned}H(x,y)&={\frac {1}{2}}{\frac {\left(1+\left({\frac {\partial S}{\partial x}}\right)^{2}\right){\frac {\partial ^{2}S}{\partial y^{2}}}-2{\frac {\partial S}{\partial x}}{\frac {\partial S}{\partial y}}{\frac {\partial ^{2}S}{\partial x\partial y}}+\left(1+\left({\frac {\partial S}{\partial y}}\right)^{2}\right){\frac {\partial ^{2}S}{\partial x^{2}}}}{\left(1+\left({\frac {\partial S}{\partial x}}\right)^{2}+\left({\frac {\partial S}{\partial y}}\right)^{2}\right)^{3/2}}}.\end{aligned}}

In the limits $\left|{\frac {\partial S}{\partial x}}\right|\ll 1$ and $\left|{\frac {\partial S}{\partial y}}\right|\ll 1$ , so that the surface is nearly planar with its normal nearly parallel to the z axis, this reduces to a diffusion equation

{\frac {\partial S}{\partial t}}=D\ \nabla ^{2}S

While the conventional diffusion equation is a linear parabolic partial differential equation and does not develop singularities (when run forward in time), mean curvature flow may develop singularities because it is a nonlinear parabolic equation. In general additional constraints need to be put on a surface to prevent singularities under mean curvature flows.

Every smooth convex surface collapses to a point under the mean-curvature flow, without other singularities, and converges to the shape of a sphere as it does so. For surfaces of dimension two or more this is a theorem of Gerhard Huisken;^[5] for the one-dimensional curve-shortening flow it is the Gage–Hamilton–Grayson theorem. However, there exist embedded surfaces of two or more dimensions other than the sphere that stay self-similar as they contract to a point under the mean-curvature flow, including the Angenent torus.^[6]

Example: mean curvature flow of m-dimensional spheres

A simple example of mean curvature flow is given by a family of concentric round hyperspheres in $\mathbb {R} ^{m+1}$ . The mean curvature of an $m$ -dimensional sphere of radius $R$ is $H=m/R$ .

Due to the rotational symmetry of the sphere (or in general, due to the invariance of mean curvature under isometries) the mean curvature flow equation $\partial _{t}F=-H\nu$ reduces to the ordinary differential equation, for an initial sphere of radius $R_{0}$ ,

{\begin{aligned}{\frac {\text{d}}{{\text{d}}t}}R(t)&=-{\frac {m}{R(t)}},\\R(0)&=R_{0}.\end{aligned}}

The solution of this ODE (obtained, e.g., by separation of variables) is

R(t)={\sqrt {R_{0}^{2}-2mt}}

,

which exists for $t\in (-\infty ,R_{0}^{2}/2m)$ .^[7]

Related Research Articles

In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function $where U is an open subset of ‍ ‍ that satisfies Laplace's equation, that is, everywhere on U . This is usually written as or$

<span class="mw-page-title-main">Vector field</span> Assignment of a vector to each point in a subset of Euclidean space

In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space $. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and directions, each attached to a point on the plane. Vector fields are often used to model, for example, the speed and direction of a moving fluid throughout three dimensional space, such as the wind, or the strength and direction of some force, such as the magnetic or gravitational force, as it changes from one point to another point.$

In differential geometry, a Riemannian manifold $, so called after the German mathematician Bernhard Riemann, is a real, smooth manifold equipped with a smoothly-varying family of positive-definite inner products on the tangent spaces at each point .$

In geometry, a normal is an object that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the line perpendicular to the tangent line to the curve at the point.

In the mathematical fields of differential geometry and geometric analysis, the Ricci flow, sometimes also referred to as Hamilton's Ricci flow, is a certain partial differential equation for a Riemannian metric. It is often said to be analogous to the diffusion of heat and the heat equation, due to formal similarities in the mathematical structure of the equation. However, it is nonlinear and exhibits many phenomena not present in the study of the heat equation.

In differential geometry, the second fundamental form is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by $. Together with the first fundamental form, it serves to define extrinsic invariants of the surface, its principal curvatures. More generally, such a quadratic form is defined for a smooth immersed submanifold in a Riemannian manifold.$

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

In mathematics, a hyperbolic partial differential equation of order $is a partial differential equation (PDE) that, roughly speaking, has a well-posed initial value problem for the first derivatives. More precisely, the Cauchy problem can be locally solved for arbitrary initial data along any non-characteristic hypersurface. Many of the equations of mechanics are hyperbolic, and so the study of hyperbolic equations is of substantial contemporary interest. The model hyperbolic equation is the wave equation. In one spatial dimension, this is$

Stokes flow, also named creeping flow or creeping motion, is a type of fluid flow where advective inertial forces are small compared with viscous forces. The Reynolds number is low, i.e. $. This is a typical situation in flows where the fluid velocities are very slow, the viscosities are very large, or the length-scales of the flow are very small. Creeping flow was first studied to understand lubrication. In nature, this type of flow occurs in the swimming of microorganisms and sperm. In technology, it occurs in paint, MEMS devices, and in the flow of viscous polymers generally.$

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.

In the mathematical field of analysis, the Nash–Moser theorem, discovered by mathematician John Forbes Nash and named for him and Jürgen Moser, is a generalization of the inverse function theorem on Banach spaces to settings when the required solution mapping for the linearized problem is not bounded.

A parametric surface is a surface in the Euclidean space $which is defined by a parametric equation with two parameters :\mathbb {R} ^{2}\to \mathbb {R} ^{3}} . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.$

The Navier–Stokes existence and smoothness problem concerns the mathematical properties of solutions to the Navier–Stokes equations, a system of partial differential equations that describe the motion of a fluid in space. Solutions to the Navier–Stokes equations are used in many practical applications. However, theoretical understanding of the solutions to these equations is incomplete. In particular, solutions of the Navier–Stokes equations often include turbulence, which remains one of the greatest unsolved problems in physics, despite its immense importance in science and engineering.

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.

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 Riemannian Penrose inequality, which is of interest in general relativity.

In Riemannian geometry, Schur's lemma is a result that says, heuristically, whenever certain curvatures are pointwise constant then they are forced to be globally constant. The proof is essentially a one-step calculation, which has only one input: the second Bianchi identity.

Stokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on $. Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the surface integral of its curl over the enclosed surface. It is illustrated in the figure, where the direction of positive circulation of the bounding contour \partialΣ, and the direction n of positive flux through the surface Σ, are related by a right-hand-rule. For the right hand the fingers circulate along \partialΣ and the thumb is directed along n .$

In the mathematical field of differential geometry, a biharmonic map is a map between Riemannian or pseudo-Riemannian manifolds which satisfies a certain fourth-order partial differential equation. A biharmonic submanifold refers to an embedding or immersion into a Riemannian or pseudo-Riemannian manifold which is a biharmonic map when the domain is equipped with its induced metric. The problem of understanding biharmonic maps was posed by James Eells and Luc Lemaire in 1983. The study of harmonic maps, of which the study of biharmonic maps is an outgrowth, had been an active field of study for the previous twenty years. A simple case of biharmonic maps is given by biharmonic functions.

In mathematics, calculus on Euclidean space is a generalization of calculus of functions in one or several variables to calculus of functions on Euclidean space $as well as a finite-dimensional real vector space. This calculus is also known as advanced calculus, especially in the United States. It is similar to multivariable calculus but is somewhat more sophisticated in that it uses linear algebra more extensively and covers some concepts from differential geometry such as differential forms and Stokes' formula in terms of differential forms. This extensive use of linear algebra also allows a natural generalization of multivariable calculus to calculus on Banach spaces or topological vector spaces.$

In the mathematical fields of differential geometry and geometric analysis, the Gauss curvature flow is a geometric flow for oriented hypersurfaces of Riemannian manifolds. In the case of curves in a two-dimensional manifold, it is identical with the curve shortening flow. The mean curvature flow is a different geometric flow which also has the curve shortening flow as a special case.

References

↑ Gage, M.; Hamilton, R.S. (1986). "The heat equation shrinking convex plane curves". J. Differential Geom. 23 (1): 69–96. doi: 10.4310/jdg/1214439902 .
↑ Hamilton, Richard S. (1982). "Three-manifolds with positive Ricci curvature". Journal of Differential Geometry. 17 (2): 255–306. doi: 10.4310/jdg/1214436922 .
↑ Huisken, Gerhard (1984). "Flow by mean curvature of convex surfaces into spheres". J. Differential Geom. 20 (1): 237–266. doi: 10.4310/jdg/1214438998 .
↑ Grayson, Matthew A. (1987). "The heat equation shrinks embedded plane curves to round points". J. Differential Geom. 26 (2): 285–314. doi: 10.4310/jdg/1214441371 .
↑ Huisken, Gerhard (1990), "Asymptotic behavior for singularities of the mean curvature flow", Journal of Differential Geometry, 31 (1): 285–299, doi:10.4310/jdg/1214444099, hdl: 11858/00-001M-0000-0013-5CFD-5 , MR 1030675 .
↑ Angenent, Sigurd B. (1992), "Shrinking doughnuts" (PDF), Nonlinear diffusion equations and their equilibrium states, 3 (Gregynog, 1989), Progress in Nonlinear Differential Equations and their Applications, vol. 7, Boston, MA: Birkhäuser, pp. 21–38, MR 1167827 .
↑ Ecker, Klaus (2004), Regularity Theory for Mean Curvature Flow, Progress in Nonlinear Differential Equations and their Applications, vol. 57, Boston, MA: Birkhäuser, doi:10.1007/978-0-8176-8210-1, ISBN 0-8176-3243-3, MR 2024995 .

Ecker, Klaus (2004), Regularity Theory for Mean Curvature Flow, Progress in Nonlinear Differential Equations and their Applications, vol. 57, Boston, MA: Birkhäuser, doi:10.1007/978-0-8176-8210-1, ISBN 0-8176-3243-3, MR 2024995 .
Mantegazza, Carlo (2011), Lecture Notes on Mean Curvature Flow, Progress in Mathematics, vol. 290, Basel: Birkhäuser/Springer, doi:10.1007/978-3-0348-0145-4, ISBN 978-3-0348-0144-7, MR 2815949 .
Lu, Conglin; Cao, Yan; Mumford, David (2002), "Surface evolution under curvature flows", Journal of Visual Communication and Image Representation , 13 (1–2): 65–81, CiteSeerX 10.1.1.679.6535 , doi:10.1006/jvci.2001.0476, S2CID 7341932 . See in particular Equations 3a and 3b.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Gage, M.; Hamilton, R.S. (1986). "The heat equation shrinking convex plane curves". J. Differential Geom. 23 (1): 69–96. doi: 10.4310/jdg/1214439902 .

[2] Hamilton, Richard S. (1982). "Three-manifolds with positive Ricci curvature". Journal of Differential Geometry. 17 (2): 255–306. doi: 10.4310/jdg/1214436922 .

[3] Huisken, Gerhard (1984). "Flow by mean curvature of convex surfaces into spheres". J. Differential Geom. 20 (1): 237–266. doi: 10.4310/jdg/1214438998 .

[4] Grayson, Matthew A. (1987). "The heat equation shrinks embedded plane curves to round points". J. Differential Geom. 26 (2): 285–314. doi: 10.4310/jdg/1214441371 .

[5] Huisken, Gerhard (1990), "Asymptotic behavior for singularities of the mean curvature flow", Journal of Differential Geometry, 31 (1): 285–299, doi:10.4310/jdg/1214444099, hdl: 11858/00-001M-0000-0013-5CFD-5 , MR 1030675 .

[6] Angenent, Sigurd B. (1992), "Shrinking doughnuts" (PDF), Nonlinear diffusion equations and their equilibrium states, 3 (Gregynog, 1989), Progress in Nonlinear Differential Equations and their Applications, vol. 7, Boston, MA: Birkhäuser, pp. 21–38, MR 1167827 .

[7] Ecker, Klaus (2004), Regularity Theory for Mean Curvature Flow, Progress in Nonlinear Differential Equations and their Applications, vol. 57, Boston, MA: Birkhäuser, doi:10.1007/978-0-8176-8210-1, ISBN 0-8176-3243-3, MR 2024995 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]