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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

ボーア・モレルップの定理 (Bohr-Mollerup Theorem ) は、ガンマ関数を特徴づける定理である。デンマーク人数学者のハラルト・ボーアヨハネス・モレルップ英語版により証明された。この定理によると、正の実軸上で対数凸であり、であり、である複素解析関数は唯一ガンマ関数のみである[1]

証明1[編集]

初めにガンマ関数が正の実軸上で対数凸であることを確かめる。ワイエルシュトラスの乗積表示から

であり、対数の二階微分が正であるからガンマ関数は正の実軸上で対数凸である。また、もガンマ関数の特徴として周知のものであるから、ガンマ関数はボーア・モレルップの定理の要求を充足する。次に未知の関数がボーア・モレルップの定理の要求を充足するものと仮定してであることを証明する。

と定義する。であるから

であり、を任意の自然数としてである。また、であるからである。背理法を用い、となる点が実軸上に存在すると仮定する。しかし、であるから、が存在するためにはが存在しなければならず、延いてはが存在しなければならない。これは

を意味する。しかし、とするとであるからとならなければならず、が対数凸であるという要求に反する。故に背理の仮定は成立せず、常にであり、である。以上により、が示されたが、一致の定理により正則な定義域全体でとなる。

証明2[編集]

初めにガンマ関数が正の実軸上で対数凸であることを確かめる。ヘルダーの不等式により、

であり、対数をとると

であるから、故にガンマ関数は対数凸である。また、もガンマ関数の特徴として周知のものであるから、ガンマ関数はボーア・モレルップの定理の要求を充足する。次に未知の関数がボーア・モレルップの定理の要求を充足するものと仮定してであることを証明する。は実軸上で対数凸であるから

である。また、

であるから、合わせて

となる。 を整数とし、とすれば不等式の両端が一致して

を得る。以上により、が示されたが、一致の定理により正則な定義域全体でとなる。

出典[編集]

  1. ^ Wolfram Mathworld: Bohr-Mollerup Theorem