Llevo unas horas con esto y es espantosamente parecido al problema expuesto aquí:
Cómo probar $\int_0^\infty e^{-x^2}cos(2bx) dx = \frac{\sqrt{\pi}}{2} e^{-b^2}$
pero con suficientes cambios que siguen siendo problemáticos. Además, ¡algunas partes de la solución se me han escapado de las manos! He tratado de diferenciar con b y encontrar un u-sub inteligente en vano. También tengo curiosidad por usar la identidad de Euler para intercambiar el cos por algunos exponenciales, pero también sigo chocando con un muro. La ayuda en cualquiera de los dos frentes sería genial.
Edición: a>0 y b>0 son constantes arbitrarias sólo para ser completo sobre esto.
Actualización: Resuelto gracias a la solución de voldemort y a la solución de ecuaciones diferenciales del problema enlazado, ¡gracias a todos!