xviii Introduction
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
d(n) 1 2 2 3 2 4 2 4 3 4 2 6 2 4 4
Table 1. Values of the divisor function
Counting the number of divisors of positive integers leads to a difficult
problem known as the Dirichlet Divisor Problem that is still unsolved today.
Denoting the number of divisors of n by d(n), Table 1 shows that these
counts fluctuate a good deal. But much more regular behavior is revealed
by averaging d(n), and in fact
1
x
n≤x
d(n) log(x) + 1, γ = 0.5772 . . .,
with an absolute error that tends to zero as x +∞. To determine how
fast the error tends to zero is the divisor problem of Dirichlet.
Divisors and primes are the stuff of multiplicative number theory. But
there are also interesting counting problems connected with additive ques-
tions. The eighteenth-century English algebraist Edward Waring stated that
every positive integer may be expressed as a sum of a limited number of k-th
powers of nonnegative integers, the number required depending on k only.
We shall count the number of such representations for large integers when
the number of powers allowed is sufficiently large, finding an asymptotic for-
mula by means of the Circle Method and establishing Waring’s claim. This
was first achieved by David Hilbert by a method different from the one used
here. The proof is the most elaborate in the book, though the prerequisites
are surprisingly modest. The Circle Method is related to Fourier theory, but
involves only Fourier series with finitely many terms so convergence issues
do not arise.
The achievements of analytic number theory are not entirely limited
to approximate counts. Some of the quantities estimated are not counting
numbers, and for a few problems exact rather than approximate results have
been attained. We shall cover one such case from algebraic number theory,
that of the analytic class number formula
hK =
wK|dK|1/2
2r1(K)+r2(K)πr2(K)RK
lim
s→1
ζK(s)
ζ(s)
that expresses the number hK of ideal classes of the ring of algebraic integers
of a number field K in terms of other arithmetic data. This formula is due
to Dirichlet and Richard Dedekind.
Previous Page Next Page