Suite rcurrente linaire

En mathmatiques, on appelle suite rcurrente linaire dordre p, toute suite valeurs dans un corps K (gnralement ou ) dfinie pour tout par la relation de rcurrence suivante :

a0, a1, ap

tant p scalaires fi!s de K (a0 non nul), pour tout

, on a

"ne telle suite est enti#rement dtermine par la donne des p premiers termes de la suite et par la relation de rcurrence$ %es suites rcurrentes linaires d&ordre 1 s&appellent plus simplement des suites gomtriques de raison a0$ 'oncernant les suites rcurrentes linaires d(ordre ), notons qu(on peut e!primer leur terme gnral sans avoir recours la rcurrence, plus prcisment en utilisant seulement les deu! premiers termes, quelques valeurs constantes, quelques oprations lmentaires de l(arithmtique (addition, soustraction, multiplication, e!ponentielle) et les fonctions sinus et cosinus$ "ne des suites de ce t*pe est la tr#s cl#+re suite de ,i+onacci qui peut s(e!primer partir de puissances faisant intervenir le nom+re d(or$ %&tude des suites rcurrentes linaires d&ordre p fait appel la notion d&espace vectoriel et au calcul matriciel$

Suite rcurrente linaire dordre 1

Voir article dtaill : Suite gomtrique , le terme gnral est

-i la relation de rcurrence est

Suite rcurrente linaire dordre 2

a et b tant deu! scalaires fi!s de K avec b non nul, la relation de rcurrence est

un . ) / aun . 1 . bun (R)

0n va prouver que le terme gnral d(une telle suite est

si r1 et r) sont deu! racines distinctes du pol*n1me X) si r0 est racine dou+le du pol*n1me X)

aX
i3

aX

b
sont les deu! racines comple!es

pour une suite relle quand 2ei3 et 2e du pol*n1me X

)

aX

0n ne perd rien la gnralit de la suite en supposant que celle4ci est dfinie sur tout et pas seulement partir de n0$ En effet, si une suite (u) n&est dfinie qu& partir de n0, elle induit la cration d&une suite (v) dfinie sur en posant $ %&ide est alors de rechercher des suites gomtriques vrifiant la rcurrence (R)$ '&est44dire chercher des scalaires r tels que la suite second degr suite$ -on discriminant est du pol*n1me caractristique$ vrifie (R)$ 0n dmontre aisment que ce pro+l#me quivaut rsoudre l&quation du $ %e pol*n1me est alors appel le pol*n1me caractristique de la $ 5l faudra alors distinguer plusieurs cas, selon que le nom+re de racines

Si le polynme possde deux racines distinctes

-oient r1 et r) les deu! racines distinctes$ %es suites

et

vrifient (R) ainsi que toute suite dont le

terme gnral serait (cela tient au caract#re linaire de la rcurrence)$ 64t4on alors trouv toutes les suites vrifiant (7) 8 "ne suite vrifiant (R) tant enti#rement dtermine par la donne de u0 et u1, il suffit de prouver que l&on peut tou9ours trouver : et ; solutions du s*st#me

0r ce s*st#me a pour dterminant r) comme com+inaison linaire des suites

r1 non nul$ 5l est donc tou9ours possi+le d&e!primer une suite vrifiant (R)
et est

'ette situation se produit pour toute suite valeurs relles pour laquelle le discriminant strictement positif, ou pour toute suite valeurs comple!es pour laquelle le discriminant est non nul$

Si le polynme possde une racine double <modifier=

-i le discriminant est nul, le pro+l#me est tout autre car on ne trouve qu&une seule valeur r0, donc une seule famille de suites gomtriques tout entier n, rcurrence sur avec vrifiant (R) $ %&ide consiste alors rechercher les suites telles que, pour vrifiant (R)$ 'ette mthode s&appelle la mthode de variation de la en vrifiant que r0 n&est 9amais nul $ %a relation de :

constante$ 0n s&assure d&a+ord de l&e!istence de la suite

se traduit par une relation de rcurrence sur

En utilisant ensuite le fait que a) arithmtique :

. >b / 0 et que

, on o+tient la relation caractristique de toute suite

:n . )
%a suite

