You are on page 1of 19

Ingienira en Informatica

Metodos Numericos
Gauss-Seidel y SOR
INDICE
Introduccn......................................................... ..2
Metodo de Gauss-Sede .....................................3
Metodo de Sobrerea|acn Sucesva SOR...........12
Concusn.............................................................18
1
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
INTRODUCCION
E sguente traba|o, versa sobre dos mtodos teratvos para
resoucn de sstemas de ecuacones neaes: E mtodo de Gauss-Sede,
tambn conocdo como e mtodo Lebman o mtodo de despazamento
sucesvo; y e mtodo de Sobrerrea|acn sucesva, SOR (Successve over-
reaxaton) por sus sgas en Ings.
E mtodo Gauss-Sede, debe su nombre a os matemtcos aemanes
Car Frederch Gauss y Php Ludwg von Sede. Es muy smar a mtodo
de |acob. E mtodo SOR es e resutado de una varante de mtodo
anteror. Fue desarroado smutneamente por Davd M. Young y H.
Franken, en 1950.
2
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
SOLUCIONES DE ECUACIONES MEDIANTE MTODOS
ITERATIVOS
Los mtodos de emnacn drecta se pueden usar para resover
aproxmadamente de 25 a 50 ecuacones neaes smutneas. Esta
cantdad a veces se puede aumentar s e sstema est ben condconado, s
se empea a estratega pvota, entre otras. Sn embargo, debdo a os
errores de redondeo, os mtodos de emnacn agunas veces son
nadecuados para sstemas muy grandes. En este tpo de probemas, se
pueden usar os mtodos teratvos o de aproxmacn con aguna venta|a.
La razn por a cua os mtodos teratvos son tes en a
dsmnucn de os errores de redondeo en sstemas, se debe a que un
mtodo de aproxmacn se puede contnuar hasta que conver|a dentro de
aguna toeranca de error prevamente especcada. De esta forma, e
redondeo no es un probema, ya que se controa e nve de error aceptabe.
1 - Mtodo de Gauss-Seidel.
E mtodo de Gauss-Sede es un mtodo teratvo y por o msmo
resuta ser bastante ecente. Se comenza panteando e sstema de
ecuacones con e que se va a traba|ar:
De a ecuacn 1 despe|ar x1, de a ecuacn 2 despe|ar x2, , de a
ecuacn n despe|ar x
n
. Esto da e sguente con|unto de ecuacones:
Este tmo con|unto de ecuacones son as que forman as frmuas
teratvas con as que se va a estar traba|ando. Para comenzar e proceso
teratvo, se e da e vaor de cero a as varabes x
2
,, x
n
; esto dar un
prmer vaor para x
1
. Ms precsamente, se tene que:
Enseguda, se susttuye este vaor de x
1
en a ecuacn 2, y as varabes x
3
,
, x
n
sguen tenendo e vaor de cero. Esto da e sguente vaor para x
2
:
3
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
Estos tmos vaores de x
1
y x
2
, se susttuyen en a ecuacn 3, mentras
que x
4
,, x
n
sguen tenendo e vaor de cero; y as sucesvamente hasta
egar a a tma ecuacn. Todo este paso arro|ar una sta de prmeros
vaores para as ncgntas, a cua conforma e prmer paso en e proceso
teratvo. Para una me|or comprensn esto se smbozar de esta forma:
Se vueve a repetr e proceso, pero ahora susttuyendo estos tmos datos
en vez de ceros como a nco. Se obtendr una segunda sta de vaores
para cada una de as ncgntas, o cua se smbozar as:
En este momento se pueden cacuar os errores aproxmados reatvos,
respecto a cada una de as ncgntas. La sta de errores se presenta a
contnuacn:
E proceso se vueve a repetr hasta que:
donde se debe pre|ar convenentemente.
EJEMPLO 1 DEL MTODO DE GAUSS-SEIDEL
PROBLEMA: Usar e mtodo de Gauss-Sede para aproxmar a soucn de
sstema:
4
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
asta !ue
SOLU"I#$:
Prmero se despe|an as ncgntas x
1
, x
2
y x
3
de as ecuacones 1, 2 y 3
respectvamente. Se tene:
Estas tmas son e |uego de frmuas teratvas que se estar utzando.
Se comenza e proceso teratvo susttuyendo os vaores de x
2
= x
3
= 0 en
a prmera ecuacn, para cacuar e vaor de x
1
:
Ahora se susttuye y x3 = 0 en a segunda ecuacn para obtener
x2:
Ahora se susttuye y en a tercera ecuacn para
obtener x3:
As se tene a prmera aproxmacn a a soucn de sstema:
Puesto que todava no se puede cacuar nngn error aproxmado, se repte
e proceso pero ahora con os tmos datos obtendos para as ncgntas:
Susttuyendo y en a ecuacn 1 se obtene
Susttuyendo
y en a ecuacn 2 se obtene
namente, susttuyendo
5
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
y en a ecuacn 3 se obtene . Es as
como se tene a
segunda sta de vaores de aproxmacn a a soucn de sstema:
Ahora se pueden cacuar os errores absoutos para cada una de as
ncgntas:
Puesto que no se ha ogrado e ob|etvo, se debe repetr e msmo proceso
con os tmos vaores obtendos de cada una de as ncgntas. Ntese que
aunque e error aproxmado ya cumpe con ser menor a 1%, esto se
debe cumpr para os tres errores aproxmados. Por o tanto se repte e
msmo proceso.
Omtendo os pasos ntermedos, se obtene:
En este caso se tenen os sguentes errores aproxmados:
Se puede observar que ahora se ha cumpdo e ob|etvo para cada uno de
os errores aproxmados. Por o tanto, se concuye que a soucn
aproxmada es:
I%&o'ta(te o)se'*a+i,( 'es&e+to al %todo de Gauss-Seidel.
Es gco preguntarse s sempre e mtodo de Gauss-Sede converge a a
soucn de sstema de ecuacones y tambn es gco esperar que a
respuesta sea NO.

Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
Un resutado de Anss numrco da una condcn sucente para a
convergenca de mtodo.
Teo'e%a: E mtodo de Gauss-Sede converge a a soucn de sstema s
se cumpe a condcn de que a matrz de coecentes de sstema sea una
matrz dia-o(al%e(te do%i(a(te, es decr, s se cumpe a sguente
condcn:
La condcn de ser una matrz dagonamente domnante smpemente
sgnca que os eementos de a dagona son mayores (en vaor absouto)
que a suma de os vaores absoutos de os dems eementos de msmo
rengn. Ntese que en e e|empo anteror, a matrz s es dagonamente
domnante y por o tanto, e mtodo de Gauss-Sede s converge a a
soucn de sstema.
Sn embargo, a condcn de a matrz dagonamente domnante,
soamente es una condcn sucente pero no necesara, es decr, exsten
sstemas de ecuacones que no cumpen con a condcn y que s
convergen a a soucn y tambn exsten sstemas de ecuacones que no
cumpen con a condcn y que no convergen a a soucn.
Fnamente, obsrvese que aunque un sstema no cumpa con a condcn
de ser dagonamente domnante, es posbe a veces, ograr que s se
cumpa con esta condcn medante un ntercambo de rengones, como se
ver en e sguente e|empo:
EJEMPLO . DEL MTODO DE GAUSS-SEIDEL
PROBLEMA: Usa' el %todo de Gauss-Seidel &a'a a&'o/i%a' la
solu+i,( del siste%a:
asta !ue
SOLU"I#$:
En este caso se puede observar que e sstema no es dagonamente
domnante, o cua se comprueba con os sguentes ccuos:
Primera fla:
|a11| > (|a12| + |a13|)
5 > (1.4 + 2.7)
5 > 4.1; es certo.
La condcn se cumpe para a prmera a.
!
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
Segunda a:
|a22| > (|a21| + |a23|)
2.5 > (0.7 + 15)
2.5 > 15.7; no es certo.
La condcn no se cumpe para a segunda a.
Tercera fla:
|a33| > (|a31| + |a32|)
4.4 > (3.3 + 11)
4.4 > 14.3; no es certo.
La condcn no se cumpe para a tercera a.
Para que e sstema sea dagonamente domnante, a condcn debe
cumprse para todas as as. Por o tanto, e sstema anteror no es
dagonamente domnante.
$OTA: Recurdese que a dagona prncpa est compuesta por a11, a22 y
a33.
Sn embargo, a hacer e ntercambo de rengn 2 por e rengn 3, se tene
e sguente sstema:
En este caso se puede observar que e sstema s es dagonamente
domnante, o cua se comprueba con os sguentes ccuos:
Primera fla:
|a11| > (|a12| + |a13|)
5 > (1.4 + 2.7)
5 > 4.1; es certo.
La condcn se cumpe para a prmera a.
Segunda fla:
|a22| > (|a21| + |a23|)
11 > (3.3 + 4.4)
11 > 7.7; es certo.
La condcn se cumpe para a segunda a.
Tercera fla:
|a33| > (|a31| + |a32|)
15 > (0.7 + 2.5)
"
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
15 > 3.2; es certo.
La condcn se cumpe para a tercera a.
Para que e sstema sea dagonamente domnante, a condcn debe
cumprse para todas as as. En este caso efectvamente a condcn se
cumpe para todas as as, por o cua e sstema anteror es dagonamente
domnante. Por o tanto se procede a despe|ar x1, x2 y x3 de as ecuacones
1, 2 y 3 respectvamente:
Se comenza e proceso teratvo susttuyendo os vaores de x2 = 0 x3 = 0
en a ecuacn 1 para obtener x1:
Ahora se susttuye x1 = -18.84 y x3 = 0 en a ecuacn 2 para obtener x2:
Por o tanto os vaores obtendos en a prmera teracn son:
Puesto que so se tene a prmera aproxmacn de a soucn de sstema,
se debe segur avanzando en e proceso teratvo. Susttuyendo x2 = -3.152
y x3 = -0.04613 en a ecuacn 1, se obtene x1 = -19.69765; susttuyendo
x1 = -19.69765 y x3 = -0.04613 en a ecuacn 2, se obtene x2 = -3.42775;
susttuyendo x1 = -19.69765 y x2 = -3.42775 en a ecuacn 3, se obtene
x3 = -0.05207.
Por o tanto, a segunda aproxmacn es:
Ahora se pueden cacuar os errores aproxmados para cada una de as
ncgntas:
#
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
Puesto que no se ha cumpdo e ob|etvo, se debe segur avanzando en e
proceso teratvo. Se resumen os resutados de esta manera:
Te'+e'a ite'a+i,(:
"ua'ta ite'a+i,(:
As, e ob|etvo se ha ogrado hasta a cuarta teracn y se tene que os
vaores aproxmados de a soucn de sstema son:
EJEMPLO 0 DEL MTODO DE GAUSS-SEIDEL
Resover e sguente sstema por e mtodo de Gauss Sede
1 4
1 4
1 4
1 4
4 3
4 3 2
3 2 1
2 1
= +
= +
= +
= +
x x
x x x
x x x
x x
*
Solu+i,(: Despe|ando
1
x de a prmera ecuacn;
2
x de a segunda,
etc., se obtene
1$
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
4
1
4
4
1
4 4
4
1
4 4
4
1
4
3
4
4 2
3
3 1
2
2
1
+ + =
+ + =
+ + =
+ =
x
x
x x
x
x x
x
x
x
**
Vector inicial
Cuando no se tene una aproxmacn a vector soucn, se empea
generamente como vector nca e vector cero, esto es:
( )
[ ]
T
x $ $ $ $
$
=
Para e ccuo de prmer eemento de vector
( ) 1
x , se susttuye
( ) $
x
en a prmera ecuacn de **
1
x
= 0/4 + V = 1/4
Para e ccuo de
2
x de
( ) 1
x , se empea e vaor de
1
x ya obtendo
(1/4) y os vaores
( ) $
4 3 2
% % x de x x x . As:
& 4 ' 4
1
2
= x
+ 0/4 + V = 0.3125
Con os vaores de
2 1
% x x ya obtendos, y con
4 3
% x x
de
( ) $
x se evaa
3
x
de
( ) 1
x
3
x
= 0.3125/4 + 0/4 + V = 0.3281
Fnamente, con os vaores de
2 1
% x x y
3
x
cacuados prevamente, y
con
( ) $
4
x de x , se obtene a tma componente de
( ) 1
x
4
x
= 0.3281/4 + V = 0.3320
Entonces
( )
[ ]
T
x 332$ ( $ 32"1 ( $ 3125 ( $ 25 ( $
1
=
Para a segunda teracn (cacuo de
( ) 2
x ) se `procede de gua
manera.
1
x
= 0.3125/4 + V = 0.3281
4
32"1 ( $
2
= x
+ 0.3281/4 + V = 0.4141
11
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
3
x
= 0.4141/4 + 0.3320/4 + V = 0.4365
4
x
= 0.4365/4 + V = 0.3591
Con o que
( )
[ ]
T
x 35#1 ( $ 435 ( $ 4141 ( $ 32"1 ( $
2
=
Taba 1. Soucn de sstema * por e mtodo de Gauss Sede
Iteracon X1 X2 X3 X4
0 0.0000 0.0000 0.0000 0.0000
1 0.2500 0.3125 0.3281 0.3320
2 0.3281 0.4141 0.4365 0.3591
3 0.3535 0.4475 0.4517 0.3629
4 0.3619 0.4534 0.4541 0.3635
5 0.3633 0.4544 0.4545 0.3636
6 0.3636 0.4545 0.4545 0.3636
S se toma
3
1$

= con este mtodo se requere soo 6


teracones.
. - Mtodo de So)'e''ela1a+i,( Su+esi*a 2 SOR.
La rea|acn representa una pequea modcacn de mtodo de Gauss-
Sede y est dseada para aumentar a convergenca. Despus de que
cada nuevo vaor de x se cacua (con as ecuacones anterores), e vaor se
modca medante un promedo pesado de os resutados de as teracones
anterores y actuaes:
3i41 = W3i41 + (1 - W) 3i
En donde W es un factor de peso a cua se e asgna un vaor entre 0
y 2.
S W = 1, (1 - W) es gua a cero y e resutado permanece naterado.
Sn embargo, s a W se e asgna un vaor entre 0 y 1, e resutado es un
promedo pesado de os resutados prevos y actuaes. A este tpo de
modcacn se e conoce como sobrerrea|acn. Por o genera, esta opcn
se empea para convertr un sstema dvergente en uno convergente.
S W se encuentra entre 1 y 2 se consdera otro peso en e vaor
actua. En este e|empo, exste una suposcn mpcta de que e nuevo
vaor se mueve en a dreccn correcta haca a soucn rea pero con una
veocdad muy enta. De esta forma, e peso agregado a W ntenta me|orar
a aproxmacn empu|ndoa haca a rea. Por o que este tpo de
modcacn, a cua se e ama sobrerrea|acn, est dseado para
aceerar a convergenca de un sstema que ya es convergente.
La eeccn de un vaor adecuado de W es un probema atamente
especco y a menudo se determna por prueba y error. En genera es
nnecesaro en a soucn de un sstema. Sn embargo, s e sstema ba|o
12
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
estudo se va a resover varas veces, entonces puede ser de gran
mportanca una buena eeccn de W. Agunos e|empos son os sstemas
muy grandes de ecuacones dferencaes parcaes que a menudo tratan de
modear cambos en sstemas de varabes contnuas.
EJEMPLO 5 DEL MTODO DE SOR.
E|empo de Mtodo SOR x
1
x
2
x
3
x
1
k

x
2
k

x
3
k

x
1
k-1

x
2
k-1

x
3
k-1
E sstema nea Ax = b dado por:
4x
1
+ 3x
2
= 24
3x
1
+ 4x
2
- x
3
= 30
- x
2
+ 4x
3
= -24
tene a soucn (3,4,-5)
t
. Los mtodos de Gauss-Sede y SOR con 6 =
1,25 se empearn para resover este sstema, usando x
(0)
=(1,1,1)
t
en
ambos mtodos. Las ecuacones para e mtodo de Gauss-Sede son
x
1
k
= -0.75x
2
k-1
+ 6
x
2
k
= -0,75x
1
k
+ 0,25x
3
k-1
+ 7,5
x
3
k
= 0,25x
2
k

- 6
y as ecuacones para e mtodo SOR con 6 = 1,25 son
x
1
k
= -0,25x
1
k-1

- 0,9375x
2
k-1

+ 7,5
x
2
k
= -0,9375x
1
k
- 0,25x
2
k-1
+ 0,3125x
3
k-1
+ 9,375
x
3
k
= 0,3125x
2
k

0,25x
3
k-1
7,5
en as sguentes tabas se ncuyen as prmeras 4 teracones para cada
mtodo. Para que as teracones tengan exacttud de sete cfras decmaes,
e mtodo de Gauss- Sede requere 34 teracones, en contraste con as 14
teracones que exge e mtodo de sobrerrea|acn con 6 = 1,25
Gauss-Seidel
K 0 1 2 3 4
x
1
k
1 5,250000 3,140625 3,087891 3,054931
x
2
k
1 3,812500 3,882812 3,926758 3,954223
x
3
k
1 -5,046875 -5,029297 -5,018310 -5,011444
SOR +o( 6 7 18.9
K 0 1 2 3 4
x
1
k
1 6,312500 2,622314 3,133302 2,957051
x
2
k
1 3,519531 3,958526 4,010265 4,007483
x
3
k
1 -6,650146 -4,600423 -5,096686 -4,973489
13
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
EJEMPLO 9 DEL MTODO DE SOR.
Resover as 2 prmeras teracones de sguente sstema nea por e
mtodo SOR con : =1,1
10x
1
-x
2
=9
-x
1
+10x
2
-2x
3
=7
-x
2
+10x
3
=6
Prmer paso despe|amos a varabe X para dada a ( = 1,2,3,...,n)
x
1
k
= 0,1x
2
k-1
+ 0,9
x
2
k
= 0,1x
1
k
+ 0,2x
3
k-1
+ 0,7
x
3
k
= 0,1x
2
k

+ 0,6
Segundo paso agregamos e termno (1- :)*X
k-1
sendo X
k-1
e vaor anteror
de a varabe que estamos querendo haar y uego mutpcamos a
ecuacon anteror por e peso :
x
1
k
= (1-:; /
1
<-1
+ :=0,1x
2
k-1
+ 0,9)
x
2
k
= (1-:; /
.
<-1
+ :=0,1x
1
k
+ 0,2x
3
k-1
+ 0,7)
x
3
k
= (1-:; /
0
<-1
+ : (0,1x
2
k

+ 0,6)
Los resutados de as prmeras 2 teracones de mtodo se encuentran a
contnuacn:
1 teracn
x
1
= 0,99
x
2
= 0,8789
x
3
= 0,756679
2 teracn
x
1
= 0,987679
x
2
= 0,957224
x
3
= 0,689627
Los errores reatvos son:
e
1
= 0,23%
e
.
=8,18%
e
0
=9,72%
La pregunta obva que hemos de preguntar es cmo se seeccona e vaor
apropado de w. Aunque no se conoce una respuesta competa a esta
pregunta para e sstema nea genera n x n, os resutados sguentes
sern tes en agunos casos:
Le%a de >aa(
Sea A una matrz NxN con eementos dagonaes no nuos. Entonces e
mtodo SOR converge soamente s
0 < 6 < 2
14
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
Teo'e%a 1.1
S A es estrctamente dagona domnante y 0<6<=1 e mtodo SOR
converge
Teo'e%a 1.. =Ost'o:s<i-Rei+;
S A es smtrca, rea, con dagona postva entonces SOR converge y A es
denda postva
Teo'e%a 1.0
S A es trdagona smtrca denda postva, entonces SOR converge y e
vaor optmo de W es
E1e%&lo ?. Ele++i,( de o%e-a e( SOR
10 31 +0 . 53.+ 0.2 30 + 35 = 0
0.331 + 15X2 X2 + 30 + 0.535= 9
0.231 + 0.23. + 1230 + 35 = 1
0.131 + 0.43. + 0.230 + 1935 = 5
Soucon Exacta
X1 = -0.0555791330
X2 = 0.5891910810
X3 = 0.0535662560
X4 = 0.2504825384
Sor : W = 0.8 , teracones = 16
x = -0.0555791330
0.5891910810
0.0535662560
0.2504825384
Sor : W = 0.9, teracones= 12
x = -0.0555791330
0.5891910810
0.0535662560
0.2504825384
Sor : W = 1 , teracones = 7
x = -0.0555791330
0.5891910810
0.0535662560
0.2504825384
15
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR

Sor : W = 1.1 , teracones = 13
x = -0.0555791330
0.5891910810
0.0535662560
0.2504825384
Sor : W = 1 . 2, teracones = 17
x = -0.0555791330
0.5891910810
0.0535662560
0.2504825384
1
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
EJER"I"IOS PROPUESTOS.
Mtodo de Gauss-Seidel.
1. Use e mtodo de Gauss-Sede y resueva e sguente sstema de
ecuacones:
3x1 - 0.1x2 - 0.2x3 = 7.85
0.1x1 + 7x2 0.3x3 = -19.3
0.3x1 0.2x2 + 10x3 = 71.4
Error reatvo menor 1%
Respuesta: x1 = 3.000032
x2 = -2.499988
x3 = 6.999999
2. Resover por e mtodo de Gauss-Sede:
2x1 + 20x2 2x3 = -44
-2x1 + 3x2 +10x3 = 22
10x1 + 2x2 + 1x3 = 9
Error reatvo menor a 0.01%
Respuesta: x1 = 1.000000
x2 = -2.000000
x3 = 3.000000
Mtodo de SOR.
Obtenga as dos prmeras teracones de mtodo SOR con 6 = 1,1
para os sguentes sstemas neaes usando x
(0)
= 0:
a). 3x
1
x
2
+ x
3
= 1 b) 10x
1
-x
2
=9
3x
1
+ 6x
2
+2x
3
=0 -x
1
+10x
2
-2x
3
=7
3x
1
+ 3x
2
+ 7x
3
=4 -x
2
+10x
3
=6
resp: a) (0.05410079 , -0.2115435 , 0.6477159)
t
b) (0.9876790 , -0.9784935 , 0.7899328)
t
1!
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
CONCLUSION
Luego de a reazacn de traba|o, se han hecho as sguentes
observacones:
1. Para e mtodo de Gauss-Sede, a dferenca de de |acob, so se
requere de un vector de amacenamento, dado que os eementos se
pueden sobrescrbr en tanto sean modcados con as teracones. En
contrapartda, os ccuos para taes eementos no pueden ser reazados
de manera paraea.
2. En cuanto a mtodo SOR, a convergenca se ogra ms rpdamente
que con e mtodo anteror, ba|o e costo de cacuar e factor de
rea|acn, o cua no es senco.
1"
Ingienira en Informatica
Metodos Numericos
Gauss-Seidel y SOR
@UE$TES
1( http://www.monograas.com/traba|os45/descomposcon-
u/descomposcon-u2.shtm#xmetodo
2( Mtodos $u%'i+os &a'a i(-e(ie'os. PAD Ste*e( ". "a&'a B
PAD RaC%o(d P. "a(ale.
0. A(Dlisis (u%e'i+o. BURDE$8 Ri+a'd L.E @AIRES8 J. Dou-las.
1#