Wolfram alpha calcula la integral $$\int\limits_0^\infty \frac{x^2\ln{x}}{e^x-1}dx=2\zeta^\prime(3)+3\zeta(3)-2\gamma\zeta(3).$$ Sin embargo, necesito citar la fuente de esta identidad (la tabla de integrales, o el artículo donde se calculó esta integral). ¿Podría indicarme alguna?
Respuestas
¿Demasiados anuncios?
kixx
Puntos
2452
No dispongo de una fuente publicada para esta integral, pero si fuera necesario podrías consultar la siguiente derivación: $$\int_0^\infty \frac{x^2\ln{x}}{e^x-1}\,dx=\int_0^\infty x^2 e^{-x}\ln x\sum_{k=0}^\infty e^{-kx}$$ $$=\sum_{k=0}^\infty\frac{3-2\gamma-2 \ln (k+1)}{(k+1)^3}$$ $$=(3-2\gamma)\zeta(3)+2\zeta^\prime(3).$$ La integral sobre $x^2 e^{-(k+1)x}\ln x$ se deduce de la integración parcial y en la ecuación final he utilizado la identidad $$\sum_{k=1}^\infty k^{-p}\ln k=-\zeta'(p).$$
Una forma de obtener el valor reclamado de la integral dada, $J$ en notación a continuación, es partiendo de la relación estándar $$ \begin{aligned} \zeta(s) &= \frac 1{\Gamma(s)}\int_0^\infty \frac {x^{s-1}}{e^x-1}\; dx\ ,\qquad \text{ so }\\ \zeta'(s) &= \frac\partial{\partial s} \left(\ \frac 1{\Gamma(s)}\int_0^\infty \frac {x^{s-1}}{e^x-1}\; dx \ \right) \\ &= \frac 1{\Gamma(s)}\int_0^\infty \frac {x^{s-1}\; \ln x}{e^x-1}\; dx - \underbrace{\frac{\Gamma'(s)}{\Gamma(s)}}_{=\psi(s)}\zeta(s)\ ,\qquad\text{leading to } \\ \zeta'(3)&=\frac 1{\Gamma(3)}\underbrace{\int_0^\infty \frac {x^2\; \ln x}{e^x-1}\; dx}_{\text{our integral }J} - \psi(3)\zeta(3)\ . \\[2mm] &\qquad\text{Extracting $J$ from above,}\\[2mm] J &=\Gamma(3)\; \zeta'(3) \ +\ \Gamma(3)\; \psi(3)\; \zeta(3) \\ &=2\zeta'(3)+(3-2\gamma)\zeta(3)\ , \end{aligned} $$ donde hemos utilizado las relaciones $\displaystyle\psi(x+1)=\frac 1x+\psi(x)$ y $\psi(1)=-\gamma$ por ejemplo, de aquí . Explícitamente, esto da el valor para $\displaystyle\psi(3)=\frac 12+\psi(2)=\frac 12+1+\psi(1)=\frac 12(3-2\gamma)$ .
$\square$
Lo anterior muestra cómo obtener relaciones similares cuando existe otra potencia de $x$ en lugar de $x^2$ en el numerador del integrando, y da una interpretación de los coeficientes implicados.
