Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 68 / 3 / a

The first characteristic polynomial factors asAlso $\rho (1)=0$ and ${\rho }^{\prime }(1)=\sigma (1)=2(1-\alpha )$, so the order conditions for a linear multistep method hold for every $\alpha$. Convergence of the full linear multistep method recurrence requires, in addition, the root condition for a multistep method: all polynomial roots of $\rho$ lie in the closed unit disk and its polynomial roots on the unit circle are simple.

For $-1<\alpha <1$, write $\alpha =\cos \theta$ with $0<\theta <\pi$. The other polynomial roots are $e^{\pm i\theta }$, distinct from each other and from 1, so the root condition for a multistep method holds. For $|\alpha |>1$, the two quadratic polynomial roots are real and reciprocal, and one has modulus greater than one. At $\alpha =1$, $\rho =(w-1{)}^3$; at $\alpha =-1$, $\rho =(w-1)(w+1{)}^2$. Both endpoints violate simplicity. Consistency of a numerical method plus zero-stability therefore givesThe conclusion applies to the recurrence as printed, including its starting data. Canceling common factors is not innocuous: at $\alpha =1$ the polynomials contain $(w-1{)}^2$, and at $\alpha =-13/5$ they contain $w+5$. The reduced recurrences exclude parasitic solutions of the original one. This is the common-factor cancellation defect in a multistep recurrence, so those parameter values are not added to the interval.