Example 1.  Given the three distinct nodes  [Graphics:Images/NevilleAlgorithmMod_gr_76.gif]  and the function  [Graphics:Images/NevilleAlgorithmMod_gr_77.gif].  
Use recursion to construct the polynomial  [Graphics:Images/NevilleAlgorithmMod_gr_78.gif].

Solution 1.

Remark.  There are three ways to construct  [Graphics:../Images/NevilleAlgorithmMod_gr_79.gif]  and we will explore all three of them.  To prevent confusion, the latter two will be named [Graphics:../Images/NevilleAlgorithmMod_gr_80.gif]  and  [Graphics:../Images/NevilleAlgorithmMod_gr_81.gif].

[Graphics:../Images/NevilleAlgorithmMod_gr_82.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_83.gif]

[Graphics:../Images/NevilleAlgorithmMod_gr_84.gif]

Define  [Graphics:../Images/NevilleAlgorithmMod_gr_85.gif]  

 

[Graphics:../Images/NevilleAlgorithmMod_gr_86.gif]

Define  [Graphics:../Images/NevilleAlgorithmMod_gr_87.gif]  using  [Graphics:../Images/NevilleAlgorithmMod_gr_88.gif] and [Graphics:../Images/NevilleAlgorithmMod_gr_89.gif].  

[Graphics:../Images/NevilleAlgorithmMod_gr_90.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_91.gif]

[Graphics:../Images/NevilleAlgorithmMod_gr_92.gif]

 

 

Define  [Graphics:../Images/NevilleAlgorithmMod_gr_93.gif]  using  [Graphics:../Images/NevilleAlgorithmMod_gr_94.gif] and [Graphics:../Images/NevilleAlgorithmMod_gr_95.gif].  

[Graphics:../Images/NevilleAlgorithmMod_gr_96.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_97.gif]

[Graphics:../Images/NevilleAlgorithmMod_gr_98.gif]

 

 

Define  [Graphics:../Images/NevilleAlgorithmMod_gr_99.gif]  using  [Graphics:../Images/NevilleAlgorithmMod_gr_100.gif] and [Graphics:../Images/NevilleAlgorithmMod_gr_101.gif].  

[Graphics:../Images/NevilleAlgorithmMod_gr_102.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_103.gif]

[Graphics:../Images/NevilleAlgorithmMod_gr_104.gif]

 

 

1 (a).  Define  [Graphics:../Images/NevilleAlgorithmMod_gr_105.gif]  using  [Graphics:../Images/NevilleAlgorithmMod_gr_106.gif]  and  [Graphics:../Images/NevilleAlgorithmMod_gr_107.gif].   

[Graphics:../Images/NevilleAlgorithmMod_gr_108.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_109.gif]

[Graphics:../Images/NevilleAlgorithmMod_gr_110.gif]

 

 

1 (b).  Define  [Graphics:../Images/NevilleAlgorithmMod_gr_111.gif]  using  [Graphics:../Images/NevilleAlgorithmMod_gr_112.gif]  and  [Graphics:../Images/NevilleAlgorithmMod_gr_113.gif].   

[Graphics:../Images/NevilleAlgorithmMod_gr_114.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_115.gif]

[Graphics:../Images/NevilleAlgorithmMod_gr_116.gif]

 

 

1 (c).  Define  [Graphics:../Images/NevilleAlgorithmMod_gr_117.gif]  using  [Graphics:../Images/NevilleAlgorithmMod_gr_118.gif]  and  [Graphics:../Images/NevilleAlgorithmMod_gr_119.gif].   

[Graphics:../Images/NevilleAlgorithmMod_gr_120.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_121.gif]

[Graphics:../Images/NevilleAlgorithmMod_gr_122.gif]

 

 

Conclusion.

The three different methods of constructing  [Graphics:../Images/NevilleAlgorithmMod_gr_123.gif] produce algebraically equivalent answers.  Only the first two methods are used in practice.  They are the methods of Aitken and Neville, respectively.

[Graphics:../Images/NevilleAlgorithmMod_gr_124.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_125.gif]

 

 

[Graphics:../Images/NevilleAlgorithmMod_gr_126.gif]


[Graphics:../Images/NevilleAlgorithmMod_gr_127.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2005