ボーア・モレルップの定理 (Bohr–Mollerup Theorem) は、ガンマ関数を特徴づける定理である。デンマーク人数学者のハラルト・ボーアとヨハネス・モレルップ(英語版)により証明された。この定理によると、正の実軸上で対数凸であり、
かつ
を満たす複素解析関数は唯一ガンマ関数のみである[1]。
証明1
初めにガンマ関数が正の実軸上で対数凸であることを確かめる。ワイエルシュトラスの乗積表示から
であり、対数の二階微分が正であるからガンマ関数は正の実軸上で対数凸である。また、
と
もガンマ関数の特徴として周知のものであるから、ガンマ関数はボーア・モレルップの定理の要求を充足する。次に未知の関数
がボーア・モレルップの定理の要求を充足するものと仮定して
であることを証明する。
と定義する。
であるから
であり、
を任意の自然数として
である。また、
であるから
である。背理法を用い、
となる点が実軸上に存在すると仮定する。しかし、
であるから、
が存在するためには
が存在しなければならず、延いては
が存在しなければならない。これは
を意味する。しかし、
とすると
であるから
とならなければならず、
が対数凸であるという要求に反する。故に背理法の仮定は成立せず、常に
であり、
である。以上により、
で
が示されたが、一致の定理により正則な定義域全体で
となる。
証明2
初めにガンマ関数が正の実軸上で対数凸であることを確かめる。ヘルダーの不等式により、
であり、対数をとると
であるから、故にガンマ関数は対数凸である。また、
と
もガンマ関数の特徴として周知のものであるから、ガンマ関数はボーア・モレルップの定理の要求を充足する。次に未知の関数
がボーア・モレルップの定理の要求を充足するものと仮定して
であることを証明する。
は実軸上で対数凸であるから
である。また、
であるから、合わせて
となる。
を整数とし、
とすれば不等式の両端が一致して
を得る。以上により、
で
が示されたが、一致の定理により正則な定義域全体で
となる。
出典
- ^ Wolfram Mathworld: Bohr-Mollerup Theorem
参考文献
- 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)