analytic continuation of gamma function
The last of the parent entry (http://planetmath.org/GammaFunction) may be expressed as
(1) |
According to the standard definition
the left hand side of (1) is defined only in the right half-plane , whereas the expression is defined and holomorphic for and thus the right hand side of (1) is holomorphic in the half-plane except the points
where it has the poles of order 1. Because the both sides of (1) are equal for , the left side of (1) is the analytic continuation of tothe half-plane . And since the positive integer can be chosenarbitrarily, the Euler’s -function has been defined analytically to the wholecomplex plane
.
Accordingly, the gamma function is unambiguous and holomorphic everywhere in except in the points
(2) |
which are poles of order 1 of the function. Hence, is a meromorphic function.
For determining the residue of the function in the points (2), we rewrite the equation (1) as
In the point we have
which implies (see the rule in the entry coefficients of Laurent series) that
References
- 1 R. Nevanlinna & V. Paatero: Funktioteoria. Kustannusosakeyhtiö Otava. Helsinki (1963).