Namespaces
Variants
Actions

Analytic number theory

From Encyclopedia of Mathematics
Revision as of 17:02, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A branch of number theory. Analytic number theory deals with the problems of distribution of primes, studies the behaviour of number-theoretic functions, and the theory of algebraic and transcendental numbers.

Distribution of prime numbers.

a) The problem of the distribution of prime numbers (primes) is one of the most interesting and most difficult problems in analytic number theory. The first result on the problem of the distribution of primes was obtained by Euclid: There are infinitely many primes. Let be the number of primes not exceeding . Euclid's theorem can then be formulated as follows: as . The next step was due to P.L. Chebyshev (1850), who proved that:

1) The quantity satisfies the inequalities

where ; .

2) If there exists a limit of as , this limit is one.

The problem of the existence of this limit was solved in 1896 by J. Hadamard and by Ch.J. de la Vallée-Poussin, who established thereby that

De la Vallée-Poussin demonstrated a much more general assertion, viz. if

then

where is an absolute constant (cf. de la Vallée-Poussin theorem). This problem was solved by methods of the theory of functions of a complex variable. The problem of estimating is closely connected with the problem on the behaviour of a certain function of a complex variable, which was first (1859) studied by B. Riemann and which is now known as Riemann's zeta-function. This function is defined by

Even earlier (1737, 1749) the zeta-function with real -values was studied by L. Euler, who demonstrated the identity specifying the connection between and prime numbers:

where the product is taken over all prime numbers. The function , which is given in the form of a series for , can be analytically extended to the entire plane of the complex variable; the resulting function is analytic in the entire complex plane except at the point , where it has a simple pole with residue one. The problem of estimating the remainder in the asymptotic formula for the distribution of primes is closely connected with the problem of the distribution of the zeros of in the "critical" strip . According to the Riemann hypothesis, all the zeros of in the critical strip lie on the straight line . It follows from this hypothesis that . Conversely, the Riemann hypothesis on the zeros of follows from the relation , where may be as small as one pleases (cf. Riemann hypotheses). Hadamard and de la Vallée-Poussin obtained the asymptotic law for the distribution of primes by proving that cannot have any zeros if . So-called -theorems were proved for : There exist two sequences , such that

b) A second problem on the distribution of primes is to estimate the difference between two successive primes, i.e. the number , where is the -th prime. Here too, the first general result is due to Chebyshev, who showed that at least one prime number is contained between and , where (the Bertrand postulate). The estimate of is closely connected with the function , which is the number of zeros of in the rectangle , . The function is in turn closely connected with the function . The existing hypotheses are: (the density hypothesis) and (the Lindelöf hypothesis), where may be as small as one pleases. Lindelöf's hypothesis follows from the Riemann hypothesis on ; the density hypothesis follows from Lindelöf's hypothesis, and it follows from the density hypothesis that . It was proved that , where .

c) The problem of the distribution of primes in arithmetical progressions , , leads to the problem on the zeros of special zeta-functions — the so-called Dirichlet -series, of the form

for , where depends on and on the difference of the series (Dirichlet characters modulo ).

The problem on the distribution of zeros of Dirichlet -series and the distribution of primes in arithmetical progressions have their own specific features. One of the principal achievements in this field, due to C.L. Siegel (1935), is as follows: Let be the number of primes not exceeding in the series , . Then

where is the Euler function and , where and are arbitrary fixed numbers. Information about the distribution of prime numbers in arithmetical progressions is extensively used in solving additive problems involving prime numbers. See also Distribution of prime numbers.

Additive problems.

Additive problems in analytic number theory include problems involving a special type of integer equations. The main problems of this kind are: To prove the solvability of a given equation and to find an asymptotic formula for the number of solutions of a given equation. The latter problem is much more difficult and, in a certain sense, its positive solution constitutes an answer to the first problem. Classical examples of additive problems are the Waring problem, the Goldbach problem and the Hardy–Littlewood problem.

Waring's problem (1770) can be formulated as follows: Let be the number of solutions in positive integers of the equation

(1)

where is an integer. It is required to prove that there exists a number , where depends only on , such that if . In other words, it is required to prove that any number can be represented by a sum of -th powers of positive integers, the number of terms in this representation depending only on . J.L. Lagrange (1770) solved this problem for by showing that any positive integer is the sum of four squares of integers. D. Hilbert (1909) was the first to give a general solution to Waring's problem. G.H. Hardy and J.E. Littlewood (1924) used their circle method to prove that for , if , an asymptotic formula of the form

