■ウォリスの公式とオイラー積(その24)
A=Π(2,∞)(1-1/n^3)
B=Π(2,∞)(1+1/n^3)
に対して最初のアイデアを用いれば,ω^2+ω+1=0として
1/B=2Γ(1)Γ(ω)Γ(ω^2)で、logB=-log2+ζ(3)-ζ(6)/2+ζ(9)/3+・・・・となります・・・。
(その23)は尻切れトンボとなってしまったが,続きを花本先生に解説していただいた.
===================================
(解説)
Γ関数の定義から
1/Γ(s)=(sΠ(1,∞)(1+s/n))/n^s・・・・(1)
対数をとって展開すると
-logΓ(s)=logs+Σ(1,∞)log(1+s/n)-slogn
=logs+γs-ζ(2)s^2/2+ζ(3)s^3/3-ζ(4)s^4/4+ζ(5)s^5/5-ζ(6)s^6/6--・・・(2)
したがって,ω^3-1=0として(1)にs,sω,sω^2を代入して掛け合わせると
1/(Γ(s)Γ(sω)Γ(sω^2))=ω^3s^3(Π(1,∞)(1+s/n))(1+ωs/n)(1+sω^2/n)/n^(s+sω+sω^2)
=s^3(Π(1,∞)(1+s^3/n^3)・・・・・(1)’
また,(2)に同じ操作を施すと
-logΓ(s)Γ(sω)Γ(sω^2)=-logΓ(s)-logΓ(sω)-logΓ(,sω^2)
= logs^3ω^3+(1+ω+ω^2)γs-(1+ω^2+ω^4)ζ(2)s^2/2+(1+ω^3+ω^6)ζ(3)s^3/3- --・・・
= logs^3-ζ(3)s^3+ζ(6)s^6/2---ζ(9)s^9/3-・・・(2)’
よって,(1)’,(2)’にs=1を代入すれば
-log(Γ(1)Γ(ω)Γ(ω^2))=log Π(1,∞)(1+1/n^3)=log2B
=ζ(3)-ζ(6)/2+--ζ(9)/3-・・・
となります。
∴logB=-log2+ζ(3)-ζ(6)/2+ζ(9)/3-・・・
==================================