## Why does the Riemann zeta function have non-trivial zeros?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

This is a very basic question of course, and exposes my serious ignorance of analytic number theory, but what I am looking for is a good intuitive explanation rather than a formal proof (though a sufficiently short formal proof could count as an intuitive explanation). So, for instance, a proof that estimated a contour integral and thereby showed that the number of zeros inside the contour was greater than zero would not count as a reason. A brief glance at Wikipedia suggests that the Hadamard product formula could give a proof: if there are no non-trivial zeros then you get a suspiciously nice formula for ζ(s) itself. But that would feel to me like formal magic. A better bet would probably be Riemann's explicit formula, but that seems to require one to know something about the distribution of primes. Perhaps a combination of the explicit formula and the functional equation would do the trick, but that again leaves me feeling as though something magic has happened. Perhaps magic is needed.

A very closely related question is this. Does the existence of non-trivial zeros on the critical strip imply anything about the distribution of prime numbers? I know that it implies that the partial sums of the Möbius and Liouville functions cannot grow too slowly, and it's really this that I want to understand.

-

3
If the zeta function had no zeros in the critical strip, then the usual proof of the PNT would be able to push the contour up to $\Re(s)=0$ and hence establish $\pi(x)=x/\log x+O(\log x)$. This error term can probably shown to be too small due to some trivial estimates which I can't come up with at the moment. In other words, if there weren't any non-trivial zeros, then $\pi(x)$ (and all its brothers) would behave 'suspiciously nicely'. – Thomas Bloom Feb 1 2010 at 11:11

1
It's precisely this issue -- why the error term in PNT isn't absolutely tiny -- that I want to understand. E.g. to prove that &pi;(x) does not approximate $Li(x)$ to within $latex x^{1/3}$, the obvious method is to point to the zeros on the critical line. So I'm going round in circles. With the help of the functional equation one can say that if there are no zeros on or to the right of the critical line then there are none at all, but I don't count that as an intuitive argument. – gowers Feb 1 2010 at 13:57

2
I believe that it is still an open problem to show in an elementary way that the summatory function of $\mu(n)$ is unbounded. It seems that complex analysis is quite difficult to dispense with in these kinds of problems. Unfortunately, analytic arguments do not seem to give any arithmetical insight into the reasons for comparative largeness of the error terms. – engelbrekt Feb 1 2010 at 16:28
Part of the problem is that results on primes in short intervals are not expected to be strong enough to show this. For example, if there were infinitely many n with no primes between n and n+n^a for some a>0, this would be such a great variation in pi(x)-Li(x) as to force there to be a zero in the critical strip. But it is expected that the prime gaps are only as big as (log n)^2. – David Speyer Feb 1 2010 at 17:17

4
There are other natural arithmetical functions, such as the divisor function, where the error term in its counting function is better than square-root (for the divisor function the error is known to be better than the cube root). This example makes it difficult for me to see how to use Parseval (or some variant) to prove that large variations in the error term exist. – Matt Young Feb 2 2010 at 14:27
show 5 more comments

## 5 Answers

If the Riemann zeta function had only trivial zeroes, then after multiplying by the gamma factor, it would become a zero-free entire function of finite order. Every zero-free entire function of finite order is of the form $\exp(poly(z))$. This cannot happen for the zeta function, as can be seen by considering behavior as $s\to\infty$ along the reals, for example.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Here's a variation on the arguments using the explicit formula. If there were no zeros in the critical strip then the explicit formula would say $$\psi_0(x) = x - \frac{\zeta'(0)}{\zeta(0)} - \frac12 \log(1-x^{-2}),$$ where $\psi_0(x)$ is the same as the usual $\psi(x)$ except when $x$ takes integer values $\psi_0(x)$ is the average of the left and right limits of $\psi(x)$. The right hand side is continuous for $x >0$ while the left hand side is not. The argument generalizes to show that there cannot be finitely many zeros in the critical strip, or even an infinitude that do not grow "too quickly." Precisely, if $$\sum_{\rho} \frac{x^{\rho}}{\rho}$$ converged fast enough to form a continuous function of $x$ then the same argument would carry over.

-

