Resistente integral $\int_0^1\left(\frac{\ln^2(1-x)\ln^2(1+x)}{1-x}-\frac{\ln^2(2)\ln^2(1-x)}{1-x}\right)\ dx$

Question

Demostrar, sin usar series armónicas, que

$$I=\int_0^1\left(\frac{\ln^2(1-x)\ln^2(1+x)}{1-x}-\frac{\ln^2(2)\ln^2(1-x)}{1-x}\right)\ dx$$ $$=\frac18\zeta(5)-\frac12\ln2\zeta(4)+2\ln^22\zeta(3)-\frac23\ln^32\zeta(2)-2\zeta(2)\zeta(3)+\frac1{10}\ln^52+4\operatorname{Li}_5\left(\frac12\right)$$

Este problema fue propuesto por Cornel y se puede encontrar ici .

La razón principal de esta restricción es que esta integral puede simplificarse en $S=\sum_{n=1}^\infty\frac{H_n}{n^42^n}$ que se calculó ici utilizando métodos reales y complejos. Por lo tanto, la evaluación $I$ sin usar series armónicas significa que estamos proporcionando una tercera solución a $S$ .

Ya he calculado esta integral (se publicará en breve) pero me gustaría ver enfoques variados.

Gracias.

---

Añadido:

En caso de que el lector tenga curiosidad por saber cómo se relaciona esta integral con $\sum_{n=1}^\infty\frac{H_n}{n^42^n}$ Aquí están los pasos

Por integración por partes tenemos \begin{align} I&=\frac23\int_0^1\frac{\ln^3(1-x)\ln(1+x)}{1+x}\ dx\overset{\color{red}{1-x\ \mapsto\ x}}{=}\frac13\int_0^1\frac{\ln^3x\ln(2-x)}{1-x/2}\ dx\\ &=\frac{\ln2}{3}\int_0^1\frac{\ln^3x}{1-x/2}\ dx+\frac13\int_0^1\frac{\ln^3x\ln(1-x/2)}{1-x/2}\ dx\\ &=\frac{\ln2}{3}\sum_{n=1}^\infty\frac{1}{2^{n-1}}\int_0^1x^{n-1}\ln^3x\ dx-\frac13\sum_{n=1}^\infty\frac{H_n}{2^n}\int_0^1x^n\ln^3x\ dx\\ &=\frac{\ln2}{3}\sum_{n=1}^\infty\frac{1}{2^{n-1}}\left(-\frac{6}{n^4}\right)-\frac13\sum_{n=1}^\infty\frac{H_n}{2^n}\left(-\frac{6}{(n+1)^4}\right)\\ &=-4\ln2\sum_{n=1}^\infty\frac{1}{n^42^n}+2\sum_{n=1}^\infty\frac{H_n}{(n+1)^42^n}\\ &=-4\ln2\operatorname{Li}_4\left(\frac12\right)+4\sum_{n=1}^\infty\frac{H_n}{n^42^n}-4\operatorname{Li}_5\left(\frac12\right) \end{align}

Answer 1

$$I=\int_0^1\frac{\ln^2(1-x)}{1-x}\left(\ln^2(1+x)-\ln^2(2)\right)\ dx\overset{IBP}{=}\frac23\int_0^1\frac{\ln^3(1-x)\ln(1+x)}{1+x}\ dx$$ Utilizando la identidad algebraica $\quad\displaystyle a^3b=\frac18(a+b)^4-\frac18(a-b)^4-ab^3$

y al establecer $a=\ln(1-x)$ y $b=\ln(1+x)$ obtenemos

\begin{align} I=\frac1{12}\underbrace{\int_0^1\frac{\ln^4(1-x^2)}{1+x}\ dx}_{\displaystyle I_1}-\frac1{12}\underbrace{\int_0^1\frac{\ln^4\left(\frac{1-x}{1+x}\right)}{1+x}\ dx}_{\displaystyle I_2}-\frac23\underbrace{\int_0^1\frac{\ln(1-x)\ln^3(1+x)}{1+x}\ dx}_{\displaystyle I_3} \end{align}

La primera integral fue muy bien hecha por Cornel y se puede encontrar en su libro Integral casi imposible, sumas y series página $80$ y lo siguiente:

\begin{align} I_1&=\int_0^1\frac{\ln^4(1-x^2)}{1+x}\ dx=\int_0^1(1-x)\frac{\ln^4(1-x^2)}{1-x^2}\ dx\overset{x^2=y}{=}\frac12\int_0^1\frac{1-\sqrt{y}}{\sqrt{y}}.\frac{\ln^4(1-y)}{1-y}\ dy\\ &\overset{IBP}{=}-\frac1{20}\int_0^1\frac{\ln^5(1-y)}{y^{3/2}}\ dy=-\frac{1}{20}\lim_{x\mapsto-1/2\\y\mapsto1}\frac{\partial^5}{\partial y^5}\text{B}(x,y)\\ &\boxed{I_1=\frac{16}5\ln^52-16\ln^32\zeta(2)+48\ln^22\zeta(3)-54\ln2\zeta(4)-24\zeta(2)\zeta(3)+72\zeta(5)} \end{align}

---

\begin{align} I_2=\int_0^1\frac{\ln^4\left(\frac{1-x}{1+x}\right)}{1+x}\ dx\overset{\frac{1-x}{1+x}=y}{=}\int_0^1\frac{\ln^4x}{1+x}\ dx=\boxed{\frac{45}2\zeta(5)=I_2} \end{align}

---

\begin{align} I_3&=\int_0^1\frac{\ln(1-x)\ln^3(1+x)}{1+x}\ dx\overset{\frac1{1+x}=y}{=}-\int_{1/2}^1 \frac{\ln\left(\frac{2x-1}{x}\right)\ln^3x}{x}\ dx\\ &=\int_{1/2}^1\frac{\ln^4x}{x}\ dx-\int_{1/2}^1\frac{\ln(2x-1)\ln^3x}{x}\ dx, \quad \ln(2x-1)=\ln(1-2x)-i\pi\\ &=\frac15\ln^52-\int_{1/2}^1\frac{\ln(1-2x)\ln^3x}{x}\ dx-i\frac{\pi}{4}\ln^42\\ &=\frac15\ln^52+\sum_{n=1}^\infty\frac{2^n}{n}\int_{1/2}^1x^{n-1}\ln^3x\ dx-i\frac{\pi}{4}\ln^42\\ &=\frac15\ln^52+\sum_{n=1}^\infty\frac{2^n}{n}\left(\frac{\ln^32}{n2^n}+\frac{3\ln^22}{n^22^n}+\frac{6\ln2}{n^32^n}+\frac{6}{n^42^n}-\frac{6}{n^4}\right)-i\frac{\pi}{4}\ln^42\\ &=\frac15\ln^52+\ln^32\zeta(2)+3\ln^22\zeta(3)+6\ln2\zeta(4)+6\zeta(5)-6\operatorname{Li}_5(2)-i\frac{\pi}{4}\ln^42 \qquad\qquad\quad(1) \end{align} Usando la identidad polilogarítmica: $$\operatorname{Li}_5(x)=-\frac74\zeta(4)\ln(-x)-\frac16\zeta(2)\ln^3(-x)-\frac1{120}\ln^5(-x)+\operatorname{Li}_5(1/x)$$

Set $x=2$ obtenemos

$$\operatorname{Li}_5(2)=2\ln2\zeta(4)+\frac13\ln^32\zeta(2)-\frac1{120}\ln^52+\operatorname{Li}_5\left(\frac12\right)-i\frac{\pi}{24}\ln^42\tag{2}$$

Enchufando $(2)$ en $(1)$ obtenemos $$\boxed{I_3=-6\operatorname{Li}_5\left(\frac12\right)+6\zeta(5)-6\ln2\zeta(4)+3\ln^22\zeta(3)-\ln^32\zeta(2)+\frac14\ln^52}$$

Combinando los resultados de las cajas, obtenemos la forma cerrada de $I$ .