Recurrences for the coefficients of series expansions with respect to classical orthogonal polynomials (Q4548972)

Let \(\{P_k(x)\}_{k=0}^\infty\) be any sequence of classical orthogonal polynomials. Also let \(f(x)\) be a function satisfying a linear differential equation with polynomial coefficients. The author gives an algorithm to construct, in a compact form, a recurrence relation satisfied by the coefficients \(a_k\) in the polynomial expansion: \[ f(x)= \sum^\infty_{k=0} a_kP_k(x). \] A systematic use of the basic properties (including some nonstandard ones) of the polynomials \(\{P_k(x)\}^\infty_{k=0}\) is then shown to aid in obtaining a lower order of the recurrence relation.