Gamma Function Advanced

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

 Gamma function

(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

Upper incomplete gamma function

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

Lower incomplete gamma function

Property A:

image3305

Proof: Follows from Definitions A and B.

Property B:

image3306Proof: Follows by integrating by parts.

Property C:

image3307Proof: By Property B

image3308

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
image3311(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

image5074

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

image5075 image5076

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?

Leave a Reply

Your email address will not be published. Required fields are marked *