■漸化式と母関数(その30)

  Σ(2k,k)^2・(x/4)^2k

は超幾何関数になると思われるが,簡単な形にはならないと思われる.

 まず,Σ(2k,k)^2・(x/4)^2kが第0項から始まることを確認する(OK).

 この級数の項比は

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

であるから,

  a0*2F3(1/2,1/2;1,1,1;(x/4)^2),a0=4

 2F1はガウス型超幾何関数であるから,それ以外の一般化された超幾何級数と同定されたが,その正体は不明である.

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