Closed-form of $\int_0^1 \frac{\operatorname{Li}_2\left( x \right)}{\sqrt{1-x^2}} \,dx $

We will go through a sequence of integrals, and, remarkably, we will see that at each step an integrand will have a continuous closed-form antiderivative in terms of elementary functions, dilogarithms and trilogarithms, so evaluation of an integral is then just a matter of calculating values (or limits) at end-points and taking a difference.

I used Mathematica to help me find some of those antiderivatives, but then I significantly simplified them manually. In each case correctness of the result was proved manually by direct differentiation, so we do not have to trust Mathematica on it. Maybe somebody will find a more elegant and enlightening way to evaluate them.


First change the variable $x=\cos\theta$ and rewrite the integral as: $$I=\int_0^{\pi/2}\operatorname{Li}_2(\cos\theta)\,d\theta\tag{0}$$ Then we use a known integral representation of the dilogarithm: $$\operatorname{Li}_2(z)=-\int_0^1\frac{\ln(1-t\,z)}t\,dt.\tag1$$ Use it to rewrite $(0)$ and then change the order of integration: $$I=-\int_0^1\frac1t\int_0^{\pi/2}\ln(1-t\,\cos\theta)\,d\theta\,dt.\tag2$$


Our first goal is to evaluate the inner integral in $(2)$. The integrand has a closed-form antiderivative in terms of elementary functions and dilogarithms that is continuous in the region of integration: $$\int\ln(1-t\,\cos\theta)\,d\theta=\theta\!\;\ln\!\left(\frac{1+\sqrt{1-t^2}}2\right)-2\,\Im\,\operatorname{Li}_2\!\left(\frac{1-\sqrt{1-t^2}}t\!\;e^{i\!\;\theta}\right).\tag3$$ (compare it with the raw Mathematica result)

