1

Gaussの乗積表示を使わずに、Weierstraßの乗積表示を導出

161
1
$$$$

Wierstraβの乗積表示

$\displaystyle\frac{1}{\Gamma(x)}=xe^{\gamma x}\prod_{k=1}^{\infty}e^{-\frac{x}{k}}\Bigg(1+\frac{x}{k}\Bigg)$

但し、$\gamma$は、オイラーマスケローニ定数

を、ガウスの乗積表示なしで示します。

ガウスの乗積表示使うバージョン


ガウスの乗積表示
$\Gamma(x)=\displaystyle\lim_{N\to\infty}N^x N!\prod_{k=0}^{N}\frac{1}{x+k}$

無限積を1からにして、$N!$を無限積に入れる
$=\displaystyle\lim_{N\to\infty}\frac{1}{x} N^x\prod_{k=1}^{N}\frac{k}{x+k}$

$N^x$$e^{x\log N}$とし、
$\displaystyle\lim_{N\to\infty}\Big\{ \log N -\Bigg( \sum_{k=1}^{N}\frac{1}{k}-\gamma\Bigg) \Big\}=0$
を使うと

$=\displaystyle\lim_{N\to\infty}\frac{1}{x}e^{x\Big(\sum_{k=1}^{N}\frac{1}{k}-\gamma\Big)} \prod_{k=1}^{N}\frac{k}{x+k}$

$e$の肩のシグマを無限積にいれると

$=\displaystyle\lim_{N\to\infty}\frac{1}{x}e^{-\gamma x} \prod_{k=1}^{N}e^{\frac{x}{k}}\frac{k}{x+k}$

逆数をとって

$ \Gamma(x)=\displaystyle xe^{\gamma x}\prod_{k=1}^{\infty}e^{-\frac{x}{k}}\Big(1+\frac{x}{k}\Big)$
が、示された。

準備

ディガンマ関数

$\displaystyle\frac{\Gamma’(x)}{\Gamma(x)}=\psi(x)=\psi(1)+\sum_{k=1}^{x-1}\frac{1}{k}$

証明

ガンマ関数の漸化式
$\Gamma(x+1)=x \Gamma(x)$
を両辺対数微分すれば
$\psi(x+1)=\displaystyle\frac{1}{x}+\psi(x)$
移項して和分すれば
$\displaystyle\sum_{k=1}^{x}\Big\{\psi(k+1)-\psi(k)\Big\}=\psi(x+1)-\psi(1)=\sum_{k=1}^{x}\frac{1}{k}$

ミューラーの公式

関数$f(x)$$x\to0$$f(x)\to0$ならば、

$\displaystyle\sum_{k=1}^{x}f(k)=\sum_{k=1}^{\infty}f(k)-f(x+k)$

証明


右辺を$S$とし、中身を揃えるように変形すると
$S=\displaystyle\lim_{n\to\infty}\Big\{\sum_{k=1}^{n}f(k)-\sum_{k=x+1}^{n+x}f(k)\Big\}$
1からxまでの和(有限)を引くと
$S-\displaystyle\sum_{k=1}^{x}f(k)=\lim_{n\to\infty}\Big\{\sum_{k=1}^{n}f(k)-\sum_{k=1}^{n+x}f(k)\Big\}=-\lim_{n\to\infty}\sum_{k=n+1}^{n+x}f(k)$
$x\to\infty$$f(x)\to0$なので
$\displaystyle\lim_{n\to\infty}-\sum_{k=n+1}^{n+x}f(k)=0$
よって
$S-\displaystyle\sum_{k=1}^{x}f(k)=0$
$S=\displaystyle\sum_{k=1}^{x}f(k)$

本題

上の公式1に公式2を適用すると

$\displaystyle\frac{\Gamma’(x)}{\Gamma(x)}=\psi(1)+\sum_{k=1}^{\infty}\Bigg(\frac{1}{k}-\frac{1}{x+k-1}\Bigg)$

両辺1から(x+1)まで積分

$\displaystyle\log\Gamma(x+1)=\psi(1)x+\sum_{k=1}^{\infty}\Bigg(\frac{x}{k}-\log(x+k)+\log(k)\Bigg)$

eの肩にのせる

$\displaystyle\Gamma(x+1)=e^{\psi(1)x}\prod_{k=1}^{\infty}e^{\frac{x}{k}}\Bigg(\frac{k}{x+k}\Bigg)$

xで割って逆数とると

$\displaystyle\frac{1}{\Gamma(x)}=xe^{-\psi(1)x}\prod_{k=1}^{\infty}e^{-\frac{x}{k}}\Bigg(1+\frac{x}{k}\Bigg)$

完成。
しかしディガンマ関数が残ってる。Gaussの乗積表示なしで$\psi(1)=-\gamma$を示さないとだが、その方法を私はまだ知らない。
コメント蘭で教えてくださいました。
vunuさん、ありがとうございます。
よって
weierstraβの乗積表示

$\displaystyle\frac{1}{\Gamma(x)}=xe^{\gamma x}\prod_{k=1}^{\infty}e^{-\frac{x}{k}}\Bigg(1+\frac{x}{k}\Bigg)$

が示された。

投稿日:1023
更新日:1029
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

数学者でもなければ大学生でも無い一般人

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中