Evaluate$$ \int_0^{\infty}{\frac{\arctan x\operatorname{Li}_2(-x)}{x^2}dx}$$ My attempt: By Integrating by parts I got $$ I=0+\int_0^\infty \frac{\ln(x+1)}{x}\left( \ln x-\frac{1}{2}\ln \left( x^2+1 \right) \right) \, dx-\int_0^\infty \frac{\arctan x\ln \left( x+1 \right)}{x^2} \, dx=I_1-I_2 $$ $I_2$ can be evaluated by integrating by parts again. $$ I_2=0-\int_0^\infty \frac{1}{1+x^2}\left( \ln x-\ln \left( x+1 \right) -\frac{\ln(x+1)}{x} \right) \, dx \\ =-0+G+\frac{1}{4}\pi \ln 2+\frac{5}{48}\pi^2 $$ But I have no idea to deal with $I_1$. I tried integrating by parts and substitute $x\to\frac1x$ but I got nothing.
-
$\begingroup$ $$ I_1=-\frac{\pi}{2}G+\frac{3}{16}\zeta(3)$$ $\endgroup$– user178256Jun 24, 2018 at 10:14
-
$\begingroup$ For $I_1$, you may want to try splitting the integral and using integration by parts multiple times? $\endgroup$– CrescendoJun 24, 2018 at 16:06
-
$\begingroup$ @Crescendo: I can't find a way using your method I just get to $$I_1=\int_0^{\infty } \frac{\text{Li}_2(-x)}{x^3+x} \, dx$$ and then get stuck. $\endgroup$– James ArathoonJun 24, 2018 at 19:59
-
$\begingroup$ @Crescendo Splitting the integral is impossible because $\int_0^\infty \frac{\ln(x+1)\ln x}{x}$ diverges. $\endgroup$– Kemono ChenJun 25, 2018 at 8:53
1 Answer
You can write $$I_1 = \frac{1}{2} \int \limits_0^\infty \frac{\ln(1+x)}{x} \ln \left(\frac{x^2}{1+x^2}\right) \, \mathrm{d} x = - \frac{1}{2} \int \limits_0^\infty \frac{\ln(1+x) \ln(1+x^{-2})}{x} \, \mathrm{d} x $$ and then have a look at this question to obtain the answer suggested in the comments.