Module

for

The Lin-Bairstow Method

 

Quadratic Synthetic Division
    
    Let the polynomial [Graphics:Images/BairstowMethodMod_gr_1.gif] of degree n have coefficients [Graphics:Images/BairstowMethodMod_gr_2.gif].  Then [Graphics:Images/BairstowMethodMod_gr_3.gif] has the familiar form  

(1)        [Graphics:Images/BairstowMethodMod_gr_4.gif].

Let  [Graphics:Images/BairstowMethodMod_gr_5.gif]  be a fixed quadratic term.  Then [Graphics:Images/BairstowMethodMod_gr_6.gif] can be expressed as
    
(2)        [Graphics:Images/BairstowMethodMod_gr_7.gif],  

where  [Graphics:Images/BairstowMethodMod_gr_8.gif]  is the remainder when  [Graphics:Images/BairstowMethodMod_gr_9.gif] is divided by  [Graphics:Images/BairstowMethodMod_gr_10.gif].  Here  [Graphics:Images/BairstowMethodMod_gr_11.gif]  is a polynomial of degree  [Graphics:Images/BairstowMethodMod_gr_12.gif]  and can be represented by  

(3)        [Graphics:Images/BairstowMethodMod_gr_13.gif].  

If we set  [Graphics:Images/BairstowMethodMod_gr_14.gif]  and    [Graphics:Images/BairstowMethodMod_gr_15.gif],  then

(4)        [Graphics:Images/BairstowMethodMod_gr_16.gif],   
    where    
(5)        [Graphics:Images/BairstowMethodMod_gr_17.gif]  

and equation (4) can be written

(6)        [Graphics:Images/BairstowMethodMod_gr_18.gif].  

The terms in (6) can be expanded so that [Graphics:Images/BairstowMethodMod_gr_19.gif] is represented in powers of  x.  

(7)        [Graphics:Images/BairstowMethodMod_gr_20.gif]  

The numbers  [Graphics:Images/BairstowMethodMod_gr_21.gif]  are found by comparing the coefficients of   [Graphics:Images/BairstowMethodMod_gr_22.gif]  in equations (1) and (7).  The coefficients  [Graphics:Images/BairstowMethodMod_gr_23.gif]   of  [Graphics:Images/BairstowMethodMod_gr_24.gif]  and  are computed recursively.

(8)        Set    [Graphics:Images/BairstowMethodMod_gr_25.gif] ,    and  

           [Graphics:Images/BairstowMethodMod_gr_26.gif] ,    and then  

           [Graphics:Images/BairstowMethodMod_gr_27.gif]    for    [Graphics:Images/BairstowMethodMod_gr_28.gif].  

Proof  Lin-Bairstow Method  Lin-Bairstow Method

 

 

Example 1.  Use quadratic synthetic division to divide   [Graphics:Images/BairstowMethodMod_gr_29.gif]    by   [Graphics:Images/BairstowMethodMod_gr_30.gif].  
Solution 1.

 

Heuristics
    
    In the days when "hand computations" were necessary, the quadratic synthetic division tableau (or table) was used.  The coefficients  [Graphics:Images/BairstowMethodMod_gr_43.gif]  of the polynomial are entered on the first row in descending order, the second and third rows are reserved for the intermediate computation steps  ([Graphics:Images/BairstowMethodMod_gr_44.gif]  and  [Graphics:Images/BairstowMethodMod_gr_45.gif])  and the bottom row contains the coefficients  [Graphics:Images/BairstowMethodMod_gr_46.gif],  [Graphics:Images/BairstowMethodMod_gr_47.gif]  and  [Graphics:Images/BairstowMethodMod_gr_48.gif].

 

[Graphics:Images/BairstowMethodMod_gr_49.gif]

 

Example 2.  Use the "quadratic synthetic division tableau" to divide  [Graphics:Images/BairstowMethodMod_gr_50.gif]  by  [Graphics:Images/BairstowMethodMod_gr_51.gif].  
Solution 2.

 

