Difference between revisions of "Bombieri prime number theorem"
m (link) |
(LaTeX) |
||
Line 1: | Line 1: | ||
− | For many important problems in the theory of numbers one needs information about the average distribution of prime numbers in arithmetic progressions (cf. also [[ | + | {{TEX|done}} |
+ | For many important problems in the theory of numbers one needs information about the average distribution of prime numbers in arithmetic progressions (cf. also [[Number theory]]; [[Prime number]]; [[Dirichlet theorem]]). Let $\pi(x;q,a)$ denote the number of primes $p \le x$ satisfying $p \equiv a \pmod q$. One looks for inequalities of the type ($A > 0$ arbitrary but fixed) | ||
+ | \begin{equation}\label{eq:a1} | ||
+ | \sum_{q \le Q = q(x)} \max_{y \le x} \max_{(a,q)=1} \left\vert{ \pi(y;q,a) - \frac{\mathrm{li}(y)}{\phi(q)} }\right\vert \ll x(\log x)^{-A} | ||
+ | \end{equation} | ||
+ | where $\mathrm{li}$ is the [[logarithmic integral]] (cf. also [[Distribution of prime numbers]]) and $\phi$ is the Euler totient function (cf. [[Totient function]]). | ||
− | + | The first attempt to obtain a "non-trivial" estimate of this kind was made by A. Rényi in 1948. He showed that \eqref{eq:a1} is true with $Q(x) = x^\delta$ for some small positive $\delta$. Due to subsequent refinements of M.B. Barban, Pan Cheng Dong, A.I. Vinogradov and, finally, E. Bombieri it is known that one can take $Q = x^{1/2} (\log x)^{-B}$ for some $B = B(A) > 0$. Somewhat later, P.X. Gallagher introduced major simplifications in Bombieri's arguments. More recently, R.C. Vaughan developed an ingenious new method which gives a still simpler proof by essentially elementary means; a general reference is [[#References|[a2]]]. | |
− | + | The critical exponent $1/2$ in $Q$ can conjecturally be replaced by $1-\delta$ (the Halberstam conjecture). Under certain restrictive conditions, Fouvry–Iwaniec and Bombieri–Friedlander–Iwaniec have given refinements to $11/21$ and $4/7$; see [[#References|[a1]]]. | |
− | + | The main advantage of Bombieri's theorem becomes clear by noting that the classical Page–Siegel–Walfisz prime number theorem (cf. [[Page theorem]]) only leads to the limit $Q = (\log x)^C$ for the moduli $q$ in \eqref{eq:a1}. Moreover, Bombieri's bound $Q$ is as good, apart from the logarithmic factor, as one can obtain on the assumption of the generalized Riemann hypothesis (cf. [[Riemann hypotheses]]). This makes it often possible to circumvent the use of the extended Riemann hypothesis, which has far-reaching implications in number theory; for example, it gives approaches to such important results as the Titchmarsh divisor problem, the Hardy–Littlewood formula for the number of representations of an integer as a sum of a prime and two squares or Chen's celebrated theorem that every sufficiently large even integer is the sum of a prime and an almost-prime having at most two prime factors; a general reference is [[#References|[a3]]]. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | The main advantage of Bombieri's theorem becomes clear by noting that the classical Page–Siegel–Walfisz prime number theorem (cf. [[ | ||
Bombieri's result has also been generalized to algebraic number fields, by a number of scientists. There are various ways in which this can be done, but the principle underlying the treatment is always that of the [[Large sieve|large sieve]]. In view of applications Hinz's multi-dimensional version of Bombieri's theorem is of some interest, see [[#References|[a4]]]. This leads, among other things, to an analogue of Chen's theorem in totally real fields, see [[#References|[a5]]]. | Bombieri's result has also been generalized to algebraic number fields, by a number of scientists. There are various ways in which this can be done, but the principle underlying the treatment is always that of the [[Large sieve|large sieve]]. In view of applications Hinz's multi-dimensional version of Bombieri's theorem is of some interest, see [[#References|[a4]]]. This leads, among other things, to an analogue of Chen's theorem in totally real fields, see [[#References|[a5]]]. | ||
− | See also [[ | + | See also [[Selberg sieve]]: [[Density theorems]]. |
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> E. Bombieri, J. Friedlander, H. Iwaniec, "Primes in arithmetic progressions" ''Acta Math.'' , '''156''' (1986) pp. 203–251</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H. Davenport, "Multiplicative number theory" , Berlin (1980)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> H. Halberstam, H.-E. Richert, "Sieve methods" , Acad. Press (1974)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J. Hinz, "A generalization of Bombieri's prime number theorem to algebraic number fields" ''Acta Arith.'' , '''LI''' (1988) pp. 173–193</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> J. Hinz, "Chen's theorem in totally real algebraic number fields" ''Acta Arith.'' , '''LVIII''' (1991) pp. 335–361</TD></TR></table> | + | <table> |
+ | <TR><TD valign="top">[a1]</TD> <TD valign="top"> E. Bombieri, J. Friedlander, H. Iwaniec, "Primes in arithmetic progressions" ''Acta Math.'' , '''156''' (1986) pp. 203–251</TD></TR> | ||
+ | <TR><TD valign="top">[a2]</TD> <TD valign="top"> H. Davenport, "Multiplicative number theory" , Berlin (1980)</TD></TR> | ||
+ | <TR><TD valign="top">[a3]</TD> <TD valign="top"> H. Halberstam, H.-E. Richert, "Sieve methods" , Acad. Press (1974)</TD></TR> | ||
+ | <TR><TD valign="top">[a4]</TD> <TD valign="top"> J. Hinz, "A generalization of Bombieri's prime number theorem to algebraic number fields" ''Acta Arith.'' , '''LI''' (1988) pp. 173–193</TD></TR> | ||
+ | <TR><TD valign="top">[a5]</TD> <TD valign="top"> J. Hinz, "Chen's theorem in totally real algebraic number fields" ''Acta Arith.'' , '''LVIII''' (1991) pp. 335–361</TD></TR> | ||
+ | </table> |
Latest revision as of 16:31, 23 December 2014
For many important problems in the theory of numbers one needs information about the average distribution of prime numbers in arithmetic progressions (cf. also Number theory; Prime number; Dirichlet theorem). Let $\pi(x;q,a)$ denote the number of primes $p \le x$ satisfying $p \equiv a \pmod q$. One looks for inequalities of the type ($A > 0$ arbitrary but fixed) \begin{equation}\label{eq:a1} \sum_{q \le Q = q(x)} \max_{y \le x} \max_{(a,q)=1} \left\vert{ \pi(y;q,a) - \frac{\mathrm{li}(y)}{\phi(q)} }\right\vert \ll x(\log x)^{-A} \end{equation} where $\mathrm{li}$ is the logarithmic integral (cf. also Distribution of prime numbers) and $\phi$ is the Euler totient function (cf. Totient function).
The first attempt to obtain a "non-trivial" estimate of this kind was made by A. Rényi in 1948. He showed that \eqref{eq:a1} is true with $Q(x) = x^\delta$ for some small positive $\delta$. Due to subsequent refinements of M.B. Barban, Pan Cheng Dong, A.I. Vinogradov and, finally, E. Bombieri it is known that one can take $Q = x^{1/2} (\log x)^{-B}$ for some $B = B(A) > 0$. Somewhat later, P.X. Gallagher introduced major simplifications in Bombieri's arguments. More recently, R.C. Vaughan developed an ingenious new method which gives a still simpler proof by essentially elementary means; a general reference is [a2].
The critical exponent $1/2$ in $Q$ can conjecturally be replaced by $1-\delta$ (the Halberstam conjecture). Under certain restrictive conditions, Fouvry–Iwaniec and Bombieri–Friedlander–Iwaniec have given refinements to $11/21$ and $4/7$; see [a1].
The main advantage of Bombieri's theorem becomes clear by noting that the classical Page–Siegel–Walfisz prime number theorem (cf. Page theorem) only leads to the limit $Q = (\log x)^C$ for the moduli $q$ in \eqref{eq:a1}. Moreover, Bombieri's bound $Q$ is as good, apart from the logarithmic factor, as one can obtain on the assumption of the generalized Riemann hypothesis (cf. Riemann hypotheses). This makes it often possible to circumvent the use of the extended Riemann hypothesis, which has far-reaching implications in number theory; for example, it gives approaches to such important results as the Titchmarsh divisor problem, the Hardy–Littlewood formula for the number of representations of an integer as a sum of a prime and two squares or Chen's celebrated theorem that every sufficiently large even integer is the sum of a prime and an almost-prime having at most two prime factors; a general reference is [a3].
Bombieri's result has also been generalized to algebraic number fields, by a number of scientists. There are various ways in which this can be done, but the principle underlying the treatment is always that of the large sieve. In view of applications Hinz's multi-dimensional version of Bombieri's theorem is of some interest, see [a4]. This leads, among other things, to an analogue of Chen's theorem in totally real fields, see [a5].
See also Selberg sieve: Density theorems.
References
[a1] | E. Bombieri, J. Friedlander, H. Iwaniec, "Primes in arithmetic progressions" Acta Math. , 156 (1986) pp. 203–251 |
[a2] | H. Davenport, "Multiplicative number theory" , Berlin (1980) |
[a3] | H. Halberstam, H.-E. Richert, "Sieve methods" , Acad. Press (1974) |
[a4] | J. Hinz, "A generalization of Bombieri's prime number theorem to algebraic number fields" Acta Arith. , LI (1988) pp. 173–193 |
[a5] | J. Hinz, "Chen's theorem in totally real algebraic number fields" Acta Arith. , LVIII (1991) pp. 335–361 |
Bombieri prime number theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bombieri_prime_number_theorem&oldid=35836