Coordinate Representation of Laplace-Beltrami Operator

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {M, g}$ be a Riemannian manifold.

Let $U \subseteq M$ be an open set.

Let $\tuple {x^i}$ be local smooth coordinates.

Let $f \in \map {C^\infty} M : M \to \R$ be a smooth mapping on $M$.

Let $\nabla^2$ be the Laplace-Beltrami operator.


Then:

$\nabla^2 f = \dfrac 1 {\sqrt {\det g} } \dfrac \partial {\partial x^i} \paren {g^{ij} \sqrt {\det g} \dfrac {\partial f} {\partial x^j}}$



Proof



Sources