On the existence of a local-integral manifold of neutral type for an essentially nonlinear system of differential equations (Q945975): Difference between revisions

The essentially nonlinear system of differential equations of the form \[ x= X(t,z),\quad y= G(y)+ \varphi(z)+ Y(t,z)\tag{1} \] for \(\| z\|\leq a\) and \(t\in R\) is considered. Here \(z= (x,y)\in \mathbb{R}^z\times \mathbb{R}^q\), the vector functions \(X\), \(G\), \(\varphi\) and \(Y\) are continuous with respect to their arguments and continuously differentiable with respect to \(x\), \(y\) and \(z\); \(X(t,0)\equiv 0\) and \(G(0)= \varphi(0)= Y(t,0)\equiv 0\) \(\forall t\in \mathbb{R}\). Assumptions are formulated under that the system (1) has a local-integral manifold of neutral type near the origin. The main theorem is proved by finding the desired manifold as a fixed point for operator of translation along the solutions in the corrresponding space of manifolds. The line of argument follows the scheme of \textit{V. A. Pliss's} paper [Differ. Uravn. 11, 805--810 (1975; Zbl 0331.34048)].