|
|
A058303
|
|
Decimal expansion of the imaginary part of the first nontrivial zero of the Riemann zeta function.
|
|
25
|
|
|
1, 4, 1, 3, 4, 7, 2, 5, 1, 4, 1, 7, 3, 4, 6, 9, 3, 7, 9, 0, 4, 5, 7, 2, 5, 1, 9, 8, 3, 5, 6, 2, 4, 7, 0, 2, 7, 0, 7, 8, 4, 2, 5, 7, 1, 1, 5, 6, 9, 9, 2, 4, 3, 1, 7, 5, 6, 8, 5, 5, 6, 7, 4, 6, 0, 1, 4, 9, 9, 6, 3, 4, 2, 9, 8, 0, 9, 2, 5, 6, 7, 6, 4, 9, 4, 9, 0, 1, 0, 3, 9, 3, 1, 7, 1, 5, 6, 1, 0, 1, 2, 7, 7, 9, 2
(list;
constant;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
2,2
|
|
COMMENTS
|
"The Riemann Hypothesis, considered by many to be the most important unsolved problem of mathematics, is the assertion that all of zeta's nontrivial zeros line up with the first two all of which lie on the line 1/2 + sqrt(-1)*t, which is called the critical line. It is known that the hypothesis is obeyed for the first billion and a half zeros." (Wagon)
We can compute 105 digits of this zeta zero as the numerical integral: gamma = Integral_{t=0..gamma+15} (1/2)*(1 - sign((RiemannSiegelTheta(t) + Im(log(zeta(1/2 + i*t))))/Pi - n + 3/2)) where n=1 and where the initial value of gamma = 1. The upper integration limit is arbitrary as long as it is greater than the zeta zero computed recursively. The recursive formula fails at zeta zeros with indices n equal to sequence A153815. - Mats Granvik, Feb 15 2017
|
|
REFERENCES
|
S. Wagon, "Mathematica In Action," W. H. Freeman and Company, NY, 1991, page 361.
|
|
LINKS
|
|
|
FORMULA
|
zeta(1/2 + i*14.1347251417346937904572519836...) = 0.
|
|
EXAMPLE
|
14.1347251417346937904572519835624702707842571156992...
|
|
MAPLE
|
|
|
MATHEMATICA
|
FindRoot[ Zeta[1/2 + I*t], {t, 14 + {-.3, +.3}}, AccuracyGoal -> 100, WorkingPrecision -> 120]
(* The following numerical integral takes about 9 minutes to compute *)Clear[n, t, gamma]; gamma = 1; numberofzetazeros = 1; Quiet[Do[gamma = N[NIntegrate[(1/2)*(1 - Sign[(RiemannSiegelTheta[t] + Im[Log[Zeta[I*t + 1/2]]])/Pi - n + 3/2]), {t, 0, gamma + 15}, PrecisionGoal -> 110, MaxRecursion -> 350, WorkingPrecision -> 120], 105]; Print[gamma], {n, 1, numberofzetazeros}]]; RealDigits[gamma][[1]] (* Mats Granvik, Feb 15 2017 *)
|
|
PROG
|
|
|
CROSSREFS
|
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|