Cómo probar $\int_{0}^{-1} \frac{\operatorname{Li}_2(x)}{(1-x)^2} dx=\frac{\pi^2}{24}-\frac{\ln^2(2)}{2} $

Question

$\def\Li{\operatorname{Li}}$ Me pregunto cómo probarlo: $$ \int_{0}^{-1} \frac{\Li_2(x)}{(1-x)^2} dx=\frac{\pi^2}{24}-\frac{\ln^2(2)}{2} $$ No estoy acostumbrado al polilogaritmo, así que no sé cómo abordarlo. Así que cualquier ayuda es muy apreciada.

Answer 1

La idea básica de la mayoría de las integrales polilogarítmicas es la integración por partes. Obsérvese que tenemos la integral indefinida,

$$\int\frac{1}{(1-x)^2}\,\mathrm{d}x=\frac{1}{1-x}+\color{grey}{constant}.$$

Y la derivada del dilogaritmo es, por supuesto:

$$\frac{d}{dx}\operatorname{Li}_{2}{\left(x\right)}=-\frac{\ln{\left(1-x\right)}}{x}.$$

Así, la integración por partes puede transformar esta integral polilógica en una integral con sólo logaritmos ordinarios y funciones racionales, que puede ser evaluada por los métodos habituales como las fracciones parciales::

$$\begin{align} \int_{-1}^{0}\frac{\operatorname{Li}_{2}{\left(x\right)}}{(1-x)^2}\,\mathrm{d}x &=\left[\frac{\operatorname{Li}_{2}{\left(x\right)}}{1-x}\right]_{-1}^{0}+\int_{-1}^{0}\frac{\ln{\left(1-x\right)}}{x(1-x)}\,\mathrm{d}x\\ &=-\frac{\operatorname{Li}_{2}{\left(-1\right)}}{2}+\int_{-1}^{0}\frac{\ln{\left(1-x\right)}}{x(1-x)}\,\mathrm{d}x\\ &=-\frac{\operatorname{Li}_{2}{\left(-1\right)}}{2}+\int_{-1}^{0}\frac{\ln{\left(1-x\right)}}{x}\,\mathrm{d}x+\int_{-1}^{0}\frac{\ln{\left(1-x\right)}}{1-x}\,\mathrm{d}x\\ &=-\frac{\operatorname{Li}_{2}{\left(-1\right)}}{2}+\left[-\operatorname{Li}_{2}{\left(x\right)}\right]_{-1}^{0}+\left[-\frac12\ln^2{\left(1-x\right)}\right]_{-1}^{0}\\ &=-\frac{\operatorname{Li}_{2}{\left(-1\right)}}{2}+\operatorname{Li}_{2}{\left(-1\right)}+\frac{\ln^2{\left(2\right)}}{2}\\ &=\frac{\operatorname{Li}_{2}{\left(-1\right)}}{2}+\frac{\ln^2{\left(2\right)}}{2}\\ &=-\frac{\pi^2}{24}+\frac{\ln^2{\left(2\right)}}{2}.\\ \end{align}$$

Answer 2

$\def\Li{{\rm{Li}}_2}$ Set $x\mapsto -x$ seguido de la integración por partes, tenemos \begin{align} \int_0^{-1}\frac{\Li(x)}{(1-x)^2}\,dx&=-\int_0^{1}\frac{\Li(-x)}{(1+x)^2}\,dx\qquad\Rightarrow\qquad u=\Li(-x)\,\,\mbox{and}\,\,dv=\frac{1}{(1+x)^2}\\ &=\left.\frac{\Li(-x)}{1+x}\right|_0^{1}+\int_0^{1}\frac{\ln(1+x)}{x(1+x)}\,dx\\ &=-\frac{\pi^2}{24}+\int_0^{1}\frac{\ln(1+x)}{x}\,dx-\int_0^{1}\frac{\ln(1+x)}{1+x}\,dx\\ &=-\frac{\pi^2}{24}-\Li(-x)\bigg|_0^{1}-\frac{1}{2}\ln^2(1+x)\bigg|_0^{1}\\ &=\frac{\pi^2}{24}-\frac{\ln^22}{2} \end{align}