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.
Formally, given a pseudo-Riemannian manifold (M, g) and a smooth manifold S, an inverse mean curvature flow consists of an open interval I and a smooth map F from I × S into M such that
where H is the mean curvature vector of the immersion F(t, ⋅).
If g is Riemannian, if S is closed with dim(M) = dim(S) + 1, and if a given smooth immersion f of S into M has mean curvature which is nowhere zero, then there exists a unique inverse mean curvature flow whose "initial data" is f. [1]
A simple example of inverse mean curvature flow is given by a family of concentric round hyperspheres in Euclidean space. If the dimension of such a sphere is n and its radius is r, then its mean curvature is n/r. As such, such a family of concentric spheres forms an inverse mean curvature flow if and only if
So a family of concentric round hyperspheres forms an inverse mean curvature flow when the radii grow exponentially.
In 1990, Claus Gerhardt showed that this situation is characteristic of the more general case of mean-convex star-shaped smooth hypersurfaces of Euclidean space. In particular, for any such initial data, the inverse mean curvature flow exists for all positive time and consists only of mean-convex and star-shaped smooth hypersurfaces. Moreover the surface area grows exponentially, and after a rescaling that fixes the surface area, the surfaces converge smoothly to a round sphere. The geometric estimates in Gerhardt's work follow from the maximum principle; the asymptotic roundness then becomes a consequence of the Krylov-Safonov theorem. In addition, Gerhardt's methods apply simultaneously to more general curvature-based hypersurface flows.
As is typical of geometric flows, IMCF solutions in more general situations often have finite-time singularities, meaning that I often cannot be taken to be of the form (a, ∞). [2]
Following the seminal works of Yun Gang Chen, Yoshikazu Giga, and Shun'ichi Goto, and of Lawrence Evans and Joel Spruck on the mean curvature flow, Gerhard Huisken and Tom Ilmanen replaced the IMCF equation, for hypersurfaces in a Riemannian manifold (M, g), by the elliptic partial differential equation
for a real-valued function u on M. Weak solutions of this equation can be specified by a variational principle. Huisken and Ilmanen proved that for any complete and connected smooth Riemannian manifold (M, g) which is asymptotically flat or asymptotically conic, and for any precompact and open subset U of M whose boundary is a smooth embedded submanifold, there is a proper and locally Lipschitz function u on M which is a positive weak solution on the complement of U and which is nonpositive on U; moreover such a function is uniquely determined on the complement of U.
The idea is that, as t increases, the boundary of {x : u(x) < t} moves through the hypersurfaces arising in a inverse mean curvature flow, with the initial condition given by the boundary of U. However, the elliptic and weak setting gives a broader context, as such boundaries can have irregularities and can jump discontinuously, which is impossible in the usual inverse mean curvature flow.
In the special case that M is three-dimensional and g has nonnegative scalar curvature, Huisken and Ilmanen showed that a certain geometric quantity known as the Hawking mass can be defined for the boundary of {x : u(x) < t}, and is monotonically non-decreasing as t increases. In the simpler case of a smooth inverse mean curvature flow, this amounts to a local calculation and was shown in the 1970s by the physicist Robert Geroch. In Huisken and Ilmanen's setting, it is more nontrivial due to the possible irregularities and discontinuities of the surfaces involved.
As a consequence of Huisken and Ilmanen's extension of Geroch's monotonicity, they were able to use the Hawking mass to interpolate between the surface area of an "outermost" minimal surface and the ADM mass of an asymptotically flat three-dimensional Riemannian manifold of nonnegative scalar curvature. This settled a certain case of the Riemannian Penrose inequality.
A simple example of inverse mean curvature flow is given by a family of concentric round hyperspheres in . The mean curvature of an -dimensional sphere of radius is .
Due to the rotational symmetry of the sphere (or in general, due to the invariance of mean curvature under isometries) the inverse mean curvature flow equation reduces to the ordinary differential equation, for an initial sphere of radius ,
The solution of this ODE (obtained, e.g., by separation of variables) is
In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.
In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.
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.
Shing-Tung Yau is a Chinese-American mathematician. He is the director of the Yau Mathematical Sciences Center at Tsinghua University and Professor Emeritus at Harvard University. Until 2022 he was the William Caspar Graustein Professor of Mathematics at Harvard, at which point he moved to Tsinghua.
Richard Streit Hamilton is an American mathematician who serves as the Davies Professor of Mathematics at Columbia University. He is known for contributions to geometric analysis and partial differential equations. Hamilton is best known for foundational contributions to the theory of the Ricci flow and the development of a corresponding program of techniques and ideas for resolving the Poincaré conjecture and geometrization conjecture in the field of geometric topology. Grigori Perelman built upon Hamilton's results to prove the conjectures, and was awarded a Millennium Prize for his work. However, Perelman declined the award, regarding Hamilton's contribution as being equal to his own.
In the mathematical field of differential geometry, a smooth map between Riemannian manifolds is called harmonic if its coordinate representatives satisfy a certain nonlinear partial differential equation. This partial differential equation for a mapping also arises as the Euler-Lagrange equation of a functional called the Dirichlet energy. As such, the theory of harmonic maps contains both the theory of unit-speed geodesics in Riemannian geometry and the theory of harmonic functions.
In Riemannian geometry, a branch of mathematics, harmonic coordinates are a certain kind of coordinate chart on a smooth manifold, determined by a Riemannian metric on the manifold. They are useful in many problems of geometric analysis due to their regularity properties.
The Yamabe problem refers to a conjecture in the mathematical field of differential geometry, which was resolved in the 1980s. It is a statement about the scalar curvature of Riemannian manifolds:
Let (M,g) be a closed smooth Riemannian manifold. Then there exists a positive and smooth function f on M such that the Riemannian metric fg has constant scalar curvature.
In the field of differential geometry in mathematics, mean curvature flow is an example of a geometric flow of hypersurfaces in a Riemannian manifold. 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. Except in special cases, the mean curvature flow develops singularities.
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 formal meaning, but is typically understood to refer to parabolic partial differential equations.
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 mathematical general relativity, the Penrose inequality, first conjectured by Sir Roger Penrose, estimates the mass of a spacetime in terms of the total area of its black holes and is a generalization of the positive mass theorem. The Riemannian Penrose inequality is an important special case. Specifically, if (M, g) is an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and ADM mass m, and A is the area of the outermost minimal surface (possibly with multiple connected components), then the Riemannian Penrose inequality asserts
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.
Leon Melvyn Simon, born in 1945, is a Leroy P. Steele Prize and Bôcher Prize-winning mathematician, known for deep contributions to the fields of geometric analysis, geometric measure theory, and partial differential equations. He is currently Professor Emeritus in the Mathematics Department at Stanford University.
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.
Gerhard Huisken is a German mathematician whose research concerns differential geometry and partial differential equations. He is known for foundational contributions to the theory of the mean curvature flow, including Huisken's monotonicity formula, which is named after him. With Tom Ilmanen, he proved a version of the Riemannian Penrose inequality, which is a special case of the more general Penrose conjecture in general relativity.
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.
Joel Spruck is a mathematician, J. J. Sylvester Professor of Mathematics at Johns Hopkins University, whose research concerns geometric analysis and elliptic partial differential equations. He obtained his PhD from Stanford University with the supervision of Robert S. Finn in 1971.
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.
In the mathematical field of differential geometry, the Simons formula is a fundamental equation in the study of minimal submanifolds. It was discovered by James Simons in 1968. It can be viewed as a formula for the Laplacian of the second fundamental form of a Riemannian submanifold. It is often quoted and used in the less precise form of a formula or inequality for the Laplacian of the length of the second fundamental form.