19
$\begingroup$

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.

enter image description here

$\endgroup$
  • 2
    $\begingroup$ 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. $\endgroup$ – Jack D'Aurizio Aug 14 '18 at 13:16
  • 1
    $\begingroup$ 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? $\endgroup$ – Jack D'Aurizio Aug 14 '18 at 13:21
  • 8
    $\begingroup$ Or maybe it is just an intended lesson: don't trust the machines too much. $\endgroup$ – Jack D'Aurizio Aug 14 '18 at 13:21
  • 1
    $\begingroup$ @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. $\endgroup$ – Hazem Orabi Aug 14 '18 at 13:53
  • 2
    $\begingroup$ It might be related to the factorial. Because if we put the gamma function instead its evaluated correctly. link $\endgroup$ – カカロット Aug 14 '18 at 16:16
4
+100
$\begingroup$

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$)}\,$ .

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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.