MathLabs
定理証明済み

ガンマ関数は階乗を補間する

内容

任意の非負整数 nn に対して Γ(n+1)=n!\Gamma(n+1)=n! が成り立つ。ここで Γ\Gamma は Re⁡(z)>0\operatorname{Re}(z) > 0 に対して Γ(z)=∫0∞tz−1e−t dt\Gamma(z)=\displaystyle\int_0^\infty t^{z-1}e^{-t}\,dt で定義される。

なぜ正しいのか?

これは、ガンマ積分が恣意的な一般化ではなく、階乗の乗法構造を正しく再現する一意な滑らかな延長であることを示しており、だからこそ非整数を代入するのに正しい対象なのである。

証明の概略

手順1(基底段階)。Γ(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! であるから、n=0n=0 で公式が成り立つ。

手順2(部分積分による漸化式)。Re⁡(z)>0\operatorname{Re}(z) > 0 に対して、u=tzu=t^z、dv=e−t dtdv=e^{-t}\,dt として Γ(z)=∫0∞tz−1e−t dt\Gamma(z)=\displaystyle\int_0^\infty t^{z-1}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) となる。ここで境界項が両端でゼロになることを用いた。これにより Γ(z+1)=z Γ(z)\Gamma(z+1) = z\,\Gamma(z) が示される。

手順3(帰納法)。ある非負整数 kk について Γ(k+1)=k!\Gamma(k+1) = k! が成り立つと仮定する。手順2で 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)! である。

手順4(結論)。基底段階 n=0n=0 が成り立ち(手順1)、帰納段階が n=kn=k から n=k+1n=k+1 へ等式を引き継ぐので(手順3)、数学的帰納法により任意の非負整数 nn に対して Γ(n+1)=n!\Gamma(n+1)=n! が成り立つ。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  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