In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve number-theoretical problems.^[1] It is often said to have begun with Dirichlet's introduction of Dirichlet L-functions to give the first proof of Dirichlet's theorem on arithmetic progressions.^[2][3] Another major milestone in the subject is the prime number theorem.

Analytic number theory can be split up into two major parts. Multiplicative number theory deals with the distribution of the prime numbers, often applying Dirichlet series as generating functions. It is assumed that the methods will eventually apply to the general L-function, though that theory is still largely conjectural. Additive number theory has as typical problems Goldbach's conjecture and Waring's problem.

The development of the subject has a lot to do with the improvement of techniques. The circle method of Hardy and Littlewood was conceived as applying to power series near the unit circle in the complex plane; it is now thought of in terms of finite exponential sums (that is, on the unit circle, but with the power series truncated). The needs of diophantine approximation are for auxiliary functions that aren't generating functions - their coefficients are constructed by use of a pigeonhole principle - and involve several complex variables. The fields of diophantine approximation and transcendence theory have expanded, to the point that the techniques have been applied to the Mordell conjecture.

The biggest single technical change after 1950 has been the development of sieve methods as an auxiliary tool, particularly in multiplicative problems. These are combinatorial in nature, and quite varied. Also much cited are uses of probabilistic number theory ? forms of random distribution assertions on the primes, for example: these have not received any definitive shape. The extremal branch of combinatorial theory has in return been much influenced by the value placed in analytic number theory on (often separate) quantitative upper and lower bounds.

One of the deepest and most important theorems in analytic number theory has been proven by Ben Green and Terence Tao in 2004. Using analytic methods, they proved that there exists arbitraly long arithmetic progressions of prime numbers. This is a partial solution to Paul Erdos' conjecture that any sequence of positive integers \, a_n \, such that \, \sum_n \frac {1}{a_n} diverges, contains arithmetic progressions of arbitrary length.

Some problems and results in analytic number theory

1. Let \, p_n \, denote the nth prime. What is \limsup_n ( p_n - p_{n-1}) \, , and \liminf_n ( p_n - p_{n-1}) \,

\limsup_n ( p_n - p_{n-1}) \, = \infty \, . To see this let \, N \, be any large positive integer.

Then the numbers 2+ N!,\,3 + N!,\, ...,\, N + N! are \,N -1 \, consecutive composite integers and since \, N \, can be chosen to be arbitrarily large this proves the result.

\liminf_n ( p_n - p_{n-1}) \, is unknown. Although it is conjectured that the value is 2. This is one way of stating the famous twin prime conjecture.

2. Let \, p_n \, denote the nth prime. Does the series \sum_n (-1)^n \frac {n}{p_n} converge?

No one knows.

3.The Prime Number Theorem is probably one of the most famous and interesting results in analytic number theory. For hundreds of years mathematicians have been trying to understand prime numbers. Euclid has shown us that there are an infinite number of primes but it is very difficult to find an efficient method for determining whether or not a number is prime, especially a large number. Wilson's theorem is one such result but it is still very inefficient. Mathematicians have tried for centuries to find a pattern that describes all the prime numbers without much success. Moving on, the next question one may hope to answer is whether or not the primes are distributed in some regular manner. Gauss, among others, conjectured that the number of primes less than or equal to a large number \, N \, is close to the value of the integral \, \int^N_2 \frac{1}{log(t)} \, dt. Without the aid of a computer he computed very large lists of primes and guessed this result. Riemann, in 1859, used complex analysis and a very special function, the Riemann Zeta function, to derive an analytic expression for the number of primes less than or equal to a real number \, x \,. Remarkably, the main term in Riemann's formula was \, \int^x_2 \frac{1}{log(t)} \, dt, confirming Gauss's guess. Riemann's formula was not exact but he found that the manner in which the primes are distributed is closely related to the complex zeros of a special meromorphic function, the Riemann Zeta function\, \zeta(s) \,. Hence, a new approach to number theory was born.

It took about 30 years for the mathematical community to digest Riemann's ideas and in the late 19th century, Hadamard, von Mangolt, and de la Vallee Poussin, made substantial progress in the field. In particular, they proved that if ?(x) = { number of primes ? x } then

\lim_{x \to \infty} \frac{\pi(x)}{x/\log x} = 1

This is a remarkable result, known as the Prime Number Theorem, says that if you give me a large number \, N\,, then the number of primes less than or equal to \, N \, is about \, N/log(N) \,.

