Laplacian of a restricted ambient function
ID: laplacian-of-a-restricted-ambient-function
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.
New to topics? Read the docs here!