We've seen that satisfies the functional equation

(Well, it still needs to be proved, but let's just assume it's correct for now.) The goal of this post is an even more symmetrical form that will yield the function which we can develop into an incredibly useful product expression.

On our wish list for we find three items:

- It's an
*entire function*, i.e., a function that's holomorphic everywhere in without any poles. - It has zeros for all non-trivial zeros of the -function, and no others.
- It's perfectly symmetrical along the critical line, i.e., it satisfies .

The first two requirements are fairly easy to satisfy. To make holomorphic, we just need to cancel out its single simple pole at by multiplying . Keeping in mind the desired symmetry, we also multiply a factor . To get rid of the trivial zeros , plus the one we just introduced at , we need to multiply by a function that has (simple) poles at exactly these points, and no zeros. From the functional equation, we know that the factorial function is a pretty good candidate, which has no zeros, but poles for . So has poles at , and has poles at , perfectly covering all the zeros we needed eliminated without introducing new ones. This leads us to

where is just a placeholder for other factors that may be necessary achieve requirement 3, the symmetry around the critical line. We are free to choose anything for as long as it does not interfere with the other two requirements, i.e., it cannot have zeros or poles. (Spoiler alert: Pretty much the only entire functions satisfying this are constant and exponential functions, and that's exactly what we will need.)

I won't try to create any further tension as we're almost there (and I suck at it anyway). Indeed, Riemann found the integral expression

where

is the exponential sum. I won't go into the details, but it is now obvious that the right-hand side is unchanged when you substitute by . In other words, if we define^{1}

we have found a function that satisfies all three requirements. Eureka!

So, why did we jump through all these hoops? I promised a nice product representation for , and we're now in the position to get cracking. More specifically, it's high time the zeros entered the scene!

Representing a function through a product over their zeros is a pretty common idea. Take, for instance, a polynomial function of degree, say, with zeros . (Of course we are all aware of the fundamental theorem of algebra which ensures that every polynomial of degree has exactly zeros over the complex numbers, right?) Now, consider the expression

For , all factors are , so . Further, if , i.e., one of the zeros, then the corresponding factor is , and hence the whole product, as is the polynomial at this point, so . Now, we found an expression that corresponds to our polynomial in points (the zeros and the origin). Since the polynomial has degrees of freedom (the coefficients of the polynomial), it is completely determined by these points, and hence must correspond to our expression: for all . (In all I've just said I implicitly assumed the zeros to be simple, and , but these are just technical obstacles.)

Why shouldn't the same hold for infinitely many zeros? Holomorphic function are really just polynomials of infinite degree, so we would expect an expression like

where the product runs over all the zeros of which, by our construction, are exactly the non-trivial zeros of . Of course, this argumentation is all very vague, and for the above expression to be correct, we at the very least need convergence of the product. As an additional obstacle, the product converges only conditionally, i.e., the convergence depends on the ordering of the zeros. It turns out the "right" ordering is to pair every zero with the mirrored . Recalling what we learnt earlier, it suffices then to prove that converges.

Riemann states in his paper (though he makes no attempt to prove it, so neither shall I feel under any obligation to do so) that the number of zeros of (or , if you prefer) in the critical strip with imaginary part between and is approximately

This implies, very roughly, that the th zero has modulus about , so the above sum behaves similar to which indeed converges, and hence the product does.

There's a lot of hand-waving and unproved arguments in this article, some of which we may return to, some which we just leave as it is. But one conclusion will hopefully stick: We have the functions and (which are essentially the same for all we are concerned about), and represented them as two products, one over the prime numbers, and one over the zeros in the critical strip. This intrinsically links these two together! We will go on to use the zeros to calculate primes, both approximately and exactly.

The factor 1/2 has just been introduced to make certain calculations more convenient. ↩