2
That is a very nice argument, but it also has a magic flavour to it, since you somehow manage to bootstrap a very small error (arising from the fact that $\psi_0(x)$ is discontinuous) into a much bigger one (that the error term in PNT must be more like a square root). But perhaps the bootstrapping is done by the functional equation rather than your argument. – gowers Feb 1 2010 at 14:49

5
Yes, I think the functional equation is forcing the relatively large error term (in the sense that a zero with small but positive real part would produce another zero with real part close to $1$). However, I think of it in terms of the complexity of the two sides. The function $\psi_0(x)$ is "random" in some sense so the other side of the equation must be complicated enough to produce this erratic prime-counting function. Since $\zeta(s)$ is well-behaved to the right of $1$, and to the left of $0$ (from the functional equation), all the action has to occur in the critical strip. – Matt Young Feb 1 2010 at 15:20

(I've just typed a comment but somehow it got lost. I'll type an answer instead).

Bloom is right, no zeros implies too nice a formula, except the right approximation to $\pi(x)$ is $\int_2^x dt/\log t$, not $x / \log x$. The existence of zeros implies that the error cannot be better than $O(x^{1/2})$.

On the other hand, the zeta function of ${\mathbb{F}}_q[t]$ has no zeros (and thus there is a nice formula for the analogue of $\pi(x)$) so there is no philosophical reason for a zeta function to have zeros. You might interpret the existence of infinitely many zeros of the zeta function of $\mathbb{Z}$ to mean that $Spec {\mathbb{Z}}$ has "infinite genus".

-
Do genus-$n$ arithmetic curves have $n$ zeros for their zeta function? – Anweshi Feb 1 2010 at 20:04

3
I am not sure what you mean by a genus n arithmetic curve. In the function field case, the zeta function of a curve of genus g has 2g zeros. In the number field case, all zeta functions have infinitely many zeros. – Felipe Voloch Feb 1 2010 at 21:05

An intuitive reason is indicated by Bukh in another answer. The reason there are nontrivial zeros is because the zeta-function is known to grow in a way that it wouldn't grow if there were no nontrivial zeros.

Here is some additional (but not complete) detail. Let's pass from the zeta-function to the completed zeta-function $$Z(s) = \pi^{-s/2}\Gamma\left(\frac{s}{2}\right)\zeta(s).$$ The functional equation for the zeta-function is equivalent to the equation $Z(1-s)=Z(s)$.

What does this tell us? By the Euler product, $\zeta(s)$ is nonvanishing in the half-plane to the right of 1. The $\pi$ and $\Gamma$ factors in $Z(s)$ are also nonvanishing in that half-plane, so $Z(s)$ is nonzero if the real part of $s$ is greater than 1. From the equation $Z(1-s) = Z(s)$, $Z(s)$ is also nonvanishing if the real part of $s$ is less than 0. Therefore the nontrivial zeros of $\zeta(s)$ are the same thing as all zeros of $Z(s)$.

Thus the question of why $\zeta(s)$ has nontrivial zeros is the same as the question of why $Z(s)$ has any zeros at all (nontrivial zeta zeros = zeros of $Z(s)$).

There are (simple) poles for $Z(s)$, at $s = 0$ and $s = 1$. So consider the function $F(s) = s(s-1)Z(s)$. This is an entire function which satisfies $F(1-s) = F(s)$. Let $|F|_r$ be the maximum of $|F(s)|$ on the circle around the origin of radius $r$. Using analytic methods and the functional equation (to transfer information from right to left half-planes), $|F(s)|_r$ grows exponentially with $r$ and, more precisely, $\log|F|_r$ is asymptotic to $(1/2)r\log r$. From this growth estimate and the Hadamard product formula, if $F(s)$ had only finitely many zeros then $F(s) = e^{As}P(s)$ for some constant $A$ and some polynomial $P(s)$. The functional equation for $F(s)$ then forces $A = 0$, so $F(s)$ is a polynomial. But polynomial functions don't have their max. modulus on circles grow exponentially. So we have a contradiction, which forces $F(s)$ to have infinitely many zeros and thus $\zeta(s)$ has infinitely many nontrivial zeros.

