Einführung in die Numerische Mathematik - Lehrstuhl Numerische ...
Einführung in die Numerische Mathematik - Lehrstuhl Numerische ...
Einführung in die Numerische Mathematik - Lehrstuhl Numerische ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4 <strong>Numerische</strong> L<strong>in</strong>eare Algebra<br />
Es gilt |λ j /λ n | < 1 für j < n, daher folgt:<br />
n∑<br />
A i x (0) = α j λ i jw j = α n λ i n (w n + o(1)) ,<br />
j=1<br />
Hieraus folgt durch Normierung:<br />
A i x (0) (<br />
‖A i x (0) ‖ = αn λ i )<br />
n wn<br />
|α n λ i n| ‖w n ‖ + o(1) → span{w n}<br />
(i → ∞).<br />
Die Iteration läuft <strong>in</strong> den Raum, der durch w n aufgespannt wird. Für e<strong>in</strong>en Vektor w, der<br />
Vielfaches e<strong>in</strong>es Eigenvektors ist w = sw n gilt:<br />
Aw = sAw n = sλ n w n = λ n w.<br />
Diese vektorwertige Gleichung gilt <strong>in</strong> jeder Komponente, kann daher nach dem Eigenwert<br />
aufgelöst werden:<br />
Wir fassen zusammen:<br />
λ n = [Aw] k<br />
w k<br />
.<br />
Satz 4.77 (Potenzmethode nach von Mises). Es sei A ∈ R n×n e<strong>in</strong>e Matrix n l<strong>in</strong>ear unabhängigen<br />
Eigenvektoren {w 1 , . . . , w n }. Der betragsmäßig größte Eigenwert sei separiert<br />
|λ n | > |λ n−1 | ≥ · · · ≥ |λ 1 |. Es sei x (0) ∈ R n e<strong>in</strong> Startwert mit nichttrivialer Komponente<br />
<strong>in</strong> Bezug auf w n . Für e<strong>in</strong>en beliebigen Index k ∈ {1, . . . , n} konvergiert <strong>die</strong> Iteration<br />
˜x (i) = Ax (i−1) , x (i) := ˜x(i)<br />
‖˜x (i) ‖ , λ(i) := ˜x(i) k<br />
x (i−1)<br />
k<br />
gegen den betragsmäßig größten Eigenwert:<br />
( ∣∣∣∣ ∣<br />
|λ (i+1) λ n−1 ∣∣∣ i )<br />
− λ n | = O<br />
, i → ∞.<br />
λ n<br />
Beweis: Wir knüpfen an der Vorbereitung des Beweises (4.10) an. Es gilt:<br />
λ (i) =<br />
˜x(i) k<br />
x (i−1)<br />
k<br />
= [Ax(i−1) ] k<br />
x (i−1)<br />
k<br />
= [Ai x (0) ] k<br />
[A i−1 x (0) ] k<br />
.<br />
Weiter, mit (4.11) gilt:<br />
(<br />
a n λ i<br />
λ (i) n [w n ] k + ∑ )<br />
n−1 α j λ i j<br />
j=1 α n<br />
[w<br />
λ i j ] k<br />
n<br />
= (<br />
a n λ i−1 n [w n ] k + ∑ n−1 α j λ i−1<br />
j<br />
j=1 α n λ i−1<br />
n<br />
( ) ∣ ∣<br />
[w n ] k +<br />
αn−1 ∣∣ λ<br />
α n<br />
+ o(1) n−1 ∣∣ i (<br />
λ [wn n<br />
] k<br />
= λ n ( ) ∣ ∣<br />
[w n ] k +<br />
αn−1 ∣∣ λ<br />
α n<br />
+ o(1) n−1 ∣∣ i−1<br />
= λ n<br />
λ [wn n<br />
] k<br />
[w n ] k + ∑ n−1<br />
j=1<br />
) = λ n<br />
[w j ] k [w n ] k + ∑ n−1<br />
1 + O<br />
,<br />
α j λ i j<br />
α n<br />
[w<br />
λ i j ] k<br />
n<br />
j=1 α λ i−1<br />
k j<br />
α n λn<br />
i−1<br />
[w j ] k<br />
( ∣∣∣∣<br />
λ n−1<br />
λ n<br />
∣ ∣∣∣ i−1 )) .<br />
170