Considera $\displaystyle \int_{0}^{\infty}\frac{\log(x)\cot^{-1}(x)}{\sqrt{x}}$.
He intentado: $\displaystyle F(a,b) = \int_{0}^{\infty} \frac{\log(ax)\cot^{-1}(bx)}{\sqrt{x}}$, así que $\displaystyle F''(a,b) = \int_{0}^{\infty}\frac{dx}{a\sqrt{x}(1+b^2x^2)} = \int_{0}^{\infty}\frac{dt}{2a(1+x^4b^2)} = \frac{\pi}{2a\sqrt{2b}}$.
Entonces $F'_{a}(a,b) = \frac{\pi}{2a}\sqrt{b}+C(a)$, también podemos hacerlo para $a$. Pero ¿cómo encontramos la constante?
Es fácil ver que $C(a) = 0$, ¿qué hay de $C(b)$? Si consideramos $F'_{b}(a,b) = \frac{\pi\log(a)}{\sqrt{8b}} + C(b)$ entonces no es fácil encontrarlo. ¿Alguna idea?
edit también pensé en considerar $\cot^{-1}(bx)$ y luego hacer una sustitución $t = \frac{1}{1+x}$ y representar $\log$ como serie