Récurrence linéaire : quotient de deux solutions

Récurrence linéaire : quotient de deux solutions
Soit
22 )(et )(  nnnn ba
deux suites de nombres complexes non nuls. On note V l'ensemble des
suites
Nnn
v)(
de nombres complexes vérifiant
. 2 21   nnnnn vbvavn
Soit
Nnn
q)(
l'élément de V défini par
110 ,1 aqq 
. On suppose que
.0,  n qn N
1. Soit
Nnn
v)(
un élément de V, on note
n
n
nq
v
x
pour tout entier n.
a. Montrer que la suite
11   nnnnn qvqvw
vérifie une relation de récurrence linéaire
d'ordre 1. En déduire
.)1(,1 0
1
12
1w
qq bb
xxn
nn
n
n
nn
b. Montrer que les propositions suivantes sont équivalentes
converge. )(,)(.
converge. )1(.
1
11
12
n
n
n
nn
nnn
n
n
q
v
vii
qb bb
i
V
N
2. On pose
.,1
1
1
nn
nn
nxx xx
Xn
a. Exprimer Xn en fonction de bn+1, qn-1, qn+1.
b. Calculer un en fonction de bn+1, an+1, an pour que les Xn vérifient
.
1
,1
1
1
nn
n
nXu X
Xn
C
Co om mm me en nt ta ai ir re e
Des séries analogues à celle de 1.b.i. sont considérées dans Récurrence linéaire : exemples
d'Euler (niveau 1). Les parties Conditions de Stieltjes, Conditions de Worpitsky (niveau 1)
étudient leurs convergences dans des cas particuliers.
Les réduites d'une fraction continues sont des quotients de même type que ceux considérés ici.
Voir Fractions continues : cas général (niveau 1).
Les suites de polynômes orthogonaux vérifient une relation de récurrence linéaire d'ordre 2.
Voir Polynômes orthogonaux : introduction (niveau 1)
Si on sait étudier une suite vérifiant une relation de récurrence homographique, et en
particulier si on sait comparer la suite de ses modules avec 1, on peut obtenir (à l'aide de Xn)
des résultats sur la convergence de la série. Voir Récurrence homographique à coefficients
constants et Récurrence homographique de Poincaré (niveau 1).
S
So ol lu ut ti io on n
1.a. En exprimant vn+1 et qn+1 à l'aide de la relation de récurrence, il vient :
.)1( 02111 wbbwbw n
n
nnn   

On en déduit :
.
)1(
1
021
1
11
1
1
1nn
n
n
nn
nnnn
n
n
n
n
nn qq wbb
qq qvqv q
v
q
v
xx
b. L'équivalence est une conséquence immédiate du a..
Remarquons de plus que V est un sous-espace vectoriel de dimension 2 de l'espace de toutes
les suites. Soit
Nnn
p)(
un élément de V formant une base avec
Nnn
q)(
. Pour tout élément
Nnn
v)(
de V, il existe et tels que :
., nnn qpvn  N
Alors,
., si l
q
v
l
q
p
n
n
n
n
2.a. D'après les résultats précédents :
., 2
1
1
1
1n
n
nn
n
n
nn q
q
bX
q
q
bX 
b. Dans l'expression de Xn, éliminons qn+1 puis qn-1 à l'aide de la relation de récurrence :
.
1
)(
)(
1
1
2111
2
1
211
2
1
111
1
1
nn
n
nnnnnnn
nnn
n
nnnnnnn
nnn
n
nnnn
n
nn
Xu X qbbqbaa qbq
b
qbqbqaa qbq
b
qbqa q
bX
avec
.1
1
1
n
nn
nbaa
u