En analyse numérique, les polynômes de Lagrange, du nom de Joseph-Louis Lagrange, permettent d'interpoler une série de points par un polynôme qui passe exactement par ces points appelés aussi nœuds. Cette technique d'interpolation polynomiale a été découverte par Edward Waring en 1779 et redécouverte plus tard par Leonhard Euler en 1783. C'est un cas particulier du théorème des restes chinois.

On se donne n + 1 points ${\displaystyle (x_{0},y_{0}),\dots ,(x_{n},y_{n})}$ (avec les x_i distincts deux à deux). On se propose de construire un polynôme de degré minimal qui aux abscisses x_i prend les valeurs y_i, ce que la méthode suivante permet de réaliser.

L'étude suivante propose de montrer que le polynôme ${\displaystyle L(X)=\sum _{j=0}^{n}y_{j}\left(\prod _{i=0,i\neq j}^{n}{\frac {X-x_{i}}{x_{j}-x_{i}}}\right)}$ est le seul polynôme de degré au plus n à satisfaire cette propriété^[1].

Les polynômes de Lagrange associés à ces points sont les polynômes définis par :

${\displaystyle l_{i}(X)=\prod _{j=0,j\neq i}^{n}{\frac {X-x_{j}}{x_{i}-x_{j}}}={\frac {X-x_{0}}{x_{i}-x_{0}}}\cdots {\frac {X-x_{i-1}}{x_{i}-x_{i-1}}}~{\frac {X-x_{i+1}}{x_{i}-x_{i+1}}}\cdots {\frac {X-x_{n}}{x_{i}-x_{n}}}.}$

On a en particulier deux propriétés :

1. l_i est de degré n pour tout i ;
2. ${\displaystyle l_{i}(x_{j})=\delta _{i,j},0\leq i,j\leq n}$ c'est-à-dire ${\displaystyle l_{i}(x_{i})=1}$ et ${\displaystyle l_{i}(x_{j})=0}$ pour ${\displaystyle j\neq i}$

Le polynôme défini par ${\displaystyle L(X)=\sum _{j=0}^{n}y_{j}l_{j}(X)}$ est l'unique polynôme de degré au plus n vérifiant ${\displaystyle L(x_{i})=y_{i}}$ pour tout i.

En effet :

• d'une part ${\displaystyle L(x_{i})=\sum _{j=0}^{n}y_{j}l_{j}(x_{i})=y_{i}}$ ;
• d'autre part, étant combinaison linéaire de polynômes de degré n, L est de degré au plus n ; si un autre polynôme Q vérifie ces propriétés, alors L – Q est de degré au plus n et il s'annule en n + 1 points distincts (les x_k) : L – Q est donc nul, ce qui prouve l'unicité.

Pour les points ${\displaystyle (x_{0}=1,y_{0}=3),(x_{1}=-1,y_{1}=2),(x_{2}=2,y_{2}=-1)}$, on calcule d'abord les polynômes de Lagrange :

• ${\displaystyle l_{0}(X)={\frac {(X+1)(X-2)}{(1+1)(1-2)}}=-{\frac {1}{2}}(X^{2}-X-2)}$ ;
• ${\displaystyle l_{1}(X)={\frac {(X-1)(X-2)}{(-1-1)(-1-2)}}={\frac {1}{6}}(X^{2}-3X+2)}$ ;
• ${\displaystyle l_{2}(X)={\frac {(X-1)(X+1)}{(2-1)(2+1)}}={\frac {1}{3}}(X^{2}-1)}$.

Puis on calcule la fonction polynomiale passant par ces points :

• ${\displaystyle L(X)=P(X)=3l_{0}(X)+2l_{1}(X)-l_{2}(X)}$ ;
• ${\displaystyle L(X)=P(X)=-{\frac {3}{2}}X^{2}+{\frac {1}{2}}X+4}$.

Posons le polynôme ${\displaystyle N(X)=\prod _{j=0}^{n}(X-x_{j})}$. On voit immédiatement qu'il vérifie N(x_i) = 0 et, en utilisant la formule de Leibniz, sa dérivée vaut :

