In which we meet the Riemann zeta function.
- Theorem 46 (Prime Number Theorem): . That is, as .
- Definition of the Riemann zeta function .
- Lemma 47: For , the series converges absolutely. Moreover, the series converges uniformly for for any , and so is analytic in . We noted that (where as usual ) and then used our knowledge about .
- Proposition 48 (Euler product for ): For , we have , where the product is over all primes . We used the idea that , by the Fundamental Theorem of Arithmetic.
- Lemma 49: If , then . We carefully showed that for large enough we have .
- We defined the Gamma function , and the completed function , and saw the functional equation for . We met the trivial zeros of , and identified the critical strip.
- Riemann Hypothesis: All the zeros of in the critical strip lie on the line .
- Definition of the Möbius function .
- Lemma 50: The Möbius function is multiplicative. This followed immediately from the definition.
- We defined the Mertens function , and noted (without proof) that the Riemann Hypothesis is equivalent to the bound .
I handed out the third examples sheet.
Understanding today’s lecture
You could check that you understand the various arguments we used today (uniform convergence, etc.).
There are many books that give introductions to the Riemann zeta function. Davenport’s Multiplicative Number Theory goes into more depth than some. The book Analytic Number Theory by Iwaniec and Kowalski tells you more than you realised you wanted to know about the zeta function and much else besides.
Preparation for Lecture 16
What is the relationship between and ? Hint: can you write in terms of ?
Can you find an expression for of the form ? (This latter series is called the Dirichlet series for the sequence .) The values of will be important when we come to think about the Prime Number Theorem.