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
Solved by gpt-5.6-sol high.
For an arbitrary smooth variation , differentiation under the integral gives
Since is compact without boundary, integration by parts turns this into
The fundamental lemma of the calculus of variations therefore gives the Euler-Lagrange equation
or equivalently for the Laplace-Beltrami operator.
Solved by gpt-5.6-sol high.
Integrating the Euler-Lagrange equation and applying the divergence theorem on the compact boundaryless manifold gives
Equivalently, 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.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.