MathLabs
TheoremProved

The Gamma function interpolates the factorial

Statement

For every non-negative integer nn, Γ(n+1)=n!\Gamma(n+1)=n!, where Γ\Gamma is defined by Γ(z)=∫0∞tz−1e−t dt\Gamma(z)=\displaystyle\int_0^\infty t^{z-1}e^{-t}\,dt for Re⁡(z)>0\operatorname{Re}(z) > 0.

Why is it true?

It shows the Gamma integral is not an arbitrary generalization but the unique smooth continuation that reproduces the multiplicative structure of factorials, which is why it is the right object to plug non-integers into.

Proof sketch

Step 1 (Base case). Γ(1)=∫0∞t0e−t dt=∫0∞e−t dt=[−e−t]0∞=0−(−1)=1=0!\Gamma(1) = \int_0^\infty t^0 e^{-t}\,dt = \int_0^\infty e^{-t}\,dt = \big[-e^{-t}\big]_0^\infty = 0-(-1) = 1 = 0!, so the formula holds for n=0n=0.

Step 2 (Recurrence by integration by parts). For Re⁡(z)>0\operatorname{Re}(z) > 0, integrate Γ(z)=∫0∞tz−1e−t dt\Gamma(z)=\displaystyle\int_0^\infty t^{z-1}e^{-t}\,dt by parts with u=tzu=t^z, dv=e−t dtdv=e^{-t}\,dt: Γ(z+1)=∫0∞tze−t dt=[−tze−t]0∞+z∫0∞tz−1e−t dt=0+z Γ(z)\Gamma(z+1) = \int_0^\infty t^z e^{-t}\,dt = \big[-t^z e^{-t}\big]_0^\infty + z\int_0^\infty t^{z-1}e^{-t}\,dt = 0 + z\,\Gamma(z), using that the boundary term vanishes at both ends. This proves Γ(z+1)=z Γ(z)\Gamma(z+1) = z\,\Gamma(z).

Step 3 (Induction). Assume Γ(k+1)=k!\Gamma(k+1) = k! for some non-negative integer kk. By Step 2 with z=k+1z=k+1, Γ(k+2)=(k+1) Γ(k+1)=(k+1)⋅k!=(k+1)!\Gamma(k+2) = (k+1)\,\Gamma(k+1) = (k+1)\cdot k! = (k+1)!.

Step 4 (Conclude). Since the base case n=0n=0 holds (Step 1) and the inductive step carries the identity from n=kn=k to n=k+1n=k+1 (Step 3), Γ(n+1)=n!\Gamma(n+1)=n! holds for every non-negative integer nn by mathematical induction.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 5: Gamma Function
  2. Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 25: Zeta and Related Functions
  3. David J. Platt, Timothy S. Trudgian (2021). The Riemann Hypothesis Is True Up to 3×10^12 · arXiv:2004.09765