Sous-sections

2.3 Polynôme d'interpolation

Une autre façon de construire des approximations de dérivée est d'utiliser un polynôme d'interpolation, puis de le dériver.

2.3.1 Polynôme d'interpolation de Lagrange

Soient \bgroup\color{black}$ n+1$\egroup points d'interpolation \bgroup\color{black}$ \{x_{i}\}$\egroup associés à \bgroup\color{black}$ n+1$\egroup valeurs \bgroup\color{black}$ \{f_{i}\}$\egroup

théorème:
il existe un polynôme unique de degré au plus n passant par les $ n+1$ point d'interpolations $ \{x_{i}\}$ , i.e. tel que $ P_{n}(x_{i})=f_{i}$ pour $ i=0,n$ .

décomposition sur la base de Lagrange

soit \bgroup\color{black}$ P^{n}$\egroup l'espace vectoriel des polynômes de degré \bgroup\color{black}$ \leq n$\egroup

soit \bgroup\color{black}$ L_{k}(x)$\egroup le polynôme de Lagrange de \bgroup\color{black}$ P^{n}$\egroup t.q. \bgroup\color{black}$ L_{k}(x_{i})=\delta_{ij}$\egroup

\bgroup\color{black}$ L_{k}(x)$\egroup possède n zéros \bgroup\color{black}$ x_{j}$\egroup pour \bgroup\color{black}$ j=0,n j\neq k$\egroup et vaux

\bgroup\color{black}$\displaystyle L_{k}(x)=\frac{\prod_{i=0,i\neq k}^{n}(x-x_{i})}{\prod_{i=0,i\neq k}^{n}(x_{k}-x_{i})}$\egroup

les \bgroup\color{black}$ \{L_{k}(x)\}_{(k=0,n)}$\egroup forment une base de \bgroup\color{black}$ P^{n}$\egroup

Polynôme d'interpolation de Lagrange

le polynôme d'interpolation passant par les \bgroup\color{black}$ n+1$\egroup points d'interpolation \bgroup\color{black}$ \{x_{k}\}$\egroup associés à \bgroup\color{black}$ n+1$\egroup valeurs \bgroup\color{black}$ \{f_{k}\}$\egroup vérifie:


$\displaystyle {\color{red}P_{n}(x)=\sum_{i=0}^{n}f_{k}*L_{k}(x)}$ (2.39)

2.3.2 Estimation de l'erreur

L'erreur entre la fonction exacte \bgroup\color{black}$ f(x)$\egroup et son polynôme d'interpolation \bgroup\color{black}$ p(x)$\egroup est donnée par le théorème suivant:

théorème:
Soit $ f(x)\in C^{n+1}[a,b]$ et $ P_{n}(x)$ le polynôme d'interpolation de f(x) passant par les n+1 points $ \{x_{i},f_{i}=f(x_{i})\}$ , alors :

\bgroup\color{black}$\displaystyle f(x)-P_{n}(x)=\frac{\prod_{i=0}^{n}(x-x_{i})}{(n+1)!}f^{n+1}(\xi)$\egroup avec \bgroup\color{black}$\displaystyle \xi\in[a,b]$\egroup

démonstration:
 

Soit $ K(x)=\frac{f(x)-p(x)}{\prod_{i=0}^{n}(x-x_{i})}$ et $ W(t)=f(t)-P_{n}(t)-K(x)*\prod_{i=0}^{n}(t-x_{n})$

W(t) s'annule en n+2 points : $ x_{i}$ (i=0,n) et x
donc W'(t) s'annule en n+1 points (théorème de Rolle)
donc $ W^{n+1}(t)$ s'annule une fois en $ \xi\in[a,b]$

$\displaystyle W^{n+1}(\xi)=f^{n+1}(\xi)-(n+1)!*K(x)=0$

$\displaystyle \leadsto f(x)=P_{n}(x)+\frac{\prod_{i=0}^{n}(x-x_{i})}{(n+1)!}*f^{n+1}(\xi)$

