Second-Order Linear Equations · Challenge problem

A damped spring obeys $y'' + 4y' + 13y = 0$ and is released from rest at $y(0) = 2$. Compute $\displaystyle\int_0^\infty \big(y'(t)\big)^2\,dt$.