Solvability of an equation with a deviating argument and unbounded operator coefficients in a Hilbert space (Q1091533)

Let \(Lu(t)=(D_ t-\sum^{m}_{j=0}A_ jS_{h_ j})u(t)\) with \(S_{h_ j}u(t)=u(t-h_ j)\), \(t>t_ 0\), \(A: X\to Y\), \(X\subset Y\), where X and Y are Hilbert spaces such that \(\| \cdot \|_ X\geq \| \cdot \|_ Y\). The equation (1) \(Lu(t)=f(t)\) is considered with the initial conditions (2) \(u(t)=g(t)\), \(t\leq t_ 0\), \(u(t_ 0+0)=g(t_ 0)\). Put \[ X^{1\alpha}_{(t_ 0\infty)}=\{u(t)| u(t)=0,\quad t\leq t_ 0;\quad \| u(t)\|^ 2=\int^{\infty}_{t_ 0}\exp (2\alpha t)\cdot (\| u(t)\|^ 2_ X+\| u'(t)\|^ 2_ Y)dt<\infty \}; \] \[ Y^{0\alpha}_{(t_ 0\infty)}=\{u(t)| u(t)=0,\quad t<t_ 0;\quad \| u(t)\|^ 2=\int^{\infty}_{t_ 0}\exp (2\alpha t)\cdot \| u(t)\|^ 2_ Y dt<\infty \}. \] This paper contains two theorems with proofs. The first theorem says that \(L: X^{1\alpha}_{(t_ 0\infty)}\to Y^{0\alpha}_{(t_ 0\infty)}\) is invertible and \(L^{-1}\) is continuous iff \(\| R(\lambda)\|_ X=O(1)\), \(\| R(\lambda)\cdot \lambda \|_ Y=O(1)\), when \(\lambda\to \infty\), Im \(\lambda\) \(=\alpha\), where \(R(\lambda)=(\lambda - \sum^{m}_{j=0}A_ j\exp (-ih_ j\lambda))^{-1}\) (if \(t_ 0=- \infty)\). For \(t_ 0>-\infty\) the condition for \(\lambda\) is Im \(\lambda\leq \alpha\). The second theorem states that under similar conditions on L and for \(f\in Y_{\Delta}^{0\alpha}\), \(\Delta (t_ 0,\infty)\) such that \(f(t)=0\) for \(t\leq t_ 0\), there exists a unique solution to (1)(2) satisfying \(u(t)=0\) for \(t\leq t_ 0\).