Analytic Number theorists are often interested in the error of such results. The error obviously tends to 0 as N tends to infinity but how fast or how slow. In other words, is there a formula that describes the error? It turns out that both of the first proofs of the prime number theorem heavily relied on the fact that ?(s) ? 0 when \Re(s) = 1 \, and that the error can best be described if we know the location of all the complex zeros of ?(s). In his 1859 paper, Riemann conjectured that all the "non-trivial" zeros of ? lie on the line \, \Re(s) = 1/2 \, but he did not prove this statement. This conjecture is known as the Riemann Hypothesis and is believed to be the most important unsolved problems in mathematics. The Riemann Hypothesis is important because it has many deep implications in number theory; if its true then we can prove many theorems in number theory and gain a better understanding of prime numbers. In fact, many important theorems have been proved assuming the hypothesis is true.

The Riemann zeta function

Euler discovered that \, \sum_{n=1}^{\infty} \frac {1}{n^s} = \prod_p \frac {1}{1-p^{-s}} \, for all \, s > 1 \,. Riemann considered this function for complex values of \, s \, and showed that this function can be extended to a meromorphic function on the entire plane with a simple pole at \, s = 1 \,. This function is now know as the Riemann Zeta function and is denoted by \, \zeta(s) \,. There is a plethora of literature on this function and the function is a special case of the more general Diriclet L-functions. Edwards' book, "The Riemann Zeta Function" is a good first source to study the function as Edwards goes over Riemann's original paper in depth and uses basic techniques learned in most first and second year graduate classes. Basic understanding of Complex Analysis and Fourier Analysis are required for this reading.

Paul Erdos

Paul Erdos was a great mathematician in the the 20th century who is responsible for shaping much of the research in analytic number theory. He discovered many results in the field and also conjectured countless problems many of which remain unsolved to this day. The Tao-Green result on arithmetic progressions of primes is a partial solution to Erdos' conjecture that any sequence of positive integers such that \, \sum \frac {1}{a_n} = \infty \, contains arithmetic progressions of arbitrary length. Noam Elkies, a Harvard number theorist, writes that mathematicians come in two types: theory builders and problem solvers. Analytic number theorists usually are from the problem solving camp and Paul Erdos was a very prolific problem solver. Many of his conjectures can be found in Guy's "Unsolved Problems in Number Theory."

Hardy, Littlewood

In the early 20th century Hardy and Littlewood proved many results about the zeta function in an attempt to prove the Riemann Hypothesis. In fact, in 1914, Hardy proved that there were infinitely many zeros of the zeta function on the critical line \, \Re(z) = 1/2 \, . This led to several theorems describing the density of the zeros on the critical line. For example, they proved that a positive proportion of the zeros lie on the line and this is one the strongest theorems that supports the validity of the Riemann Hypothesis. They created several techniques, such as the Hardy - Littlewood "circle method", that are still used by today by experts in the field.

The circle problem

One interesting problem in number theory is Gaub's lattice problem now known simply as the circle problem: Given a circle centered about the orgin in the plane with raduis, r, how many integer lattice points are in this circle? It is not hard to prove that the answer is \, \pi r^2 + E(r) \, where \, E(r) \, \to 0 \, as \, r \to \infty \,. Once again, we wish to understand the asymptotics of the error term. It is conjectured that \, E(r) = O(r^{1/4}) \, and many techniques have been developed over the years to get the desired result but the problem still remains open to this day. Note that one may ask the corresponding question for spheres, ellipsoids, ect.

Notes

1. ↑ Page 7 of Apostol 1976
2. ↑ Page 1 of Davenport 2000
3. ↑ Page 7 of Apostol 1976

References

Further reading

• G. Tenenbaum, Introduction to Analytic Number Theory
• H. L. Montgomery and R. C. Vaughan, Multiplicative Number Theory I : Classical Theory
• H. Iwaniec and E. Kowalski, Analytic Number Theory.

On specialized aspects the following books have become especially well-known:

• E. C. Titchmarsh, The theory of the Riemann zeta-function, 2nd.edn.
• H. Halberstam and H. -E. Richert, Sieve Methods; and R. C. Vaughan, The Hardy-Littlewood method, 2nd. edn.

Certain topics have not yet reached book form in any depth. Some examples are (i) Montgomery's pair correlation conjecture and the work that initiated from it, (ii) the new results of Goldston, Pintz and Yilidrim on small gaps between primes, and (iii) the Green?Tao theorem showing that arbitrarily long arithmetic progressions of primes exist.

de:Analytische Zahlentheorie fr:Théorie analytique des nombres it:Teoria dei numeri analitica ru:????????????? ?????? ????? sl:analiti?na teorija ?tevil fi:Analyyttinen lukuteoria sv:Analytisk talteori zh:????