Etude 1 - Polynôme d'interpolation de Lagrange

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 2

Etude 1

Polynôme d’interpolation de Lagrange


1. 𝑃𝑜𝑙𝑦𝑛ô𝑚𝑒 𝑑𝑒 𝐿𝑎𝑔𝑟𝑎𝑛𝑔𝑒
(𝑎0 , … , 𝑎𝑛 ) ∈ 𝕂𝑛+1 2 à 2 𝑑𝑖𝑠𝑡𝑖𝑛𝑐𝑡𝑠

(𝑏0 , … , 𝑏𝑛 ) ∈ 𝕂𝑛+1

 On vérifie que P soit dans le noyau de u

𝑃 ∈ 𝐾𝑒𝑟 𝑢 ⇔ 𝑁 = (𝑋 − 𝑎0 ) … (𝑋 − 𝑎𝑛 ) 𝑑𝑖𝑣𝑖𝑠𝑒 𝑃

𝐾𝑒𝑟 𝑢 = (𝑁) 𝑒𝑡 deg 𝑁 = 𝑛 + 1

 Théorème de la division euclidienne par N

𝕂[𝑋] = (𝑁) ⊕ 𝕂𝑛 [𝑋]

= 𝐾𝑒𝑟 𝑢 ⊕ 𝕂𝑛 [𝑋]

 Théorème fondamental
𝕂𝑛 [𝑋] → 𝐼𝑚 𝑢
𝑢̃ ∶ | 𝑒𝑠𝑡 𝑢𝑛 𝑖𝑠𝑜𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚𝑒
𝑃 ↦ 𝑢 (𝑃 )

Donc dim 𝕂𝑛 [𝑋] = 𝑛 + 1 = dim 𝐼𝑚 𝑢

 On en déduit une relation entre 𝐼𝑚 𝑢 𝑒𝑡 𝕂𝑛+1

𝐼𝑚 𝑢 𝑠𝑒𝑣 𝑑𝑒 𝕂𝑛+1

dim 𝐼𝑚 𝑢 = 𝑛 + 1 = dim 𝕂𝑛+1

Donc 𝐼𝑚 𝑢 = 𝕂(𝑛+1)

Donc ∃! 𝐿 ∈ 𝕂𝑛 [𝑋], ∀𝑘 ∈ ⟦0, 𝑛⟧, 𝐿(𝑎𝑘 ) = 𝐿(𝑏𝑘 )

2. 𝑃𝑜𝑙𝑦𝑛ô𝑚𝑒𝑠 𝑑𝑒 𝐿𝑎𝑔𝑟𝑎𝑛𝑔𝑒 𝑎𝑠𝑠𝑜𝑐𝑖é𝑠


(𝑎0 , … , 𝑎𝑛 ) ∈ 𝕂𝑛+1 2 à 2 𝑑𝑖𝑠𝑡𝑖𝑛𝑐𝑡𝑠

(0, … , 0, 1, 0, … , 0) ∈ 𝕂𝑛+1

Alors ∀𝑗 ∈ ⟦0, 𝑛⟧, ∃! 𝐿𝑗 ∈ 𝕂𝑛 [𝑋], ∀𝑖 ∈ ⟦0, 𝑛⟧, 𝐿𝑗 (𝑎𝑖 ) = 𝛿𝑖𝑗

L’essentiel de SPE // Etudes // Etude 1 – Polynômes de Lagrange


3. 𝐵𝑎𝑠𝑒 𝑑𝑒𝑠 𝑃𝑜𝑙𝑦𝑛ô𝑚𝑒𝑠 𝑑𝑒 𝐿𝑎𝑔𝑟𝑎𝑛𝑔𝑒
ℱ = (𝐿0 , … , 𝐿𝑛 ) 𝑓𝑎𝑚𝑖𝑙𝑙𝑒 𝑑𝑒 𝑛 + 1 𝑝𝑜𝑙𝑦𝑛ô𝑚𝑒𝑠 𝑑𝑒 𝕂𝑛 [𝑋]

dim 𝕂𝑛 [𝑋] = 𝑛 + 1

 On montre que la famille est libre


𝑛

(𝜆0 , … , 𝜆𝑛 ) ∈ 𝕂𝑛+1 , ∑ 𝜆𝑘 ∙ 𝐿𝑘 = 0𝕂[𝑋]