Taking the difference of values of $(3)$ at the end-points $\pi/2$ and $0$, we obtain: $$\int_0^{\pi/2}\ln(1-t\,\cos\theta)\,d\theta=\frac\pi2\,\ln\!\left(\frac{1+\sqrt{1-t^2}}2\right)-2\,\Im\,\operatorname{Li}_2\!\left(i\,\frac{1-\sqrt{1-t^2}}t\right).\tag4$$ Recall that the imaginary part of the dilogarithm can be represented as the inverse tangent integral: $$\Im\,\operatorname{Li}_2(iz)=\operatorname{Ti}_2(z)=\int_0^z\frac{\arctan(v)}v dv.\tag{$4'$}$$ So, $$\int_0^{\pi/2}\ln(1-t\,\cos\theta)\,d\theta=\frac\pi2\,\ln\!\left(\frac{1+\sqrt{1-t^2}}2\right)-2\,\operatorname{Ti}_2\!\left(\frac{1-\sqrt{1-t^2}}t\right).\tag{$4''$}$$


Now our goal is to evaluate the outer integral in $(2)$. Substituting $(4'')$ back into $(2)$ we get: $$I=-\frac\pi2\!\;I_1+2\!\;I_2,\tag5$$ where $$I_1=\int_0^1\frac1t\,\ln\!\left(\frac{1+\sqrt{1-t^2}}2\right)dt,\tag6$$ $$I_2=\int_0^1\frac1t\,\operatorname{Ti}_2\!\left(\frac{1-\sqrt{1-t^2}}t\right)dt.\tag7$$ The integrand in $(6)$ has a closed-form antiderivative in terms of elementary functions and dilogarithms. One way to find it is to change variable $t=2\sqrt{u-u^2}$ and integrate by parts. $$\int\frac1t\,\ln\!\left(\frac{1+\sqrt{1-t^2}}2\right)dt=\frac14\,\ln^2\!\left(\frac{1+\sqrt{1-t^2}}2\right)-\frac12\, \operatorname{Li}_2\!\left(\frac{1-\sqrt{1-t^2}}2\right).\tag8$$ (compare it with the raw Mathematica result)

Taking the difference of its values at the end-points, and using well-known values $$\operatorname{Li}_2(1)=\zeta(2)=\frac{\pi^2}6,\tag{$8'$}$$ $$\operatorname{Li}_2\left(\tfrac12\right)=\frac{\pi^2}{12}-\frac{\ln^22}2,\tag{$8''$}$$ we get: $$I_1=\frac{\ln^22}2-\frac{\pi^2}{24}.\tag9$$ To evaluate $I_2$ change the variable $t=\frac{2z}{1+z^2}$: $$I_2=\int_0^1\frac{1-z^2}{z\,(1+z^2)}\operatorname{Ti}_2(z)\,dz.\tag{10}$$ Again, the integrand has a closed-form antiderivative in terms of elementary functions, dilogarithms and trilogarithms. Before giving the result, we will try to split it into smaller parts. First, recall $(4')$ and a simple integral ${\large\int}\frac{1-z^2}{z\,(1+z^2)}dz=\ln\!\left(\frac z{1+z^2}\right)$, and integrate by parts: $$\int\frac{1-z^2}{z\,(1+z^2)}\operatorname{Ti}_2(z)\,dz=\ln\!\left(\frac z{1+z^2}\right)\operatorname{Ti}_2(z)\\-\underbrace{\int\frac{\ln z\cdot\arctan z}z\,dz}_{I_3}+\underbrace{\int\frac{\ln(1+z^2)\cdot\arctan z}z\,dz}_{I_4}.\tag{11}$$ The following results can be checked by direct differentiation: $$I_3=\operatorname{Ti}_2(z)\ln z-\Im\,\operatorname{Li}_3(iz),\tag{$11'$}$$ $$I_4=\left[\frac{\pi^2}3-\ln\left(1+z^2\right)\ln z-\frac12\,\operatorname{Li}_2\!\left(-z^2\right)\right]\arctan z\\-\frac\pi2\,\arctan^2z+\frac\pi8\,\ln^2\left(1+z^2\right)+\operatorname{Ti}_2(z)\ln\left(1+z^2\right)-2\,\Im\,\operatorname{Li}_3(1+iz).\tag{$11''$}$$ Plugging $(11')$ and $(11'')$ into $(11)$ we obtain: $$\int\frac{1-z^2}{z\,(1+z^2)}\operatorname{Ti}_2(z)\,dz=\left[\frac{\pi^2}3-\ln\left(1+z^2\right)\ln z-\frac12\,\operatorname{Li}_2\!\left(-z^2\right)\right]\arctan z\\-\frac\pi2\,\arctan^2z+\frac\pi8\,\ln^2\left(1+z^2\right)+\,\Im\,\operatorname{Li}_3(iz)-2\,\Im\,\operatorname{Li}_3(1+iz).\tag{$11'''$}$$ (compare it with the raw Mathematica result)

Taking the difference of its values at the end-points $1$ and $0$, we get: $$I_2=\frac{3\!\;\pi^3}{32}+\frac\pi8\!\;\ln^22-2\,\Im\,\operatorname{Li}_3(1+i).\tag{12}$$ Plugging $(9)$ and $(12)$ back into $(5)$ we get the final result:

$$\large\int_0^1\frac{\operatorname{Li}_2(x)}{\sqrt{1-x^2}}\,dx=\frac{5\!\;\pi^3}{24}-4\,\Im\,\operatorname{Li}_3(1+i).\tag{$\heartsuit$}$$


An alternative approach. As shown by nospoon here, \begin{equation}\label{shalev} \int_{0}^{1}\frac{\log^2(x)}{\sqrt{x(1- x\sin^2\theta )}}\,dx = \frac{8}{\sin\theta}\left[\frac{\theta^3}{3}-\text{Im}\,\text{Li}_3\left(1-e^{2i\theta}\right)\right]\tag{1}\end{equation} holds for any $\theta\in\left(0,\frac{\pi}{2}\right)$. This is an istance of a very nice principle, according to which every hypergeometric function of the $\phantom{}_{p+1}F_{p}\left(\frac{1}{2},\frac{1}{2},\ldots;\frac{3}{2},\frac{3}{2},\ldots;z\right)$ kind has a closed form in terms of polylogarithms. We need to evaluate $\phantom{}_4 F_3\left(\frac{1}{2},\frac{1}{2},1,1;\frac{3}{2},\frac{3}{2},\frac{3}{2};1\right)$, hence our arrival point is already pretty close to the statement of $(1)$.

The evaluation of $(1)$ at $\theta=\frac{\pi}{4}$ leads to \begin{equation}\label{shalev2} \int_{0}^{1}\frac{\log^2(x)}{\sqrt{x(2- x )}}\,dx = 8\left[\frac{\pi^3}{192}-\text{Im}\,\text{Li}_3\left(1-i\right)\right]\tag{2}\end{equation} and the functional relations for $\text{Li}_2$ reduce the original problem to $(2)$. In particular $$\begin{eqnarray*} \int_{0}^{\pi/2}\text{Li}_2(\sin\theta)\,d\theta &=& \int_{0}^{1}\frac{2}{1+t^2}\text{Li}_2\left(\frac{1-t^2}{1+t^2}\right)\,dt\\ \int_{0}^{\pi/2}\text{Li}_2(\cos\theta)\,d\theta&=&\int_{0}^{1}\frac{2}{1+t^2}\text{Li}_2\left(\frac{2t}{1+t^2}\right)\,dt\\ &=&\frac{5\pi^3}{24}+4\,\text{Im}\,\text{Li}_3(1-i)\tag{3}\end{eqnarray*}$$ as already shown by Reshetnikov.


According to a CAS, $$I = \int_0^1 \frac{\operatorname{Li}_2\left( \sqrt{t} \right)}{2 \, \sqrt{t} \, \sqrt{1-t}} \,dt =\, _4F_3\left(\frac{1}{2},\frac{1}{2},1,1;\frac{3}{2},\frac{3}{2},\frac{3}{2};1\right )+\frac{\pi ^3}{48}-\frac{1}{4} \pi \log ^2(2)$$

Enjoy !