Solution (source code)

= Solution

Integrating $e^{-pt}\sin(ct)$, or taking the imaginary part of $\int_0^\infty e^{-(p-ic)t}\,dt$, gives
$$
\boxed{\mathcal L\{\sin ct\}(p)=\frac{c}{p^2+c^2}\qquad(\operatorname{Re}p>0).}
$$
The <Laplace transform convolution theorem> states $\mathcal L(f*g)=\bar f\,\bar g$ whenever the transforms and convolution are defined. Applying it to the <Volterra integral equation> gives $\bar x+\bar x/(p^2+1)=\bar F$, so
$$
\boxed{\bar x(p)=\frac{p^2+1}{p^2+2}\bar F(p)=\left(1-\frac1{p^2+2}\right)\bar F(p).}
$$
Since $\mathcal L^{-1}[(p^2+2)^{-1}]=\sin(\sqrt2t)/\sqrt2$, a second application of the convolution theorem yields the <sine-kernel Volterra resolvent>
$$
\boxed{x(t)=F(t)-\frac1{\sqrt2}\int_0^t\sin(\sqrt2(t-s))F(s)\,ds.}
$$
The transform argument assumes suitable growth for the transforms to exist. The resulting causal resolvent formula also applies to locally integrable forcing on finite intervals, as can be checked by substitution and exchanging integrals over a finite triangle.