3.3 Divided Differences

3.3 Divided Differences
1
Representing 𝑛𝑛th Lagrange Polynomial
β€’ If 𝑃𝑃𝑛𝑛 π‘₯π‘₯ is the 𝑛𝑛th degree Lagrange interpolating
polynomial that agrees with 𝑓𝑓 π‘₯π‘₯ at the points
{π‘₯π‘₯0 , π‘₯π‘₯1 , … , π‘₯π‘₯𝑛𝑛 }, 𝑃𝑃𝑛𝑛 π‘₯π‘₯ can be expressed in the form:
𝑃𝑃𝑛𝑛 π‘₯π‘₯ = π‘Žπ‘Ž0 + π‘Žπ‘Ž1 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 +
π‘Žπ‘Ž2 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 +
π‘Žπ‘Ž3 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯2 +
… + π‘Žπ‘Žπ‘›π‘› π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯2 … π‘₯π‘₯ βˆ’ π‘₯π‘₯π‘›π‘›βˆ’1
β€’ ? How to find constants π‘Žπ‘Ž0 ,…, π‘Žπ‘Žπ‘›π‘› ?
2
Finding constants π‘Žπ‘Ž0 ,…, π‘Žπ‘Žπ‘›π‘›
Given interpolating polynomial 𝑃𝑃𝑛𝑛 π‘₯π‘₯ = π‘Žπ‘Ž0 + π‘Žπ‘Ž1 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 +
π‘Žπ‘Ž2 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 +
π‘Žπ‘Ž3 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯2 +
… + π‘Žπ‘Žπ‘›π‘› π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯2 … π‘₯π‘₯ βˆ’ π‘₯π‘₯π‘›π‘›βˆ’1
οƒ˜ At π‘₯π‘₯0 : π‘Žπ‘Ž0 = 𝑃𝑃𝑛𝑛 π‘₯π‘₯0 = 𝑓𝑓 π‘₯π‘₯0
οƒ˜ At π‘₯π‘₯1 : 𝑓𝑓 π‘₯π‘₯0 + π‘Žπ‘Ž1 π‘₯π‘₯1 βˆ’ π‘₯π‘₯0 = 𝑃𝑃𝑛𝑛 π‘₯π‘₯1 = 𝑓𝑓(π‘₯π‘₯1 )
οƒ˜ At π‘₯π‘₯2 : 𝑓𝑓 π‘₯π‘₯0 +
𝑓𝑓 π‘₯π‘₯1 βˆ’π‘“π‘“ π‘₯π‘₯0
π‘₯π‘₯1 βˆ’π‘₯π‘₯0
𝑃𝑃𝑛𝑛 π‘₯π‘₯2 = 𝑓𝑓(π‘₯π‘₯2 )
οƒ˜β€¦
𝑓𝑓 π‘₯π‘₯1 βˆ’ 𝑓𝑓 π‘₯π‘₯0
⟹ π‘Žπ‘Ž1 =
π‘₯π‘₯1 βˆ’ π‘₯π‘₯0
π‘₯π‘₯2 βˆ’ π‘₯π‘₯0 + π‘Žπ‘Ž2 π‘₯π‘₯2 βˆ’ π‘₯π‘₯0 π‘₯π‘₯2 βˆ’ π‘₯π‘₯1 =
𝑓𝑓 π‘₯π‘₯2 βˆ’ 𝑓𝑓 π‘₯π‘₯1
𝑓𝑓 π‘₯π‘₯1 βˆ’ 𝑓𝑓 π‘₯π‘₯0
βˆ’
π‘₯π‘₯2 βˆ’ π‘₯π‘₯1
π‘₯π‘₯1 βˆ’ π‘₯π‘₯0
⟹ π‘Žπ‘Ž2 =
π‘₯π‘₯2 βˆ’ π‘₯π‘₯0
3
3
Newton’s Divided Difference
 Zeroth divided difference:
𝑓𝑓 π‘₯π‘₯𝑖𝑖 = 𝑓𝑓 π‘₯π‘₯𝑖𝑖 .
 First divided difference:
