A boundary value problem for operator equations in Hilbert spaces (Q5946948): Difference between revisions

The authors look for so-called \(G_{0,1}\) pathes that are strong solutions to the abstract operator differential equation in a Hilbert space \(X\), \[ x'(t)= (Tx)(t),\quad\text{a.e. in }(0,1]\ni t, \] where \(T\) is some operator of Nemytskij type. For some operator \(G: X\to X\) given in advance, a continuous function \(x: [0,1]\to X\) is said to be a \(G_{0,1}\) path if \(x(0)= G(x(1))\). Under certain assumptions on \(G\), the existence of a \(G_{0,1}\) path that solves the equation and an a priori estimate on it are shown. The method of proof relies upon ideas from \textit{S. Heikkilä} and \textit{V. Lakshmikantham} [Monotone iterative techniques for discontinuous nonlinear differential equations. Pure and Applied Mathematics: 181, New York: Marcel Dekker, Inc. (1994; Zbl 0804.34001)]. The result is then applied to an infinite linear system of differential equations in \(l_2\).