He descubierto a través de contorno de integración que $$\int_0^\infty\,\frac{\exp(t\,u)}{\exp(u)+1}\,\text{d}u={\text{csc}(\pi\,t)}\,\left(\frac{\pi}{2}-\int_0^{\frac{\pi}{2}}\,\frac{\sin\big((1-2t)\,y\big)}{\sin(y)}\,\text{d}y\right)\tag{*}$$ para todos los $t\in\mathbb{C}\setminus\mathbb{Z}$ tal que $t<1$. Tomando $t\to 0$, deduzco que $$\int_0^\infty\,\frac{1}{\exp(u)+1}\,\text{d}u=\frac{2}{\pi}\,\int_0^{\frac{\pi}{2}}\,y\,\cot(y)\,\text{d}y\,.$$ Con un paso de integración por partes, puedo obtener $$\int_0^\infty\,\frac{1}{\exp(u)+1}\,\text{d}u=-\frac{2}{\pi}\,\int_0^{\frac{\pi}{2}}\,\ln\big(\sin(y)\big)\,\text{d}y\,.$$ Establecimiento $x:=\sin(y)$, me sale $$\int_0^\infty\,\frac{1}{\exp(u)+1}\,\text{d}u=-\frac{2}{\pi}\,\int_0^1\,\frac{\ln(x)}{\sqrt{1-x^2}}\,\text{d}x\,.$$ Esto demuestra que $$\int_0^1\,\frac{\ln(x)}{\sqrt{1-x^2}}\,\text{d}x=-\frac{\pi}{2}\,\int_0^\infty\,\frac{1}{\exp(u)+1}\,\text{d}u\,.$$ La integral de la $\displaystyle\int_0^\infty\,\frac{1}{\exp(u)+1}\,\text{d}u$ puede ser fácilmente obtenida desde $$\int\,\frac{1}{\exp(u)+1}\,\text{d}u=u-\ln\big(\exp(u)+1\big)+\text{constant}\,.$$ Es decir, tengo $$\int_0^1\,\frac{\ln(x)}{\sqrt{1-x^2}}\,\text{d}x=-\frac{\pi}{2}\,\ln(2)\,.\tag{#}$$ Sin embargo, esta prueba es muy rotonda para comprobar la igualdad anterior. Es allí una manera más directa para demostrar que (#) es verdadera? Cualquier técnica que se aprecia.
Un buen consecuencia de (*) es que $$\int_0^\infty\,\frac{\sinh(t\,u)}{\exp(u)+1}\,\text{d}u=\frac{\pi}{2}\,\text{csc}(\pi\,t)-\frac{1}{2\,t}$$ para todos los $t\in\mathbb{C}\setminus\{0\}$ tal que $\big|\text{Re}(t)\big|<1$. Esto proporciona una prueba de que $$\eta(2r)=\frac{1}{(2r-1)!}\,\int_0^\infty\,\frac{u^{2r-1}}{\exp(u)+1}\,\text{d}u=\frac{\pi^{2r}}{2}\,\Biggl(\left[t^{2r-1}\right]\Big(\text{csc}(t)\Big)\Biggr)$$ para $r=1,2,3,\ldots$. Aquí, $\eta$ es el Dirichtlet eta función. Además, $[t^k]\big(g(t)\big)$ denota el coeficiente de $t^k$ en el Laurent expansión de $g(t)$$t=0$. Esto también justifica los resultados bien conocidos, que $$\eta(2r)=\frac{\left(2^{2r-1}-1\right)\,\big|B_{2r}\big|\,\pi^{2r}}{(2r)!}\text{ and }\zeta(2r)=\frac{2^{2r-1}\,\big|B_{2r}\big|\,\pi^{2r}}{(2r)!}$$ para $r=1,2,3,\ldots$ donde $\left(B_j\right)_{j\in\mathbb{Z}_{\geq0}}$ es la secuencia de los números de Bernoulli y $\zeta$ es la de Riemann zeta función.
Del mismo modo, $$\begin{align}\int_0^\infty\,\frac{\exp(t\,u)-1}{\exp(u)-1}\,\text{d}u&=\ln(2)+2\,\int_0^{\frac{\pi}{2}}\,\frac{\sin\big((1-t)\,y)\,\sin(t\,y)}{\sin(y)}\,\text{d}y\\ &\phantom{aaaaa}-\cot(\pi\,t)\,\left(\frac{\pi}{2}-\int_0^{\frac{\pi}{2}}\,\frac{\sin\big((1-2t)\,y\big)}{\sin(y)}\,\text{d}y\right)\,,\end{align}$$ para todos los $t\in\mathbb{C}\setminus\mathbb{Z}$ tal que $\text{Re}(t)<1$. Esto le da $$\int_0^\infty\,\frac{\sinh(t\,u)}{\exp(u)-1}\,\text{d}u=\frac{1}{2\,t}-\frac{\pi}{2}\,\cot(\pi\,t)$$ para todos los $t\in\mathbb{C}\setminus\{0\}$ tal que $\big|\text{Re}(t)\big|<1$.
Otra consecuencia de (*) es que $$\int_0^{\frac{\pi}{2}}\,\frac{\sin(k\,y)}{\sin(y)}\,\text{d}y=\frac{\pi}{2}\,\text{sign}(k)$$ para todos los enteros impares $k$. Es un reto interesante para determinar la integral de la $\displaystyle \int_0^{\frac{\pi}{2}}\,\frac{\sin(k\,y)}{\sin(y)}\,\text{d}y$ para todos los números enteros $k$.