Q: Suppose $\alpha>0$ and $|\beta|<\pi/2$, show that \begin{align*} \textbf{(1)} \; \int_0^{\infty}e^{-\alpha x^2 \cos \beta} \cos(\alpha x^2 \sin \beta) dx &= \frac 1 2 \sqrt{\pi/\alpha}\cos(\beta/2)\\ \textbf{(2)} \; \int_0^{\infty}e^{-\alpha x^2 \cos \beta} \sin(\alpha x^2 \sin \beta) dx &= \frac 1 2 \sqrt{\pi/\alpha}\sin(\beta/2) \end{align*}
How can I integrate the above with the method of contour?
The integral can be changed into $\displaystyle \int_0^{\infty}e^{-\alpha x^2 \cos \beta} e^{i(\alpha x^2 \sin \beta) }dx = \int_0^{\infty} e^{x^2\alpha e^{i (\pi - \beta)}}dx$. This is similar to $\displaystyle \int_0^{\infty} e^{-x^2}dx$ which has been discussed here except that it has complex coefficients. How do I modify it?