Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 17 / 2 / a / Solution

The Livsic theorem says that for a topologically transitive Anosov flow on a closed manifold, a Hölder continuous function $f$ is a flow coboundary if and only if it has zero integral over every periodic orbit. In the integral formulation there is a Hölder continuous function $u$ satisfyingEquivalently, $u$ is differentiable along the flow and $Fu=f$. The periodic obstruction isIt is necessary because the left-hand side of the coboundary identity is zero at a period. The substantive theorem is its sufficiency. For a smooth flow and smooth $f$, the smooth regularity version gives a smooth $u$. Two such solutions differ by a constant: their difference is flow invariant and hence constant on a dense orbit and, by continuity, everywhere. This smooth version is the one needed in part (b).