Pour des points équi-répartis \bgroup\color{black}$ \{x_{i}=x_{0}+ih\}$\egroup , en notant \bgroup\color{black}$ h=x_{i+1}-x_{i}$\egroup , l'erreur d'interpolation pour un polynôme de degré \bgroup\color{black}$ n$\egroup

\bgroup\color{black}$\displaystyle \left\vert f(x)-P_{n}(x)\right\vert\leq\frac{...
...\vert}{(n+1)!}\underset{x\in[a,b]}{\sup}\left\vert f^{n+1}(x)\right\vert$\egroup

soit une erreur en \bgroup\color{black}$ \theta(h^{n+1})$\egroup

\bgroup\color{black}$\displaystyle \left\vert f(x)-P_{n}(x)\right\vert\leq Ch^{n+1}$\egroup

2.3.3 Exemple

Le polynôme d'interpolation \bgroup\color{black}$ p_{1}(x)$\egroup de degré 1 passant par les points \bgroup\color{black}$ \{x_{i+1}\„x_{i}\}$\egroup s'écrit:

$\displaystyle p_{1}(x)=u_{i}\frac{(x-x_{i+1})}{h}+u_{i+1}\frac{(x_{i+1}-x)}{h}$ (2.40)

Le polynôme d'interpolation \bgroup\color{black}$ p_{2}(x)$\egroup de degré 2 passant par les points \bgroup\color{black}$ \{x_{i+1}\„x_{i},  x_{i-1}\}$\egroup s'écrit:


$\displaystyle p_{2}(x)$ $\displaystyle =$ $\displaystyle u_{i-1}\frac{(x-x_{i})(x-x_{i+1})}{2h^{2}}$ (2.41)
  $\displaystyle -$ $\displaystyle u_{i}\frac{(x-x_{i-1})(x-x_{i+1})}{h^{2}}$  
  $\displaystyle +$ $\displaystyle u_{i+1}\frac{(x-x_{i-1})(x-x_{i})}{2h^{2}}$  

2.3.4 Dérivation du polynôme d'interpolation

Partant de l'expression du polynôme d'interpolation de Lagrange \bgroup\color{black}$ P_{n}(x)$\egroup aux points de collocations \bgroup\color{black}$ \{x_{i}\}$\egroup

$\displaystyle P_{n}(x)$ $\displaystyle =\sum_{i=0}^{n}u_{i}L_{i}(x)  $avec$\displaystyle     L_{i}(x)=\prod_{k=0,k\neq i}^{n}\frac{(x-x_{k})}{(x_{i}-x_{k})}$    

La dérivée première est:

$\displaystyle P_{n}^{(1)}(x)=\sum_{i=0}^{n}u_{i}L_{i}^{(1)}(x)  $avec$\displaystyle     L_{i}^{(1)}(x)=\frac{\sum_{k=0,k\neq i}^{n}\left(\prod_{l=0,l\neq k,l\neq i}^{n}(x-x_{l})\right)}{\prod_{k=0,k\neq i}^{n}(x_{i}-x_{k})}$ (2.42)

et la dérivée seconde:

$\displaystyle P_{n}^{(2)}(x)=\sum_{i=0}^{n}u_{i}L_{i}^{(2)}(x)  $avec$\displaystyle     L_{i}^{(2)}(x)=\frac{\sum_{k=0,k\neq i}^{n}\left(\sum_{l=0...
...eq k,m\neq i}^{n}(x-x_{m})\right)\right)}{\prod_{k=0,k\neq i}^{n}(x_{i}-x_{k})}$ (2.43)

Ces expressions permettent d'évaluer les valeurs des dérivées aux points de collocation \bgroup\color{black}$ x_{i}$\egroup .

Dérivée d'ordre 1

Si on dérive le polynôme \bgroup\color{black}$ p_{2}(x)$\egroup (2.41), on obtiens un formule équivalente à la dérivée centrée d'ordre 2 (2.15)

\bgroup\color{black}$\displaystyle \left.\frac{\partial u}{\partial x}\right\vert _{i}\approx P_{2}^{(1)}(x_{i})=\frac{u_{i+1}-u_{i-1}}{2h}$\egroup

