The Hodge Laplacian acts on differential forms bywhere is the exterior derivative and its codifferential. On a compact oriented Riemannian manifold without boundary, Hodge integration by parts in arbitrary degree givesConsequently a harmonic differential form is both a closed differential form and a coclosed differential form on such a manifold. On a manifold with boundary, the same calculation has boundary terms unless compatible boundary conditions remove them.
On scalar functions, this nonnegative sign convention gives when the Laplace-Beltrami operator is defined as . Stating the convention prevents a sign ambiguity when comparing geometric and analytical formulas.
New to topics? Read the docs here!