Section 6.1 Présentation
Théorème 6.1.1.
Soit \(n\geq 0\) un entier et
\(n+1\) points d'abscisses distinctes deux à deux.
Alors il existe un unique polynôme réel \(P(t)\) de degré \(n\) au plus qui passe par tous ces points, i.e.
On appelle ce polynôme le polynôme interpolateur des points \(A_0,A_1,\ldots,A_n\text{.}\)
Démonstration.
Un polynôme réel \(P(t)\) de degré \(n\) au plus s'écrit
avec \(a_0,a_1,\ldots,a_n\in\mathbb{R}\text{.}\)
Les conditions \(P(x_k)=y_k\) pour tout \(k=0,1,\ldots,n\) sont alors équivalentes au système linéaire de \(n+1\) équations
où les \(n+1\) inconnues sont les coefficients \(a_0,\ldots,a_n\) du polynôme cherché.
La matrice des coefficients de ce système
est une matrice de Vandermonde de taille \((n+1)\times(n+1)\text{,}\) dont le déterminant vaut
Comme les \(x_k\) sont supposés distincts deux à deux, i.e. \(x_i\ne x_j\) pour tous \(i\ne j\text{,}\) on voit que ce déterminant est non nul, ce qui entraîne que le système admet une unique solution \((a_0,\ldots,a_n)\text{.}\)
Exemple 6.1.2.
Déterminons le polynôme interpolateur \(P(t)\) des deux points suivants :
On cherche donc deux nombres réels \(a_0,a_1\) tels que
et
ce qui équivaut à résoudre le système
Par la méthode de Cramer, on obtient
et on en conclut que l'unique solution de ce problème est le polynôme
Exemple 6.1.3.
Déterminons le polynôme interpolateur \(P(t)\) des trois points suivants :
On cherche donc trois nombres réels \(a_0,a_1,a_2\) tels que
et
ce qui équivaut à résoudre le système
Par la méthode de Gauss-Jordan, on obtient
et on en conclut que l'unique solution de ce problème est le polynôme
Nous allons maintenant voir une façon de calculer un polynôme interpolateur qui évite d'avoir à résoudre un système linéaire : l'interpolation de Lagrange. Cette méthode astucieuse repose sur le lemme technique suivant.
Lemme 6.1.4.
Soit \(n\geq 0\) un entier et
\(n+1\) nombres réels distincts deux à deux.
Considérons les \(n+1\) polynômes réels \(L_i(t)\) de degré \(n\) définis pour \(0\leq i\leq n\) par
Pour \(0\leq i,k\leq n\text{,}\) on a alors
Démonstration.
Par définition, on a
Le numérateur est le produit de \(n\) facteurs de degré \(1\) : il s'agit donc d'un polynôme de degré \(n\text{.}\) Comme les \(x_j\) sont distincts deux à deux, le dénominateur est un nombre réel non nul. Chaque polynôme \(L_i(t)\) est donc un polynôme de degré \(n\text{.}\)
-
En ce qui concerne \(L_i(x_i)\text{,}\) on a
\begin{align*} L_i(x_i)&=\frac{(x_i-x_0)\cdots (x_i-x_{i-1})(x_i-x_{i+1})\cdots(x_i-x_n)}{(x_i-x_0)\cdots (x_i-x_{i-1})(x_i-x_{i+1})\cdots(x_i-x_n)}\\ &=1. \end{align*} -
Pour tout \(k\neq i\text{,}\) on voit que \(t-x_k\) est l'un de facteurs du numérateur de \(L_i(t)\text{,}\) d'où
\begin{align*} L_i(x_k)&=\frac{(x_k-x_0)\cdots (x_k-x_k)\cdots(x_k-x_n)}{(x_i-x_0)\cdots (x_i-x_{i-1})(x_i-x_{i+1})\cdots(x_i-x_n)}\\ &=\frac{0}{(x_i-x_0)\cdots (x_i-x_{i-1})(x_i-x_{i+1})\cdots(x_i-x_n)}\\ &=0. \end{align*}
Exemple 6.1.5.
Si \(x_0=1\) et \(x_1=2\text{,}\) alors le lemme 6.1.4 définit les deux polynômes
et
et on a bien
- \(L_0(x_0)=L_0(1)=1\) et \(L_0(x_1)=L_0(2)=0\text{;}\)
- \(L_1(x_0)=L_1(1)=0\) et \(L_1(x_1)=L_1(2)=1\text{.}\)
Exemple 6.1.6.
Si \(x_0=1\text{,}\) \(x_1=2\) et \(x_2=3\text{,}\) alors le lemme 6.1.4 définit les trois polynômes
et
et on a bien
- \(L_0(x_0)=L_0(1)=1\text{,}\) \(L_0(x_1)=L_0(2)=0\) et \(L_0(x_2)=L_0(3)=0\text{;}\)
- \(L_1(x_0)=L_1(1)=0\text{,}\) \(L_1(x_1)=L_1(2)=1\) et \(L_1(x_2)=L_1(3)=0\text{;}\)
- \(L_2(x_0)=L_2(1)=0\text{,}\) \(L_2(x_1)=L_2(2)=0\) et \(L_2(x_2)=L_2(3)=1\text{.}\)
Théorème 6.1.7. Forme de Lagrange du polynôme interpolateur.
Soit \(n\geq 0\) un entier et
\(n+1\) points d'abscisses distinctes deux à deux.
Alors le polynôme interpolateur de ces points est donnée par la formule
où
pour \(0\leq i\leq n\text{.}\)
On appelle cela la forme de Lagrange du polynôme interpolateur.
Démonstration.
Soit \(L(t):=y_0\,L_0(t)+\cdots+y_n\,L_n(t)\text{.}\) Nous devons montrer que le polynôme \(L(t)\) est de degré \(n\) au plus, et que \(L(x_i)=y_i\) pour \(i=0,1,\dots,n\text{.}\)
D'après le lemme 6.1.4, les polynômes \(L_i\) sont de degré \(n\) et vérifient
Il en découle immédiatement que le polynôme \(L\) est de degré \(n\) au plus, comme combinaison linéaire de polynômes de degré \(n\text{.}\)
Fixons ensuite un indice \(k\text{,}\) et notons que
Exemple 6.1.8.
Refaisons l'exemple 6.1.2 en utilisant la forme de Lagrange du polynôme interpolateur des points
D'après l'exemple 6.1.5, on a
d'où
Notons qu'en développant cette dernière expression, on retrouve le polynôme
trouvé à l'exemple 6.1.2.
Exemple 6.1.9.
Refaisons l'exemple 6.1.3 en utilisant la forme de Lagrange du polynôme interpolateur des points
D'après l'exemple 6.1.6, on a
d'où
Notons qu'en développant cette dernière expression, on retouve le polynôme
trouvé à l'exemple 6.1.3.
Interpolation de Lagrange : Faire passer un polynôme de degré \(n\) au plus par \(n+1\) points d'abscisses distinctes deux à deux.
- Objectif : Étant donné \(n+1\) points \(A_0=(x_0;y_0),\ldots,A_n=(x_n;y_n)\) d'abscisses distinctes deux à deux, déterminer le seul polynôme \(L(t)\) de degré \(n\) au plus qui passe par tous ces points.
-
Principe : Construire ce polynôme comme combinaison linéaire des polynômes
\begin{equation*} L_i(t):=\prod_{j\neq i}\frac{t-x_j}{x_i-x_j} \end{equation*}en posant
\begin{equation*} L(t):=y_0\,L_0(t)+\cdots+y_n\,L_n(t). \end{equation*} - Terminologie : On appelle \(L(t)\) le polynôme interpolateur des points \(A_0,\ldots,A_n\text{.}\) Et on dit que \(y_0\,L_0(t)+\cdots+y_n\,L_n(t)\) est sa forme de Lagrange.
- Estimations : L'interpolation polynomiale est souvent utilisée pour estimer les valeurs prises par une fonction continue dont on ne connaît qu'un nombre fini de valeurs.
- Formule d'erreur : Quand on effectue l'approximation d'une fonction suffisamment régulière par un polynôme interpolant certains points de son graphe, on dispose d'une formule permettant de contrôler l'erreur commise (voir l'exercice 6.3.12).
- Voir aussi : Notes de cours de Jérôme.