Mientras resolvía un problema más general, me encontré con la siguiente integral
$$I= \int_{-\infty}^{\infty} x^{4n} e^{-x^2/2} \, dx$$
Para empezar, he definido $t:=x^2/2$ para obtener
\begin{align*} I= \int_{-\infty}^\infty x^{4n} e^{-x^2/2} \, dx &= 2\int_0^\infty x^{4n} e^{-x^2/2} \, dx \\ &= 2 \int_0^\infty (\sqrt{2t})^{4n} e^{-t} \frac{dt}{\sqrt{2t}} \\ &= 2 (\sqrt{2})^{4n - 1} \int_0^\infty t^{2n - 1/2} e^{-t} \, dt \end{align*}
Esto parece ser una integral de función gamma. Yo empezaría integrando por partes
\begin{align*} \int_0^{+\infty} t^{2n-\frac{1}{2}}e^{-t} \, dt&=[ -t^{2n-\frac{1}{2}}e^{-t}]_0^{+\infty} - (-)(2n-\frac{1}{2})\int_0^{+\infty}t^{2n-\frac{1}{2}-1}e^{-t} \, dt \\ &=(2n-\frac{1}{2})\int_0^{+\infty}t^{2n-\frac{1}{2}-1}e^{-t} \, dt \end{align*}
Pero, ¿cómo seguir adelante?
He buscado en una tabla y el resultado debería ser
$$I=2 (\sqrt{2})^{4n - 1} \Gamma\left(2n+ \frac 1 2 \right)$$
PD: ¡Métodos alternativos que eviten la función gamma son muy bienvenidos! :)
EDITAR: Creo que lo que Yves sugirió fue lo siguiente
$$I= \int_{-\infty}^\infty x^{4n} e^{-x^2/2}= (2n-\frac{1}{2}) (2n-\frac{3}{2}) (2n-\frac{5}{2})\cdots\frac{3}{2}\frac{1}{2} \int_0^{+\infty}t^{-\frac{1}{2}}e^{-t}\,dt=(2n-\frac{1}{2}) (2n-\frac{3}{2}) (2n-\frac{5}{2})\cdots\frac{3}{2}\frac{1}{2}\ \ 2\int_0^{+\infty}e^{-t} \, d(\sqrt{t})$$
¡Alrigtht! Veo que $(2n-\frac{1}{2}) (2n-\frac{3}{2}) (2n-\frac{5}{2})\cdots\frac{3}{2}\frac{1}{2} = \Gamma\left(2n+ \frac 1 2 \right)$ NAIVE pregunta sin embargo: ¿cómo ver que $\int_0^{+\infty}e^{-t} \, d(\sqrt{t})=2 (\sqrt{2})^{4n - 1}$ ?