When does the zeta function take on integer values? - MathOverflow

When does the zeta function take on integer values?

2009-12-02T16:06:20Z

Here $\zeta(s)$ is the usual Riemann zeta function, defined as $\sum_{n=1}^\infty n^{-s}$ for $\Re(s)>1$.

Let $A_n=${$s\;:\;\zeta(s)=n$}. The behaviour of $A_0$ is basically just the Riemann hypothesis; my question concerns $A_n$ for $n\neq0$.

1) Is determining this just as hard as the Riemann hypothesis?

2) If we know the behaviour of some $A_n$, does it help in deducing the behaviour of other $A_m$?

3) For which $n$ is $A_n$ non-empty?

Question 3 has now been answered for all strictly positive $n$ - it is non-empty, and has points on the real line to the left of $s=1$. For $n=0$, it is known to be non-empty. Any idea for negative $n$? (the same answer won't work, since $\zeta(s)$ is strictly positive on the real line to left of $s=1$. Big Picard gives it non-empty for all but at most one $n$. How can we remove the 'at most one'?

Answer by Charles Siegel for When does the zeta function take on integer values?

2009-12-02T16:12:13Z

Well, for 3, it'd be all of them (well, at most one of them is empty, by Big Picard). The zeta function is meromorphic, but not rational, and so has an essential singularity, at infinity.

Answer by Ben Weiss for When does the zeta function take on integer values?

2009-12-02T16:25:51Z

Let's look at $\zeta(s)$ for some large $\sigma$ (the real part of $s$). We can bound the function by $\int_1^\infty \frac{dx}{x^\sigma} + 1$, which is $\frac{\sigma}{\sigma-1}.$ So all these values in any $A_m$ ($m > 1$) can be bounded by a half-plane. This definitely doesn't pin down where they are, but does give a nice bound on where they are not.

Answer by Pete L. Clark for When does the zeta function take on integer values?

2009-12-02T18:32:36Z

Regarding 3), this "Big Picard" stuff is serious overkill.

Think like an undergraduate real analysis student:

The p-series zeta(p) converges for real p > 1, whereas zeta(1) = sum of the harmonic series = oo.

An easy argument using (e.g.) the integral test shows that

lim_{p -> oo} zeta(p) = 1.

The function zeta(p) is continuous in p [the convergence is uniform on right half-planes, hence on compact subsets], so by the intermediate value theorem it takes on every positive integer value n >= 2 at least once -- and, since it is a decreasing function of p, exactly once -- on the real line.

Thus A_n is nonempty for all n >= 2.

EDIT: Let me show that zeta(s) takes on all real values infinitely many times on the negative real axis.

For this, note that for all n >=1,

zeta(-(2n-1)) = - B_{2n}/(2n),

where B_{2n} is the (2n)th Bernoulli number. It is known that the B_{2n}'s alternate in sign and grow rapidly in absolute value:

|B_{2n}| \sim 4 \sqrt{\pi n} (n/(pi e))^{2n}.

The claim follows from this and the Intermediate Value Theorem.

Answer by Harrison Brown for When does the zeta function take on integer values?

2009-12-02T20:27:34Z

This is by no means my area of expertise, but doesn't $|\zeta(s)|$ get arbitrarily large along the negative real line between the trivial zeros? And also alternate in sign at the odd negative integers? This would imply (median value theorem!) that it hits every integer, with none of this "at most one exception" stuff.

Answer by engelbrekt for When does the zeta function take on integer values?

2009-12-02T23:54:17Z

About (1) I agree with Boris Bukh. There is no conjecture about the location of the a-points of the Riemann zeta function ($\zeta(s) = a$), in the way that we have for the 0-points. And by my next remark, there may well be no reasonable description of the m-points for $m \neq 0$.

About (2) I also agree with Boris Bukh, for a particular reason. There is a universality result for the Riemann zeta function, to the effect that as you move the disk $|s - 3/4| \leq 1/4$ vertically upwards, the Riemann zeta function can be made to approximate arbitrarily well in the sup-norm an arbitrary continuous function on the closed disk that is holomorphic in the open disk. It is just a matter of moving the disk far enough up. Since for an arbitrary holomorphic function there is no connection between the a-points and the b-points for a pair of values $a \neq b$, neither would you expect such a relationship for the Riemann zeta function.

The universality result is due to M. Voronin, see page 308 of the second edition of The Theory of the Riemann Zeta-function by E. C. Titchmarsh. It is crucial to get the second edition, with the end-of-chapter notes by D. R. Heath-Brown. This is the standard reference on the Riemann zeta function, though there is also a very useful book by Aleksandar Ivic.

Answer by Micah Milinovich for When does the zeta function take on integer values?

2010-08-02T05:29:53Z

There are infinitely many roots of $\zeta(s)-a=0$ for every complex number $a$. When $a\ne 0$, these are called "$a$-values" and there is a whole chapter discussing their distribution in Titchmarsh's book on the zeta-function. Selberg also discusses $a$-values in his (now famous) paper "Old and new conjectures and results about a class of Dirichlet series" where he defines the Selberg class.

Here is an overview of some of the important results:

1) There are $\frac{T}{2\pi}\log T + O(T)$ $a$-values of $\zeta(s)$ in the strip $0<\Im s\leq T$.

2) Like the zeros of $\zeta(s)$, Levinson proved that $a$-values cluster near the half-line. That is to say, almost all $a$-values are arbitrarily close to the half-line.

3) Unlike the zeros of $\zeta(s)$, there are provably a lot of $a$-values away from the half-line (though not a positive proportion). Namely, there are $\gg T$ roots of $\zeta(s)=a$ for $a\neq 0$ in any region $A\leq \Re s \leq B$ and $0<\Im s\leq T$ where $A\in (1/2,1)$ and $A$ strictly less than $B$. This is proved in Titchmarsh's book. On the other hand, standard zero-density estimates for the zeta-function tell us that there are $o(T)$ zeros in such a region. Some have suggested that this is evidence for the Riemann Hypothesis.

Answer by Barry Brent for When does the zeta function take on integer values?

2010-09-13T04:21:57Z

Regarding Jonah's remark about plotting the inverse images of n. A quick way to visualize the zeros of a meromorphic function $f(s)$ is to plot (by color-coding with four colors) the quadrant of the value of $f(s)$. Points at the junction of four differently colored regions are either zero or poles. For $f(s) = \zeta(s) - n$ there is only one pole, so all the other 4-color junctions are inverse images of $n$. The plots I've looked at show some behavior that looks related to many other plots one has seen in connection with zeta. But the plot of the inverse image of the set of all (Gaussian) integers obtained from $f(s) = Mod[\zeta(s),1]$ (using $Mathematica$ notation) seems particularly interesting, especially (for example) in the three by three square with center 1, or in much smaller regions in the left half plane, for example, the square centered at $-25 + \frac 12 i$ with side length $10^{-5}$.

Answer by Anon for When does the zeta function take on integer values?

2011-04-29T20:00:44Z

There is entire chapter of a book written on this very subject (Titchmarsh, The Theory of The Riemann zeta-function, chapter XI)

In the rectangle 0 \leq Re(s) \leq 1,0< Im(s)>T zeros of \zeta(s)-a in the box 3/4< Re(s) < 4/5, 0