3Chapitre 5 : R´esolution de syst`emes lin´eaires par des m´ethodes de Krylov
2
Proposition 5.3 Si `a l’´etape jsl’algorithme rencontre une quantit´e hjs+1,jsnulle, il
s’arrˆete.
Les quantit´es vjet hij g´en´er´ees par l’algorithme pour j < jspeuvent ˆetre r´e´ecrites `a
chaque pas de la boucle en jsous forme matricielle
AVj=Vj+1 ¯
Hj,
o`u ¯
Hj∈Rj+1×jest une matrice de Hessenberg sup´erieure.
Preuve 5.3 D´emonstration. En effet, d’apr`es les ´etapes 4. et 7. de l’algorithme hj+1,j vj+1 =
Avj−Pj
i=1 hijvi, ce qui s’´ecrit bien AVj=Vj+1 ¯
Hjavec Vj= [v1, . . . , vj]∈Rn×jet
¯
Hj= [hi,j]∈Rj+1×jHessenberg sup´erieure.
2
Proposition 5.4 On se place au dernier pas jsde l’algorithme. On a alors AVjs=VjsHjs,
o`u la matrice Hjsest une matrice carr´ee d’ordre js. Les valeurs propres de Hjssont des
valeurs propres de A. Si yest un vecteur propre de Hjsassoci´e a la valeur propre λ(de A
et de Hjs), Vjsyest un vecteur propre de Aassoci´e.
Preuve 5.4 D´emonstration. Si pour y6= 0,Hjsy=λy,AVjsy=VjsHjsy=λVjsy, avec
Vjsy6= 0. Donc toute valeur propre de Hjsest une valeur propre de A. Pour tout vecteur
propre yde Hjs,Vjsyest un vecteur propre de A.
2
Proposition 5.5 Soit Hj=VT
jAVj. La matrice Hjest Hessenberg sup´erieure. En parti-
culier, si Aest sym´etrique, Hjest tridiagonale.
Preuve 5.5 D´emonstration. On sait que Hj∈Rj×jest Hessenberg sup´erieure (car elle
est constitu´ee des jpremi`eres lignes de la matrice rectangulaire Hessenberg sup´erieure
¯
Hj∈Rj+1×j). Si de plus Aest sym´etrique, ¯
Hj=VT
j+1AVj. et HT
j= (VT
jAVj)T=
VT
jATVj=Hj. Donc Hjest carr´ee Hessenberg sup´erieure et sym´etrique ; elle est donc
carr´ee et tridiagonale.
2
Proposition 5.6 L’espace image de Vj, pour jinf´erieur `a js, est K(A, b, j). L’espace
K(A, b, js)est un espace invariant pour A.
Preuve 5.6 D´emonstration. Par r´ecurrence. Vrai pour j= 1. Supposons le r´esultat sui-
vant vrai au rang j: il existe une matrice Xj∈Rj×jtelle que [b, . . . , Aj−1b]=[v1,...vj]Xj,
S. Gratton, Analyse matricielle et Optimisation, ´
Ed. Ress. P´edag. Ouv. INPT,0727 (2014) 24h