Skip to main content
3 of 4
added 763 characters in body
GH from MO
  • 105.2k
  • 8
  • 292
  • 398

If $\zeta(s)$ is nonzero, but $\zeta(s)\pm\zeta(1-s)=0$, then by the functional equation of the Riemann zeta function we have $$ \pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\pm \pi^{-\frac{1-s}{2}}\Gamma\left(\frac{1-s}{2}\right)=0.$$ That is, your question is just the Riemann Hypothesis plus a more elementary one similar to your earlier question about the zeros of $\Gamma(s)\pm\Gamma(1-s)$. I would expect that the exact same techniques work here, i.e. one can show by known estimates for the gamma function that all nonreal solutions of the displayed equation lie on $\Re s=1/2$.

EDIT 1. To keep up with new developments I now expect that within the critical strip all nonreal solutions of the displayed equation lie on $\Re s=1/2$. Moreover, it seems reasonable to believe that there are no nonreal solutions with $|\Re s|$ sufficiently large.

EDIT 2. It follows from a generalized Rouché's theorem and Stirling's approximation that there are no nonreal solutions with $|\Re s|$ sufficiently large. More precisely, consider the rectangular contour $C_n$ with vertices $2n\pm it$ and $2n+2\pm it$, where $n>0$ is a large integer and $t>0$ is sufficiently large in terms of $n$. It suffices to show that along $C_n$ we have $$ \left|\pi^{-\frac{1-s}{2}}\Gamma\left(\frac{1-s}{2}\right)\right|<\left|\pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\right|.$$ One can show that the right hand side divided by the left hand side is $ \gg n^{2n-\frac{1}{2}}(\pi e)^{-2n}$ on the vertical sides of $C_n$, while it is $\gg_n t^{2n-\frac{1}{2}}$ on the horizontal sides of $C_n$. The claim follows.

GH from MO
  • 105.2k
  • 8
  • 292
  • 398