Skip to main content
3 of 3
Copied images to imgur.com, as they were not being displayed because of new https rule. Added links to original image sources.

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$.

Stopple
  • 11.1k
  • 3
  • 43
  • 65