(2)

is true, where and is an absolute constant. And since there is an infinitely large number of numbers which, for , are not the sum of -th powers, i.e. , there arose the problem of establishing the true order of , as a function of , for which equation (1) is solvable and formula (2) is valid. The strongest results on this problem were obtained by I.M. Vinogradov (1934) who showed that:

a) for if ;

b) formula (2) is true for .

A second classical additive problem — the Goldbach–Euler problem (1742) — is as follows: Let be the number of solutions in primes of the equation ; prove that for odd , . It was shown in 1937 by Vinogradov that (an asymptotic formula for ):

where . It follows, in particular, that for , i.e. a solution of the Goldbach–Euler problem for sufficiently large .

Additive problems also include the Hardy–Littlewood problem (1923): Each can be represented in the form , where is a prime number and and are positive integers. Yu.V. Linnik proved in 1958 that if is the number of solutions of this equation, the asymptotic formula

where and is an absolute constant, is true. It follows that if , which is the solution of the Hardy–Littlewood problem for sufficiently large . There are many additive problems which have remained unsolved for hundreds or even thousands of years. These include, for example, the problem on the infinite number of twin primes, i.e. pairs of primes and such that , the binary problem of Goldbach–Euler, viz. that any even number is a sum of two primes; and the problem on the existence of an infinite number of primes in the sequence of the form . See also Additive problems.

Behaviour of number-theoretic functions.

The theory of numbers comprises several classical functions: — the number of numbers not exceeding and mutually prime with (the Euler function); — the number of divisors of ; — the Möbius function; — the Mangoldt function, etc. Even though all these functions behave fairly "irregularly" , their average values can properly be studied. The average value of a function is understood to mean the value of . The problem of estimating the average value of is equivalent to the problem of bounds on the zeros of the Riemann zeta-function. The problem of the asymptotic behaviour of the average value of is equivalent to the problem of the asymptotic formula for , i.e. again to the problem of bounds on the zeros of the Riemann zeta-function. The results obtained on all these problems are the same as those obtained in the problem of the distribution of prime numbers. This does not apply to the problem of the asymptotic behaviour of the average value of or, to put it in a somewhat different manner, the problem of the asymptotic formula for the sum of the values of . Let

is then the number of integer points below the hyperbola . Thus, to find the asymptotic behaviour of amounts to finding the asymptotic behaviour of the number of integer points in expanding domains. This class of problems also includes the problem of the integer points in a disc, i.e. the problem of determining the number

where and are integers, and of extending these problems to arbitrary domains, both in a plane and in space. It was shown by P. Dirichlet in 1849 that

where ; it was also shown by C.F. Gauss in 1863 that

where . The problems of finding the best possible estimates for and are known as divisor problems and the circle problem, respectively. G.F. Voronoi (1903) obtained the formula

while the formula found by W. Sierpiński (1906) was

In addition, the -theorems:

have also been demonstrated. The estimates of and obtained in our own days (1976) are somewhat better than those of Voronoi and Sierpiński.

A problem related to those just discussed is the asymptotic behaviour of the sum of the fractional parts of various types of functions or an equivalent problem, viz. the problem of the distribution of the fractional parts of various types of functions. Let be the fractional part of the number . Then, if is a real function, the problem concerns the asymptotic behaviour of the two functions

If for any

one says that the fractional parts of are uniformly distributed. The uniform distribution of the fractional parts of can also be expressed in terms of the asymptotic behaviour of . The first results on the uniform distribution of the fractional parts of polynomials, and criteria for uniform distribution, were found by H. Weyl in 1916. The most accurate results in this field were obtained by Vinogradov, who also found asymptotic formulas for and in cases in which runs through a part of the set of integers not larger than , in particular through the set of prime numbers. Not much is known about the distribution of the fractional parts of functions which grow faster than polynomials. For instance, nothing is known about the distribution of the fractional parts of the function .

Algebraic and transcendental numbers.

