■超幾何関数とゼータ関数(その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)であると同定される.
===================================