Académique Documents
Professionnel Documents
Culture Documents
Le but est de déterminer toutes les suites (un )n∈N qui vérifient
où (d)n∈N est la suite constante. On se retrouve donc face à une équation linéaire.
On va donc chercher les solutions de l’équation homogène associée :
∀ n ∈ N, a u n + 2 + b u n + 1 + c u n = 0
1.2. un+1 − a un = b
On cherche d’abord une solution particulière sous forme de suite constante vn = k, ce qui donne (1 − a) k = b.
b b
• Si a 6= 1, on trouve k = , et donc ∀n ∈ N, un = an α + où α s’exprime en fonction des
1−a 1−a
b
conditions initiales : α = u0 − .
1−a
• Si a = 1, la suite est arithmétique, ∀n ∈ N, un = u0 + nb
Une fois qu’on a l’expression générale de la solution, on tient compte des conditions initiales éventuelles.
vn = u0 αn + u1 βn
vérifie la relation de récurrence et v0 = u0 , v1 = u1 , ce qui prouve que (vn )n∈N = (un )n∈N et donc (αn )n∈N et
(βn )n∈N forment une famille génératrice, donc une base de l’ensemble des solutions.
En pratique, on recherche les suites géométriques de raison non nulle r vérifiant
un+2 + a un+1 + b un = 0
r2 + a r + b = 0
(α rn + β n rn )n∈N
Ce qui fait que |r|n cos nθ et |r|n sin nθ sont solution sur C par combinaison linéaire de solutions.
Mais ces solutions sont réelles et donc aussi solution sur R!!! Elles forment clairement une famille libre
et forment donc une base de l’ensemble des solutions sur R.
Les solutions sont donc
3. Avec Maple
Comme pour tout l’algèbre linéaire, il faut d’abord charger le pack linalg :
> with(linalg);
C’est ensuite rsolve qui permet de rechercher ces suites. Donnons un exemple :
> rsolve(u(n)=-3*u(n-1)-2*u(n-2),u);