Skip to main content
\( \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section24.3From Riemann to Dirichlet and Euler

In order to see this (the convergence of the infinite product), let's instead observe our other main example of a sum over divisors equalling a product over primes working. When we compared them for \(\phi\) above, we got \begin{equation*}\sum_{d\mid n}\frac{\mu(d)}{d}=\prod_{p\mid n}\left(1-\frac{1}{p}\right)\end{equation*}

We could make the powers far higher, or include more primes, and it would still work. Going to both limits, this would lead to the series \begin{equation*}\sum_{n=1}^\infty \frac{\mu(n)}{n^s}\; .\end{equation*}

Subsection24.3.1Dirichlet series

We give such series a name. The following definition is formally, considered irrespective of things like convergence.

Definition24.3.1

In general, for an arithmetic function \(f(n)\), its Dirichlet series is \begin{equation*}F(s)=\sum_{n=1}^{\infty}\frac{f(n)}{n^s}\, .\end{equation*}

Answer the following three questions to see if you understand this definition. (See Exercise 24.7.1.)

  • For what arithmetic function is the Riemann zeta function the Dirichlet series?

  • What would the Dirichlet series of \(N\) be?

  • What about the Dirichlet series of \(I\)?

Note that this already indicates some level of connection between arithmetic functions. These are connections which may not have been evident otherwise.

Subsection24.3.2Euler products

For our purposes, the very important thing to note about such series is that they often can be expanded as infinite products.

Definition24.3.2

In general, for an arithmetic function \(f(n)\), its Dirichlet series has an Euler product the series can be written as an infinite product in the following manner. \begin{equation*}\sum_{n=1}^{\infty}\frac{f(n)}{n^s}=\prod_p (\text{ a formula involving }f(p)\text{ and }p^s)\end{equation*}

Example24.3.3Euler product for Riemann zeta function

We have already suggested one for the zeta function: \begin{equation*}\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}=\prod_p \left(\frac{1}{1-p^{-s}}\right)\end{equation*}

Based on the logic of this section, we have a potential new Euler product for the Dirichlet series of the Moebius function: \begin{equation*}\sum_{n=1}^{\infty}\frac{\mu(n)}{n^s}=\prod_{p}\left(1-\frac{1}{p^s}\right)=\prod_p (1-p^{-s})\end{equation*} At least, we can consider this wherever it makes sense.

In the next section, we justify more of this discussion, and connect our wonderful results about Dirichlet products of finite arithmetic functions to deep properties of their Dirichlet series.