This section studies a special improper integral of the form ∫0∞e−xxn−1dx, where n is a positive integer.
Preliminary limiting facts. e∞=limx→∞ex=∞ and e−∞=limx→∞e−x=limx→∞ex1=∞1=0. By L'Hôpital's rule, applied repeatedly, for every positive integer m,
limx→∞xme−x=limx→∞exxm=limx→∞exm!=0
— a polynomial can never outrun the decay of e−x, which is exactly what makes the integral below converge.
Deriving Γ(n)=(n−1)!. Applying integration by parts to In=∫0∞e−xxndx: In=[−xne−x]0∞−∫0∞(−e−x)(nxn−1)dx=n∫0∞e−xxn−1dx=nIn−1 (the boundary term vanishes at both ends by the limiting fact above and because xn=0 at x=0). Iterating, In=n(n−1)In−2=n(n−1)(n−2)⋯1⋅I0, and I0=∫0∞e−xdx=[−e−x]0∞=1, so
∫0∞e−xxndx=n!,n a non-negative integer.
Definition 9.1 (Gamma integral). Γ(n)=∫0∞e−xxn−1dx, read "gamma of n". Re-indexing In=n! (with n→n−1) gives
Γ(n)=(n−1)!,n=1,2,3,…,
with the recurrence Γ(n+1)=nΓ(n) and base value Γ(1)=∫0∞e−xdx=1.
Extending by substitution (Examples 9.44-9.46). Substituting t=ax (a>0) in ∫0∞e−axxndx: dt=adx, and x=0⇒t=0, x=∞⇒t=∞, so
∫0∞e−axxndx=an+11∫0∞e−ttndt=an+1n!. …