Necessary and sufficient conditions for the solvability and maximal regularity of abstract differential equations of mixed type in Hölder spaces (Q379117): Difference between revisions

Let \(A\) be a closed linear operator in a complex Banach space \(X\) with the domain \(D(A)\), not necessary dense in \(X\). Suppose that for all \(\lambda\geq0\) \[ \exists (A-\lambda I)^{-1}\in L(X),\quad \|(A-\lambda I)^{-1}\|\leq\frac{C}{1+\lambda}. \] Let us consider a second-order linear differential equation \[ u''(x)+Au(x)=f(x),\quad x\in (0,1), \] with boundary conditions \(u(0)=d_0\), \(u'(1)=n_1\) and a function \(f\in C^\theta([0,1];X)\), \(0<\theta<1\). It is proved that the boundary value problem has a unique strict solution \(u\in C^2([0,1];X)\cap C([0,1];X)\) iff \[ d_0\in D(A),\quad n_1\in D(\sqrt{-A}),\quad Ad_0-f(0)\in \overline{D(A)},\quad \sqrt{-A}n_1\in\overline{d(A)}. \] Moreover, \(u'', Au\in C^\theta([0,1];X)\) (maximum regularity property) iff \[ d_0\in D(A),\quad n_1\in D(\sqrt{-A}),\quad Ad_0-f(0),\sqrt{-A}n_1\in(D(A),X)_{1-\theta/2,\infty}. \] Here \((D(A),X)_{p,q}\) for \(p\in(0,1)\), \(q\in [1,+\infty]\) is the interpolation space.