Using vector coefficients

    As mentioned above, it is efficient to store the coefficients  [Graphics:Images/BairstowMethodMod_gr_63.gif]  of a polynomial  [Graphics:Images/BairstowMethodMod_gr_64.gif] of degree n in the vector  [Graphics:Images/BairstowMethodMod_gr_65.gif].  Notice that this is a shift of the index for [Graphics:Images/BairstowMethodMod_gr_66.gif] and the polynomial  [Graphics:Images/BairstowMethodMod_gr_67.gif]  is written in the form  
    
        [Graphics:Images/BairstowMethodMod_gr_68.gif].  
        
Given the quadratic  [Graphics:Images/BairstowMethodMod_gr_69.gif],  the quotient  [Graphics:Images/BairstowMethodMod_gr_70.gif]  and remainder  [Graphics:Images/BairstowMethodMod_gr_71.gif]  are

        [Graphics:Images/BairstowMethodMod_gr_72.gif]
    and
        [Graphics:Images/BairstowMethodMod_gr_73.gif].   

The recursive formulas for computing the coefficients  [Graphics:Images/BairstowMethodMod_gr_74.gif]  of  [Graphics:Images/BairstowMethodMod_gr_75.gif]  are  

        [Graphics:Images/BairstowMethodMod_gr_76.gif],   and      
        
        [Graphics:Images/BairstowMethodMod_gr_77.gif],   and then  
        
        [Graphics:Images/BairstowMethodMod_gr_78.gif]    for    [Graphics:Images/BairstowMethodMod_gr_79.gif].  

 

Example 3.  Use the vector form of quadratic synthetic division to divide   [Graphics:Images/BairstowMethodMod_gr_80.gif]    by   [Graphics:Images/BairstowMethodMod_gr_81.gif].  
Solution 3.

 

The Lin-Bairstow Method

    We now build on the previous idea and develop the Lin-Bairstow's method for finding a quadratic factor  [Graphics:Images/BairstowMethodMod_gr_92.gif]  of  [Graphics:Images/BairstowMethodMod_gr_93.gif].  Suppose that we start with the initial guess  

(9)        [Graphics:Images/BairstowMethodMod_gr_94.gif]
          
and that  [Graphics:Images/BairstowMethodMod_gr_95.gif]  can be expressed as  

        [Graphics:Images/BairstowMethodMod_gr_96.gif].    

When  u  and  v  are small, the quadratic (9)  is close to a factor of  [Graphics:Images/BairstowMethodMod_gr_97.gif].  We want to find new values  [Graphics:Images/BairstowMethodMod_gr_98.gif]  so that  

(10)        [Graphics:Images/BairstowMethodMod_gr_99.gif]

is closer to a factor of  [Graphics:Images/BairstowMethodMod_gr_100.gif]  than the quadratic (9).  

    Observe that  u  and  v  are functions of  r  and  s, that is   

        [Graphics:Images/BairstowMethodMod_gr_101.gif],   and   
        [Graphics:Images/BairstowMethodMod_gr_102.gif].  

The new values  [Graphics:Images/BairstowMethodMod_gr_103.gif]  satisfy the relations  

        [Graphics:Images/BairstowMethodMod_gr_104.gif],   and   
        [Graphics:Images/BairstowMethodMod_gr_105.gif].  

The differentials of the functions  u  and  v  are used to produce the approximations

        [Graphics:Images/BairstowMethodMod_gr_106.gif]
    and
        [Graphics:Images/BairstowMethodMod_gr_107.gif]  

The new values  [Graphics:Images/BairstowMethodMod_gr_108.gif]  are to satisfy

        [Graphics:Images/BairstowMethodMod_gr_109.gif],  and   
        [Graphics:Images/BairstowMethodMod_gr_110.gif].

When the quantities  [Graphics:Images/BairstowMethodMod_gr_111.gif]  are small, we replace the above approximations with equations and obtain the linear system:

        [Graphics:Images/BairstowMethodMod_gr_112.gif]
(11)
        [Graphics:Images/BairstowMethodMod_gr_113.gif]  

