login
A153815
Indices of nontrivial zeros of the Riemann zeta function where the real part of zeta'(s) becomes negative.
8
127, 136, 196, 213, 233, 256, 289, 368, 379, 380, 399, 401, 462, 509, 519, 531, 568, 580, 596, 619, 627, 639, 655, 669, 693, 696, 705, 716, 729, 767, 779, 795, 796, 809, 820, 849, 858, 871, 888, 965, 994, 996
OFFSET
1,1
COMMENTS
From Mats Granvik, Feb 21 2017: (Start)
Conjecture 1: Indices n of nontrivial zeros of the Riemann zeta function such that: abs(floor(im(zetazero(n))/(2*Pi)*log(im(zetazero(n))/(2*Pi*e)) + 7/8) - n + 1) = 1.
Conjecture 2: The zeta zeros with these indices are also the locations where the zeta zero counting sequence A135297 disagrees with the zeta zero counting function: (RiemannSiegelTheta(t) + im(log(zeta(1/2 + I*t))))/Pi + 1. The locations where the counting function overcounts are given by A282793, and the locations where the counting function undercounts are given by A282794.
Conjecture 3: Union of A282793 and A282794.
(End)
Floor(im(zetazero(n))/(2*Pi)*log(im(zetazero(n))/(2*Pi*e)) + 7/8) - n + 1 is the branch of the argument of zeta at the n-th zero on the critical line (conjectured). - Stephen Crowley, Mar 09 2017
EXAMPLE
Re(zeta'(zetazero(127))) < 0.
MATHEMATICA
Select[Range[1000], N[Re[Zeta'[ZetaZero[ # ]]] < 0] &]
(* Conjecture 1: *) Monitor[Flatten[Position[Table[Abs[Floor[Im[ZetaZero[n]]/(2*Pi)*Log[Im[ZetaZero[n]]/(2*Pi*Exp[1])] + 7/8] - n + 1], {n, 1, 1000}], 1]], n] (* Mats Granvik, Feb 21 2017 *)
KEYWORD
nonn
AUTHOR
STATUS
approved