Evaluation of a dilogarithmic integral

$\newcommand{\angles}[1]{\left\langle\, #1 \,\right\rangle} \newcommand{\braces}[1]{\left\lbrace\, #1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, #1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, #1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\floor}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\half}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\pars}[1]{\left(\, #1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\root}[2][]{\,\sqrt[#1]{\vphantom{\large A}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\, #1 \,\right\vert}$ $\ds{\int_{0}^{1}{\ln^2\pars{x}{\rm Li}_2\pars{x} \over 1 - x}\,\dd x\ \stackrel{?}{=}\ -11\zeta\pars{5} + 6\zeta\pars{3}\zeta\pars{2}:\ {\large ?}}$.

$\ds{\large\tt\mbox{The above result is correct !!!}}$.

\begin{align}&\color{#c00000}{\int_{0}^{1}% {\ln^2\pars{x}{\rm Li}_2\pars{x} \over 1 - x}\,\dd x} =\int_{0}^{1}{\ln^2\pars{x} \over 1 - x} \sum_{n = 1}^{\infty}{x^{n} \over n^{2}}\,\dd x \\[3mm]&=\int_{0}^{1}{\ln^2\pars{x} \over 1 - x}\bracks{% \sum_{n = 1}^{\infty}{1 \over n^{2}}- \sum_{n = 1}^{\infty}{1 - x^{n} \over n^{2}}}\,\dd x \\[3mm]&=\zeta\pars{2} \int_{0}^{1}{\ln^2\pars{x} \over 1 - x}\,\dd x -\int_{0}^{1}{\ln^2\pars{x} \over 1 - x} \sum_{n = 1}^{\infty}{1 - x^{n} \over n^{2}}\,\dd x \end{align}

However, \begin{align} \color{#00f}{\int_{0}^{1}{\ln^2\pars{x} \over 1 - x}\,\dd x}&= \int_{0}^{1}\ln\pars{1 - x}\,\bracks{2\ln\pars{x}\,{1 \over x}}\,\dd x =-2\int_{0}^{1}{\rm Li}_{2}'\pars{x}\ln\pars{x}\,\dd x \\[3mm]&=2\int_{0}^{1}{\rm Li}_{2}\pars{x}\,{1 \over x}\,\dd x =2\int_{0}^{1}{\rm Li}_{3}'\pars{x}\,\dd x=2{\rm Li}_{3}\pars{1} =\color{#00f}{2\zeta\pars{3}} \end{align} such that

\begin{align}&\color{#c00000}{\int_{0}^{1}% {\ln^2\pars{x}{\rm Li}_2\pars{x} \over 1 - x}\,\dd x} =2\zeta\pars{2}\zeta\pars{3} -\color{#00f}{\int_{0}^{1}{\ln^2\pars{x} \over 1 - x} \sum_{n = 1}^{\infty}{1 - x^{n} \over n^{2}}\,\dd x}\tag{1} \end{align}

Also, \begin{align}&\color{#00f}{\int_{0}^{1}{\ln^2\pars{x} \over 1 - x} \sum_{n = 1}^{\infty}{1 - x^{n} \over n^{2}}\,\dd x} =\sum_{n = 1}^{\infty}{1 \over n^{2}} \int_{0}^{1}\ln^2\pars{x}\,{1 - x^{n} \over 1 - x}\,\dd x \\[5mm]&=\sum_{n = 1}^{\infty}{1 \over n^{2}} \int_{0}^{1}\ln^2\pars{x}\sum_{k = 1}^{n}x^{k - 1}\,\dd x \\[3mm]&=\sum_{n = 1}^{\infty}{1 \over n^{2}} \sum_{k = 1}^{n}\ \overbrace{\int_{0}^{1}\ln^2\pars{x}x^{k - 1}\,\dd x} ^{\ds{=\ {2 \over k^{3}}}}\ =\ 2\sum_{n = 1}^{\infty}{H_{n}^{\rm\pars{3}} \over n^{2}}\tag{2} \end{align}

The last sum can be evaluated with the generating function $\ds{\sum_{n = 1}^{\infty}x^{n}H_{n}^{\rm\pars{3}} ={{\rm Li}_{3}\pars{x} \over 1 - x}}$. Namely \begin{align} \sum_{n = 1}^{\infty}{x^{n} \over n}\,H_{n}^{\rm\pars{3}} &=\int_{0}^{x}{{\rm Li}_{3}\pars{t} \over t}\,\dd t +\int_{0}^{x}{{\rm Li}_{3}\pars{t} \over 1 - t}\,\dd t \\[3mm]&={\rm Li}_{4}\pars{x} - \ln\pars{1 - x}{\rm Li}_{3}\pars{x} + \int_{0}^{x}\ln\pars{1 - t}{\rm Li}_{3}'\pars{t}\,\dd t \\[3mm]&={\rm Li}_{4}\pars{x} - \ln\pars{1 - x}{\rm Li}_{3}\pars{x} + \int_{0}^{x}\ln\pars{1 - t}\,{{\rm Li}_{2}\pars{t} \over t}\,\dd t \\[3mm]&={\rm Li}_{4}\pars{x} - \ln\pars{1 - x}{\rm Li}_{3}\pars{x} - \int_{0}^{x}{\rm Li}_{2}\pars{t}{\rm Li}_{2}'\pars{t}\,\dd t \\[3mm]&={\rm Li}_{4}\pars{x} - \ln\pars{1 - x}{\rm Li}_{3}\pars{x} - \half\,{\rm Li}_{2}^{2}\pars{x} \\[5mm]\sum_{n = 1}^{\infty}{H_{n}^{\rm\pars{3}} \over n^{2}} &=\int_{0}^{1}{{\rm Li}_{4}\pars{t} \over t}\,\dd t - \int_{0}^{1}{\ln\pars{1 - t}{\rm Li}_{3}\pars{t} \over t}\,\dd t -\half\int_{0}^{1}{{\rm Li}_{2}^{2}\pars{t} \over t}\,\dd t \\[3mm]&=\zeta\pars{5} + {\rm Li}_{2}\pars{1}{\rm Li}_{3}\pars{1} -\int_{0}^{1}{\rm Li}_{2}\pars{t}\,{{\rm Li}_{2}\pars{t} \over t}\,\dd t -\half\int_{0}^{1}{{\rm Li}_{2}^{2}\pars{t} \over t}\,\dd t \\[3mm]&=\zeta\pars{5} + \zeta\pars{2}\zeta\pars{3} -{3 \over 2}\color{#c00000}{\int_{0}^{1}{{\rm Li}_{2}^{2}\pars{t} \over t}\,\dd t} \\[3mm]&=\zeta\pars{5} + \zeta\pars{2}\zeta\pars{3} -{3 \over 2}\bracks{\color{#c00000}{-3\zeta\pars{5} + 2\zeta\pars{2}\zeta\pars{3}}} \end{align} The $\color{#c00000}{\mbox{red result}}$ has been derived elsewhere such that: $$ \sum_{n = 1}^{\infty}{H_{n}^{\rm\pars{3}} \over n^{2}} ={11 \over 2}\,\zeta\pars{5} - 2\zeta\pars{2}\zeta\pars{3} $$

Expresion $\pars{2}$ becomes: $$ \color{#00f}{\int_{0}^{1}{\ln^2\pars{x} \over 1 - x} \sum_{n = 1}^{\infty}{1 - x^{n} \over n^{2}}\,\dd x} =11\zeta\pars{5} - 4\zeta\pars{2}\zeta\pars{3} $$ which we replace in $\pars{1}$: $$\color{#66f}{\large% \int_{0}^{1}{\ln^2\pars{x}{\rm Li}_2\pars{x} \over 1 - x}\,\dd x\ =-11\zeta\pars{5} + 6\zeta\pars{3}\zeta\pars{2}} \approx {\tt 0.4576} $$


It is easy to see that $$2\sum^\infty_{n=1}\frac{H_n^{(2)}}{(n+1)^3}=2\sum^\infty_{n=1}\frac{H_{n+1}^{(2)}}{(n+1)^3}-2\sum^\infty_{n=1}\frac{1}{(n+1)^5}=2\sum^\infty_{n=1}\frac{H_n^{(2)}}{n^3}-2\zeta(5)$$ Consider $\displaystyle f(z)=\frac{\pi\cot{\pi z} \ \Psi^{(1)}(-z)}{z^3}$. We know that $$\pi\cot{\pi z}=\frac{1}{z-n}-2\zeta(2)(z-n)+O((z-n)^3)$$ and $$\Psi^{(1)}(-z)=\frac{1}{(z-n)^2}+\left(H_n^{(2)}+\zeta(2)\right)+O(z-n)$$ At the positive integers, \begin{align} {\rm Res}(f,n) &=\operatorname*{Res}_{z=n}\left[\frac{1}{z^3(z-n)^3}+\frac{H_n^{(2)}-\zeta(2)}{z^3(z-n)}\right]\\ &=\frac{H_n^{(2)}}{n^3}-\frac{\zeta(2)}{n^3}+\frac{6}{n^5}\\ \end{align} At the negative integers, \begin{align} {\rm Res}(f,-n)&=-\frac{\Psi^{(1)}(n)}{n^3}\\&=\frac{H_{n-1}^{(2)}-\zeta(2)}{n^3}\\&=\frac{H_{n}^{(2)}}{n^3}-\frac{\zeta(2)}{n^3}-\frac{1}{n^5}\tag1 \end{align} At $z=0$, \begin{align} {\rm Res}(f,0)&=[z^2]\left(\frac{1}{z}-2\zeta(2)z\right)\left(\frac{1}{z^2}+\zeta(2)+2\zeta(3)z+3\zeta(4)z^2+4\zeta(5)z^3\right)\\ &=4\zeta(5)-4\zeta(2)\zeta(3) \end{align} Since the sum of the residues $=0$, we conclude that \begin{align} \color\red{\int^1_0\frac{\log^2{x} \ {\rm Li}_2(x)}{1-x}{\rm d}x} &=2\sum^\infty_{n=1}\frac{H_n^{(2)}}{n^3}-2\zeta(5)\\ &=\zeta(2)\zeta(3)-6\zeta(5)+\zeta(2)\zeta(3)+\zeta(5)-4\zeta(5)+4\zeta(2)\zeta(3)-2\zeta(5)\\ &\large{\color\red{=6\zeta(2)\zeta(3)-11\zeta(5)}} \end{align} Explanation
$(1):$ Use the functional equation $\displaystyle \Psi^{(1)}(z+1)=-\frac{1}{z^2}+\Psi^{(1)}(z)$ which is derived by differentiating the functional equation of the digamma function, as well as the fact that $\displaystyle H_n^{(2)}=\frac{1}{n^2}+H_{n-1}^{(2)}$.

As for how to obtain the laurent series, the series for $\Psi(z)$ was cleverly derived here by Random Variable. In essence, $$\color{blue}{\gamma+\Psi(-z)=\frac{1}{z-n}+H_n+\sum^\infty_{k=1}(-1)^k\left(H_n^{(k+1)}+(-1)^{k+1}\zeta(k+1)\right)(z-n)^k}$$ Differentiating yields $$\color{blue}{\Psi^{(1)}(-z)=\frac{1}{(z-n)^2}+\sum^\infty_{k=1}(-1)^{k+1}k\left(H_n^{(k+1)}+(-1)^{k+1}\zeta(k+1)\right)(z-n)^{k-1}}$$

For $\pi\cot{\pi z}$, \begin{align} \color{blue}{\pi\cot{\pi z}} &=\Psi(1-z)-\Psi(z) \ \ \ \ \ \text{(reflection formula for digamma function)}\\ &=\int^1_0\frac{t^{z-1}-t^{-z}}{1-t}{\rm d}t \ \ \ \ \ \text{(recall that $\Psi(z)=-\gamma+H_{z-1}$)}\\ &=\sum_{k=0}^\infty\int^1_0\left(t^{z+k-1}-t^{-z+k}\right){\rm d}t\\ &=\sum_{k=0}^\infty\left(\frac{1}{z+k}+\frac{1}{z-k-1}\right)\\ &=\frac{1}{z}+\frac{1}{z-1}+\frac{1}{z+1}+\frac{1}{z-2}+\frac{1}{z+2}+\cdots\\ &=\frac{1}{z}+\sum^\infty_{k=1}\left(\frac{1}{z-k}+\frac{1}{z+k}\right)\\ &=\frac{1}{z}+\sum^\infty_{k=1}\frac{2z}{z^2-k^2}\\ &=\frac{1}{z}-2\sum^\infty_{k=1}\sum^\infty_{m=1}\frac{z^{2m-1}}{k^{2m}}\\ &=\color{blue}{\frac{1}{z}-2\sum^\infty_{m=1}\zeta(2m)z^{2m-1}}\\ &=\pi\cot(\pi (z-n)) \ \ \ \ \ \text{(since cotangent has a period of $\pi$)}\\ &=\color{blue}{\frac{1}{z-n}-2\sum^\infty_{m=1}\zeta(2m)(z-n)^{2m-1}}\\ \end{align}