Professional Documents
Culture Documents
materiay do wykadu
dla studentw
+
++
= ,
+
++
= ,
(3.1)
+
++
= ,
gdzie
= +
+
+ +
,
= +
+
+ +
,
(3.2)
= +
+
+ + ,
,
=
, = 1,2, ,
, , = 1,2, , ,
0
Oznaczajc:
= ! # , $ = !
(3.3)
#
0
,
+ $% (3.4)
36
('( )
(')
(')
+ +
= +
+
++
)
(')
(')
= +
+
+ + ,
('( )
('(
(')
(')
(')
(')
, (3.6)
(')
Twierdzenie 3.1.
Jeeli cig 7% (') 8 jest zbieny, to jego granica jest rozwizaniem ukadu rwna (3.2)
(rwnowanie rozwizaniem ukadu (3.1)).
Przykad 3.1.
2 +
+
10
3
6
2 +3 +6
5
=5
= 10
= 12
Metod iteracji prostej znale pierwsze dwa przyblienia rozwizania ukadu rwna:
37
('( )
('( )
('( )
('( )
(')
+
+
('( )
(')
(')
('( )
('( )
(')
(3.7)
('( )
('( )
(')
38
% ('(
0 0 0 0
0
B
B
0 0 0 E
0 0
A
D
A
= = A 0 0 D , > = A 0 0 0
A
A D
0C
@ 0 0 0
@
D
D.
D
0 C
Przykad 3.2.
5
2 +
6 + 10 3
2 +3 +6
=5
= 10
= 12
39
Twierdzenie 3.2.
Cig kolejnych przyblie (3.5) dla ukadu rwna (3.1) jest zbieny, jeli zachodzi jeden
z warunkw:
a) macierz T jest przektniowo dominujca, tzn.:
{1, , }: KL
;
M
lub rwnowanie:
L<|
{1, , }: KL
;
M
|,
L < 1;
L|
| {1, , }: KL
;
M
L<|
|;
40
Uwaga 3.2. Twierdzenie 3.2. dotyczce warunkw zbienoci metody iteracji jest suszne
take dla metody Seidela. Metoda Seidela zapewnia na og szybsz zbieno ni metoda
iteracji prostej.
Uwaga 3.3. Dla macierzy o dominujcej przektnej mona sformuowa wniosek, e
zazwyczaj im wiksza dominacja przektnej nad pozostaymi elementami, tym metody iteracji
prostej i Seidla s szybciej zbiene. Nie jest to jednake prawda w oglnym przypadku, znane
s bowiem kontrprzykady.
Uwaga 3.4. Teza twierdzenia 3.2 pozostaje w mocy, jeli to macierz TU bdzie przektniowo
dominujca. Oznacza to, e element przektnej moe dominowa w kolumnach, a nie
w wierszach.
Uwaga 3.5. Twierdzenie 3.2 nie wyczerpuje warunkw wystarczajcych na zbieno metody
Seidela. Zdarza si, e algorytm jest zbieny w sytuacjach nieopisanych powyszymi
kryteriami. Tak jest np. w przypadku macierzy Googlea z poprzedniego rozdziau, do
ktrych rozwizania stosuje si wanie metody iteracyjne.
2 +
+
10
3
6
2 +3 +6
=5
= 10
= 12
41
b) norma wierszowa
c) norma euklidesowa
'
T = max KL
T[ = max KL
Z Z'
Z Z'
'
'
'
T\ = ]K K
;
Zamy, e metoda iteracji dla ukadu rwna (3.2) jest zbiena, za wektor %c jest jego
rozwizaniem dokadnym. Wtedy:
Twierdzenie 3.3.
: b%c % ( ) b
$ (
b% ()) b.
1 $
Wniosek 3.4.
$ (
b% ()) b < e,
1 $
Uwaga 3.6. Nie ma znaczenia, jakiego rodzaju normy uyjemy w twierdzeniu 3.3. Istotne jest
jedynie, aby stosowa konsekwentnie ten sam rodzaj normy w caym wzorze.
42
2 +
+
10
3
6
2 +3 +6
=5
= 10
= 12
43