Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

VMLA-Matzokin-2012 / 2012-лекции BMLA

.pdf
Скачиваний:
328
Добавлен:
06.06.2015
Размер:
4.66 Mб
Скачать

Мацокин А.М. “Вычислительные методы линейной алгебры.” Конспект лекций.

 

 

 

 

 

 

 

 

k || Sk ||

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

lim k c

[

 

(S)

]

 

 

 

(S)

 

 

 

 

 

 

(0,

0

) .

 

 

 

 

 

 

k

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Переходя в этом неравенстве к пределу при

 

 

 

 

0 и учитывая, что левая

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k || Sk ||

 

 

 

 

 

 

 

 

часть неравенства от

не зависит, получим

lim

 

 

(S) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k || Sk ||

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. lim

(S) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действительно, так как все нормы в конечномерном пространстве

эквивалентны, то

:

|| Sk ||

 

 

|| Sk ||

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k || Sk ||

 

 

 

 

 

 

 

|| Sk ||

 

 

lim k

 

 

 

 

 

 

k || Sk ||

 

 

 

 

 

 

 

 

 

 

lim

 

 

lim k

 

 

 

 

 

 

lim

 

 

 

 

 

(S) .

 

 

k

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k || Sk ||

 

 

 

 

 

 

 

 

 

 

 

 

k || Sk ||

 

4. Из полученных неравенств

lim

 

 

 

 

(S)

и

 

lim

(S)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k || Sk ||

 

 

 

 

k || Sk ||

 

 

 

 

 

k || Sk || .

 

 

 

 

следует, что lim

 

lim

 

 

 

 

(S)

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание.

 

 

Асимптотическая

скорость

 

 

сходимости

стационарного

итерационного метода в отличие от средних скоростей сходимости не зависит от выбора матричной нормы. Обычно полагают, что метод с большей асимптотической скоростью “лучше” метода с меньшей асимптотической скоростью сходимости. Но такое мнение не всегда оправдано, поскольку определить количество итераций, необходимое для уменьшения начальной ошибки в 1 / раз в конкретной норме, зная только R (S) невозможно.

31

Мацокин А.М. “Вычислительные методы линейной алгебры.” Конспект лекций.

Лекция 6.

Один из способов построения итерационного метода решения системы линейных алгебраических уравнений Ax b состоит из представления

матрицы в виде A B

C , переписи системы в виде Bx Cx

b и определении

очередного приближения

xk 1 по известному приближению

xk из решения

системы Bxk 1

Cxk

b.

 

 

Доказать: Bxk 1

Cxk

b

xk 1 xk B 1(Axk b) .

 

Метод Якоби

Если D

diag A

diag{a11, a22 , ..., ann}, то итерационный процесс

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xk 1

xk

D 1(Axk

 

 

b)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

называется методом Якоби для решения системы Ax b .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сходимость в случае диагонального преобладания по строкам

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема.

Если | ai i |

| ai j

|

i , то метод Якоби сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

j

1, j i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док–во.

i–тая строка матрицы

 

 

 

 

 

 

1

 

:

 

 

 

 

ai1

 

 

 

 

 

 

 

ai,i

1

 

 

ai,i 1

 

 

 

 

ai n

.

 

S

E

D A

 

 

 

 

 

 

 

, ...,

 

 

 

 

, 0,

 

 

 

 

, ...,

 

 

 

 

 

 

 

ai i

 

 

 

ai i

 

ai i

 

ai i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из

условия

теоремы

 

 

 

ai1

...

 

 

ai,i 1

 

 

 

ai,i 1

...

 

 

ai n

 

 

1

 

 

 

 

 

 

ai i

 

 

 

 

ai i

 

 

 

 

 

 

 

ai i

 

 

 

ai i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|| S ||

1, т.е. выполняется достаточное условие сходимости.

 

 

 

 

Сходимость в случае диагонального преобладания по столбцам

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема.

Если | a j j |

| ai j

|

j , то метод Якоби сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

i

1, i j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док–во.

j–ый столбец матрицы

T

E

AD

1

:

 

 

 

a1 j

 

, ...,

 

a j 1, j

, 0,

a j 1, j

, ...,

 

an j

 

.

 

 

 

 

 

a j j

 

 

a j j

 

 

a j j

 

a j j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из условия

теоремы

 

 

a1 j

 

...

 

 

