Næste: The mysterious formula Op: Weierstrass product Foregående: The infinite product

Its relation to $\Gamma$

We note that

\begin{displaymath}\gamma = \lim_{n} \left( \sum_{k=1}^{n}\frac{1}{k} - \log n \right)
\end{displaymath}

exists (the sequence in the brackets is decreasing and positive). It is called Euler's constant. We now put

\begin{displaymath}\Delta (z) = z \exp (\gamma z) \prod_{n=1}^{\infty}(1+z/n)\exp (-z/n),
\end{displaymath}

and we claim that

\begin{displaymath}\frac{1}{\Gamma (z)}=\Delta (z), \qquad \mbox{for } z \in \mathbb C \setminus \{
0,-1,-2, \cdots \} .
\end{displaymath}

To see this we define

\begin{displaymath}G_n(z)=\frac{n!n^z}{z(z+1)\cdots(z+n)}
\end{displaymath}

and notice that

\begin{displaymath}G_n(z)z \exp (\gamma z) \prod_{k=1}^{n}(1+z/k)\exp (-z/k) =
\...
...amma -\sum_{k=1}^n\frac{11}{k}
+\log n\right) z\right) \to 1
\end{displaymath}

uniformly on compact subsets of $\mathbb C \setminus \{
0,-1,-2, \cdots \} $. Thus

\begin{displaymath}G_n(z)\to G(z)\equiv \frac{1}{\Delta (z)}.
\end{displaymath}

Furthermore,

\begin{displaymath}G_n(z+1)=\frac{n!n^zn}{(z+1)\cdots(z+n+1)}= G_n(z)\frac{nz}{z+n+1}
\end{displaymath}

and

\begin{displaymath}G_n(1)=\frac{n}{n+1}.
\end{displaymath}

Letting n tend to infinity we obtain

\begin{displaymath}G(z+1)=zG(z) \qquad G(1)=1.
\end{displaymath}

Finally, $\vert G(z)\vert\leq G(\Re z)$, so Wielandt's theorem can be applied and we get

\begin{displaymath}G(z)=\Gamma (z).
\end{displaymath}



Henrik Laurberg Pedersen
2000-05-16