𝑓𝑓 π‘₯π‘₯𝑖𝑖 , π‘₯π‘₯𝑖𝑖+1
𝑓𝑓[π‘₯π‘₯𝑖𝑖+1 ] βˆ’ 𝑓𝑓[π‘₯π‘₯𝑖𝑖 ]
=
.
π‘₯π‘₯𝑖𝑖+1 βˆ’ π‘₯π‘₯𝑖𝑖
 Second divided difference:
𝑓𝑓 π‘₯π‘₯𝑖𝑖 , π‘₯π‘₯𝑖𝑖+1 , π‘₯π‘₯𝑖𝑖+2
𝑓𝑓[π‘₯π‘₯𝑖𝑖+1 , π‘₯π‘₯𝑖𝑖+2 ] βˆ’ 𝑓𝑓[π‘₯π‘₯𝑖𝑖 , π‘₯π‘₯𝑖𝑖+1 ]
=
.
π‘₯π‘₯𝑖𝑖+2 βˆ’ π‘₯π‘₯𝑖𝑖
 Third divided difference:
𝑓𝑓 π‘₯π‘₯𝑖𝑖 , π‘₯π‘₯𝑖𝑖+1 , π‘₯π‘₯𝑖𝑖+2 , π‘₯π‘₯𝑖𝑖+3
𝑓𝑓[π‘₯π‘₯𝑖𝑖+1 , π‘₯π‘₯𝑖𝑖+2 , π‘₯π‘₯𝑖𝑖+3 ] βˆ’ 𝑓𝑓[π‘₯π‘₯𝑖𝑖 , π‘₯π‘₯𝑖𝑖+1 , π‘₯π‘₯𝑖𝑖+2 ]
=
.
π‘₯π‘₯𝑖𝑖+3 βˆ’ π‘₯π‘₯𝑖𝑖
 Kth divided difference:
