We will be looking at another Gaussian integral, this time with a trigonometric function included:
We will use the very powerful method of differentiation under the integral sign, getting a differential equation that we can solve with initial conditions. Consider
Differentiating both sides with respect to ,
Using integration by parts,
The first term vanishes, while the second term is again our original function . Our differential equation is thus
This diff eq. can be solved by separation of variables:
We can find the constant by finding the value of :
I showed in a previous post that
Subtituting , we find that
Which means that
And this lets us find our constant of integration.
Finally, our integral is thus equal to