The theory of algebraic and transcendental numbers includes problems connected with the arithmetical nature of given numbers or classes of numbers. Consider polynomials with integer coefficients and with leading coefficient one; if is a root of such a polynomial of degree and is not a root of a polynomial of a lower degree, it is said to be an algebraic number of degree ; if , the number is said to be rational. If, on the other hand, is not an algebraic number, it is said to be transcendental. There are "much fewer" algebraic than transcendental numbers; "almost any" number is transcendental, but determining whether a specific number is transcendental or algebraic is very difficult. The principal "characteristic" of algebraic numbers is the fact that they are very "poorly" approximated to by rational numbers. This assertion (Liouville's theorem, cf. Liouville theorems, 1844) is formulated as follows: If is an algebraic number of degree , then

where is a constant which depends only on , while and are arbitrary integers. The next decisive step in this problem was made by A. Thue (1909) whose ideas exerted a major influence on the theory of transcendental numbers. He showed that , . Subsequently, the value of was reduced by several workers, and it was shown by K.F. Roth in 1955 that (it is known that ). A drawback of all these theorems (except for Liouville's theorem) consists in the fact that they are ineffective, i.e. cannot be computed from known and .

Approximation problems are connected with a certain class of problems in the theory of indefinite equations. E.g., Thue employed his approximation theorem to prove that the number of integral solutions of the equation , where is a form with integral coefficients of degree and is a non-zero integer, is finite (this theorem is also ineffective, i.e. no bound on the number of solutions of the equation can be given).

Another approach employed in this theory are transcendence proofs of numbers. The first results on this subject were obtained towards the end of the 19th century by Ch. Hermite (1873), who proved that the number is transcendental, and by F. Lindemann (1882), who proved that the number is transcendental and thus gave a negative solution to the problem of squaring the circle. According to the theorem of Gel'fond–Schneider (1934), is a transcendental number if is an algebraic number, and is an algebraic number of degree (Hilbert's seventh problem). Beginning in 1967, A. Baker obtained a number of effective theorems on the estimation of linear forms in logarithms of algebraic numbers. As a result, Thue's theorem on the number of representations of an integer by a form was effectively demonstrated. There are still many unsolved problems in the theory of transcendental numbers; these include the transcendental nature of Euler's constant

the problem of algebraic independence of the numbers and , etc.

Some methods used in analytic number theory.

a) The method of complex integration. This method grew out of Euler's method of generating functions which is often used for the solution of problems in elementary mathematics. The method is based on the following formula (a discontinuous multiplier):

where the integral is taken over the straight line , . E.g., for ,

and for one obtains

The left-hand side of this equation is the Chebyshev function, finding the asymptotic behaviour of which is equivalent to the problem of prime numbers. The right-hand side, after the separation of the main factor, will be the smaller, the farther to the left the integration contour can be shifted. (Cf. Complex integration, method of.)

b) The circle method (of Hardy–Littlewood–Ramanujan). This method is used mostly in additive problems. Below the application and the nature of the circle method is considered in the example of applying Vinogradov's trigonometric sums to the ternary problem of Goldbach–Euler. Let be an integer. One then has (a discontinuous multiplier):

Therefore

and is the number of solutions in primes of the equation . The integration interval is then subdivided into two parts — the principal and the complementary interval; the principal interval contains all the intervals of the form

where , ; all other intervals are within the complementary interval. The principal intervals do not intersect. Moreover, for in the principal interval, the sum is "close" to the rational sum . However, for "small" , , the distribution law of the prime numbers in a series with difference is known (e.g. Siegel's theorem), i.e. the asymptotic behaviour of the sums is known. In this way the principal term of the problem is separated, which is the fundamental idea of the circle method. If one now makes a non-trivial estimate of on the complementary intervals (cf. Vinogradov method), the asymptotic formula in the Goldbach–Euler problem is obtained. (See also Circle method.)

c) The method of trigonometric sums. Most problems in analytic number theory can be expressed by trigonometric sums, i.e. finite sums of the form

(3)

where is a real function, while run through a set of integers. Thus, the essence of many problems is the study of such sums, in particular the problem of finding the most accurate possible estimate of the modulus of such a sum. A trivial estimate of the sum (3) is . The problem is to obtain an estimate of the form

where is called the reducing factor. The first non-trivial estimates of trigonometric sums for the case when is a polynomial, while , were obtained in 1919 by Weyl, who at the same time deduced a criterion for the uniform distribution of the fractional parts of functions in terms of trigonometric sums. The method of trigonometric sums was created by Vinogradov who, by utilizing intrinsic arithmetical properties of such sums, obtained very strong estimates of the modulus for a broad class of these sums. He was able to obtain in this way several fundamental results, close to the limit of the possible, in several problems of number theory (the Waring problem, the Hilbert–Kamke problem, and Weyl sums, cf. Weyl sum). Another consequence of Vinogradov's method (1937) was the solution of several additive problems on prime numbers, in particular the Euler–Goldbach problem. The fundamental idea in Vinogradov's method was "smoothing" (exponentiation of the trigonometric sum and reduction of the estimate to the theorem of averages for the estimation of Weyl sums, the introduction of double trigonometric sums for the estimation of sums of primes, etc.). (See also Trigonometric sums, method of.)

