Fact25.7.1Riemann explicit formula
\begin{equation*}\pi(x)=\sum_{n=1}^\infty \frac{\mu(n)}{n}\left[ Li(x^{1/n})-\sum_{\rho}\left(Li(x^{\rho/n})+Li(x^{\bar{\rho}/n})\right)+\int_{x^{1/n}}^\infty\frac{dt}{t(t^2-1)\log(t)}\right]\end{equation*}
Section25.7The Riemann Explicit Formula¶ permalink
Now we are finally ready to see Riemann's result, by plugging in this formula for \(J\) into the Moebius inverted formula for \(\pi\) given by \begin{equation*}\pi(x)=J(x)-\frac{1}{2}J(\sqrt{x})-\frac{1}{3}J(\sqrt[3]{x})-\frac{1}{5}J(\sqrt[5]{x})+\frac{1}{6}J(\sqrt[6]{x})+\cdots\end{equation*} It is true that Riemann did not prove the following formula fully rigorously, and indeed one of the provers of the Prime Number Theorem mentioned taking decades as part of that effort just to prove all the statements Riemann made in this one paper. Nonetheless, it is certainly Riemann's formula for \(\pi(x)\), and an amazing one:
It is worth making two points about the transition to this formula. First, if you're wondering where the \(\log(2)\) at the end of the previous section went, it went to 0 because \(\sum_{n=1}^\infty \frac{\mu(n)}{n}=0\), though this is very hard to prove. (In fact, it is a consequence of the Prime Number Theorem; see Exercise 25.9.5.)
Secondly, each \(\rho\) is a zero above the real axis, and then \(\bar{\rho}\) is the corresponding one below the real axis. The summation is over every single zero not on the real axis. In particular, these \(\rho\) are conjectured by the Riemann Hypothesis to all have real part equal to \(1/2\), which would make things particularly tidy.
Now let's see this formula in action.
This graphic shows just how good it can get. Again, notice the waviness, which allows it to approximate \(\pi(x)\) not just once per “step” of the function, but along the steps.
We can also just check out some numerical values.
Many wonderful facts would follow from the truth of the Riemann Hypothesis, or from a natural generalization.
Fact25.7.2Consequences of the (generalized) Riemann Hypothesis
The following follow from the Riemann Hypothesis or a generalization for things like general Dirichlet series.
The Dirichlet series of the Möbius function would be the multiplicative inverse of the zeta function for lots more complex values than just the real ones we proved it for in .
The value (not just average) of \(\sigma(n)\) would have the following bound once \(n\) is big enough: \begin{equation*}\sigma(n)<e^\gamma \log(\log(n))\end{equation*}
The biggest gap between consecutive prime numbers could not be too big (to be precise, \(O(\sqrt{p}\log(p)\)).
We would know exactly what it means for a type of prime to win the ‘prime races’ (see Section 22.1).
Artin's conjecture (Conjecture 17.5.2) on primitive roots follows from a generalization as well.
So can you prove that there are no other zeros other than those on the critical line to contribute to these approximations to \(\pi(x)\)? If so, welcome to the future of number theory!