Namespaces
Variants
Actions

Difference between revisions of "Bombieri prime number theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(LaTeX)
 
(One intermediate revision by the same user not shown)
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 [[Number theory|Number theory]]; [[Prime number|Prime number]]; [[Dirichlet theorem|Dirichlet theorem]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107101.png" /> denote the number of primes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107102.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107103.png" />. One looks for inequalities of the type (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107104.png" /> arbitrary but fixed)
+
{{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]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107105.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
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]]].
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107106.png" /></td> </tr></table>
+
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]]].
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107107.png" /> is the logarithmic integral (cf. also [[Distribution of prime numbers|Distribution of prime numbers]]) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107108.png" /> is the Euler totient function (cf. [[Totient function|Totient function]]).
+
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 first attempt to obtain a  "non-trivial"  estimate of this kind was made by A. Rényi in 1948. He showed that (a1) is true with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b1107109.png" /> for some small positive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071010.png" />. Due to subsequent refinements of M.B. Barban, Pan Cheng Dong, A.I. Vinogradov and, finally, E. Bombieri it is known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071011.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071012.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071013.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071014.png" /> can conjecturally be replaced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071015.png" /> (the Halberstam conjecture). Under certain restrictive conditions, Fouvry–Iwaniec and Bombieri–Friedlander–Iwaniec have given refinements to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071017.png" />; 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|Page theorem]]) only leads to the limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071018.png" /> for the moduli <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071019.png" /> in (a1). Moreover, Bombieri's bound <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110710/b11071020.png" /> is as good, apart from the logarithmic factor, as one can obtain on the assumption of the generalized Riemann hypothesis (cf. [[Riemann hypotheses|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]]].
 
  
 
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 [[Selberg sieve|Selberg sieve]]: [[Density theorems|Density theorems]].
+
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
How to Cite This Entry:
Bombieri prime number theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bombieri_prime_number_theorem&oldid=17375
This article was adapted from an original article by J. Hinz (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article