In numerical analysis, Bairstow's method is an efficient algorithm for finding the roots of a real polynomial of arbitrary degree. The algorithm first appeared in the appendix of the 1920 book Applied Aerodynamics by Leonard Bairstow.[1][non-primary source needed] The algorithm finds the roots in complex conjugate pairs using only real arithmetic.

See root-finding algorithm for other algorithms.

Description of the method

edit

Bairstow's approach is to use Newton's method to adjust the coefficients u and v in the quadratic   until its roots are also roots of the polynomial being solved. The roots of the quadratic may then be determined, and the polynomial may be divided by the quadratic to eliminate those roots. This process is then iterated until the polynomial becomes quadratic or linear, and all the roots have been determined.

Long division of the polynomial to be solved

 

by   yields a quotient   and a remainder   such that

 

A second division of   by   is performed to yield a quotient   and remainder   with

 

The variables  , and the   are functions of   and  . They can be found recursively as follows.

 

The quadratic evenly divides the polynomial when

 

Values of   and   for which this occurs can be discovered by picking starting values and iterating Newton's method in two dimensions

 

until convergence occurs. This method to find the zeroes of polynomials can thus be easily implemented with a programming language or even a spreadsheet.

Example

edit

The task is to determine a pair of roots of the polynomial

 

As first quadratic polynomial one may choose the normalized polynomial formed from the leading three coefficients of f(x),

 

The iteration then produces the table

Iteration steps of Bairstow's method
Nr u v step length roots
0 1.833333333333 −5.500000000000 5.579008780071 −0.916666666667±2.517990821623
1 2.979026068546 −0.039896784438 2.048558558641 −1.489513034273±1.502845921479
2 3.635306053091 1.900693009946 1.799922838287 −1.817653026545±1.184554563945
3 3.064938039761 0.193530875538 1.256481376254 −1.532469019881±1.467968126819
4 3.461834191232 1.385679731101 0.428931413521 −1.730917095616±1.269013105052
5 3.326244386565 0.978742927192 0.022431883898 −1.663122193282±1.336874153612
6 3.333340909351 1.000022701147 0.000023931927 −1.666670454676±1.333329555414
7 3.333333333340 1.000000000020 0.000000000021 −1.666666666670±1.333333333330
8 3.333333333333 1.000000000000 0.000000000000 −1.666666666667±1.333333333333

After eight iterations the method produced a quadratic factor that contains the roots −1/3 and −3 within the represented precision. The step length from the fourth iteration on demonstrates the superlinear speed of convergence.

Performance

edit

Bairstow's algorithm inherits the local quadratic convergence of Newton's method, except in the case of quadratic factors of multiplicity higher than 1, when convergence to that factor is linear. A particular kind of instability is observed when the polynomial has odd degree and only one real root. Quadratic factors that have a small value at this real root tend to diverge to infinity.

     
     

The images represent pairs  . Points in the upper half plane t > 0 correspond to a linear factor with roots  , that is  . Points in the lower half plane t < 0 correspond to quadratic factors with roots  , that is,  , so in general  . Points are colored according to the final point of the Bairstow iteration, black points indicate divergent behavior.

The first image is a demonstration of the single real root case. The second indicates that one can remedy the divergent behavior by introducing an additional real root, at the cost of slowing down the speed of convergence. One can also in the case of odd degree polynomials first find a real root using Newton's method and/or an interval shrinking method, so that after deflation a better-behaved even-degree polynomial remains. The third image corresponds to the example above.

References

edit
  1. ^ Bairstow, Leonard (1920). "Appendix: The Solution of Algebraic Equations with Numerical Coefficients in the Case where Several Pairs of Complex Roots exist". Applied Aerodynamics. London: Longmans, Green and Company. pp. 551–560.
edit