# Do the roots of this equation involving two Euler products all reside on the critical line?

This question loosely builds on the second part of this one.

Take the Riemann $\xi$-function: $\xi(s) =\frac12 s\,(s-1) \,\pi^{-\frac{s}{2}}\, \Gamma\left(\frac{s}{2}\right)\, \zeta(s)$. Numerical evidence suggests that for all $a \in \mathbb{R}$, the zeros of:

$$g(s,a):=\xi(a+s)\pm \xi(a+1-s)$$

all reside on the critical line $\Re(s)=\frac12$.

The graph below illustrates the claim for $-2<a<2$ (and $\pm=+$). Each line shows $\Im(s)$ of a zero for $g(s,a)$ at $\Re(s)=\frac12$. When $a=0$ the zeros are equal to the non-trivial zeros $\rho$ of $\zeta(s)$. The highlighted part $(a\ge 1)$ shows the domain where $\displaystyle \sum_{n=1}^\infty\frac{1}{n^{a+s}}$ and $\displaystyle \sum_{n=1}^\infty\frac{1}{n^{a+1-s}}$ as well as their Euler products both do converge whilst using values of $s$ with $\Re(s)<1$.

Let's take $a=1$, $\pm=-$ and $0 < \Re(s) <1$, then for each $\xi(1+s) - \xi(2-s)=0$ the following equation should hold:

$$\frac{\zeta(s+1)}{\zeta(2-s)}=\frac{2^s\,\pi^{s-1}\,\cos\left(\frac{\pi\,s}{2}\right)\,\Gamma(3-s)}{s\,(s+1)}$$

or in terms of the primes from the Euler products:

$$\prod_{p=prime} \left( \dfrac{p^{s+1}- p^{2s-1}}{p^{s+1}-1} \right)= \frac{2^s\,\pi^{s-1}\,\cos\left(\frac{\pi\,s}{2}\right)\,\Gamma(3-s)}{s\,(s+1)}$$

Note that the real part of the exponent in the term $p^{2s-1}$ only becomes $0$ when $\Re(s)=\frac12$. It gets negative for $s < \frac12$. I realise this is quite a broad question, but is there anything more to say about the influence of this term on the location of the zeros in the highlighted domain?

The term $p^{2s-1}$ is independent of the choice of $a$; the LHS always is: $\displaystyle \prod_{p=prime} \left( \dfrac{p^{s+a}- p^{2s-1}}{p^{s+a}-1} \right)= yyy$.
• The Taylor piece is 1945, Quarterly J. of Math. Oxford, which is indeed visible in the McPhedran-Poulton arXiv paper. Slightly surprisingly, it has been overlooked in many papers in the last few decades that in fact do similar things. Taylor explicitly addressed $\xi(s-{1\over 2})/\xi(s+{1\over 2})$, but shifts (in one direction) not involving RH, or (in the opposite direction) assuming it, would follow from the same reasoning. – paul garrett Dec 26 '16 at 23:59
The equation doesn’t hold, because: $$\lim\limits_{s\downarrow 0} s\zeta(s+1)=1\ne\frac{\pi}{3}=\lim\limits_{s\downarrow 0} \frac{\zeta(2-s)2^s\pi^{s-1}\cos(\frac{\pi s}{2})\Gamma(3-s)}{s(s+1)}$$ and $$\lim\limits_{s\uparrow 1} \frac{1}{(1-s)\zeta(2-s)}=1\ne\frac{3}{\pi}=\lim\limits_{s\uparrow 1} \frac{2^s\pi^{s-1}\Gamma(3-s)}{\zeta(s+1)s(s+1)}\frac{\cos(\frac{\pi s}{2})}{1-s}$$
• I am not claiming that the formula holds for all $s$. As I stated in the question, it only works for complex $s$ where $\xi(1+s) - \xi(2-s)=0$ and $0 < \Re(s) <1$ (the latter to ensure the series and their associated Euler products converge). The conjecture is that zeros only occur at points when $\Re(s)=\frac12$. – Agno Apr 30 '16 at 10:02
{"ft_lang_label":"__label__en","ft_lang_prob":0.6701233,"math_prob":0.9999529,"size":1741,"snap":"2019-51-2020-05","text_gpt3_token_len":643,"char_repetition_ratio":0.10938399,"word_repetition_ratio":0.0,"special_character_ratio":0.3923033,"punctuation_ratio":0.1,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99999154,"pos_list":[0,1,2],"im_url_duplicate_count":[null,5,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-01-26T05:06:48Z\",\"WARC-Record-ID\":\"<urn:uuid:c87ef7c5-7e31-4aa9-86b4-aab008e50b91>\",\"Content-Length\":\"126128\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:50966085-d284-444d-9cd3-c8162f078269>\",\"WARC-Concurrent-To\":\"<urn:uuid:fa5a17ae-4ab5-496b-b1ac-bac92117c7fd>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://mathoverflow.net/questions/208480/do-the-roots-of-this-equation-involving-two-euler-products-all-reside-on-the-cri?noredirect=1\",\"WARC-Payload-Digest\":\"sha1:MC5VSE6LAEQVSS4IIELSERDHXGVFW62I\",\"WARC-Block-Digest\":\"sha1:BECE6BWH67WSQN4EVJWP5UI7DCPGFXGR\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-05/CC-MAIN-2020-05_segments_1579251687725.76_warc_CC-MAIN-20200126043644-20200126073644-00551.warc.gz\"}"}