When does the zeta function take on integer values? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T05:51:47Z http://mathoverflow.net/feeds/question/7586 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values When does the zeta function take on integer values? Thomas Bloom 2009-12-02T16:06:20Z 2011-04-29T20:00:44Z <p>Here $\zeta(s)$ is the usual Riemann zeta function, defined as $\sum_{n=1}^\infty n^{-s}$ for $\Re(s)>1$.</p> <p>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$. </p> <p>1) Is determining this just as hard as the Riemann hypothesis?</p> <p>2) If we know the behaviour of some $A_n$, does it help in deducing the behaviour of other $A_m$?</p> <p>3) For which $n$ is $A_n$ non-empty?</p> <p>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'?</p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/7589#7589 Answer by Charles Siegel for When does the zeta function take on integer values? Charles Siegel 2009-12-02T16:12:13Z 2009-12-02T18:07:41Z <p>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.</p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/7591#7591 Answer by Ben Weiss for When does the zeta function take on integer values? Ben Weiss 2009-12-02T16:25:51Z 2009-12-02T16:37:27Z <p>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.</p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/7600#7600 Answer by Pete L. Clark for When does the zeta function take on integer values? Pete L. Clark 2009-12-02T18:32:36Z 2009-12-02T23:08:44Z <p>Regarding 3), this "Big Picard" stuff is serious overkill.</p> <p>Think like an undergraduate real analysis student:</p> <p>The p-series zeta(p) converges for real p > 1, whereas zeta(1) = sum of the harmonic series = oo.</p> <p>An easy argument using (e.g.) the integral test shows that</p> <p>lim_{p -> oo} zeta(p) = 1.</p> <p>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.</p> <p>Thus A_n is nonempty for all n >= 2.</p> <p>EDIT: Let me show that zeta(s) takes on all real values infinitely many times on the negative real axis. </p> <p>For this, note that for all n >=1, </p> <p>zeta(-(2n-1)) = - B_{2n}/(2n), </p> <p>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:</p> <p>|B_{2n}| \sim 4 \sqrt{\pi n} (n/(pi e))^{2n}.</p> <p>The claim follows from this and the Intermediate Value Theorem.</p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/7609#7609 Answer by Harrison Brown for When does the zeta function take on integer values? Harrison Brown 2009-12-02T20:27:34Z 2009-12-02T20:27:34Z <p>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 <em>every</em> integer, with none of this "at most one exception" stuff.</p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/7620#7620 Answer by engelbrekt for When does the zeta function take on integer values? engelbrekt 2009-12-02T23:54:17Z 2009-12-02T23:54:17Z <p>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$.</p> <p>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 <em>arbitrary</em> 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.</p> <p>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.</p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/34208#34208 Answer by Micah Milinovich for When does the zeta function take on integer values? Micah Milinovich 2010-08-02T05:29:53Z 2010-08-02T16:41:50Z <p>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.</p> <p>Here is an overview of some of the important results:</p> <p>1) There are $\frac{T}{2\pi}\log T + O(T)$ $a$-values of $\zeta(s)$ in the strip $0&lt;\Im s\leq T$.</p> <p>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. </p> <p>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&lt;\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.</p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/38535#38535 Answer by Barry Brent for When does the zeta function take on integer values? Barry Brent 2010-09-13T04:21:57Z 2010-09-13T04:58:22Z <p>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}$. </p> http://mathoverflow.net/questions/7586/when-does-the-zeta-function-take-on-integer-values/63466#63466 Answer by Anon for When does the zeta function take on integer values? Anon 2011-04-29T20:00:44Z 2011-04-29T20:00:44Z <p>There is entire chapter of a book written on this very subject (Titchmarsh, The Theory of The Riemann zeta-function, chapter XI)</p> <p>In the rectangle 0 \leq Re(s) \leq 1,0&lt; Im(s)>T zeros of \zeta(s)-a in the box 3/4&lt; Re(s) &lt; 4/5, 0