Evaluar la serie de $\sum_{k\geq 1} \frac{1}{2^k k^2}$

Question

Cómo probar que

$$\sum_{k\geq 1} \frac{1}{2^k k^2}=\frac{\pi^2}{12}-\frac{1}{2}\log(2)^2$$

sin usar la conocida $\operatorname{Li}_2\left( \frac{1}{2} \right)$ ?

Editado : Gracias por L. F , pero me han dejado claro que quiero una respuesta usando sólo la serie de manipulaciones .

Answer 1

$$ \sum_{k\geq 1}x^{k-1}=\frac{1}{1-x}\Rightarrow \sum_{k\geq 1}\frac{1}{2^kk^2}=-\int_0^{\frac{1}{2}} \frac{\ln (1-x)}{x}\,dx$$

Observe que:

$$\begin{aligned}\int_0^{\frac{1}{2}} \frac{\ln (1-x)}{x}\,dx\overset{x\to \frac{x}{2}}=\int_0^1 \frac{\ln (1-\frac{x}{2})}{x}\,dx \overset{ \text{IBP}}=\int_0^1 \frac{\ln x}{2-x}\,dt \overset{x\to 1-x}=\int_0^1 \frac{\ln (1-x)}{1+x}\,dx\end{aligned}$$

Ahora considere la posibilidad de:

$$f(t)=\int_0^1 \frac{\ln (1-tx)}{1+x}\,dx$$ We want $-f(1)$. Differentiate: $$\begin{aligned} f'(t) &= \int_0^1 \frac{x\,dx}{(tx-1)(1+x)} \\&= \int_0^1 \frac{dx}{tx-1}+\int_0^1 \frac{dx}{(t+1)(1+x)}-\int_0^1 \frac{t\,dx}{(tx-1)(t+1)}\\& =\frac{\ln (1-t)}{t}+\frac{\ln 2}{t+1} -\frac{\ln (1-t)}{1+t}\end{aligned}$$

Por lo tanto:

$$f(1) =\int_0^1 \frac{\ln (1-t)}{t}\,dt+\int_0^1\frac{\ln 2}{t+1}\,dt-\underbrace{\int_0^1 \frac{\ln (1-t)}{1+t}\,dt}_{f(1)}$$

$$\Rightarrow -f(1) =\frac{1}{2}\left(-\int_0^1 \frac{\ln (1-t)}{t}\,dt-\int_0^1\frac{\ln 2}{t+1}\right)\,dt=\frac{\pi^2}{12}-\frac{\ln^2 2}{2}$$

Answer 2

