§ 8. Разновидности методов последовательных приближений
В методах последовательных приближений решения системы
исходят из произвольного начального вектора
и получают векторы
по рекуррентной формуле
где
некоторая функция, зависящая, вообще говоря, от матрицы системы А, правой части
номера приближения
и предыдущих приближений
Будем говорить, что метод имеет первый порядок, если
зависит только от
и не зависит от
Будем называть метод стационарным, если
не зависит от
Простейшим случаем функций
будут линейные функции. Наиболее общий линейный метод последовательных приближений первого порядка должен иметь вид
где
квадратная матрица и
вектор. Естественно требовать от методов последовательных приближений, что при подстановке в правую часть (1) и (2) вместо
точного решения системы
мы слева снова получили
В случае линейного метода первого порядка это приведет к равенству
или
В этом случае мы можем переписать (2) в виде
причем
квадратные матрицы, не зависящие от
и такие, что
Выражение (5) можно также записать в виде
Наконец, если существует матрица
то выражение (5) можно записать в виде
При этом должно быть
При пользовании формулой (8) мы получим
в неявной форме. Поэтому желательно, чтобы матрицу
было легко обратить. На практике обычно берут
диагональной или треугольной. В первом случае метод называют полношаговым, во втором — одношаговым.
Разнообразные схемы, осуществляющие линейные методы последовательных приближений первого порядка, можно считать реализацией формул (5), (7) или (8).
Много линейных и нелинейных методов последовательных приближений можно получить, используя способ наименьших квадратов. При этом минимизируется функция
или же
сложенная с некоторой постоянной. Разным способам минимизации и задания нормы будут соответствовать различные методы решения систем уравнений. Как мы видели в § 5, в случае симметрической положительно определенной матрицы А можно минимизировать функцию
Один из способов такой минимизации там был рассмотрен. Этот способ можно обобщить. Выбираем какое-то направление, определяемое вектором с. Так же как и в § 5, найдем, что
принимает наименьшее значение при
где
Если возьмем вместо а величину
то будем иметь:
Таким образом, если
то
при любом
Идея многих способов минимизации
а следовательно и решения системы
заключается в следующем. Задаются начальным приближением
Определяют закон выбора векторов
(они могут зависеть от
Определяют закон выбора коэффициентов (они могут зависеть от
На каждом шаге в качестве последующего вектора рассматривают
где а было определено выше.
Если А не является симметрической положительно определенной матрицей, то можно вместо системы
рассматривать систему
где
- симметрическая положительно определенная
матрица. Часто в качестве
берут единичную матрицу
Это, конечно, не означает, что во всех случаях придется делать предварительное преобразование системы. Бывает достаточно использовать преобразованную систему лишь для построения алгоритма.