Maier's Theorem
   HOME

TheInfoList



OR:

In
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...
, Maier's theorem is a theorem about the numbers of
prime A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
s in short intervals for which Cramér's probabilistic model of primes gives a wrong answer. The theorem states that if π is the prime-counting function and λ is greater than 1 then :\frac does not have a limit as ''x'' tends to infinity; more precisely the
limit superior In mathematics, the limit inferior and limit superior of a sequence can be thought of as limiting (that is, eventual and extreme) bounds on the sequence. They can be thought of in a similar fashion for a function (see limit of a function). For a ...
is greater than 1, and the limit inferior is less than 1. The Cramér model of primes predicts incorrectly that it has limit 1 when λ≥2 (using the
Borel–Cantelli lemma In probability theory, the Borel–Cantelli lemma is a theorem about sequences of events. In general, it is a result in measure theory. It is named after Émile Borel and Francesco Paolo Cantelli, who gave statement to the lemma in the first de ...
).


Proofs

Maier Maier is a surname of German origin. It is a variant spelling of the more usual " Meyer", which is cognate with the English word "mayor", but with a different meaning. Individuals with the surname include: * Anneliese Maier (1905–1971), G ...
proved his theorem using Buchstab's equivalent for the counting function of quasi-primes (set of numbers without prime factors lower to bound z = x^ , u fixed). He also used an equivalent of the number of primes in arithmetic progressions of sufficient length due to Gallagher. gave another proof, and also showed that most probabilistic models of primes incorrectly predict the mean square error :\int_2^Y\left(\sum_ \log p -\sum_1\right)^2\,dx of one version of the prime number theorem.


See also

* Maier's matrix method


References

* * *{{citation , last=Soundararajan , first=K. , authorlink=Kannan Soundararajan , chapter=The distribution of prime numbers , editor1-last=Granville , editor1-first=Andrew , editor1-link=Andrew Granville , editor2-last=Rudnick , editor2-first=Zeév , title=Equidistribution in number theory, an introduction. Proceedings of the NATO Advanced Study Institute on equidistribution in number theory, Montréal, Canada, July 11--22, 2005 , location=Dordrecht , publisher=
Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...
, series=NATO Science Series II: Mathematics, Physics and Chemistry , volume=237 , pages=59–83 , year=2007 , isbn=978-1-4020-5403-7 , zbl=1141.11043 Theorems in analytic number theory Probabilistic models Theorems about prime numbers