Symbolic computation of complex polynomial solutions of differential equations (Q674749)

The author considers the system \(z\frac{d^2y}{dz^2}+ \frac{dy}{dz}- zy=0\), with the boundary condition \(y(0)=1\), \(y'(0)=0\). With the transformation \(t=z^2/4\), the system is reduced to \(\frac{d}{dt} (t\frac{dy(t)}{dt})- y(t)=0\). The author obtains an exact polynomial solution by first perturbing the last system, by some scaled Faber polynomial, so getting the perturbed system \(\frac{d}{dt} (t\frac{dy_n(t)}{dt})- y_n(t)= \tau\vartheta_n(t)\), where \(\vartheta_n(t)\) is the scaled Faber polynomial of degree \(n\). Then with the use of the symbolic \(\tau\)-method based on the Lanczos \(\tau\)-method an exact polynomial solution is obtained.