Need help with $\int_0^\infty e^{-x}\ln\ln\left(e^x+\sqrt{e^{2x}-1}\right)\,dx$

I need help with this integral: $$\int_0^\infty e^{-x}\ln\ln\left(e^x+\sqrt{e^{2x}-1}\right)\,dx\approx0.20597312051214...$$ Is it possible to evaluated it in a closed form?

Solution 1:

A useful identity here is ${\rm arccosh\,} z = \ln( z + \sqrt{z^2 -1} )$. Therefore $$\int_0^{\infty} e^{-x} \ln \ln( e^x + \sqrt{e^{2x}-1}) \;dx= \int_0^{\infty} e^{-x}\ln {\rm arccosh\,} e^x \;dx =\int_1^{\infty} \frac{\ln {\rm arccosh\,} y}{y^2} \;dy\, $$ Change integration variable $z={\rm arccosh\,}y$, $$= \int_0^{\infty} \frac{\ln z \sinh z}{ \cosh^2 z} \;dz\,.$$ Integrate by parts and use the definition of the Euler's $\gamma$ constant and $\Gamma$ function see here, $$= -\gamma + \ln\left[\frac{\Gamma\left(\frac{1}{4}\right)\Gamma\left(\frac{5}{4}\right)}{\Gamma^2\left(\frac{3}{4}\right)} \right]\,. $$ We can further simplify this using $\Gamma(1-z)\Gamma(z)=\pi/\sin \pi z$ and $\Gamma(z)\Gamma(z+\frac{1}{2})=2^{1-2z}\sqrt{\pi}\Gamma(2z)$ for $z=3/4$ and $\sin (3\pi/4)=1/\sqrt{2}$. This gives $$=-\gamma - 3\ln 2 - 2 \ln \pi + 4 \ln \Gamma(1/4)\,. $$