I have asked this question on MO, but so far did not attract a single response.

Take $a \in \mathbb{R}, s \in \mathbb{C}$ and this infinite product of conjugated zeros:

$$\displaystyle C(s,a) := \prod_{n=1}^\infty \left(1- \frac{s}{a + n i} \right) \left(1- \frac{s}{{a - n i}} \right) = \frac{\xi_{c}(0 -a+s)}{\xi_{c}(0-a)}$$

with $\xi_{c}(z) = \frac{\sinh(\pi z)}{z}$.

And then also take this related infinite product of reflexive zeros:

$$\displaystyle R(s,a) := \prod_{n=1}^\infty \left(1- \frac{s}{a + n i} \right) \left(1- \frac{s}{{1-(a + n i)}} \right) = \frac{\xi_{r}(0 -a+s)}{\xi_{r}(0-a)}\frac{\xi_{r}(1 -a-s)}{\xi_{r}(1-a)}$$

with $\xi_{r}(z) = \frac{1}{z\, \Gamma(z \, i)}$.


For the infinite product of the conjugated zeros $C(s,a)$, the closed form has only two $\xi$-factors, however the closed form for the product of the reflexive zeros $R(s,a)$ does require four $\xi$-factors.

1) Is there a way to also reduce the closed form for $R(s,a)$ to two $\xi$-factors by altering $\xi_r(z)$?

Additional clarification:

I do believe that it is impossible to reduce these four factors:

$$\displaystyle \frac{\xi_{r}(0 -a+s)}{\xi_{r}(0-a)}\frac{\xi_{r}(1 -a-s)}{\xi_{r}(1-a)}$$

into a division of only two factors.

The most logical extension of $\xi_{r}(z)$ would be to assume: $\xi_{r}(z) = \frac{1}{z\, \Gamma(z \, i)} \, \, \frac{1}{(1-z)\, \Gamma((1-z) \, i)}$

and then reduce the division to: $\displaystyle \frac{\xi_{r}(0-a+s)}{\xi_{r}(0-a)}$.

However this only correctly induces the original four factors for the nominators only and it gives the wrong results for the two denominators. Any tweak I tried to make to $\xi_r(z)$ fails on this apparently fundamental conflict, hence my conjecture that it is impossible. Keen to learn if this could be proven.

2) If not (what I conjecture), is this four $\xi$-factor closed form for $R(s,a)$ then dependent on the choice of $n$ or does it simply originate from the reflexive nature of the zeros in the product? To illustrate what I am after with an example; the relations $C(s,a) = C(2a-s,a)$ and also $R(s,a) = R(1-s,a)$ are fully independent of the choice of $n$ and just stem from the conjugated/ reflexive relation between the zeros.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.