5.

4: Gamma Function
A function that often occurs in the study of special functions is the Gamma function. We will need the Gamma function in the
next section on Fourier-Bessel series.

 Note
The name and symbol for the Gamma function were first given by Legendre in 1811. However, the search for a generalization
of the factorial extends back to the 1720’s when Euler provided the first representation of the factorial as an infinite product,
later to be modified by others like Gauß, Weierstraß, and Legendre.

For x > we define the Gamma function as

∞
x−1 −t
Γ(x) = ∫ t e dt, x > 0. (5.4.1)
0

The Gamma function is a generalization of the factorial function and a plot is shown in Figure 5.4.1. In fact, we have
Γ(1) = 1

and

Γ(x + 1) = xΓ(x).

The reader can prove this identity by simply performing an integration by parts. (See Problem 5.7.7.) In particular, for integers
n ∈ Z
+
, we then have

Γ(n + 1) = nΓ(n) = n(n − 1)Γ(n − 2) = n(n − 1) ⋯ 2Γ(1) = n!.

Figure 5.4.1 : Plot of the Gamma function.

We can also define the Gamma function for negative, non-integer values of x. We first note that by iteration on n ∈ Z , we have +

Γ(x + n) = (x + n − 1) ⋯ (x + 1)xΓ(x), x + n > 0.

Solving for Γ(x), we then find

Γ(x + n)
Γ(x) = , −n < x < 0
′
(x + n − 1) ⋯ (x + 1)x

Note that the Gamma function is undefined at zero and the negative integers.

5.4.1 https://math.libretexts.org/@go/page/90945
  Example 5.4.1

We now prove that

1
−
Γ( ) = √π .
2

Solution
This is done by direct computation of the integral:
∞
1 −
1
−t
Γ( ) =∫ t 2
e dt.
2 0

Letting t = z , we have
2

∞
1 2
−z
Γ( ) =2∫ e dz.
2 0

Due to the symmetry of the integrand, we obtain the classic integral

∞
1 2
−z
Γ( ) =∫ e dz,
2 −∞

which can be performed using a standard trick. Consider the integral

1

∞
2
−x
I =∫ e dx.
−∞

Then,
∞ ∞
2 2
2 −x −y
I =∫ e dx ∫ e dy.
−∞ −∞

Note that we changed the integration variable. This will allow us to write this product of integrals as a double integral:
∞ ∞
2 2
2 −(x +y )
I =∫ ∫ e dxdy.
−∞ −∞

This is an integral over the entire xy -plane. We can transform this Cartesian integration to an integration over polar
coordinates. The integral becomes
2π ∞
2
2 −r
I =∫ ∫ e rdrdθ
0 0

This is simple to integrate and we have I 2

=π . So, the final result is found by taking the square root of both sides.
1 −
Γ( ) = I = √π .
2

 Note

In Example 9.5 we show the more general result:

∞ −
−
2 π
−βy
∫ e dy = √
−∞
β

In Problem 5.7.12 the reader will prove the identity

1 (2n − 1)!!
−
Γ (n + ) = √π .
n
2 2

5.4.2 https://math.libretexts.org/@go/page/90945
Another useful relation, which we only state, is
π
Γ(x)Γ(1 − x) = .
sin πx

The are many other important relations, including infinite products, which we will not need at this point. The reader is encouraged
to read about these elsewhere. In the meantime, we move on to the discussion of another important special function in physics and
mathematics.

This page titled 5.4: Gamma Function is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Russell Herman
via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

5.4.3 https://math.libretexts.org/@go/page/90945