This may be looking too technical, but really the basic point is similar to the proof by Liouville's theorem of the fundamental theorem of algebra: if $p(z)$ were a nonconstant polynomial without zeros in the complex plane then we'd run into an inconsistency comparing the known behavior of $|1/p(z)|$ (continuous and tending to 0 as $|z| \rightarrow \infty$) with what would follow if there were no zeros ($1/p(z)$ is entire and nonconstant). Is that explanation of why $p(z)$ must have a zero intuitive or is it formal magic? We can't expect a formula for a zero of $p(z)$, so in some sense this growth argument with $|1/p(z)|$ to conjure up a zero indirectly is magical. But it has a simple elementary character to it as well: there has to be a zero because otherwise $1/p(z)$ would grow in a way inconsistent with how we know for sure it grows. In the same way, $\zeta(s)$ has to have infinitely many (not only a few) nontrivial zeros because otherwise $\zeta(s)$ would grow in a way that is inconsistent with how we know it grows. (I am glossing over the distinction between $\zeta(s)$ and $Z(s)$ and $s(s-1)Z(s)$ since we're supposed to be putting our intuitive hats on.)

-

May I offer an attempt at a very lowbrow answer? This answer might naturally strike anyone who knows the functional equation, who looks at a color coded graph of zeta function such as http://en.wikipedia.org/wiki/File:Complex_zeta.jpg, and who knows a little about the long-range behavior of exponential functions and $\Gamma(z)$. Nothing I will say is beyond the ken of an average serious undergraduate.

$\zeta(s)\rightarrow 1$ as $\Re(s)\rightarrow +\infty$, so no zeros occur far into the right half-plane (the Euler product makes this clear too, indeed no zeros to the right of the critial strip). Then the functional equation prevents also non-trivial zeros far into the left half-plane (indeed to the left of the critical strip).

Now the argument of the function oscillates as you move up vertical lines far into the left half-plane, as one learns from the factors of the functional equation, and their long-range behavior and the right-plane limiting behavior of $\zeta(s)$ itself.

So think about the curves that constitute the real locus and the purely imaginary locus of $\zeta(s)$. These curves can't cross anywhere except on the negative real axis and in the critical strip. Some of these curves do cross on the negative real axis, at the trivial zeros. But there is a rightmost trivial zero, it has its two curves, and there still remain infinitely many other curves lying above those.

No non-trivial zeros would mean no crossing so no doubling back for all these infinitely many curves. What else could they do? They could only head up into the critical strip, packing tightly together. That would imply faster than exponential decay along some locus as you moved up the strip. And why is that impossible?

[I see now that my attempt at a punchline was based on an unjustified assumption. I'm still thinking about a valid and simple replacement. Suggestions welcome.]

-
"One can calculate $\zeta(s)$ in the strip by series acceleration..." - interesting, I haven't heard of this approach before (the method I'm used to uses Riemann-Siegel); would you happen to have a reference for this on hand? – J. M. Dec 22 2010 at 10:32
@J.M. Gregg Zuckerman taught me this 35 years ago while he had me reading out of Serre's Course in Arithmetic. But I just checked there and it's not something in the book. But look here en.wikipedia.org/wiki/Series_acceleration under Euler's transform. That and $(1-2\cdot 2^{-s})\zeta(s)= \sum_n (-1)^{n+1} n^{-s}.$ – David Feldman Dec 22 2010 at 10:58
Ah, I see, just accelerating the convergence of the series for Dirichlet $\eta$. Nowadays, though, the Euler transform has been supplanted by more modern algorithms, e.g. the Levin transformation or Cohen-Rodriguez Villegas-Zagier. I talked about them in this m.SE thread: math.stackexchange.com/questions/3271 – J. M. Dec 22 2010 at 11:04

3
I have a mental picture. As you move left, first ζ(s) converges, then it starts to spiral, the spirals getting ever wider. Roughly speaking the spirals have involutes which have involutes, etc. to convergence. So nature picks out a value you can see even without convergence, hence analytic continuation. Each iteration gives you convergence in one more unit strip to the left. The "smoothness" of the terms $n^{-s}$ makes the method work, so that's the arithmetic "meaning" of analytic continuation and helps you see why most similar looking Dirichlet series have natural boundaries at $Re(s)=1$. – David Feldman Dec 22 2010 at 11:05
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 90, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9509458541870117, "perplexity_flag": "head"}