# Analytic continuation of factorial function

We know that the factorial can be extended to the whole complex plane except at negative integers and $0$ . But are there any theorems that allow us to do so ? . I know we can use the Identity theorem in complex analysis to extend functions on open sets but how does that work on the that case ? or is it just the integral representation that allows this extension ?

• Probably the easiest way is the product representation of the $\Gamma$ function. Sep 2, 2013 at 10:21
• Just to be sure, you're looking for a way to 'naturally' extended the factorial function to what we know will be the gamma function without first defining the gamma function and check it coincides (up to a translation) with the factorial function? Sep 2, 2013 at 10:22
• @GitGud , yes this is what I want . Sep 2, 2013 at 10:59

For the first step, $\Gamma(z) = \int_{0}^{\infty}t^{z-1}e^{-t}\;\text{d}t$ does the job pretty well. For real inputs, it is a smooth curve that interpolates the factorial function in a nice way. Note that this is not the only analytic function that fulfills step 1 above. Just add any other analytic function which equals zero on the naturals, for example $\sin \pi z$, and you will get another one.
This function converges only for $\Re(s) > 0$. But it can be analytically continued to the whole complex plane, except at the negative integers. And this step is unique by use of the Identity theorem.