Abstract :
For a function f ( x ) that is smooth on the interval x ∈ [ a , b ] but otherwise arbitrary, the real-valued roots on the interval can always be found by the following two-part procedure. First, expand f ( x ) as a Chebyshev polynomial series on the interval and truncate for sufficiently large N. Second, find the zeros of the truncated Chebyshev series. The roots of an arbitrary polynomial of degree N, when written in the form of a truncated Chebyshev series, are the eigenvalues of an N × N matrix whose elements are simple, explicit functions of the coefficients of the Chebyshev series. This matrix is a generalization of the Frobenius companion matrix. We show by experimenting with random polynomials, Wilkinsonʹs notoriously ill-conditioned polynomial, and polynomials with high-order roots that the Chebyshev companion matrix method is remarkably accurate for finding zeros on the target interval, yielding roots close to full machine precision. We also show that it is easy and cheap to apply Newtonʹs iteration directly to the Chebyshev series so as to refine the roots to full machine precision, using the companion matrix eigenvalues as the starting point. Lastly, we derive a couple of theorems. The first shows that simple roots are stable under small perturbations of magnitude ε to a Chebyshev coefficient: the shift in the root x * is bounded by ε / d f / d x ( x * ) + O ( ε 2 ) for sufficiently small ε . Second, we show that polynomials with definite parity (only even or only odd powers of x) can be solved by a companion matrix whose size is one less than the number of nonzero coefficients, a vast cost-saving.
Keywords :
Chebyshev-Frobenius companion matrix , Rootfinding , Keplerיs equation , Chebyshev polynomials