Etude 1 - Polynôme d'interpolation de Lagrange
Etude 1 - Polynôme d'interpolation de Lagrange
Etude 1 - Polynôme d'interpolation de Lagrange
(𝑏0 , … , 𝑏𝑛 ) ∈ 𝕂𝑛+1
𝑃 ∈ 𝐾𝑒𝑟 𝑢 ⇔ 𝑁 = (𝑋 − 𝑎0 ) … (𝑋 − 𝑎𝑛 ) 𝑑𝑖𝑣𝑖𝑠𝑒 𝑃
= 𝐾𝑒𝑟 𝑢 ⊕ 𝕂𝑛 [𝑋]
Théorème fondamental
𝕂𝑛 [𝑋] → 𝐼𝑚 𝑢
𝑢̃ ∶ | 𝑒𝑠𝑡 𝑢𝑛 𝑖𝑠𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚𝑒
𝑃 ↦ 𝑢 (𝑃 )
𝐼𝑚 𝑢 𝑠𝑒𝑣 𝑑𝑒 𝕂𝑛+1
Donc 𝐼𝑚 𝑢 = 𝕂(𝑛+1)
(0, … , 0, 1, 0, … , 0) ∈ 𝕂𝑛+1
dim 𝕂𝑛 [𝑋] = 𝑛 + 1
Donc ℱ 𝑒𝑠𝑡 𝑢𝑛𝑒 𝐵𝑎𝑠𝑒 𝑑𝑒 𝕂𝑛 [𝑋] 𝑑𝑖𝑡𝑒 𝐵𝑎𝑠𝑒 𝑑𝑒𝑠 𝑝𝑜𝑙𝑦𝑛ô𝑚𝑒𝑠 𝑑𝑒 𝐿𝑎𝑔𝑟𝑎𝑛𝑔𝑒
4. 𝐸𝑥𝑝𝑙𝑖𝑐𝑖𝑡𝑎𝑡𝑖𝑜𝑛 𝑑𝑒 𝐿
(𝑋 − 𝑎0 ) … (𝑋 − 𝑎𝑗−1 )(𝑋 − 𝑎𝑗+1 ) … (𝑋 − 𝑎𝑛 )
∀𝑗 ∈ ⟦0, 𝑛⟧, 𝐿𝑗 =
(𝑎𝑗 − 𝑎0 ) … (𝑎𝑗 − 𝑎𝑗−1 )(𝑎𝑗 − 𝑎𝑗+1 ) … (𝑎𝑗 − 𝑎𝑛 )
𝑛
(𝑋 − 𝑎𝑘 )
=∏
𝑘=0
(𝑎𝑗 − 𝑎𝑘 )
𝑘≠𝑗
∀𝐿 ∈ 𝕂𝑛 [𝑋], 𝐿 = ∑ 𝐿(𝑎𝑘 ) ∙ 𝐿𝑘
𝑘=0
1 𝑎0 𝑎02 ⋯ 𝑎0𝑛
𝑀𝑎𝑡𝐵𝑐 ,𝐵𝑐′ (𝑢̃) = ( ⋮ ⋮ ⋮ ⋮ ⋮ )
1 𝑎𝑛 𝑎𝑛2 ⋯ 𝑎𝑛𝑛
𝑛+1
= 𝑉(𝑎0 , … , 𝑎𝑛 )