Demostrar que $\int_0^\infty e^{-x} \ln x d x = - \gamma $

Question

Puedo ver que es correcto utilizando algunos conocimientos de la función Gamma. Tenemos

$$ \Gamma(\alpha ) = \int_0^\infty e^{-x} x^{\alpha - 1 } dx . $$

Diferenciando con respecto a $\alpha$ obtenemos

$$ \frac{d\Gamma}{d \alpha} = \int_0^\infty e^{-x} x^{\alpha - 1 }\ln x dx . $$

Configuración $\alpha = 1 $ obtenemos

$$ \int_0^\infty e^{-x} \ln x dx = \frac{d\Gamma}{d\alpha }\bigg|_{\alpha = 1 }= - \gamma. $$

Pero el conocimiento $d \Gamma/d \alpha |_{\alpha = 1}=-\gamma$ es un misterio para mí.

¿Alguien puede encontrar una prueba elemental?

Answer 1

Puede demostrar que $$\lim I_n=\int_0^\infty e^{-x}\ln x\,dx$$ utilizando el teorema de convergencia dominada, donde $$I_n=\int_0^n\left(1-\frac xn\right)^n\ln x\,dx.$$ Ahora sustituye $y=1-x/n$ . Entonces \begin{align} I_n&=n\int_0^1y^n\ln(n(1-y))\,dy\\ &=n\ln n\int_0^1 y^n\,dy+n\int_0^1y^n\ln(1-y)\,dy\\ &=\frac n{n+1}\left(\ln n-\int_0^1\frac{1-y^{n+1}}{1-y}\,dy\right)\\ &=\frac n{n+1}\left(\ln n-\sum_{k=1}^{n+1}\frac1k\right) \end{align} donde hemos integrado por partes a lo largo del camino. Esto tiende a $-\gamma$ .

Answer 2

Aquí abordaremos su integral: \begin{equation} I = \int_0^\infty e^{-x} \ln(x)\:dx \nonumber \end{equation}

Para ello utilizamos el hecho de que: \begin{equation} \lim_{a \rightarrow 0^+} \frac{\partial}{\partial a} x^a = \ln(x) \end{equation}

Como tal (y por la regla integral de Leibniz): \begin{align} I &= \int_0^\infty e^{-x} \ln(x)\:dx = \lim_{a \rightarrow 0^+} \frac{\partial}{\partial a}\int_0^\infty e^{-x} x^a\:dx = \lim_{a \rightarrow 0^+} \frac{\partial}{\partial a} \Gamma(a + 1) \nonumber \\ &= \lim_{a \rightarrow 0^+} \Gamma'(a + 1) = \lim_{a \rightarrow 0^+} \Gamma(a + 1)\:\psi^{(0)}(a + 1)\nonumber \\ &= \Gamma(1)\:\psi^{(0)}(0) = \psi^{(0)}(0) = -\gamma \end{align}

Answer 3

Tu método parece una forma razonable de obtener este resultado, y casi lo has conseguido. Ahora utilice el Expansión de Taylor de la función digamma que es:

$$\psi(z+1) = -\gamma - \sum_{k=1}^\infty \zeta(k+1) \cdot (-z)^k.$$

Sustituyendo $z=0$ da:

$$\psi(1) = -\gamma - \sum_{k=1}^\infty \zeta(k+1) \cdot 0^k = -\gamma.$$

Así es:

$$\int_0^\infty e^{-x} \ln x dx = \Gamma'(1) = \psi(1) \cdot \Gamma(1) = -\gamma \cdot 1 = -\gamma.$$