Thursday, September 14, 2017

Interconnection.......overlap..................another reason I thought that was imp........when I 1st started reading this stuff...........was b/c they said that it is precisely where the gamma function and the other one meet............along those ridges that the zeros are found.........




Riemann Zeta Function Zeros

DOWNLOAD Mathematica Notebook Zeros of the Riemann zeta function zeta(s) come in two different types. So-called "trivial zeros" occur at all negative even integers s=-2, -4, -6, ..., and "nontrivial zeros" occur at certain values of t satisfying
 s=sigma+it
(1)
for s in the "critical strip" 0<sigma<1. In general, a nontrivial zero of zeta(s) is denoted rho, and the nth nontrivial zero with t>0 is commonly denoted rho_n (Brent 1979; Edwards 2001, p. 43), with the corresponding value of t being called t_n.
Wiener (1951) showed that the prime number theorem is literally equivalent to the assertion that zeta(s) has no zeros on sigma=1 (Hardy 1999, p. 34; Havil 2003, p. 195). The Riemann hypothesis asserts that the nontrivial zeros of zeta(s) all have real part sigma=R[s]=1/2, a line called the "critical line." This is known to be true for the first 10^(13) zeros.
Wolfram Riemann Zeta Zeros PosterAn attractive poster plotting zeros of the Riemann zeta function on the critical line together with annotations for relevant historical information, illustrated above, was created by Wolfram Research (1995).
RiemannZetaZerosReImAbs
MinMax
Re
ImPowered by webMathematica
The plots above show the real and imaginary parts of zeta(s) plotted in the complex plane together with the complex modulus of zeta(z). As can be seen, in right half-plane, the function is fairly flat, but with a large number of horizontal ridges. It is precisely along these ridges that the nontrivial zeros of zeta(s) lie.
RiemannZetaZerosContoursReImThe position of the complex zeros can be seen slightly more easily by plotting the contours of zero real (red) and imaginary (blue) parts, as illustrated above. The zeros (indicated as black dots) occur where the curves intersect.
RiemannZetaSurfacesThe figures above highlight the zeros in the complex plane by plotting |zeta(z)| (where the zeros are dips) and 1/|zeta(z)| (where the zeros are peaks).
RiemannZetaAbsThe above plot shows |zeta(1/2+it)| for t between 0 and 60. As can be seen, the first few nontrivial zeros occur at the values given in the following table (Wagon 1991, pp. 361-362 and 367-368; Havil 2003, p. 196; Odlyzko), where the corresponding negative values are also roots. The integers closest to these values are 14, 21, 25, 30, 33, 38, 41, 43, 48, 50, ... (OEIS A002410). The numbers of nontrivial zeros less than 10, 10^2, 10^3, ... are 0, 29, 649, 10142, 138069, 1747146, ... (OEIS A072080; Odlyzko).
nSloanet_n
1A05830314.134725
221.022040
325.010858
430.424876
532.935062
637.586178
XiFunctionRootsThe so-called xi-function xi(z) defined by Riemann has precisely the same zeros as the nontrivial zeros of zeta(z) with the additional benefit that xi(z) is entire and xi(1/2+it) is purely real and so are simpler to locate.
ZetaGrid is a distributed computing project attempting to calculate as many zeros as possible. It had reached 1029.9 billion zeros as of Feb. 18, 2005. Gourdon (2004) used an algorithm of Odlyzko and Schönhage to calculate the first 10×10^(12) zeros (Pegg 2004, Pegg and Weisstein 2004). The following table lists historical benchmarks in the number of computed zeros (Gourdon 2004).
yearnauthor
190315J. P. Gram
191479R. J. Backlund
1925138J. I. Hutchinson
19351041E. C. Titchmarsh
19531104A. M. Turing
195615000D. H. Lehmer
195625000D. H. Lehmer
195835337N. A. Meller
1966250000R. S. Lehman
19683500000J. B. Rosser, J. M. Yohe, L. Schoenfeld
197740000000R. P. Brent
197981000001R. P. Brent
1982200000001R. P. Brent, J. van de Lune, H. J. J. te Riele, D. T. Winter
1983300000001J. van de Lune, H. J. J. te Riele
19861500000001J. van de Lune, H. J. J. te Riele, D. T. Winter
200110000000000J. van de Lune (unpublished)
2004900000000000S. Wedeniwski
200410000000000000X. Gourdon and P. Demichel
Numerical evidence suggests that all values of t corresponding to nontrivial zeros are irrational (e.g., Havil 2003, p. 195; Derbyshire 2004, p. 384).
No known zeros with order greater than one are known. While the existence of such zeros would not disprove the Riemann hypothesis, it would cause serious problems for many current computational techniques (Derbyshire 2004, p. 385).
Some nontrivial zeros lie extremely close together, a property known as Lehmer's phenomenon.
The Riemann zeta function can be factored over its nontrivial zeros rho as the Hadamard product
 zeta(s)=(e^([ln(2pi)-1-gamma/2]s))/(2(s-1)Gamma(1+1/2s))product_(rho)(1-s/rho)e^(s/rho)
