Skip to main content

Section 25.5 Connecting to Zeta

Subsection 25.5.1 Turning the golden key

Now, this looks just as hopeless as before. How is J going to help us calculate π, if we can only calculate J in terms of π anyway?

Here is where Riemann “turns the Golden Key”, as Derbyshire puts it. Because ζ has an Euler product over the set of primes, we can just possibly connect it to each prime. It turns out this will in fact connect ζ to J. This is the goal of the rest of the current section.

In the next section, we will see how the zeros of ζ give us an exact formula for J; then we will finally plug J back into the Moebius-inverted formula for π to get an exact formula for π in Section 25.7. Here is a plot of that formula, as a foretaste.

Prime pi, log integral, and a better approximation
Figure 25.5.1. π(x), Li(x), and something better than Li

We can see above that this has the potential to be a very good approximation, even given that I did limited calculations here. The most interesting thing is the gentle waves you should see; this is quite different from the other types of approximations we had, and seems to have the potential to mimic the more abrupt nature of the actual π(x) function much better in the long run. (See [E.4.3] for more details along these lines, connecting to Fourier series, which we will not pursue.)

Subsection 25.5.2 Detailing the connections

Now let's connect J and ζ. Recall the Euler product for ζ again:

ζ(s)=p11ps

The trick to getting information about primes out of this, as well as connecting to J, is to take the logarithm of the whole thing. This will turn the product into a sum, something we can work with much more easily 3 :

log(ζ(s))=plog(11ps)=plog(1ps)
This reminds me of the old joke about Noah's ark and logarithms. So, after the ark lands, all the animals are … having baby animals, let's say. Except the snakes. No baby snakes. Noah asks what the problem is – they seem to be missing the point. Snakes say, no worries, just give us a wooden bench or sawhorse or something. Noah wonders what's up, but gives it to them. Next morning, tons of baby snakes! Naturally Noah has to ask where the magic was. “Simple; adders need a log table to multiply.”

Adding just fractions would have perhaps allowed using a geometric series to make this a sum, but what could we do with a sum of logarithms?

Question 25.5.2.

What can we do with log() of some sum, not a product?

Solution.

We can use its Taylor series!

\begin{equation*} -\log(1-x)=\sum_{k=1}^\infty \frac{x^k}{k} \end{equation*}

So we plug it in:

log(ζ(s))=pk=1(ps)kk

Now we will manipulate this in two big steps. First we'll rewrite the fraction as an integral, and then we will try to somehow add up the integrals.

Standard improper integral work (Exercise 25.9.3) from second-semester calculus shows that we can rewrite the summands:

(ps)kk=skpkxs1dx.

That means we can rewrite the logarithm of ζ as

log(ζ(s))=pk=1(ps)kk
=pk=1skpkxs1dx=spk=1pk1kxs1dx.

This is a very large sum of integrals. We can rewrite this as a single integral, but we will need to pay close attention.

First, we can unify all these integrals from pk to by making them all have the same endpoints. This is done somewhat artificially, by writing

pk1kxs1dx=1pk1k0xs1dx+pk1kxs1dx

This yields the integral of a piecewise-defined function, but it for every k and p it is defined from 1 to .

Now comes the most surprising part. What function would I get if I added up all those integrals in the double sum for log(ζ(s)), pk=1(ps)kk? To see this, let us add up all of the piecewise integrands, organizing by the powers k for any given prime p.

  1. Whenever x reaches p1=p, the sum of all those functions would add 11xs1. Adding up all of these for all p means the total function would include

    π(x)xs1
  2. Whenever x reaches p2, the sum of all those functions would add 12xs1. This, however, is the same thing as when x hits a prime, so we can add it to the previous point. The total function would include would include

    12π(x)xs1
  3. When x reaches a cube of a prime, the sum adds 13xs1. This is the same thing as adding a new part when x3 hits a prime, that is adding

    13π(x3)xs1

And so forth for each k. In short, adding up all these piecewise integrands seems to give a big integrand

(π(x)+12π(x)+13π(x3)+)xs1.

But this sum of all the piecewise integrands is J(x), multiplied by xs1. Hence

log(ζ(s))=spk=1pk1kxs1dx=s1J(x)xs1dx.

This completes our connection of ζ and J.