VMLA-Matzokin-2012 / 2012-лекции BMLA
.pdfМацокин А.М. “Вычислительные методы линейной алгебры.” Конспект лекций.
|
|
|
|
|
|
|
|
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