4I. INTERPOLATION DE LAGRANGE
E. 3. (a) Montrer qu’il existe une infinité de polynômes p∈P2dont le graphe passe
par les points M0(0,0)et M1(1,1). (b) Trouver quatre points Mi(i=1,2,3,4)d’abscisses
respectives −1,0,1,2 qui ne se trouvent sur le graphe d’aucun polynôme de P2.
b) Détermination du polynôme d’interpolation
On devine aisément que pour qu’un seul polynôme satisfasse aux conditions
(1.5), une relation doit exister entre met d. Cette relation est facile à mettre en
évidence. Pour déterminer p∈Pm, nous devons déterminer l’ensemble de ses
coefficients et ceux-ci sont au nombre de m+1. Or, pour les déterminer, nous
disposons des d+1 informations p(ai) = fi,i=0,...,d. On voit que pour espérer
une solution unique, il nous faut supposer que m=d. Nous allons démontrer
que sous cette condition le problème (1.5) admet effectivement une et une seule
solution.
Théorème 1.
Soit
A={a0,...,ad}
un ensemble de
d+1
nombres réels distincts.
Quelles que soient les valeurs
f0,f1,...,fd
, il existe un et un seul polynôme
p∈
Pd
tel que
p(ai) = fi
,
i=0,1,...,d.
Ce polynôme, est donné par la formule
p=
d
∑
i=0fiℓi,(1.8)
avec
ℓi(x) = (x−a0)···(x−ai−1)(x−ai+1)···(x−ad)
(ai−a0)···(ai−ai−1)(ai−ai+1)···(ai−ad)(1.9)
c) Terminologie et notations
Les nombres ais’appellent les points d’interpolations ou encore noeuds
d’interpolations.Lorsque fi=f(ai), la fonction fest la fonction interpolée.
On dit aussi que les valeurs f(ai)sont les valeurs interpolées L’unique poly-
nôme p∈Pdvérifiant p(ai) = f(ai)(i=0,1,...,d) s’appelle alors le polynôme
d’interpolation de Lagrange de faux points ai. Il est noté L[a0,...,ad;f]ou
bien L[A;f].
Cette dernière notation est parfaitement valable car le polynôme d’interpo-
lation de Lagrange dépend uniquement de l’ensemble des points et non de la
manière dont les points sont ordonnés. Une manière un peu sophistiquée de tra-
duire cette propriété est la suivante: si
σ
est une permutation∗quelconque des
indices 0,1,...,dalors L[a0,...,ad;f] = L[a
σ
(0),...,a
σ
(d);f].
Les polynômes ℓis’appellent les polynômes fondamentaux de Lagrange.
En utilisant le symbole ∏qui est l’équivalent pour le produit de ce que ∑est
∗Une permutation des indices 0,1,...,dest une bijection de l’ensemble{0,1,...,d}dans lui-
même.
[TH1]
jpc
/ ALG