About: Normally hyperbolic invariant manifold

A normally hyperbolic invariant manifold (NHIM) is a natural generalization of a hyperbolic fixed point and a hyperbolic set. The difference can be described heuristically as follows: For a manifold to be normally hyperbolic we are allowed to assume that the dynamics of itself is neutral compared with the dynamics nearby, which is not allowed for a hyperbolic set. NHIMs were introduced by in 1972. In this and subsequent papers, Fenichel proves that NHIMs possess stable and unstable manifolds and more importantly, NHIMs and their stable and unstable manifolds persist under small perturbations. Thus, in problems involving perturbation theory, invariant manifolds exist with certain hyperbolicity properties, which can in turn be used to obtain qualitative information about a dynamical syst