Nonlocal Cauchy problem for second order integrodifferential evolution equations in Banach spaces (Q2479766)

The main result of this paper is a theorem on existence of a \textit{mild} solution for the following equation \[ x''(t)=A(t)x(t)+f(t,x(t),x'(t))+\int_0^tq(t,s,x(s),x'(s))ds,\;\;t\in J=[0,T],\tag{1} \] where \(A\), \(f\), \(q\) are operators with values in the Banach space \(X\). In addition to (1), a nonlocal initial condition of the following form \[ x(0)+g(x)=x_0,\quad x'(0)=y_0\tag{2} \] is given. As a \textit{mild} solution of (1) is understood as a solution of the following generalized equation \[ x(t)=- {\partial\over{\partial s}}S(t,s)| _{s=0}[x_0-g(x)]+\tag{3} \] \[ +S(t,0)y_0+\int_0^tS(t,s)f(s,x(s),x'(s))ds+ \int_0^tS(t,s)\int_0^sq(s,\tau,x(\tau),x'(\tau))d\tau ds, \] where \(S(t,s):X\rightarrow X\) is the fundamental solution related to the operator equation \[ x''(t)=A(t)x(t).\tag{4} \] In order to establish the existence theorem, a number of hypotheses of rather natural character are stated. The proof is based on the following Schaefer's fixed-point theorem in a normed space \(E\): Let \(F:E\rightarrow E\) be completely continuous and let \[ \zeta(F)=\{x\in E: x=\lambda Fx \text{ for some } 0<\lambda<1\}. \] Then either \(\zeta(F)\) is unbounded or \(F\) has a fixed-point. As an application the following nonlocal problem is considered: \[ x''(t)=A(t)x(t)+f(t,x(t),\int_0^ta(t,s)h(s,x(s),x'(s)ds,x'(t)),\tag{5} \] \[ x(0)+g(x)=x_0,\tag{6} \] where \(a\) has values in \({\mathbb R}\), and \(h\) has values in \(X\).