Aplicar de Euler de la Serie de la Transformación a la serie $$ \frac{\pi^2}{12}=\sum_{k=0}^\infty\frac{(-1)^k}{(k+1)^2}\etiqueta{1} $$ que los rendimientos de $$ \begin{align} \frac{\pi^2}{12} &=\sum_{n=0}^\infty2^{-n-1}\sum_{k=0}^n\binom{n}{k}\frac{(-1)^k}{(k+1)^2}\tag{2}\\ &=\sum_{n=0}^\infty2^{-n-1}\frac1{n+1}\sum_{k=0}^n\binom{n+1}{k+1}\frac{(-1)^k}{k+1}\tag{3}\\ &=\sum_{n=0}^\infty2^{-n-1}\frac1{n+1}\sum_{k=0}^n\sum_{j=0}^n\binom{j}{k}\frac{(-1)^k}{k+1}\tag{4}\\ &=\sum_{n=0}^\infty2^{-n-1}\frac1{n+1}\sum_{j=0}^n\sum_{k=0}^n\binom{j+1}{k+1}\frac{(-1)^k}{j+1}\tag{5}\\ &=\sum_{n=0}^\infty2^{-n-1}\frac1{n+1}\sum_{j=0}^n\frac1{j+1}\tag{6}\\ &=\sum_{n=1}^\infty2^{-n}\frac1{n}\sum_{j=1}^n\frac1j\tag{7}\\ &=\sum_{n=1}^\infty\frac{H_n}{n2^n}\tag{8} \end{align} $$ El uso de la serie de $\log(2)=-\log\left(1-\frac12\right)$ $$ \log(2)=\sum_{m=1}^\infty\frac1{k2^k}\etiqueta{9} $$ y para obtener la plaza $$ \begin{align} \log(2)^2 &=\sum_{m=1}^\infty\sum_{n=1}^\infty\frac1{mn2^{m+n}}\tag{10}\\ &=\sum_{m=1}^\infty\sum_{n=1}^\infty\frac1{m(m+n)2^{m+n}}+\frac1{n(m+n)2^{m+n}}\tag{11}\\ &=2\sum_{m=1}^\infty\sum_{n=1}^\infty\frac1{m(m+n)2^{m+n}}\tag{12}\\ &=2\sum_{m=1}^\infty\sum_{n=m+1}^\infty\frac1{mn2^n}\tag{13}\\ &=2\sum_{m=1}^\infty\sum_{n=m}^\infty\frac1{mn2^n}-2\sum_{m=1}^\infty\frac1{m^22^m}\tag{14}\\ &=2\sum_{n=1}^\infty\sum_{m=1}^n\frac1{mn2^n}-2\sum_{m=1}^\infty\frac1{m^22^m}\tag{15}\\ &=2\sum_{n=1}^\infty\frac{H_n}{n2^n}-2\sum_{m=1}^\infty\frac1{m^22^m}\tag{16}\\ &=\frac{\pi^2}{6}-2\sum_{m=1}^\infty\frac1{m^22^m}\tag{17} \end{align} $$ Por lo tanto, $$ \sum_{m=1}^\infty\frac1{m^22^m}=\frac{\pi^2}{12}-\frac12\log(2)^2\etiqueta{18} $$

---

Explicación

$\hphantom{0}(2)$ Euler De La Serie De Transformación
$\hphantom{0}(3)$ $\binom{n+1}{k+1}=\frac{n+1}{k+1}\binom{n}{k}$
$\hphantom{0}(4)$ $\binom{n+1}{k+1}=\sum_{j=0}^n\binom{j}{k}$
$\hphantom{0}(5)$ $\binom{j+1}{k+1}=\frac{j+1}{k+1}\binom{j}{k}$
$\hphantom{0}(6)$ $\sum_{k=0}^j(-1)^k\binom{j+1}{k+1}=1$
$\hphantom{0}(7)$ $j\mapsto j-1$ y $n\mapsto n-1$
$\hphantom{0}(8)$ recoger $H_n$
$(10)$ multiplicar la serie
$(11)$ $\frac1{mn}=\frac1{m(m+n)}+\frac1{n(m+n)}$
$(12)$ el uso de la simetría
$(13)$ $n\mapsto n-m$
$(14)$ sumar y restar los términos de $m=n$
$(15)$ cambiar el orden de la suma de
$(16)$ recoger $H_n$
$(17)$ uso de $(8)$

Answer 3

Podemos utilizar la siguiente identidad

$$ \mathrm{Li}_2(1-x) = -\mathrm{Li}_2 \left( {1-\frac {1}{x}} \right)- \frac{1}{2}\, \ln^2 \left( \frac{1}{x} \right)-\zeta(2) ,$$

que relaciona dos dilogarithm funciones. Ahora, en su caso, dejando $x=\frac{1}{2}$, tenemos

$$ \mathrm{Li}_2\left(\frac{1}{2}\right) = -\mathrm{Li}_2 \left( {-1} \right)- \frac{1}{2}\, \ln^2 \left( 2 \right)-\zeta(2)$$

$$ = \frac{\zeta(2)}{2}- \frac{1}{2}\, \ln^2 \left( {2} \right)-\zeta(2)$$

$$\implies \mathrm{Li}_2\left(\frac{1}{2}\right)= \frac{1}{2}\ln^2\left( {2} \right)-\frac{\zeta(2)}{2}. $$

Nota:

$$ \mathrm{Li}_2(-1)= \sum_{k=1}^{\infty}\frac{(-1)^k}{k^2}= -\frac{\zeta(2)}{2}. $$