a j 1, j

 

 

a j 1, j

...

 

 

an j

 

 

1

 

 

 

 

 

a j j

 

 

 

 

a j j

 

 

 

 

 

 

 

a j j

 

 

 

a j j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(S)

(E D 1A)

(DTD 1)

 

 

(T)

 

 

|| T ||1 1,

т.е.

 

выполняется

 

необходимое условие сходимости.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

32

Мацокин А.М. “Вычислительные методы линейной алгебры.” Лекция 6.

Необходимое и достаточное условие сходимости метода Якоби в случае симметричной матрицы с положительной главной диагональю Теорема.

Если матрица A системы Ax

 

b самосопряжена:

A

A ,

а ее

диагональ

D D diag A

diag{a11, a22 , ..., ann} положительно определена: D

0 ,

 

то метод Якоби:

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

задан,

 

 

 

 

 

 

 

 

xk 1

xk

D 1 (Axk

b),

 

 

 

 

 

 

 

k

0, 1, ...,

 

 

 

 

 

 

 

сходится к решению x системы Ax b тогда

и

только тогда,

когда

положительно определены матрицы A и 2D A .

 

 

 

 

 

Доказательство. Прежде всего, отметим, что

 

 

 

 

 

 

для самосопряженной, положительно определенной матрицы D можно

построить ее квадратный корень:

 

 

 

 

 

 

 

 

 

D1/2 (D1/2 )

0 : D1/2D1/2

D,

 

 

 

 

собственные

значения

 

(S)

1 (D 1A)

матрицы

S

E

D 1A

совпадают

с

собственными

значениями

(S)

1

(D 1/2AD 1/2 )

матрицы

D1/2SD 1/2

E

D 1/2AD 1/2 ,

которая

самосопряжена

( A A ) и, следовательно, ее собственные значения вещественны:

 

 

 

(S) 1

(D 1/2AD 1/2 )

(S),

 

 

 

 

так как необходимым и достаточным условием сходимости метода Якоби

является

условие

(S)

(E

D 1A)

1,

то нам

нужно

найти

необходимые и достаточные условия выполнения неравенств:

 

 

 

2

(D 1/2AD 1/2 ) 0

0

(D 1/2AD 1/2 )

2.

 

 

Необходимость: метод Якоби сходится, т.е. (S) 1 и, следовательно,

 

 

 

 

 

0

(D 1/2AD 1/2 )

2 ,

 

 

 

 

 

т.е. самосопряженные

матрицы

D 1/2AD 1/2

и

2E

D 1/2AD 1/2

положительно определены:

 

 

 

 

 

 

 

 

 

(D 1/2AD 1/2y, y)

min (D 1/2AD 1/2 ) (y, y)

0

y

0

Rn ,

 

([2E D 1/2AD 1/2 ]y, y)

[2

min (D 1/2AD 1/2 )] (y, y)

0

y

0

Rn .

Тогда A

0 , так как

 

 

 

 

 

 

 

 

 

 

z

0

(Az, z)

(A D 1/2y , D 1/2y)

(D 1/2AD 1/2y, y)

0 .

 

 

 

 

 

 

z

z

 

 

 

 

 

 

Тогда 2D

A

 

0, так как

 

 

 

 

 

 

 

 

 

 

z

0

([2D A]z, z)

([2E

D 1/2AD 1/2 ]D1/2z, D1/2z)

0 .

 

 

 

 

 

 

 

 

 

y

y

 

 

 

33

Мацокин А.М. “Вычислительные методы линейной алгебры.” Лекция 6.

Достаточность: самосопряженные матрицы A и 2D A положительно определены, следовательно:

 

 

 

 

min (A)

0,

min (2D

A)

0 .

 

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

положительно определена матрица D 1/2AD 1/2 , так как

 

 

 

 

 

z 0

(D 1/2AD 1/2z, z)

(A D 1/2z, D 1/2z)

0 ,

 

 

 

 

 

 

 

 

 

 

y

y

 

 

 

и, следовательно,

(D 1/2AD 1/2 )

0 ;

 

 

 

 

 

 

положительно определена матрица 2E D 1/2AD 1/2 , так как

 

 

z

0

([2E

D 1/2AD 1/2 ]z, z)

([2D

A]D 1/2z, D 1/2z)

0 ,

 

 

 

 

 

 

 

 

 

 

