Prefer a chat interface with context about you and your work?
Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The procedure has two steps. First we compute an accurate high order Taylor expansion of the local invariant manifold. This expansion is valid in some neighborhood of the equilibrium. …