Advertisement
MatsGranvik

First Riemann zeta zero as an integral

Sep 4th, 2018
200
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.79 KB | None | 0 0
  1. (*start*)
  2. (*Mathematica*)
  3. Clear[k, n, s, i, d, r, q, f, a, b, integral, c, nn, n, k];
  4. nn = 1000;
  5. k = 15;
  6. q = 10;
  7. c = 1;
  8. g[s_, d_] = -I*
  9. MoebiusMu[
  10. d]*(If[d == 1, 0, -((d^(1 - (s)) 1^-(s))/(Log[d] + Log[1]))] +
  11. Sum[-((d^(1 - s) n^-s)/(Log[d] + Log[n])), {n, 2, k}] +
  12. ExpIntegralEi[-(-1 + s) Log[d] - (-1 + s) Log[
  13. k]] + (d^(1 - s) k^-s)/(2 (Log[d] + Log[k])) +
  14. Sum[Sum[-(BernoulliB[2*(n + 1)]/((2*(n + 1))!))*(Abs[
  15. StirlingS1[2*n + 1, i]]) d k^(-2*n - 1) Gamma[1 + i,
  16. s Log[k*d]] Log[k*d]^(-1 - i), {i, 0, 2*n + 1}], {n, 0,
  17. q - 1}]);
  18. f[s_, d_] = -I*MoebiusMu[d]*(If[d == 1, 0, d^(1 - s)/Log[d]^2] + \!\(
  19. \*UnderoverscriptBox[\(\[Sum]\), \(n = 2\), \(k\)]
  20. \*FractionBox[\(
  21. \*SuperscriptBox[\(d\), \(1 - s\)]\
  22. \*SuperscriptBox[\(n\), \(-s\)]\),
  23. SuperscriptBox[\((Log[d] + Log[n])\), \(2\)]]\) + (-1 +
  24. s) ExpIntegralEi[-(-1 + s) (Log[d] + Log[k])] + (
  25. d E^(-s (Log[d] + Log[k])) k)/(Log[d] + Log[k]) - (
  26. d^(1 - s) k^-s)/(2 (Log[d] + Log[k])^2) +
  27. Sum[Sum[-(1/(2 (1 + n))!)
  28. Abs[StirlingS1[1 + 2 n, i]] BernoulliB[
  29. 2 (1 + n)] (-d k^(-1 - 2 n)
  30. Gamma[2 + i, s Log[d k]] Log[d k]^(-2 - i) +
  31. d k^(-1 - 2 n)
  32. s Gamma[1 + i, s Log[d k]] Log[d k]^(-1 - i)), {i, 0,
  33. 2*n + 1}], {n, 0, q - 1}]);
  34. L = N[(Im[ZetaZero[1]] + Im[ZetaZero[2]])/2];
  35. (L - (-I*2*(I*(-((L \[Pi])/2) +
  36. 1/4 ((2 Catalan)/\[Pi] - L^2 Log[\[Pi]] +
  37. Log[2 Glaisher^9 \[Pi]] -
  38. 4 PolyGamma[-2, 1/4 - (I L)/2] -
  39. 4 PolyGamma[-2, 1/4 + (I L)/2])) -
  40. Sum[Sum[If[
  41. Mod[n, d] ==
  42. 0, (f[1/2 + I*L, d] - f[1/2 + I*0, d] -
  43. I*L*g[1/2 + I*0, d])/n^c, 0], {d, 1, n}], {n, 1, nn}])/
  44. Pi))/2
  45. (*end*)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement