The metric and orientation determine the Riemannian volume form: in a positively oriented coordinate chart ,Writing and , the Dirichlet energy on a Riemannian manifold with source is
For an arbitrary smooth variation , differentiation under the integral givesSince is compact without boundary, integration by parts turns this intoThe fundamental lemma of the calculus of variations therefore gives the Euler-Lagrange equationor equivalently for the Laplace-Beltrami operator.
Integrating the Euler-Lagrange equation and applying the divergence theorem on the compact boundaryless manifold givesEquivalently, if this integral were nonzero, replacing by would leave the gradient term unchanged and make the energy unbounded below in one direction, so no minimizer could exist.
Articles by others on the same topic
There are currently no matching articles.