Différences divisées

Modèle:Ébauche En mathématiques, les différences divisées correspondent à une discrétisation des dérivées successives d'une fonction. Ce sont des quantités définies et calculées de manière récursive en généralisant la formule du taux d'accroissement. Elles sont utilisées en particulier en interpolation newtonienne.

Définition

Étant donnés $n+1$ points

$(x_0,y_0),\dots ,(x_n,y_n),$

d'abscisses distinctes, les différences divisées sont définies de la manière suivante :

$[y_{\nu }]=y_{\nu }(\nu =0,\dots ,n)$

$[y_{\nu },\dots ,y_{\nu +j}]=\frac{[y_{\nu +1},\dots y_{\nu +j}]-[y_{\nu },\dots y_{\nu +j-1}]}{x_{\nu +j}-x_{\nu }}(j=1,\dots ,n,\nu =0,\dots ,n-j).$

Pour toute fonction $f$ telle que $y_i=f(x_i)(i=0,\dots ,n)$, on note parfois $f[x_0,\dots ,x_n]$ la différence divisée $[y_0,\dots ,y_n]$.

Propriétés

D'après le théorème d'interpolation de Newton, la différence divisée associée à $n+1$ points est égale au coefficient de degré $n$ du polynôme d'interpolation de Lagrange de ces points. Autrement dit :

$[y_0,\dots ,y_n]=\sum _{j=0}^n\frac{y_j}{\prod _{0\le i\le n,i\ne j}(x_j-x_i)}$.

Cette égalité a des conséquences remarquables :

• invariance par permutation des indices : $f[x_{\sigma (0)},\dots ,x_{\sigma (n)}]=f[x_0,\dots ,x_n](\sigma \in S_{\{0,\dots ,n\}})$ ;
• linéarité : $(af+bg)[x_0,\dots ,x_n]=af[x_0,\dots ,x_n]+bg[x_0,\dots ,x_n]$ ;
• règle de Leibniz : $(fg)[x_0,\dots ,x_n]=\sum _{j=0}^{n}f[x_0,\dots ,x_j]g[x_j,\dots ,x_n]$ ;
• théorème de la moyenne : pour n ≥ 1 et $x_0<\dots <x_n$, si $f$ est de classe CModèle:Exp sur $[x_0,x_n]$ et possède une dérivée n-ième sur $]x_0,x_n[$, il existe $c\in ]x_0,x_n[$ tel queModèle:Retrait

Exemples

Les premières itérations donnent :

Ordre 0 : $[y_0]=y_0$

Ordre 1 : $[y_0,y_1]=\frac{y_1-y_0}{x_1-x_0}$

Ordre 2 : $[y_0,y_1,y_2]=\frac{\frac{y_2-y_1}{x_2-x_1}-\frac{y_1-y_0}{x_1-x_0}}{x_2-x_0}$

Pour expliciter le processus récursif, les différences divisées peuvent être calculées en les disposant de la manière suivante dans un tableau :

$\begin{array}{ccccc}{x}_0& y_0=[y_0]& & & \\ & & [y_0,y_1]& & \\ x_1& y_1=[y_1]& & [y_0,y_1,y_2]& \\ & & [y_1,y_2]& & [y_0,y_1,y_2,y_3]\\ x_2& y_2=[y_2]& & [y_1,y_2,y_3]& \\ & & [y_2,y_3]& & \\ x_3& y_3=[y_3]& & & \end{array}$

Dans le cas où les abscisses sont en progression arithmétique, les différences divisées sont reliées aux différences finies, définies par

${\mathrm{\Delta }}_h^0[f]=f\text{et}\underset{h}{\overset{n+1}{\mathrm{△}}}[f](x)=\underset{h}{\overset{n}{\mathrm{△}}}[f](x+h)-\underset{h}{\overset{n}{\mathrm{△}}}[f](x)$,

par la relation (immédiate par récurrence) :

$f[x,x+h,\dots ,x+nh]=\frac{1}{n!h^n}\underset{h}{\overset{n}{\mathrm{△}}}[f](x)$.

Application

Les différences divisées interviennent dans la formulation du théorème d'interpolation de Newton, qui donne une expression particulière du polynôme d'interpolation de Lagrange, permettant par exemple de démontrer que toute fonction polynomiale est égale à sa série de Newton.

Voir aussi

Lien externe

Interpolation polynomiale (sic) de type Newton et différences divisées