In the question MRB constant proofs wanted , I gave the following excerpt from http://marvinrayburns.com/UniversalTOC25.pdf . part1

part1. I accurately worked formula 44 in Matheamatica in the following code.

(*define the eta function*)

eta[s_] := (1 - 2^(1 - s)) Zeta[s];

(*define the higher derivatives of the eta(0)*)

a[i_] := Derivative[i][eta][0];

(*Define c:*)

c[j_] := Sum[Binomial[j, d](-1)^dd^(j - d), {d, 1, j}]

(*formula (44)*)

N[Sum[c[m]/m!*a[m], {m, 1, 40}], 100]

It gave -0.1878587... .

Can anyone come up with a more lucrative program for formula 44 in Mathematica or Maple?


N[Sum[c[m]/m!*a[m], {m, 1, 40}], 100] is an overkill on working precision and too finite to give much accuracy. N[Sum[c[m]/m!*a[m], {m, 1, Infinity}], 10] is better but takes several hours to compute, if it ever gives an solution!

The bottom line is the Mathematica code clearly shows (44) needs an overall minus in front of the summation.


Hmm, I don't know whether with "lucrative" it is actually meant "efficient"?

There is a possibility in Pari/GP to formulate the derivative of the eta() by a divergent sum-procedure sumalt(), applicable even to formal series. What I do in cases like this, where derivatives of eta at zero (or zeta at zero: Stieltjes-numbers) are involved is the following procedure

default(seriesprecision,64)            \\ number of taylor-coefficients of a series

psaeta = sumalt(k=0,(-1)^k/(1+k)^x);   \\ gives the formal powerseries for aeta
pcaeta= polcoeffs(psaeta,64)~;         \\ extracts the taylor-coefficients
                                       \\ = eta^(k)(0) /k! 
   \\ now the functional definition for the c_j coefficients

mrb = sum(r=1,63,mrbcj(r)*pcaeta[1+r])   \\ this gives a rough estimate to about 4 digits

  \\ using Eulersummation I can improve the number of correct digits dramatically

The terms of the 60 to 64'th partial sums with the Euler-summation are

  ... ....

and the digits up to the last "7" seem to be correct. Perhaps there is something similar in Math'ca , at least they have manipulations for formal divergent series symbolically...

The Pari/GP-evaluation of the initial formula is very simple btw. and gives an accurate result very easy; I got

    mrb =  sumalt(k=1,(-1)^k *(exp(log(k)/k)-1))
    \\ %2909 = 0.187859642462067120248517934054273230055903094900138786172005
  • $\begingroup$ Thank you Gottfried Helms The "120" also seems to be correct. Here are the first several digits of the MRB constant, checked by a few methods: 0.1878596424620671202485179340542732300559030949 $\endgroup$ – Marvin Ray Burns Dec 23 '15 at 16:39
  • 1
    $\begingroup$ BTW. I updated the UniversalTOC25.pdf link! $\endgroup$ – Marvin Ray Burns Dec 23 '15 at 16:47
  • $\begingroup$ @marvinRayBurns: see my new answer at your previous question math.stackexchange.com/questions/549503/… $\endgroup$ – Gottfried Helms Dec 24 '15 at 2:03

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.