To the theory of regular boundary value problems for ordinary linear differential operators in the space \(L_{p,n}\) (Q600744)

For \(p > 1\), denote by \(L_{p,n}(a,b)\) the usual \(L_p\) space consisting of \(n\)-vector functions defined on \((a,b)\). Considering the linear operator \[ L(y) \equiv y' - \lambda A(x)y -A_1(x)y,\quad a < x < b, \] with boundary conditions \[ \sum_{k=0}^n \lambda^k \{ \alpha^{(k)}y(a,\lambda) + \beta^{(k)}y(b,\lambda) \} = 0, \] where \(\lambda\) is a complex spectral parameter; \(A(x), A_1(x),\alpha^{(k)}, \beta^{(k)}\) are \(n \times n\) matrices, \(y \in \mathbb{C}^n\). The boundary value problem is called regular if it satisfies the following assumptions: (i) the elements of the matrices \(A'(x), A(x)\) are in \(L_p(a, b)\); (ii) the characteristic roots \(\phi_1(x), \phi_2(x), \dots, \phi_n(x)\) of \(A(x)\) are different for all \(x\), and their arguments and the arguments of their differences do not depend on \(x\); (iii) the determinants \(\det \{ \{ (\alpha m(a))_{ij} \}_{i = 1,2,\dots,n}^{j=1,2,\dots,\tau}, \{ (\beta m(b))_{ij} \}_{i = 1, \dots,n}^{j=\tau+1, \dots, n} \}\), and \(\det \{ \{ (\alpha m(a))_{ij} \}_{i = 1,2,\dots,n}^{j= \tau+1, \dots, n}, \{ (\beta m(b))_{ij} \}_{i = 1, \dots,n}^{j=1, \dots, n} \}\), which are common in all sectors are nonzero. Here, \((\alpha, \beta)\) is the fundamental \(n \times 2n\) matrix of boundary conditions; and ``sectors'' means sectors in the \(\lambda\)-plane being centered at the origin such that, according to (ii), Re\,\(\lambda \phi_1(x) \leq \dots \leq \text{Re}\, \lambda \phi_\tau(x) \leq 0 \leq \text{Re}\, \lambda \phi_{\tau+1}(x) \leq \dots \leq \text{Re}\, \lambda \phi_n(x)\). For simplicity, in this article, only the case of real \(\phi\)-roots is considered; hence, the \(\lambda\)-plane is divided into two sectors \(\pi_1, \pi_2\). For \(|\lambda|\) large, an asymptotic representation of the solution \(y(x, \lambda)\) to \(L(y) = 0\) in each of the sectors is given. Moreover, it is proved that the system of root vector functions of the above regular problem form a basis with brackets in \(L_{p,n}(a, b)\) for \(p \geq 2\).