Bairstow's method


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. The algorithm finds the roots in complex conjugate pairs using only real arithmetic.
See root-finding algorithm for other algorithms.

Description of the method

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

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,
The iteration then produces the table
Nruvstep lengthroots
01.833333333333−5.5000000000005.579008780071−0.916666666667±2.517990821623
12.979026068546−0.0398967844382.048558558641−1.489513034273±1.502845921479
23.6353060530911.9006930099461.799922838287−1.817653026545±1.184554563945
33.0649380397610.1935308755381.256481376254−1.532469019881±1.467968126819
43.4618341912321.3856797311010.428931413521−1.730917095616±1.269013105052
53.3262443865650.9787429271920.022431883898−1.663122193282±1.336874153612
63.3333409093511.0000227011470.000023931927−1.666670454676±1.333329555414
73.3333333333401.0000000000200.000000000021−1.666666666670±1.333333333330
83.3333333333331.0000000000000.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

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.