Una serie dura: $\sum_{k=1}^{\infty}\frac{\zeta(2k)}{(k+1)(2k+1)}$, necesito ayuda

Question

Yo estaba haciendo un integral que termina con una parte de la serie resistente: $$\sum_{k=1}^{\infty}\frac{\zeta(2k)}{(k+1)(2k+1)}$ $$\frac12$ $ que está de acuerdo con la respuesta, dice $ Mathematica... ¿Alguien sabe cómo evaluar esto?

Answer 1

Muy interesante, aquí está mi intento. Nada es riguroso.

Empezar con $$\sum_{k=1}^{\infty} \frac{x^{2k-1}}{\Gamma(2k)(k+1)(2k+1)} = \sum_{k=1}^{\infty} \frac{4 k x^{2k-1}}{(2k+2)!} = 2\frac{d}{dx}\left[\sum_{k=1}^{\infty}\frac{x^{2k}}{(2k+2)!}\a la derecha] = 2\frac{d}{dx}\left[\frac{\cosh x - 1 - \frac{x^2}{2}}{x^2}\right] = \frac{e^x - e^{-x}}{x^2} - 2 \frac{e^x + e^{-x} - 2}{x^3} $$ Dividir ambos lados por $e^x - 1$, integrar y utilizar la identidad de $\Re(s) > 1$:

$$\zeta(s)\Gamma(s) = \int_0^{\infty}\frac{x^{s-1}}{e^x-1} dx$$

Obtenemos: $$\sum_{k=1}^{\infty} \frac{\zeta(2k)}{(k+1)(2k+1)} = \int_0^{\infty} \left[\frac{1+e^{-x}}{x^2} - 2 \frac{1-e^{-x}}{x^3}\right] dx = \int_0^{\infty} \frac{d}{dx}\left[-\frac{1}{x} + \frac{1-e^{-x}}{x^2}\right]dx\\ = -\lim_{x\to 0} \left[-\frac{1}{x} + \frac{1-e^{-x}}{x^2}\right] = \frac12 $$

Answer 2

Utilizando la definición de $\zeta$ e intercambiando el orden de la suma porque todo es positivo, uno ve que la suma de $S$ ser calculada es $$ S=\sum_{n=1}^{+\infty}\left(n^2u(\tfrac1n)-1\right)\quad\text{con}\quad u(t)=\sum\limits_{k=0}^{+\infty}\frac{2^{2k+2}}{(2k+1)(2k+2)}. $$ A partir de aquí, sólo un análisis elemental es necesario. Para calcular los $u$, tenga en cuenta que $u(0)=u'(0)=0$ y $$ u"(t)=\sum\limits_{k=0}^{+\infty}2t^{2k}=\frac2{1-t^2}=\frac1{1-t}+\frac1{1+t}, $$ por lo tanto, para cada $|t|\leqslant1$, $$ u(t)=(1+t)\log(1+t)+(1-t)\log(1-t). $$ Esto produce que, para cada entero $n\geqslant1$, $$ n^2u(\tfrac1n)=n(n+1)\log(n+1)+n(n-1)\log(n-1)-2n^2\log n, $$ por lo tanto, para cada $N\geqslant1$, $$ \sum_{n=1}^Nn^2u(\tfrac1n)=\sum_{n=1}^{N+1}n(n-1)\log(n)+\sum_{n=1}^{N-1}n(n+1)\log(n)-\sum_{n=1}^N2n^2\log n, $$ es decir, $$ \sum_{n=1}^Nn^2u(\tfrac1n)=N(N+1)\log(1+\tfrac1N). $$ Desde $\log(1+x)=x-\frac12x^2+o(x^2)$ al $x\to0$, cuando se $N\to\infty$, el lado derecho es $$ N(N+1)\left(\tfrac1N-\tfrac12\tfrac1{N^2}+o\left(\tfrac1{N^2}\right)\right)=N+\tfrac12+o(1). $$ Esto demuestra (con rigor) que $$ S=\tfrac12. $$