■ほぼ1の数の無限積(その27)

[1]pを素数,qを2以上の非素数,rを2以上の自然数とする.このとき,全素数にわたる積

  P=Πp^6/(p^6−1)=ζ(6)=π^6/945

であるが,

  Q=Πq^6/(q^6−1)=?

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

[答]S(x)=sinπx/πx=Π(1,∞)(1−x^2/n^2)

 ωを1の3乗根とする.ω^3=1,ω^2+ω+1=0

 S(x)S(ωx)S(ω^2x)=Π(1,∞)(1−x^2/n^2)(1−ω^2x^2/n^2)(1−ω^4x^2/n^2)=Π(1,∞)((n^6−x^6)/n^6)

Π(1,∞)(n^6/(n^6−x^6))=1/S(x)S(ωx)S(ω^2x)

Π(2,∞)(n^6/(n^6−x^6))=(1−x^6)/S(x)S(ωx)S(ω^2x)=(πx)^3(1−x^6)/sin(πx)sin(ωπx)sin(ω^2πx)

 ここで,x→1としてときの極限を考えてみます.ロピタルの定理より

N=Π(2,∞)n^6/(n^6-1)=lim(x→1) π^3x^3(1-x^6)/sin(πx)sin(ωπx)sin(ω^2πx)

sin(ωπ)sin(ω^2π)=-1/2(cos(ω+ω^2)π-cos(ω-ω^2)π)

sin(ωπ)sin(ω^2π)=-1/2(-1-cos(i√3π))

より,N=12π^2/(1+cosh(π√3))として求まります.

  Q=N/P

  P=π^6/945より,Q=11340/π^4(1+cosh(π√3))=1.002001・・・

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

[雑感]

 S(x)S(ωx)S(ω^2x)=Π(1,∞)(1−x^2/n^2)(1−ω^2/n^2)(1−ω^4/n^2)=Π(1,∞)((n^6−x^6)/n^6)

の部分は,オイラーの五角数定理の証明を想起させるような美しいアイデアの1例である.

 オイラーの五角数定理(1750年)

  Π(1-q^n)=Σ(-1)^mq^(m(3m-1)/2))   n:1~∞,m:-∞~∞,m(3m-1)/2は五角数

は,ヤコビの3重積公式において,qをすべてq^3に置き換え,x=qとすれば,左辺はΠ(1-q^3n)(1-q^3n-1)(1-q^3n-2)=Π(1-q^n)=(q;q)∞となり,

  Π(1-q^n)=Σ(-1)^m・q^(m(3m+1)/2)   (オイラーの5角数定理)

と表される.

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