The gamma function is an analytic continuation of the factorial function in the entire complex plane. It is commonly denoted as . The Gamma function is meromorphic and it satisfies the functional equation . There exists another function that was proposed by Gauss, the Pi function, which would satisfy the functional equation in the fashion of the factorial function, however the Gamma function is still the most widely used factorial continuation.
The Gamma function was discovered in an attempt to write an equation for the resulting curve when one interpolates the factorial points on the Cartesian plane. There are several other continuations (for instance, Euler's factorial), but none of them are used as widely as the Gamma function in analysis. The notation of the Gamma function is due to Legendre, even though some mathematicians define the factorial function as and use the classic notation for the factorial.
The Gamma function is defined as
So the Gamma function indeed satisfies the functional equation we stated it does. A value of the Gamma function can be computed easily for z=1:
From here, we see that , so, via the functional equation, we obtain that .
The Gamma function has simple poles at negative integers and zero. To see this, we rearrange the functional equation to the form . We first put z=0, and we obtain that . This implies that the Gamma function has a simple pole at zero. Now, we can do the same for any negative integer, for example -1: , so the Gamma function must have a simple pole at -1 as well. Hence, the gamma function is asymptotic to negative integers.
We can also see that the Gamma function is nonzero along everywhere on the real number line, because the integrand of the Gamma function is never completely zero, even though it gets arbitrarily close.
Relation to the Gaussian integral
The Gaussian integral is closely related with half integer values of the Gamma function. The Gaussian integral is defined as the integral of the Gaussian function over the entire real number line, namely
The evaluation of this integral has many methods in analysis: Even though there is no elementary antiderivative for the integrand, the definite improper integral can be expressed in elementary terms. Note that the Gaussian function is even, so it is symmetric about the y-axis; so this holds:
The relation of the Gaussian integral to the Gamma function comes from a simple integral substitution: t=x2 (√t=x,1/(2√t)=dx). Substituting, we get
After this step, the values of the Gamma function evaluated at half integers can easily be computed using the functional equation, also known as the Gamma difference equation. I will give two values:
Other related formulae for the Gamma function include:
Euler's reflection formula
The Gamma function satisfies the reflection formula
due to Euler. This reflection formula can verify the values of the Gamma function we obtained above using the Gaussian integral.
Euler's product representation
The Gamma function can be expressed as an infinite product as follows:
due to Euler.
Weierstrass's product representation
The Gamma function can be expressed as another infinte product as follows:
where denotes the Euler-Mascheroni constant, namely
This definition implies the reflection formula along with the Weierstrass product of sine and is equivalent with Euler's representation when the definition of the Euler-Mascheroni constant is substituted and rearranged.
Riemann's reflection formula
The Gamma function plays a key role in the analytic continuation of the Riemann zeta function to the complex plane:
This example shows how closely related the Gamma function is to other functions. Another similar relation with the zeta function is
- , with n being any whole number.
- , with n being any positive odd number and !! being a double factorial.