Lo extraño de $\sum_{k=2}^{\infty}(-1)^k\zeta{(k)}$

Question

Considere la suma $S=\sum_{k=2}^{\infty}(-1)^k\zeta{(k)}$ . Por una simple manipulación, podemos mostrar: $$ S=\sum_{k=2}^{\infty}{(-1)^k\sum_{r=1}^{\infty}\frac{1}{r^k}}=\sum_{r=1}^{\infty}{\sum_{k=2}^{\infty}\frac{(-1)^k}{r^k}}=\sum_{r=1}^{\infty}{\frac{1}{1+\frac{1}{r}}-1+\frac{1}{r}}=\sum_{r=1}^{\infty}{\frac{1}{r}-\frac{1}{r+1}}=1 $$ Pero mirando las sumas parciales $S_n$ podemos verlo: $$ \begin{array}{c|lcr} n & S_n\\ \hline 2 & 1.644934... \\ 3 & 0.442877... \\ 4 & 1.525200... \\ 100 & 1.500…026… \\ 101 & 0.499…987... \end{array} $$ Que no está de acuerdo con el resultado. ¿Cómo puede uno dejarse atrapar tan fácilmente?

Edita:

Y cómo mostrar $$ \lim_{n\to\infty}{S_n-\frac{(-1)^n+1}{2}}=\frac{1}{2} $$ ?

Answer 1

Pista. La serie no es convergente ya que $$ \lim_{k \to \infty}(-1)^k\zeta(k)\neq 0. $$ Cabe recordar que $$ \zeta(k)=\color{red}{1}+\frac1{2^k}+\frac1{3^k}+\cdots. $$

Answer 2

Lo que es convergente es $$\displaystyle \sum_{i \geq 2} (-1)^i( \zeta(i)-1)=\sum_{k \geq 2}\left( \sum_{i \geq 2} {1 \over (-k)^i} \right)=\sum_{k \geq 2} {1 \over k(k+1)}=\sum_{k \geq 2} {1 \over k(k+1)}=\sum_{k \geq 2} {1 \over k}-{1 \over k+1}= \lim_{n \to \infty}{1 \over 2}-{1 \over n+1}={1 \over 2}$$

La suya, por supuesto, no converge, porque los términos sumados ni siquiera llegan a $0$ . Sin embargo, puede probar fácilmente su límite porque: $${1 \over 2}=\sum_{i \geq 2} (-1)^i( \zeta(i)-1)= \lim_{n \to \infty} S_n- \sum_{i=2}^{n}(-1)^i=\lim_{n \to \infty} S_n - {(-1)^n+1 \over 2}$$