Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds

This work describes a method for approximating a branch of stable or unstable manifolds associated with a branch of hyperbolic fixed points or equilibria in a one parameter family of analytic dynamical systems. We approximate the branch of invariant manifolds by polynomials and develop a-posteriori theorems which provide mathematically rigorous bounds on the truncation error. The hypotheses of these theorems are formulated in terms of certain inequalities which are checked via a finite number of calculations on a digital computer. By exploiting the analytic category we are able to obtain mathematically rigorous bounds on the jets of the manifolds, as well as on the derivatives of the manifolds with respect to the parameter. A number of example computations are given. (C) 2014 Royal Dutch Mathematical Society (KWG). Published by Elsevier B.V. All rights reserved.