Пусть требуется решить систему уравнений
, (7.1)
где ,
,…,
– заданные, вообще говоря, нелинейные (среди них могут быть и линейные) вещественнозначные функции
вещественных переменных
.
Обозначив
,
,
,
данную систему (7.1) можно записать одним уравнением.
(7.1a)
относительно векторной функции F векторного аргумента .
Таким образом, исходную задачу можно рассматривать как задачу о нулях нелинейного отображения .
Начнем изучение методов решения нелинейных систем с наиболее простого метода.
Пусть система (7.l) имеет вид (преобразована к виду):
(7.2)
или иначе, в компактной записи,
, (7.2а)
где
.
Для этой задачи о неподвижной точке нелинейного отображения запишем формально рекуррентное равенство
,
(7.3)
которое определяет метод простых итераций (МПИ) (или метод последовательных приближений) для задачи (7.2).
Если начать процесс построения последовательности с некоторого вектора
и продолжить по формуле (7.3), то при определенных условиях эта последовательность со скоростью геометрической прогрессии будет приближаться к вектору
– неподвижной точке отображения
. А именно, справедлива следующая теорема.
Теорема 7.1. Пусть функция и замкнутое множество
таковы, что:
1) ;
2)
Тогда имеет в
единственную неподвижную точку
; последовательность
, определяемая МПИ (7.3), при любом
сходится к
и справедливы оценки
.
Однако практическая ценность такой теоремы не так велика из-за неконструктивности ее условий. В случаях, когда имеется хорошее начальное приближение к решению
, больший интерес для приложений может представить следующая теорема
Теорема 7.2. Пусть функция дuфференцируема* в замкнутом шаре**
причем
. Тогда, если центр
и радиус
шара
, таковы, что
, то справедливо заключение теоремы 7.1 с
.
Учитывая, что в линейном случае, как правило, по сравнению с МПИ более эффективен метод Зейделя (см. (6.12) и теорему 6.7), здесь может оказаться полезной подобная модификация. А именно, вместо (7.3) можно реализовать следующий метод покоординатных итераций:
(7.4)
Заметим, что как и для линейных систем, отдельные уравнения в методе (7.4) неравноправны, т.е. перемена местами уравнений системы (7.2) может изменить в каких-то пределах число итераций и вообще ситуацию со сходимостью последовательности итераций. Чтобы, применить метод простых итераций (7.3) или его зейделеву модификацию (7.4) к исходной системе (7.1), нужно, как и в скалярном случае, сначала тем или иным способом привести ее к виду (7.2). Это можно сделать, например, умножив (7.1а) на некоторую неособенную -матрицу –
и прибавив к обеим частям уравнения –
вектор неизвестных
. Полученная система
эквивалентна данной и имеет вид задачи о неподвижной точке (7.2а). Проблема теперь, состоит лишь в подборе матричного параметра такого, при котором вектор-функция
обладала бы нужными свойствами.