Estimates in discretizing normally hyperbolic compact invariant manifolds of ordinary differential equations (Q5948886)

This paper deals with the behaviour of one step discretization methods in the vicinity of normally hyperbolic compact invariant manifolds of ordinary differential equations. The author considers autonomous systems of ordinary differential equations \( x' = f (x) \) in \( \mathbb{R}^n \) where \( f \) and its derivatives up to a certain order \(r\) are uniformly bounded on the whole space and there exist an \(r\)-normally hyperbolic compact invariant manifold \( M \) for the solution flow \( \Phi (t,p)\) of the differential equation. Concerning the discretization method, a one step map \( \phi (h,x)\) approximating \( \Phi (t,x)\) and depending on the stepsize parameter \( h \in [0, h_0]\) with order \(p\) is assumed. In this general setting the author proves the existence of an \(r\)-normally hyperbolic compact invariant \( {\mathcal C}^r \)-manifold \( M_h \) of \( \phi (h, \cdot)\) for \(h\) sufficiently small and gives estimates of \( M_h - M \) with respect to some particular norms of type \( K h^s \) with \(K\) independent of \(h\) and \( s = \min \{p, r-1-j \}\) for some values of \(j\). As recognized by the author, the proof of the above results is based on the fact that the one-step discretizations may be viewed as one-parameter families of perturbed problems and in \textit{M. W. Hirsch}, \textit{C. C. Pugh} and \textit{M. Shub} [Invariant Manifolds, Springer Verlag, Berlin (1977; Zbl 0355.58009)] it has been proved the persistence of such an invariant manifold under small perturbations.