Cálculo de 2 integrales en funciones polilogarítmicas

Question

¿Conocemos alguna forma agradable de calcular estos $2$ ¿Integrales?

$$i) \space \int_0^1 \frac{\text{Li}_2\left(x-x^2\right)}{x^2-x+1} \, dx$$

$$ii)\space \int_0^1 \frac{\text{Li}_2\left(x-x^2\right)}{\left(x^2-x+1\right)^2} \, dx$$

Si se considera en la primera integral que $$\frac{1}{{x^2-x+1}}=\frac{1}{i \sqrt{3}}\left(\frac{1}{ \left(x-\left(\frac{1}{2}+\frac{i \sqrt{3}}{2}\right)\right)}-\frac{1}{ \left(x-\left(\frac{1}{2}-\frac{i \sqrt{3}}{2}\right)\right)}\right)$$ entonces parece que Mathematica puede manejar las integrales resultantes.

También es fácil observar que $$\frac{1}{i \sqrt{3}}\int_0^1 \frac{(1-2x)\log \left(x-\frac{1}{2}-\frac{i \sqrt{3}}{2}\right) \log \left(x-\frac{1}{2}+\frac{i \sqrt{3}}{2}\right)}{ x(1-x)} \, dx=0$$ y luego, para la parte restante, Mathematica arroja algún resultado más corto en polilogaritmos. Así, tenemos que $$ \int_0^1 \frac{\text{Li}_2\left(x-x^2\right)}{x^2-x+1} \, dx$$ $$=\frac{i}{\sqrt{3}}\int_0^1 \frac{ (1-2 x) \log ^2\left(x-\frac{1}{2}+\frac{i \sqrt{3}}{2}\right)}{ x-x^2} \, dx-\frac{i}{\sqrt{3}}\int_0^1 \frac{ (1-2 x) \log ^2\left(x-\frac{1}{2}-\frac{i \sqrt{3}}{2}\right)}{ x-x^2} \, dx$$ $$=\frac{2i}{\sqrt{3}}\int_0^1 \frac{ (1-2 x) \log ^2\left(x-\frac{1}{2}+\frac{i \sqrt{3}}{2}\right)}{ x-x^2} \, dx$$ donde la última igualdad se obtiene simplemente utilizando el cambio de variable $x\mapsto 1-x$ .

EDITAR : Utilizando la idea de la fórmula de reflexión del dilogaritmo, obtenemos que

$$\int_0^1 \frac{\text{Li}_2\left(x^2-x+1\right)}{x^2-x+1} \, dx=\frac{2}{\sqrt{3}} \int_{-\pi/6}^{\pi/6} \text{Li}_2\left(\frac{3 \sec ^2(x)}{4}\right) \, dx$$ $$=\frac{4}{\sqrt{3}} \int_{-\pi/6}^{\pi/6} \text{Li}_2\left(-\frac{\sqrt{3}}{2} \sec (x)\right) \, dx+\frac{4}{\sqrt{3}} \int_{-\pi/6}^{\pi/6} \text{Li}_2\left(\frac{\sqrt{3}}{2} \sec (x)\right) \, dx$$ pero no estoy seguro de que pueda dar lugar a una solución elegante.

Answer 1

Un primer paso. Déjalo: $$ I_k = \int_{0}^{1}\frac{(x-x^2)^k}{1-x+x^2}\,dx.$$ Tenemos $I_0=\frac{2\pi}{3\sqrt{3}}, I_1=-1+\frac{2\pi}{3\sqrt{3}}$ y: $$ I_{n+1} = \int_{0}^{1}\frac{(x-x^2)(x-x^2)^n}{1-x+x^2}\,dx = I_n-\int_{0}^{1}x^n(1-x)^n\,dx = I_n - \frac{\Gamma(n+1)^2}{\Gamma(2n+2)}$$ por lo tanto: $$ I_{n}=\frac{2\pi}{3\sqrt{3}}-\sum_{k=0}^{n-1}\frac{1}{(2k+1)\binom{2k}{k}}\tag{1}$$ y: $$\begin{eqnarray*} \mathcal{J}_1=\int_{0}^{1}\frac{\text{Li}_2(x-x^2)}{1-x+x^2}\,dx &=& \frac{\pi^3}{9\sqrt{3}}-\sum_{n\geq 1}\frac{1}{n^2}\sum_{k=1}^{n}\frac{\Gamma(k)^2}{\Gamma(2k)}\\&=&\frac{\pi^3}{9\sqrt{3}}-\sum_{k\geq 1}\frac{\Gamma(k)^2}{\Gamma(2k)}\left(\zeta(2)-H^{(2)}_{k-1}\right)\\&=&\sum_{k\geq 1}\frac{\Gamma(k)^2}{\Gamma(2k)}H_{k-1}^{(2)}.\tag{2}\end{eqnarray*}$$ Tal vez sea útil Retirada del mercado que $$\frac{\Gamma(k)^2}{\Gamma(2k)} = [z^{2k-1}]\frac{2\arcsin(z/2)}{\sqrt{1-z^2/4}},\qquad H_{k-1}^{(2)}=[z^k]\frac{z\cdot\text{Li}_2(z)}{1-z}.$$ Según (una cuidada) Mathematica, simplemente tenemos:

$$ \mathcal{J}_1 = \frac{\pi^3}{81\sqrt{3}},\tag{3}$$

bastante sorprendente. Apuesto a que la fórmula de reflexión $$ \text{Li}_2(x)+\text{Li}_2(1-x)=\frac{\pi^2}{6}-\log(x)\log(1-x)$$ y el otro identidades funcionales del dilogaritmo están detrás de esta conspiración, simplemente no pueden comprender cómo por el momento.

---

De hecho, no es demasiado difícil. Si completamos las manipulaciones de la OP con la integración por partes, nos queda calcular las dos integrales "conjugadas": $$ \int_{0}^{1}\frac{\log(x)\log(x-\omega)}{x-\omega}\,dx,\qquad \int_{0}^{1}\frac{\log(1-x)\log(x-\omega)}{x-\omega}\,dx$$ donde el primero, por ejemplo, es justo: $$ \frac{i}{81}\left(2\pi^3-27\pi\,\text{Li}_2(\overline{\omega})+54i\,\zeta(3) \right)$$ por el teorema del residuo. Como alternativa, podemos tratar $(2)$ a través de la Técnica Flajolet-Salvy . De forma similar,

$$\begin{eqnarray*} \mathcal{J}_2 &=& \int_{0}^{1}\frac{\text{Li}_2(x-x^2)}{(1-x+x^2)^2}\,dx\\&=&3+\frac{\pi^2}{9}-\frac{16}{3}\log 2-\frac{32}{3\sqrt{3}}\int_{0}^{1}\frac{x}{1-x^2}\arctan\left(\frac{x}{\sqrt{3}}\right)\log\left(\frac{1+x}{2}\right)\,dx.\end{eqnarray*} $$