In which we meet the Riemann zeta function and start to explore what it can tell us about prime numbers.
- Definition of the Riemann zeta function for .
- Lemma 47: If , then converges absolutely. Moreover, for any the series converges uniformly for , and so is analytic on . The important point to remember here is that is complex. Writing (as is standard, if bizarre), we have .
- Proposition 48 (Euler product for ): If , then , where the product is over all primes . We proved this by considering the ‘partial product’ . Note that this result essentially records the fundamental theorem of arithmetic. This Euler product is crucial for linking the zeta function to the primes.
- Lemma 49: If , then . We proved this using the Euler product, being careful about the infinite product (we showed that for a suitable , we have , and could then check individual factors for primes .
- We noted (without proof) some properties of , such as the continuation to a meromorphic function on the complex plane, and the functional equation. We saw the Riemann Hypothesis, which asserts that all the non-trivial zeros of lie on the line .
- Definition of the Möbius function . Exercise: show that is a multiplicative function.
- We noted (without proof) that the Riemann Hypothesis is equivalent to the bound .
There are many books that give introductions to the Riemann zeta function. Davenport’s Multiplicative Number Theory goes into more depth than some. Ben Green has some online lecture notes from a Part III course a few years ago. 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.