11.08.2013 Views

Apunte

Apunte

Apunte

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!