Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
52 3. RESOLUCIÓN DE SISTEMAS LINEALES<br />
Entonces el método de Gauss-Seidel converge.<br />
Más adelante veremos que si A es simétrica y definida positiva entonces Gauss-Seidel converge.<br />
En particular este ejemplo nos da un caso donde el método de Gauss-Seidel converge pero Jacobi<br />
no, o sea ρ(BGS) < 1 y ρ(BJ) ≥ 1.<br />
Ahora veremos un ejemplo “al revés”, es decir donde Jacobi converge pero Gauss-Seidel no.<br />
Ejemplo 3.14. (Collatz 1942, ver Varga, pag 74). Sea<br />
⎛<br />
⎞<br />
1 2 −2<br />
A = ⎝ 1 1 1 ⎠ .<br />
2 2 1<br />
Para el método de Jacobi nos queda<br />
entonces<br />
y los autovalores resultan ser<br />
⎛<br />
BJ = ⎝<br />
λI − BJ = ⎝<br />
0 −2 2<br />
−1 0 −1<br />
−2 −2 0<br />
⎛<br />
p(λ) = λ 3<br />
λ 2 −2<br />
1 λ 1<br />
2 2 λ<br />
λ1 = λ2 = λ3 = 0<br />
Entonces BJ es nilpotente, ρ(BJ) = 0 y el método converge en tres pasos.<br />
e 3 = B 3 Je 0 = 0<br />
Ahora analicemos el método de Gauss-Seidel para este ejemplo.<br />
⎛ ⎞ ⎛<br />
⎞<br />
1 0 0<br />
0 −2 2<br />
L + D = ⎝ 1 1 0 ⎠ ; −U = ⎝ 0 0 −1 ⎠ y (L + D)<br />
2 2 1<br />
0 0 0<br />
−1 =<br />
En consecuencia,<br />
y<br />
Los autovalores resultan ser<br />
BGS = −(L + D) −1 U = ⎝<br />
⎛<br />
λI − BGS = ⎝<br />
⎛<br />
⎞<br />
⎠<br />
⎞<br />
⎠<br />
0 −2 2<br />
0 2 −3<br />
0 0 2<br />
λ 2 −2<br />
0 λ − 2 3<br />
0 0 λ − 2<br />
λ1 = 0 λ2 = 2 λ3 = 2<br />
entonces ρ(BGS) = 2 y el método de Gauss-Seidel no converge.<br />
⎞<br />
⎠<br />
⎞<br />
⎠<br />
⎛<br />
⎝<br />
1 0 0<br />
−1 1 0<br />
0 −2 1<br />
⎞<br />
⎠