■ほぼ1の数の無限積(その36)
花本先生が
1/Γ(s)=(sΠ(1,∞)(1+s/n))/n^s
に対する解説を送ってくれたので紹介したい.
===================================
(解説のつづき)
Γ関数の
1/Γ(s)=(sΠ(1,∞)(1+s/n))/n^s
という表記はどこかにあったように記憶していますが、かなり荒いやり方ですが、次のように変形すれば出てきます。
基本はWeierstrassの式で
1/Γ(s)=exp(γs)(sΠ(1,∞)(1+s/n)exp(-s/n))
=(sΠ(1,∞)(1+s/n))exp(-s(1+1/2+1/3+・・・+1/n+・・・-γ))
=(sΠ(1,∞)(1+s/n))exp(-slogn) (∵1+1/2+1/3+・・・+1/n=logn+γ)
=(sΠ(1,∞)(1+s/n))/n^s
あるいは,Gaussの式で
1/Γ(s)=lim(n→∞)s(s+1)(s+2)(s+3)・・・・(s+n)/n!/n^s
分子・分母をn!=1・2・3・4・・・・nで割れば
1/Γ(s)=lim(n→∞)s(1+s)(1+s/2)(1+s/3)・・・・(1+s/n)/n^s
つまり
1/Γ(s)=(sΠ(1,∞)(1+s/n))/n^s
===================================