# Mathematical Explanation of Mathematica Summation ${\sum_{n=1}^{\infty}\frac{(2n-1)!}{(2n+2)!}\zeta(2n)}$

From a mathematical point of view, what phenomena that most likely Mathematica Wolfram encountered when calculating: $$\sum_{n=1}^{\infty}\frac{(2n-1)!}{(2n+2)!}\zeta(2n)\,=\,\color{red}{\frac{2\log(2\pi)-3}{8}+\frac{\zeta(3)}{8\pi^2}}$$ which is incorrect.

While calculating the sum from this question, I noticed that Wolfram result is containing $${\small\,\frac{\zeta(3)}{8\pi^2}\,}$$, which is incorrect. Although I realized that this could be a bug, I started to wonder if there are any logical explanation behind this miscalculation! Has Wolfram algorithm encountered something similar to Riemann Rearrangement Theorem?

Doing more investigations, it turns-out that Wolfram is incorrectly miscalculating the closed form of an entire class of zeta summation, except the last case which is correct. \small \begin{align} \sum_{n=1}^{\infty}\frac{\zeta(\alpha\,n)}{(n+a)(n+b)\dots} &= \sum_{n=1}^{\infty}\left[A\frac{\zeta(\alpha\,n)}{n+a}+B\frac{\zeta(\alpha\,n)}{n+b}+\dots\right] = \\ C+\,\sum_{n=1}^{\infty}\frac{\zeta(\alpha\,n)-1}{(n+a)(n+b)\dots} &= \color{darkgreen}{\sum_{n=1}^{\infty}\left[A\frac{\zeta(\alpha\,n)-1}{n+a}+B\frac{\zeta(\alpha\,n)-1}{n+b}+\dots\right]\,+C} \end{align} And with the appearance of this case (the last correct closed form), I believe there is a mathematical explanation regarding a correct summation method or algorithm that gives a kind of systematic incorrect closed form if it applied in a certain way. Appreciating if someone can explore this and alert us regardless of any bug that may exist in any math app. Thanks.

• Quite difficult to say what is really happening there. In my experience with old versions of Mathematica, I have seen $\text{NIntegrate}$ and $\text{N[Integrate]}$ yielding radically different outputs when dealing with elliptic integrals and the like. A non-legit rearrangement of some sort is likely. – Jack D'Aurizio Aug 14 '18 at 13:16
• Or maybe a bad management of the branches of the complex logarithm, or maybe... what happens if we compute such series through Euler-Maclaurin, and completely ignore the integral error term? – Jack D'Aurizio Aug 14 '18 at 13:21
• Or maybe it is just an intended lesson: don't trust the machines too much. – Jack D'Aurizio Aug 14 '18 at 13:21
• @JackD'Aurizio : The deference between the correct and incorrect answer is the term ${\,\frac{\zeta(3)}{8\pi^2}\,}$, I am wondering how to re-arrange the summation to generate such term. – Hazem Orabi Aug 14 '18 at 13:53
• It might be related to the factorial. Because if we put the gamma function instead its evaluated correctly. link – Zacky Aug 14 '18 at 16:16

Only a note.

WolframAlpha can calculate $\enspace\text{Sum[Zeta[2n]*(2n-1)!/(2n+1)!,{n,1,Infinity}]}$

$\displaystyle \left(=\sum\limits_{n=1}^\infty \frac{\zeta(2n)(2n-1)!}{(2n+1)!}\right)\enspace$ exactly

but can only approximate $\enspace\text{Sum[Zeta[2n]*(2n)!/(2n+2)!,{n,1,Infinity}]}$

$\displaystyle \left(=\sum\limits_{n=1}^\infty \frac{\zeta(2n)(2n)!}{(2n+2)!}\right)$.

This is indeed strange, because the difficulty is about the same. WolframAlpha has problems with slow converging series.

Maybe the term $\,\,\text{$\zeta(3)/(8\pi^2$)}\,\,$ is by chance, because the calculation inaccuracy seems to be very close to this term at some point of the calculations.

It's interesting, that WolframAlpha calculates

$\,\,\text{Sum[Zeta[2n](2n-1)!/(2n+3)!,{n,1,Infinity}]}\,\,$ $\displaystyle \left(=\sum\limits_{n=1}^\infty \frac{\zeta(2n)(2n-1)!}{(2n+3)!}\right)$

exactly including $\,\text{$\zeta(3)/(8\pi^2$)}$, here $\,\text{$9\zeta(3)/(72\pi^2$)}\,$ .

• Good note. Thanks. – Hazem Orabi Aug 21 '18 at 17:02
• @HazemOrabi: You are welcome. :) But I am sorry, for better informations I've to know how WolframAlpha works exactly. – user90369 Aug 21 '18 at 17:28
• @HazemOrabi: Thanks for the bounty, it's very kind of you. :) – user90369 Aug 28 '18 at 11:00
• U R Welcome! Thanks for your contribution. – Hazem Orabi Aug 28 '18 at 11:05