Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 6 1 b Solution Created 2026-10-03 Updated 2026-10-07
Put and . On a small closed time interval and a closed ball around the initial point, let bound and let be its spatial Lipschitz constant. The mapsends the corresponding closed ball of continuous paths into itself when the time length times is at most the ball radius. If the time length times is less than one, it is a contraction in the supremum norm. The Banach fixed-point theorem gives a local solution and uniqueness; differentiating its integral equation gives the ordinary differential equation. Overlapping local solutions agree by this uniqueness.
For continuation, the growth assumption gives, on any bounded time interval,for forward time, with the analogous reversed-time bound. The Gronwall inequality bounds the trajectory on that interval. A finite terminal time is impossible: within the resulting compact ball the field is bounded, so the path has a limit at the endpoint, and the local construction restarts there. This proves the global characteristic flow under linear growth. No differentiability of the flow with respect to its initial point is needed for this existence and uniqueness proof.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 105 3 1 a Solution Created 2026-10-03 Updated 2026-10-05
The growth bound is . A characteristic curve through solvesThe field is locally Lipschitz in space, giving local existence and uniqueness. On either direction of a bounded time interval the Gronwall inequality gives . Thus no trajectory can escape to infinity at finite time. On the resulting compact space-time region, local ordinary differential equation existence continues it, proving global definition for all .
Uniqueness gives the flow composition law and inverse . Differentiation with respect to solves the variational equation, making each map a diffeomorphism. Its positive Jacobian determinant isThese facts constitute the global characteristic flow under linear growth. A uniform global bound on is not required; its bounds on each compact characteristic tube suffice.