8
$\begingroup$

Based on limited numerical evidence, I am inclined to suspect that there is always zero of $\Re \zeta(1/2+it)$ between consecutive local extrema of $\Re \zeta(1/2+it)$ (and the same for $\Im \zeta(1/2+i t)$).

There are very short intervals having two zeros.

For Siegel $Z$ function, RH implies this for $t$ large enough.

Is it true (maybe conditionally)?

Counterexamples? (Please check for 2 zeros in a short interval).

$\endgroup$
2
  • $\begingroup$ I am almost certain I have seen graphs of Re(1/2 + it) and/or Im(1/2 + it) demonstrating that your suspicion is wrong. However, I don't recall where to find them. $\endgroup$ Jul 24, 2013 at 18:12
  • $\begingroup$ @FrankThorne some graphs are misleading unless zoomed at very closely spaced zeros. $\endgroup$
    – joro
    Jul 25, 2013 at 15:06

1 Answer 1

8
$\begingroup$

This is a nice problem. On the Riemann Hypothesis this is true, for both the real and imaginary parts. Here's the proof for $v(t)=\text{Im}(\zeta(1/2+i t))$.

Write $\zeta(1/2+i t)=Z(t)\exp(-i\theta(t))$, where $Z(t)$ is the Hardy function and $\theta(t)=\text{Im}(\log \Gamma (1/4+ i t/2)-(t \log \pi)/2).$ We have $ v(t)=-Z(t)\sin(\theta(t))$. So the zeros of $v(t)$ are precisely the zeros of $\zeta(s)$ on the critical line (i.e., zeros of $Z(t)$), and the zeros of $\sin(\theta(t))$, which are known as Gram points. ($g_k$ such that $\theta(g_k)=\pi k$.)

Take derivatives to see that $$ v^\prime(t)=0\Leftrightarrow \frac{Z^\prime(t)}{Z(t)}= -\cot(\theta(t))\theta^\prime(t). $$

Now on RH, $Z^\prime(t)/Z(t)$ is monotone decreasing between the zeros of $Z(t)$, see Edwards book "Riemann's Zeta Function".

On the other hand, Stirling's formula gives that $$ \theta(t)=t\log(t/2\pi)/2-t/2-\pi/8+O(1/t) $$ and $$ \theta^\prime(t)=\log(t/2\pi)/2+O(1/t^2) $$ so $\theta(t)$, $\theta^\prime(t)$ are both monotone increasing. So is $-\cot(x)$ between consecutive multiples of $\pi$. Thus $-\cot(\theta(t))\theta^\prime(t)$ is monotone increasing between consecutive Gram points.

The figure below shows the graph of $Z^\prime(t)/Z(t)$ (in blue) and the graph of $-\cot(\theta(t))\theta^\prime(t)$ (in red) in a typical situation where the Gram points and the (imaginary part of the) Riemann zeros alternate. These are the so called 'good Gram points'. The blue and red vertical lines show the poles at the Riemann zeros and Gram points. Between a Riemann zero and a subsequent Gram point, $Z^\prime(t)/Z(t)$ decreases from $+\infty$ to a finite value, while $-\cot(\theta(t))\theta^\prime(t)$ increases from a finite value to $+\infty$. By the Intermediate Value Theorem, there is precisely one intersection. Between a Gram point and a subsequent Riemann zero, the situation is reversed.

      graphic (source)

'But wait', you say, 'not all Gram points are good. What about the bad Gram points?' The second and third figures together (note different vertical and horizontal scales) show what happens at the first bad Gram point ($k=126$). Between two consecutive Gram points without an intervening Riemann zero, $Z^\prime(t)/Z(t)$ decreases from one finite value to another, while $-\cot(\theta(t))\theta^\prime(t)$ increases from $-\infty$ to $+\infty$. Again by the Intermediate Value Theorem, there is precisely one intersection. Between two consecutive Riemann zeros without an intervening Gram point, the situation is reversed.

     graphic (source)

     graphic (source)

Thus in all scenarios, between two consecutive zeros of $v(t)$ there is precisely one zero of $v^\prime(t)$. The zeros are simple as long as no Riemann zero is a Gram point.

The situation for $u(t)=\text{Re}(\zeta(1/2+i t))$ is similar; instead of Gram points we consider $h_k$ such that $\theta(h_k)=(k+1/2)\pi$.

$\endgroup$
7
  • $\begingroup$ Thank you Stopple. There is generalization of this for 0 <= Re(s) <= 1/2 here: mathoverflow.net/questions/138069/… $\endgroup$
    – joro
    Aug 5, 2013 at 4:52
  • $\begingroup$ @joro: I'm working on that now... $\endgroup$
    – Stopple
    Aug 5, 2013 at 22:05
  • $\begingroup$ Does RH imply a Gram point can't be a zeta zero? (about your remark for the simplicity) $\endgroup$
    – joro
    Dec 7, 2013 at 15:23
  • 1
    $\begingroup$ @Stopple Naive question. Why do we have to assume RH to be true? Aren't all the zeros of $\zeta(0.5 + it)$ on the critical line? $\endgroup$
    – sku
    Jun 23, 2022 at 1:59
  • $\begingroup$ @sku We have to assume RH to get that $Z^\prime(t)/Z(t)$ is monotone between consecutive zeros. See Edwards book 'Riemann's Zeta Function'. $\endgroup$
    – Stopple
    Jun 23, 2022 at 17:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.