■中央二項係数の逆数和の問題(その6)

 ζ(2n)はπ^2nの有理関数になる,従って,超越数であることはオイラー以来知られていますが,奇数ベキ級数の和ζ(2n+1)についての類似の関係式は何にひとつわかっていませんでした.

 つい最近までζ(3)は有理数になるかもしれないと思われていたのですが,ところが,1978年に,フランスの無名の数学者アペリによってζ(3)の無理数性が示されました.それを補ったのがポールテンです.ζ(3)=1.202056・・・に収束するものの,ごく最近までこの値が無理数であることすらわかっていなかったのです.

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

【1】ζ(3)の無理数性

 アペリはζ(3)が無理数であることを示すために,

  ζ(3)=Σ1/n^3=5/2Σ(-1)^(n-1)/n^3(2n,n)

に基づく連分数展開

  6/ζ(3)=5-1^6/(117-)2^6/(535-)n^6/(34n^3+51n^2+27n+5)-・・・

を使いました.ζ(3)が無理数ならば,連分数展開は無限列となります.

 アペリが行ったことは,より正確には,漸化式

  (n+1)^3un+1=(34n^3+51n^2+27n+5)un-n^3un-1

を満たす2つの数列{an}{bn}を構成したことです.たとえば,

  an=Σ(n,k)^2(n+k,k)^2

  a0=1,a1=5,a2=73,a4=1445,a5=33001,・・・

 bnに対する式も,より複雑ではありますが,同様に構成することができます.

  bn=Σ(n,k)^2(n+k,k)^2c

  c=Σ1/m^3+Σ(-1)^(m-1)/2m^3(m,n)(n+m,m)  

  b0=0,b1=6,b2=351/4,b4=62531/36,b5=11424695/288,・・・

 この漸化式を満たす任意の数列は,

  Cα^(±n)/n^(3/2)

  (α=17+12√2=(1+√2)^4はx^2−34x+1=0の根)

で指数的に増加(減少)することより,直ちに

  bn/an → ζ(3)

が示されます.

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

 まったく同じ論法を用いて,ζ(2)の無理数性も示すことができます.

  ζ(2)=Σ1/n^2=3Σ1/n^2(2n,n)

  5/ζ(2)=3+1^4/(3+)2^4/(25+)n^4/(11n^2+11n+3)+・・・

  (n+1)^2un+1=(11n^2+11n+3)un+n^2un-1

  an=Σ(n,k)^2(n+k,k)

  bn=Σ(n,k)^2(n+k,k)^2c

  c=2Σ(-1)^(m-1)/m^2+Σ(-1)^(n+m-1)/m^2(m,n)(n+m,m)  

  α=(11+5√5)/2={(1+√5)/2}^5はx^2−11x−1=0の根(黄金比φを用いると,φ^5=3φ+2)

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