Académique Documents
Professionnel Documents
Culture Documents
1 T
Φ( y) = y Ay − y T b.
2
1
∇Φ( y) = (AT + A) y − b = Ay − b. (1)
2
Et si x est solution du système linéaire, alors Φ( y) = Φ(x + ( y − x)) = Φ(x) + 12 ( y −
1
x) T A( y − x) i.e k y − xk2A = Φ( y) − Φ(x), où kzk2A = z T Az est la norme associée à A que l’on
2
utilisera toujours par la suite.
Définition 2
Une méthode de gradient consiste à partir d’un point x 0 ∈ Rn et à construire la suite
x k+1 = x k + αk dk (2)
où dk ∈ Rn est une direction à choisir et αk ∈ R.
Une idée naturelle est de choisir αk de sorte à optimiser Φ(x k+1 ) dans la direction dk ,
d
c’est à dire tel que Φ(x k + αk dk ) = −dkT rk + αk dkT Adk = 0, où −rk := ∇Φ(x k ) = Ax k − b.
dαk
On trouve :
〈dk , rk 〉
αk = (3)
kdk k2A
(c’est bien défini lorsque dk 6= 0 car A ∈ Sn++ (R)).
〈rk+1 , dk 〉 = 0. (5)
Idée. Construire des directions (dk ) deux à deux A-orthogonales ; ainsi, rk+1 sera orthogonal
à Vect(d0 , . . . , dk ).
1 Vect(r0 , . . . , rk ) = Vect(d0 , . . . , dk )
2 rk+1 ⊥ Vect(d0 , . . . , dk )
3 dk+1 ⊥A Vect(d0 , . . . , dk )
Théorème 4
La méthode de gradient associée aux directions (6) avec le choix (7) converge vers la
solution x du problème Ax = b en au plus n itérations.
k yk4 4λn λ1
≥ .
2 2
k ykAk ykA−1 (λn + λ1 )2
v v
n n u X n
n
1 λ λ Xλ
u X X
1 i n
= λi yi2 yi2 = yi2 yi2
t t
k ykAk ykA−1
i=1 i=1
λ i λ n i=1
λ 1 i=1
λ i
v n n
1 t λ1 X λi 2 X λn 2
≤ yi + y
2 λn i=1
λ1 i=1
λi i
v n
1 t λ1 X λ i λ n
≤ + yi2
2 λn i=1 λ1 λi
x λn
La fonction x 7→ + admet un maximum en λ1 ou en λn et il vaut dans les deux
λ1 x
λn
cas : 1 + . Ainsi,
λ1
v n v v
1 t λ1 X λn 1 t λ n t λ1
k ykAk ykA−1 ≤ 1+ 2
yi ≤ + ,
2 λn i=1 λ1 2 λ1 λn
et le résultat suit en élevant au carré.
λ n − λ1
kx k+1 − xkA ≤ kx k − xkA.
λ n + λ1
Plus précisément,
k
cond(A) − 1
Æ
kx k − xk ≤ cond(A) kx 0 − xk.
cond(A) + 1
Avec la dernière inégalité, on voit que la convergence peut être lente lorsque la matrice
est mal conditionnée.
Référence : Alfio QUARTERONI, Ricardo SACCO et Fausto SALERI (2007). Méthodes nu-
mériques : Algorithmes, analyse et applications. Springer, pp. 138-145.
Merci à Antoine Diez pour ce développement.