|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| [[File:RiemannCriticalLine.svg|thumb|The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(''s'') = 1/2. The first non-trivial zeros can be seen at Im(''s'') = ±14.135, ±21.022 and ±25.011.]]
| | This [http://gadm.org/node/4801 visit blog] means that essay writing service. |
| {{Millennium Problems}}
| |
| In mathematics, the '''Riemann hypothesis''', proposed by {{harvs|txt|first=Bernhard|last= Riemann|year=1859|author-link=Bernhard Riemann}}, is a [[conjecture]] that the nontrivial [[root of a function|zeros]] of the [[Riemann zeta function]] all have [[real part]] 1/2. The name is also used for some closely related analogues, such as the [[Riemann hypothesis for curves over finite fields]].
| |
| | |
| The Riemann hypothesis implies results about the distribution of [[prime numbers]]. Along with suitable generalizations, it is considered by some mathematicians to be the most important unresolved problem in [[pure mathematics]] {{harv|Bombieri|2000}}. The Riemann hypothesis, along with the [[Goldbach conjecture]], is part of [[Hilbert's eighth problem]] in [[David Hilbert]]'s list of [[Hilbert's problems|23 unsolved problems]]; it is also one of the [[Clay Mathematics Institute]] [[Millennium Prize Problems]].
| |
| | |
| The Riemann zeta function ζ(''s'') is a [[function (mathematics)|function]] whose argument ''s'' may be any [[complex number]] other than 1, and whose values are also complex. It has zeros at the negative even integers; that is, ζ(''s'') = 0 when ''s'' is one of −2, −4, −6, .... These are called its '''trivial zeros'''. However, the negative even integers are not the only values for which the zeta function is zero; the other ones are called '''non-trivial zeros'''. The Riemann hypothesis is concerned with the locations of these non-trivial zeros, and states that:
| |
| | |
| :The real part of every non-trivial zero of the Riemann zeta function is {{sfrac|2}}.
| |
| | |
| Thus the non-trivial zeros should lie on the '''critical line''' consisting of the complex numbers {{nowrap|{{sfrac|2}} + ''i{{hsp}}t'',}} where ''t'' is a [[real number]] and ''i'' is the [[imaginary unit]].
| |
| | |
| There are several nontechnical books on the Riemann hypothesis, such as {{harvtxt|Derbyshire|2003}}, {{harvtxt|Rockmore|2005}}, {{harvtxt|Sabbagh|2003}},
| |
| {{harvtxt|du Sautoy|2003}}. The books {{harvtxt|Edwards|1974}}, {{harvtxt|Patterson|1988}} and {{harvtxt|Borwein|Choi|Rooney|Weirathmueller|2008}} give mathematical introductions, while
| |
| {{harvtxt|Titchmarsh|1986}}, {{harvtxt|Ivić|1985}} and {{harvtxt|Karatsuba|Voronin|1992}} are advanced monographs.
| |
| | |
| ==Riemann zeta function==
| |
| The [[Riemann zeta function]] is defined for complex ''s'' with real part greater than 1 by the [[Absolute convergence|absolutely convergent]] [[infinite series]]
| |
| :<math>\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots.</math>
| |
| [[Leonhard Euler]] showed that this series equals the [[Euler product]]
| |
| :<math>\zeta(s) = \prod_{p \text{ prime}} \frac{1}{1-p^{-s}}= \frac{1}{1-2^{-s}}\cdot\frac{1}{1-3^{-s}}\cdot\frac{1}{1-5^{-s}}\cdot\frac{1}{1-7^{-s}} \cdots \frac{1}{1-p^{-s}} \cdots</math>
| |
| where the [[infinite product]] extends over all prime numbers ''p'', and again converges for complex ''s'' with real part greater than 1. The convergence of the Euler product shows that ζ(''s'') has no zeros in this region, as none of the factors have zeros.
| |
| | |
| The Riemann hypothesis discusses zeros outside the region of convergence of this series, so it needs to be [[Analytic continuation|analytically continued]] to all complex ''s''. This can be done by expressing it in terms of the [[Dirichlet eta function]] as follows. If the real part of ''s'' is greater than one, then the zeta function satisfies
| |
| :<math>\left(1-\frac{2}{2^s}\right)\zeta(s) = \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s} = \frac{1}{1^s} - \frac{1}{2^s} + \frac{1}{3^s} - \cdots.</math>
| |
| However, the series on the right converges not just when ''s'' is greater than one, but more generally whenever ''s'' has positive real part. Thus, this alternative series extends the zeta function from {{nowrap|Re(''s'') > 1}} to the larger domain {{nowrap|Re(''s'') > 0}}, excluding the zeros <math>s = 1 + 2\pi in/\ln(2)</math> of <math>1-2/2^s</math> (see [[Dirichlet eta function#Landau's problem with zeta(s)=eta(s)/0 and solutions|Dirichlet eta function]]). The zeta function can be extended to these values, as well, by taking limits, giving a finite value for all values of ''s'' with positive real part except for a [[simple pole]] at ''s'' = 1.
| |
| | |
| In the strip {{nowrap|0 < Re(''s'') < 1}} the zeta function satisfies the [[functional equation]]
| |
| :<math>\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Gamma(1-s)\ \zeta(1-s).</math>
| |
| One may then define ζ(''s'') for all remaining nonzero complex numbers ''s'' by assuming that this equation holds outside the strip as well, and letting ζ(''s'') equal the right-hand side of the equation whenever ''s'' has non-positive real part. If ''s'' is a negative even integer then ζ(''s'') = 0 because the factor sin(π''s''/2) vanishes; these are the '''trivial zeros''' of the zeta function. (If ''s'' is a positive even integer this argument does not apply because the zeros of sin are cancelled by the poles of the [[gamma function]] as it takes negative integer arguments.) The value [[1 + 1 + 1 + 1 + · · ·|ζ(0) = −1/2]] is not determined by the functional equation, but is the limiting value of ζ(''s'') as ''s'' approaches zero. The functional equation also implies that the zeta function has no zeros with negative real part other than the trivial zeros, so all non-trivial zeros lie in the '''critical strip''' where ''s'' has real part between 0 and 1.
| |
| | |
| ==History==
| |
| {{quote box |align=right |width=30% |quote="{{lang|de|…es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien.}}"<br /><br />"…it is very probable that all roots are real. Of course one would wish for a rigorous proof here; I have for the time being, after some fleeting vain attempts, provisionally put aside the search for this, as it appears dispensable for the next objective of my investigation." |source=Riemann's statement of the Riemann hypothesis, from {{harv|Riemann|1859}}. (He was discussing a version of the zeta function, modified so that its roots are real rather than on the critical line.)}}
| |
| | |
| In his 1859 paper ''[[On the Number of Primes Less Than a Given Magnitude]]'' Riemann found an [[Explicit formulae (L-function)|explicit formula]] for the [[prime-counting function|number of primes]] π(''x'') less than a given number ''x''. His formula was given in terms of the related function
| |
| | |
| :<math>\begin{align}\Pi(x) &= \pi(x) +\tfrac{1}{2}\pi(x^{\frac{1}{2}}) +\tfrac{1}{3}\pi(x^{\frac{1}{3}}) +\tfrac{1}{4}\pi(x^{\frac{1}{4}}) \\ &\ \ \ \ +\tfrac{1}{5}\pi(x^{\frac{1}{5}}) +\tfrac{1}{6}\pi(x^{\frac{1}{6}}) +\cdots\end{align}</math>
| |
| | |
| which counts the primes and prime powers up to ''x'', counting a prime power ''p''<sup>''n''</sup> as 1/''n'' of a prime. The number of primes can be recovered from this function by
| |
| | |
| :<math>\begin{align} \pi(x) &= \sum_{n=1}^{\infty}\frac{\mu(n)}{n}\Pi(x^{\frac{1}{n}}) \\ &= \Pi(x) -\frac{1}{2}\Pi(x^{\frac{1}{2}}) -\frac{1}{3}\Pi(x^{\frac{1}{3}}) -\frac{1}{5}\Pi(x^{\frac{1}{5}}) \\
| |
| &\ \ \ \ +\frac{1}{6}\Pi(x^{\frac{1}{6}}) -\cdots, \end{align}</math>
| |
| | |
| where μ is the [[Möbius function]]. Riemann's formula is then
| |
| | |
| :<math>\begin{align}\Pi_0(x) &= \operatorname{Li}(x) - \sum_\rho \operatorname{Li}(x^\rho) -\log(2) \\ &\ \ \ \ +\int_x^\infty\frac{dt}{t(t^2-1)\log(t)}\end{align}</math>
| |
| | |
| where the sum is over the nontrivial zeros of the zeta function and where Π<sub>0</sub> is a slightly modified version of Π that replaces its value at its points of discontinuity by the average of its upper and lower limits:
| |
| | |
| :<math>\Pi_0(x) = \lim_{\varepsilon \to 0}\frac{\Pi(x-\varepsilon)+\Pi(x+\varepsilon)}2.</math>
| |
| | |
| The summation in Riemann's formula is not [[Absolute convergence|absolutely convergent]], but may be evaluated by taking the zeros ρ in order of the absolute value of their imaginary part. The function Li occurring in the first term is the (unoffset) [[logarithmic integral function]] given by the [[Cauchy principal value]] of the divergent integral
| |
| :<math>\operatorname{Li}(x) = \int_0^x\frac{dt}{\log(t)}.</math>
| |
| The terms Li(''x''<sup>ρ</sup>) involving the zeros of the zeta function need some care in their definition as Li has branch points at 0 and 1, and are defined (for ''x'' > 1) by analytic continuation in the complex variable ρ in the region Re(ρ) > 0, i.e. they should be considered as [[Exponential integral|Ei]](ρ ln x). The other terms also correspond to zeros: the dominant term Li(''x'') comes from the pole at ''s'' = 1, considered as a zero of multiplicity −1, and the remaining small terms come from the trivial zeros. For some graphs of the sums of the first few terms of this series see {{harvtxt|Riesel|Göhl|1970}} or {{harvtxt|Zagier|1977}}.
| |
| | |
| This formula says that the zeros of the Riemann zeta function control the oscillations of primes around their "expected" positions. Riemann knew that the non-trivial zeros of the zeta function were symmetrically distributed about the line {{nowrap|''s'' {{=}} 1/2 + ''it'',}} and he knew that all of its non-trivial zeros must lie in the range {{nowrap|0 ≤ Re(''s'') ≤ 1.}} He checked that a few of the zeros lay on the critical line with real part 1/2 and suggested that they all do; this is the Riemann hypothesis.
| |
| | |
| ==Consequences of the Riemann hypothesis==
| |
| The practical uses of the Riemann hypothesis include many propositions which are known to be true under the Riemann hypothesis, and some which can be shown to be equivalent to the Riemann hypothesis.
| |
| | |
| ===Distribution of prime numbers===
| |
| [[Riemann's explicit formula]] for [[prime counting function|the number of primes less than a given number]] in terms of a sum over the zeros of the Riemann zeta function says that the magnitude of the oscillations of primes around their expected position is controlled by the real parts of the zeros of the zeta function. In particular the error term in the [[prime number theorem]] is closely related to the position of the zeros: for example, the [[supremum]] of real parts of the zeros is the [[infimum]] of numbers β such that the error is O(''x''<sup>β</sup>){{harv|Ingham|1932}}.
| |
| | |
| [[#CITEREFvon Koch1901|Von Koch (1901)]] proved that the Riemann hypothesis is equivalent to the "best possible" bound for the error of the prime number theorem.
| |
| | |
| A precise version of Koch's result, due to {{harvtxt|Schoenfeld|1976}}, says that the Riemann hypothesis is equivalent to
| |
| | |
| :<math>|\pi(x) - \operatorname{Li}(x)| < \frac{1}{8\pi} \sqrt{x} \log(x), \qquad \text{for all } x \ge 2657. </math>
| |
| | |
| {{harvtxt|Schoenfeld|1976}} also showed that the Riemann hypothesis is equivalent to
| |
| | |
| :<math>|\psi(x) - x| < \frac{1}{8\pi} \sqrt{x} \log^2(x), \qquad \text{for all } x \ge 73.2, </math>
| |
| | |
| where ''ψ''(''x'') is [[Chebyshev function|Chebyshev's second function]].
| |
| | |
| ===Growth of arithmetic functions===
| |
| The Riemann hypothesis implies strong bounds on the growth of many other arithmetic functions, in addition to the primes counting function above.
| |
| | |
| One example involves the [[Möbius function]] μ. The statement that the equation
| |
| | |
| :<math>\frac{1}{\zeta(s)} = \sum_{n=1}^\infty \frac{\mu(n)}{n^s}</math>
| |
| | |
| is valid for every ''s'' with real part greater than 1/2, with the sum on the right hand side converging, is equivalent to the Riemann hypothesis. From this we can also conclude that if the [[Mertens function]] is defined by
| |
| | |
| :<math>M(x) = \sum_{n \le x} \mu(n)</math>
| |
| | |
| then the claim that
| |
| | |
| :<math>M(x) = O(x^{\frac{1}{2}+\varepsilon})</math>
| |
| | |
| for every positive ε is equivalent to the Riemann hypothesis {{harv|Titchmarsh|1986}}. (For the meaning of these symbols, see [[Big O notation]].) The determinant of the order ''n'' [[Redheffer matrix]] is equal to ''M''(''n''), so the Riemann hypothesis can also be stated as a condition on the growth of these determinants. The Riemann hypothesis puts a rather tight bound on the growth of ''M'', since {{harvtxt|Odlyzko|te Riele|1985}} disproved the slightly stronger [[Mertens conjecture]]
| |
| | |
| :<math>|M(x)| \le \sqrt x.</math>
| |
| | |
| The Riemann hypothesis is equivalent to many other conjectures about the rate of growth of other arithmetic functions aside from μ(''n''). A typical example is [[Robin's theorem]] {{harv|Robin|1984}}, which states that if σ(''n'') is the [[divisor function]], given by
| |
| | |
| :<math>\sigma(n) = \sum_{d\mid n} d</math>
| |
| | |
| then
| |
| | |
| :<math>\sigma(n) < e^\gamma n \log \log n</math>
| |
| | |
| for all ''n'' > 5040 if and only if the Riemann hypothesis is true, where γ is the [[Euler–Mascheroni constant]].
| |
| | |
| Another example was found by [[Jérôme Franel]], and extended by [[Edmund Landau|Landau]] (see {{harvtxt|Franel|Landau|1924}}). The Riemann hypothesis is equivalent to several statements showing that the terms of the [[Farey sequence]] are fairly regular. One such equivalence is as follows: if ''F''<sub>''n''</sub> is the Farey sequence of order ''n'', beginning with 1/''n'' and up to 1/1, then the claim that for all ε > 0
| |
| | |
| :<math>\sum_{i=1}^m|F_n(i) - \tfrac{i}{m}| = O(n^{\frac{1}{2}+\epsilon})</math>
| |
| | |
| is equivalent to the Riemann hypothesis. Here
| |
| | |
| :<math>m = \sum_{i=1}^n\phi(i)</math>
| |
| | |
| is the number of terms in the Farey sequence of order ''n''.
| |
| | |
| For an example from group theory, if ''g''(''n'') is [[Landau's function]] given by the maximal order of elements of the [[symmetric group]] ''S''<sub>''n''</sub> of degree ''n'', then {{harvtxt|Massias|Nicolas|Robin|1988}} showed that the Riemann hypothesis is equivalent to the bound
| |
| | |
| :<math>\log g(n) < \sqrt{\operatorname{Li}^{-1}(n)}</math>
| |
| | |
| for all sufficiently large ''n''.
| |
| | |
| ===Lindelöf hypothesis and growth of the zeta function===
| |
| The Riemann hypothesis has various weaker consequences as well; one is the '''[[Lindelöf hypothesis]]''' on the rate of growth of the zeta function on the critical line, which says that, for any ''ε'' > 0,
| |
| | |
| :<math>\zeta\left(\frac{1}{2} + it\right) = O(t^\varepsilon),</math>
| |
| | |
| as ''t'' → ∞.
| |
| | |
| The Riemann hypothesis also implies quite sharp bounds for the growth rate of the zeta function in other regions of the critical strip. For example, it implies that
| |
| | |
| :<math> e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{|\zeta(1+it)|}{\log\log t}\le 2e^\gamma</math>
| |
| :<math> \frac{6}{\pi^2}e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{1/|\zeta(1+it)|}{\log\log t}\le \frac{12}{\pi^2}e^\gamma</math>
| |
| | |
| so the growth rate of ζ(1+''it'') and its inverse would be known up to a factor of 2 {{harv|Titchmarsh|1986}}.
| |
| | |
| ===Large prime gap conjecture===
| |
| The prime number theorem implies that on average, the [[prime gap|gap]] between the prime ''p'' and its successor is log ''p''. However, some gaps between primes may be much larger than the average. [[Harald Cramér|Cramér]] proved that, assuming the Riemann hypothesis, every gap is ''O''(√''p'' log ''p''). This is a case in which even the best bound that can be proved using the Riemann Hypothesis is far weaker than what seems to be true: [[Cramér's conjecture]] implies that every gap is ''O''((log ''p'')<sup>2</sup>) which, while larger than the average gap, is far smaller than the bound implied by the Riemann hypothesis. Numerical evidence supports Cramér's conjecture {{harv|Nicely|1999}}.
| |
| | |
| ===Criteria equivalent to the Riemann hypothesis===
| |
| Many statements equivalent to the Riemann hypothesis have been found, though so far none of them have led to much progress in proving (or disproving) it. Some typical examples are as follows. (Others involve the [[Divisor_function#Approximate_growth_rate|divisor function]] σ(''n'').)
| |
| | |
| The [[Riesz criterion]] was given by {{harvtxt|Riesz|1916}}, to the effect that the bound
| |
| | |
| :<math>-\sum_{k=1}^\infty \frac{(-x)^k}{(k-1)! \zeta(2k)}= O\left(x^{\frac{1}{4}+\epsilon}\right)</math>
| |
| | |
| holds for all ε > 0 if and only if the Riemann hypothesis holds.
| |
| | |
| {{harvtxt|Nyman|1950}} proved that the Riemann Hypothesis is true if and only if the space of functions of the form
| |
| | |
| :<math>f(x) = \sum_{\nu=1}^nc_\nu\rho \left(\frac{\theta_\nu}{x} \right)</math>
| |
| | |
| where ρ(''z'') is the fractional part of ''z'', {{nowrap|0 ≤ θ<sub>ν</sub> ≤ 1}}, and
| |
| | |
| :<math>\sum_{\nu=1}^nc_\nu\theta_\nu=0</math>,
| |
| | |
| is dense in the Hilbert space ''L''<sup>2</sup>(0,1) of square-integrable functions on the unit interval. {{harvtxt|Beurling|1955}} extended this by showing that the zeta function has no zeros with real part greater than 1/''p'' if and only if this function space is dense in ''L<sup>p</sup>''(0,1)
| |
| | |
| {{harvtxt|Salem|1953}} showed that the Riemann hypothesis is true if and only if the integral equation
| |
| | |
| :<math>\int_{0}^\infty\frac{z^{-\sigma-1}\phi(z)\,dz}{{e^{x/z}}+1}=0 </math>
| |
| | |
| has no non-trivial bounded solutions <math>\phi</math> for <math>1/2<\sigma <1</math>.
| |
| | |
| [[Weil's criterion]] is the statement that the positivity of a certain function is equivalent to the Riemann hypothesis. Related is [[Li's criterion]], a statement that the positivity of a certain sequence of numbers is equivalent to the Riemann hypothesis.
| |
| | |
| {{harvtxt|Speiser|1934}} proved that the Riemann hypothesis is equivalent to the statement that <math>\zeta'(s)</math>, the derivative of ζ(''s''), has no zeros in the strip
| |
| | |
| :<math>0 < \Re(s) < \frac12.</math>
| |
| | |
| That ζ has only simple zeros on the critical line is equivalent (by definition) to its derivative having no zeros on the critical line.
| |
| | |
| ===Consequences of the generalized Riemann hypothesis===
| |
| Several applications use the generalized Riemann hypothesis for Dirichlet L-series or zeta functions of number fields rather than just the Riemann hypothesis. Many basic properties of the Riemann zeta function can easily be generalized to all Dirichlet L-series, so it is plausible that a method that proves the Riemann hypothesis for the Riemann zeta function would also work for the generalized Riemann hypothesis for Dirichlet L-functions. Several results first proved using the generalized Riemann hypothesis were later given unconditional proofs without using it, though these were usually much harder. Many of the consequences on the following list are taken from {{harvtxt|Conrad|2010}}.
| |
| * In 1913, Gronwall showed that the generalized Riemann hypothesis implies that Gauss's [[class number problem|list of imaginary quadratic fields with class number 1]] is complete, though Baker, Stark and Heegner later gave unconditional proofs of this without using the generalized Riemann hypothesis.
| |
| * In 1917, Hardy and Littlewood showed that the generalized Riemann hypothesis implies a conjecture of Chebyshev that
| |
| :: <math>\lim_{x\to 1^-}\sum_{p>2}(-1)^{(p+1)/2}x^p=+\infty,</math>
| |
| :which says that in some sense primes 3 mod 4 are more common than primes 1 mod 4.
| |
| * In 1923 Hardy and Littlewood showed that the generalized Riemann hypothesis implies a weak form of the [[Goldbach conjecture]] for odd numbers: that every sufficiently large odd number is the sum of three primes, though in 1937 Vinogradov gave an unconditional proof. In 1997 [[Jean-Marc Deshouillers|Deshouillers]], Effinger, te Riele, and Zinoviev showed that the generalized Riemann hypothesis implies that every odd number greater than 5 is the sum of three primes.
| |
| * In 1934, Chowla showed that the generalized Riemann hypothesis implies that the first prime in the arithmetic progression ''a'' mod ''m'' is at most ''Km''<sup>2</sup>log(''m'')<sup>2</sup> for some fixed constant ''K''.
| |
| * In 1967, Hooley showed that the generalized Riemann hypothesis implies [[Artin's conjecture on primitive roots]].
| |
| * In 1973, Weinberger showed that the generalized Riemann hypothesis implies that Euler's list of [[idoneal number]]s is complete.
| |
| * {{harvtxt|Weinberger|1973}} showed that the generalized Riemann hypothesis for the zeta functions of all algebraic number fields implies that any number field with class number 1 is either [[Euclidean domain|Euclidean]] or an imaginary quadratic number field of discriminant −19, −43, −67, or −163.
| |
| * In 1976, G. Miller showed that the generalized Riemann hypothesis implies that one can [[primality test|test if a number is prime]] in polynomial time via the [[Miller–Rabin primality test|Miller test]]. In 2002, Manindra Agrawal, Neeraj Kayal and Nitin Saxena proved this result unconditionally using the [[AKS primality test]].
| |
| * {{harvtxt|Odlyzko|1990}} discussed how the generalized Riemann hypothesis can be used to give sharper estimates for discriminants and class numbers of number fields.
| |
| * {{harvtxt|Ono|Soundararajan|1997}} showed that the generalized Riemann hypothesis implies that [[Ramanujan's ternary quadratic form|Ramanujan's integral quadratic form]] ''x''<sup>2</sup> +''y''<sup>2</sup> + 10''z''<sup>2</sup> represents all integers that it represents locally, with exactly 18 exceptions.
| |
| | |
| ===Excluded middle===
| |
| Some consequences of the RH are also consequences of its negation, and are thus theorems. In their discussion of the [[#Gauss's class number conjecture|Hecke, Deuring, Mordell, Heilbronn theorem]], {{harv|Ireland|Rosen|1990|p=359}} say
| |
| | |
| <blockquote>The method of proof here is truly amazing. If the generalized Riemann hypothesis is true, then the theorem is true. If the generalized Riemann hypothesis is false, then the theorem is true. Thus, the theorem is true!! (punctuation in original)</blockquote>
| |
| | |
| Care should be taken to understand what is meant by saying the generalized Riemann hypothesis is false: exactly which class of Dirichlet series is supposed to have a counterexample should be clearly indicated to avoid confusion.
| |
| | |
| ====Littlewood's theorem====
| |
| This concerns the sign of the error in the [[prime number theorem]].
| |
| It has been computed that π(''x'') < Li(''x'') for all ''x'' ≤ 10<sup>23</sup>, and no value of ''x'' is known for which π(''x'') > Li(''x''). See this [[Prime_number_theorem#Table_of_.CF.80.28x.29.2C_x_.2F_ln_x.2C_and_li.28x.29|table]].
| |
| | |
| In 1914 Littlewood proved that there are arbitrarily large values of ''x'' for which
| |
| :<math>\pi(x)>\operatorname{Li}(x) +\frac13\frac{\sqrt x}{\log x}\log\log\log x,</math>
| |
| and that there are also arbitrarily large values of ''x'' for which
| |
| :<math>\pi(x)<\operatorname{Li}(x) -\frac13\frac{\sqrt x}{\log x}\log\log\log x.</math>
| |
| Thus the difference π(''x'') − Li(''x'') changes sign infinitely many times. [[Skewes' number]] is an estimate of the value of ''x'' corresponding to the first sign change.
| |
| | |
| Littlewood's proof is divided into two cases: the RH is assumed to be false (about half a page of {{harvnb|Ingham|1932|loc=Chapt. V}}), and the RH is assumed to be true (about a dozen pages).
| |
| | |
| ====Gauss's class number conjecture====
| |
| This is the [[Class number problem|conjecture]] (first stated in article 303 of Gauss's [[Disquisitiones Arithmeticae]]) that there are only a finite number of imaginary quadratic fields with a given class number. One way to prove it would be to show that as the discriminant ''D'' → −∞ the class number ''h''(''D'') → ∞.
| |
| | |
| The following sequence of theorems involving the Riemann hypothesis is described in {{Harvnb|Ireland|Rosen|1990|pp=358–361}}:
| |
| | |
| <blockquote>'''Theorem (Hecke; 1918).''' Let ''D'' < 0 be the discriminant of an imaginary quadratic number field ''K''. Assume the generalized Riemann hypothesis for ''L''-functions of all imaginary quadratic Dirichlet characters. Then there is an absolute constant ''C'' such that
| |
| :<math>h(D) > C\frac{\sqrt{|D|}}{\log |D|}.</math></blockquote>
| |
| | |
| <blockquote>'''Theorem (Deuring; 1933).''' If the RH is false then ''h''(''D'') > 1 if |''D''| is sufficiently large.</blockquote>
| |
| <blockquote>'''Theorem (Mordell; 1934).''' If the RH is false then ''h''(''D'') → ∞ as ''D'' → −∞.</blockquote>
| |
| | |
| <blockquote>'''Theorem (Heilbronn; 1934).''' If the generalized RH is false for the ''L''-function of some imaginary quadratic Dirichlet character then ''h''(''D'') → ∞ as ''D'' → −∞.</blockquote>
| |
| | |
| (In the work of Hecke and Heilbronn, the only ''L''-functions that occur are those attached to imaginary quadratic characters, and it is only for those ''L''-functions that ''GRH is true'' or ''GRH is false'' is intended; a failure of GRH for the ''L''-function of a cubic Dirichlet character would, strictly speaking, mean GRH is false, but that was not the kind of failure of GRH that Heilbronn had in mind, so his assumption was more restricted than simply ''GRH is false''.)
| |
| | |
| In 1935, [[Carl Siegel]] later strengthened the result without using RH or GRH in any way.
| |
| | |
| ====Growth of Euler's totient====
| |
| In 1983 J. L. Nicolas proved {{harv|Ribenboim|1996|p=320}} that
| |
| | |
| :<math>\phi(n) < e^{-\gamma}\frac {n} {\log \log n} </math>
| |
| | |
| for infinitely many ''n'', where φ(''n'') is [[Euler's totient function]] and γ is [[Euler's constant]].
| |
|
| |
| Ribenboim remarks that:
| |
|
| |
| <blockquote>The method of proof is interesting, in that the inequality is shown first under the assumption that the Riemann hypothesis is true, secondly under the contrary assumption.
| |
| </blockquote>
| |
| | |
| ==Generalizations and analogs of the Riemann hypothesis==
| |
| ===Dirichlet L-series and other number fields===
| |
| The Riemann hypothesis can be generalized by replacing the Riemann zeta function by the formally similar, but much more general, global [[L-function]]s. In this broader setting, one expects the non-trivial zeros of the global ''L''-functions to have real part 1/2. It is these conjectures, rather than the classical Riemann hypothesis only for the single Riemann zeta function, which accounts for the true importance of the Riemann hypothesis in mathematics.
| |
| | |
| The [[generalized Riemann hypothesis]] extends the Riemann hypothesis to all [[Dirichlet L-function]]s. In particular it implies the conjecture that [[Siegel zero]]s (zeros of ''L''-functions between 1/2 and 1) do not exist.
| |
| | |
| The [[extended Riemann hypothesis]] extends the Riemann hypothesis to all [[Dedekind zeta function]]s of [[algebraic number field]]s. The extended Riemann hypothesis for abelian extension of the rationals is equivalent to the generalized Riemann hypothesis. The Riemann hypothesis can also be extended to the ''L''-functions of [[Hecke character]]s of number fields.
| |
| | |
| The [[grand Riemann hypothesis]] extends it to all automorphic zeta functions, such as [[Mellin transform]]s of [[Hecke eigenform]]s.
| |
| | |
| ===Function fields and zeta functions of varieties over finite fields===
| |
| {{harvtxt|Artin|1924}} introduced global zeta functions of (quadratic) [[Function field of an algebraic variety|function fields]] and conjectured an analogue of the Riemann hypothesis for them, which has been proven by Hasse in the genus 1 case and by {{harvtxt|Weil|1948}} in general. For instance, the fact that the [[quadratic Gauss sum|Gauss sum]], of the quadratic character of a [[finite field]] of size ''q'' (with ''q'' odd), has absolute value
| |
| | |
| :<math>\sqrt{q}</math>
| |
| | |
| is actually an instance of the Riemann hypothesis in the function field setting. This led {{harvtxt|Weil|1949}} to conjecture a similar statement for all [[algebraic variety|algebraic varieties]]; the resulting [[Weil conjectures]] were proven by {{harvs|txt|first=Pierre|last=Deligne|authorlink=Pierre Deligne|year1=1974|year2=1980}}.
| |
| | |
| ===Arithmetic zeta functions of arithmetic schemes and their L-factors===
| |
| [[Arithmetic zeta function]]s generalise the Riemann and Dedekind zeta functions as well as the zeta functions of varieties over finite fields to every arithmetic scheme or a scheme of finite type over integers. The arithmetic zeta function of a regular connected equidimensional arithmetic scheme of Kronecker dimension ''n'' can be factorized into the product of appropriately defined L-factors and an auxiliary factor {{harvs|txt|first=Jean-Pierre|last=Serre|authorlink=J.-P. Serre|year1=1970}}. Assuming a functional equation and meromorphic continuation, the generalized Riemann hypothesis for the L-factor states that its zeros inside the critical strip <math>\Re(s)\in (0,n)</math> lie on the central line. Correspondingly, the generalized Riemann hypothesis for the arithmetic zeta function of a regular connected equidimensional arithmetic scheme states that its zeros inside the critical strip lie on vertical lines <math>\Re(s)=1/2,3/2,\dots,n-1/2</math> and its poles inside the critical strip lie on vertical lines <math>\Re(s)=1, 2, \dots,n-1</math>. This is known for schemes in positive characteristic and follows from {{harvs|txt|first=Pierre|last=Deligne|authorlink=Pierre Deligne|year1=1974|year2=1980}}, but remains entirely unknown in characteristic zero.
| |
| | |
| ===Selberg zeta functions===
| |
| {{main|Selberg zeta function}}
| |
| {{harvtxt|Selberg|1956}} introduced the [[Selberg zeta function]] of a Riemann surface. These are similar to the Riemann zeta function: they have a functional equation, and an infinite product similar to the Euler product but taken over closed geodesics rather than primes. The [[Selberg trace formula]] is the analogue for these functions of the [[explicit formulas]] in prime number theory. Selberg proved that the Selberg zeta functions satisfy the analogue of the Riemann hypothesis, with the imaginary parts of their zeros related to the eigenvalues of the Laplacian operator of the Riemann surface.
| |
| | |
| ===Ihara zeta functions===
| |
| The [[Ihara zeta function]] of a finite graph is an analogue of the Selberg zeta function introduced by Yasutaka Ihara. A regular finite graph is a [[Ramanujan graph]], a mathematical model of efficient communication networks, if and only if its Ihara zeta function satisfies the analogue of the Riemann hypothesis as was pointed out by [[Toshikazu Sunada|T. Sunada]].
| |
| | |
| ===Montgomery's pair correlation conjecture===
| |
| {{harvtxt|Montgomery|1973}} suggested the [[pair correlation conjecture]] that the correlation functions of the (suitably normalized) zeros of the zeta function should be the same as those of the eigenvalues of a [[Gaussian unitary ensemble|random hermitian matrix]]. {{harvtxt|Odlyzko|1987}} showed that this is supported by large scale numerical calculations of these correlation functions.
| |
| | |
| Montgomery showed that (assuming the Riemann hypothesis) at least 2/3 of all zeros are simple, and a related conjecture is that all zeros of the zeta function are simple (or more generally have no non-trivial integer linear relations between their imaginary parts). [[Dedekind zeta function]]s of algebraic number fields, which generalize the Riemann zeta function, often do have multiple complex zeros.{{citation needed|date=March 2011}} This is because the Dedekind zeta functions factorize as a product of powers of [[Artin L-function]]s, so zeros of Artin L-functions sometimes give rise to multiple zeros of Dedekind zeta functions. Other examples of zeta functions with multiple zeros are the L-functions of some [[elliptic curve]]s: these can have multiple zeros at the real point of their critical line; the [[Birch-Swinnerton-Dyer conjecture]] predicts that the multiplicity of this zero is the rank of the elliptic curve.
| |
| | |
| ===Other zeta functions===
| |
| There are [[zeta function|many other examples]] of zeta functions with analogues of the Riemann hypothesis, some of which have been proved. [[Goss zeta function]]s of function fields have a Riemann hypothesis, proved by {{harvtxt|Sheats|1998}}. [[Main conjecture of Iwasawa theory|The main conjecture]] of [[Iwasawa theory]], proved by [[Barry Mazur]] and [[Andrew Wiles]] for [[cyclotomic field]]s, and Wiles for [[totally real number field|totally real fields]], identifies the zeros of a ''p''-adic ''L''-function with the eigenvalues of an operator, so can be thought of as an analogue of the [[Hilbert–Pólya conjecture]] for [[p-adic L-function|''p''-adic ''L''-functions]] {{harv|Wiles|2000}}.
| |
| | |
| ==Attempts to prove the Riemann hypothesis==
| |
| Several mathematicians have addressed the Riemann hypothesis, but none of their attempts have yet been accepted as correct solutions. {{harvtxt|Watkins|2007}} lists some incorrect solutions, and more are [http://arxiv.org/find/grp_math/1/AND+ti:+AND+Riemann+hypothesis+subj:+AND+General+mathematics/0/1/0/all/0/1 frequently announced].
| |
| | |
| ===Operator theory===
| |
| {{main|Hilbert–Pólya conjecture}}
| |
| | |
| Hilbert and Polya suggested that one way to derive the Riemann hypothesis would be to find a [[self-adjoint operator]], from the existence of which the statement on the real parts of the zeros of ζ(''s'') would follow when one applies the criterion on real [[eigenvalue]]s. Some support for this idea comes from several analogues of the Riemann zeta functions whose zeros correspond to eigenvalues of some operator: the zeros of a zeta function of a variety over a finite field correspond to eigenvalues of a [[Frobenius element]] on an [[étale cohomology]] group, the zeros of a [[Selberg zeta function]] are eigenvalues of a [[Laplacian operator]] of a Riemann surface, and the zeros of a [[p-adic zeta function]] correspond to eigenvectors of a Galois action on [[ideal class group]]s.
| |
| | |
| {{harvtxt|Odlyzko|1987}} showed that the distribution of the zeros of the Riemann zeta function shares some statistical properties with the eigenvalues of [[random matrices]] drawn from the [[Gaussian unitary ensemble]]. This gives some support to the Hilbert–Pólya conjecture.
| |
| | |
| In 1999, [[Michael Berry (physicist)|Michael Berry]] and [[Jon Keating]] conjectured that there is some unknown quantization <math>\hat H</math> of the classical Hamiltonian ''H'' = ''xp'' so that
| |
| | |
| :<math> \zeta (1/2+i\hat H) = 0 </math>
| |
| | |
| and even more strongly, that the Riemann zeros coincide with the spectrum of the operator <math>1/2 + i \hat H</math>. This is to be contrasted to [[canonical quantization]] which leads to the [[Heisenberg uncertainty principle]] <math>[x,p]=1/2</math> and the [[natural numbers]] as spectrum of the [[quantum harmonic oscillator]]. The crucial point is that the Hamiltonian should be a self-adjoint operator so that the quantization would be a realization of the Hilbert–Pólya program. In a connection with this quantum mechanical problem Berry and Connes had proposed that the inverse of the potential of the Hamiltonian is connected to the half-derivative of the function
| |
| | |
| :<math> N(s)= \frac{1}{\pi}\operatorname{Arg}\xi(1/2+i\sqrt s)</math>
| |
| | |
| then, in Berry–Connes approach
| |
| | |
| :<math> V^{-1}(x) = \sqrt{4\pi} \frac{d^{1/2}N(x)}{dx^{1/2}} </math>
| |
| | |
| {{harv|Connes|1999}}. This yields to a Hamiltonian whose eigenvalues are the square of the imaginary part of the Riemann zeros, and also the functional determinant of this Hamiltonian operator is just the [[Riemann Xi function]]. In fact the Riemann Xi function would be proportional to the functional determinant (Hadamard product)
| |
| | |
| :<math> \det(H+1/4+s(s-1)) </math>
| |
| | |
| as proven by Connes and others, in this approach
| |
| | |
| :<math> \frac{\xi(s)}{\xi(0)}=\frac{\det(H+s(s-1)+1/4)}{\det(H+1/4)}.</math>
| |
| | |
| The analogy with the Riemann hypothesis over finite fields suggests that the Hilbert space containing eigenvectors corresponding to the zeros might be some sort of first cohomology group of the [[spectrum of a ring|spectrum]] Spec('''Z''') of the integers. {{harvtxt|Deninger|1998}} described some of the attempts to find such a cohomology theory {{harv|Leichtnam|2005}}.
| |
| | |
| {{harvtxt|Zagier|1983}} constructed a natural space of invariant functions on the upper half plane which has eigenvalues under the Laplacian operator corresponding to zeros of the Riemann zeta function, and remarked that in the unlikely event that one could show the existence of a suitable positive definite inner product on this space the Riemann hypothesis would follow. {{harvtxt|Cartier|1982}} discussed a related example, where due to a bizarre bug a computer program listed zeros of the Riemann zeta function as eigenvalues of the same Laplacian operator.
| |
| | |
| {{harvtxt|Schumayer|Hutchinson|2011}} surveyed some of the attempts to construct a suitable physical model related to the Riemann zeta function.
| |
| | |
| ===Lee–Yang theorem===
| |
| The [[Lee–Yang theorem]] states that the zeros of certain partition functions in statistical mechanics all lie on a "critical line" with real part 0, and this has led to some speculation about a relationship with the Riemann hypothesis {{harv|Knauf|1999}}.{{Elucidate|date=December 2013}}
| |
| | |
| ===Turán's result===
| |
| {{harvs|authorlink=Pál Turán|first=Pál |last=Turán|year=1948|txt}} showed that if the functions
| |
| | |
| :<math>\sum_{n=1}^N n^{-s}</math>
| |
| | |
| have no zeros when the real part of ''s'' is greater than one then
| |
| | |
| :<math>T(x) = \sum_{n\le x}\frac{\lambda(n)}{n}\ge 0\text{ for } x > 0,</math>
| |
| | |
| where λ(''n'') is the [[Liouville function]] given by (−1)<sup>''r''</sup> if ''n'' has ''r'' prime factors. He showed that this in turn would imply that the Riemann hypothesis is true. However {{harvtxt|Haselgrove|1958}} proved that ''T''(''x'') is negative for infinitely many ''x'' (and also disproved the closely related [[Pólya conjecture]]), and {{harvtxt|Borwein|Ferguson|Mossinghoff|2008}} showed that the smallest such ''x'' is {{gaps|72|185|376|951|205}}. {{harvtxt|Spira|1968}} showed by numerical calculation that the finite Dirichlet series above for ''N''=19 has a zero with real part greater than 1. Turán also showed that a somewhat weaker assumption, the nonexistence of zeros with real part greater than 1+''N''<sup>−1/2+ε</sup> for large ''N'' in the finite Dirichlet series above, would also imply the Riemann hypothesis, but {{harvtxt|Montgomery|1983}} showed that for all sufficiently large ''N'' these series have zeros with real part greater than {{nowrap|1 + (log log ''N'')/(4 log ''N'')}}. Therefore, Turán's result is [[vacuous truth|vacuously true]] and cannot be used to help prove the Riemann hypothesis.
| |
| | |
| ===Noncommutative geometry===
| |
| {{harvs|last=Connes|authorlink=Alain Connes|year1=1999|year2=2000|txt}} has described a relationship between the Riemann hypothesis and [[noncommutative geometry]], and shows that a suitable analog of the [[Selberg trace formula]] for the action of the [[idèle class group]] on the adèle class space would imply the Riemann hypothesis. Some of these ideas are elaborated in {{harvtxt|Lapidus|2008}}.
| |
| | |
| ===Hilbert spaces of entire functions===
| |
| {{harvs|txt||first =Louis|last=de Branges |year=1992 |authorlink=Louis de Branges}} showed that the Riemann hypothesis would follow from a positivity condition on a certain Hilbert space of [[entire function]]s.
| |
| However {{harvtxt|Conrey|Li|2000}} showed that the necessary positivity conditions are not satisfied.
| |
| | |
| ===Quasicrystals===
| |
| The Riemann hypothesis implies that the zeros of the zeta function form a [[quasicrystal]], meaning a distribution with discrete support whose Fourier transform also has discrete support.
| |
| {{harvtxt|Dyson|2009}} suggested trying to prove the Riemann hypothesis by classifying, or at least studying, 1-dimensional quasicrystals.
| |
| | |
| ===Arithmetic zeta functions of models of elliptic curves over number fields===
| |
| When one goes from geometric dimension one, e.g. an algebraic number field, to geometric dimension two, e.g. a regular model of an [[elliptic curve]] over a number field, the two-dimensional part of the generalized Riemann hypothesis for the [[arithmetic zeta function]] of the model deals with the poles of the zeta function. In dimension one the study of the zeta integral in [[Tate's thesis]] does not lead to new important information on the Riemann hypothesis. Contrary to this, in dimension two work of [[Ivan Fesenko]] on two-dimensional generalisation of Tate's thesis includes an integral representation of a zeta integral closely related to the zeta function. In this new situation, not possible in dimension one, the poles of the zeta function can be studied via the zeta integral and associated adele groups. Related conjecture of {{harvs|last=Fesenko|authorlink=Ivan Fesenko|year1=2010|txt}} on the positivity of the fourth derivative of a boundary function associated to the zeta integral essentially implies the pole part of the generalized Riemann hypothesis. {{harvs|last=Suzuki|year1=2011|txt}} proved that the latter, together with some technical assumptions, implies Fesenko's conjecture.
| |
| | |
| ===Multiple zeta functions===
| |
| Deligne's proof of the Riemann hypothesis over finite fields used the zeta functions of product varieties, whose zeros and poles correspond to sums of zeros and poles of the original zeta function, in order to bound the real parts of the zeros of the original zeta function. By analogy, {{harvtxt|Kurokawa|1992}} introduced multiple zeta functions whose zeros and poles correspond to sums of zeros and poles of the Riemann zeta function. To make the series converge he restricted to sums of zeros or poles all with non-negative imaginary part. So far, the known bounds on the zeros and poles of the multiple zeta functions are not strong enough to give useful estimates for the zeros of the Riemann zeta function.
| |
| | |
| ==Location of the zeros==
| |
| ===Number of zeros===
| |
| The functional equation combined with the [[argument principle]] implies that the number of zeros of the zeta function with imaginary part between 0 and ''T'' is given by
| |
| :<math>N(T)=\frac{1}{\pi}\mathop{\mathrm{Arg}}(\xi(s)) = \frac{1}{\pi}\mathop{\mathrm{Arg}}(\Gamma(\tfrac{s}{2})\pi^{-\frac{s}{2}}\zeta(s)s(s-1)/2)</math>
| |
| for ''s''=1/2+i''T'', where the argument is defined by varying it continuously along the line with Im(''s'')=''T'', starting with argument 0 at ∞+i''T''. This is the sum of a large but well understood term
| |
| :<math>\frac{1}{\pi}\mathop{\mathrm{Arg}}(\Gamma(\tfrac{s}{2})\pi^{-s/2}s(s-1)/2) = \frac{T}{2\pi}\log\frac{T}{2\pi}-\frac{T}{2\pi} +7/8+O(1/T) </math>
| |
| and a small but rather mysterious term
| |
| :<math>S(T) = \frac{1}{\pi}\mathop{\mathrm{Arg}}(\zeta(1/2+iT)) =O(\log(T)).</math>
| |
| So the density of zeros with imaginary part near ''T'' is about log(''T'')/2π, and the function ''S'' describes the small deviations from this. The function ''S''(''t'') jumps by 1 at each zero of the zeta function, and for {{nowrap|''t'' ≥ 8}} it decreases monotonically between zeros with derivative close to −log ''t''.
| |
| | |
| [[Anatolii Alexeevitch Karatsuba|Karatsuba]] (1996) proved that every interval (''T'', ''T''+''H''] for <math>H \ge T^{\frac{27}{82}+\varepsilon}</math> contains at least
| |
| : <math> H(\ln T)^{\frac{1}{3}}e^{-c\sqrt{\ln\ln T}} </math>
| |
| points where the function ''S''(''t'') changes sign.
| |
| | |
| {{harvtxt|Selberg|1946}} showed that the average moments of even powers of ''S'' are given by
| |
| | |
| :<math>\int_0^T|S(t)|^{2k}dt = \frac{(2k)!}{k!(2\pi)^{2k}}T(\log \log T)^k + O(T(\log \log T)^{k-1/2}).</math>
| |
| | |
| This suggests that ''S''(''T'')/(log log ''T'')<sup>1/2</sup> resembles a [[Gaussian random variable]] with mean 0 and variance 2π<sup>2</sup> ({{harvtxt|Ghosh|1983}} proved this fact).
| |
| In particular |''S''(''T'')| is usually somewhere around (log log ''T'')<sup>1/2</sup>, but occasionally much larger. The exact order of growth of ''S''(''T'') is not known. There has been no unconditional improvement to Riemann's original bound ''S''(''T'')=O(log ''T''), though the Riemann hypothesis implies the slightly smaller bound ''S''(''T'')=O(log ''T''/log log ''T'') {{harv|Titchmarsh|1985}}. The true order of magnitude may be somewhat less than this, as random functions with the same distribution as ''S''(''T'') tend to have growth of order about log(''T'')<sup>1/2</sup>. In the other direction it cannot be too small: {{harvtxt|Selberg|1946}} showed that {{nowrap|''S''(''T'') ≠ o((log ''T'')<sup>1/3</sup>/(log log ''T'')<sup>7/3</sup>)}}, and assuming the Riemann hypothesis Montgomery showed that {{nowrap|''S''(''T'') ≠ o((log ''T'')<sup>1/2</sup>/(log log ''T'')<sup>1/2</sup>)}}.
| |
| | |
| Numerical calculations confirm that ''S'' grows very slowly: |''S''(''T'')| < 1 for {{nowrap|''T'' < 280}}, |''S''(''T'')| < 2 for ''T'' < {{gaps|6|800|000}}, and the largest value of |''S''(''T'')| found so far is not much larger than 3 {{harv|Odlyzko|2002}}.
| |
| | |
| Riemann's estimate ''S''(''T'') = O(log ''T'') implies that the gaps between zeros are bounded, and Littlewood improved this slightly, showing that the gaps between their imaginary parts tends to 0.
| |
| | |
| ===Theorem of Hadamard and de la Vallée-Poussin===
| |
| {{harvtxt|Hadamard|1896}} and {{harvtxt|de la Vallée-Poussin|1896}} independently proved that no zeros could lie on the line Re(''s'') = 1. Together with the functional equation and the fact that there are no zeros with real part greater than 1, this showed that all non-trivial zeros must lie in the interior of the critical strip {{nowrap|0 < Re(''s'') < 1}}. This was a key step in their first proofs of the [[prime number theorem]].
| |
| | |
| Both the original proofs that the zeta function has no zeros with real part 1 are similar, and depend on showing that if ζ(1+''it'') vanishes, then ζ(1+2''it'') is singular, which is not possible. One way of doing this is by using the inequality
| |
| :<math>|\zeta(\sigma)^3\zeta(\sigma+it)^4\zeta(\sigma+2it)|\ge 1</math>
| |
| for σ > 1, ''t'' real, and looking at the limit as σ → 1. This inequality follows by taking the real part of the log of the Euler product to see that
| |
| :<math>|\zeta(\sigma+it)| = \exp\Re\sum_{p^n}\frac{p^{-n(\sigma+it)}}{n}=\exp\sum_{p^n}\frac{p^{-n\sigma}\cos(t\log p^n)}{n},</math>
| |
| where the sum is over all prime powers ''p''<sup>''n''</sup>, so that
| |
| :<math>|\zeta(\sigma)^3\zeta(\sigma+it)^4\zeta(\sigma+2it)| = \exp\sum_{p^n}p^{-n\sigma}\frac{3+4\cos(t\log p^n)+\cos(2t\log p^n)}{n}</math>
| |
| which is at least 1 because all the terms in the sum are positive, due to the inequality
| |
| :<math>3+4\cos(\theta)+\cos(2\theta) = 2 (1+\cos(\theta))^2\ge0.</math>
| |
| | |
| ===Zero-free regions===
| |
| [[#CITEREFde la Vallée-Poussin1899–1900|De la Vallée-Poussin (1899–1900)]] proved that if {{nowrap|σ + ''i{{hsp}}t''}} is a zero of the Riemann zeta function, then {{nowrap|1 − σ ≥ <big>{{sfrac|''C''|log(''t'')}}</big>}} for some positive constant ''C''. In other words zeros cannot be too close to the line {{nowrap|σ {{=}} 1:}} there is a zero-free region close to this line. This zero-free region has been enlarged by several authors. {{harvtxt|Ford|2002}} gave a version with explicit numerical constants: {{nowrap|ζ(σ + ''i{{hsp}}t'' ) ≠ 0}} whenever {{nowrap begin}}|''t'' | ≥ 3{{nowrap end}} and
| |
| | |
| :<math>\sigma\ge 1-\frac{1}{57.54(\log{|t|})^{2/3}(\log{\log{|t|}})^{1/3}}.</math>
| |
| | |
| ==Zeros on the critical line==
| |
| {{harvtxt|Hardy|1914}} and {{harvtxt|Hardy|Littlewood|1921}} showed there are infinitely many zeros on the critical line, by considering moments of certain functions related to the zeta function. {{harvtxt|Selberg|1942}} proved that at least a (small) positive proportion of zeros lie on the line. {{harvtxt|Levinson|1974}} improved this to one-third of the zeros by relating the zeros of the zeta function to those of its derivative, and {{harvtxt|Conrey|1989}} improved this further to two-fifths.
| |
| | |
| Most zeros lie close to the critical line. More precisely, {{harvtxt|Bohr|Landau|1914}} showed that for any positive ε, all but an infinitely small proportion of zeros lie within a distance ε of the critical line. {{harvtxt|Ivić|1985}} gives several more precise versions of this result, called '''zero density estimates''', which bound the number of zeros in regions with imaginary part at most ''T'' and real part at least 1/2+ε.
| |
| | |
| === Hardy–Littlewood conjectures ===
| |
| In 1914 [[G. H. Hardy|Godfrey Harold Hardy]] proved that <math>\zeta\left(\tfrac{1}{2}+it\right)</math> has infinitely many real zeros.
| |
| | |
| Let ''N''(''T'') be the total number of real zeros, <math>N_0(T)</math> be the total number of zeros of odd order of the function
| |
| :<math>\zeta\left(\tfrac{1}{2}+it\right),</math>
| |
| lying on the interval (0, ''T''].
| |
| | |
| The next two conjectures of [[G. H. Hardy|Hardy]] and [[John Edensor Littlewood]] on the distance between real zeros of <math>\zeta\left(\tfrac{1}{2}+it\right)</math> and on the density of zeros of <math>\zeta\left(\tfrac{1}{2}+it\right)</math> on intervals (''T'', ''T''+''H''] for sufficiently large ''T'' > 0, <math>H = T^{a + \varepsilon}</math> and with as less as possible value of ''a'' > 0, where ε > 0 is an arbitrarily small number, open two new directions in the investigation of the Riemann zeta function:
| |
| | |
| '''1.''' for any ε > 0 there exists <math>T_0 = T_0(\varepsilon) > 0</math> such that for <math>T \geq T_0</math> and <math>H=T^{0.25+\varepsilon}</math> the interval <math>(T,T+H]</math> contains a zero of odd order of the function <math>\zeta\bigl(\tfrac{1}{2}+it\bigr)</math>.
| |
| | |
| '''2.''' for any ε > 0 there exist <math>T_0 = T_0(\varepsilon) > 0</math> and ''c'' = ''c''(ε) > 0, such that for <math>T \geq T_0</math> and <math>H=T^{0.5+\varepsilon}</math> the inequality <math>N_0(T+H)-N_0(T) \geq cH</math> is true.
| |
| | |
| === Selberg conjecture ===
| |
| :This paragragh is not on [[Selberg's 1/4 conjecture]] but on [[Selberg's zeta function conjecture]].
| |
| {{harvs|first=Atle|last=Selberg|authorlink=Atle Selberg||year=1942|txt}} investigated the problem of Hardy–Littlewood '''2''' and proved that for any ε > 0 there exists such <math>T_0 = T_0(\varepsilon) > 0</math> and ''c'' = ''c''(ε) > 0, such that for <math>T \geq T_0</math> and <math>H=T^{0.5+\varepsilon}</math> the inequality <math>N(T+H)-N(T) \geq cH\log T</math> is true. Selberg conjectured that this could be tightened to <math>H=T^{0.5}</math>. {{harvs|first=A. A. |last=Karatsuba |year=1984a |year2=1984b |year3=1985 |txt |authorlink=Anatolii Alexeevitch Karatsuba}} proved that for a fixed ε satisfying the condition 0 < ε < 0.001, a sufficiently large ''T'' and <math>H = T^{a+\varepsilon}</math>, <math>a = \tfrac{27}{82} = \tfrac{1}{3} -\tfrac{1}{246}</math>, the interval (''T'', ''T''+''H'') contains at least ''cH''ln(''T'') real zeros of the [[Riemann zeta function]] <math>\zeta\left(\tfrac{1}{2}+it\right)</math> and therefore confirmed the Selberg conjecture. The estimates of Selberg and Karatsuba can not be improved in respect of the order of growth as ''T'' → ∞.
| |
| | |
| {{harvtxt|Karatsuba|1992}} proved that an analog of the Selberg conjecture holds for almost all intervals (''T'', ''T''+''H''], <math>H = T^{\varepsilon}</math>, where ε is an arbitrarily small fixed positive number. The Karatsuba method permits to investigate zeros of the Riemann zeta-function on "supershort" intervals of the critical line, that is, on the intervals (''T'', ''T''+''H''], the length ''H'' of which grows slower than any, even arbitrarily small degree ''T''. In particular, he proved that for any given numbers ε, <math>\varepsilon_1</math> satisfying the conditions <math>0<\varepsilon, \varepsilon_{1}<1</math> almost all intervals (''T'', ''T''+''H''] for <math>H\ge\exp{\{(\ln T)^{\varepsilon}\}}</math> contain at least <math>H(\ln T)^{1-\varepsilon_{1}}</math> zeros of the function <math>\zeta\left(\tfrac{1}{2}+it\right)</math>. This estimate is quite close to the one that follows from the Riemann hypothesis.
| |
| | |
| ===Numerical calculations===
| |
| [[File:Riemann zeta function absolute value.png|thumb|250px|Absolute value of the ζ-function]]
| |
| The function
| |
| | |
| :<math>\pi^{-\frac{s}{2}}\Gamma(\tfrac{s}{2})\zeta(s)</math>
| |
| | |
| has the same zeros as the zeta function in the critical strip, and is real on the critical line because of the functional equation, so one can prove the existence of zeros exactly on the real line between two points by checking numerically that the function has opposite signs at these points. Usually one writes
| |
| | |
| :<math>\zeta(\tfrac{1}{2} +it) = Z(t)e^{-i\theta(t)}</math>
| |
| | |
| where Hardy's function [[Z function|''Z'']] and the [[Riemann–Siegel theta function]] θ are uniquely defined by this and the condition that they are smooth real functions with θ(0)=0.
| |
| By finding many intervals where the function ''Z'' changes sign one can show that there are many zeros on the critical line. To verify the Riemann hypothesis up to a given imaginary part ''T'' of the zeros, one also has to check that there are no further zeros off the line in this region. This can be done by calculating the total number of zeros in the region and checking that it is the same as the number of zeros found on the line. This allows one to verify the Riemann hypothesis computationally up to any desired value of ''T'' (provided all the zeros of the zeta function in this region are simple and on the critical line).
| |
| | |
| Some calculations of zeros of the zeta function are listed below. So far all zeros that have been checked are on the critical line and are simple. (A multiple zero would cause problems for the zero finding algorithms, which depend on finding sign changes between zeros.) For tables of the zeros, see {{harvtxt|Haselgrove|Miller|1960}} or {{harvnb|Odlyzko}}.
| |
| {| class="wikitable"
| |
| |-
| |
| !Year
| |
| !Number of zeros
| |
| ! Author
| |
| |-
| |
| |1859?
| |
| |3
| |
| |B. Riemann used the [[Riemann–Siegel formula]] (unpublished, but reported in {{harvnb|Siegel|1932}}).
| |
| |-
| |
| |1903
| |
| |15
| |
| |J. P. {{harvtxt|Gram|1903}} used [[Euler–Maclaurin summation]] and discovered Gram's law. He showed that all 10 zeros with imaginary part at most 50 range lie on the critical line with real part 1/2 by computing the sum of the inverse 10th powers of the roots he found.
| |
| |-
| |
| |1914
| |
| |79 (γ<sub>''n''</sub> ≤ 200)
| |
| |R. J. {{harvtxt|Backlund|1914}} {{citation needed|date=December 2013}} introduced a better method of checking all the zeros up to that point are on the line, by studying the argument ''S''(''T'') of the zeta function.
| |
| |-
| |
| |1925
| |
| |138 (γ<sub>''n''</sub> ≤ 300)
| |
| |J. I. {{harvtxt|Hutchinson|1925}} found the first failure of Gram's law, at the Gram point ''g''<sub>126</sub>.
| |
| |-
| |
| |1935
| |
| |195
| |
| |E. C. {{harvtxt|Titchmarsh|1935}} used the recently rediscovered [[Riemann–Siegel formula]], which is much faster than Euler–Maclaurin summation. It takes about O(''T''<sup>3/2+ε</sup>) steps to check zeros with imaginary part less than ''T'', while the Euler–Maclaurin method takes about O(''T''<sup>2+ε</sup>) steps.
| |
| |-
| |
| |1936
| |
| |1041
| |
| |E. C. {{harvtxt|Titchmarsh|1936}} and L. J. Comrie were the last to find zeros by hand.
| |
| |-
| |
| |1953
| |
| |1104
| |
| |A. M. {{harvtxt|Turing|1953}} found a more efficient way to check that all zeros up to some point are accounted for by the zeros on the line, by checking that ''Z'' has the correct sign at several consecutive Gram points and using the fact that ''S''(''T'') has average value 0. This requires almost no extra work because the sign of ''Z'' at Gram points is already known from finding the zeros, and is still the usual method used. This was the first use of a digital computer to calculate the zeros.
| |
| |-
| |
| |1956
| |
| |{{gaps|15|000}}
| |
| |D. H. {{harvtxt|Lehmer|1956}} discovered a few cases where the zeta function has zeros that are "only just" on the line: two zeros of the zeta function are so close together that it is unusually difficult to find a sign change between them. This is called "Lehmer's phenomenon", and first occurs at the zeros with imaginary parts 7005.063 and 7005.101, which differ by only .04 while the average gap between other zeros near this point is about 1.
| |
| |-
| |
| |1956
| |
| |{{gaps|25|000}}
| |
| |D. H. Lehmer
| |
| |-
| |
| |1958
| |
| |{{gaps|35|337}}
| |
| |N. A. Meller
| |
| |-
| |
| |1966
| |
| |{{gaps|250|000}}
| |
| |R. S. Lehman
| |
| |-
| |
| |1968
| |
| |{{gaps|3|500|000}}
| |
| |{{harvtxt|Rosser|Yohe|Schoenfeld|1969}} stated Rosser's rule (described below).
| |
| |-
| |
| |1977
| |
| |{{gaps|40|000|000}}
| |
| |[[Richard Brent (scientist)|R. P. Brent]]
| |
| |-
| |
| |1979
| |
| |{{gaps|81|000|001}}
| |
| |R. P. Brent
| |
| |-
| |
| |1982
| |
| |{{gaps|200|000|001}}
| |
| |R. P. Brent, [[Johan van de Lune|J. van de Lune]], [[Herman te Riele|H. J. J. te Riele]], D. T. Winter
| |
| |-
| |
| |1983
| |
| |{{gaps|300|000|001}}
| |
| |J. van de Lune, H. J. J. te Riele
| |
| |-
| |
| |1986
| |
| |{{gaps|1|500|000|001}}
| |
| |{{harvtxt|van de Lune|te Riele|Winter|1986}} gave some statistical data about the zeros and give several graphs of ''Z'' at places where it has unusual behavior.
| |
| |-
| |
| |1987
| |
| |A few of large (~10<sup>12</sup>) height
| |
| |{{harvs|txt|first=A. M. |last=Odlyzko|year1=1987}} computed smaller numbers of zeros of much larger height, around 10<sup>12</sup>, to high precision to check [[Montgomery's pair correlation conjecture]].
| |
| |-
| |
| |1992
| |
| |A few of large (~10<sup>20</sup>) height
| |
| |{{harvs|txt|first=A. M. |last=Odlyzko|year1=1992}} computed a 175 million zeroes of heights around 10<sup>20</sup> and a few more of heights around 2{{e|20}}, and gave an extensive discussion of the results.
| |
| |-
| |
| |1998
| |
| |10000 of large (~10<sup>21</sup>) height
| |
| |{{harvs|txt|first=A. M. |last=Odlyzko|year1=1998}} computed some zeros of height about 10<sup>21</sup>
| |
| |-
| |
| |2001
| |
| |{{gaps|10|000|000|000}}
| |
| |J. van de Lune (unpublished)
| |
| |-
| |
| |2004
| |
| |{{gaps|900|000|000|000}}
| |
| |S. Wedeniwski ([[ZetaGrid]] distributed computing)
| |
| |-
| |
| |2004
| |
| |{{gaps|10|000|000|000|000}} and a few of large (up to ~10<sup>24</sup>) heights
| |
| |X. {{harvtxt|Gourdon|2004}} and Patrick Demichel used the [[Odlyzko–Schönhage algorithm]]. They also checked two billion zeros around heights 10<sup>13</sup>, 10<sup>14</sup>, ..., 10<sup>24</sup>.
| |
| |}
| |
| | |
| ===Gram points===
| |
| A [[Gram point]] is a point on the critical line 1/2 + ''it'' where the zeta function is real and non-zero. Using the expression for the zeta function on the critical line, ζ(1/2 + ''it'') = ''Z''(''t'')e<sup> − ''i''θ(''t'')</sup>, where Hardy's function, [[Z function|''Z'']], is real for real ''t'', and θ is the [[Riemann–Siegel theta function]], we see that zeta is real when sin(θ(''t'')) = 0. This implies that θ(''t'') is an integer multiple of π which allows for the location of Gram points to be calculated fairly easily by inverting the formula for θ. They are usually numbered as ''g''<sub>''n''</sub> for ''n'' = 0, 1, ..., where ''g''<sub>''n''</sub> is the unique solution of θ(''t'') = ''n''π.
| |
| | |
| Gram observed that there was often exactly one zero of the zeta function between any two Gram points; Hutchinson called this observation '''Gram's law'''. There are several other closely related statements that are also sometimes called Gram's law: for example, (−1)<sup>''n''</sup>''Z''(''g''<sub>''n''</sub>) is usually positive, or ''Z''(''t'') usually has opposite sign at consecutive Gram points. The imaginary parts γ<sub>''n''</sub> of the first few zeros (in blue) and the first few Gram points ''g''<sub>''n''</sub> are given in the following table
| |
| {| class="wikitable"
| |
| |-
| |
| |
| |
| |
| |
| |''g''<sub>−1</sub>
| |
| |style="background: #eef"|γ<sub>1</sub>
| |
| |''g''<sub>0</sub>
| |
| |style="background: #eef"|γ<sub>2</sub>
| |
| |''g''<sub>1</sub>
| |
| |style="background: #eef"|γ<sub>3</sub>
| |
| |''g''<sub>2</sub>
| |
| |style="background: #eef"|γ<sub>4</sub>
| |
| |''g''<sub>3</sub>
| |
| |style="background: #eef"|γ<sub>5</sub>
| |
| |''g''<sub>4</sub>
| |
| |style="background: #eef"|γ<sub>6</sub>
| |
| |''g''<sub>5</sub>
| |
| |-
| |
| |0.000
| |
| |3.436
| |
| |9.667
| |
| |style="background: #eef"|14.135
| |
| |17.846
| |
| |style="background: #eef"|21.022
| |
| |23.170
| |
| |style="background: #eef"|25.011
| |
| |27.670
| |
| |style="background: #eef"|30.425
| |
| |31.718
| |
| |style="background: #eef"|32.935
| |
| |35.467
| |
| |style="background: #eef"|37.586
| |
| |38.999
| |
| |}
| |
| | |
| [[File:Zeta polar.svg|thumb|This shows the values of ζ(1/2+it) in the complex plane for 0 ≤ t ≤ 34. (For t=0, ζ(1/2) ≈ -1.460 corresponds to the leftmost point of the red curve.) Gram's law states that the curve usually crosses the real axis once between zeros.]] The first failure of Gram's law occurs at the 127'th zero and the Gram point ''g''<sub>126</sub>, which are in the "wrong" order.
| |
| | |
| {| class="wikitable"
| |
| |-
| |
| |''g''<sub>124</sub>
| |
| |style="background: #eef"|γ<sub>126</sub>
| |
| |''g''<sub>125</sub>
| |
| |''g''<sub>126</sub>
| |
| !style="background: #eef"|γ<sub>127</sub>
| |
| |style="background: #eef"|γ<sub>128</sub>
| |
| |''g''<sub>127</sub>
| |
| |style="background: #eef"|γ<sub>129</sub>
| |
| |''g''<sub>128</sub>
| |
| |-
| |
| |279.148
| |
| |style="background: #eef"|279.229
| |
| |280.802
| |
| |282.455
| |
| !style="background: #eef"|282.465
| |
| |style="background: #eef"|283.211
| |
| |284.104
| |
| |style="background: #eef"|284.836
| |
| |285.752
| |
| |}
| |
| | |
| A Gram point ''t'' is called good if the zeta function is positive at 1/2 + ''it''. The indices of the "bad" Gram points where ''Z'' has the "wrong" sign are 126, 134, 195, 211, ... {{OEIS|id=A114856}}. A '''Gram block''' is an interval bounded by two good Gram points such that all the Gram points between them are bad. A refinement of Gram's law called Rosser's rule due to {{harvtxt|Rosser|Yohe|Schoenfeld|1969}} says that Gram blocks often have the expected number of zeros in them (the same as the number of Gram intervals), even though some of the individual Gram intervals in the block may not have exactly one zero in them. For example, the interval bounded by ''g''<sub>125</sub> and ''g''<sub>127</sub> is a Gram block containing a unique bad Gram point ''g''<sub>126</sub>, and contains the expected number 2 of zeros although neither of its two Gram intervals contains a unique zero. Rosser et al. checked that there were no exceptions to Rosser's rule in the first 3 million zeros, although there are infinitely many exceptions to Rosser's rule over the entire zeta function.
| |
| | |
| Gram's rule and Rosser's rule both say that in some sense zeros do not stray too far from their expected positions. The distance of a zero from its expected position is controlled by the function ''S'' defined above, which grows extremely slowly: its average value is of the order of (log log ''T'')<sup>1/2</sup>, which only reaches 2 for T around 10<sup>24</sup>. This means that both rules hold most of the time for small ''T'' but eventually break down often. Indeed {{harvtxt|Trudgian|2011}} showed that both Gram's law and Rosser's rule fail in a positive proportion of cases. To be more specific, it is expected that in about 73% one zero is enclosed by two successive Gram points, but in 14% no zero and in 13% two zeros are in such a Gram-interval on the long run.
| |
| | |
| ==Arguments for and against the Riemann hypothesis==
| |
| Mathematical papers about the Riemann hypothesis tend to be cautiously noncommittal about its truth. Of authors who express an opinion, most of them, such as {{harvtxt|Riemann|1859}} or {{harvtxt|Bombieri|2000}}, imply that they expect (or at least hope) that it is true. The few authors who express serious doubt about it include {{harvtxt|Ivić|2008}} who lists some reasons for being skeptical, and {{harvtxt|Littlewood|1962}} who flatly states that he believes it to be false, and that there is no evidence whatever for it and no imaginable reason for it to be true. The consensus of the survey articles ({{harvnb|Bombieri|2000}}, {{harvnb|Conrey|2003}}, and {{harvnb|Sarnak|2008}}) is that the evidence for it is strong but not overwhelming, so that while it is probably true there is some reasonable doubt about it.
| |
| | |
| Some of the arguments for (or against) the Riemann hypothesis are listed by {{harvtxt|Sarnak|2008}}, {{harvtxt|Conrey|2003}}, and {{harvtxt|Ivić|2008}}, and include the following reasons.
| |
| * Several analogues of the Riemann hypothesis have already been proved. The proof of the Riemann hypothesis for varieties over finite fields by {{harvtxt|Deligne|1974}} is possibly the single strongest theoretical reason in favor of the Riemann hypothesis. This provides some evidence for the more general conjecture that all zeta functions associated with automorphic forms satisfy a Riemann hypothesis, which includes the classical Riemann hypothesis as a special case. Similarly [[Selberg zeta function]]s satisfy the analogue of the Riemann hypothesis, and are in some ways similar to the Riemann zeta function, having a functional equation and an infinite product expansion analogous to the Euler product expansion. However there are also some major differences; for example they are not given by Dirichlet series. The Riemann hypothesis for the [[Goss zeta function]] was proved by {{harvtxt|Sheats|1998}}. In contrast to these positive examples, however, some [[Epstein zeta function]]s do not satisfy the Riemann hypothesis, even though they have an infinite number of zeros on the critical line {{harv|Titchmarsh|1986}}. These functions are quite similar to the Riemann zeta function, and have a Dirichlet series expansion and a functional equation, but the ones known to fail the Riemann hypothesis do not have an Euler product and are not directly related to [[automorphic representation]]s.
| |
| * The numerical verification that many zeros lie on the line seems at first sight to be strong evidence for it. However analytic number theory has had many conjectures supported by large amounts of numerical evidence that turn out to be false. See [[Skewes number]] for a notorious example, where the first exception to a plausible conjecture related to the Riemann hypothesis probably occurs around 10<sup>316</sup>; a counterexample to the Riemann hypothesis with imaginary part this size would be far beyond anything that can currently be computed.{{why|date=December 2013}} The problem is that the behavior is often influenced by very slowly increasing functions such as log log ''T'', that tend to infinity, but do so so slowly that this cannot be detected by computation. Such functions occur in the theory of the zeta function controlling the behavior of its zeros; for example the function ''S''(''T'') above has average size around (log log ''T'')<sup>1/2</sup> . As ''S''(''T'') jumps by at least 2 at any counterexample to the Riemann hypothesis, one might expect any counterexamples to the Riemann hypothesis to start appearing only when ''S''(''T'') becomes large. It is never much more than 3 as far as it has been calculated, but is known to be unbounded, suggesting that calculations may not have yet reached the region of typical behavior of the zeta function.
| |
| * [[Arnaud Denjoy|Denjoy]]'s probabilistic argument for the Riemann hypothesis {{harv|Edwards|1974}} is based on the observation that if μ(''x'') is a random sequence of "1"s and "−1"s then, for every {{nowrap|ε > 0}}, the [[partial sum]]s
| |
| ::<math>M(x) = \sum_{n \le x} \mu(n)</math>
| |
| :(the values of which are positions in a [[simple random walk]]) satisfy the bound
| |
| ::<math>M(x) = O(x^{1/2+\varepsilon})</math>
| |
| :with [[Almost surely|probability 1]]. The Riemann hypothesis is equivalent to this bound for the [[Möbius function]] μ and the [[Mertens function]] ''M'' derived in the same way from it. In other words, the Riemann hypothesis is in some sense equivalent to saying that μ(''x'') behaves like a random sequence of coin tosses. When μ(''x'') is non-zero its sign gives the parity of the number of prime factors of ''x'', so informally the Riemann hypothesis says that the parity of the number of prime factors of an integer behaves randomly. Such probabilistic arguments in number theory often give the right answer, but tend to be very hard to make rigorous, and occasionally give the wrong answer for some results, such as [[Maier's theorem]].
| |
| * The calculations in {{harvtxt|Odlyzko|1987}} show that the zeros of the zeta function behave very much like the eigenvalues of a random Hermitian matrix, suggesting that they are the eigenvalues of some self-adjoint operator, which would imply the Riemann hypothesis. However all attempts to find such an operator have failed.
| |
| * There are several theorems, such as [[Goldbach's weak conjecture|the weak Goldbach conjecture]] for sufficiently large odd numbers, that were first proved using the generalized Riemann hypothesis, and later shown to be true unconditionally. This could be considered as weak evidence for the generalized Riemann hypothesis, as several of its "predictions" turned out to be true.
| |
| * Lehmer's phenomenon {{harv|Lehmer|1956}} where two zeros are sometimes very close is sometimes given as a reason to disbelieve in the Riemann hypothesis. However one would expect this to happen occasionally just by chance even if the Riemann hypothesis were true, and Odlyzko's calculations suggest that nearby pairs of zeros occur just as often as predicted by [[Montgomery's pair correlation conjecture|Montgomery's conjecture]].
| |
| * {{harvtxt|Patterson|1988}} suggests that the most compelling reason for the Riemann hypothesis for most mathematicians is the hope that primes are distributed as regularly as possible.
| |
| | |
| ==See also==
| |
| {{Portal|Analysis}}
| |
| *[[Generalized Riemann hypothesis]]
| |
| *[[Grand Riemann hypothesis]]
| |
| *[[Riemann hypothesis for curves over finite fields]]
| |
| *[[Hilbert's eighth problem]]
| |
| *[[Millennium Prize Problems]]
| |
| | |
| ==References==
| |
| {{refbegin|2}}
| |
| * {{Citation | last1=Artin | first1=Emil | author1-link=Emil Artin | title=Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil | doi=10.1007/BF01181075 | year=1924 | journal=[[Mathematische Zeitschrift]] | pages=207–246 | volume=19 | issue=1}}
| |
| * {{Citation | author1-link=Arne Beurling | last1=Beurling | first1=Arne | title=A closure problem related to the Riemann zeta-function | mr=0070655 | year=1955 | journal=[[Proceedings of the National Academy of Sciences|Proceedings of the National Academy of Sciences of the United States of America]] | volume=41 | pages=312–314 | doi=10.1073/pnas.41.5.312 | issue=5}}
| |
| * {{Citation | last1=Bohr | first1=H. | author1-link=Harald Bohr | last2=Landau | first2=E. | author2-link=Edmund Landau | title=Ein Satz über Dirichletsche Reihen mit Anwendung auf die ζ-Funktion und die ''L''-Funktionen | doi=10.1007/BF03014823 | journal=[[Rendiconti del Circolo Matematico di Palermo]] | volume=37 | issue = 1 | year=1914 | pages=269–272}}
| |
| * {{citation|last=Bombieri|year=2000|first= Enrico|authorlink=Enrico Bombieri|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf |format=PDF|title=The Riemann Hypothesis – official problem description|publisher=[[Clay Mathematics Institute]]|accessdate=2008-10-25}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{citation|isbn=978-0-387-72125-5|title=The Riemann Hypothesis: A Resource for the {{sic|Af|ficionado|hide=y}} and Virtuoso Alike |series=CMS Books in Mathematics|publisher=Springer|place=New York|year=2008
| |
| |editor1-first=Peter|editor1-last= Borwein|editor1-link=Peter Borwein|editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan|editor3-last= Rooney |editor4-first= Andrea|editor4-last= Weirathmueller|displayeditors=4|doi=10.1007/978-0-387-72126-2}}
| |
| * {{Citation | last1=Borwein | first1=Peter |author1-link=Peter Borwein| last2=Ferguson | first2=Ron | last3=Mossinghoff | first3=Michael J. | title=Sign changes in sums of the Liouville function | doi=10.1090/S0025-5718-08-02036-X | mr=2398787 | year=2008 | journal=[[Mathematics of Computation]] | volume=77 | issue=263 | pages=1681–1694}}
| |
| * {{Citation | authorlink=Louis de Branges | last1=de Branges | first1=Louis | title=The convergence of Euler products | doi=10.1016/0022-1236(92)90103-P | mr=1165869 | year=1992 | journal=Journal of Functional Analysis | volume=107 | issue=1 | pages=122–210}}
| |
| * {{Citation | authorlink=Pierre Cartier (mathematician) | last1=Cartier | first1=P. | title=Seminar on Number Theory, Paris 1980–81 (Paris, 1980/1981) | publisher=Birkhäuser Boston | location=Boston, MA | series=Progr. Math. | mr=693308 | year=1982 | volume=22 | chapter=Comment l'hypothèse de Riemann ne fut pas prouvée | pages=35–48}}
| |
| * {{Citation | last1=Connes | first1=Alain | author1-link=Alain Connes | title=Trace formula in noncommutative geometry and the zeros of the Riemann zeta function | doi=10.1007/s000290050042 | arxiv=math/9811068 |mr=1694895 | year=1999 | journal=Selecta Mathematica. New Series | volume=5 | issue=1 | pages=29–106}}
| |
| * {{Citation | last1=Connes | first1=Alain | author1-link=Alain Connes | title=Mathematics: frontiers and perspectives | publisher=[[American Mathematical Society]] | location=Providence, R.I. | mr=1754766 | year=2000 | chapter=Noncommutative geometry and the Riemann zeta function | pages=35–54}}
| |
| * {{citation| last=Conrey|first= J. B.|authorlink=Brian Conrey|title=More than two fifths of the zeros of the Riemann zeta function are on the critical line|journal= J. Reine angew. Math.|volume= 399 |year=1989|pages= 1–16
| |
| |url=http://www.digizeitschriften.de/resolveppn/GDZPPN002206781| mr=1004130}}
| |
| * {{citation|authorlink=Brian Conrey|last=Conrey|first= J. Brian|title=The Riemann Hypothesis|journal=Notices of the American Mathematical Society|year= 2003|pages=341–353|url= http://www.ams.org/notices/200303/fea-conrey-web.pdf|format=PDF}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{Citation | last1=Conrey | first1=J. B. |author1-link=Brian Conrey| last2=Li | first2=Xian-Jin |author2-link=Xian-Jin Li| title=A note on some positivity conditions related to zeta and L-functions | doi=10.1155/S1073792800000489 | arxiv=math/9812166 |mr=1792282 | year=2000 | journal=International Mathematics Research Notices | issue=18 | pages=929–940 | volume=2000}}
| |
| * {{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil. I | url=http://www.numdam.org/item?id=PMIHES_1974__43__273_0 | mr=0340258 | year=1974 | journal=[[Publications Mathématiques de l'IHÉS]] | volume=43 | pages=273–307 | doi=10.1007/BF02684373}}
| |
| * {{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil : II | url=http://www.numdam.org/item?id=PMIHES_1980__52__137_0 | year=1980 | journal=Publications Mathématiques de l'IHÉS | volume=52 | pages=137–252 | doi=10.1007/BF02684780}}
| |
| * {{Citation | last1=Deninger | first1=Christopher|authorlink=Christopher Deninger | title=Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998) | url=http://www.mathematik.uni-bielefeld.de/documenta/xvol-icm/00/Deninger.MAN.html | mr=1648030 | year=1998 | journal=Documenta Mathematica | chapter=Some analogies between number theory and dynamical systems on foliated spaces | pages=163–186}}
| |
| * {{Citation | last1=Derbyshire | first1=John | author1-link=John Derbyshire | title=[[Prime Obsession]] | publisher=Joseph Henry Press, Washington, DC | isbn=978-0-309-08549-6 | mr=1968857 | year=2003}}
| |
| * {{Citation | last1=Dyson | first1=Freeman |author1-link=Freeman Dyson| title=Birds and frogs | url=http://www.ams.org/notices/200902/rtx090200212p.pdf | mr=2483565 | year=2009 | journal=[[Notices of the American Mathematical Society]] | volume=56 | issue=2 | pages=212–223}}
| |
| * {{Citation | last1=Edwards | first1=H. M. | authorlink = Harold Edwards (mathematician) | title=Riemann's Zeta Function | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-41740-0 | mr=0466039 | year=1974}}
| |
| * {{Citation | last1=Fesenko | first1=Ivan | author1-link=Ivan Fesenko| title=Analysis on arithmetic schemes. II | year=2010 | journal=Journal of K-theory| volume=5 | pages=437–557}}
| |
| * {{Citation | last1=Ford | first1=Kevin | title=Vinogradov's integral and bounds for the Riemann zeta function | doi=10.1112/S0024611502013655 | mr=1936814 | year=2002 | journal=Proceedings of the London Mathematical Society. Third Series | volume=85 | issue=3 | pages=565–633}}
| |
| * {{citation|author2-link=E. Landau | first=J. |last=Franel|author1-link=Jérôme Franel|first2=E. |last2=Landau|title=Les suites de Farey et le problème des nombres premiers" (Franel, 198–201); "Bemerkungen zu der vorstehenden Abhandlung von Herrn Franel (Landau, 202–206) |journal=Göttinger Nachrichten |pages=198–206|year=1924}}
| |
| * {{citation|first=Amit|last= Ghosh|title= On the Riemann zeta function—mean value theorems and the distribution of |S(T)|| journal= J. Number Theory |volume=17 | pages=93–102|year=1983|doi=10.1016/0022-314X(83)90010-0 }}
| |
| * {{citation|url=http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeros1e13-1e24.pdf|format=PDF|last=Gourdon|first=Xavier|title=The 10<sup>13</sup> first zeros of the Riemann Zeta function, and zeros computation at very large height|year=2004}}
| |
| * {{citation|first=J. P.|last= Gram|authorlink=Jørgen Pedersen Gram|title= Note sur les zéros de la fonction ζ(s) de Riemann|journal= Acta Mathematica|volume=27|pages=289–304|year=1903|doi=10.1007/BF02421310}}
| |
| * {{citation|first=Jacques |last=Hadamard|authorlink=Jacques Hadamard|title=Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques|journal= Bulletin Société Mathématique de France |volume=14|year=1896|pages= 199–220|url=http://www.numdam.org/item?id=BSMF_1896__24__199_1}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{citation|last=Hardy|first= G. H.|authorlink=G. H. Hardy|title= Sur les Zéros de la Fonction ζ(s) de Riemann|journal=C. R. Acad. Sci. Paris |volume=158|pages= 1012–1014 |year=1914|url=http://gallica.bnf.fr/ark:/12148/bpt6k3111d.image.f1014.langEN|jfm=45.0716.04}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{citation|last=Hardy|first= G. H.|author1-link=G. H. Hardy|last2= Littlewood|first2= J. E.|author2-link=John Edensor Littlewood|title= The zeros of Riemann's zeta-function on the critical line|journal= Math. Z.|volume= 10|pages= 283–317 |year=1921|doi=10.1007/BF01211614|issue=3–4}}
| |
| * {{Citation | last1=Haselgrove | first1=C. B. | title=A disproof of a conjecture of Pólya | mr=0104638 | year=1958 | journal=Mathematika | volume=5 | pages=141–145 | doi=10.1112/S0025579300001480 | issue=2 | issn=0025-5793 | zbl=0085.27102 }} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{Citation | last1=Haselgrove | first1=C. B. |author1-link=C. Brian Haselgrove| last2=Miller | first2=J. C. P. |author2-link=J. C. P. Miller| title=Tables of the Riemann zeta function | publisher=[[Cambridge University Press]] | series=Royal Society Mathematical Tables, Vol. 6 | mr=0117905 | year=1960|isbn=978-0-521-06152-0}} [http://www.jstor.org/stable/2003098 Review]
| |
| * {{Citation | last1=Hutchinson | first1=J. I. |authorlink=John Irwin Hutchinson| title=On the Roots of the Riemann Zeta-Function | jstor=1989163 | year=1925 | journal=[[Transactions of the American Mathematical Society]] | volume=27 | pages=49–60 | doi=10.2307/1989163 | issue=1}}
| |
| * {{Citation | last1=Ingham | first1=A.E. | authorlink=Albert Ingham|title=The Distribution of Prime Numbers | publisher=Cambridge University Press | series = Cambridge Tracts in Mathematics and Mathematical Physics | volume=30 | year=1932}}. Reprinted 1990, ISBN 978-0-521-39789-6, {{MathSciNet|1074573}}
| |
| * {{citation
| |
| | last1 = Ireland | first1 = Kenneth
| |
| | last2 = Rosen | first2 = Michael | author2-link = Michael Rosen (mathematician)
| |
| | title = A Classical Introduction to Modern Number Theory (Second edition)
| |
| | publisher = [[Springer Science+Business Media|Springer]]
| |
| | location = New York
| |
| | year = 1990
| |
| | isbn = 0-387-97329-X}}
| |
| * {{Citation | last1=Ivić | first1=A. | title=The Riemann Zeta Function | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-80634-9 | mr=0792089 | year=1985}} (Reprinted by Dover 2003)
| |
| * {{citation|last=Ivić|first=Aleksandar|chapter=On some reasons for doubting the Riemann hypothesis|isbn=978-0-387-72125-5|pages=131–160|editor1-last= Borwein|title=The Riemann Hypothesis: A Resource for the {{sic|Af|ficionado|hide=y}} and Virtuoso Alike |series=CMS Books in Mathematics|publisher=Springer|place=New York|year=2008
| |
| |editor1-first=Peter |editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan|editor3-last= Rooney |editor4-first= Andrea|editor4-last= Weirathmueller|displayeditors=4|arxiv=math.NT/0311162}}
| |
| *{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba| title=Zeros of the function ζ(s) on short intervals of the critical line| pages=569–584| journal= Izv. Akad. Nauk SSSR, Ser. Mat.| volume=48|issue=3| year=1984a|mr=0747251|language=Russian}}
| |
| *{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba|title= Distribution of zeros of the function ''ζ''(1/2 + ''it'')| pages=1214–1224 | journal= Izv. Akad. Nauk SSSR, Ser. Mat.| volume=48|issue=6|year=1984b|mr=0772113|language=Russian}}
| |
| *{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba| title= Zeros of the Riemann zeta-function on the critical line| pages=167–178| journal= Trudy Mat. Inst. Steklov.| issue=167| year=1985|mr=0804073|language=Russian}}
| |
| *{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba| title= On the number of zeros of the Riemann zeta-function lying in almost all short intervals of the critical line | pages=372–397| journal= Izv. Ross. Akad. Nauk, Ser. Mat.| volume=56|issue=2| year=1992|language=Russian|mr=1180378}}
| |
| * {{Citation | last1=Karatsuba | first1=A. A. |author1-link=Anatolii Alexeevitch Karatsuba| last2=Voronin | first2=S. M. | title=The Riemann zeta-function | publisher=Walter de Gruyter & Co. | location=Berlin | series=de Gruyter Expositions in Mathematics | isbn=978-3-11-013170-3 | mr=1183467 | year=1992 | volume=5}}
| |
| * {{Citation | last1=Keating | first1=Jonathan P. | last2=Snaith | first2=N. C.|author2-link=Nina Snaith | title=Random matrix theory and ''ζ''(1/2 + ''it'') | doi=10.1007/s002200000261 | mr=1794265 | year=2000 | journal=Communications in Mathematical Physics | volume=214 | issue=1 | pages=57–89}}
| |
| * {{Citation | last1=Knauf | first1=Andreas | title=Number theory, dynamical systems and statistical mechanics | mr=1714352 | year=1999 | journal=Reviews in Mathematical Physics. A Journal for Both Review and Original Research Papers in the Field of Mathematical Physics | volume=11 | issue=8 | pages=1027–1060|doi=10.1142/S0129055X99000325}}
| |
| * {{citation|first=Helge|last=von Koch|authorlink=Helge von Koch|doi=10.1007/BF02403071|title=Sur la distribution des nombres premiers|journal=Acta Mathematica|volume=24|year=1901|pages= 159–182}}
| |
| * {{Citation | last1=Kurokawa | first1=Nobushige | title=Zeta functions in geometry (Tokyo, 1990) | publisher=Kinokuniya | location=Tokyo | series=Adv. Stud. Pure Math. | mr=1210791 | year=1992 | volume=21 | chapter=Multiple zeta functions: an example | pages=219–226}}
| |
| * {{Citation | last1=Lapidus | first1=Michel L. | title=In search of the Riemann zeros | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-4222-5 | mr=2375028 | year=2008}}
| |
| * {{eom|id=Z/z099260|first=A. F. |last=Lavrik|title=Zeta-function}}
| |
| * {{Citation | last1=Lehmer | first1=D. H. | author1-link=D. H. Lehmer | title=Extended computation of the Riemann zeta-function | mr=0086083 | year=1956 | journal=Mathematika. A Journal of Pure and Applied Mathematics | volume=3 | pages=102–108 | doi=10.1112/S0025579300001753 | issue=2}}
| |
| *{{citation
| |
| | last = Leichtnam | first = Eric | author-link = Eric Leichtnam
| |
| | contribution = An invitation to Deninger's work on arithmetic zeta functions
| |
| | location = Providence, RI
| |
| | mr = 2180209
| |
| | pages = 201–236
| |
| | publisher = Amer. Math. Soc.
| |
| | series = Contemp. Math.
| |
| | title = Geometry, spectral theory, groups, and dynamics
| |
| | volume = 387
| |
| | year = 2005}}.
| |
| * {{citation|mr=0564081|last=Levinson|first=N.|authorlink=Norman Levinson|title= More than one-third of the zeros of Riemann's zeta function are on σ = 1/2|journal= Adv. In Math. |volume=13 |year=1974|pages= 383–436
| |
| |doi=10.1016/0001-8708(74)90074-7|issue=4}}
| |
| * {{citation|last= Littlewood|first=J. E. |authorlink=John Edensor Littlewood|title=The scientist speculates: an anthology of partly baked idea|chapter=The Riemann hypothesis|year=1962|publisher=Basic books|place=New York}}
| |
| * {{Citation | last1=van de Lune | first1=J. | last2=te Riele | first2=H. J. J. |author2-link=Herman te Riele | last3=Winter | first3=D. T. | title=On the zeros of the Riemann zeta function in the critical strip. IV | jstor=2008005 | mr=829637 | year=1986 | journal=Mathematics of Computation | volume=46 | issue=174 | pages=667–681 | doi=10.2307/2008005}}
| |
| * {{Citation | last1=Massias | first1=J.-P. | last2=Nicolas | first2=Jean-Louis | last3=Robin | first3=G. | title=Évaluation asymptotique de l'ordre maximum d'un élément du groupe symétrique | url=http://matwbn.icm.edu.pl/tresc.php?wyd=6&tom=50&jez= | mr=960551 | year=1988 | journal=Polska Akademia Nauk. Instytut Matematyczny. Acta Arithmetica | volume=50 | issue=3 | pages=221–242}}
| |
| * {{Citation | last1=Montgomery | first1=Hugh L. |authorlink=Hugh Montgomery (mathematician)| title=Analytic number theory |series=Proc. Sympos. Pure Math.|volume= XXIV | publisher=American Mathematical Society | location=Providence, R.I. | mr=0337821 | year=1973 | chapter=The pair correlation of zeros of the zeta function | pages=181–193}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{Citation | last1=Montgomery | first1=Hugh L. |authorlink=Hugh Montgomery (mathematician)| editor1-last=Erdős | editor1-first=Paul |editor1-link=Paul Erdős |title=Studies in pure mathematics. To the memory of Paul Turán | publisher=Birkhäuser | location=Basel, Boston, Berlin | isbn=978-3-7643-1288-6 | mr=820245 | year=1983 | chapter=Zeros of approximations to the zeta function | pages=497–506}}
| |
| * {{citation | last = Nicely | first = Thomas R. | doi = 10.1090/S0025-5718-99-01065-0 | mr = 1627813 | issue = 227 | journal = Mathematics of Computation | pages = 1311–1315 | title = New maximal prime gaps and first occurrences | url = http://www.trnicely.net/gaps/gaps.html | volume = 68 | year = 1999}}.
| |
| * {{Citation | last1=Nyman | first1=Bertil | title=On the One-Dimensional Translation Group and Semi-Group in Certain Function Spaces | publisher=University of Uppsala | location=University of Uppsala | series=PhD Thesis | mr=0036444 | year=1950}}
| |
| * {{Citation | last1=Odlyzko | first1=A. M. | author1-link=Andrew Odlyzko| last2=te Riele | first2=H. J. J. | author2-link=Herman te Riele|title=Disproof of the Mertens conjecture | url=http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262633 | mr=783538 | year=1985 | journal=[[Journal für die reine und angewandte Mathematik]] | volume=357 | pages=138–160 | doi=10.1515/crll.1985.357.138}}
| |
| * {{Citation | last1=Odlyzko | first1=A. M. |authorlink=Andrew Odlyzko| title=On the distribution of spacings between zeros of the zeta function | jstor=2007890 | mr=866115 | year=1987 | journal=Mathematics of Computation | volume=48 | issue=177 | pages=273–308 | doi=10.2307/2007890}}
| |
| * {{Citation | last1=Odlyzko | first1=A. M. |authorlink= Andrew Odlyzko| title=Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results | url=http://www.numdam.org/item?id=JTNB_1990__2_1_119_0 | mr=1061762 | year=1990 | journal=Séminaire de Théorie des Nombres de Bordeaux|series= Série 2 | volume=2 | issue=1 | pages=119–141}}
| |
| * {{citation|first=A. M.|last= Odlyzko|authorlink= Andrew Odlyzko |title=The 10<sup>20</sup>-th zero of the Riemann zeta function and 175 million of its neighbors|year= 1992|url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to20.1992.pdf}} This unpublished book describes the implementation of the algorithm and discusses the results in detail.
| |
| * {{citation|first=A. M.|last= Odlyzko|authorlink= Andrew Odlyzko |title=The 10<sup>21</sup>st zero of the Riemann zeta function|year=1998|url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to21.pdf}}
| |
| * {{citation|first=Ken |last=Ono |authorlink=Ken Ono |first2=K. |last2=Soundararajan |authorlink2=Kannan Soundararajan |year=1997 |title=Ramanujan's ternary quadratic form |journal=Inventiones Mathematicae |volume=130 |issue=3 |pages=415–454 |doi=10.1007/s002220050191 }}
| |
| * {{Citation | last1=Patterson | first1=S. J. | title=An introduction to the theory of the Riemann zeta-function | publisher=Cambridge University Press | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-33535-5 | mr=933558 | year=1988 | volume=14}}
| |
| * {{citation
| |
| | last1 = Ribenboim | first1 = Paulo | authorlink = Paulo Ribenboim
| |
| | title = The New Book of Prime Number Records
| |
| | publisher = [[Springer Science+Business Media|Springer]]
| |
| | location = New York
| |
| | year = 1996
| |
| | isbn = 0-387-94457-5}}
| |
| * {{citation|first=Bernhard|last=Riemann|authorlink=Bernhard Riemann|url=http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/|title={{sic|hide=y|Ueber}} die Anzahl der Primzahlen unter einer gegebenen {{sic|hide=y|Grösse}}|year=1859|journal=Monatsberichte der Berliner Akademie}}. In ''Gesammelte Werke'', Teubner, Leipzig (1892), Reprinted by Dover, New York (1953). [http://www.claymath.org/millennium/Riemann_Hypothesis/1859_manuscript/ Original manuscript] (with English translation). Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}} and {{harv|Edwards|1874}}
| |
| * {{Citation | author1-link=Hans Riesel | last1=Riesel | first1=Hans | last2=Göhl | first2=Gunnar | title=Some calculations related to Riemann's prime number formula | doi=10.2307/2004630 | mr=0277489 | year=1970 | journal=Mathematics of Computation | volume=24 | pages=969–983 | jstor=2004630 | issue=112}}
| |
| * {{citation|first=M.|last=Riesz|authorlink=Marcel Riesz|title=Sur l'hypothèse de Riemann|journal=Acta Mathematica|volume=40|year=1916|pages=185–190|doi=10.1007/BF02418544}}
| |
| * {{Citation | last1=Robin | first1=G. | title=Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann | mr=774171 | year=1984 | journal=[[Journal de Mathématiques Pures et Appliquées]]|series= Neuvième Série | volume=63 | issue=2 | pages=187–213}}
| |
| * {{Citation | last1=Rockmore | first1=Dan | title=Stalking the Riemann hypothesis | publisher=Pantheon Books | isbn=978-0-375-42136-5 | mr=2269393 | year=2005}}
| |
| * {{Citation | last1=Rosser | first1=J. Barkley |author1-link=J. Barkley Rosser| last2=Yohe | first2=J. M. | last3=Schoenfeld | first3=Lowell |author3-link=Lowell Schoenfeld| title=Information Processing 68 (Proc. IFIP Congress, Edinburgh, 1968), Vol. 1: Mathematics, Software | publisher=North-Holland | location=Amsterdam | mr=0258245 | year=1969 | chapter=Rigorous computation and the zeros of the Riemann zeta-function. (With discussion) | pages=70–76}}
| |
| * {{citation
| |
| | last1 = Rudin | first1 = Walter | authorlink = Walter Rudin
| |
| | title = Functional Analysis, 1st edition (January 1973)
| |
| | publisher = [[McGraw-Hill]]
| |
| | location = New York
| |
| | year = 1973
| |
| | isbn = 0-070-54225-2}}
| |
| * {{Citation | last1=Sabbagh | first1=Karl | author1-link=Karl Sabbagh |title=The Riemann hypothesis | publisher=Farrar, Straus and Giroux, New York | isbn=978-0-374-25007-2 | mr=1979664 | year=2003}}
| |
| * {{Citation | last1=Salem | first1=Raphaël |authorlink=Raphaël Salem| title=Sur une proposition équivalente à l'hypothèse de Riemann | mr=0053148 | year=1953 | journal=[[Les Comptes rendus de l'Académie des sciences]] | volume=236 | pages=1127–1128}}
| |
| * {{citation|url=http://www.claymath.org/sites/default/files/sarnak_rh_0.pdf |format=PDF|first=Peter |last=Sarnak|authorlink=Peter Sarnak|chapter=Problems of the Millennium: The Riemann Hypothesis |pages=107–115
| |
| |isbn=978-0-387-72125-5|editor1-last= Borwein|title=The Riemann Hypothesis: A Resource for the {{sic|Af|ficionado|hide=y}} and Virtuoso Alike |series=CMS Books in Mathematics|publisher=Springer|place=New York|year=2008
| |
| |editor1-first=Peter |editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan|editor3-last= Rooney |editor4-first= Andrea|editor4-last= Weirathmueller|displayeditors=4 }}
| |
| * {{Citation | last1=du Sautoy | first1=Marcus |authorlink=Marcus du Sautoy| title=The music of the primes | publisher=HarperCollins Publishers | isbn=978-0-06-621070-4 | mr=2060134 | year=2003}}
| |
| * {{Citation | last1=Schoenfeld | first1=Lowell |authorlink=Lowell Schoenfeld| title=Sharper bounds for the Chebyshev functions θ(x) and ψ(x). II | doi=10.2307/2005976 | mr=0457374 | year=1976 | journal=Mathematics of Computation | volume=30 | issue=134 | pages=337–360 | jstor=2005976}}
| |
| *{{citation|title=Physics of the Riemann Hypothesis|first=Daniel|last= Schumayer|first2= David A. W. |last2=Hutchinson|year=2011|arxiv=1101.3116}}
| |
| * {{citation|mr=0010712
| |
| |last=Selberg|first= Atle|authorlink=Atle Selberg
| |
| |title=On the zeros of Riemann's zeta-function
| |
| |journal=Skr. Norske Vid. Akad. Oslo I. |year=1942|volume= 10|pages= 59 pp}}
| |
| * {{Citation | last1=Selberg | first1=Atle|authorlink=Atle Selberg | title=Contributions to the theory of the Riemann zeta-function | mr=0020594 | year=1946 | journal=Arch. Math. Naturvid. | volume=48 | issue=5 | pages=89–155}}
| |
| * {{Citation | last1=Selberg | first1=Atle |authorlink=Atle Selberg| title=Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series | mr=0088511 | year=1956 | journal=J. Indian Math. Soc. (N.S.) | volume=20 | pages=47–87}}
| |
| * {{Citation | last1=Serre | first1=Jean-Pierre |authorlink=Peter Sarnak| title=Facteurs locaux des fonctions zeta des varietés algébriques (définitions et conjectures) | year=1970 | journal=Séminaire Delange-Pisot-Poitou|year= 1969/70 | volume=19 }}
| |
| * {{Citation | last1=Sheats | first1=Jeffrey T. | title=The Riemann hypothesis for the Goss zeta function for '''F'''<sub>q</sub>[T] | doi=10.1006/jnth.1998.2232 | mr=1630979 | year=1998 | journal=[[Journal of Number Theory]] | volume=71 | issue=1 | pages=121–157}}
| |
| * {{citation|last=Siegel|first= C. L.|authorlink=Carl Ludwig Siegel |title=Über Riemanns Nachlaß zur analytischen Zahlentheorie|journal= Quellen Studien zur Geschichte der Math. Astron. und Phys. Abt. B: Studien 2|pages= 45–80|year= 1932}} Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.
| |
| * {{Citation|last=Speiser|first=Andreas|author-link=Andreas Speiser|title=Geometrisches zur Riemannschen Zetafunktion|year=1934|journal=[[Mathematische Annalen]]|volume=110|pages=514–521|doi=10.1007/BF01448042|jfm=60.0272.04|url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0110&DMDID=DMDLOG_0032&L=1}}
| |
| * {{citation|last=Stein|first=William|author1-link=William A. Stein|last2=Mazur|first2=Barry|author2-link=Barry Mazur|year=2007|url=http://modular.math.washington.edu/edu/2007/simuw07/notes/rh.pdf|format=PDF|title=What is Riemann’s Hypothesis?}}
| |
| * {{Citation | last1=Suzuki | first1=Masatoshi | title=Positivity of certain functions associated with analysis on elliptic surfaces | year=2011 | journal=Journal of Number Theory | volume=131 | pages=1770–1796}}
| |
| * {{Citation | last1=Titchmarsh | first1=Edward Charles | author1-link=Edward Charles Titchmarsh | title=The Zeros of the Riemann Zeta-Function | jstor=96545 | publisher=The Royal Society | year=1935 | journal=Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences | volume=151 | issue=873 | pages=234–255 | doi=10.1098/rspa.1935.0146}}
| |
| * {{Citation | last1=Titchmarsh | first1=Edward Charles | author1-link=Edward Charles Titchmarsh | title=The Zeros of the Riemann Zeta-Function | jstor=96692 | publisher=The Royal Society | year=1936 | journal=Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences | volume=157 | issue=891 | pages=261–263 | doi=10.1098/rspa.1936.0192}}
| |
| * {{Citation | last1=Titchmarsh | first1=Edward Charles | author1-link=Edward Charles Titchmarsh | title=The theory of the Riemann zeta-function | publisher=The Clarendon Press Oxford University Press | edition=2nd | isbn=978-0-19-853369-6 | mr=882550 | year=1986}}
| |
| * {{Citation | last1=Trudgian | first1=Timothy | title=On the success and failure of Gram's Law and the Rosser Rule | year = 2011 | journal = Acta Arithmetica | volume =125 | pages = 225–256 }}
| |
| * {{Citation | last1=Turán | first1=Paul | authorlink=Pál Turán|title=On some approximative Dirichlet-polynomials in the theory of the zeta-function of Riemann | mr=0027305 | year=1948 | journal=Danske Vid. Selsk. Mat.-Fys. Medd. | volume=24 | issue=17 | pages=36}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{Citation | last1=Turing | first1=Alan M. | author1-link=A. M. Turing | title=Some calculations of the Riemann zeta-function | doi=10.1112/plms/s3-3.1.99 | mr=0055785 | year=1953 | journal=Proceedings of the London Mathematical Society. Third Series | volume=3 | pages=99–117}}
| |
| * {{citation|first=Ch.J.|last=de la Vallée-Poussin|authorlink=Charles Jean de la Vallée-Poussin|title=Recherches analytiques sur la théorie des nombers premiers|journal= Ann. Soc. Sci. Bruxelles |volume= 20 |year=1896 |pages= 183–256}}
| |
| * {{citation|first=Ch.J.|last=de la Vallée-Poussin|authorlink=Charles Jean de la Vallée-Poussin|title=Sur la fonction ζ(s) de Riemann et la nombre des nombres premiers inférieurs à une limite donnée|journal=Mem. Couronnes Acad. Sci. Belg. |volume= 59 |issue= 1 |year=1899–1900}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
| |
| * {{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Sur les courbes algébriques et les variétés qui s'en déduisent | publisher=Hermann et Cie., Paris | series=Actualités Sci. Ind., no. 1041 = Publ. Inst. Math. Univ. Strasbourg 7 (1945) | mr=0027151 | year=1948}}
| |
| * {{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Numbers of solutions of equations in finite fields | doi=10.1090/S0002-9904-1949-09219-4 | mr=0029393 | year=1949 | journal=[[Bulletin of the American Mathematical Society]] | volume=55 | pages=497–508 | issue=5}} Reprinted in Oeuvres Scientifiques/Collected Papers by Andre Weil ISBN 0-387-90330-5
| |
| * {{Citation | last1=Weinberger | first1=Peter J. | title=Analytic number theory ( St. Louis Univ., 1972) | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Proc. Sympos. Pure Math. | mr=0337902 | year=1973 | volume=24 | chapter=On Euclidean rings of algebraic integers | pages=321–332}}
| |
| * {{Citation | last1=Wiles | first1=Andrew | author1-link=Andrew Wiles | title=Mathematics: frontiers and perspectives | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-2697-3 | mr=1754786 | year=2000 | chapter=Twenty years of number theory | pages=329–342}}
| |
| * {{Citation | last1=Zagier | first1=Don | authorlink = Don Zagier | url=http://modular.math.washington.edu/edu/2007/simuw07/misc/zagier-the_first_50_million_prime_numbers.pdf |format=PDF| publisher=Springer| location=| mr=643810 | year=1977 | volume=0 | title=The first 50 million prime numbers | pages=7–19|journal=Math. Intelligencer | doi=10.1007/BF03039306}}
| |
| * {{Citation | last1=Zagier | first1=Don | authorlink = Don Zagier | title=Automorphic forms, representation theory and arithmetic (Bombay, 1979) | publisher=Tata Inst. Fundamental Res., Bombay | series=Tata Inst. Fund. Res. Studies in Math. | mr=633666 | year=1981 | volume=10 | chapter=Eisenstein series and the Riemann zeta function | pages=275–301}}
| |
| {{refend}}
| |
| | |
| ==External links==
| |
| * [[American institute of mathematics]], [http://www.aimath.org/WWN/rh/ Riemann hypothesis]
| |
| * {{citation|first=Tom|last=Apostol|authorlink=Tom M. Apostol|url=http://www.math.wisc.edu/~robbin/funnysongs.html#Zeta|title=Where are the zeros of zeta of s?}} Poem about the Riemann hypothesis, [http://www.olimu.com/RIEMANN/Song.htm sung] by [[John Derbyshire]].
| |
| * {{citation|title=The Riemann Hypothesis |first=Peter|last=Borwein|authorlink=Peter Borwein|url=http://oldweb.cecm.sfu.ca/~pborwein/COURSE/MATH08/LECTURE.pdf|format=PDF}} (Slides for a lecture)
| |
| * {{Citation | last1=Conrad | first1=K. | title=Consequences of the Riemann hypothesis | url=http://mathoverflow.net/questions/17232 | year=2010}}
| |
| * {{citation|url=http://aimath.org/pl/rhequivalences|first= J. Brian|last= Conrey|first2= David W |last2=Farmer|title=Equivalences to the Riemann hypothesis}}
| |
| * {{citation|first= Xavier|last= Gourdon |first2= Pascal |last2=Sebah |url=http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeroscompute.html |title=Computation of zeros of the Zeta function|year=2004}} (Reviews the GUE hypothesis, provides an extensive bibliography as well).
| |
| * {{citation|last=Odlyzko|first=Andrew|authorlink=Andrew Odlyzko|url=http://www.dtc.umn.edu/~odlyzko/|title=Home page}} including [http://www.dtc.umn.edu/~odlyzko/doc/zeta.html papers on the zeros of the zeta function] and [http://www.dtc.umn.edu/~odlyzko/zeta_tables/index.html tables of the zeros of the zeta function]
| |
| * {{citation|last=Odlyzko|first=Andrew|authorlink=Andrew Odlyzko|title=Zeros of the Riemann zeta function: Conjectures and computations|year=2002|url=http://www.dtc.umn.edu/~odlyzko/talks/riemann-conjectures.pdf|format=PDF}} Slides of a talk
| |
| * {{citation|authorlink=Ed Pegg, Jr.|first= Ed |last=Pegg|url=http://www.maa.org/editorial/mathgames/mathgames_10_18_04.html |title=Ten Trillion Zeta Zeros|year=2004|publisher=Math Games website}}. A discussion of Xavier Gourdon's calculation of the first ten trillion non-trivial zeros
| |
| * {{citation|first=Glen|last= Pugh|url=http://web.viu.ca/pughg/RiemannZeta/RiemannZetaLong.html |title=Java applet for plotting Z(t)}}
| |
| * {{citation|first=Michael |last=Rubinstein |url=http://pmmac03.math.uwaterloo.ca/~mrubinst/l_function_public/L.html |title=algorithm for generating the zeros}}.
| |
| * {{citation|first= Marcus |last=du Sautoy|authorlink=Marcus du Sautoy|url=http://www.seedmagazine.com/news/2006/03/prime_numbers_get_hitched.php|title= Prime Numbers Get Hitched|publisher=[http://www.seedmagazine.com Seed Magazine]|year=2006}}
| |
| * {{citation|last=Stein|first=William A.|authorlink=William A. Stein|url=http://modular.math.washington.edu/edu/2007/simuw07/index.html|title=What is Riemann's hypothesis}}
| |
| * {{citation|last=de Vries|first=Andreas|url=http://math-it.org/Mathematik/Riemann/RiemannApplet.html|title=The Graph of the Riemann Zeta function ζ(s)|year=2004}}, a simple animated Java applet.
| |
| * {{citation | first=Matthew R. |last=Watkins|url=http://secamlocal.ex.ac.uk/~mwatkins/zeta/RHproofs.htm | title=Proposed proofs of the Riemann Hypothesis | date=2007-07-18}}
| |
| * ''[http://www.zetagrid.net/ Zetagrid]'' (2002) A distributed computing project that attempted to disprove Riemann's hypothesis; closed in November 2005
| |
| | |
| {{L-functions-footer}}
| |
| | |
| [[Category:Zeta and L-functions]]
| |
| [[Category:Conjectures]]
| |
| [[Category:Hilbert's problems]]
| |
| [[Category:Unsolved problems in mathematics]]
| |
| [[Category:Millennium Prize Problems]]
| |
| [[Category:Hypotheses]]
| |
| [[Category:Analytic number theory]]
| |
| [[Category:1859 introductions]]
| |