■スターリングの公式の同値な言い換え(その9)
【1】正規化された多重三角関数
じつは多重化三角関数Sr(x)はほんの序章であって,正規化された多重三角関数Sr(x;(ω1,ω2,・・・,ωr))の話しに繋がっていき,さらに新型保型形式論へと発展しています.
S2(1/2;(1,1))=2^(1/2) ←→ I=∫(0,π/2)log(sinx)dx=-π/2log2
ζ(3)=16π^2/3log(2^(-1/8)/S3(3/2;(1,1,1)))
S3(1/2)=S3(3/2;(1,1,1))^14/32^(5/6)
ζ(3)=16π^2/3log(2^(3/8)/S3(1/2))
===================================
なお,ガンマ関数にも多重サイン関数のような無限積表示
Γ(x)=∫(0,∞)t^(x-1)exp(−t)dt
=1/xΠ(1+1/n)^x(1+x/n)^(-1)
が知られています.
[補]ガンマ関数の乗法公式
[1]倍数公式
Γ(x/2)Γ((x+1)/2)=π^(1/2)Γ(x)/2^(x-1)
Γ(x)Γ(x+1/2)=(2π)^(1/2)Γ(2x)/2^(2x-1/2)
Γ(x+1/2)=(π)^(1/2)Γ(2x+1)/2^(2x)Γ(x+1)
[2]三重公式
Γ(x)Γ(x+1/3)Γ(x+2/3)=2πΓ(3x)/3^(3x-1/2)
[3]n重公式
ΠΓ(x+(k-1)/n)=n^(1/2ーnx)(2π)^(n-1)/2Γ(nx)
===================================
[補]ウォリス積
4/π=3^2/(3^2−1)・5^2/(5^2−1)・7^2/(7^2−1)・・・
===================================