𝑘=0

∀𝑖 ∈ ⟦0, 𝑛⟧, ∑ 𝜆𝑘 ∙ 𝐿𝑘 (𝑎𝑖 ) = 0


𝑘=0

 On en déduit que c’est une base

ℱ 𝑒𝑠𝑡 𝑢𝑛𝑒 𝑓𝑎𝑚𝑖𝑙𝑙𝑒 𝑙𝑖𝑏𝑟𝑒 𝑑𝑒 𝕂𝑛 [𝑋]

𝑐𝑎𝑟𝑑 (ℱ ) = 𝑛 + 1 = dim 𝕂𝑛 [𝑋]

Donc ℱ 𝑒𝑠𝑡 𝑢𝑛𝑒 𝐵𝑎𝑠𝑒 𝑑𝑒 𝕂𝑛 [𝑋] 𝑑𝑖𝑡𝑒 𝐵𝑎𝑠𝑒 𝑑𝑒𝑠 𝑝𝑜𝑙𝑦𝑛ô𝑚𝑒𝑠 𝑑𝑒 𝐿𝑎𝑔𝑟𝑎𝑛𝑔𝑒

4. 𝐸𝑥𝑝𝑙𝑖𝑐𝑖𝑡𝑎𝑡𝑖𝑜𝑛 𝑑𝑒 𝐿
(𝑋 − 𝑎0 ) … (𝑋 − 𝑎𝑗−1 )(𝑋 − 𝑎𝑗+1 ) … (𝑋 − 𝑎𝑛 )
∀𝑗 ∈ ⟦0, 𝑛⟧, 𝐿𝑗 =
(𝑎𝑗 − 𝑎0 ) … (𝑎𝑗 − 𝑎𝑗−1 )(𝑎𝑗 − 𝑎𝑗+1 ) … (𝑎𝑗 − 𝑎𝑛 )
𝑛
(𝑋 − 𝑎𝑘 )
=∏
𝑘=0
(𝑎𝑗 − 𝑎𝑘 )
𝑘≠𝑗

∀𝐿 ∈ 𝕂𝑛 [𝑋], 𝐿 = ∑ 𝐿(𝑎𝑘 ) ∙ 𝐿𝑘
𝑘=0

𝐷𝑜𝑛𝑐 𝐿(𝑎𝑖 ) = ∑ 𝜆𝑘 ∙ 𝐿𝑘 (𝑎𝑖 ) = 𝜆𝑖


𝑘=0

5. 𝑀𝑎𝑡𝑟𝑖𝑐𝑒 𝑑𝑒 𝑉𝑎𝑛 𝐷𝑒𝑟 𝑀𝑜𝑛𝑑𝑒


𝕂𝑛 [𝑋] → 𝕂𝑛+1
𝑢̃ ∶ | 𝑙𝑖𝑛é𝑎𝑖𝑟𝑒
𝑃 ↦ (𝑃(𝑎0 ), … 𝑃 (𝑎𝑛 ))

𝐵𝑐 = {𝑋 0 , 𝑋, 𝑋 2 , … , 𝑋 𝑛 } 𝐵𝑐′ = {𝐿0 , 𝐿1 , … , 𝐿𝑛 } = 𝑏𝑎𝑠𝑒 𝑑𝑒𝑠 𝑝𝑜𝑙𝑦𝑛ô𝑚𝑒𝑠 𝑑𝑒 𝐿𝑎𝑔𝑟𝑎𝑛𝑔𝑒

1 𝑎0 𝑎02 ⋯ 𝑎0𝑛
𝑀𝑎𝑡𝐵𝑐 ,𝐵𝑐′ (𝑢̃) = ( ⋮ ⋮ ⋮ ⋮ ⋮ )
1 𝑎𝑛 𝑎𝑛2 ⋯ 𝑎𝑛𝑛
𝑛+1

= 𝑉𝑎𝑛 𝐷𝑒𝑟 𝑀𝑜𝑛𝑑𝑒 (𝑎0 , … , 𝑎𝑛 )

= 𝑉(𝑎0 , … , 𝑎𝑛 )

L’essentiel de SPE // Etudes // Etude 1 – Polynômes de Lagrange

Vous aimerez peut-être aussi