Use the divergence-of-gradient convention . For an embedded submanifold and a smooth ambient function ,
where is the vector-valued mean curvature.
At a point, choose a local orthonormal frame whose intrinsic covariant derivatives vanish there. Differentiate twice and insert the Gauss formula. The tangent derivative terms give the ambient Hessian matrix trace, and the normal terms sum to .
For a coordinate function , the ambient Hessian matrix is zero, so . coordinates of a minimal submanifold are therefore harmonic. On the round unit sphere, , giving . The nonnegative Laplace-Beltrami operator uses the opposite sign; declaring the convention fixes the signs in these formulas.
For the squared distance , a minimal -submanifold satisfies . On a compact boundaryless manifold, attains a maximum where the Laplacian is nonpositive, a contradiction for .

Articles by others on the same topic (0)

There are currently no matching articles.