¿Cómo podemos demostrar que $\int_{0}^{\infty}x\sin{x}\ln{(1-e^{-x})}\mathrm dx=1-{\pi\over 2\tanh\pi}-{\pi^2\over 2\sinh^2{\pi}}?$

Question

Considere la integral de la $(1)$

$$\int_{0}^{\infty}x\sin{x}\ln{(1-e^{-x})}\mathrm dx=I\tag1$$ ¿Cómo podemos demostrar que $$I=1-{\pi\over 2\tanh\pi}-{\pi^2\over 2\sinh^2{\pi}}$$

Un intento de: manejo de integral indefinida

$$\int x\sin{x}\ln{(1-e^{-x})}\mathrm dx=J\tag2$$

Aplicar la integración por partes

$u=\ln{(1-e^{-x})}$ $du={e^{-x}\over 1-e^{-x}}\mathrm dx$

$v=-\int x\sin{x}\mathrm dx=-x\cos{x}+\sin{x}$

$$J=(-x\cos{x}+\sin{x})\ln{(1-e^{-x})}-\int{e^{-x}\over 1-e^{-x}}(\sin{x}-x\cos{x})\mathrm dx\tag3$$

$$J=(-x\cos{x}+\sin{x})\ln{(1-e^{-x})}-\int\sum_{n=0}^{\infty}e^{x(1-n)}(\sin{x}-x\cos{x})\mathrm dx\tag4$$

$$J=(-x\cos{x}+\sin{x})\ln{(1-e^{-x})}-\sum_{n=0}^{\infty}\int e^{x(1-n)}(\sin{x}-x\cos{x})\mathrm dx\tag5$$

Vamos

Aplicando integración por partes

$$J_1=\int e^{x(1-n)}\sin{x}\mathrm dx={e^{x(1-n)}[(1-n)\sin{x}-\cos{x}]\over (1-n)^2+1}$$

$$J_2=\int xe^{x(1-n)}\cos{x}\mathrm dx={xe^{x(1-n)}[(1-n)\cos{x}+\sin{x}]\over (1-n)^2+1}-{e^{x(1-n)}[(n^2-2n)\cos{x}-2(1-n)\sin{x}]\over ((1-n)^2+1)^2}$$

Hasta el momento de aplicar la integración por partes parecen poco duro para resolver el problema de $(1)$, ¿de qué otra manera podemos abordar $(1)?$

Answer 1

Sugerencia. Primero se puede expandir el integrando de la siguiente manera, $$ \ln{(1-e^{-x})}=-\sum _{n=1}^{\infty } \frac{e^{-n x}}{n},\qquad x>0,\tag1 $$ que conduce a la $$ \int_0^\infty x\sin{x}\ln{(1-e^{-x})}\:dx=-\sum _{n=1}^{\infty } \frac{1}{n}\int_0^\infty x\sin{x}e^{-n x}\:dx,\tag2 $$ ahora, uno puede diferenciar la evaluación estándar, $$ \int_0^\infty \sin{x}\:e^{-n x}\:dx=\frac{1}{n^2+1}, \quad n>0,\tag3 $$ para obtener $$ \int_0^\infty x\sin{x}\:e^{-n x}\:dx=\frac{2n}{(n^2+1)^2}, \quad n>0,\tag4 $$ then $(2)$ reescribe

$$ \int_0^\infty x\sin{x}\ln{(1-e^{-x})}\:dx=-2\sum _{n=1}^{\infty } \frac{1}{(n^2+1)^2}.\tag5 $$

Uno puede recordar que $$ \la suma de _{n=1}^{\infty } \frac{1} {n^2+a^2)}=\frac{\pi \coth (\pi)}{2}-\frac{1}{2^2},\qquad a>0,\tag6 $$ que, mediante la diferenciación, da $$ \la suma de _{n=1}^{\infty } \frac{1} {n^2+a^2)^2}=-\frac{1}{2^4}+\frac{\pi \coth (\pi)}{4^3}+\frac{\pi ^2 \text{csch}^2(\pi)}{4^2}\tag7 $$ leading to the announced result by putting $a=1$.