y

 

y

 

и, следовательно,

(2E D 1/2AD 1/2 )

2

(D 1/2AD 1/2 )

0 .

 

Таким образом,

0

(D 1/2AD 1/2 )

2 и, следовательно, любое собственное

значение матрицы шага для ошибки метода Якоби меньше 1:

 

 

 

 

 

|

(S) |

|1

(D 1/2AD 1/2 ) |

1,

 

 

 

т.е. выполняется условие сходимости метода: (S) 1.

 

 

 

Пример матрицы

A

D

L

L

0 & D

0, но матрица 2D A не

положительно определена, т.е. метод Якоби не будет сходиться:

 

1

0.5

0.5

 

 

 

 

 

 

 

 

 

A

0.5

1

0.5 ,

1(A)

2,

2 (A)

3(A)

0.5

A

0 ,

 

0.5

0.5

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

0.5

 

0.5

 

 

 

 

 

 

 

2D

A

0.5

1

 

0.5 ,

1(2D

A)

0

2D A

0 .

 

 

0.5

0.5

 

1

 

 

 

 

 

 

 

Метод Зейделя (Гаусса–Зейделя, Некрасова)

Если матрицу системы Ax

b представить в виде суммы A

L

D R , где

 

D diag A

diag{a11, a22 , ..., ann},

 

 

0

 

 

 

 

0

a12

 

a1n

a21

0

0

 

 

 

0

 

 

L

 

 

 

,

R

 

 

 

 

 

0

 

 

 

0

0

an 1,n

an1

 

an,n

1

0

 

 

 

0

то итерационный процесс

 

 

 

 

 

 

 

 

xk

1

xk

(D

L) 1(Axk

b)

 

 

34

Мацокин А.М. “Вычислительные методы линейной алгебры.” Лекция 6.

называется методом Зейделя для решения системы Ax

b .

Доказать: S E (D L) 1A E (A R) 1 A (A

R) 1 R .

Теорема (о необходимом и достаточном условии сходимости метода Зейделя в случае симметричной матрицы с положительной главной диагональю)

Если A A & D 0 ,

 

то

(S)

(E (D

L) 1A)

1 (т.е. метод Зейделя сходится)

 

тогда и только тогда, когда A

0 .

 

 

 

 

 

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

 

Необходимость:

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть метод Зейделя сходится, т.е.

(S)

 

(E

(D

L) 1A)

1.

 

Предположим, что A

0 (доказать, что

 

min (A)

0 ).

 

 

Тогда

: (A

,

) 0 (например,

: A

min (A)

).

 

 

Зададим z0

и оценим (Azk

1, zk

1) :

 

 

 

 

 

 

 

(Azk 1, zk 1)

(A (E

[A

R] 1A)zk , (E

[A

R] 1A)zk )

 

 

 

 

 

 

 

zk

1

 

 

 

 

zk

1

 

 

 

 

 

(Azk

A[A

R] 1 Azk , zk

[A

 

R] 1Azk )

 

 

 

 

 

 

 

 

yk

0

 

 

 

 

yk

 

 

 

 

 

(Azk , zk ) (Azk , yk )

(Ayk , zk ) (Ayk , yk )

 

 

(Azk , zk ) ([A R]yk , yk )

(yk ,[A

R]yk ) (Ayk , yk )

 

 

(Azk , zk ) ([A R]yk , yk )

([A L]yk , yk ) (Ayk , yk )

 

 

(Azk , zk )

(Dyk , yk )

(Azk , zk ) ...

(Az0 , z0 ) const

0.

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

lim|| zk 1 ||

const

 

0, метод не сходится, что противоречит (S)

1,

следовательно, предположение, что A

0 , неверно и A 0 .

 

 

Необходимость утверждения теоремы доказана.

 

 

 

 

 

Отметим на будущее, что

 

 

 

 

 

 

 

 

 

 

 

 

 

(Azk

1, zk

1)

(Azk , zk ), если zk

0 .

 

 

Достаточность.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Нужно доказать, что из условия A

A

0

(S)

 

([A

R] 1R)

1.

Во-первых, заметим, что из условия A

A

0

 

 

 

 

 

1.

min (A)

0,

(A

,

)

min (A) (

,

)

;

 

 

 

 

35

Мацокин А.М. “Вычислительные методы линейной алгебры.” Лекция 6.

2. dmin

