■増加列の長さの平均(その19)
Lkでは失敗したが,
qn=Σα^n-2k/(n−2k)!・(n−k)!/k!
を超幾何関数としてみてみたい.
===================================
kは0から始まるので,
α^n-2k-2/(n−2k−2)!・(n−k−1)!/(k+1)!/
α^n-2k/(n−2k)!・(n−k)!/k!
=α^-2(n−2k)(n−2k+1)/(n−k)(k+1)
=−4(k−n/2)(k−(n+1)/2)/(k−n)・α^-2/(k+1)
F(−n/2,−(n+1)/2:−n:−(2/α)^2)
また,初項はα^nであるから,級数は超幾何級数
α^nF(−n/2,−(n+1)/2:−n:−(2/α)^2)
であると同定される.また,上部パラメータの片方は負の整数であるから級数は有限になる.
調べてみたところ,
F(−n/2,−(n+1)/2:−n:x)
=(2/(1+(1−x)^1/2))^-n-1
=((1+(1−x)^1/2)/2)^n+1
以上より
gn=α^n((1+(1+(2/α)^2)^1/2)/2)^n+1
となる.
===================================