>>79
n=0,1のときに(n+2)(n+1)a_(n+2) = k・a_nが出てくるから
a_2,a_3はa_0,a_1から決まる。全部1にはできない。

どのみちきれいな形にはならないだろうけど、
例えば y = exp(ix^2/2)z と置き換えると
z''+2 i x z' - (k-i) z = 0 が出てきて、
z = Σb[n]x^n /n! とすれば b[n+2] + (2in - k + i)b[n] = 0。
Πを使えば一応解を書ける。