Dilogarithm integral $\int^x_0 \frac{\operatorname{Li}_2(1-t)\log(1-t)}{t}\, dt$

Question

Estoy esperando a encontrar una forma cerrada para los siguientes

$$\tag{1} \sum_{k\geq 1}\frac{H_k}{k^3} x^k $$

Usando la función generadora

$$\sum_{k\geq 1}H^{(n)}_k x^k = \frac{\operatorname{Li}_n(x)}{1-x}$$

Pude encontrar este por integración simple

Así que estoy atrapado en la evaluación

$$\tag{2}\int^x_0 \frac{\operatorname{Li}_2(1-t)\log(1-t)}{t}\, dt$$

$x=\pm 1$ El problema puede resolverse, pero ¿qué pasa con el caso general?

Answer 1

$$\begin{align} &\int^x_0 \frac{\operatorname{Li}_2(1-t)\log(1-t)}{t}\,dt=\\ &\frac{\operatorname{Li}_2^2(1-x)}2-2\operatorname{Li}_4\left(1-\frac1x\right)-2\operatorname{Li}_4(1-x)+2\operatorname{Li}_4(x)-\operatorname{Li}_2\left(1-\frac1x\right)\log^2\left(\frac1x-1\right)+\\ &\operatorname{Li}_2(x)\left(\log^2\left(\frac1x-1\right)+\log(1-x)\log(x)\right)+2\operatorname{Li}_3(x)\log\left(\frac1x\right)+\\&2\operatorname{Li}_3\left(1-\frac1x\right)\log\left(\frac1x-1\right)+2\operatorname{Li}_3(1-x)\left(\log\left(\frac1x-1\right)+\log(x)\right)-\\ &\frac14\log^4\left(\frac1x\right)+\frac13\log^3(1-x)\left(2\log(x)-\log\left(\frac1x\right)\right)-\\ &\log(1-x)\left(\log^3\left(\frac1x\right)+\frac13\pi^2\log\left(\frac1x\right)+\frac{\pi^2}6\log(x)\right)+\\&\log^2(1-x)\left(-\log^2\left(\frac1x\right)+\frac12\log^2(x)+\log(x)\log\left(\frac1x\right)-\frac{\pi^2}6\right)-\frac{11\pi^4}{360},\end {Alinee el} $ que puede comprobarse tomando derivados de ambos lados.

Ver la correspondiente integral indefinida en WolframAlpha.