Normal hyperbolicity for flows and numerical methods (Q1414950)

Let \(\phi^t\) be a \(C^{p+1}\), \(p\geq 2\), flow on a smooth compact manifold having a \(C^1\) normally hyperbolic manifold. The author shows that if \(\psi\) is a numerical method of order \(p\), then \(\psi\) has a normally hyperbolic manifold if the stepsize if small enough. Conversely, if, for all small steps \(h\), the numerical method \(\psi\) has normally hyperbolic manifolds \(\Lambda_h\) that are isolated in a common neighborhood, then \(\phi^t\) has a normally hyperbolic invariant manifold.