Return to Answer

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.

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|,$$ because this implies that inside $C_n$ there is precisely one solution of the above displayed equation (which must be real by the reflection principle). 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.

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

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.

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

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