■超幾何関数とゼータ関数(その8)

[1]第0項から始まるΣ(2n,n)(4n,2n)t^n/64^nの場合.

 この級数の項比は

  an+1xn+1/anxn=(n+1/4)(n+3/4)/(n+1)*t/(n+1)

であるから,

  a0*2F1(1/4,3/4;1;t)

また,a0=1より

  Σ(2n,n)(4n,2n)t^n/64^n=2F1(1/4,3/4;1;t)

これより,級数Σ(2n,n)(4n,2n)t^n/64^nは超幾何級数2F1(1/4,3/4;1;t)であると同定される.

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

[2]第0項から始まるΣ(n!)^23^n/(2n+1)!の場合.

 この級数の項比は

  an+1xn+1/anxn=(n+1)(n+1)/(n+3/2)*(3/4)/(n+1)

であるから,

  a0*2F1(1,1;3/2;3/4)

また,a0=1より

  Σ(n!)^23^n/(2n+1)!=2F1(1,1;3/2;3/4)

これより,級数Σ(n!)^23^n/(2n+1)!は超幾何級数2F1(1,1;3/2;3/4)であると同定される.

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