min ai,i

min (A) , т.к.

 

 

 

 

 

1 i

n

 

 

 

 

 

dmin

(Demin , emin ) (Aemin , emin )

min (A)

0, т.е. D

0 .

Теперь, пусть

Sp(S) – собственное значение, а

– собственный вектор:

S

[A

R] 1R

(S)

R

(S) [A

R] , ||

|| 2 1.

Умножим последнее равенство скалярно на собственный вектор:

 

 

 

 

 

 

(R

,

 

)

(S)

[ (A ,

)

 

 

 

(R

,

)]

 

 

 

 

 

 

 

 

r

 

i

 

 

 

 

 

 

 

 

a

min (A)

 

0

 

 

 

r

 

i

 

 

 

 

тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

(S) | 2

 

 

r2

2

 

 

 

 

 

r2

2

 

 

 

 

1,

 

 

 

 

(a

r)2

 

 

2

 

 

a(a

2r)

 

 

 

r2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если a

2r

(A

,

)

 

2

 

Re[(R

,

 

)]

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действительно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

2r

(A

,

)

 

 

2

 

Re[(R

,

 

)]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(A

,

 

)

 

 

 

 

 

2

Re[(R

,

)]

 

 

 

 

 

 

 

 

 

(D

,

) (R

,

)

 

(R ,

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(D

,

)

 

 

dmin

 

min (A)

0

 

 

 

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

(S) | 2

 

 

r2

2

 

 

 

 

 

 

 

r2

 

2

 

 

 

 

 

 

 

1, т.к. min (A) 0 .

a(a

 

2r)

 

 

r

2

2

 

 

 

 

2

 

 

 

 

r

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

min (A)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема доказана, но в дополнение можно вывести оценку

(S) :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(S)

 

 

max

|

(S) | .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(S)

Sp(S)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т.к. 0 r2

2

| (R , ) |2

|| R ||22 || ||22

 

|| R ||22

 

 

(R R) , то

 

| (S) | 2

 

 

x

 

 

 

 

 

 

 

max

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

(R R)

, т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

x

 

 

 

 

 

 

2

 

 

 

 

x

2

 

 

 

 

 

(R R)

 

 

 

min (A)

0

x

(R R)

min (A)

 

 

 

 

min (A)

 

 

 

 

 

 

 

 

 

 

 

(S)

 

 

 

 

 

 

 

(R R)

 

 

 

 

 

 

1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(R R)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

min (A)

 

 

 

 

 

36

Мацокин А.М. “Вычислительные методы линейной алгебры.” Конспект лекций.

Лекция 7. Функционал ошибки

Второй из способов построения итерационного метода решения системы

линейных алгебраических уравнений Ax

b ( det A

0 ) состоит из построения

последовательности

приближений

{xk }

 

такой,

что

|| zk 1 ||

|| zk

||, т.е.

 

 

 

 

k 0

 

 

 

 

 

 

 

 

строгого убывания на каждом шаге функционала ошибки f (xk

x)

 

|| zk || ,

где zk xk x .

 

 

 

 

 

 

 

 

 

 

 

 

Теорема. Если

|| zk 1 || || zk ||

zk

0

и

отображение

S : Rn

Rn

(оператор шага для ошибки: zk 1

S(zk ) ) непрерывно при z

0 , то

|| zk ||

0, т.е. xk

x .

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

Так как последовательность чисел { || zk || }

ограничена снизу 0 и

 

 

 

 

 

 

 

 

k 0

 

 

 

 

 

монотонно убывает, то она имеет предел:

lim || zk ||

 

0 .

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

Если

 

0 , то теорема доказана.

 

 

 

 

 

 

 

 

Предположим, что

0 .

 

 

 

 

 

 

 

 

 

 

Так

как

последовательность

векторов

{ zk }

лежит

в

шаре

 

 

 

 

 

 

 

 

 

k 0

 

 

 

 

{ z :

|| z ||

|| z0 || }

конечномерного

пространства

R n ,

то

из нее

можно извлечь сходящуюся подпоследовательность {zkm } :

 

zkm

z,

|| z ||

0 .

 

 

Так как zkm

0 и

z

0 ,

то

к этим

векторам применимо

отображение S :

zkm 1

S(zkm ) ,

S(z) :

|| S(z) || || z ||

0 .

Тогда, выполнив предельный переход в соотношениях

 

|| zkm 1 ||

|| S(zkm ) ||

|| zkm ||

 

 

 

|| S(z) ||

|| z ||,

 

и, учитывая, что || S(z) ||

|| z ||

, получим противоречие:

.

Следовательно, предположение

lim

|| zk ||

0 неверно и, стало

 

 

 

 

k

 

 

 

быть, lim || zk ||

0 . Теорема доказана.

 

 

k

 

 

 

 

 

 

 

37

Мацокин А.М. “Вычислительные методы линейной алгебры.” Конспект лекций.

Метод полной релаксации

Вспомним, что в стационарном итерационном методе Зейделя для решения системы Ax b компоненты xk+1i приближения xk 1 определялись последовательно ( i 1, 2, ..., n ) как решения уравнений

a

i1

xk 1

...

a

i,i 1

xk 1

a

i i

xk+1

a

i,i 1

xk

...a

i n

xk

b ,

 

1

 

 

 

i 1

 

i

 

 

 

i 1

 

 

i n

i

k+1

(ai i )

1

 

k 1

...

ai,i 1

k 1

 

ai,i 1

k

1 ...ai n

 

k

т.е. xi

 

{[ai1 x1

 

xi

1

 

xi

xi n ] bi}.

Если через xk i/n обозначить вектор

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xk

i/n

(x1k 1,

 

...,

xik

11,

xik+1,

xik

1,

...,

xkn )T ,

 

то очередное приближение xk

1 стационарного итерационного метода Зейделя

для решения системы Ax

 

b вычисляется по формулам

 

 

 

xk i/n

 

xk

(i

1)/n

 

 

e ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k,i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

k (i

1)/n

(ai i )

1

 

 

 

k 1

...

ai, i

 

k

1

ai, i 1

k

 

k

k,i

 

 

 

 

{[ai1

x1

1 xi

1

 

xi

1

...ai n xi n ] bi}

 

 

 

 

 

 

 

 

 

 

 

 

i

1, 2, ..., n,

 

 

 

 

 

 

 

 

 

 

где ei i -ый орт.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Но в формуле

xk

i/n

 

xk (i

1)/n

k,i

e

параметр

 

k,i

можно выбирать из

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

условия минимизации функционала ошибки f (xk i/n

 

 

x)

|| zk

i/n ||.

Предположим, что матрица системы

Ax

b

симметрична и положительно

определена:

A

 

A

0 . Определим (энергетические)

 

скалярное произведение

и норму в R n :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x, y)A

