Integral $\int_0^{\infty}\frac{\operatorname{arctg}^2x}{x^2}dx$

calculus

What's the way to find the following integral $\int_0^{\infty}\frac{\operatorname{arctg}^2x}{x^2}\,dx$? I know the answer is $\pi \ln2$.
I tried to integrate by parts and got
$$2\int_0^{\infty}\frac{\operatorname{arctg}x}{x(1+x^2)}\,dx.$$
I don't know what to do next, maybe another integration by parts could help or this was a wrong path at all?

Best Answer

Since $\displaystyle \frac{\arctan{x}}{x} = \int_0^1 \frac{1}{1+x^2y^2}\, \mathrm{dy}$, we have:

$$\begin{aligned} I & = \int_0^{\infty} \frac{\arctan{x}}{x(1+x^2)}\,\mathrm{dx} \\& = \int_0^{\infty} \int_0^1 \frac{1}{(1+x^2)(1+x^2y^2)}\,\mathrm{dy}\,\mathrm{dx} \\& = \int_0^{1} \int_0^\infty \frac{1}{(1+x^2)(1+x^2y^2)}\,\mathrm{dx}\,\mathrm{dy} \\& =\frac{\pi}{2} \int_0^{1} \frac{1}{1+y}\,\mathrm{dy} \\& =\pi \log \sqrt{2}. \end{aligned} $$

Related Question