La convention du sujet est la différence en avant de pas 1 1 1 :
Δ P ( X ) = P ( X + 1 ) − P ( X ) \Delta P(X)=P(X+1)-P(X) Δ P ( X ) = P ( X + 1 ) − P ( X ) . Toutes les formules ci-dessous utilisent cette convention.
I — Une dérivée sans limite ?
On obtient
Δ 1 = 0 , \Delta 1=0, Δ1 = 0 ,
Δ X = 1 , \Delta X=1, Δ X = 1 ,
Δ X 2 = 2 X + 1 , \Delta X^2=2X+1, Δ X 2 = 2 X + 1 ,
et
Δ X 3 = 3 X 2 + 3 X + 1. \Delta X^3=3X^2+3X+1. Δ X 3 = 3 X 2 + 3 X + 1.
Comme la dérivation usuelle, Δ \Delta Δ annule les constantes et abaisse ici le degré d'une unité. Mais les termes de degré inférieur ne disparaissent pas : par exemple ( X 2 ) ′ = 2 X (X^2)'=2X ( X 2 ) ′ = 2 X tandis que Δ X 2 = 2 X + 1 \Delta X^2=2X+1 Δ X 2 = 2 X + 1 .
(a) Pour λ , μ ∈ R \lambda,\mu\in\mathbb R λ , μ ∈ R et P , Q ∈ R [ X ] P,Q\in\mathbb R[X] P , Q ∈ R [ X ] ,
Δ ( λ P + μ Q ) ( X ) = ( λ P + μ Q ) ( X + 1 ) − ( λ P + μ Q ) ( X ) = λ ( P ( X + 1 ) − P ( X ) ) + μ ( Q ( X + 1 ) − Q ( X ) ) . \begin{aligned}
\Delta(\lambda P+\mu Q)(X)
&=(\lambda P+\mu Q)(X+1)-(\lambda P+\mu Q)(X)\\
&=\lambda\bigl(P(X+1)-P(X)\bigr)
+\mu\bigl(Q(X+1)-Q(X)\bigr).
\end{aligned} Δ ( λ P + μ Q ) ( X ) = ( λ P + μ Q ) ( X + 1 ) − ( λ P + μ Q ) ( X ) = λ ( P ( X + 1 ) − P ( X ) ) + μ ( Q ( X + 1 ) − Q ( X ) ) .
Ainsi
Δ ( λ P + μ Q ) = λ Δ P + μ Δ Q . \Delta(\lambda P+\mu Q)=\lambda\Delta P+\mu\Delta Q. Δ ( λ P + μ Q ) = λ Δ P + μ Δ Q .
Donc Δ \Delta Δ est linéaire.
(b) Écrivons
P ( X ) = a d X d + termes de degr e ˊ inf e ˊ rieur , a d ≠ 0. P(X)=a_dX^d+\text{termes de degré inférieur},
\qquad a_d\neq0. P ( X ) = a d X d + termes de degr e ˊ inf e ˊ rieur , a d = 0.
Alors
P ( X + 1 ) − P ( X ) = a d ( ( X + 1 ) d − X d ) + R ( X ) , P(X+1)-P(X)
=a_d\bigl((X+1)^d-X^d\bigr)+R(X), P ( X + 1 ) − P ( X ) = a d ( ( X + 1 ) d − X d ) + R ( X ) ,
où R = 0 R=0 R = 0 si d = 1 d=1 d = 1 , et deg R ⩽ d − 2 \deg R\leqslant d-2 deg R ⩽ d − 2 si d ⩾ 2 d\geqslant2 d ⩾ 2 . Or, par la formule du binôme,
( X + 1 ) d − X d = d X d − 1 + termes de degr e ˊ au plus d − 2. (X+1)^d-X^d=dX^{d-1}+\text{termes de degré au plus }d-2. ( X + 1 ) d − X d = d X d − 1 + termes de degr e ˊ au plus d − 2.
Par conséquent
deg ( Δ P ) = d − 1 \boxed{\deg(\Delta P)=d-1} deg ( Δ P ) = d − 1
et le coefficient dominant de Δ P \Delta P Δ P vaut
d a d . \boxed{d\,a_d}. d a d .
(c) Toutes les constantes appartiennent à ker Δ \ker\Delta ker Δ . Réciproquement, si P P P n'est pas constant, alors deg ( Δ P ) = deg P − 1 \deg(\Delta P)=\deg P-1 deg ( Δ P ) = deg P − 1 , donc Δ P ≠ 0 \Delta P\neq0 Δ P = 0 . Ainsi
ker Δ = R . \boxed{\ker\Delta=\mathbb R}. ker Δ = R .
(a) On écrit
P ( X + 1 ) = P ( X ) + Δ P ( X ) , Q ( X + 1 ) = Q ( X ) + Δ Q ( X ) . P(X+1)=P(X)+\Delta P(X),
\qquad
Q(X+1)=Q(X)+\Delta Q(X). P ( X + 1 ) = P ( X ) + Δ P ( X ) , Q ( X + 1 ) = Q ( X ) + Δ Q ( X ) .
Donc
Δ ( P Q ) = P ( X + 1 ) Q ( X + 1 ) − P ( X ) Q ( X ) = ( P + Δ P ) ( Q + Δ Q ) − P Q = P Δ Q + Q Δ P + ( Δ P ) ( Δ Q ) . \begin{aligned}
\Delta(PQ)
&=P(X+1)Q(X+1)-P(X)Q(X)\\
&=(P+\Delta P)(Q+\Delta Q)-PQ\\
&=P\,\Delta Q+Q\,\Delta P+(\Delta P)(\Delta Q).
\end{aligned} Δ ( P Q ) = P ( X + 1 ) Q ( X + 1 ) − P ( X ) Q ( X ) = ( P + Δ P ) ( Q + Δ Q ) − P Q = P Δ Q + Q Δ P + ( Δ P ) ( Δ Q ) .
Ainsi
Δ ( P Q ) = P Δ Q + Q Δ P + ( Δ P ) ( Δ Q ) . \boxed{\Delta(PQ)=P\,\Delta Q+Q\,\Delta P+(\Delta P)(\Delta Q)}. Δ ( P Q ) = P Δ Q + Q Δ P + ( Δ P ) ( Δ Q ) .
(b) En ajoutant et retranchant P ( X + 1 ) Q ( X ) P(X+1)Q(X) P ( X + 1 ) Q ( X ) ,
Δ ( P Q ) = P ( X + 1 ) ( Q ( X + 1 ) − Q ( X ) ) + Q ( X ) ( P ( X + 1 ) − P ( X ) ) , \begin{aligned}
\Delta(PQ)
&=P(X+1)\bigl(Q(X+1)-Q(X)\bigr)\\
&\quad+Q(X)\bigl(P(X+1)-P(X)\bigr),
\end{aligned} Δ ( P Q ) = P ( X + 1 ) ( Q ( X + 1 ) − Q ( X ) ) + Q ( X ) ( P ( X + 1 ) − P ( X ) ) ,
d'où
Δ ( P Q ) = P ( X + 1 ) Δ Q + Q Δ P . \boxed{\Delta(PQ)=P(X+1)\,\Delta Q+Q\,\Delta P}. Δ ( P Q ) = P ( X + 1 ) Δ Q + Q Δ P .
Une formule symétrique s'obtient en échangeant P P P et Q Q Q :
Δ ( P Q ) = P Δ Q + Q ( X + 1 ) Δ P . \Delta(PQ)=P\,\Delta Q+Q(X+1)\,\Delta P. Δ ( P Q ) = P Δ Q + Q ( X + 1 ) Δ P .
Il existe donc bien une règle de produit, mais Δ \Delta Δ n'est pas une dérivation au sens algébrique : la règle de Leibniz usuelle doit être corrigée par le terme ( Δ P ) ( Δ Q ) (\Delta P)(\Delta Q) ( Δ P ) ( Δ Q ) , ou bien par un décalage d'un des facteurs.
(a) Si P ∈ E n P\in E_n P ∈ E n , alors Δ P ∈ E n − 1 \Delta P\in E_{n-1} Δ P ∈ E n − 1 lorsque P P P est non constant, et Δ P = 0 \Delta P=0 Δ P = 0 lorsqu'il est constant. Donc Δ ( E n ) ⊂ E n \Delta(E_n)\subset E_n Δ ( E n ) ⊂ E n . Avec la linéarité de la question 2, Δ \Delta Δ induit bien un endomorphisme de E n E_n E n .
(b) Pour n ⩾ 1 n\geqslant1 n ⩾ 1 , le noyau de la restriction de Δ \Delta Δ à E n E_n E n est l'espace des constantes, de dimension 1 1 1 . Le théorème du rang donne donc
dim Im Δ = ( n + 1 ) − 1 = n . \dim\operatorname{Im}\Delta=(n+1)-1=n. dim Im Δ = ( n + 1 ) − 1 = n .
Or Im Δ ⊂ E n − 1 \operatorname{Im}\Delta\subset E_{n-1} Im Δ ⊂ E n − 1 et dim E n − 1 = n \dim E_{n-1}=n dim E n − 1 = n . Par conséquent
Im Δ = E n − 1 . \boxed{\operatorname{Im}\Delta=E_{n-1}}. Im Δ = E n − 1 .
(c) Chaque application de Δ \Delta Δ abaisse d'au moins une unité le degré d'un polynôme non constant. Ainsi
Δ n + 1 = 0 sur E n . \boxed{\Delta^{n+1}=0\quad\text{sur }E_n}. Δ n + 1 = 0 sur E n .
Si le coefficient de X n X^n X n dans P P P est a n a_n a n , les coefficients dominants sont multipliés successivement par
n , n − 1 , … , 1. n,\ n-1,\ldots,1. n , n − 1 , … , 1.
On obtient donc
Δ n P = n ! a n . \boxed{\Delta^nP=n!\,a_n}. Δ n P = n ! a n .
II — Les bons monômes du monde discret
(a) Pour k = 0 k=0 k = 0 , B 0 = 1 B_0=1 B 0 = 1 . Pour k ⩾ 1 k\geqslant1 k ⩾ 1 , le numérateur de B k B_k B k est un produit de k k k polynômes unitaires de degré 1 1 1 . Ainsi
deg B k = k \deg B_k=k deg B k = k
et son coefficient dominant vaut
1 k ! . \frac1{k!}. k ! 1 .
(b) Les polynômes B 0 , … , B n B_0,\ldots,B_n B 0 , … , B n ont des degrés deux à deux distincts, donc la famille est libre. Elle comporte n + 1 n+1 n + 1 éléments dans E n E_n E n , qui est de dimension n + 1 n+1 n + 1 . Ainsi
( B 0 , … , B n ) est une base de E n . \boxed{(B_0,\ldots,B_n)\text{ est une base de }E_n}. ( B 0 , … , B n ) est une base de E n .
(a) On a
Δ B 0 = 0 , Δ B 1 = 1 = B 0 . \Delta B_0=0,
\qquad
\Delta B_1=1=B_0. Δ B 0 = 0 , Δ B 1 = 1 = B 0 .
De plus,
B 2 ( X ) = X ( X − 1 ) 2 , B_2(X)=\frac{X(X-1)}2, B 2 ( X ) = 2 X ( X − 1 ) ,
donc
Δ B 2 ( X ) = ( X + 1 ) X − X ( X − 1 ) 2 = X = B 1 ( X ) . \Delta B_2(X)
=\frac{(X+1)X-X(X-1)}2
=X=B_1(X). Δ B 2 ( X ) = 2 ( X + 1 ) X − X ( X − 1 ) = X = B 1 ( X ) .
Enfin,
B 3 ( X ) = X ( X − 1 ) ( X − 2 ) 6 , B_3(X)=\frac{X(X-1)(X-2)}6, B 3 ( X ) = 6 X ( X − 1 ) ( X − 2 ) ,
et
Δ B 3 ( X ) = ( X + 1 ) X ( X − 1 ) − X ( X − 1 ) ( X − 2 ) 6 = X ( X − 1 ) 6 ( ( X + 1 ) − ( X − 2 ) ) = X ( X − 1 ) 2 = B 2 ( X ) . \begin{aligned}
\Delta B_3(X)
&=\frac{(X+1)X(X-1)-X(X-1)(X-2)}6\\
&=\frac{X(X-1)}6\bigl((X+1)-(X-2)\bigr)\\
&=\frac{X(X-1)}2
=B_2(X).
\end{aligned} Δ B 3 ( X ) = 6 ( X + 1 ) X ( X − 1 ) − X ( X − 1 ) ( X − 2 ) = 6 X ( X − 1 ) ( ( X + 1 ) − ( X − 2 ) ) = 2 X ( X − 1 ) = B 2 ( X ) .
La régularité suggère que Δ \Delta Δ décale l'indice d'une unité vers le bas.
(b) Pour k ⩾ 1 k\geqslant1 k ⩾ 1 ,
B k ( X + 1 ) − B k ( X ) = ( X + 1 ) X ⋯ ( X − k + 2 ) − X ( X − 1 ) ⋯ ( X − k + 1 ) k ! = X ( X − 1 ) ⋯ ( X − k + 2 ) k ! ( ( X + 1 ) − ( X − k + 1 ) ) = k X ( X − 1 ) ⋯ ( X − k + 2 ) k ! = B k − 1 ( X ) . \begin{aligned}
B_k(X+1)-B_k(X)
&=\frac{(X+1)X\cdots(X-k+2)-X(X-1)\cdots(X-k+1)}{k!}\\
&=\frac{X(X-1)\cdots(X-k+2)}{k!}
\bigl((X+1)-(X-k+1)\bigr)\\
&=\frac{k\,X(X-1)\cdots(X-k+2)}{k!}\\
&=B_{k-1}(X).
\end{aligned} B k ( X + 1 ) − B k ( X ) = k ! ( X + 1 ) X ⋯ ( X − k + 2 ) − X ( X − 1 ) ⋯ ( X − k + 1 ) = k ! X ( X − 1 ) ⋯ ( X − k + 2 ) ( ( X + 1 ) − ( X − k + 1 ) ) = k ! k X ( X − 1 ) ⋯ ( X − k + 2 ) = B k − 1 ( X ) .
Donc
Δ B k = B k − 1 ( k ⩾ 1 ) , \boxed{\Delta B_k=B_{k-1}\quad(k\geqslant1)}, Δ B k = B k − 1 ( k ⩾ 1 ) ,
avec Δ B 0 = 0 \Delta B_0=0 Δ B 0 = 0 .
(a) Si j ⩽ k j\leqslant k j ⩽ k , on applique j j j fois la relation précédente :
Δ j B k = B k − j . \Delta^jB_k=B_{k-j}. Δ j B k = B k − j .
Si j > k j>k j > k , après k k k différences on obtient B 0 B_0 B 0 , puis la différence suivante est nulle. Ainsi
Δ j B k = { B k − j , j ⩽ k , 0 , j > k . \boxed{
\Delta^jB_k=
\begin{cases}
B_{k-j},&j\leqslant k,\\
0,&j>k.
\end{cases}} Δ j B k = { B k − j , 0 , j ⩽ k , j > k .
Cette formule contient bien le cas j = 0 j=0 j = 0 .
(b) Dans la base ( B 0 , B 1 , … , B n ) (B_0,B_1,\ldots,B_n) ( B 0 , B 1 , … , B n ) ,
Δ B 0 = 0 , Δ B 1 = B 0 , … , Δ B n = B n − 1 . \Delta B_0=0,\quad
\Delta B_1=B_0,\quad\ldots,\quad
\Delta B_n=B_{n-1}. Δ B 0 = 0 , Δ B 1 = B 0 , … , Δ B n = B n − 1 .
Donc
Mat ( Δ ) = ( 0 1 0 ⋯ 0 0 0 1 ⋱ ⋮ ⋮ ⋱ ⋱ ⋱ 0 0 ⋯ 0 0 1 0 ⋯ ⋯ 0 0 ) . \operatorname{Mat}(\Delta)=
\begin{pmatrix}
0&1&0&\cdots&0\\
0&0&1&\ddots&\vdots\\
\vdots&\ddots&\ddots&\ddots&0\\
0&\cdots&0&0&1\\
0&\cdots&\cdots&0&0
\end{pmatrix}. Mat ( Δ ) = 0 0 ⋮ 0 0 1 0 ⋱ ⋯ ⋯ 0 1 ⋱ 0 ⋯ ⋯ ⋱ ⋱ 0 0 0 ⋮ 0 1 0 .
(c) Si C k = X k / k ! C_k=X^k/k! C k = X k / k ! , alors pour k ⩾ 1 k\geqslant1 k ⩾ 1 ,
C k ′ = C k − 1 , C_k'=C_{k-1}, C k ′ = C k − 1 ,
et C 0 ′ = 0 C_0'=0 C 0 ′ = 0 . La dérivation dans la base ( C 0 , … , C n ) (C_0,\ldots,C_n) ( C 0 , … , C n ) a donc exactement la même matrice. C'est le parallèle structurel précis entre les deux opérateurs.
La relation de la question 6 s'écrit
B k ( X + 1 ) − B k ( X ) = B k − 1 ( X ) , B_k(X+1)-B_k(X)=B_{k-1}(X), B k ( X + 1 ) − B k ( X ) = B k − 1 ( X ) ,
donc
B k ( X + 1 ) = B k ( X ) + B k − 1 ( X ) . \boxed{B_k(X+1)=B_k(X)+B_{k-1}(X)}. B k ( X + 1 ) = B k ( X ) + B k − 1 ( X ) .
Pour m ∈ N m\in\mathbb N m ∈ N , on obtient
( m + 1 k ) = ( m k ) + ( m k − 1 ) , \binom{m+1}{k}
=
\binom{m}{k}
+
\binom{m}{k-1}, ( k m + 1 ) = ( k m ) + ( k − 1 m ) ,
c'est-à-dire la relation de Pascal.
III — Une formule de Taylor sur une grille
(a) On a
Δ 2 f ( x ) = Δ f ( x + 1 ) − Δ f ( x ) = f ( x + 2 ) − 2 f ( x + 1 ) + f ( x ) . \Delta^2f(x)
=\Delta f(x+1)-\Delta f(x)
=f(x+2)-2f(x+1)+f(x). Δ 2 f ( x ) = Δ f ( x + 1 ) − Δ f ( x ) = f ( x + 2 ) − 2 f ( x + 1 ) + f ( x ) .
Puis
Δ 3 f ( x ) = Δ 2 f ( x + 1 ) − Δ 2 f ( x ) = f ( x + 3 ) − 3 f ( x + 2 ) + 3 f ( x + 1 ) − f ( x ) . \begin{aligned}
\Delta^3f(x)
&=\Delta^2f(x+1)-\Delta^2f(x)\\
&=f(x+3)-3f(x+2)+3f(x+1)-f(x).
\end{aligned} Δ 3 f ( x ) = Δ 2 f ( x + 1 ) − Δ 2 f ( x ) = f ( x + 3 ) − 3 f ( x + 2 ) + 3 f ( x + 1 ) − f ( x ) .
(b) Les coefficients sont les coefficients binomiaux, avec des signes alternés. On conjecture
Δ k f ( x ) = ∑ j = 0 k ( − 1 ) k − j ( k j ) f ( x + j ) . \boxed{
\Delta^kf(x)
=
\sum_{j=0}^{k}
(-1)^{k-j}\binom{k}{j}f(x+j)}. Δ k f ( x ) = j = 0 ∑ k ( − 1 ) k − j ( j k ) f ( x + j ) .
Pour k = 0 k=0 k = 0 , le membre de droite vaut bien f ( x ) f(x) f ( x ) .
(c) Supposons la formule vraie à l'ordre k k k . Alors
Δ k + 1 f ( x ) = Δ k f ( x + 1 ) − Δ k f ( x ) = ∑ j = 0 k ( − 1 ) k − j ( k j ) f ( x + j + 1 ) − ∑ j = 0 k ( − 1 ) k − j ( k j ) f ( x + j ) . \begin{aligned}
\Delta^{k+1}f(x)
&=\Delta^kf(x+1)-\Delta^kf(x)\\
&=\sum_{j=0}^{k}(-1)^{k-j}\binom{k}{j}f(x+j+1)
-\sum_{j=0}^{k}(-1)^{k-j}\binom{k}{j}f(x+j).
\end{aligned} Δ k + 1 f ( x ) = Δ k f ( x + 1 ) − Δ k f ( x ) = j = 0 ∑ k ( − 1 ) k − j ( j k ) f ( x + j + 1 ) − j = 0 ∑ k ( − 1 ) k − j ( j k ) f ( x + j ) .
Dans la première somme, on pose r = j + 1 r=j+1 r = j + 1 . Pour 1 ⩽ r ⩽ k 1\leqslant r\leqslant k 1 ⩽ r ⩽ k , le coefficient de f ( x + r ) f(x+r) f ( x + r ) devient
( − 1 ) k − r + 1 ( k r − 1 ) − ( − 1 ) k − r ( k r ) = ( − 1 ) k + 1 − r ( k + 1 r ) , (-1)^{k-r+1}\binom{k}{r-1}
-(-1)^{k-r}\binom{k}{r}
=
(-1)^{k+1-r}\binom{k+1}{r}, ( − 1 ) k − r + 1 ( r − 1 k ) − ( − 1 ) k − r ( r k ) = ( − 1 ) k + 1 − r ( r k + 1 ) ,
par la relation de Pascal. Les deux termes extrêmes ont également les coefficients attendus. On obtient donc la formule à l'ordre k + 1 k+1 k + 1 .
(a) Partons de
P = ∑ k = 0 n a k B k . P=\sum_{k=0}^{n}a_kB_k. P = k = 0 ∑ n a k B k .
Pour j ∈ { 0 , … , n } j\in\{0,\ldots,n\} j ∈ { 0 , … , n } ,
Δ j P = ∑ k = j n a k B k − j . \Delta^jP
=
\sum_{k=j}^{n}a_kB_{k-j}. Δ j P = k = j ∑ n a k B k − j .
En X = 0 X=0 X = 0 , on a B 0 ( 0 ) = 1 B_0(0)=1 B 0 ( 0 ) = 1 et B r ( 0 ) = 0 B_r(0)=0 B r ( 0 ) = 0 pour r ⩾ 1 r\geqslant1 r ⩾ 1 . Il reste donc uniquement le terme k = j k=j k = j :
Δ j P ( 0 ) = a j . \boxed{\Delta^jP(0)=a_j}. Δ j P ( 0 ) = a j .
(b) Les coordonnées de P P P dans la base ( B 0 , … , B n ) (B_0,\ldots,B_n) ( B 0 , … , B n ) sont donc
a j = Δ j P ( 0 ) . a_j=\Delta^jP(0). a j = Δ j P ( 0 ) .
La formule de reconstruction est
P ( X ) = ∑ k = 0 n Δ k P ( 0 ) B k ( X ) . \boxed{
P(X)=\sum_{k=0}^{n}\Delta^kP(0)\,B_k(X)}. P ( X ) = k = 0 ∑ n Δ k P ( 0 ) B k ( X ) .
C'est la formule de Newton discrète dans ce cadre.
(c) La formule de Taylor polynomiale en 0 0 0 s'écrit
P ( X ) = ∑ k = 0 n P ( k ) ( 0 ) k ! X k . P(X)=\sum_{k=0}^{n}\frac{P^{(k)}(0)}{k!}X^k. P ( X ) = k = 0 ∑ n k ! P ( k ) ( 0 ) X k .
Dans le calcul continu, les polynômes X k / k ! X^k/k! X k / k ! satisfont
( X k k ! ) ′ = X k − 1 ( k − 1 ) ! . \left(\frac{X^k}{k!}\right)'=\frac{X^{k-1}}{(k-1)!}. ( k ! X k ) ′ = ( k − 1 )! X k − 1 .
Dans le calcul discret, les B k B_k B k satisfont
Δ B k = B k − 1 . \Delta B_k=B_{k-1}. Δ B k = B k − 1 .
Les B k B_k B k jouent donc le rôle des monômes divisés adaptés à Δ \Delta Δ , et les dérivées successives en 0 0 0 sont remplacées par les différences successives en 0 0 0 .
(a) La question 9 donne, en x = 0 x=0 x = 0 ,
Δ k P ( 0 ) = ∑ j = 0 k ( − 1 ) k − j ( k j ) P ( j ) . \boxed{
\Delta^kP(0)
=
\sum_{j=0}^{k}
(-1)^{k-j}\binom{k}{j}P(j)}. Δ k P ( 0 ) = j = 0 ∑ k ( − 1 ) k − j ( j k ) P ( j ) .
Ainsi chaque coordonnée de P P P dans la base ( B k ) (B_k) ( B k ) dépend uniquement des valeurs P ( 0 ) , … , P ( k ) P(0),\ldots,P(k) P ( 0 ) , … , P ( k ) .
En substituant dans la formule de Newton, on peut aussi écrire
P ( X ) = ∑ k = 0 n ( ∑ j = 0 k ( − 1 ) k − j ( k j ) P ( j ) ) B k ( X ) . P(X)=
\sum_{k=0}^{n}
\left(
\sum_{j=0}^{k}
(-1)^{k-j}\binom{k}{j}P(j)
\right)B_k(X). P ( X ) = k = 0 ∑ n ( j = 0 ∑ k ( − 1 ) k − j ( j k ) P ( j ) ) B k ( X ) .
(b) Les valeurs P ( 0 ) , … , P ( n ) P(0),\ldots,P(n) P ( 0 ) , … , P ( n ) déterminent donc toutes les coordonnées de P P P dans la base ( B 0 , … , B n ) (B_0,\ldots,B_n) ( B 0 , … , B n ) , donc déterminent P P P lui-même.
On retrouve ici, pour les nœuds équidistants 0 , 1 , … , n 0,1,\ldots,n 0 , 1 , … , n , une autre forme de l'unicité connue par l'interpolation de Lagrange.
(a) La table des différences en avant est
j 0 1 2 3 P ( j ) 2 3 8 23 Δ P ( j ) 1 5 15 Δ 2 P ( j ) 4 10 Δ 3 P ( j ) 6 \begin{array}{c|cccc}
j&0&1&2&3\\ \hline
P(j)&2&3&8&23\\
\Delta P(j)&1&5&15&\\
\Delta^2P(j)&4&10&&\\
\Delta^3P(j)&6&&&
\end{array} j P ( j ) Δ P ( j ) Δ 2 P ( j ) Δ 3 P ( j ) 0 2 1 4 6 1 3 5 10 2 8 15 3 23
Ainsi
P ( 0 ) = 2 , Δ P ( 0 ) = 1 , Δ 2 P ( 0 ) = 4 , Δ 3 P ( 0 ) = 6. P(0)=2,\qquad
\Delta P(0)=1,\qquad
\Delta^2P(0)=4,\qquad
\Delta^3P(0)=6. P ( 0 ) = 2 , Δ P ( 0 ) = 1 , Δ 2 P ( 0 ) = 4 , Δ 3 P ( 0 ) = 6.
(b) La formule de Newton donne
P = 2 B 0 + B 1 + 4 B 2 + 6 B 3 . P=2B_0+B_1+4B_2+6B_3. P = 2 B 0 + B 1 + 4 B 2 + 6 B 3 .
Or
B 1 = X , B 2 = X ( X − 1 ) 2 , B 3 = X ( X − 1 ) ( X − 2 ) 6 . B_1=X,\qquad
B_2=\frac{X(X-1)}2,\qquad
B_3=\frac{X(X-1)(X-2)}6. B 1 = X , B 2 = 2 X ( X − 1 ) , B 3 = 6 X ( X − 1 ) ( X − 2 ) .
Donc
P ( X ) = 2 + X + 2 X ( X − 1 ) + X ( X − 1 ) ( X − 2 ) = X 3 − X 2 + X + 2. \begin{aligned}
P(X)
&=2+X+2X(X-1)+X(X-1)(X-2)\\
&=X^3-X^2+X+2.
\end{aligned} P ( X ) = 2 + X + 2 X ( X − 1 ) + X ( X − 1 ) ( X − 2 ) = X 3 − X 2 + X + 2.
IV — Primitives discrètes et sommes exactes
(a) Si
P = ∑ k = 0 n a k B k , P=\sum_{k=0}^{n}a_kB_k, P = k = 0 ∑ n a k B k ,
alors, puisque Δ B k + 1 = B k \Delta B_{k+1}=B_k Δ B k + 1 = B k ,
Q = ∑ k = 0 n a k B k + 1 Q=\sum_{k=0}^{n}a_kB_{k+1} Q = k = 0 ∑ n a k B k + 1
vérifie Δ Q = P \Delta Q=P Δ Q = P . Plus généralement,
Q = C + ∑ k = 0 n a k B k + 1 \boxed{
Q=C+\sum_{k=0}^{n}a_kB_{k+1}} Q = C + k = 0 ∑ n a k B k + 1
est une primitive discrète pour tout C ∈ R C\in\mathbb R C ∈ R .
(b) Si Q 1 Q_1 Q 1 et Q 2 Q_2 Q 2 sont deux primitives discrètes de P P P , alors
Δ ( Q 1 − Q 2 ) = 0. \Delta(Q_1-Q_2)=0. Δ ( Q 1 − Q 2 ) = 0.
Donc Q 1 − Q 2 Q_1-Q_2 Q 1 − Q 2 est constant.
(c) Soit P P P non nul de degré d d d et de coefficient dominant a a a . Si Q Q Q est une primitive discrète de degré r r r , alors
deg ( Δ Q ) = r − 1. \deg(\Delta Q)=r-1. deg ( Δ Q ) = r − 1.
Comme Δ Q = P \Delta Q=P Δ Q = P , on a r = d + 1 r=d+1 r = d + 1 . Si b b b est le coefficient dominant de Q Q Q , alors le coefficient dominant de Δ Q \Delta Q Δ Q vaut ( d + 1 ) b (d+1)b ( d + 1 ) b . Ainsi
( d + 1 ) b = a , (d+1)b=a, ( d + 1 ) b = a ,
donc
b = a d + 1 . \boxed{b=\frac{a}{d+1}}. b = d + 1 a .
(a) Pour tout entier m m m ,
P ( m ) = Q ( m + 1 ) − Q ( m ) . P(m)=Q(m+1)-Q(m). P ( m ) = Q ( m + 1 ) − Q ( m ) .
Par télescopage,
∑ m = a b − 1 P ( m ) = ∑ m = a b − 1 ( Q ( m + 1 ) − Q ( m ) ) = Q ( b ) − Q ( a ) . \begin{aligned}
\sum_{m=a}^{b-1}P(m)
&=\sum_{m=a}^{b-1}\bigl(Q(m+1)-Q(m)\bigr)\\
&=Q(b)-Q(a).
\end{aligned} m = a ∑ b − 1 P ( m ) = m = a ∑ b − 1 ( Q ( m + 1 ) − Q ( m ) ) = Q ( b ) − Q ( a ) .
Donc
∑ m = a b − 1 P ( m ) = Q ( b ) − Q ( a ) . \boxed{
\sum_{m=a}^{b-1}P(m)=Q(b)-Q(a)}. m = a ∑ b − 1 P ( m ) = Q ( b ) − Q ( a ) .
(b) Pour une primitive usuelle F F F de f f f ,
∫ a b f ( x ) d x = F ( b ) − F ( a ) . \int_a^b f(x)\,dx=F(b)-F(a). ∫ a b f ( x ) d x = F ( b ) − F ( a ) .
La somme finie joue ici le rôle de l'intégrale, tandis que Δ Q = P \Delta Q=P Δ Q = P joue le rôle de Q ′ = P Q'=P Q ′ = P .
Comme Δ B k + 1 = B k \Delta B_{k+1}=B_k Δ B k + 1 = B k , le polynôme B k + 1 B_{k+1} B k + 1 est une primitive discrète de B k B_k B k . La question 14 donne donc
∑ m = 0 n − 1 B k ( m ) = B k + 1 ( n ) − B k + 1 ( 0 ) . \sum_{m=0}^{n-1}B_k(m)
=
B_{k+1}(n)-B_{k+1}(0). m = 0 ∑ n − 1 B k ( m ) = B k + 1 ( n ) − B k + 1 ( 0 ) .
Or B k + 1 ( 0 ) = 0 B_{k+1}(0)=0 B k + 1 ( 0 ) = 0 . Ainsi
∑ m = 0 n − 1 B k ( m ) = B k + 1 ( n ) = ( n k + 1 ) . \boxed{
\sum_{m=0}^{n-1}B_k(m)
=
B_{k+1}(n)
=
\binom{n}{k+1}}. m = 0 ∑ n − 1 B k ( m ) = B k + 1 ( n ) = ( k + 1 n ) .
Le cas n = 0 n=0 n = 0 est cohérent : la somme vide vaut 0 0 0 .
(a) Pour P = X P=X P = X ,
P ( 0 ) = 0 , Δ P ( 0 ) = 1 , P(0)=0,\qquad \Delta P(0)=1, P ( 0 ) = 0 , Δ P ( 0 ) = 1 ,
d'où
X = B 1 . \boxed{X=B_1}. X = B 1 .
Pour P = X 2 P=X^2 P = X 2 ,
Δ P = 2 X + 1 , Δ 2 P = 2 , \Delta P=2X+1,\qquad
\Delta^2P=2, Δ P = 2 X + 1 , Δ 2 P = 2 ,
donc
X 2 = B 1 + 2 B 2 . \boxed{X^2=B_1+2B_2}. X 2 = B 1 + 2 B 2 .
Pour P = X 3 P=X^3 P = X 3 ,
Δ P = 3 X 2 + 3 X + 1 , \Delta P=3X^2+3X+1, Δ P = 3 X 2 + 3 X + 1 ,
Δ 2 P = 6 X + 6 , \Delta^2P=6X+6, Δ 2 P = 6 X + 6 ,
et
Δ 3 P = 6. \Delta^3P=6. Δ 3 P = 6.
Ainsi
X 3 = B 1 + 6 B 2 + 6 B 3 . \boxed{X^3=B_1+6B_2+6B_3}. X 3 = B 1 + 6 B 2 + 6 B 3 .
(b) En utilisant la question 15,
∑ m = 0 n − 1 m = B 2 ( n ) = n ( n − 1 ) 2 . \sum_{m=0}^{n-1}m
=
B_2(n)
=
\boxed{\frac{n(n-1)}2}. m = 0 ∑ n − 1 m = B 2 ( n ) = 2 n ( n − 1 ) .
Ensuite,
∑ m = 0 n − 1 m 2 = B 2 ( n ) + 2 B 3 ( n ) = n ( n − 1 ) 2 + n ( n − 1 ) ( n − 2 ) 3 = n ( n − 1 ) ( 2 n − 1 ) 6 . \begin{aligned}
\sum_{m=0}^{n-1}m^2
&=B_2(n)+2B_3(n)\\
&=\frac{n(n-1)}2+\frac{n(n-1)(n-2)}3\\
&=\boxed{\frac{n(n-1)(2n-1)}6}.
\end{aligned} m = 0 ∑ n − 1 m 2 = B 2 ( n ) + 2 B 3 ( n ) = 2 n ( n − 1 ) + 3 n ( n − 1 ) ( n − 2 ) = 6 n ( n − 1 ) ( 2 n − 1 ) .
Enfin,
∑ m = 0 n − 1 m 3 = B 2 ( n ) + 6 B 3 ( n ) + 6 B 4 ( n ) = n 2 ( n − 1 ) 2 4 . \begin{aligned}
\sum_{m=0}^{n-1}m^3
&=B_2(n)+6B_3(n)+6B_4(n)\\
&=\boxed{\frac{n^2(n-1)^2}{4}}.
\end{aligned} m = 0 ∑ n − 1 m 3 = B 2 ( n ) + 6 B 3 ( n ) + 6 B 4 ( n ) = 4 n 2 ( n − 1 ) 2 .
D'après la question 13, P P P possède une primitive discrète Q Q Q . Choisissons-la de sorte que Q ( 0 ) = 0 Q(0)=0 Q ( 0 ) = 0 . Alors, pour tout n ∈ N n\in\mathbb N n ∈ N ,
∑ m = 0 n − 1 P ( m ) = Q ( n ) . \sum_{m=0}^{n-1}P(m)=Q(n). m = 0 ∑ n − 1 P ( m ) = Q ( n ) .
La fonction considérée coïncide donc sur N \mathbb N N avec le polynôme Q Q Q . Si P P P est de degré d d d et de coefficient dominant a a a , alors Q Q Q est de degré d + 1 d+1 d + 1 et de coefficient dominant
a d + 1 . \boxed{\frac{a}{d+1}}. d + 1 a .
(a) Si u n = P ( n ) u_n=P(n) u n = P ( n ) avec deg P ⩽ d \deg P\leqslant d deg P ⩽ d , alors
( Δ u ) n = ( Δ P ) ( n ) . (\Delta u)_n=(\Delta P)(n). ( Δ u ) n = ( Δ P ) ( n ) .
Par récurrence,
( Δ k u ) n = ( Δ k P ) ( n ) . (\Delta^ku)_n=(\Delta^kP)(n). ( Δ k u ) n = ( Δ k P ) ( n ) .
Or Δ d + 1 P = 0 \Delta^{d+1}P=0 Δ d + 1 P = 0 . Donc
Δ d + 1 u = 0 . \boxed{\Delta^{d+1}u=0}. Δ d + 1 u = 0 .
(b) La formule de reconstruction de la partie III suggère de poser
R ( X ) = ∑ k = 0 d ( Δ k u ) 0 B k ( X ) . R(X)=\sum_{k=0}^{d}(\Delta^ku)_0\,B_k(X). R ( X ) = k = 0 ∑ d ( Δ k u ) 0 B k ( X ) .
Alors R ∈ R d [ X ] R\in\mathbb R_d[X] R ∈ R d [ X ] et, pour tout j ∈ { 0 , … , d } j\in\{0,\ldots,d\} j ∈ { 0 , … , d } ,
Δ j R ( 0 ) = ( Δ j u ) 0 . \Delta^jR(0)=(\Delta^ju)_0. Δ j R ( 0 ) = ( Δ j u ) 0 .
Posons
v n = u n − R ( n ) . v_n=u_n-R(n). v n = u n − R ( n ) .
On a donc
( Δ j v ) 0 = 0 (\Delta^jv)_0=0 ( Δ j v ) 0 = 0
pour 0 ⩽ j ⩽ d 0\leqslant j\leqslant d 0 ⩽ j ⩽ d . De plus,
Δ d + 1 v = 0 , \Delta^{d+1}v=0, Δ d + 1 v = 0 ,
car Δ d + 1 u = 0 \Delta^{d+1}u=0 Δ d + 1 u = 0 par hypothèse et Δ d + 1 R = 0 \Delta^{d+1}R=0 Δ d + 1 R = 0 .
La suite Δ d v \Delta^dv Δ d v a donc une différence nulle : elle est constante. Comme son premier terme vaut 0 0 0 , on obtient
Δ d v = 0. \Delta^dv=0. Δ d v = 0.
Alors Δ d − 1 v \Delta^{d-1}v Δ d − 1 v est constante et son premier terme vaut encore 0 0 0 , donc
Δ d − 1 v = 0. \Delta^{d-1}v=0. Δ d − 1 v = 0.
En répétant l'argument, on descend jusqu'à
v = 0. v=0. v = 0.
Ainsi, pour tout n ∈ N n\in\mathbb N n ∈ N ,
u n = R ( n ) . u_n=R(n). u n = R ( n ) .
(c) On a finalement
Δ d + 1 u = 0 ⟺ ∃ P ∈ R d [ X ] , ∀ n ∈ N , u n = P ( n ) . \boxed{
\Delta^{d+1}u=0
\quad\Longleftrightarrow\quad
\exists P\in\mathbb R_d[X],\ \forall n\in\mathbb N,\ u_n=P(n)}. Δ d + 1 u = 0 ⟺ ∃ P ∈ R d [ X ] , ∀ n ∈ N , u n = P ( n ) .
Cette équivalence résume l'architecture du devoir : dans la base ( B k ) (B_k) ( B k ) , l'opérateur Δ \Delta Δ devient un décalage ; la formule de Newton reconstruit un polynôme à partir de ses différences initiales ; et l'inversion de Δ \Delta Δ transforme les sommes en primitives discrètes.
Sources
[SOURCE] Programme officiel de mathématiques de MPSI, Ministère de l'Éducation nationale : polynômes, formule de Taylor polynomiale, interpolation de Lagrange, espaces vectoriels, applications linéaires, sommes et coefficients binomiaux. Lien direct
[SOURCE] Isaac Newton, Analysis per quantitatum series, fluxiones, ac differentias (Londres, 1711), volume contenant la Methodus differentialis . Notice et exemplaire numérisé de la Library of Congress. Lien direct
[SOURCE] Duncan C. Fraser, « Newton's Interpolation Formulas », Journal of the Institute of Actuaries , vol. 51, no 2, octobre 1918, p. 77-106, DOI 10.1017/S0020268100028407. Étude historique des textes de Newton sur l'interpolation par différences finies. Lien direct
[SOURCE] Charles Jordan, Calculus of Finite Differences , 3e éd., AMS Chelsea Publishing, 1965. Référence classique sur les opérateurs de différence, l'interpolation et la sommation discrète. Lien direct