Universidade Estadual de Maring - Departamento de Matemtica

Clculo Diferencial e Integral: um KIT de Sobrevivncia

c Publicao eletrnica do KIT http://www.dma.uem.br/kit
Sobre o Critrio de Sassenfeld
Resumo: Neste trabalho demonstraremos o Critrio de Sassenfeld que um
importante resultado sobre a convergncia do mtodo de Gauss-Seidel. Tambm
daremos uma aplicao usando este resultado.
Sumrio
1. Introduo 1
2. Mtodo iterativo de Gauss-Seidel 1
3. Critrios de Parada 2
4. Resultado principal 2
1. Introduo
Em Anlise Numrica usamos os mtodos iterativos para resolver sistemas
de equaes lineares de grande porte. Um desses mtodos o mtodo de
Gauss-Seidel. Nesse trabalho demonstraremos o Critrio de Sassenfeld, que
nos d condies sucientes para a convergncia desse mtodo, independente
da aproximao inicial x
(0)
atribuda.
2. Mtodo iterativo de Gauss-Seidel
No mtodo de Gauss-Seidel, um sistema de equaes lineares Ax = b escrito
de forma equivalente x = Cx + g por separao da diagonal. Seja x
(0)
uma
aproximao inicial, pelo processo iterativo queremos calcular x
(1)
, x
(2)
, . . . , x
(k)
, . . . ,
por:
2 Joo M. S. Pitot
_

_
x
(k+1)
1
=
1
a
11
(b
1
a
12
x
(k)
2
a
13
x
(k)
3
a
1n
x
(k)
n
)
x
(k+1)
2
=
1
a
22
(b
2
a
21
x
(k+1)
1
a
23
x
(k)
3
a
2n
x
(k)
n
)
x
(k+1)
3
=
1
a
33
(b
3
a
31
x
(k+1)
1
a
32
x
(k+1)
2
a
34
x
(k)
4
a
3n
x
(k)
n
)
.
.
.
x
(k+1)
n
=
1
a
nn
(b
n
a
n1
x
(k+1)
1
a
n2
x
(k+1)
2
a
n,n1
x
(k+1)
n1
).
Portanto, no mtodo de Gauss-Seidel, quando calcularmos x
(k+1)
j
usamos
todos os valores de x
(k+1)
1
, . . . , x
(k+1)
j1
que j foram calculados e os valores
x
(k)
j+1
, . . . , x
(k)
n
restantes.
3. Critrios de Parada
O processo iterativo Gauss-Seidel repetido vrias vezes at que o vetor x
(k)
esteja muito prximo do vetor x
(k1)
. Considerando a norma de vetores, e
dada uma preciso , o vetor x
(k)
ser escolhido como uma soluo aproxi-
mada da soluo exata se:
(i) x
(k)
x
(k1)
< (erro absoluto),
(ii)
x
(k)
x
(k1)

x
(k)

< (erro relativo).

Os critrios de parada acima so os mais utilizados.
4. Resultado principal
Teorema 4..1 (Critrio de Sassenfeld) Seja A = (a
ij
) uma matriz quadrada
de ordem n. Sejam
i
, i = 1, 2, ..., n dados por:

1
=
n

j=2
|a
1j
|
|a
11
|
,

i
=
i1

j=1
|a
ij
|
j
|a
ii
|
+
n

j=i+1
|a
ij
|
|a
ii
|
.
c KIT - Clculo Diferencial e Integral 3
Se = max
1in
{
i
} < 1, ento o mtodo de Gauss-Seidel gera uma se-
qncia de vetores (x
(k)
) convergente qualquer que seja a aproximao inicial
x
(0)
.
Alm disso, quanto menor for mais rpida ser a convergncia.
Demonstrao:
Seja x =
_
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
_
_
_
a soluo exata do sistema de equaes lineares Ax = b
e seja x
(k)
=
_
_
_
_
_
x
(k)
1
x
(k)
2
.
.
.
x
(k)
n
_
_
_
_
_
a k-sima aproximao de x obtida pelo mtodo de
Gauss-Seidel.
Queremos uma condio que nos garanta que x
(k)
x quando k .
Ou seja, que
lim
k
e
(k)
i
= 0, para i = 1, . . . , n, onde e
(k)
i
= x
(k)
i
x
i
.
Agora, aplicando Gauss-Seidel temos
_