De même, on dérive le polynôme \bgroup\color{black}$ p_{1}(x)$\egroup (2.40), on obtiens un formule équivalente à la dérivée décentrée d'ordre 1 (2.11)

\bgroup\color{black}$\displaystyle \left.\frac{\partial u}{\partial x}\right\vert _{i}\approx P_{1}^{(1)}(x_{i})=\frac{u_{i+1}-u_{i}}{h}$\egroup

Dérivée d'ordre 2

La dérivée seconde du polynôme d'interpolation \bgroup\color{black}$ p_{2}(x)$\egroup de degré 2:

\bgroup\color{black}$\displaystyle \left.\frac{\partial^{2}u}{\partial x^{2}}\ri...
...rt _{i}\approx P_{2}^{(2)}(x_{i})=\frac{u_{i+1}-2u{}_{i}+u_{i-1}}{h^{2}}$\egroup

2.3.5 Matrice de dérivation

Les expressions (2.42),(2.43), très lourdes à manipuler, s'avèrent utiles pour évaluer les valeurs des dérivées aux points de collocation \bgroup\color{black}$ x_{i}$\egroup . Le polynôme \bgroup\color{black}$ P_{n}(x)$\egroup est une combinaison linéaire des valeurs nodales \bgroup\color{black}$ u_{i}$\egroup , donc il en est de même pour toutes ses dérivées \bgroup\color{black}$ P_{n}^{(d)}$\egroup . Les valeurs nodales de ces dérivées \bgroup\color{black}$ u_{i}^{(d)}=P_{n}^{(d)}(x_{i})$\egroup s'expriment ainsi comme combinaisons linéaires des \bgroup\color{black}$ u_{i}$\egroup . Ce système peut donc s'écrire sous la forme matricielle:

\bgroup\color{black}$\displaystyle D_{n}^{(d)}U=U_{i}^{(d)}$\egroup

\bgroup\color{black}$ U^{(d)}=\{u_{i}^{(d)}\}$\egroup et \bgroup\color{black}$ U=\{u_{i}\}$\egroup sont les vecteurs contenant respectivement les valeurs aux points de collocation des dérivées (d'ordre \bgroup\color{black}$ d$\egroup ) \bgroup\color{black}$ u_{i}^{(d)}$\egroup et des valeurs nodales \bgroup\color{black}$ u_{i}$\egroup , et \bgroup\color{black}$ D_{n}^{(d)}$\egroup est la matrice de dérivation (d)ème dont les éléments sont:

\bgroup\color{black}$\displaystyle D_{i,j}^{(d)}=L_{j}^{(d)}(x_{i})$\egroup

Ainsi, pour un stencil de 3 points équi-distants (espacés de \bgroup\color{black}$ h$\egroup ) \bgroup\color{black}$ \{x_{i-1},x_{i},x_{i+1}\}$\egroup , les matrices de dérivation d'ordre 1 \bgroup\color{black}$ D^{(1)}$\egroup et d'ordre 2 \bgroup\color{black}$ D{}^{(2)}$\egroup s'écrivent:

\bgroup\color{black}$\displaystyle D^{(1)}=\frac{1}{2h}\left[\begin{array}{ccc}
-3 & 4 & -1\\
1 & 0 & -1\\
1 & -4 & 3\end{array}\right]$\egroup

\bgroup\color{black}$\displaystyle D^{(2)}=\frac{1}{h^{2}}\left[\begin{array}{ccc}
1 & -2 & 1\\
1 & -2 & 1\\
1 & -2 & 1\end{array}\right]$\egroup

On retrouve les formules de dérivée centrée d'ordre 1 et d'ordre 2 en calculant la dérivée au noeud milieu \bgroup\color{black}$ x_{i}$\egroup : pour la dérivée première \bgroup\color{black}$ u_{i}^{(1)}=D_{2,i}^{(1)} [u_{i-1},u_{i},u_{i+1}]^{t}$\egroup et la dérivée seconde \bgroup\color{black}$ u_{i}^{(2)}=D_{2,i}^{(2)} [u_{i-1},u_{i},u_{i+1}]^{t}$\egroup


Pr. Marc BUFFAT
marc.buffat@univ-lyon1.fr
2008-04-07