All we need to do is find the values of the partial derivatives [Graphics:Images/BairstowMethodMod_gr_114.gif], [Graphics:Images/BairstowMethodMod_gr_115.gif], [Graphics:Images/BairstowMethodMod_gr_116.gif] and [Graphics:Images/BairstowMethodMod_gr_117.gif] and then use Cramer's rule to compute  [Graphics:Images/BairstowMethodMod_gr_118.gif].   Let us announce that the values of the partial derivatives are  

        [Graphics:Images/BairstowMethodMod_gr_119.gif]   
        
where the coefficients [Graphics:Images/BairstowMethodMod_gr_120.gif] are built upon the coefficients [Graphics:Images/BairstowMethodMod_gr_121.gif] given in (8) and are calculated recursively using the formulas   

(12)        Set    [Graphics:Images/BairstowMethodMod_gr_122.gif] ,    and  

            [Graphics:Images/BairstowMethodMod_gr_123.gif] ,    and then  

            [Graphics:Images/BairstowMethodMod_gr_124.gif]    for    [Graphics:Images/BairstowMethodMod_gr_125.gif].  

The formulas in (12) use the coefficients [Graphics:Images/BairstowMethodMod_gr_126.gif] in (8).  Since  

        [Graphics:Images/BairstowMethodMod_gr_127.gif],   and  
        [Graphics:Images/BairstowMethodMod_gr_128.gif],   and   

the linear system in (11)  can be written as  

        [Graphics:Images/BairstowMethodMod_gr_129.gif]

Cramer's rule can be used to solve this linear system.  The required determinants are  

        [Graphics:Images/BairstowMethodMod_gr_130.gif],    [Graphics:Images/BairstowMethodMod_gr_131.gif],   and   [Graphics:Images/BairstowMethodMod_gr_132.gif].  

and the new values  [Graphics:Images/BairstowMethodMod_gr_133.gif]  are computed using the formulas  

        [Graphics:Images/BairstowMethodMod_gr_134.gif],   
    and   
        [Graphics:Images/BairstowMethodMod_gr_135.gif].  

Proof  Lin-Bairstow Method  Lin-Bairstow Method

 

    The iterative process is continued until good approximations to  r  and  s  have been found.  If the initial guesses  [Graphics:Images/BairstowMethodMod_gr_136.gif]  are chosen small, the iteration does not tend to wander for a long time before converging.  When  [Graphics:Images/BairstowMethodMod_gr_137.gif],  the larger powers of  x  can be neglected in equation (1) and we have the approximation  

        [Graphics:Images/BairstowMethodMod_gr_138.gif].

Hence the initial guesses for  [Graphics:Images/BairstowMethodMod_gr_139.gif]  could be  [Graphics:Images/BairstowMethodMod_gr_140.gif]  and  [Graphics:Images/BairstowMethodMod_gr_141.gif],  provided that  [Graphics:Images/BairstowMethodMod_gr_142.gif].  

    If hand calculations are done, then the quadratic synthetic division tableau can be extended to form an easy way to calculate the coefficients [Graphics:Images/BairstowMethodMod_gr_143.gif].   

 

[Graphics:Images/BairstowMethodMod_gr_144.gif]


Bairstow's method is a special case of Newton's method in two dimensions.  

 

Algorithm (Lin-Bairstow Iteration).  To find a quadratic factor of   [Graphics:Images/BairstowMethodMod_gr_145.gif]  given an initial approximation  [Graphics:Images/BairstowMethodMod_gr_146.gif].  

Computer Programs  Lin-Bairstow Method  Lin-Bairstow Method

Mathematica Subroutine (Lin-Bairstow Iteration).

[Graphics:Images/BairstowMethodMod_gr_147.gif]

Example 4.  Given   [Graphics:Images/BairstowMethodMod_gr_148.gif].  Start with  [Graphics:Images/BairstowMethodMod_gr_149.gif]  and  [Graphics:Images/BairstowMethodMod_gr_150.gif]  and use the Lin-Bairstow method to find a quadratic factor of  [Graphics:Images/BairstowMethodMod_gr_151.gif].  
Solution 4.

 

Research Experience for Undergraduates

Lin-Bairstow Method  Lin-Bairstow Method  Internet hyperlinks to web sites and a bibliography of articles.  

 

Download this Mathematica Notebook Lin-Bairstow Method

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004