:n . 1 / :n . 1

:n

est donc une suite arithmtique de terme gnral

:n / : . ;n$
%es suites vrifiant (R) ont alors pour terme gnral : $ 'e rsultat s(applique pour des suites valeurs relles ou comple!es pour lesquelles le discriminant du pol*n1me caractristique est nul$

Si le polynme ne possde pas de racine relle

'(est le cas pour les suites valeurs relles pour lesquelles le discriminant du pol*n1me caractristique est strictement ngatif$ %&quation du second degr poss#de alors dans deu! racines con9ugues$ et $

%es suites de terme gnral sont des suites comple!es vrifiant (R)$ ?armi celles4ci, celles pour lesquelles A et B sont con9ugus, sont des suites relles $ @onc les suites de terme gnral

sont des suites relles vrifiant (R) (on a pris A / : A ) i; A ))$ 64t4on alors trouv toutes les suites vrifiant (R) 8 "ne suite vrifiant (R) tant enti#rement dtermine par la donne de u0 et u1, il suffit de prouver que l&on peut tou9ours trouver : et ; solutions du s*st#me

0r ce s*st#me a pour dterminant 2sin(3) non nul$ 5l est donc tou9ours possi+le d&e!primer une suite vrifiant (R) comme com+inaison linaire des suites et $

Suite rcurrente dordre p

Sous-espace vectoriel de dimension p
-i on appelle (Rp) la relation de rcurrence : pour tout entier n, et si on appelle , l&ensem+le des suites valeurs dans K et vrifiant (Rp), on dmontre que est un sous4 espace vectoriel de l&ensem+le des suites valeurs dans K$ 'ela tient la linarit de la relation de rcurrence$ @e plus, ce sous espace vectoriel est de dimension p$ En effet, il e!iste un isomorphisme d&espace vectoriel entre et l&ensem+le : chaque suite (u) de , on associe le pBuplet $ 5l suffit alors de connaCtre une famille li+re de p suites vrifiant (Rp), l&ensem+le est alors engendr par cette famille li+re$

Terme gnral
%a recherche du terme gnral et des suites particuli#res s&effectue en travaillant sur Kp $ D chaque suite associe la suite telle que on

%a relation de rcurrence sur

induit une relation de rcurrence sur

Un . 1 / AUn oE

%e terme gnral de la suite " est alors dtermin par

Un / AnU0
%e pro+l#me sem+le alors termin$ Fais la relle difficult consiste alors calculer An$$$ 0n prf#re plut1t dterminer une +ase de $

Recherche d une base

%e pol*n1me caractristique de la matrice 6 est retrouve pour caractriser les suites 0n note f la transformation linaire qui, une suite pol*n1me scind dans K (ce qui est tou9ours vrai si tel que vrifiant Rp$

$ 'e n(est pas un hasard si on le

associe la suite

dfinie par

un . 1$ %a condition u rifie Rp se traduit alors par !(f)(u) " #$ %(ensem+le

est donc le no*au de ?(f)$ -i ? est un ), il e!iste $ racines et $ e!posants

$ %e no*au de ?(f) est alors la somme directe des no*au! des $

$ 5l suffit donc de trouver une +ase de chacun de ces no*au! pour dterminer une +ase de

0n peut montrer que toute suite de terme gnral est lment du no*au de pour peu que le degr de % soit infrieur strictement Gi$ 'ette dmonstration se fait par rcurrence sur Gi$ 'omme les suites , pour 9 / 0 Gi pour 9 / 0 Gi dimension p) donc une +ase de

1 forment une partie li+re de Gi lments, la famille de toutes les suites

lments de (de $ %es lments de

1 et pour i / 1 H forme une famille li+re de

sont donc des sommes de suites dont le terme gnral est

avec degr de I strictement infrieur Gi$

Retour ! la rcurrence d ordre 2

-i le pol*n1me caractristique se scinde en (X de sont des suites dont le terme gnral est

r1)(X

r)) alors les pol*n1mes I sont de degr 0 et les lments

$

-i le pol*n1me caractristique se scinde en (X sont des suites dont le terme gnral est

r0)) alors les pol*n1mes I sont de degr 1 et les lments de

$