Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-17/5/a/solution

Fix an orientation and a positive volume form . Define the divergence by the Lie derivative
A 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 gives
Thus 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 shows
Conversely, if is invariant, then is a flow coboundary. Vanishing of the Lie derivative is equivalent to flow invariance, since . Hence
The 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!