Theorem (Convergence Rate for Newton-Raphson Iteration)  Assume that Newton-Raphson iteration produces a sequence  [Graphics:Images/Halley'sMethodProof_gr_45.gif] that converges to the root  p  of the function  [Graphics:Images/Halley'sMethodProof_gr_46.gif].  

If  p  is a simple root, then convergence is quadratic and  [Graphics:Images/Halley'sMethodProof_gr_47.gif]  for  k  sufficiently large.

If  p  is a multiple root of order  m,  then convergence is linear and  [Graphics:Images/Halley'sMethodProof_gr_48.gif]  for  k  sufficiently large.

Proof.

Expand  [Graphics:../Images/Halley'sMethodProof_gr_49.gif]  in a Taylor polynomial of degree n = 1, about  [Graphics:../Images/Halley'sMethodProof_gr_50.gif]  to get  

        [Graphics:../Images/Halley'sMethodProof_gr_51.gif].  

Since  [Graphics:../Images/Halley'sMethodProof_gr_52.gif]  is a zero of  [Graphics:../Images/Halley'sMethodProof_gr_53.gif],  set  [Graphics:../Images/Halley'sMethodProof_gr_54.gif]  in the above equation and obtain

        [Graphics:../Images/Halley'sMethodProof_gr_55.gif].  

Which can be rewritten as  

        [Graphics:../Images/Halley'sMethodProof_gr_56.gif].  

Now assume that  [Graphics:../Images/Halley'sMethodProof_gr_57.gif]  for all  [Graphics:../Images/Halley'sMethodProof_gr_58.gif]  near the root  [Graphics:../Images/Halley'sMethodProof_gr_59.gif],  and observe that  [Graphics:../Images/Halley'sMethodProof_gr_60.gif], so that we can divide by it and obtain:

        [Graphics:../Images/Halley'sMethodProof_gr_61.gif].  

Rearrange the terms and simplify to get  

        [Graphics:../Images/Halley'sMethodProof_gr_62.gif].  

The above equation can be rewritten as:  

        [Graphics:../Images/Halley'sMethodProof_gr_63.gif].  

Now use the Newton-Raphson iteration formula  [Graphics:../Images/Halley'sMethodProof_gr_64.gif]  and substitute it into the above equation to obtain:  

        [Graphics:../Images/Halley'sMethodProof_gr_65.gif].  

Assuming   [Graphics:../Images/Halley'sMethodProof_gr_66.gif]  and    [Graphics:../Images/Halley'sMethodProof_gr_67.gif]  when k is sufficiently large yields  

        [Graphics:../Images/Halley'sMethodProof_gr_68.gif],
    
        [Graphics:../Images/Halley'sMethodProof_gr_69.gif].

Now take absolute values and obtain the desired conclusion

        [Graphics:../Images/Halley'sMethodProof_gr_70.gif].

Q. E. D.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004