Polynmes dinterpolation de Lagrange

Le comte Joseph Louis Lagrange, mathmaticien franais est n en 1736 et est mort en 1813 . On cherche, dans ce paragraphe, une expression du polynme de degr au plus n prenant les mmes valeurs quune fonction donne en n + 1 points deux deux distincts donns, puis tudier lerreur commise en cherchant la minimiser .

1) Dnition des polynmes Lk

Soit n un entier naturel puis x0 , x1 ,. . . , xn , (n + 1) complexes deux deux distincts. On cherche (n + 1) polynmes L0 ,. . . , Ln , tous de degr au plus n, vriant les galits : (i, j) 0, n 2 , Li (xj ) = i,j , (o i,j est le symbole de Kronecker dni par i,j = 0 si i = j ). 1 si i = j

Soit i un entier naturel lment de 0, n donn. Le polynme Li est de degr au plus n et admet les n complexes deux deux distincts xj , j = i, pour racines. Par suite, ncessairement, il existe une constante C telle que Li = C
j=i

(X xj ).

Lgalit Li (xi ) = 1 fournit alors C =

j=i

1 (xi xj )

et donc ncessairement

Li =
j=i

X xj . xi xj alors Li est bien dni car les xj sont deux deux distincts,

Rciproquement, si pour tout i 0, n , Li =

j=i

X xj xi xj

de degr n exactement et enn les polynmes Li vrient clairement les galits de dualit : (i, j) 0, n 2 , Li (xj ) = i,j . Soient n un entier naturel puis x0 , x1 , . . . , xn , (n + 1) complexes deux deux distincts donns. Il existe une et une seule famille, note (Li )0in , de (n + 1) polynmes de degr au plus n vriant : (i, j) 0, n 2 , Li (xj ) = i,j . X xj . De plus : (i, j) 0, n 2 , Li = xi xj
j=i

2) La famille (Lk)0kn est une base de Cn[X]

Les Lk sont tous dans Cn [X]. Montrons que la famille (Lk )0kn est une famille libre de Cn [X]. Soit (0 , n ) Cn+1 .
n n n

i=0

i Li = 0 j 0, n ,

i=0

i Li (xj ) = 0 j 0, n ,

i=0

i i,j = 0 j 0, n , j = 0.

Donc la famille (Lk )0kn est une famille libre de Cn [X]. Comme card(Lk )0kn = n + 1 = dim(Cn [X]) < +, la famille (Lk )0kn est une base de Cn [X]. La famille (Lk )0kn est une base de Cn [X].

http ://www.maths-france.fr

c Jean-Louis Rouget, 2007. Tous droits rservs.

3) Base duale de la famille (Lk)0kn

Soient n un entier naturel puis x0 , x1 , . . . , xn , (n + 1) complexes deux deux distincts. Pour j 0, n donn, on note j la forme linaire sur Cn [X] dnie par : P Cn [X], j (P) = P(xj ) (j est lvaluation en xj ). Les galits Li (xj ) = i,j scrivent encore (i, j) 0, n , j (Li ) = i,j ou aussi < Li , j >= i,j . ce qui signie, puisque Cn [X] est de dimension nie, que la famille (j )0jn est la base duale de la famille (Li )0in (et en particulier une base du dual de Cn [X]). La base duale de la base (Lk )0kn est la famille de formes linaires (j )0jn dnies par : j 0, n , P Cn [X], j (P) = P(xj ).

4) Coordonnes dun polynme de degr au plus n dans la base (Lk)0kn

En conservant les notations prcdentes , on se donne de plus un (n + 1)-uplet quelconque (y0 , . . . , yn ) de nombres complexes. On cherche les polynmes P de degr au plus n vriant j 0, n , P(xj ) = yj .
n

Soit P Cn [X]. Notons (0 , ..., n ) les coordonnes de P dans la base (Li )0in de Cn [X]. On a donc P =
i=0

i Li .

Maintenant, pour j lment de 0, n ,

n n

P(xj ) =
i=0

i Li (xj ) =
i=0

i i,j = j .

Ainsi, j 0, n , P(xj ) = yj j 0, n , j = yj .
n

On a montr que

P Cn [X], P =
i=0

P(xi )Li ,

et aussi que Soient n un entier naturel, x0 , . . . , xn , (n + 1) complexes deux deux distincts et y0 , . . . , yn , (n + 1) complexes. Il existe un et un seul polynme P de degr au plus n vriant j 0, n , P(xj ) = yj savoir n n X xj . P= yi Li = yi xi xj
i=0 i=0 j=i

5) Polynmes de degr au plus 2 prenant des valeurs donnes en des points donns
Cas o n = 1. Soient x0 et x1 deux complexes distincts et soient y0 et y1 deux complexes. Le polynme de degr au plus 1 qui vrie P(x0 ) = y0 et P(x1 ) = y1 est P = y0 X x0 f(x1 ) f(x0 ) X x1 + y1 = (X x0 ) + y0 . x0 x1 x1 x0 x1 x0

http ://www.maths-france.fr

c Jean-Louis Rouget, 2007. Tous droits rservs.

 Cas o n = 2. Soient x0 , x1 et x2 trois complexes deux deux distincts et soient y0 , y1 et y2 trois complexes. Le polynme de degr au plus 2 qui vrie P(x0 ) = y0 , P(x1 ) = y1 et P(x2 ) = y2 est P = y0 De plus, 1 1 1 + y1 + y2 =0 (x0 x1 )(x0 x2 ) (x1 x0 )(x1 x2 ) (x2 x0 )(x2 x1 ) (x1 x2 )y0 + (x2 x0 )y1 + (x0 x1 )y2 = 0 (x2 x0 )(y1 y0 ) (y2 y0 )(x1 x0 ) = 0 (X x0 )(X x2 ) (X x0 )(X x1 ) (X x1 )(X x2 ) + y1 + y2 . (x0 x1 )(x0 x2 ) (x1 x0 )(x1 x2 ) (x2 x0 )(x2 x1 )