(Ax, y),

|| x || A

 

(x, x)A ,

 

 

 

и параметр

k,i

будем выбирать из условия минимума || zk i/n || A .

Теорема. Если матрица системы

Ax b

симметрична

и

положительно

 

 

определена:

A

 

A

0 ,

а параметры

k,i

итерационного метода

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(метод полной релаксации)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

R n

задан,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xk

i/n

xk

 

(i

1)/n

 

 

e ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k,i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k,i

: || zk

i/n ||

A

inf || zk (i 1)/n

 

 

e ||

A

, i

1, 2, ..., n,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

k

0, 1, ...,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

 

k,i

(ai i ) 1[rk

(i

1)/n ] i ,

 

 

 

 

 

 

 

 

 

 

 

 

38

Мацокин А.М. “Вычислительные методы линейной алгебры.” Конспект лекций.

 

2) || zk 1 || A

|| zk || A , если zk

 

0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) метод полной релаксации можно записать в виде

 

 

 

 

 

 

x0

Rn

задан,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

k

(ai i )

1

 

 

k 1

...

ai,i

 

k 1

 

 

k

 

k

 

bi

],

 

xi

xi

[ai,1x1

 

 

1xi

1

ai,ixi ...

ai,n xn

 

 

i

1, 2, ..., n,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

0, 1, ...,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или ( A

D

L

R )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

Rn

 

 

задан,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xk 1

 

xk

 

D 1[ Lxk 1

 

(D R)xk

 

b]

 

 

 

 

 

 

 

 

 

 

 

 

 

xk

 

(D

L) 1[Axk

b],

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

0, 1, ...,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(т.е. метод полной релаксации совпадает с методом Зейделя!),

 

4) отображение S

 

E

 

(D

L) 1A : Rn

 

Rn (оператор шага для

 

ошибки: zk 1

 

S(zk ) ) непрерывно и из теоремы о строгом убывании

 

