Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-17/5/a/solution
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 17 5 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Fix an orientation and a positive volume form . Define the divergence by the Lie derivativeA smooth function is a flow coboundary when it equals for some smooth . Every other positive volume form is for a smooth . The product rule for the Lie derivative givesThus changing the reference volume form changes its divergence by a flow coboundary. If volume forms of either orientation are allowed, take the logarithm of the absolute ratio on each connected component; multiplying a reference form by a constant sign leaves its divergence unchanged.
If , the preceding product rule showsConversely, if is invariant, then is a flow coboundary. Vanishing of the Lie derivative is equivalent to flow invariance, since . HenceThe equivalence holds for every choice of reference volume form, proving the invariant volume criterion for a smooth flow. The smoothness requirement matters: a merely measurable transfer function does not give a smooth invariant volume form.
New to topics? Read the docs here!