Frullani integral $\int_0^\infty \frac{\text{csch}(x)-\frac1x}{x} {\rm d}x$

Question

$$ \int_0^\infty \frac{\text{csch}(x)-\frac1x}{x} {\rm d}x. $$

Esta integral era de un concurso reciente, como de hace dos semanas, y todavía no puedo descifrarla. Bueno, para ser exactos era en forma de

$$ \int_0^\infty \frac{2}{x^2} \left( \frac{x}{e^x - e^{-x}} - \frac12 \right) {\rm d}x. $$

La sugerencia era convertirlo en Frullani integral pero nada de lo que he probado ha funcionado, los by-parts te dejan con algo que no converge y no encuentro la forma de convertir el numerador en $f(ax)-f(bx)$ . He observado que también se puede escribir de la forma

$$\int_0^\infty \frac{\text{csch}(\frac1x) - x}{x} {\rm d}x.$$

Answer 1

Definir la función $F$ para $x>0$ por: \begin{align}F(x)=\text{cotanh}\left(\frac{x}{2}\right)-\frac{2}{x}\end{align} Observe que, \begin{align}\lim_{x\rightarrow 0} F(x)&=0\\ \lim_{x\rightarrow \infty} F(x)&=1\\ F(x)-F(2x)&=\frac{1}{\sinh x}-\frac{1}{x} \end{align} Podemos utilizar el teorema de Frullani: \begin{align}\int_0^\infty \frac{\text{csch}(x)-\frac1x}{x} {\rm d}x&=\int_0^\infty \frac{F(x)-F(2x)}{x}\,dx\\ &=\left(F(0)-F(\infty)\right)\ln\left(\frac{2}{1}\right)\\ &=\boxed{-\ln 2} \end{align}

Answer 2

Una forma es utilizar la expansión de $\operatorname{csch}x$ Es decir $$\operatorname{csch}x=\dfrac{1}{x}+\sum_{n=1}^{\infty}\dfrac{2(-1)^nx}{n^2\pi^2+x^2}$$ entonces $$\int_{0}^{\infty}\dfrac{\operatorname{csch}x-\frac1x}{x}\ dx=\sum_{n=1}^{\infty}\int_{0}^{\infty}2(-1)^n\dfrac{1}{n^2\pi^2+x^2}\ dx=\sum_{n=1}^{\infty}\dfrac{2(-1)^n}{n\pi}\arctan\dfrac{x}{n\pi}\Big|_{0}^{\infty}=\color{blue}{\sum_{n=1}^{\infty}\dfrac{(-1)^n}{n}}=\color{blue}{\ln\dfrac12}$$