${\displaystyle N'(X)=\sum _{j=0}^{n}\prod _{i=0,i\neq j}^{n}(X-x_{i})}$.

En particulier, en chaque nœud x_k, tous les produits s'annulent sauf un, ce qui donne la simplification :

${\displaystyle N'(x_{k})=\prod _{i=0,i\neq k}^{n}(x_{k}-x_{i})}$.

Ainsi, les polynômes de Lagrange peuvent être définis à partir de N :

${\displaystyle l_{i}(X)={N(X) \over N'(x_{i})(X-x_{i})}}$.

On peut utiliser N pour traduire l'unicité : si Q vérifie ${\displaystyle Q(x_{i})=y_{i}}$ pour tout i alors Q – L s'annule aux points x_i donc est un multiple de N. Il est donc de la forme ${\displaystyle Q(X)=L(X)+N(X)\cdot P(X)}$ où P est un polynôme quelconque. On a ainsi l'ensemble des polynômes interpolateurs liés aux points (x_i, y_i), et L est celui de degré minimal.

L'écriture alternative est à la base de l'algorithme rapide de calcul du polynôme d'interpolation de Lagrange. Avec les mêmes notations que précédemment, l'algorithme consiste à calculer ${\displaystyle N(X)}$ par une approche diviser pour régner, puis sa dérivée ${\displaystyle N'(X)}$ qu'on évalue ensuite sur les ${\displaystyle x_{i}}$ par évaluation multipoint. Puisque ${\displaystyle L(X)=\sum _{j=0}^{n}y_{j}l_{j}(X)}$, on en déduit que$${\displaystyle {\frac {L(X)}{N(X)}}=\sum _{j=1}^{m}{\frac {y_{j}}{N'(x_{j})(X-x_{j})}}.}$$Étant donnés toutes les valeurs des ${\displaystyle N'(x_{j})}$, on peut calculer le numérateur et le dénominateur de la fraction rationnelle, en utilisant à nouveau via une approche diviser pour régner^[2]. En utilisant des algorithmes de multiplication rapide (en), le polynôme d'interpolation de Lagrange peut être calculé avec un nombre d'opérations algébriques quasi linéaire.

On se donne n + 1 scalaires distincts ${\displaystyle x_{0},\ldots ,x_{n}}$. Pour tout polynôme P appartenant à ${\displaystyle K_{n}[X]}$, si on pose ${\displaystyle y_{i}=P(x_{i})}$, P est le polynôme d'interpolation correspondant aux points : il est égal au polynôme L défini ci-dessus.

On a donc ${\displaystyle P(X)=\sum _{j=0}^{n}P(x_{j})l_{j}(X)}$ donc ${\displaystyle (l_{0},l_{1},\dots ,l_{n})}$ forme une famille génératrice de ${\displaystyle K_{n}[X]}$. Comme son cardinal (égal à n + 1) est égal à la dimension de l'espace, elle en est une base.

Exemples : en choisissant P = 1 ou P = X, on a :

1. ${\displaystyle 1=\sum _{j=0}^{n}l_{j}(X)}$ ;
2. ${\displaystyle X=\sum _{j=0}^{n}x_{j}l_{j}(X)}$.

En fait c'est la base dont la base duale est la famille des n + 1 formes linéaires ${\displaystyle u_{i}}$ de Dirac définies par

${\displaystyle \forall i\in \{0,\ldots ,n\},\,u_{i}(P)=P(x_{i})}$.

Si l'on considère le produit scalaire :

${\displaystyle \forall P,Q,\,\sum _{i=0}^{n}P(x_{i})Q(x_{i})}$,

la famille ${\displaystyle (l_{0},\dots ,l_{n})}$ forme une base orthonormée de ${\displaystyle \mathbb {R} _{n}[X]}$.

• L'interpolation lagrangienne peut être utilisée pour calculer la matrice inverse d'une matrice de Vandermonde.
• Elle est utilisée en cryptographie, pour le partage de clés secrètes de Shamir.
• Elle peut servir au calcul numérique d'une intégrale (via les formules de Newton-Cotes), ou plus généralement à l'approximation de fonction.
• Elle peut servir à approximer la dérivée d'une fonction. La dérivée d'un polynôme de Lagrange est

  ${\displaystyle L'(x):=\sum _{j=0}^{k}y_{j}\ell _{j}'(x)}$ où ${\displaystyle \ell _{j}'(x)=\ell _{j}(x)\cdot \sum _{m=0,\ m\neq j}^{n}{\frac {1}{x-x_{m}}}}$.

Résoudre un problème d'interpolation conduit à inverser une matrice pleine de type matrice de Vandermonde^[3]. C'est un calcul lourd en nombre d'opérations. Les polynômes de Lagrange définissent une nouvelle base de polynômes qui permet de ne plus avoir une matrice pleine mais une matrice diagonale. Or, inverser une matrice diagonale est une opération triviale.

Pour tout multiensemble ${\displaystyle (X,m)}$ de scalaires et tout élément ${\displaystyle Y=(y_{x,k})_{x\in X,0\leq k<m(x)}}$ de ${\displaystyle \prod _{x\in X}K^{m(x)}}$, il existe un unique polynôme ${\displaystyle L}$ de degré ${\displaystyle <\sum _{x\in X}m(x)}$ tel que

${\displaystyle \forall x\in X\quad \forall k<m(x)\quad L^{(k)}(x)=y_{x,k}}$.

Ce polynôme s'écrit donc ${\displaystyle L=\sum _{x\in X,0\leq k<m(x)}y_{x,k}\ell _{x,k}}$, où ${\displaystyle \ell _{x,k}}$ est l'unique polynôme de degré ${\displaystyle <\sum _{z\in X}m(z)}$ tel que ${\displaystyle \ell _{x,k}^{(k)}(x)=1}$ et tous les autres ${\displaystyle \ell _{x,k}^{(j)}(z)}$ sont nuls^[4]. Cela généralise à la fois l'interpolation de Lagrange et celle d'Hermite.

• Interpolation newtonienne
• Phénomène de Runge
• Constante de Lebesgue

• (en) Eric W. Weisstein, « Lagrange Interpolating Polynomial », sur MathWorld
• Interpolation polynômiale (sic) de type Lagrange sur math-linux.com
• Calcul du polynôme de Lagrange en donnant les coordonnées des points sur homeomath2.imingo.net

• Portail des mathématiques