Definition A: For any x > 0 the gamma function is defined by

(Note: actually the gamma function can be defined as above for any complex number with non-negative real part.)

Definition B: For any x > 0 the lower incomplete gamma function is defined by

For any x > 0 the upper incomplete gamma function is defined by

Property A:

Proof: Follows from Definitions A and B.

Property B:

Proof: Follows by integrating by parts.

Property C:

Proof: By Property B

Property 1

1. Γ(1) = 1
2. Γ(x + 1) = x Γ(x)
3. Γ(n) = (n – 1)! For all natural numbers n = 0, 1, 2, 3, …
4. Γ(½) = √π = $\sqrt{pi}$

Proof:

(1)    By Definition 1
(2)    Follows from Property C

(3)    Follows from (1) and (2) by induction

(4)    The proof of the fourth assertion results from the fact (Gaussian integral) that

We won’t prove this here, but note that by using the substitution  x = $\! \sqrt{t}$, we have by Definition 1

### 2 Responses to Gamma Function Advanced

1. Will Melick says:

Are the definitions for the upper and lower incomplete gamma functions reversed? Isn’t the lower the integral from 0 to a and the upper the integral from a to infinity?

• Charles says:

Thanks Will,
Yes, the two definitions were reversed. I have now corrected this. Thanks for catching it.
Charles