■漸化式と母関数(その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)

すなわち,ベッセル関数となる.

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