d) The dispersion method and the method of the large sieve. Linnik in 1958–1960 proposed a dispersion method for the solution of several additive problems in number theory. He solved the Hardy–Littlewood problem, the Titchmarsh problem on divisors and the additive divisor problem. The basic concept in the method is the dispersion of the number of solutions of a given auxiliary equation related to the principal equation (see also Dispersion method). Fundamental results were recently obtained by the method of the large sieve proposed by Linnik in 1940 for the solution of the problem of the smallest quadratic residue.

e) Methods in algebraic and transcendental number theory. In order to prove his theorem on the approximation of an algebraic number by a rational fraction, Thue (cf. Thue method) constructed the polynomial

with integer coefficients, where and are also polynomials. On the assumption that is "well" approximated by fractions and with sufficiently large and , putting , and proving that does not vanish if , , a contradiction is obtained.

A.O. Gel'fond's proof of the transcendental nature of numbers involves the function

On the assumption that is an algebraic number and using Dirichlet's box principle, non-zero integers are chosen so that and "many" of its derivatives have "many" zeros. A "large" number of zeros will yield "good" estimates from above for a "large" number of derivatives and points, whence, using the estimates from below obtained by Liouville's theorem, it follows that and "many" of its derivatives have more zeros than before. A repetition of this process results either in being a rational number or in zero values for , which is in contradiction with their choice. See also Algebraic number; Transcendental number.

References

[1] I.M. Vinogradov, , Selected works , Springer (1985) (Translated from Russian)
[2] I.M. Vinogradov, "Elements of number theory" , Dover, reprint (1954) (Translated from Russian)
[3] I.M. Vinogradov, "The method of trigonometric sums in the theory of numbers" , Interscience (1954) (Translated from Russian)
[4] A.O. Gel'fond, "Transcendental and algebraic numbers" , Dover, reprint (1960) (Translated from Russian)
[5] B.N. Delone, "The Peterburg school of number theory" , Moscow-Leningrad (1947) (In Russian)
[6] A.A. Karatsuba, "Fundamentals of analytic number theory" , Moscow (1975) (In Russian)
[7] Yu.V. Linnik, "The dispersion method in binary additive problems" , Amer. Math. Soc. (1963) (Translated from Russian)
[8] N.G. Chudakov, "Introductions to the theory of Dirichlet -functions" , Moscow-Leningrad (1947) (In Russian)
[9] K. Prachar, "Primzahlverteilung" , Springer (1957)
[10] H. Davenport, "Multiplicative number theory" , Springer (1980)
[11] E.C. Titchmarsh, "The theory of the Riemann zeta-function" , Clarendon Press (1951)
[12] L.-K. Hua, "Abschätzungen von Exponentialsummen und ihre Anwendung in der Zahlentheorie" , Enzyklopaedie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen , 1 : 2 (1959) (Heft 13, Teil 1)
[13] A. Baker, "Linear forms in the logarithms of algebraic numbers (II)" Mathematika , 14 (1967) pp. 102–107
[14] A.I. Vinogradov, "The density hypothesis for Dirichlet -series" Izv. Akad. Nauk SSSR Ser. Mat. , 29 : 4 (1965) pp. 903–924 (In Russian)
[15] E. Bombieri, "On the large sieve" Mathematika , 12 (1965) pp. 201–225


Comments

Liouville's theorem is closely related with the theory of continued fractions (cf. Continued fraction).

For a description of various results obtained on additive problems and the distribution of prime numbers in arithmetic progressions see Large sieve; Distribution of prime numbers; Sieve method.

References

[a1] R.C. Vaughan, "The Hardy–Littlewood method" , Cambridge Univ. Press (1981)
[a2] H.E. Richert, "Sieve methods" , Acad. Press (1974)
[a3] A. Ivić, "The Riemann zeta-function" , Wiley (1985)
How to Cite This Entry:
Analytic number theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Analytic_number_theory&oldid=13030
This article was adapted from an original article by A.A. Karatsuba (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article