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

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

ボーア・モレルップの定理 (Bohr-Mollerup Theorem ) は、ガンマ関数を特徴づける定理である。この定理によると、正の実軸上で対数凸であり、G(x+1)=xG(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}

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

f(x)=\log{\Gamma(x)}-\log{G(x)}

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

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

であり、nを任意の自然数としてf(x+n)=f(x)である。また、G(1)=\Gamma(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)=\epsilon>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)=\Gamma(x)である。以上により、x>0G(x)=\Gamma(x)が示されたが、一致の定理により正則な定義域全体でG(z)=\Gamma(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)}

であるから、故にガンマ関数は対数凸である。また、\Gamma(x+1)=x\Gamma(x)\Gamma(1)=1もガンマ関数の特徴として周知のものであるから、ガンマ関数はボーア・モレルップの定理の要求を充足する。次に未知の関数G(x)がボーア・モレルップの定理の要求を充足するものと仮定してG(x)=\Gamma(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}

を得る。以上により、0{\le}x{\le}1G(x)=\Gamma(x)が示されたが、一致の定理により正則な定義域全体でG(z)=\Gamma(z)となる。

出典[編集]

  1. ^ Wolfram Mathworld: Bohr-Mollerup Theorem