# Gamma function

Missing image
Gamma.png
The Gamma function along an interval

In mathematics, the Gamma function is a function that extends the concept of factorial to the complex numbers.

 Contents

## Definition

The notation Γ(z) is due to Adrien-Marie Legendre. If the real part of the complex number z is positive, then the integral

[itex]

\Gamma(z) = \int_0^\infty t^{z-1}\,e^{-t}\,dt [itex] converges absolutely. Using integration by parts, one can show that

[itex]\Gamma(z+1)=z \, \Gamma(z)\,.[itex]

Because Γ(1) = 1, this relation implies that

[itex]\Gamma(n+1) = n \, \Gamma(n) = \cdots = n! \, \Gamma(1) = n!\,[itex]

for all natural numbers n. It can further be used to extend Γ(z) to a meromorphic function defined for all complex numbers z except z = 0,  −1, −2, −3, ... by analytic continuation.

Missing image
Gamma_abs.png
The Gamma function in the complex numbers

It is this extended version that is commonly referred to as the Gamma function.

## Alternative definitions

The following infinite product definitions for the Gamma function, due to Gauss and Weierstrass respectively, are valid for all complex numbers z which are not non-positive integers:

[itex]

\Gamma(z) = \lim_{n \to \infty} \frac{n! \; n^z}{z \; (z+1)\cdots(z+n)} [itex]

[itex]\Gamma(z) = \frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \left(1 + \frac{z}{n}\right)^{-1} e^{z/n}[itex]

where γ is the Euler-Mascheroni constant.

## Properties

Other important functional equations for the Gamma function are Euler's reflection formula

[itex]

\Gamma(1-z) \; \Gamma(z) = {\pi \over \sin \pi z} [itex]

and the duplication formula

[itex]

\Gamma(z) \; \Gamma\left(z + \frac{1}{2}\right) = 2^{1-2z} \; \sqrt{\pi} \; \Gamma(2z). [itex]

The duplication formula is a special case of the multiplication theorem

[itex]

\Gamma(z) \; \Gamma\left(z + \frac{1}{m}\right) \; \Gamma\left(z + \frac{2}{m}\right) \cdots \Gamma\left(z + \frac{m-1}{m}\right) = (2 \pi)^{(m-1)/2} \; m^{1/2 - mz} \; \Gamma(mz) [itex]

Perhaps the most well-known value of the Gamma function at a non-integer argument is

[itex]\Gamma\left(\frac{1}{2}\right)=\sqrt{\pi},[itex]

which can be found by setting z=1/2 in the reflection formula.

The derivatives of the Gamma function are described in terms of the polygamma function. For example:

[itex]\Gamma'(z)=\Gamma(z)\psi_0(z)\,[itex]

The Gamma function has a pole of order 1 at z = −n for every natural number n; the residue there is given by

[itex]\operatorname{Res}(\Gamma,-n)=\frac{(-1)^n}{n!}.[itex]

The Bohr-Mollerup theorem states that among all functions extending the factorial functions to the positive real numbers, only the Gamma function is log-convex.

An alternative notation which was originally introduced by Gauss and which is sometimes used is the Pi function, which in terms of the Gamma function is

[itex]\Pi(z) = \Gamma(z+1) = z \; \Gamma(z).[itex]

so that

[itex]\Pi(n) = n!\,[itex]

Using the Pi function the reflection formula takes on the form

[itex]\Pi(z) \; \Pi(-z) = \frac{\pi z}{\sin \pi z}

= \frac{1}{\mathrm{sinc}_N(x)}[itex]

where sincN is the normalized Sinc function, while the multiplication theorem takes on the form

[itex]

\Pi\left(\frac{z}{m}\right) \, \Pi\left(\frac{z-1}{m}\right) \cdots \Pi\left(\frac{z-m+1}{m}\right) = \left(\frac{(2 \pi)^m}{2 \pi m}\right)^{1/2} \, m^{-z} \, \Pi(z) [itex]

We also sometimes find

[itex]\pi(z) = {1 \over \Pi(z)}\,[itex]

which is an entire function, defined for every complex number. That π(z) is entire entails it has no poles, so Γ(z) has no zeros.

## Relation to other functions

In the first integral above, which defines the Gamma function, the limits of integration are fixed. The incomplete Gamma function is the function obtained by allowing either the upper or lower limit of integration to be variable.

The Gamma function is related to the Beta function by the formula

[itex]

\Beta(x,y)=\frac{\Gamma(x) \; \Gamma(y)}{\Gamma(x+y)} [itex]

The derivative of the logarithm of the Gamma function is called the digamma function; higher derivatives are the polygamma functions.

## Particular values

 [itex]\Gamma(-2)\,[itex] (undefined) [itex]\Gamma(-3/2)\,[itex] = [itex]4\sqrt{\pi}/3\,[itex] [itex]\Gamma(-1)\,[itex] (undefined) [itex]\Gamma(-1/2)\,[itex] = [itex]-2\sqrt{\pi}\,[itex] [itex]\Gamma(0)\,[itex] (undefined) [itex]\Gamma(1/2)\,[itex] = [itex]\sqrt{\pi}\,[itex] [itex]\Gamma(1)\,[itex] = [itex]0!\,[itex]=[itex]1\,[itex] [itex]\Gamma(3/2)\,[itex] = [itex]\sqrt{\pi}/2\,[itex] [itex]\Gamma(2)\,[itex] = [itex]1!\,[itex]=[itex]1\,[itex] [itex]\Gamma(5/2)\,[itex] = [itex]3\sqrt{\pi}/4\,[itex] [itex]\Gamma(3)\,[itex] = [itex]2!\,[itex]=[itex]2\,[itex] [itex]\Gamma(7/2)\,[itex] = [itex]15\sqrt{\pi}/8\,[itex] [itex]\Gamma(4)\,[itex] = [itex]3!\,[itex]=[itex]6\,[itex]

## Approximations

Complex values of the Gamma function can be computed numerically with arbitrary precision using Stirling's approximation or the Lanczos approximation.

As an alternative that can be implemented easily on most calculators, Toth (2004) suggests the approximation

[itex]\Gamma(z) \cong \sqrt{\frac{2 \pi}{z} } \left( \frac{z}{e} \sqrt{ z \sinh \frac{1}{z} \left[ + \frac{1}{810z^6} \right] } \right)^{z}[itex]

which is good to more than 8 decimal digits for z with a real part greater than 8, and may be combined with the reflection formula for negative z. The optional term in square brackets increases the accuracy slightly.

## References

• G. Arfken and H. Weber. Mathematical Methods for Physicists. Harcourt/Academic Press, 2000. (See Chapter 10.)
• Harry Hochstadt. The Functions of Mathematical Physics. New York: Dover, 1986 (See Chapter 3.)
• W.H. Press, B.P. Flannery, S.A. Teukolsky, and W.T. Vetterling. Numerical Recipes in C. Cambridge, UK: Cambridge University Press, 1988. (See Section 6.1.)

• Examples of problems involving the Gamma function can be found at Exampleproblems.com (http://www.exampleproblems.com/wiki/index.php?title=Special_Functions).
• P. Sebah, X. Gourdon. Introduction to the Gamma Function. In PostScript (http://numbers.computation.free.fr/Constants/Miscellaneous/gammaFunction.ps) and HTML (http://numbers.computation.free.fr/Constants/Miscellaneous/gammaFunction.html) formats.de:Gammafunktion

• Art and Cultures
• Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
• Space and Astronomy