3
$\begingroup$

I am trying to show that $\left\{ \left( 1-\dfrac {z} {\pi }\right) e^{\left( \dfrac {z} {\pi }\right) }\right\} \left\{ \left( 1+\dfrac {z} {\pi }\right) e^{\left( -\dfrac {z} {\pi }\right) }\right\} \left\{ \left( 1-\dfrac {z} {2\pi }\right) e^{\left( \dfrac {z} {2\pi }\right) }\right\} \left\{ \left( 1+\dfrac {z} {2\pi }\right) e^{\left( -\dfrac {z} {2\pi }\right) }\right\}\ldots $ Converges absolutely.

So the general term is of the form $\left( 1\pm \dfrac {z} {m\pi }\right) e^{\pm \dfrac {z} {m\pi }}$ I think it's the $e^{\pm \dfrac {z} {m\pi }}$ which is giving me grief. Any help would be much appreciated.

Edit: Is multiplying the $2m -1 $ and the $2m$ terms and canceling out the $e^{\pm \dfrac {z} {m\pi }}$ parts and $\left( 1^2\ - (\dfrac {z} {m\pi })^2\right)$ terms be allowed or would that run the risk of altering the value of the product ?

1 Answers 1

4

This product is quite a famous one:

We have that the Gamma function defined as:

$\Gamma(z) = \int\limits_0^\infty e^{-t} t^{z}\frac{dt}{t}$

is convergent for $\Re(z)>0$

It is not too difficult to prove that, fo $n\in \mathbb{N}$,

$\lim\limits_{n \to \infty} \frac{\Gamma({z+n})}{ n^{z-1}n!}=1$

This with the functional equation of $\Gamma$ gives the identity:

$\Gamma(z) = \lim\limits_{n \to \infty} \frac{n^{z} n!}{\prod\limits_{v=0}^{n} (z+v)}$

Let's write

$\tag{1} \frac{1}{\Gamma_n(z)} = \frac{\prod\limits_{v=0}^{n} (z+v)}{ n^{z} n!}$

We know that

$\lim\limits_{n \to \infty} \frac{1}{\Gamma_n(z)} =\frac{1}{\Gamma(z)} $

We can write $(1)$ differently, as

$ \frac{1}{\Gamma_n(z)} = \frac{z}{n^z}{\prod\limits_{v=1}^{n} \left(\frac{z}{v}+1 \right)}$

Now, ${n^z} = {e^{z\log n}} = {e^{ - z\left( {1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} - \log n} \right)}}{e^{z\left( {1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n}} \right)}}$

so we can write

$\frac{1}{{{\Gamma _n}(z)}} = z{e^{z\left( {1 + \frac{1}{2} + \frac{1}{3} + \cdots + \frac{1}{n} - \log n} \right)}}\prod\limits_{v = 1}^n {\left( {\frac{z}{v} + 1} \right)} {e^{ - \frac{z}{v}}}$

Letting $n\to \infty$ gives:

$\frac{1}{{\Gamma (z)}} = z{e^{z\gamma }}\prod\limits_{v = 1}^\infty {\left( {\frac{z}{v} + 1} \right)} {e^{ - \frac{z}{v}}}$

where $\gamma\approx 0.577\dots$ is Euler's constant.

This means that

$\frac{1}{{\Gamma ( - z)}} = - z{e^{ - z\gamma }}\prod\limits_{v = 1}^\infty {\left( {1 - \frac{z}{v}} \right)} {e^{\frac{z}{v}}}$

or that

$\eqalign{ & \frac{1}{{\Gamma ( - z)}}\frac{1}{{\Gamma (z)}} = - z{e^{ - z\gamma }}z{e^{z\gamma }}\prod\limits_{v = 1}^\infty {\left( {1 - \frac{z}{v}} \right)} \left( {1 + \frac{z}{v}} \right){e^{ - \frac{z}{v}}}{e^{\frac{z}{v}}} \cr & \frac{1}{{\Gamma ( - z)}}\frac{1}{{\Gamma (z)}} = - {z^2}\prod\limits_{v = 1}^\infty {\left( {1 - \frac{z}{v}} \right)} \left( {1 + \frac{z}{v}} \right) \cr} $

But $\frac{1}{{ - z\Gamma ( - z)}} = \frac{1}{{\Gamma (1 - z)}}$ so

$\frac{1}{{\Gamma (1 - z)}}\frac{1}{{\Gamma (z)}} = z\prod\limits_{v = 1}^\infty {\left( {1 - \frac{{{z^2}}}{{{v^2}}}} \right)} $

Now put $z=\dfrac{s}{\pi}$, and your expression will appear. Note that the exponentials cancel out, and the infinite product converges everywhere.