■スターリングの公式の同値な言い換え(その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)・・・

===================================