Nonlocal theorems on existence of solutions of differential-algebraic equations of index 1 (Q2479647)

The article deals with the initial value problem \[ A(t)\dot x+ B(x, t)= 0,\;t\in T= [t_0,t_1],\;x(t_0)= x_0, \] where \(A(t)\) is an \(n\times n\)-matrix; \(B(x, t)\) an \(n\)-dimensional vector-function; \(x\equiv x(t)\) the unknown vector-function; \((x(t),t)\in U=\mathbb{R}^n\times T\); \(x_0\) a given vector from \(\mathbb{R}^n\); \(\text{det\,}A(t)= 0\) \(\forall t\in T\) and the input data are of the following smoothness: \(A(t)\in C^1(T)\), \(B(x, t)\in C^2(U)\). Existence theorems for solutions of this problem are known but, in the case of a nonlinear vector-function \(B(x,t)\), all these theorems are local [\textit{V. F. Chistyakov}, Algebro-differential operators with finite-dimensional kernel, Novosibirsk: Nauka, Sibirskaya Izdatel'skaya Firma Rossiĭskoĭ\ Akademii Nauk (1996; Zbl 0999.34002); \textit{K. E. Brenan}, \textit{S. L. Campbell} and \textit{L. R. Petzold}, Numerical solution of initial-value problems in differential-algebraic equations, Classics in Applied Mathematics. 14. Philadelphia, PA: SIAM, Society for Industrial and Applied Mathematics (1996; Zbl 0844.65058)]. There is a wide class of problems which require nonlocal statements. In particular, for systems \(A(t)\dot x+ B(x, t, u)= 0\), where \(u= u(t)\) is a control, the statement of controllability and observability needs the assumption of extendability of a solution to the whole segment \(T\). For systems in normal form \((A(t)= E_n)\), nonlocal theorems are based either on the assumption that the vector-function \(B(x, t)\) is globally Lipschitzian [\textit{Yu. L. Daletskiĭ} and \textit{M. G. Kreĭn}, Stability of solutions of differential equations in a Banach space. Translations of Mathematical Monographs. Vol. 43. Providence, R.I.: American Mathematical Society (AMS). VI, 386 p. (1974; Zbl 0286.34094)] or on some divisions of the stability theory including the La Salle theorem [\textit{B. P. Demidovich}, Lectures on the mathematical stability theory [in Russian]. Moscow: Nauka (1967; Zbl 0155.41601), p. 276]. In this paper the analogues of the first two approaches are used.