deg(P) = 2 y0

On a presque dmontr que :

les trois points (x0 , y0 ), (x1 y1 ) et (x2 , y2 ) ne sont pas aligns.

par trois points non aligns, il passe une parabole et une seule.

6) Matrice de passage de la base des polynmes de Lagrange la base canonique

On applique le 4) au cas particulier o le polynme P est lun des lments de la base canonique (Xj )0jn de Cn [X]. On
n

obtient
i=0

Li = 1 et plus gnralement,
n

j 0, n , Xj =
i=0

xj i Li .

Ainsi la matrice de la base canonique (1, X, . . . , Xn ) dans la base (L0 , L1 , ..., Ln ) est la matrice (xj i )0i,jn . On reconnait la matrice de Vandermonde des xi , i 0, n . La matrice de passage de la base (Li )0in la base (Xj )0jn est la matrice de Vandermonde (xj i )0i,jn associe la famille (xi )0in .

7) Polynme dinterpolation de Lagrange dune fonction en (n + 1) points et estimation de lerreur

Daprs 4) : Soit n un entier naturel. Soient x0 , . . . , xn , (n + 1) rels deux deux distincts dun segment [a, b] et f une fonction de [a, b] dans R. Il existe un et un seul polynme de degr au plus n vriant i 0, n , P(xi ) = f(xi ) savoir n n X xj . P= f(xi )Li = f(xi ) xi xj
i=0 i=0 j=i

On note dornavant Lf,n le polynme prcdent et on tudie lerreur commise f(x) Lf,n (x) pour x lment de [a, b] quand f est une fonction de classe Cn+1 sur [a, b].
n

Soit x un rel x de [a, b] distinct des xi . On note N le polynme

(X xk ). Pour t lment de [a, b], on considre

k=0

(t) = f(t) Lf,n (t) A N(t) o A est choisi de sorte que (x) = 0, (ce qui est possible puisque x est distinct des xi et donc N(x) = 0). Puisque f est de classe Cn+1 sur [a, b] valeurs dans R et que Lf,n et N sont des polynmes, est encore de classe Cn+1 sur [a, b]. Maintenant, sannule en les (n + 2) rels deux deux distincts x, x0 ,..., xn de [a, b] (puisque i 0, n , f(xi ) = Lf,n (xi ) et que N(xi ) = 0) et est de classe Cn+1 sur [a, b]. http ://www.maths-france.fr 3
c Jean-Louis Rouget, 2007. Tous droits rservs.

Le thorme de Rolle montre alors que sannule en au moins (n + 1) rels deux deux distincts de ]a, b[ (une fois dans chacun des (n + 1) intervalles ouverts dnis par x et les xi ). En ritrant ce raisonnement, pour tout entier k lment de 0, n + 1 , (k) sannule en (n + 2 k) rels deux deux distincts de ]a, b[. En particulier, (n+1) sannule en au moins un rel de ]a, b[ not cx . Maintenant, puisque Lf,n est de degr au plus n et que N est unitaire de degr (n + 1), (n+1) = f(n+1) A (n + 1)! et lgalit (n+1) (cx ) = 0 scrit encore A= En explicitant lgalit (x) = 0, on a montr que : x [a, b] \ {x0 , ..., xn } cx ]a, b[/ f(x) Lfn (x) = f(n+1) (cx ) N(x). (n + 1)! f(n+1) (cx ) . (n + 1)!

Ce rsultat reste clair si x est lun des xi car, dans ce cas, f(x) Lf,n (x) et N(x) sont nuls de sorte que nimporte rel cx de ]a, b[ convient. Donc : Soit n un entier naturel. Soient x0 , . . . , xn , (n + 1) rels deux deux distincts dun segment [a, b] et f une fonction de classe Cn+1 sur [a, b] valeurs dans R. n f(n+1) (cx ) x [a, b] \ {x0 , ..., xn } cx ]a, b[/ f(x) Lfn (x) = (X xi ). N(x) o N(x) = (n + 1)!
i=0

8) Convergence de la suite des polynmes de Lagrange

On peut par exemple choisir pour la famille (xi ) une subdivision pas constants du segment [a, b]. Dans ce cas, quand n est grand f et Lf,n prennent les mmes valeurs en beaucoup de points uniformment rpartis de lintervalle [a, b]. On est donc peut-tre en droit desprer que les dirences f(x) Lf,n (x) soient uniformment petites quand n est grand ou au moins que x donn, la dirence f(x) Lf,n (x) soit petite quand n est grand. Ceci est malheureusement faux en gnral. Le sujet Saint-Cyr 1993 Mathmatiques 1 analyse ce problme. Dans la partie II, on y tudie un exemple o la suite des polynmes dinterpolation converge uniformment vers f sur [a, b] et en III, on tudie un exemple o la suite des polynmes dinterpolation ne converge mme pas simplement vers f sur [a, b] .

9) Algorithme de calcul de Lf,n

Le mme problme (Saint-Cyr 1993 Mathmatiques 1) propose en partie IV un algorithme classique de calcul des polynmes de Lagrange.

http ://www.maths-france.fr

c Jean-Louis Rouget, 2007. Tous droits rservs.