Skip to content

Mathematics · Ch 9 — Applications of Integration

Gamma Integral

9.7

Gamma Integral

This section studies a special improper integral of the form ∫0∞e−xxn−1 dx\displaystyle\int_0^\infty e^{-x}x^{n-1}\,dx, where nn is a positive integer.

Preliminary limiting facts. e∞=lim⁡x→∞ex=∞e^\infty=\lim_{x\to\infty}e^x=\infty and e−∞=lim⁡x→∞e−x=1lim⁡x→∞ex=1∞=0e^{-\infty}=\lim_{x\to\infty}e^{-x}=\dfrac{1}{\lim_{x\to\infty}e^x}=\dfrac1\infty=0. By L'Hôpital's rule, applied repeatedly, for every positive integer mm,

lim⁡x→∞xme−x=lim⁡x→∞xmex=lim⁡x→∞m!ex=0\lim_{x\to\infty}x^me^{-x}=\lim_{x\to\infty}\dfrac{x^m}{e^x}=\lim_{x\to\infty}\dfrac{m!}{e^x}=0

— a polynomial can never outrun the decay of e−xe^{-x}, which is exactly what makes the integral below converge.

Deriving Γ(n)=(n−1)!\Gamma(n)=(n-1)!. Applying integration by parts to In=∫0∞e−xxn dxI_n=\displaystyle\int_0^\infty e^{-x}x^n\,dx: In=[−xne−x]0∞−∫0∞(−e−x)(nxn−1) dx=n∫0∞e−xxn−1 dx=nIn−1I_n=\big[-x^ne^{-x}\big]_0^\infty-\int_0^\infty(-e^{-x})(nx^{n-1})\,dx=n\int_0^\infty e^{-x}x^{n-1}\,dx=nI_{n-1} (the boundary term vanishes at both ends by the limiting fact above and because xn=0x^n=0 at x=0x=0). Iterating, In=n(n−1)In−2=n(n−1)(n−2)⋯1⋅I0I_n=n(n-1)I_{n-2}=n(n-1)(n-2)\cdots1\cdot I_0, and I0=∫0∞e−x dx=[−e−x]0∞=1I_0=\int_0^\infty e^{-x}\,dx=\big[-e^{-x}\big]_0^\infty=1, so

∫0∞e−xxn dx=n!,n a non-negative integer.\int_0^\infty e^{-x}x^n\,dx=n!,\qquad n\ \text{a non-negative integer.}

Definition 9.1 (Gamma integral). Γ(n)=∫0∞e−xxn−1 dx\displaystyle\Gamma(n)=\int_0^\infty e^{-x}x^{n-1}\,dx, read "gamma of nn". Re-indexing In=n!I_n=n! (with n→n−1n\to n-1) gives

Γ(n)=(n−1)!,n=1,2,3,…,\Gamma(n)=(n-1)!,\qquad n=1,2,3,\ldots,

with the recurrence Γ(n+1)=n Γ(n)\Gamma(n+1)=n\,\Gamma(n) and base value Γ(1)=∫0∞e−x dx=1\Gamma(1)=\int_0^\infty e^{-x}\,dx=1.

Extending by substitution (Examples 9.44-9.46). Substituting t=axt=ax (a>0a>0) in ∫0∞e−axxn dx\int_0^\infty e^{-ax}x^n\,dx: dt=a dxdt=a\,dx, and x=0⇒t=0x=0\Rightarrow t=0, x=∞⇒t=∞x=\infty\Rightarrow t=\infty, so

∫0∞e−axxn dx=1an+1∫0∞e−ttn dt=n!an+1.\int_0^\infty e^{-ax}x^n\,dx=\dfrac{1}{a^{n+1}}\int_0^\infty e^{-t}t^n\,dt=\dfrac{n!}{a^{n+1}}. …