First variation of area formula
In the mathematical field of Riemannian geometry, every submanifold of a Riemannian manifold has a surface area. The first variation of area formula is a fundamental computation for how this quantity is affected by the deformation of the submanifold. The fundamental quantity is to do with the mean curvature.
Let Template:Math denote a Riemannian manifold, and consider an oriented smooth manifold Template:Mvar (possibly with boundary) together with a one-parameter family of smooth immersions Template:Math of Template:Mvar into Template:Mvar. For each individual value of the parameter Template:Mvar, the immersion Template:Math induces a Riemannian metric on Template:Mvar, which itself induces a differential form on Template:Mvar known as the Riemannian volume form Template:Math. The first variation of area refers to the computation
in which Template:Math is the mean curvature vector of the immersion Template:Math and Template:Math denotes the variation vector field Both of these quantities are vector fields along the map Template:Math. The second term in the formula represents the exterior derivative of the interior product of the volume form with the vector field on Template:Mvar, defined as the tangential projection of Template:Mvar. Via Cartan's magic formula, this term can also be written as the Lie derivative of the volume form relative to the tangential projection. As such, this term vanishes if each Template:Math is reparametrized by the corresponding one-parameter family of diffeomorphisms of Template:Mvar.
Both sides of the first variation formula can be integrated over Template:Mvar, provided that the variation vector field has compact support. In that case it is immediate from Stokes' theorem that
In many contexts, Template:Mvar is a closed manifold or the variation vector field is every orthogonal to the submanifold. In either case, the second term automatically vanishes. In such a situation, the mean curvature vector is seen as entirely governing how the surface area of a submanifold is modified by a deformation of the surface. In particular, the vanishing of the mean curvature vector is seen as being equivalent to submanifold being a critical point of the volume functional. This shows how a minimal submanifold can be characterized either by the critical point theory of the volume functional or by an explicit partial differential equation for the immersion.
The special case of the first variation formula arising when Template:Mvar is an interval on the real number line is particularly well-known. In this context, the volume functional is known as the length functional and its variational analysis is fundamental to the study of geodesics in Riemannian geometry.