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

出典: フリー百科事典『ウィキペディア（Wikipedia）』

ボーア・モレルップの定理(Bohr-Mollerup Theorem)はガンマ関数を特徴づける定理である。この定理によると、正の実軸上で対数凸であり、 $G (x + 1) = x G (x)$ であり、 $G (1) = 1$ である複素解析関数は唯一ガンマ関数のみである^[1]。

[編集] 証明1

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

$\begin{align} &\Gamma(x)=\frac{e^{-{\gamma}x}}{x}\prod_{n=1}^{\infty}\frac{n}{n+x}e^{x/n}\\ &\log\Gamma(x)=-{\gamma}x-\log{x}+\sum_{n=1}^{\infty}\left(\log{n}-\log{(n+x)}+\frac{x}{n}\right)\\ &\frac{d}{dx}\log\Gamma(x)=-{\gamma}-\frac{1}{x}+\sum_{n=1}^{\infty}\left(-\frac{1}{n+x}+\frac{1}{n}\right)\\ &\frac{d^2}{dx^2}\log\Gamma(x)=\frac{1}{x^2}+\sum_{n=1}^{\infty}\frac{1}{(n+x)^2}=\sum_{n=0}^{\infty}\frac{1}{(n+x)^2}>0\qquad(x>0)\\ \end{align}$

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

f (x) = logΓ(x) - log G (x)

と定義する。 $G (x + 1) = x G (x)$ であるから

$\begin{align}f(x+1) &=\log{\Gamma(x+1)}-\log{G(x)}\\ &=\log{x}+\log{\Gamma(x)}-\log{x}-\log{G(x)}\\ &=f(x)\\ \end{align}$

であり、 $n$ を任意の自然数として $f (x + n) = f (x)$ である。また、 $G (1) = Γ(1) = 1$ であるから $f (n) = 0$ である。背理法を用い、 $f(x_0)\ne0$ となる点が実軸上に存在すると仮定する。しかし、 $f(\lfloor{x_0}\rfloor)=f(\lceil{x_0}\rceil)=0$ であるから、 $f(x_0)\ne0$ が存在するためには $f'(x 1) > 0, f'(x 2) < 0$ が存在しなければならず、延いては $f''(x 3) = ε > 0$ が存在しなければならない。これは

$f''(x_3)=f''(x_3+n)=\frac{d^2}{dx^2}\log{\Gamma(n+x_3)}-\frac{d^2}{dx^2}\log{G(n+x_3)}=\epsilon$

を意味する。しかし、 $n\to\infty$ とすると $\frac{d^2}{dx^2}\Gamma(n+x)\to0$ であるから $\frac{d^2}{dx^2}\log{G(n+x)}\to\epsilon<0$ とならなければならず、 $G (x)$ が対数凸であるという要求に反する。故に背理の仮定は成立せず、常に $f (x) = 0$ であり、 $G (x) = Γ(x)$ である。以上により、 $x > 0$ で $G (x) = Γ(x)$ が示されたが、一致の定理により正則な定義域全体で $G (z) = Γ(z)$ となる。

[編集] 証明2

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

$\begin{align}\Gamma(cx+(1-c)y) &=\int_{0}^{\infty}{t^{cx+(1-c)y-1}e^{-t}}dt\\ &=\int_{0}^{\infty}{(t^{x-1}e^{-t})^{c}(t^{y-1}e^{-t})^{1-c}}dt\\ &\le\left(\int_{0}^{\infty}{t^{x-1}e^{-t}}dt\right)^{c}\left(\int_{0}^{\infty}{t^{y-1}e^{-t}}dt\right)^{1-c}\qquad(x{\ge}0,y{\ge}0,0{\le}c{\le}1)\\ &=\big(\Gamma(x)\big)^{c}\big(\Gamma(y)\big)^{1-c}\\ \end{align}$

であり、対数をとると

${\log\Gamma(cx+(1-c)y)}\le{c\log\Gamma(x)+(1-c)\log\Gamma(y)}$

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

$\begin{align} &{\log{G(x+c)}}\le{(1-c)\log{G(x)}+c\log{G(x+1)}}\qquad(x{\ge}1,0{\le}c{\le}1)\\ &{G(x+c)}\le{G(x)^{1-c}G(x+1)^{c}=G(x)x^{c}}\\ \end{align}$

である。また、

$\begin{align} &{\log{G(x+1)}}\le{c\log{G(x+c)}+(1-c)\log{G(x+1+c)}}\qquad(x{\ge}1,0{\le}c{\le}1)\\ &{G(x+1)}\le{G(x+c)^{c}G(x+1+c)^{1-c}=G(x+c)(x+c)^{1-c}}\\ &{G(x+1)(x+c)^{-(1-c)}}\le{G(x+c)}\\ \end{align}$

であるから、合わせて

$\begin{align} &G(x+1)(x+c)^{-(1-c)}\le{G(x+c)}\le{G(x)x^{c}}\qquad(x{\ge}1,0{\le}c{\le}1)\\ &G(x)x^{c}\left(\frac{x}{x+c}\right)^{1-c}\le{G(x+c)}\le{G(x)x^{c}}\\ \end{align}$

となる。 $x = n$ を整数とし、 $n\to\infty$ とすれば不等式の両端が一致して

$\begin{align} &{(n-1)!n^{c}\left(\frac{n}{n+c}\right)^{1-c}}\le{G(c)}\prod_{k=0}^{n-1}{(c+k)}\le{(n-1)!n^{c}}\qquad(0{\le}c{\le}1)\\ &G(c)=\lim_{n\to\infty}\frac{{(n-1)!n^{c}}}{\prod_{k=0}^{n-1}{(k+c)}}=\lim_{n\to\infty}\frac{{n!n^{c}}}{\prod_{k=0}^{n}{(k+c)}}=\Gamma(c)\qquad(0{\le}c{\le}1)\\ \end{align}$