You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
58 3. RESOLUCIÓN DE SISTEMAS LINEALES<br />
Observemos que si A ∈ IR N×N , A ∗ = A T y Hermitiana significa simétrica.<br />
Si z ∈ C N y A es Hermitiana entonces<br />
z ∗ Az ∈ IR.<br />
En general para A cualquiera z ∗ Az = z ∗ A ∗ z. Veamos esto,<br />
y entonces<br />
z ∗ Az = <br />
z ∗ Az = <br />
ij<br />
ij<br />
ziaijzj<br />
ziaijzj = z ∗ A ∗ z<br />
Teorema 3.22. Sea A ∈ C N×N Hermitiana y definida positiva (o sea z ∗ Az > 0 ∀z = 0),<br />
entonces el método de Gauss-Seidel es convergente.<br />
Demostración.<br />
con<br />
⎛<br />
⎜<br />
L = ⎜<br />
⎝<br />
A = L + D + L ∗<br />
0 0 · · · 0<br />
a21<br />
.<br />
0 · · ·<br />
. ..<br />
0<br />
aN1 · · · 0<br />
Hay que ver que ρ(BGS) < 1 donde BGS = −(L + D) −1 L ∗ .<br />
Observemos que BGS puede escribirse como<br />
BGS = I − (L + D) −1 A<br />
Sea λ ∈ C un autovalor de BGS y z ∈ C N , z = 0, un autovector correspondiente a λ, es decir<br />
(I − (L + D) −1 A)z = λz<br />
o bien<br />
(L + D)z − Az = λ(L + D)z<br />
y esto es equivalente a<br />
Az = (1 − λ)(L + D)z<br />
Como Az = 0 se deduce que λ = 1. Multiplicando por z∗ se obtiene<br />
1<br />
1 − λ = z∗ (L + D)z<br />
z∗Az tomando conjugado y recordando que z∗Az ∈ IR y que D es real se tiene<br />
1<br />
1 − λ = z∗ (L + D) ∗z z∗Az Y sumando estas dos igualdades se obtiene<br />
1<br />
2Re(<br />
1 − λ ) = 1 + z∗Dz z∗ > 1<br />
Az<br />
⎞<br />
⎟<br />
⎠<br />
= z∗ (L∗ + D)z<br />
z∗ .<br />
Az