Use the sign convention in the supplied scalar Laplace-Beltrami operator identity, and let be the metric-dual vector field. Integrate that Bochner formula for one-forms over the closed Riemannian manifold, with its volume density . The integral of a scalar Laplacian is zero: on an oriented manifold this is the Riemannian divergence theorem applied to its gradient, and the same density formula is valid without orientability. Hence
Both terms are nonnegative, because . The smooth nonnegative integrand must therefore vanish everywhere: a strictly positive value would remain positive on an open neighborhood of positive volume and make its integral positive. In particular at every point, proving
Thus harmonic one-forms are parallel under nonnegative Ricci curvature. The same argument also gives pointwise. No orientation or connectedness assumption is needed for this step.
The integral identity requires compactness of , compact support of , or suitable conditions eliminating flux at infinity. The printed question does not state such a hypothesis. We prove the Riemannian divergence theorem for a compact manifold, and more generally for a compactly supported smooth vector field on an oriented Riemannian manifold with boundary.
Write for the inclusion. Give the outward-normal-first boundary orientation, and let be the outward unit normal vector. The Riemannian volume form of the induced Riemannian metric is
Indeed, if is a positively oriented orthonormal basis tangent to the boundary, is a positively oriented orthonormal basis in . Both sides therefore evaluate to one on the boundary basis.
At a boundary point decompose , where is tangent to . Evaluating on tangent vectors, the term with vanishes: all arguments of the alternating volume form then lie in the -dimensional boundary tangent space. Thus the interior product of a differential form satisfies
The general Stokes theorem for an oriented manifold with boundary states for any smooth differential form of degree with compact support; compactness of makes the support condition automatic. Applying it to and using the defining equation for the divergence of a Riemannian vector field proves
For a concrete failure without the extra hypothesis, take with Riemannian metric and . The divergence of a Riemannian vector field is , so
because vanishes at the only boundary point. Both integrals are finite. The missing is the limiting flux at infinity, so mere integrability of the divergence cannot repair the unrestricted assertion.