Loading [MathJax]/extensions/TeX/mathchoice.js

Mathjax

jeudi 26 octobre 2023

Suites du type u_{n+1}=au_n+b(n) (2) - cas où b est polynomiale

Nous avons vu dans [Suites du type u_{n+1}=au_n+b(n) (1)], un exemple de résolution d'une équations aux différences du type 
Nous avons donc

(E)\ \ \forall n \in \mathbb N\ : \ u_{n+1}-au_n=b(n)
dans le cas où b(n) est une suite polynomiale.

Pour cela, nous avons exhiber une solution particulière de (E), puis nous lui avons ajouter les solutions de  l'équation homogène

(E_h)\ \ \forall n \in \mathbb N\ : \ u_{n+1}-au_n=0

Cela nous a permis de trouver toutes les solutions de l'équation non-homogène (E)

Nous avons vu qu''il s'agit en fait d'une méthode générale : les solutions de l'équation homogène s'ontiennent en ajoutant à une solution particulière de cette équation toutes les solutions de l'équation homogène.


Dans cet article, nous verrons que dans le cas où b(n) est une suite polynomiale et lorsque a\neq 1, il existe une unique solution polynômiale dont le degré de dépasse pas celui de b
Nous verrons aussi une méthode systématique de trouver une telle solution particulière, du moins à l'aide d'un logiciel de calcul formel pour avoir une solution explicite.

Etude du cas général

On notera (E) l'équation : 
\forall n\in\mathbb N \  \ : \ \ u_{n+1}=au_n+b(n) 

b(n) est un polynôme de degré k pour un certain entier naturel k.

Nous avons donc

(E)\ \ \forall n \in \mathbb N\ : \ u_{n+1}=au_n+a_0+a_1n+\ldots+a_kn^k

Cherchons une solution particulière s sous la forme d'un polynôme de degré k

Nous avons donc

s_{n+1}=as_n+a_0+a_1n+\ldots+a_kn^k

Si s est une telle solution, on a nécessairement, pour tout n\in\mathbb N

s_{n+1}=as_n+a_0+a_1n+\ldots+a_kn^k

Notons 
s_n=b_0+b_1 n + \ldots + b_k n^k

On a s_{n+1}=b_0+b_1(n+1)+\ldots+b_{k}(n+1)^{k} 
d'où pour tout n\in\mathbb N

b_0+b_1(n+1)+\ldots+b_{k}(n+1)^{k}=a\left(b_0+b_1 n + \ldots + b_k n^k \right)+a_0+a_1n+\ldots+a_kn^k

Ainsi 
b_0+b_1(n+1)+\ldots+b_k(n+1)^k=(ab_0+a_0)+(ab_1+a_1)n+\ldots+(ab_k+a_k)n^k

Si l'on exprime le membre de gauche et le membre de droite comme des polynômes, on aura l'égalité en identifiant les coefficients.

Dans le membre de gauche, pour tout j, avec 1\leq j \leq k, on a 

(n+1)^j=\binom{j}{0} +\binom{j}{1}n + \ldots +\binom{j}{j}n^j=\sum_{0 \leq m \leq j} \binom{j}{m} n^m =\sum_{0 \leq m \leq j} \binom{j}{m} n^m


Donc 

b_j(n+1)^j=b_j\left(\binom{j}{0} +\binom{j}{1}n + \ldots +\binom{j}{j}n^j\right) =b_j\sum_{0 \leq m \leq j} \binom{j}{m} n^m


En réordonnant les termes selon les puissances de n, on obtient

b_0+b_1(n+1)+\ldots+b_k(n+1)^k =(b_0+\ldots+b_k)+\left(b_1\binom{1}{1}+\ldots+b_k\binom{k}{1}\right)n + \ldots +\left(b_k\binom k k \right)n^k

Donc si on note c_t le coefficient de n^t, on a 

b_0+b_1(n+1)+\ldots+b_k(n+1)^k =c_0+c_1n+\ldots c_tn^k=\sum_{t_0}^k c_t n^t
avec pour tout t, tel que 1\leq t \leq k

c_t=\sum_{i=t}^{k} b_i \binom{i}{t}



Par identification des coefficients, pour tout t, tel que 0\leq t \leq k,

\sum_{i=t}^{k} b_i \binom{i}{t} = ab_t+a_t 

ou encore 

\sum_{i=t}^{k} b_i \binom{i}{t} - ab_t=a_t 

Sous forme matricielle, cela donne 

MB-DB=A


où 
M=\left( \begin{array}{ccccc} \dbinom{0}{0} &  \dbinom{1}{0} & \ldots & \dbinom{k-1}{0} &  \dbinom{k}{0} \\ 0 &  \dbinom{1}{1} & \ldots & \dbinom{k-1}{1} &  \dbinom{k}{1} \\  &    &   \ddots     &   & \vdots \\ 0 & 0&  \ldots & \dbinom{k-1}{k-1} &  \dbinom{k-1}{k} \\  0 & 0&  \ldots & 0 &  \dbinom{k}{k} \\ \end{array}\right) 
  