𝑓𝑓 π‘₯π‘₯𝑖𝑖 , π‘₯π‘₯𝑖𝑖+1 , … , π‘₯π‘₯𝑖𝑖+π‘˜π‘˜
𝑓𝑓[π‘₯π‘₯𝑖𝑖+1 , π‘₯π‘₯𝑖𝑖+2 , … , π‘₯π‘₯𝑖𝑖+π‘˜π‘˜ ] βˆ’ 𝑓𝑓[π‘₯π‘₯𝑖𝑖 , π‘₯π‘₯𝑖𝑖+1 , … , π‘₯π‘₯𝑖𝑖+π‘˜π‘˜βˆ’1 ]
=
π‘₯π‘₯𝑖𝑖+π‘˜π‘˜ βˆ’ π‘₯π‘₯𝑖𝑖
4
Finding constants π‘Žπ‘Ž0 ,…, π‘Žπ‘Žπ‘›π‘› -revisited
Given interpolating polynomial 𝑃𝑃𝑛𝑛 π‘₯π‘₯ = π‘Žπ‘Ž0 + π‘Žπ‘Ž1 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 +
π‘Žπ‘Ž2 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 +
π‘Žπ‘Ž3 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯2 +
… + π‘Žπ‘Žπ‘›π‘› π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯2 … π‘₯π‘₯ βˆ’ π‘₯π‘₯π‘›π‘›βˆ’1
οƒ˜ π‘Žπ‘Ž0 = 𝑓𝑓(π‘₯π‘₯0 ) = 𝑓𝑓[π‘₯π‘₯0 ]
οƒ˜ π‘Žπ‘Ž1 =
𝑓𝑓 π‘₯π‘₯1 βˆ’π‘“π‘“ π‘₯π‘₯0
π‘₯π‘₯1 βˆ’π‘₯π‘₯0
οƒ˜ π‘Žπ‘Ž2 =
οƒ˜ π‘Žπ‘Ž3 =
𝑓𝑓 π‘₯π‘₯2 βˆ’π‘“π‘“ π‘₯π‘₯1
π‘₯π‘₯2 βˆ’π‘₯π‘₯1
=
𝑓𝑓[π‘₯π‘₯1 ]βˆ’π‘“π‘“[π‘₯π‘₯0 ]
π‘₯π‘₯1 βˆ’π‘₯π‘₯0
𝑓𝑓 π‘₯π‘₯1 βˆ’π‘“π‘“ π‘₯π‘₯0
π‘₯π‘₯1 βˆ’π‘₯π‘₯0
βˆ’
π‘₯π‘₯2 βˆ’π‘₯π‘₯0
𝑓𝑓 π‘₯π‘₯1 ,π‘₯π‘₯2 ,π‘₯π‘₯3 βˆ’π‘“π‘“ π‘₯π‘₯0 ,π‘₯π‘₯1 ,π‘₯π‘₯2
π‘₯π‘₯3 βˆ’π‘₯π‘₯0
οƒ˜ π‘Žπ‘Žπ‘˜π‘˜ = 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , … , π‘₯π‘₯π‘˜π‘˜ .
=
= 𝑓𝑓[π‘₯π‘₯0 , π‘₯π‘₯1 ].
𝑓𝑓[π‘₯π‘₯1 ,π‘₯π‘₯2 ]βˆ’π‘“π‘“[π‘₯π‘₯0 ,π‘₯π‘₯1 ]
π‘₯π‘₯2 βˆ’π‘₯π‘₯0
= 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , π‘₯π‘₯2 , π‘₯π‘₯3 .
= 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , π‘₯π‘₯2 .
5
Interpolating Polynomial Using Newton’s Divided
Difference Formula
𝑃𝑃𝑛𝑛 π‘₯π‘₯
= 𝑓𝑓 π‘₯π‘₯0 + 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯0
+ 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , π‘₯π‘₯2 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 + β‹―
+ 𝑓𝑓 π‘₯π‘₯0 , … , π‘₯π‘₯𝑛𝑛 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 … (π‘₯π‘₯ βˆ’ π‘₯π‘₯π‘›π‘›βˆ’1 )
Or
𝑃𝑃𝑛𝑛 π‘₯π‘₯
𝑛𝑛
= 𝑓𝑓 π‘₯π‘₯0 + οΏ½ [𝑓𝑓[π‘₯π‘₯0 , … , π‘₯π‘₯π‘˜π‘˜ ] π‘₯π‘₯ βˆ’ π‘₯π‘₯0 … (π‘₯π‘₯ βˆ’ π‘₯π‘₯π‘˜π‘˜βˆ’1 )]
π‘˜π‘˜=1
Remark: π‘Žπ‘Žπ‘˜π‘˜ = 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , … , π‘₯π‘₯π‘˜π‘˜ for π‘˜π‘˜ = 0, … , 𝑛𝑛
6
Example 3.3.1 Use the data in the table to construct
interpolating polynomial.
7
Table for Computing
…
8
Theorem 3.6 Suppose that 𝑓𝑓 ∈ 𝐢𝐢 𝑛𝑛 [π‘Žπ‘Ž, 𝑏𝑏] and
π‘₯π‘₯0 , π‘₯π‘₯1 , … , π‘₯π‘₯𝑛𝑛 are distinct numbers in [π‘Žπ‘Ž, 𝑏𝑏]. Then
βˆƒπœ‰πœ‰ ∈ π‘Žπ‘Ž, 𝑏𝑏 with 𝑓𝑓 π‘₯π‘₯0 , … , π‘₯π‘₯𝑛𝑛 =
𝑓𝑓 𝑛𝑛 (πœ‰πœ‰)
.
𝑛𝑛!
Remark: When 𝑛𝑛 = 1, it’s just the Mean Value
Theorem.
9
Illustration. 1) Complete the following divided difference
table. 2) Find the interpolating polynomial.
10
Algorithm: Newton’s Divided Differences
Input: π‘₯π‘₯0 , 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , 𝑓𝑓 π‘₯π‘₯1 , … , π‘₯π‘₯𝑛𝑛 , 𝑓𝑓 π‘₯π‘₯𝑛𝑛
Output: Divided differences 𝐹𝐹0,0 , … , 𝐹𝐹𝑛𝑛,𝑛𝑛
//comment: 𝑃𝑃𝑛𝑛 π‘₯π‘₯ = 𝐹𝐹0,0 + βˆ‘π‘›π‘›π‘–π‘–=1[𝐹𝐹𝑖𝑖,𝑖𝑖 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 … (π‘₯π‘₯ βˆ’ π‘₯π‘₯π‘–π‘–βˆ’1 )]
Step 1: For 𝑖𝑖 = 0, … , 𝑛𝑛
set 𝐹𝐹𝑖𝑖,0 = 𝑓𝑓(π‘₯π‘₯𝑖𝑖 )
Step 2: For 𝑖𝑖 = 1, … , 𝑛𝑛
For 𝑗𝑗 = 1, … , 𝑖𝑖
set 𝐹𝐹𝑖𝑖,𝑗𝑗 =
𝐹𝐹𝑖𝑖,π‘—π‘—βˆ’1 βˆ’πΉπΉπ‘–π‘–βˆ’1,π‘—π‘—βˆ’1
π‘₯π‘₯𝑖𝑖 βˆ’π‘₯π‘₯π‘–π‘–βˆ’π‘—π‘—
End
End
Output(𝐹𝐹0,0 ,…𝐹𝐹𝑖𝑖,𝑖𝑖 ,…,𝐹𝐹𝑛𝑛,𝑛𝑛 )
STOP.
11
Forward difference formula for equally spaced nodes
β€’ Let the points π‘₯π‘₯0 , π‘₯π‘₯1 , … , π‘₯π‘₯𝑛𝑛 be equally spaced. β„Ž = π‘₯π‘₯𝑖𝑖+1 βˆ’
π‘₯π‘₯𝑖𝑖 , for each 𝑖𝑖 = 0, … , 𝑛𝑛 βˆ’ 1;
and π‘₯π‘₯ = π‘₯π‘₯0 + 𝑠𝑠𝑠.
β€’ Then
𝑃𝑃𝑛𝑛 π‘₯π‘₯
= 𝑓𝑓 π‘₯π‘₯0 + 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 + 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , π‘₯π‘₯2 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1
+ β‹― + 𝑓𝑓 π‘₯π‘₯0 , … , π‘₯π‘₯𝑛𝑛 π‘₯π‘₯ βˆ’ π‘₯π‘₯0 π‘₯π‘₯ βˆ’ π‘₯π‘₯1 … π‘₯π‘₯ βˆ’ π‘₯π‘₯π‘›π‘›βˆ’1
= 𝑓𝑓 π‘₯π‘₯0 + 𝑠𝑠𝑠𝑠𝑠 π‘₯π‘₯0 , π‘₯π‘₯1 + 𝑠𝑠 𝑠𝑠 βˆ’ 1 β„Ž2 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , π‘₯π‘₯2 + β‹―
+ 𝑠𝑠 𝑠𝑠 βˆ’ 1 … (𝑠𝑠 βˆ’ 𝑛𝑛 + 1)β„Žπ‘›π‘› 𝑓𝑓 π‘₯π‘₯0 , … , π‘₯π‘₯𝑛𝑛
Or
𝑃𝑃𝑛𝑛 π‘₯π‘₯ = 𝑃𝑃𝑛𝑛 π‘₯π‘₯0 + 𝑠𝑠𝑠 = 𝑓𝑓 π‘₯π‘₯0
𝑠𝑠
𝑠𝑠
Where
=
π‘˜π‘˜
π‘ π‘ βˆ’1 …(π‘ π‘ βˆ’π‘˜π‘˜+1)
π‘˜π‘˜!
𝑛𝑛
𝑠𝑠
+οΏ½
π‘˜π‘˜! β„Žπ‘˜π‘˜ 𝑓𝑓 π‘₯π‘₯0 , π‘₯π‘₯1 , … , π‘₯π‘₯π‘˜π‘˜
π‘˜π‘˜
π‘˜π‘˜=1
12