MathLabs
定理証明済み

オイラーの反射公式

内容

0<Re⁡(z)<10 < \operatorname{Re}(z) < 1 を満たす任意の zz に対して Γ(z)Γ(1−z)=πsin⁡(πz)\Gamma(z)\Gamma(1-z) = \dfrac{\pi}{\sin(\pi z)} が成り立つ。

なぜ正しいのか?

この公式は、一見純粋に代数的な対象(2つのガンマ値の比)を三角関数と結びつけ、非正整数における Γ\Gamma の極を、すべての整数における sin⁡(πz)\sin(\pi z) の零点と正確に一致させる恒等式である——周回積分による留数計算こそが、右辺の正弦を生み出すものである。

証明の概略

手順1(ベータ関数に帰着する)。y=1−zy=1-z として B(x,y)=Γ(x)Γ(y)Γ(x+y)B(x,y) = \dfrac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)} を用いると、Γ(z)Γ(1−z)=B(z,1−z)=∫01tz−1(1−t)−z dt\Gamma(z)\Gamma(1-z) = B(z,1-z) = \int_0^1 t^{z-1}(1-t)^{-z}\,dt となる。u=t/(1−t)u = t/(1-t) と置換すると、0<Re⁡(z)<10<\operatorname{Re}(z)<1 に対してこれは ∫0∞uz−11+u du\displaystyle\int_0^\infty \dfrac{u^{z-1}}{1+u}\,du になる。

手順2(鍵穴型の積分路を設定する)。I=∫0∞uz−11+u duI=\int_0^\infty \dfrac{u^{z-1}}{1+u}\,du を評価するために、正の実軸に沿って切断された wz−1w^{z-1} の分枝を用い、wz−11+w\dfrac{w^{z-1}}{1+w} を鍵穴型の積分路——切断のすぐ上を外向きに、半径 RR の大円、切断のすぐ下を戻り、00 の周りの半径 ε\varepsilon の小円——に沿って積分する。

手順3(唯一の極における留数)。積分路の内部にある wz−11+w\dfrac{w^{z-1}}{1+w} の唯一の特異点は w=−1w=-1 における単純極であり、そこでは(偏角 π\pi の分枝を用いて)Res=(−1)z−1=eiπ(z−1)\mathrm{Res} = (-1)^{z-1} = e^{i\pi(z-1)} であるから、留数定理により鍵穴積分は 2πi eiπ(z−1)2\pi i\, e^{i\pi(z-1)} となる。

手順4(切断の両側を比較し R→∞R\to\infty、ε→0\varepsilon\to 0 とする)。0<Re⁡(z)<10<\operatorname{Re}(z)<1 のとき大円と小円の寄与は消え、2本の直線部分は wz−1w^{z-1} が切断を横切る際に得る位相だけ異なるので、I(1−e2πi(z−1))=2πi eiπ(z−1)I\big(1 - e^{2\pi i(z-1)}\big) = 2\pi i\, e^{i\pi(z-1)} が得られる。これを II について解き、sin⁡θ=eiθ−e−iθ2i\sin\theta = \frac{e^{i\theta}-e^{-i\theta}}{2i} を用いて指数関数を整理すると I=πsin⁡(πz)I = \dfrac{\pi}{\sin(\pi z)} となり、手順1と合わせて Γ(z)Γ(1−z)=πsin⁡(πz)\Gamma(z)\Gamma(1-z) = \dfrac{\pi}{\sin(\pi z)} が得られる。

この定理を使うトピック

ステップごとの証明

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

参考文献

  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