De forma cerrada de $\int_0^1 \operatorname{Li}_p(x) \, dx$

Question

Aunque he estudiado integrales implican polylogarithm funciones que he observado que

$$\int_0^1 \operatorname{Li}_p(x) \, dx \stackrel{?}{=} \sum_{k=2}^p(-1)^{p+k}\zeta(k)+(-1)^{p+1},\tag{1}$$

para cualquier entero $p\geq2$. Aquí $\zeta$ es la de Riemann zeta función.

Después de eso, tengo tres preguntas.

• $1^\text{st}$ Pregunta. Es $(1)$ verdad? Si es así, ¿cómo podemos demostrarlo?
• $2^\text{nd}$ Pregunta. Si es un conocido resultado podría dar alguna referencia?
• $3^\text{rd}$ Pregunta. Creo que hay también una similar forma cerrada de $\int_0^b \operatorname{Li}_p(x) \, dx$, para cualquier entero $b \geq 1$. ¿Cuál es la forma cerrada de esta integral?

Answer 1

Una simple integración por partes nos da una muy simple relación de recurrencia:

$$\begin{align} \int_{0}^{1}\operatorname{Li}_{p}{\left(x\right)}\,\mathrm{d}x &=\left[x\operatorname{Li}_{p}{\left(x\right)}\right]_{0}^{1}-\int_{0}^{1}x\frac{d}{dx}\left(\operatorname{Li}_{p}{\left(x\right)}\right)\,\mathrm{d}x\\ &=\operatorname{Li}_{p}{\left(1\right)}-\int_{0}^{1}x\cdot\frac{\operatorname{Li}_{p-1}{\left(x\right)}}{x}\,\mathrm{d}x\\ &=\zeta{(p)}-\int_{0}^{1}\operatorname{Li}_{p-1}{\left(x\right)}\,\mathrm{d}x\\ \end{align}$$

A partir de allí, la declaración puede ser demostrado a través de la inducción de la manera habitual.

Answer 2

\begin{align} \int^1_0{\rm Li}_q(x)\ {\rm d}x =&\sum^\infty_{n=1}\frac{1}{n^q(n+1)}\tag1\\ =&\sum^\infty_{n=1}\left[\frac{(-1)^q}{n+1}+\sum^q_{j=1}\frac{1}{n^j}\operatorname*{Res}_{n=0}\frac{1}{n^{q-j+1}(n+1)}\right]\tag2\\ =&\sum^\infty_{n=1}\left[\frac{(-1)^q}{n+1}+\sum^q_{j=1}\frac{1}{n^j}\cdot\frac{1}{(q-j)!}\cdot\frac{\partial^{q-j}}{\partial n^{q-j}}\frac{1}{n+1}\Bigg{|}_{n=0}\right]\tag3\\ =&\sum^\infty_{n=1}\left[(-1)^q\left[\frac{1}{n+1}-\frac{1}{n}\right]+\sum^q_{j=2}\frac{(-1)^{q-j}}{n^j}\right]\tag4\\ =&(-1)^{q+1}+\sum^q_{j=2}\sum^\infty_{n=1}\frac{(-1)^{q-j}}{n^j}\tag5\\ =&(-1)^{q+1}+\sum^q_{j=2}(-1)^{q-j}\zeta(j) \end{align}

---

Explicación:
$(1): \text{Expand the polylogarithm and integrate term by term}$
$(2): \text{Partial fractions}$
$(3): \text{Compute the residue}$
$(4): \text{Rearrange terms}$
$(5): \text{The first sum telescopes; Swap the order of summation for the second}$

Answer 3

En varios lugares, utilizaremos $\frac1{k(k+1)}=\frac1k-\frac1{k+1}$. $$ \begin{align} \int_0^1\sum_{k=1}^\infty\frac{x^k}{k^p}\mathrm{d}x &=\color{#C00000}{\sum_{k=1}^\infty\frac1{k^p(k+1)}}\\ &=\sum_{k=1}^\infty\left(\frac1{k^p}-\frac1{k^{p-1}(k+1)}\right)\\ &=\color{#C00000}{\zeta(p)-\sum_{k=1}^\infty\frac1{k^{p-1}(k+1)}}\\ \end{align} $$ La iteración de la recursividad en rojo, obtenemos $$ \begin{align} \int_0^1\mathrm{Li}_p(x)\,\mathrm{d}x &=\sum_{k=0}^{p-2}(-1)^k\zeta(p-k)+(-1)^{p-1}\sum_{k=1}^\infty\frac1{k(k+1)}\\ &=\sum_{k=0}^{p-2}(-1)^k\zeta(p-k)+(-1)^{p-1} \end{align} $$