Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds

Maciej J. Capinski, Carles Simo

We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other…