Difference between revisions of "Analytic number theory"
(Started TeX) |
m |
||
Line 30: | Line 30: | ||
Even earlier (1737, 1749) the zeta-function with real $s$-values was studied by L. Euler, who demonstrated the identity specifying the connection between $\zeta(s)$ and prime numbers: | Even earlier (1737, 1749) the zeta-function with real $s$-values was studied by L. Euler, who demonstrated the identity specifying the connection between $\zeta(s)$ and prime numbers: | ||
− | $\zeta(s)=(1-2^{-s})^{-1}(1-3^{-s})^{-1}\cdots(1-p^{-s})^{-1}\cdots,\,\,\,\sigma>1,$$ | + | $$\zeta(s)=(1-2^{-s})^{-1}(1-3^{-s})^{-1}\cdots(1-p^{-s})^{-1}\cdots,\,\,\,\sigma>1,$$ |
where the product is taken over all prime numbers. The function $\zeta(s)$, which is given in the form of a series for $\sigma>1$, 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 $s=1$, where it has a simple pole with residue one. The problem of estimating the remainder $R(x)$ in the asymptotic formula for the distribution of primes is closely connected with the problem of the distribution of the zeros of $\zeta(s)$ in the "critical" strip $0\leq\sigma\leq1$. According to the Riemann hypothesis, all the zeros of $\zeta(s)$ in the critical strip lie on the straight line $\sigma=1/2$. It follows from this hypothesis that $R(x)=O(\sqrt{x}\ln x)$. Conversely, the Riemann hypothesis on the zeros of $\zeta(s)$ follows from the relation $R(x)=O(x^{1/2+\epsilon})$, where $\epsilon>0$ may be as small as one pleases (cf. [[Riemann hypotheses|Riemann hypotheses]]). Hadamard and de la Vallée-Poussin obtained the asymptotic law for the distribution of primes by proving that $\zeta(s)$ cannot have any zeros if $\sigma\geq 1$. So-called $\Omega$-theorems were proved for $R(x)$: There exist two sequences $X\to+\infty$, $Y\to+\infty$ such that | where the product is taken over all prime numbers. The function $\zeta(s)$, which is given in the form of a series for $\sigma>1$, 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 $s=1$, where it has a simple pole with residue one. The problem of estimating the remainder $R(x)$ in the asymptotic formula for the distribution of primes is closely connected with the problem of the distribution of the zeros of $\zeta(s)$ in the "critical" strip $0\leq\sigma\leq1$. According to the Riemann hypothesis, all the zeros of $\zeta(s)$ in the critical strip lie on the straight line $\sigma=1/2$. It follows from this hypothesis that $R(x)=O(\sqrt{x}\ln x)$. Conversely, the Riemann hypothesis on the zeros of $\zeta(s)$ follows from the relation $R(x)=O(x^{1/2+\epsilon})$, where $\epsilon>0$ may be as small as one pleases (cf. [[Riemann hypotheses|Riemann hypotheses]]). Hadamard and de la Vallée-Poussin obtained the asymptotic law for the distribution of primes by proving that $\zeta(s)$ cannot have any zeros if $\sigma\geq 1$. So-called $\Omega$-theorems were proved for $R(x)$: There exist two sequences $X\to+\infty$, $Y\to+\infty$ such that |
Revision as of 20:32, 19 April 2012
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 $\pi(x)$ be the number of primes not exceeding $x$. Euclid's theorem can then be formulated as follows: $\pi(x)\to +\infty$ as $x\to\infty$. The next step was due to P.L. Chebyshev (1850), who proved that:
1) The quantity $\pi(x)$ satisfies the inequalities
$$\frac{ax}{\ln x}<\pi(x)<\frac{bx}{\ln x},$$
where $a\geq(\ln 2)/2$; $b\leq 2\ln 2$.
2) If there exists a limit of $\pi(x)\ln(x)/x$ as $x\to+\infty$, 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
$$\pi(x)=\frac{x}{\ln x}(1+o(1)).$$
De la Vallée-Poussin demonstrated a much more general assertion, viz. if
$$\pi(x)=\int_2^x\frac{\mbox{d}t}{\ln t}+R(x),$$
then
$$R(x)=O(xe^{-\alpha\sqrt{\ln x}}),$$
where $\alpha>0$ 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 $R(x)$ 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
$$\zeta(s)=1^{-s}+2^{-s}+\cdots+n^{-s}+\cdots,\,\,\,s=\sigma+it,\,\,\,\sigma>1.$$
Even earlier (1737, 1749) the zeta-function with real $s$-values was studied by L. Euler, who demonstrated the identity specifying the connection between $\zeta(s)$ and prime numbers:
$$\zeta(s)=(1-2^{-s})^{-1}(1-3^{-s})^{-1}\cdots(1-p^{-s})^{-1}\cdots,\,\,\,\sigma>1,$$
where the product is taken over all prime numbers. The function $\zeta(s)$, which is given in the form of a series for $\sigma>1$, 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 $s=1$, where it has a simple pole with residue one. The problem of estimating the remainder $R(x)$ in the asymptotic formula for the distribution of primes is closely connected with the problem of the distribution of the zeros of $\zeta(s)$ in the "critical" strip $0\leq\sigma\leq1$. According to the Riemann hypothesis, all the zeros of $\zeta(s)$ in the critical strip lie on the straight line $\sigma=1/2$. It follows from this hypothesis that $R(x)=O(\sqrt{x}\ln x)$. Conversely, the Riemann hypothesis on the zeros of $\zeta(s)$ follows from the relation $R(x)=O(x^{1/2+\epsilon})$, where $\epsilon>0$ 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 $\zeta(s)$ cannot have any zeros if $\sigma\geq 1$. So-called $\Omega$-theorems were proved for $R(x)$: There exist two sequences $X\to+\infty$, $Y\to+\infty$ such that
$$R(X)<-X^{1/2}\frac{\ln\ln\ln X}{\ln\ln X},$$ $$R(Y)>Y^{1/2}\frac{\ln\ln\ln Y}{\ln\ln Y}.$$
b) A second problem on the distribution of primes is to estimate the difference between two successive primes, i.e. the number $\Delta_n=p_{n+1}-p_n$, where $p_n$ is the $n$-th prime. Here too, the first general result is due to Chebyshev, who showed that at least one prime number is contained between $N$ and $2N$, where $N\geq 1$ (the Bertrand postulate). The estimate of $\Delta_n$ is closely connected with the function $N(\alpha,T)$, which is the number of zeros of $\zeta(s)$ in the rectangle $1/2\leq\alpha\leq\sigma\leq1$, $\lvert t\rvert\leq T$. The function $N(\alpha,T)$ is in turn closely connected with the function $\zeta(1/2+it)$. The existing hypotheses are: $N(\alpha,T)=O(T^{2(1-\alpha)+\epsilon})$ (the density hypothesis) and $\zeta(1/2+it)=O(t^{\epsilon})$ (the Lindelöf hypothesis), where $\epsilon>0$ may be as small as one pleases. Lindelöf's hypothesis follows from the Riemann hypothesis on $\zeta(s)$; the density hypothesis follows from Lindelöf's hypothesis, and it follows from the density hypothesis that $\Delta_n=O(n^{1/2+\epsilon})$. It was proved that $\Delta_n=O(n^{\gamma})$, where $\gamma<1$.
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 ![]() |
[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 ![]() |
[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) |
Analytic number theory. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Analytic_number_theory&oldid=24805