Integral $\int^1_0\frac{\ln{x} \ \mathrm{Li}_2(x)}{1-x}dx$

$$2\sum_{n\geq 1}\frac{1}{n^2}\sum_{m>n}\frac{1}{m^2}=\left(\sum_{n\geq 1}\frac{1}{n^2}\right)^2 -\sum_{n\geq 1}\frac{1}{n^4}=\zeta(2)^2-\zeta(4)=\frac{\pi^4}{60},$$ hence the value of your integral is just $-\frac{\pi^4}{120}$. Pretty nice.


I present an alternative evaluation of the integral that does not make use of Euler sums at all. Instead, I apply Felix Martin's wonderful procedure of evaluation via derivatives of beta functions and polygamma functions, a technique which he has mastered. For example, see here.

Applying the reflection substitution about the interval $[0,1]$, $x\mapsto1-x$, and using Euler's dilogarithm identity,

$$\operatorname{Li}_2{(1-x)}=\zeta{(2)}-\operatorname{Li}_2{(x)}-\ln{(1-x)}\ln{(x)},~~~\text{(Euler)},$$

we can split up the integral into a sum of three integrals, the first two of which have simple anti-derivatives in terms of the dilogarithm function (see appendix below):

$$\begin{align} \int_{0}^{1}\frac{\ln{(x)}\operatorname{Li}_2{(x)}}{1-x}\mathrm{d}x &=\int_{0}^{1}\frac{\ln{(1-x)}\operatorname{Li}_2{(1-x)}}{x}\mathrm{d}x\\ &=\zeta{(2)}\int_{0}^{1}\frac{\ln{(1-x)}}{x}\mathrm{d}x-\int_{0}^{1}\frac{\ln{(1-x)}\operatorname{Li}_2{(x)}}{x}\mathrm{d}x-\int_{0}^{1}\frac{\ln^2{(1-x)}\ln{(x)}}{x}\mathrm{d}x\\ &=\zeta{(2)}\left[-\operatorname{Li}_2{(1)}\right]-\left[-\frac12\operatorname{Li}_2{(1)}^2\right]-\int_{0}^{1}\frac{\ln^2{(1-x)}\ln{(x)}}{x}\mathrm{d}x\\ &=-\frac12\zeta{(2)}^2-\int_{0}^{1}\frac{\ln^2{(1-x)}\ln{(x)}}{x}\mathrm{d}x\\ &=-\frac{\pi^4}{72}-\int_{0}^{1}\frac{\ln^2{(1-x)}\ln{(x)}}{x}\mathrm{d}x. \end{align}$$

The last integral can evaluated as derivatives of a beta function.

$$\begin{align} \int_{0}^{1}\frac{\ln^2{(1-x)}\ln{(x)}}{x}\mathrm{d}x &=\lim_{\mu\to 0}\lim_{\nu\to 1}\int_{0}^{1}x^{\mu-1}(1-x)^{\nu-1}\ln^2{(1-x)}\ln{(x)}\mathrm{d}x\\ &=\lim_{\mu\to 0}\lim_{\nu\to 1}\frac{\partial}{\partial\mu}\frac{\partial^2}{\partial\nu^2}\int_{0}^{1}x^{\mu-1}(1-x)^{\nu-1}\mathrm{d}x\\ &=\lim_{\mu\to 0}\lim_{\nu\to 1}\frac{\partial}{\partial\mu}\frac{\partial^2}{\partial\nu^2}\operatorname{B}{(\mu,\nu)}\\ &=\lim_{\mu\to 0}\lim_{\nu\to 1}\frac{\partial}{\partial\mu}\operatorname{B}{(\mu,\nu)}\left[(\psi{(\nu)}-\psi{(\mu+\nu)})^2+\psi^{(1)}{(\nu)}-\psi^{(1)}{(\mu+\nu)}\right]\\ &=\lim_{\mu\to 0}\lim_{\nu\to 1}\operatorname{B}{(\mu,\nu)}\left[\left(\psi{(\mu)}-\psi{(\mu+\nu)}\right) \left(\left(\psi{(\nu)}-\psi{(\mu+\nu)}\right)^2 - \psi^{(1)}{(\mu+\nu)}+\psi^{(1)}{(\nu)}\right)-2\left(\psi{(\nu)}-\psi{(\mu+\nu)}\right)\psi^{(1)}{(\mu+\nu)}-\psi^{(2)}{(\mu+\nu)}\right]\\ &=\lim_{\mu\to 0}\operatorname{B}{(\mu,1)}\left[\left(\psi{(\mu)}-\psi{(\mu+1)}\right)\left(\left(\psi{(1)}-\psi{(\mu+1)}\right)^2-\psi^{(1)}{(\mu+1)}+\psi^{(1)}{(1)}\right)-2\left(\psi{(1)}-\psi{(\mu+1)}\right)\psi^{(1)}{(\mu+1)}-\psi^{(2)}{(\mu+1)}\right]\\ &=\lim_{\mu\to 0}\frac{1}{\mu}\left[-\frac{1}{\mu}\left(H_{\mu}^2-\psi^{(1)}{(\mu+1)}+\psi^{(1)}{(1)}\right)+2H_{\mu}\psi^{(1)}{(\mu+1)}-\psi^{(2)}{(\mu+1)}\right]\\ &=\lim_{\mu\to 0}\left[\frac{2H_{\mu}\psi^{(1)}{(\mu+1)}}{\mu}-\frac{H_{\mu}^2-\psi^{(1)}{(\mu+1)}+\zeta{(2)}}{\mu^2}-\frac{\psi^{(2)}{(\mu+1)}}{\mu}\right]\\ &=\lim_{\mu\to 0}\left[\frac{2H_{\mu}\psi^{(1)}{(\mu+1)}}{\mu}-\frac{H_{\mu}^2-\psi^{(1)}{(\mu+1)}+\zeta{(2)}+\mu\,\psi^{(2)}{(\mu+1)}}{\mu^2}\right]\\ &=2\zeta^2{(2)}-\frac{11\pi^4}{180}\\ &=-\frac{\pi^4}{180}. \end{align}$$

Hence, the integral come to a value of:

$$\int_{0}^{1}\frac{\ln{(x)}\operatorname{Li}_2{(x)}}{1-x}\mathrm{d}x=\frac{\pi^4}{180}-\frac{\pi^4}{72}=-\frac{\pi^4}{120}.$$


Appendix

The most common integral representation for the dilogarithm function is,

$$\operatorname{Li}_2{(z)}=-\int_{0}^{z}\frac{\ln{(1-t)}}{t}\mathrm{d}t.$$

Hence, the value of the first integral is:

$$\int_{0}^{1}\frac{\ln{(1-x)}}{x}\mathrm{d}x=-\operatorname{Li}_2{(1)}.$$

Note that the integral representation implies that $\operatorname{Li}_2{(0)}=0$. The value of the dilogarithm function at $z=1$ is given by the zeta function: $\operatorname{Li}_2{(1)}=\zeta{(2)}=\frac{\pi^2}{6}$.

The second integral may be found readily via integration by parts:

$$\int_{0}^{1}\frac{\ln{(1-x)}\operatorname{Li}_2{(x)}}{x}\mathrm{d}x=-\operatorname{Li}_2{(x)}^2\bigg{|}_{0}^{1}-\int_{0}^{1}\frac{\ln{(1-x)}\operatorname{Li}_2{(x)}}{x}\mathrm{d}x\\ \implies 2\int_{0}^{1}\frac{\ln{(1-x)}\operatorname{Li}_2{(x)}}{x}\mathrm{d}x=-\operatorname{Li}_2{(1)}^2.$$