 Solution

SetThen the forced equation is the abstract Cauchy problemFor $Z_0\in \mathcal{H}$ and $F\in C([0,T];\mathcal{H})$, a mild solution of an abstract Cauchy problem is a function $Z\in C([0,T];\mathcal{H})$ satisfying the variation-of-constants formula

Suppose $F(s)\in D(A)$ and both $F$ and $AF$ are continuous. If also $Z_0\in D(A)$, then the closedness of $A$ permits differentiation under the Bochner integral:Thus $Z\in C^1([0,\infty );\mathcal{H})$ and $Z^{\prime }=AZ+F$. The assumption $Z_0\in D(A)$ is necessary here: a unitary group has no smoothing, so the conditions on $F$ alone cannot make $U(t)Z_0$ differentiable for arbitrary $Z_0\in \mathcal{H}$.

For the resulting strong solution, skew symmetry of $A$ gives the energy estimateIntegration yields