■漸化式と母関数(その31)
Σ(2k,k)^2・(x/4)^2k
ではなく,
Σ(2k,k)・(x/4)^2k
の場合を考える.
この級数の項比は
an+1xn+1/anxn=(2n+1)/(n+1)*(x/4)^2/(n+1)
であるから,
a0*1F1(1/2;1;(x/4)^2),a0=2
1F1は合流型超幾何関数であって,
1F1(1/2;1;x)=exp(x/2)I0(x)
a0*1F1(1/2;1;(x/4)^2)=2exp(x^2/32)I0(x^2/32)
すなわち,ベッセル関数となる.
===================================