Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 8 / 1 / f / Solution

For the globally invertible Hamiltonian flow from (a), the general characteristic formula isEvery $\Phi (s,t)$ preserves Lebesgue measure, by (b). Thus composition with it is an isometry of each Lp space. The Minkowski integral inequality givesApplying the Minkowski inequality also in time yields the finite-time Lp bound for Hamiltonian transport:The smoothness assumptions allow the characteristic construction; the norm estimate itself only uses the Lp space data and volume preservation.

For a concrete failure on infinite time, choose $\omega =1$, $f_0=0$, andThis is smooth, time independent and in every finite Lp space; it is invariant under the isotropic harmonic oscillator flow. Therefore the solution grows linearly:This invariant-source secular growth in Hamiltonian transport supplies the counterexample even with zero initial data.