(2)
(Titchmarsh 1987, Voros 1987).
Let rho_k denote the kth nontrivial zero of zeta(s), and write the sums of the negative integer powers of such zeros as
 Z(n)=sum_(k)rho_k^(-n)
(3)
(Lehmer 1988, Keiper 1992). But by the functional equation, the nontrivial zeros are paired as rho and 1-rho, so if the zeros with positive imaginary part are written as sigma_k+it_k, then the sums become
 Z(n)=sum_(k)[(sigma_k+it_k)^(-n)+(1-sigma_k-it_k)^(-n)].
(4)
Such sums can be computed analytically, and the first few are
Z(1)=1/2[2+gamma-ln(4pi)]
(5)
Z(2)=1+gamma^2-1/8pi^2+2gamma_1
(6)
Z(3)=1+gamma^3+3gammagamma_1+3/2gamma_2-7/8zeta(3)
(7)
Z(4)=1+gamma^4-1/(96)pi^4+4gamma^2gamma_1+2gamma_1^2+2gammagamma_2+2/3gamma_3
(8)
Z(5)=1+gamma^5+5gamma^3gamma_1+5/2gamma^2gamma_2+5/2gamma_1gamma_2+5gammagamma_1^2+5/6gammagamma_3+5/(24)gamma_4-(31)/(32)zeta(5)
(9)
Z(6)=1+gamma^6-1/(960)pi^6+6gamma^4gamma_1+2gamma_1^3+3gamma^3gamma_2+3/4gamma_2^2+gamma_1gamma_3+9gamma^2gamma_1^2+gamma^2gamma_3+6gammagamma_1gamma_2+1/4gammagamma_4+1/(20)gamma_5,
(10)
where gamma is the Euler-Mascheroni constant, gamma_i are Stieltjes constants, zeta(n) is the Riemann zeta function, and zeta(3) is Apéry's constant. These values can also be written in terms of the Li constants (Bombieri and Lagarias 1999).
The case
 Z(1)=0.0230957...
(11)
(OEIS A074760; Edwards 2001, p. 160) is classical and was known to Riemann, who used it in his computation of the roots of zeta(s) (Davenport 1980, pp. 83-84; Edwards 2001, pp. 67 and 159). It is also equal to the constant lambda_1 from Li's criterion.
Assuming the truth of the Riemann hypothesis (so that sigma=1/2), equation (◇) can be written for the first few values of n in the simple forms
Z(1)=sum_(k)4/(1+4t_k^2)
(12)
Z(2)=-sum_(k)(8(4t_k^2-1))/((4t_k^2+1)^2)
(13)
Z(3)=-sum_(k)(16(12t_k^2-1))/((4t_k^2+1)^3)
(14)
Z(4)=-sum_(k)(32(16t_k^4-24t_k^2+1))/((4t_k^2+1)^4)

No comments:

Post a Comment