Smooth Lyapunov manifolds for autonomous systems of nonlinear ordinary differential equations and their application to solving singular boundary value problems (Q6540052)

This paper deals with an autonomous system of \(N\) nonlinear ordinary differential equations on a semi-infinite interval. The considered system has a (pseudo)hyperbolic equilibrium point. Next, the paper also considers an \(n\)-dimensional \((0<n<N)\) stable solution manifold or a manifold of conditional Lyapunov stability for each sufficiently large \(t\), which exists in the phase space of the system's variables in a neighborhood of its saddle point. A smooth separatrix saddle surface for such a system is also described by solving a singular Lyapunov-type problem for a system of quasilinear first-order partial differential equations with degeneracy in the initial data. Throughout the paper, several results are proved in relation to the qualitative properties of the considered problems. An application of the results to the correct formulation of boundary conditions at infinity and their transfer to the end point for an autonomous system of nonlinear equations is given, and the use of this approach in some applied problems is also indicated.