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 map
sends 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.

Articles by others on the same topic (0)

There are currently no matching articles.