Exponential dichotomy and stable manifolds for differential-algebraic equations on the half-line (Q6156196)

This paper is devoted to the study of exponential dichotomy and stable manifolds for differential-algebraic equations (DAEs) on the half-line. The authors consider the semilinear system \[ E(t)\dot x (t)=A(t)x(t) + f(t, x(t)), \quad t\geq 0,\tag{1} \] and the corresponding linear system \[ E(t)\dot y (t)=A(t)y(t), \quad t\geq 0.\tag{2} \] It is supposed that (2) is given in the strangeness-free form. The authors extend some classical theorems from ordinary differential equations (ODEs) to DAEs. Using the so-called orthogonal equivalence transformation, the DAEs (2) is brought into the semi-explicit form. Then, by solving the algebraic equation and substituting the algebraic component into the differential equation, the underlying ODE is obtained. Thus, the system (2) is decoupled. First, the exponential dichotomy of (2) is characterized by the Lyapunov-Perron method, i.e., by the existence of a bounded solution to the corresponding nonhomogeneous system. Then, the existence and properties of local/global stable manifolds of (1) are investigated under the assumptions that the associated linear system (2) admits an exponential dichotomy and the nonlinear part satisfies a non-uniform Lipschitz condition. Finally, two real-life examples are given for illustration.