On existence and approximation of solutions of second order abstract Cauchy problem (Q614496)

The paper is concerned with the second-order abstract Cauchy problem in a Banach space \(X\) \[ ACP(A,f,x,y)\quad\quad\begin{cases} u''(t)=Au(t)+f(t),\,\,\,\text{for}\,\,\,0<t<T_0,\\ u(0)=x,\,\,\,u'(0)=y,\end{cases} \] where \(0<T_0\leq \infty\), \(x,\,y\in X\) are given, the operator \(A:D(A)\subset X\to X\) is the generator of a nondegenerate local \(\alpha\)-times integrated \(C\)-cosine function \(C(\cdot)\) on \(X\) for some \(\alpha\geq 0\), and \(f\in L^1_{loc}([0,T_0),X)\cap C((0,T_0),X)\). The author shows that the problem \(ACP(A,Cf,Cx,Cy)\) has a strong solution is equivalent to \(v(\cdot)=C(\cdot)x+j_0\ast C(\cdot)y+j_0\ast C\ast f(\cdot)\in C^{\alpha+1}([0,T_0),X)\) and \(D^{\alpha+1}v(\cdot)\in C^1((0,T_0),X)\). Then he proves some new existence and approximation theorems for strong solutions of \(ACP(A,Cz+j_{\alpha-1}\ast Cg,Cx,Cy)\) and mild solutions of \(ACP(A,Cx+j_1Cy+j_2Cz+j_{\alpha -1}\ast Cg,0,0)\) (for \(\alpha\geq 2\)) in \(C^2([0,T_0),X)\), when \(C(\cdot)\) is locally Lipschitz continuous, and \(x,\,y\) and \(z\) satisfy some suitable regularity assumptions. Here, \(j_{\beta}(t)=t^{\beta}/\Gamma(\beta+1)\) for \(\beta>-1\) and \(t>0\), \(j_{-1}(t)=1\) for \(t=0\), and \(j_{-1}(t)=0\) for \(t\not= 0\).