D=\left( \begin{array}{ccccc} a & 0 & \ldots & 0 & 0 \\ 0 & a & \ldots & 0 & 0\\  &    &   \ddots     &   & \\ 0 & 0& \ldots & a & 0 \\ 0 & 0 & \ldots & 0 & a \\ \end{array}\right)=a\textrm{Id} 

 A=\left(\begin{array}{c} a_0 \\ a_1 \\ \vdots \\ a_{k-1} \\ a_k \\ \end{array} \right) 
 B=\left(\begin{array}{c} b_0 \\ b_1 \\ \vdots \\ b_{k-1} \\ b_k \\ \end{array} \right)

Si on note L=M-D, l'équation devient 
LB=A
avec 
L=\left( \begin{array}{ccccc} \dbinom{0}{0}-a &  \dbinom{1}{0} & \ldots & \dbinom{k-1}{0} &  \dbinom{k}{0} \\ 0 &  \dbinom{1}{1}-a & \ldots & \dbinom{k-1}{1} &  \dbinom{k}{1} \\  &    &   \ddots     &   & \vdots \\ 0 & 0&  \ldots & \dbinom{k-1}{k-1}-a &  \dbinom{k-1}{k} \\  0 & 0&  \ldots & 0 &  \dbinom{k}{k}-a \\ \end{array}\right)

Cette équation possède une unique solution si \det L\neq 0 c'est-à-dire si 
\left(\dbinom 0 0 - a \right)\left(\dbinom 1 1 - a \right)\ldots \left(\binom {k-1}{k-1} - a \right)\left(\dbinom {k}{k} - a \right)\neq 0

Or commme pour tout p, \binom p p=1, on en déduit qu'il existe une unique suite polynômiale s si et seulement si a\neq 1

Supposons a\neq 1. Dans ce cas, L est inversible et 

B=L^{-1}A 

Nous avons donc la propriété suivante



Propriété. Si a\neq 1.
Il existe une unique solution particulière de (E) sous la forme s_n=b_0+b_1n+\ldots+b_k n^k.

La matrice L=\left( \begin{array}{ccccc} \dbinom{0}{0}-a &  \dbinom{1}{0} & \ldots & \dbinom{k-1}{0} &  \dbinom{k}{0} \\ 0 &  \dbinom{1}{1}-a & \ldots & \dbinom{k-1}{1} &  \dbinom{k}{1} \\  &    &   \ddots     &   & \vdots \\ 0 & 0&  \ldots & \dbinom{k-1}{k-1}-a &  \dbinom{k-1}{k} \\  0 & 0&  \ldots & 0 &  \dbinom{k}{k}-a \\ \end{array}\right)
est inversible et 
\left(\begin{array}{c} b_0 \\ b_1 \\ \vdots \\ b_{k-1} \\ b_k \\ \end{array}\right)=L^{-1}\left(\begin{array}{c} a_0 \\ a_1 \\ \vdots \\ a_{k-1} \\ a_k \\ \end{array} \right)

Un exemple

Résolvons l'équation aux différences 
(1) \ \ \ \ \ \forall n\in\mathbb N\ : \ u_{n+1}=2u_n+n^3-2n+1 

On a 

L=\left( \begin{array}{cccc} \dbinom{0}{0}-2 &  \dbinom{1}{0} &  \dbinom{2}{0} &  \dbinom{3}{0} \\ 0 &  \dbinom{1}{1}-2  & \dbinom{2}{1} &  \dbinom{3}{1}  \\ 0 & 0 & \dbinom{2}{2}-2 &  \dbinom{3}{2} \\  0 & 0 & 0 &  \dbinom{3}{3}-2 \\ \end{array}\right) =\left( \begin{array}{cccc} -1 &  1 &  1 & 1 \\ 0 &  -1  & 2 &  3  \\ 0 & 0 & -1 &  3 \\  0 & 0 & 0 &  -1 \\ \end{array}\right)

D'où en utilisant par exemple Xcas pour inverser la matrice L




L^{-1}=\left( \begin{array}{cccc} -1 &  -1 & -3 & -13 \\ 0 &  -1  & -2 &  -9  \\ 0 & 0 & -1 &  -3 \\  0 & 0 & 0 &  -1 \\ \end{array}\right) 

On a B=\left( \begin{array}{cccc} -1 &  -1 & -4 & -23 \\ 0 &  -1  & -3 &  -18  \\ 0 & 0 & -1 &  -4 \\  0 & 0 & 0 &  -1 \\ \end{array}\right)\left(\begin{array}{c} 1 \\ -2 \\ 0 \\ 1 \\ \end{array} \right)=\left(\begin{array}{c} -12 \\ -7 \\ -3  \\ -1 \\ \end{array} \right)

Ainsi on a une solution particulière s donnée par s_n=-n^3-3n^2-7n-12.

Maintenant l'équation homogène : 
u_{n+1}=2u_n
a pour solutions les suites (w_n) géométrique de raison 2. On a donc w_n=2^n\times c w_0=c.

L'ensemble des solutions de (1) est donc l'ensemble des suites (u_n) telles que pour tout entier naturel n
u_n=2^n\times c-n^3-4n^2-16n-22 
c\in\mathbb R est un réel quelconque.

Et ensuite



Par la suite, j'aimerai m'intéresser à d'autres type d'équations aux différences non homogènes : cas où b(n) n'est pas une suite polynomiale.

Aucun commentaire:

Enregistrer un commentaire