ボーア・モレルップの定理

ボーア・モレルップの定理 (Bohr–Mollerup Theorem) は、ガンマ関数を特徴づける定理である。デンマーク人数学者のハラルト・ボーアとテンプレート:仮リンクにより証明された。この定理によると、正の実軸上で対数凸であり、$G(x+1)=xG(x)$かつ$G(1)=1$を満たす複素解析関数は唯一ガンマ関数のみである。

証明1

初めにガンマ関数が正の実軸上で対数凸であることを確かめる。ワイエルシュトラスの乗積表示から テンプレート:Indent であり、対数の二階微分が正であるからガンマ関数は正の実軸上で対数凸である。また、$\mathrm{\Gamma }(x+1)=x\mathrm{\Gamma }(x)$と$\mathrm{\Gamma }(1)=1$もガンマ関数の特徴として周知のものであるから、ガンマ関数はボーア・モレルップの定理の要求を充足する。次に未知の関数$G(x)$がボーア・モレルップの定理の要求を充足するものと仮定して$G(x)=\mathrm{\Gamma }(x)$であることを証明する。 テンプレート:Indent と定義する。$G(x+1)=xG(x)$であるから テンプレート:Indent であり、$n$を任意の自然数として$f(x+n)=f(x)$である。また、$G(1)=\mathrm{\Gamma }(1)=1$であるから$f(n)=0$である。背理法を用い、$f(x_0)\ne 0$となる点が実軸上に存在すると仮定する。しかし、$f(\lfloor x_0\rfloor )=f(\lceil x_0\rceil )=0$であるから、$f(x_0)\ne 0$が存在するためには$f^{\prime }(x_1)>0,f^{\prime }(x_2)<0$が存在しなければならず、延いては$f^{″}(x_3)=ϵ>0$が存在しなければならない。これは テンプレート:Indent を意味する。しかし、$n\to \mathrm{\infty }$とすると$\frac{d^2}{d{x}^2}\log \mathrm{\Gamma }(n+x)\to 0$であるから$\frac{d^2}{d{x}^2}\log G(n+x)\to -ϵ<0$とならなければならず、$G(x)$が対数凸であるという要求に反する。故に背理法の仮定は成立せず、常に$f(x)=0$であり、$G(x)=\mathrm{\Gamma }(x)$である。以上により、$x>0$で$G(x)=\mathrm{\Gamma }(x)$が示されたが、一致の定理により正則な定義域全体で$G(z)=\mathrm{\Gamma }(z)$となる。

証明2

初めにガンマ関数が正の実軸上で対数凸であることを確かめる。ヘルダーの不等式により、 テンプレート:Indent であり、対数をとると テンプレート:Indent であるから、故にガンマ関数は対数凸である。また、$\mathrm{\Gamma }(x+1)=x\mathrm{\Gamma }(x)$と$\mathrm{\Gamma }(1)=1$もガンマ関数の特徴として周知のものであるから、ガンマ関数はボーア・モレルップの定理の要求を充足する。次に未知の関数$G(x)$がボーア・モレルップの定理の要求を充足するものと仮定して$G(x)=\mathrm{\Gamma }(x)$であることを証明する。$G(x)$は実軸上で対数凸であるから テンプレート:Indent である。また、 テンプレート:Indent であるから、合わせて テンプレート:Indent となる。 $x=n$を整数とし、$n\to \mathrm{\infty }$とすれば不等式の両端が一致して テンプレート:Indent を得る。以上により、$0\le x\le 1$で$G(x)=\mathrm{\Gamma }(x)$が示されたが、一致の定理により正則な定義域全体で$G(z)=\mathrm{\Gamma }(z)$となる。

参考文献

• Artin, Emil (1964). The Gamma Function. Holt, Rinehart, Winston.
• Mollerup, J., Bohr, H. (1922). Lærebog i Kompleks Analyse vol. III, Copenhagen. (Textbook in Complex Analysis)