Главная | Обратная связь | Поможем написать вашу работу!

Итерационные методы Якоби и Зейделя

Рассмотрим простейшие итерационные методы решения СЛАУ – методы Якоби (простой итерации) и Зейделя. Будем рассматривать систему

,	(4.1)
где – матрица, имеющая обратную матрицу,	(4.2)

, – соответственно векторы-столбцы неизвестных и правых частей.

Начнем рассмотрение с метода Якоби. Будем считать, что все , , где – элементы матрицы А, лежащие на главной диагонали. Преобразуем систему (4.1) к виду

(4.3)

В равенстве (4.3) значение суммы считается, как это принято, равным нулю, если значение верхнего предела суммирования меньше значения нижнего предела суммирования.

Далее верхний индекс будет указывать номер итерации (приближения), например,

Зададим произвольным образом начальное приближение номера , например, так

Исходя из равенства (4.3), итерационное равенство (формулу) метода Якоби запишем так

(4.4)

Окончание итераций определяется:

1) по числу итераций, заданному заранее (максимальному числу итераций);

2) по величине так называемой стабилизации

где – заданное число, близкое к нулю;

3) по убыванию нормы вектора невязки

на

-й итерации, где

(4.5)

в заданное число раз по сравнению с нормой вектора начальной невязки , т.е. при выполнении неравенства

Напомним, что в качестве нормы вектора можно взять величины: или

С вычислительной точки зрения способ 3) хотя и более громоздкий по сравнению со способами 1) и 2), однако он дает наиболее объективную информацию о погрешности полученного решения.

Идея метода Зейделя состоит в том, чтобы найденные значения использовать для вычисления , усовершенствовав формулу (4.4) так:

(4.6)

Каноническая форма итерационных методов

Для исследования сходимости итерационных методов, т.е. установления справедливости равенства где – точное решение системы (2.1), удобнее записывать эти методы в матричной, а не в координатной форме.

Представим матрицу в виде суммы трех матриц

, где

– строго нижняя треугольная часть матрицы ,

– строго верхняя треугольная часть матрицы ,

– диагональная часть матрицы А.

Очевидно, метод Якоби с использованием введенных обозначений в векторной форме принимает вид

где – матрица, обратная к матрице :

Метод Якоби также можно записать следующим образом:

(4.7)

Аналогичным образом из соотношений (4.6) можно получить представление метода Зейделя в векторной форме

(4.8)

Далее мы увидим, что векторные равенства (4.7) и (4.8) являются частными случаями так называемой канонической формы одношаговых (двухслойных) итерационных схем вида

(4.9)

где – квадратная невырожденная матрица размера , называемая стабилизатором, – число, называемое итерационным параметром.

Матрица называется положительно определенной, если скалярное произведение для всех ненулевых векторов , или, что то же самое, .

Сформулируем теорему, принадлежащую А.А. Самарскому.

Теорема. Пусть – симметричная положительно определенная матрица, , и пусть выполнено неравенство для любого ненулевого вектора из -мерного пространства.

Тогда итерационный метод (4.9) сходится, т.е.

Покажем, как использовать данную теорему для доказательства сходимости, например, метода Зейделя.

Сравнивая (4.8) и (4.9), приходим к равенствам

, .

Таким образом, если и – положительно определенная матрица, то при условии выполнения неравенства , что является краткой формой записи неравенства относительно скалярных произведений