_
e
(k+1)
1
=
1
a
11
(a
12
e
(k)
2
+ a
13
e
(k)
3
+ + a
1n
e
(k)
n
)
e
(k+1)
2
=
1
a
22
(a
21
e
(k+1)
1
+ a
23
e
(k)
3
+ + a
2n
e
(k)
n
)
.
.
.
e
(k+1)
n
=
1
a
nn
(a
n1
e
(k+1)
1
+ a
n2
e
(k)
2
+ + a
nn1
e
(k+1)
n1
).
Denotaremos de E
(k)
= max
1in
|e
(k)
i
|, e sejam

1
=
n

j=2
|a
1j
|
|a
11
|
,

i
=
i1

j=1
|a
ij
|
j
|a
ii
|
+
n

j=i+1
|a
ij
|
|a
ii
|
, para i = 2, 3, . . . , n.
Mostraremos por induo que E
(k+1)
E
(k)
onde = max
1in
{
i
}.
4 Joo M. S. Pitot
Para i = 1, temos
|e
(k+1)
1
|
1
|a
11
|
(|a
12
||e
k
2
| + |a
13
||e
(k)
3
| + + |a
1n
||e
(k)
n
|)

1
|a
11
|
(|a
12
| + |a
13
| + + |a
1n
|)
. .
=
1
E
(k)
.
Ento, |e
(k+1)
1
|
1
E
(k)
E
(k)
.
Suponhamos por induo que
|e
(k+1)
2
|
2
E
(k)
|e
(k+1)
3
|
3
E
(k)
.
.
.
|e
(k+1)
i1
|
i1
E
(k)
, tal que i n
e mostraremos que |e
(k+1)
i
|
i
max
1jn
|e
(k)
j
|
De fato, temos que
|e
(k+1)
i
|
1
|a
ii
|
(|a
i1
||e
(k+1)
1
|+ +|a
i,i1
||e
(k+1)
i1
|)+
1
|a
ii
|
(|a
i,i+1
||e
(k)
i+1
|+ +|a
in
||e
(k)
n
|)
|e
(k+1)
i
|
1
|a
ii
|
(|a
i1
|
1
+ |a
i2
|
2
+ . . . |a
i,i1
|
i1
+ |a
i,i+1
| + + |a
in
|)
. .

i
E
(k)
,
ou seja,
|e
(k+1)
i
|
i
E
(k)
E
(k)
, i, 1 i n.
Portanto,
E
(k+1)
= max
1in
|e
(k+1)
i
| max
1jn
|e
(k)
j
| = E
(k)
. (4.1)
Assim, basta que < 1 para que tenhamos E
(k+1)
< E
(k)
. Aplicando (1)
seguidas vezes, obtemos
E
(k)
E
(k1)
(E
(k2)
)
k
E
(0)
,
c KIT - Clculo Diferencial e Integral 5
ou seja,
E
(k)

k
E
(0)
.
Logo,
lim
k

k
E
(0)
= 0.
Portanto, se < 1 ento x
(k)
x, independendo da aproximao inicial
escolhida.
Exemplo 4..2 Seja o sistema linear
_
_
_
2x
1
+ x
2
+ 3x
3
= 9
x
2
+ x
3
= 1
x
1
+ 3x
3
= 3
(4.2)
temos que a matriz ampliada de (2)
_
_
2 1 3 9
0 1 1 1
1 0 3 3
_
_
com esta disposio de linhas e colunas temos que a matriz acima no satisfaz
o Critrio de Sassenfeld. Mas trocando a linha 1 com a linha 3 e, a partir
da, trocamos a coluna 1 com a coluna 3, temos
_
_
3 0 1 3
1 1 0 1
3 1 2 9
_
_
.
Desta forma,

1
= 1/3,

2
= [(1)(1/3) + 0]/1 = 1/3,

3
= [(3)(1/3) + (1)(1/3)]/2 = 2/3.
Portanto, = max
1i3

i
= 2/3 < 1, ento vale o Critrio de Sassenfeld
e temos garantia de convergncia.
6 Joo M. S. Pitot
Referncias
[1] Notas de Aula - Doherty Andrade
[2] Mrcia A. G. Ruggiero, Vera L. R. Lopes Clculo numrico: Aspectos
Tericos e Computacionais. McGraw-Hill, 132-137, (1988).