$\sum_{\rho}\frac{1}{|\rho|^2}=\sum_\rho\frac{1}{\rho(1-\rho)}$

analytic-number-theorycomplex numberscomplex-analysisriemann-hypothesisriemann-zeta

Riemann Hypothesis(RH) is equivalent to the statement "
https://mathoverflow.net/questions/91280/is-this-sum-of-reciprocals-of-zeta-zeros-correct "$$\sum_{\rho}\frac{1}{|\rho|^2}=\sum_\rho\frac{1}{\rho(1-\rho)}$$ where $\rho$ denotes non trivial zeros of Riemann zeta function.

Question Prove that RH is equivalent to $$\sum_{\rho}\frac{1}{|\rho|^2}=\sum_\rho\frac{1}{\rho(1-\rho)}$$
Attempt
Assume RH then $\Re(\rho)=\frac{1}{2}$ ,so $1-\rho=\overline{\rho}$
$$\sum_\rho\frac{1}{\rho(1-\rho)}= \sum_{\rho}\frac{1}{|\rho|^2} $$
Conversely, Assume,$$\sum_\rho\frac{1}{\rho(1-\rho)}= \sum_{\rho}\frac{1}{|\rho|^2} $$
$$\sum_\rho [\frac{1}{\rho(1-\rho)}-\frac{1}{\rho\overline{\rho}}]=0$$
$$\sum_\rho \left(\frac{2\Re(\rho)-1}{\rho \bar{\rho}(1-\rho)}\right)=0$$
How to conclude that $$\Re(\rho)=\frac{1}{2}?$$

Best Answer

Note that if $1/2<\sigma<1, t \ne 0, \rho=\sigma+it$ we have $|\rho|^2=\sigma^2+t^2>(1-\sigma)^2+t^2=|1-\rho|^2$ so $\frac{2\sigma -1}{|\rho|^2} < \frac{2\sigma -1}{|1-\rho|^2}$ (since $2\sigma-1>0$) and by rearranging a little we get:

$\frac{2\sigma}{|\rho|^2} +\frac{2(1-\sigma)}{|1-\rho|^2}< \frac{1}{|\rho|^2}+\frac{1}{|1-\rho|^2}$

But now the expression above is symmetric in $\sigma, 1-\sigma$ so by interchanging them the inequality holds for $\sigma < 1/2$ too

Assume $\sum_\rho\frac{1}{\rho(1-\rho)}= \sum_{\rho}\frac{1}{|\rho|^2}$ and note that both sides are absolutely convergent hence we can regroup at will.

In particular, we rearrange the terms so we group $\rho, 1-\rho, \bar \rho, 1-\bar \rho$ together. If $\Re \rho =1/2$ this grouping has only two terms and appears twice (once for $\rho$ and once for $1-\rho$) while the sum is $\frac{1}{|\rho|^2}=\frac{1}{|1-\rho|^2}$ so the corresponding terms on RHS are equal.

If RH is false there is $\rho=\sigma+it, \sigma \ne 1/2, t > 0$ and the grouping above has $4$ terms each appearing twice (this time for $\rho, 1-\bar \rho$) with sum $\frac{1}{\rho(1-\rho)}+\frac{1}{\bar \rho(1-\bar \rho)}= \frac{2\sigma}{|\rho|^2} +\frac{2(1-\sigma)}{|1-\rho|^2}$ However in this case the corresponding terms on RHS are $\frac{1}{|\rho|^2}+\frac{1}{|1-\rho|^2}$ and by the result in the beginning we get a strict inequality.

Since by the grouping above we showed that LHS is a sum of positive terms, some equal with the corresponding ones on RHs and some strictly less we get the contradiction $\sum_\rho\frac{1}{\rho(1-\rho)} < \sum_{\rho}\frac{1}{|\rho|^2}$ so our supposition that RH is false cannot hold. Done!

Related Question