Cómo integrar la dilogarithms?

Question

$\def\Li{\operatorname{Li}}$ ¿Cómo se puede integrar a $\Li_2$? Traté de $0 \to 1$

$\displaystyle \int_{0}^{1} \Li_2(z) \,dz = \sum_{n=1}^{\infty} \frac{1}{n^2(n+1)}$

$$\frac{An + B}{n^2} + \frac{D}{n+1} = \frac{1}{n^2(n+1)}$$

$$(An + B)(n+1) + D(n^2) = 1$$

Deje $n = -1, \implies D = 1$ Deje $n = 0, \implies B = 1$ Deje $n = 1, \implies A = -1$

$$\frac{-n + 1}{n^2} + \frac{1}{n+1} = \frac{1}{n^2(n+1)}$$

$$= \sum_{n=1}^{\infty} \frac{-n + 1}{n^2} + \frac{1}{n+1} = \sum_{n=1}^{\infty} \frac{1}{n^2(n+1)} = \sum_{n=1}^{\infty} \frac{1}{n^2} - \frac{1}{n} + \frac{1}{n+1} $$

El $1/n$ es el problema, es la serie armónica, que diverge.

Answer 1

$$ \begin{align} \int_0^1\mathrm{Li}_2(x)\,\mathrm{d}x &=\int_0^1\sum_{k=1}^\infty\frac{x^k}{k^2}\,\mathrm{d}x\\ &=\sum_{k=1}^\infty\frac1{(k+1)k^2}\\ &=\sum_{k=1}^\infty\left(\frac1{k^2}-\frac1k+\frac1{k+1}\right)\\ &=\zeta(2)-\sum_{k=1}^\infty\left(\frac1k-\frac1{k+1}\right)\\ &=\frac{\pi^2}{6}-1 \end{align} $$ donde $$ \begin{align} \sum_{k=1}^\infty\left(\frac1k-\frac1{k+1}\right) &=\lim_{n\to\infty}\sum_{k=1}^n\left(\frac1k-\frac1{k+1}\right)\\ &=\lim_{n\to\infty}\left(\sum_{k=1}^n\frac1k-\sum_{k=2}^{n+1}\frac1k\right)\\ &=\lim_{n\to\infty}\left(1-\frac1{n+1}\right)\\[12pt] &=1 \end{align} $$ es un telescópico de la serie.

---

Tenga en cuenta que nosotros sólo romper $\left(\dfrac1k-\dfrac1{k+1}\right)$ a $\dfrac1k$ $\dfrac1{k+1}$ cuando estamos mirando finito de sumas. Cuando se considera infinita sumas, se mantienen juntos, y es igual a $\dfrac1{k(k+1)}$.

Answer 2

Tal vez usted debe buscar en su descomposición como

$$\frac1{n^2 (n+1)} = \frac1{n^2} - \frac1{n (n+1)}$$

La suma sobre el segundo término es fácil, dado que el indefinido suma es telescópica, es decir,

$$\sum_{n=1}^N \frac1{n (n+1)} = 1-\frac1{N+1}$$

Tomamos el límite de $N \to \infty$ y, a continuación, podemos ver esto como la suma infinita. (De lo contrario, como usted dice, hay convergencia.)

Por lo tanto la suma en cuestión es $$\frac{\pi^2}{6}-1$$

Answer 3

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$ \begin{align}&\color{#66f}{\large\int_{0}^{1}{\rm Li}_{2}\pars{x}\,\dd x} =\left.\vphantom{\Large A}x\,{\rm Li}_{2}\pars{x}\right\vert_{0}^{1} -\int_{0}^{1}x\,{\rm Li}_{2}'\pars{x}\,\dd x \\[5mm]&=\overbrace{{\rm Li}_{2}\pars{1}} ^{\ds{\color{#c00000}{\sum_{n\ =\ 1}^{\infty}{1^{n} \over n^{2}}\ =\ {\pi^{2} \over 6}}}}\ -\ \int_{0}^{1}x\ \overbrace{\bracks{-\,{{\ln\pars{1 - x} \over x}}}} ^{\ds{=\ \color{#c00000}{{\rm Li}_{2}'\pars{x}}}}\ \,\dd x ={\pi^{2} \over 6} +\ \underbrace{\int_{0}^{1}\ln\pars{x}\,\dd x}_{\ds{=\ \color{#c00000}{-1}}} \\[5mm]&=\color{#66f}{\large{\pi^{2} \over 6} - 1} \approx {\tt 0.6449} \end{align}