Is it possible to evaluate this integral in a closed form?
$$\int_0^\infty\frac{\operatorname{arccot}\left(\sqrt{x}-2\,\sqrt{x+1}\right)}{x+1}\mathrm dx$$
[Math] Integral $\int_0^\infty\frac{\operatorname{arccot}\left(\sqrt{x}-2\,\sqrt{x+1}\right)}{x+1}\mathrm dx$
calculusclosed-formimproper-integralsintegrationtrigonometry
Related Solutions
With some help from Mathematica I got this result: $$\int_0^\infty\left(5\,x^5+x\right)\operatorname{erfc}\left(x^5+x\right)dx=J_{\frac25}\left(\frac8{25\sqrt5}\right)\left(\frac8{375}\sqrt{\frac25\left(5-\sqrt5\right)}\,\pi\,J_{\frac45}\left(\frac8{25\sqrt5}\right)-\frac8{375}\sqrt{\frac25\left(5+\sqrt5\right)}\,\pi\,J_{\frac65}\left(\frac8{25\sqrt5}\right)\right)+J_{-\frac25}\left(\frac8{25\sqrt5}\right)\left(\frac1{75}\sqrt{2\left(5+\sqrt5\right)}\,\pi\,J_{-\frac15}\left(\frac8{25\sqrt5}\right)+\frac1{25}\left(\sqrt5-5\right)\sqrt{\frac1{10}\left(5+\sqrt5\right)}\,\pi\,J_{\frac15}\left(\frac8{25\sqrt5}\right)-\frac8{375}\sqrt{\frac25\left(5+\sqrt5\right)}\,\pi\,J_{\frac45}\left(\frac8{25\sqrt5}\right)-\frac{4\left(\sqrt5-5\right)\sqrt{2\left(5+\sqrt5\right)}\,\pi\,J_{\frac65}\left(\frac8{25\sqrt5}\right)}{1875}\right)+J_{-\frac15}\left(\frac8{25\sqrt5}\right)\left(\frac1{25}\sqrt{2\left(5-\sqrt5\right)}\,\pi\,J_{\frac25}\left(\frac8{25\sqrt5}\right)+\frac8{375}\sqrt{\frac25\left(5+\sqrt5\right)}\,\pi\,J_{\frac35}\left(\frac8{25\sqrt5}\right)-\frac8{375}\sqrt{\frac25\left(5-\sqrt5\right)}\,\pi\,J_{\frac75}\left(\frac8{25\sqrt5}\right)\right)+J_{\frac15}\left(\frac8{25\sqrt5}\right)\left(-\frac1{75}\sqrt{2\left(5+\sqrt5\right)}\,\pi\,J_{\frac25}\left(\frac8{25\sqrt5}\right)+\frac{4\left(\sqrt5-5\right)\sqrt{2\left(5+\sqrt5\right)}\,\pi\,J_{\frac35}\left(\frac8{25\sqrt5}\right)}{1875}+\frac8{375}\sqrt{\frac25\left(5+\sqrt5\right)}\,\pi\,J_{\frac75}\left(\frac8{25\sqrt5}\right)\right),$$ where $J_\nu(x)$ is the Bessel function of the first kind.
A solution outline:
Note that $(5\,x^5+x)=x\frac{d}{dx}(x^5+x)$. Change the integration variable $y=x^5+x$, then the integral takes the form $$\int_0^\infty\mathcal{BR}(y)\cdot\operatorname{erfc}y\,dy,$$ where $y\mapsto\mathcal{BR}(y)$ is the inverse (properly selected to satisfy $\mathcal{BR}(y)>0$ for $y>0$) of the polynomial function $x \mapsto x^5+x$. This is a well-known non-elementary function called Bring radical, it can be used to express solutions of quintic equations in an explicit form.
An important fact, it has a representation via a generalized hypergeometric function (I used it to answer another question awhile ago). If we plug the hypergeometric representation into the integral and feed it to Mathematica, it produces the result in terms of Bessel functions shown above. I leave this step without a rigorous proof and rely on Mathematica here. The result agrees with a numerical integration to a very high precision. I would be very glad if anybody could write down an explicit derivation of the formula.
I will attempt to simplify the integral. It might take me a while and I might edit this answer a few times, so this is not its final form yet.
Let $D$ be the differential operator.
We know $\displaystyle\int \dfrac{dx}{\sqrt{x^2-1}}=\ln(2(x+\sqrt{x^2-1}))$.
So by using integration by parts we reduce the problem to solving $$\displaystyle\mathcal{A}=\int_1^\infty D\left[\operatorname{arccot}\left(1+\frac{2\,\pi}{\operatorname{arcoth}x\,-\,\operatorname{arccsc}x}\right)\right] \ln(2(x+\sqrt{x^2-1}))\, dx.$$
We know that $D[\mathrm{arccot}(x)] = \dfrac{-1}{1+x^2} $ hence by the chain rule for derivatives we get
$$\mathcal{A}=\int_1^\infty \dfrac{D\left[\left(\frac{-2\,\pi}{\operatorname{arcoth}x\,-\,\operatorname{arccsc}x}\right)\right] \ln(2(x+\sqrt{x^2-1}))}{1+\left(1+\dfrac{2\, \pi}{\mathrm{arcoth}(x) - \mathrm{arccsc}(x)}\right)^2}\,dx.$$
Because we know that $D[\mathrm{arccot}(x)] = \dfrac{-1}{1+x^2} $ and also that $ln(2z)=ln(2)+ln(z)$ we can use integration by parts again and arrive at
$$\mathcal{B}=\int_1^\infty \dfrac{D\left[\left(\frac{-2\,\pi}{\operatorname{arcoth}x\,-\,\operatorname{arccsc}x}\right)\right] \ln(x+\sqrt{x^2-1})}{1+\left(1+\dfrac{2\, \pi}{\mathrm{arcoth}(x) - \mathrm{arccsc}(x)}\right)^2}\,dx.$$
Now we can turn this into an infinite sum because we set $U=\dfrac{2\, \pi}{\mathrm{arcoth}(x) - \mathrm{arccsc}(x)}$ and use the Taylor expansion for $\frac{z}{1+(1+z)^2}$.
In other words we substitute $z=U$. ( Remember that $\int \Sigma = \Sigma \int$ )
Finally the core problem is reduced mainly to solving:
$$\displaystyle\mathcal{C_n}=\int_1^\infty \frac{\ln(x+\sqrt{x^2-1})}{(\mathrm{arcoth}(x)-\mathrm{arccsc}(x))^n}\, dx.$$
by induction we get the need to solve for $C_1$ and then are able to get the others.
At this point, I must admit that I have ignored convergeance issues. Those issues can be solved by taking limits.
For instance $C_1$ does not actually converge by itself.
For all clarity the problem is not resolved.
In fact it might require a new bounty. Still thinking about it ...
(in progress)
Best Answer
Define the function $I(s)$ for $s > 0$ by
$$ I(s) = \int_{0}^{\infty} \frac{\operatorname{arccot}( \sqrt{x} - e^{s}\sqrt{x+1} )}{x+1} \, dx. $$
By observing that $I(\infty) = 0$, we have
$$ I(s) = -\int_{s}^{\infty} I'(t) \, dt. $$
Applying Leibniz's integral rule,
$$ I'(s) = \int_{0}^{\infty} \frac{e^{s}\sqrt{x+1}}{1 + (\sqrt{x} - e^{s}\sqrt{x+1} )^{2}} \, \frac{dx}{x+1}. $$
Now with the substitution $x = \tan^{2}\theta$,
\begin{align*} I'(s) &= \int_{0}^{\frac{\pi}{2}} \frac{\sin\theta}{\cosh s - \sin\theta} = \frac{1}{2} \int_{-\frac{\pi}{2}}^{\frac{\pi}{2}} \frac{\cos\theta}{\cosh s - \cos\theta}. \end{align*}
Then with the substitution $z = e^{i\theta}$, it follows that
\begin{align*} I'(s) &= \frac{i}{2} \int_{\Gamma} \frac{z^{2} + 1}{z^{2} - 2z \cosh s + 1} \frac{dz}{z}, \end{align*}
where the contour $\Gamma$ denotes the counter-clockwise semicircular arc joining from $-i$ to $i$. Note that we have $z^{2} - 2z \cosh s + 1 = 0$ if and only if $\cosh s = \cos \theta$ if and only if $z = e^{i\theta} = e^{\pm s}$. Thus deforming the contour to the straight line joining from $-i$ to $i$ with infinitesimal indent at the origin, we obtain
\begin{align*} I'(s) &= \frac{i}{2} \left\{ \operatorname{PV}\! \int_{-i}^{i} f(z) \, dz + 2\pi i \operatorname{Res} (f, e^{-s}) + \pi i \operatorname{Res} (f, 0) \right\}, \end{align*}
where $f$ denotes the integrand
$$ f(z) = \frac{z^{2} + 1}{z (z^{2} - 2z \cosh s + 1)}. $$
Proceeding the calculation,
\begin{align*} I'(s) &= \frac{i}{2} \left\{ i \operatorname{PV} \! \int_{-1}^{1} f(ix) \, dx + \pi i - 2 \pi i \coth s \right\} \\ &= - \frac{1}{2} \int_{0}^{1} \{ f(ix) + f(-ix) \} \, dx - \frac{\pi}{2} + \pi \coth s \\ &= \cosh s \int_{0}^{1} \frac{\frac{1}{2} (1 - x^{-2}) }{\{ \frac{1}{2}(x + x^{-1}) \}^{2} + \sinh^{2} s} \, dx - \frac{\pi}{2} + \pi \coth s. \end{align*}
Now with the substitution $u = \frac{1}{2} \{ x + x^{-1} \}$, it follows that
\begin{align*} I'(s) &= - \cosh s \int_{1}^{\infty} \frac{du}{u^{2} + \sinh^{2} s} - \frac{\pi}{2} + \pi \coth s \\ &= - \arctan(\sinh s) \coth s - \frac{\pi}{2} + \pi \coth s. \end{align*}
Finally, with the substitution $x = \sinh t$,
\begin{align*} I(s) = - \int_{s}^{\infty} I'(t) \, dt &= \int_{s}^{\infty} \left\{ \arctan(\sinh t) \coth t + \frac{\pi}{2} - \pi \coth t \right\} \, dt \\ &= \int_{\sinh s}^{\infty} \left( \frac{\arctan x}{x} + \frac{\pi}{2\sqrt{x^{2} + 1}} - \frac{\pi}{x} \right) \, dx. \end{align*}
Our problem corresponds to $s = \log 2$, or equivalently, $a := \sinh s = \frac{3}{4}$.
\begin{align*} &\int_{a}^{\infty} \left( \frac{\arctan x}{x} + \frac{\pi}{2\sqrt{x^{2} + 1}} - \frac{\pi}{x} \right) \, dx \\ &= - \int_{a}^{\infty} \frac{\arctan (1/x)}{x} \, dx + \frac{\pi}{2} \int_{a}^{\infty} \left( \frac{1}{\sqrt{x^{2} + 1}} - \frac{1}{x} \right) \, dx \\ &= - \int_{0}^{1/a} \frac{\arctan x}{x} \, dx + \frac{\pi}{2} \lim_{R\to\infty} \left[ \log\left( \frac{x + \sqrt{x^{2} + 1}}{x} \right) \right]_{a}^{R} \\ &= - \operatorname{Ti}\left(\frac{1}{a}\right) - \frac{\pi}{2} \log\left( \frac{a + \sqrt{a^{2} + 1}}{2a} \right), \end{align*}
where the function
$$ \operatorname{Ti}(x) = \frac{\operatorname{Li}_{2}(ix) - \operatorname{Li}_{2}(-ix)}{2i} $$
is the inverse tangent integral. Using the following simple identity
$$ \operatorname{Ti}(x) = \operatorname{Ti}\left(\frac{1}{x}\right) + \frac{\pi}{2}\log x, $$
it follows that
\begin{align*} \int_{a}^{\infty} \left( \frac{\arctan x}{x} + \frac{\pi}{2\sqrt{x^{2} + 1}} - \frac{\pi}{x} \right) \, dx = - \operatorname{Ti}(a) - \frac{\pi}{2} \log\left( \frac{a + \sqrt{a^{2} + 1}}{2a^{2}} \right). \end{align*}
Therefore, plugging $a = \frac{3}{4}$ gives
$$ \int_{0}^{\infty} \frac{\operatorname{arccot}( \sqrt{x} - 2\sqrt{x+1} )}{x+1} \, dx = \pi \log(3/4) - \operatorname{Ti}(3/4) $$
as Cleo pointed out without explanation. More generally, for $k > 1$
$$ \int_{0}^{\infty} \frac{\operatorname{arccot}( \sqrt{x} - k \sqrt{x+1} )}{x+1} \, dx = \frac{\pi}{2} \log \left( \frac{(k^{2} - 1)^{2}}{2k^{3}} \right) - \operatorname{Ti}\left( \frac{k^{2} - 1}{2k} \right). $$