No label defined (Q4785244)

Consider the singularly perturbed system \[ \dot x=f(x,y,\varepsilon), \quad \dot y=\varepsilon g(x,y,\varepsilon), \quad\dot \varepsilon=0, \] where \(x\in \mathbb{R}^n\), \(y\in \mathbb{R}^m\), \(\varepsilon \geq 0\), \( f\) and \(g\) are of class \(C^r\). Suppose that, for all \(y\) in a certain domain \(D\), the ``fast'' subsystem \[ \dot x=f(x,y,0),\quad \dot y=0, \] has a compact \(C^r\) invariant manifold \(M_0=M_0(y)\) and that the motion of the full system in the direction transverse to \(M_0(y)\) is faster than the motion on \(M_0(y)\), which is described in terms of Lyapunov exponents. It is proved that, for sufficiently small \(\varepsilon\), the full system has an invariant manifold near \(\bigcup_{y\in D}M_0(y)\times\{y\}\). Its smoothness is also investigated. For the entire collection see [Zbl 0997.00040].