Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-15/3/c/solution

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.

New to topics? Read the docs here!