функционала ошибки следует сходимость метода полной релаксации.

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Решим задачу

k,i

:

 

|| zk

i/n ||

A

inf || zk

 

(i 1)/n

 

e ||

A

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

Так как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|| zk

(i

1)/n

e ||

2

 

 

(A[zk (i

1)/n

 

e ], [zk (i

1)/n

 

 

 

e ])

 

 

 

 

 

 

i

A

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

i

 

 

 

 

|| zk (i

1)/n || 2

2

 

(Azk

(i

1)/n , e )

2

(Ae , e )

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

i

 

 

 

i

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[rk

(i

1)/ n ]

i

 

 

 

ai i

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|| zk

(i

1)/n

|| 2A

 

 

([rk (i

 

1)/n ] i )2

(

 

ai,i

[rk

(i

1)/n ] i )2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ai,i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то,

очевидно,

что при

 

 

ai,i

[rk

(i

1)/n ] i

 

0 будет максимальное

 

уменьшение ошибки (полная релаксация):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|| zk i/n || 2A

 

 

|| zk (i

1)/n

 

|| 2A

 

(rik (i

 

1)/n )2

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ai,i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е.

 

k,i

(ai i )

1[rk

 

(i

 

1)/n ] i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Теперь докажем, что || zk 1 || A

|| zk || A , если zk

0 .

 

 

 

 

 

 

Действительно, так как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

39

Мацокин А.М. “Вычислительные методы линейной алгебры.” Конспект лекций.

 

|| zk 1 || 2A

 

|| zk ||

2A

 

(r1k )2

 

 

(rk2

1/n )2

 

...

 

 

(rkn

(n 1)/n )2

 

 

 

 

 

 

a1,1

 

 

a2,2

 

 

 

 

 

an,n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и хотя бы одна из компонент

rik

(i

1)/n

 

 

0 (в противном случае

 

xk

i/n

xk

(i 1)/n

 

xk , rk i/n

rk ,

 

 

т.е.

 

 

rk

0

zk

0 ), то

 

функционал ошибки строго убывает.

 

 

 

 

 

 

 

 

 

 

 

 

3) Выпишем формулы реализации метода полной релаксации. Так

 

как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xk

i/n

 

(xk

1,

...,

 

xk

1,

xk+1,

 

xk

1

, ...,

xk )T

 

 

 

 

 

 

1

 

 

 

 

 

i 1

 

i

 

 

i

 

 

 

n

 

 

 

 

 

 

 

 

xk

(i

1)/n

 

k,i

ei ,

 

k,i

 

(ai i )

1[rk

(i 1)/n ] i ,

 

 

[rk

(i 1)/n ] i

 

[Axk

(i

1)/n

b] i

[

Lxk

1

Dxk

Rxk

b] i ,

 

 

то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xik 1

xik

i/n

xik (i 1)/n

(ai i ) 1[rk

(i

1)/n ] i

 

 

 

 

 

 

 

 

 

 

 

k

(i 1)/n

(ai i )

1

 

 

k

1

 

 

 

 

 

 

k

1

 

 

 

k

 

 

k

bi ],

 

xi

 

 

[ai,1x1

 

... ai,i 1xi

1

ai,ixi

...

ai,n xn

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xk 1

xk

D 1[ Lxk 1

Dxk

 

Rxk

 

 

b]

 

 

 

 

 

 

 

 

 

D 1{Dxk

 

Lxk 1

 

(A

 

L)xk

 

 

b]}

 

 

 

 

 

 

 

 

D 1{Lxk 1

(D

L)xk

 

Axk

 

 

b]}

 

 

 

 

 

 

xk 1

xk

(D

L) 1[Axk

b].

 

 

 

 

 

 

 

 

 

4) Очевидно, что мы получили стационарный итерационный метод с

 

матрицей шага для ошибки S

 

E

(D

L) 1A , которая является

 

непрерывным отображением из R n в R n , и из теоремы о строгом

 

убывании функционала ошибки следует сходимость метода полной

 

релаксации.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Метод неполной релаксации

 

 

 

 

Изменим метод полной релаксации решения системы Ax

b с матрицей

A A

0 , введя вещественный параметр

:

 

 

 

 

 

 

 

 

 

 

 

40

Соседние файлы в папке VMLA-Matzokin-2012