Hyperbolicity and invariant manifolds for planar nonautonomous systems on finite time intervals

The method of invariant manifolds was originally developed for hyperbolic rest points of autonomous equations. It was then extended from fixed points to arbitrary solutions and from autonomous equations to nonautonomous dynamical systems by either the Lyapunov-Perron approach or Hadamard's graph transformation. We go one step further and study meaningful notions of hyperbolicity and stable and unstable manifolds for equations which are defined or known only for a finite time, together with matching notions of attraction and repulsion. As a consequence, hyperbolicity and invariant manifolds will describe the dynamics on the finite time interval. We prove an analog of the Theorem of Linearized Asymptotic Stability on finite time intervals, generalize the Okubo-Weiss criterion from fluid dynamics and prove a theorem on the location of periodic orbits. Several examples are treated, including a double gyre flow and symmetric vortex merger.