 Solution

Write $z=(x,v)$ and let $\Phi (t,s,z)$ denote the Hamiltonian flow from time $s$ to time $t$. The characteristic curves satisfy Hamilton's equations:The Hamiltonian Liouville equation then reduces along each curve toThe signs and derivative variables here are those in the PDF.

The global characteristic flow for a Hamiltonian with bounded Hessian follows, for example, from $H\in C^2(\mathbb{R}\times {\mathbb{R}}^{2d})$ and, for every finite $T$,Thus the Hamiltonian vector field $b=({\nabla }_{v}H,-{\nabla }_{x}H)$ is globally Lipschitz continuous in $z$ on each finite time interval and satisfies $|b(t,z)|\le A_T+L_T|z|$. The Picard-Lindelof theorem gives local existence and uniqueness, while the Gronwall inequality gives, for example,This excludes finite-time escape. There is a unique Hamiltonian flow for all finite forward and backward times, and $\Phi (s,t)$ is the inverse of $\Phi (t,s)$. These sufficient conditions are deliberately stronger than necessary.