La diferenciación bajo el signo integral da una forma bastante rápida. Deja:
$$ I(\alpha) = \int_{0}^{+\infty}x^{\alpha}e^{-x^2}\,dx = \frac{1}{2}\int_{0}^{+\infty}x^{\frac{\alpha-1}{2}}e^{-x}\,dx = \frac{1}{2}\,\Gamma\left(\frac{\alpha+1}{2}\right).\tag{1}$$ Nuestra integral es sólo $I'(0)$ : ya que $\Gamma' = \psi\cdot\Gamma$ , $$ \int_{0}^{+\infty}e^{-x^2}\log(x)\,dx = \frac{1}{4}\Gamma\left(\frac{1}{2}\right)\psi\left(\frac{1}{2}\right)=\color{red}{-\frac{\sqrt{\pi}}{4}\left(\gamma+2\log 2\right)}.\tag{2} $$ $\Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}$ es conocido y $\psi\left(\frac{1}{2}\right)$ puede calcularse a partir de $\psi(1)=-\gamma$ y la fórmula de duplicación para el $\psi$ función: $$ \psi(z)+\psi\left(z+\frac{1}{2}\right) = -2\log 2+2\,\psi(2z).\tag{3} $$
0 votos
¿Está permitido utilizar cualquier identidad integral para $\gamma$ o ¿qué sabes de $\gamma$ ?
0 votos
@mickep Solo conozco la definición básica de la constante de euler mascheroni y algunas integrales que son equivalentes.
0 votos
Tal vez puedas utilizar la equivalencia integral $\gamma = -4 \int_{0}^{\infty} e^{-x^2}x \ln(x) dx $ . A continuación, sustituya $\gamma$ en tu ecuación y combina las integrales, luego integra.
0 votos
@rVitale eso funcionará, pero ¿de dónde viene esa integral?
0 votos
@Kunal $\gamma$ puede definirse mediante una integral convergente, y entonces es igual a un montón de otras cosas, y aparece en expresiones integrales.
0 votos
@Kunal tendrás que elegir una definición de $\gamma$ antes de intentar demostrar que tu expresión anterior da una definición equivalente.