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

Assume $\omega \ne 0$. With $h=0$, the method of characteristics gives $f(t,\Phi (t,0,z))=f_0(z)$. HenceLet $K=\mathrm{supp}{f}_0$ and $E_{\ast }={\max }_K{H}_{\omega }$; if $f_0=0$, the conclusion is immediate. By the Hamiltonian energy balance, every image point of $K$ remains in the energy sublevelThis is a fixed compact ellipsoid in phase space. Therefore the support bound is uniform in time:This uniform support bound from a coercive conserved energy requires no explicit solution of the curves.

The nonzero-frequency qualification is necessary. At $\omega =0$ the energy does not control $x$, and the equation is free transport equation. Choose a smooth compactly supported $f_0$ that is nonzero at $(x_0,v_0)$ with $v_0\ne 0$. Its transported value at $(x_0+t{v}_0,v_0)$ stays nonzero, so the union of the supports is unbounded. Each individual support is compact, but there is no fixed compact support for all times.