Dirichlet INFORME
Dirichlet INFORME
Dirichlet INFORME
K. Soundararajan
Over the next several lectures we shall develop a proof of Dirichlets famous theorem
on primes in arithmetic progressions.
Dirichlets theorem. If (a, q) = 1 then there are infinitely many primes p with p a
(mod q).
We now describe Dirichlets proof in the case that q = 4. Although in this case we may
find elementary proofs, along the lines of Euclids argument, the proof we now describe
is the one that generalizes to other moduli. Dirichlets proof builds
Pon the ideas behind
Eulers proof of the infinitude of primes (which in fact shows that p 1/p diverges). Let
us now recall Eulers proof.
For a real number s > 1 we considered there the Riemann zeta-function
X 1 Y 1 1 Y 1 1
(1) (s) = s
= 1 + s
+ 2s
+ . . . = 1 s
.
n=1
n p
p p p
p
Note that in the domain s > 1 the sum and the product converge. It may be helpful for
you to recall that the convergence of a product
Y
(1 + an )
n
P
is equivalent to the convergence of n an ; to see this note that log(1+an ) is approximately
an if an is small. Eulers proof is then to note that if there are only finitely many primes
then the RHS of (1) must be bounded as s 1+ . On the other hand we may see that the
LHS of (1) must be unbounded as s 1+ by appealing to the divergence of the harmonic
series. Lets make this last observation a little more precise.
Lemma 1. For real numbers s > 1 we have
1 1
< (s) < + 1.
s1 s1
Typeset by AMS-TEX
1
2 K. SOUNDARARAJAN
Therefore
Z n+1 Z
X 1 X 1 dt 1
s
s
dt = s
= ,
n=1
n n=1 n
t 1 t s1
and also
Z n Z
X 1 X 1 X dt dt 1
s
=1+ s
1+ s
=1+ s
=1+ .
n=1
n n=2
n n=2 n1 t 1 t s 1
x2 x3
log(1 + x) = x + ... ,
2 3
so that for |x| 1/2
x2 |x|3 x2
| log(1 + x) x| + + ... 1 + |x| + |x| + . . . x2
2
2 3 2
which justifies our claim.
Returning to primes, we see from (1) that
X 1 1
log (s) = log 1 s ,
p
p
and using our approximation log(1 + x) = x + O(x2 ) (so that log(1 x) = x + O(x2 )
also), we have
X 1 1
(2) log (s) = s
+ O 2s
.
p
p p
DIRICHLETS THEOREM ON PRIMES IN PROGRESSIONS, I 3
where
1
if n 1 (mod 4)
4 (n) = 0 if n 0, 2 (mod 4)
1 if n 3 (mod 4).
Note that this series converges (absolutely) in s > 1, and by the alternating series test, it
converges (conditionally) in s > 0. Moreover, just like it can be written as a product
over primes (such products are called Euler products)
Y 4 (p) 4 (p2 ) Y 4 (p) 1
L(s, 4 ) = 1+ s
+ 2s
+ . . . = 1 s
.
p
p p p
p
Notice that the key property responsible for the Euler product is that the 4 is multi-
plicative: 4 (mn) = 4 (m)4 (n) for all m, and n, which reduces the determination of
4 to its behavior on primes. Taking logarithms we find that for s > 1
X 4 (p) X 4 (p) 1
log L(s, 4 ) = log 1 = + O
p
ps p
ps p2s
X 4 (p)
(4) = + O(1),
p
ps
4 K. SOUNDARARAJAN
and X 1 1 1
s
= log + O(1).
p p 2 s1
p3 (mod 4)