При моделировании задача нахождения решения системы алгебраических или трансцендентных уравнений является распространенной вычислительной задачей. Например, к решению таких систем сводятся расчеты фазового и химического равновесия многокомпонентных смесей, расчеты статических режимов многих технологических процессов и др.
Запишем систему n нелинейных уравнений с n неизвестными (СНУ) в общем виде:
f1(x1, x2, …, xn) = 0
f2(x1, x2, …, xn) = 0 (5.1)
…
fn(x1, x2, …, xn) = 0
Эту систему можно записать в компактной, операторной форме:
F(X) = 0 (5.2)
где
вектор неизвестных
вектор-функция
Решением системы называется набор значений , (вектор X*), при которых все функции fi равны 0 (система (5.1) обращается в тождество.)
СНУ могут иметь единственное решение, множество решений или вообще не иметь его. Поэтому численное решение СНУ проводят в два этапа:
1 этап – отделение решений.
2 этап – уточнение всех или только нужных решений.
5.1. Отделение решений.
Отделить решения – значит установить количество решений, определить приближенные значения каждого из них или указать область, в которой решение существует и является единственным.
Задача отделения решений достаточно просто решается только для системы двух уравнений с двумя неизвестными.
f1(x1, x2) = 0
f2(x1, x2) = 0
Для этого необходимо в координатах (x1, x2) построить кривые
f1(x1,х2) = 0, f2(x1,х2) = 0.
Точки пересечения этих кривых являются решениями системы. Так как координаты точек пересечения определяются приближенно, целесообразно говорить об области существования решения D. Эта область задается интервалами по каждой координате, внутри которых находятся искомые значения неизвестных.
Рис. 5.1. Графическое отделение решений СНУ.
Для систем с большим числом неизвестных (n ³ 3) удовлетворительных общих методов определения области существования решения нет. Поэтому при решении СНУ эта область обычно определяется при анализе решаемой задачи, например, исходя из физического смысла неизвестных.
Отделение решений позволяет:
1. Выявить число решений и область существования каждого из них.
2. Проанализировать возможность применения выбранного метода решения СНУ в каждой области.
3. Выбрать начальное приближение решения X(0) из области его существования, так что X(0)ÎD.
При отсутствии информации об области существования решения СНУ выбор начального приближения X(0) проводиться методом проб и ошибок (методом “тыка”).
Пример 5.1. Отделить решения системы
x2 + y2=1
ln(x)+2y=-1
Запишем систему в стандартном виде (5.1).
Область определения функций
Очевидно, что решения могут быть только в общей области определения этих функций.
Решения существуют, т.к. D0 ≠ Æ.
Для отделения решения нужно построить графики функций в общей области определения.
График первой функции – окружность единичного радиуса с центром в начале координат.
Для построения графика второй функции нужно вычислить значение в нескольких точках общей области определения D0:
Итерационный процесс (5.5) сходиться к точному решению, если в окрестности решения соблюдаются условия сходимости:
(5.9)
или
(5.10)
Таким образом, для уточнения решения СНУ методом простых итераций нужно найти такое эквивалентное преобразование (5.1) в (5.3), чтобы в области существования решения выполнялись условия (5.9) или (5.10).
В простейшем случае эквивалентную систему можно получать как:
,
Можно выделить (не обязательно явно) все неизвестные из уравнений системы так, что:
,
Как и в случае одного уравнения задачу поиска эквивалентного преобразования можно свести к задаче определения (в простейшем случае подбора) значений констант li ≠ 0, , обеспечивающих сходимость
Рис. 5.1. Схема алгоритма метода простых итераций.
Рисунок 5.1. Схема алгоритма метода простых итераций
Сходимость метода простых итераций можно несколько улучшить, если при вычислении очередного приближения использовать уже найденные значения
Выражение для расчета очередного к-го приближения примет вид:
, ; (5.11)
Для реализации данного приема, аналогичного методу Гаусса-Зейделя для систем линейных уравнений, в алгоритм расчета следует внести изменения: формулу расчета очередного приближения (символ 5) записать как X=φ(x) или в развернутом виде:
,
Существуют и другие приемы улучшения сходимости метода простых итераций. Например, новое приближение вычислять как среднее арифметическое двух предшествующих приближений:
, (5.12)
Можно использовать поправку Эйткена для улучшения сходимости:
, (5.13)
Пример 5.2.
Методом простых итераций уточнить ранее (пример 5.1) отделенные решения системы уравнений:
x12+x22=1
ln x1+2x2= –1
Области существования решений:
,
Для получения эквивалентной системы из первого уравнения выразим x1
из второго уравнения x2
Определим частные производные:
Проверим условия сходимости в окрестности первого решения, взяв точку в центре области существования этого решения х1=0,1; х2=0,9.
Использовать полученную эквивалентную систему для уточнения первого решения нельзя, т.к. условия сходимости не соблюдаются.
Проверим условия сходимости для этой же эквивалентной системы в окрестности второго решения: х1=0,9; х2=-0,4.
Условия сходимости соблюдаются, следовательно полученную эквивалентную систему можно использовать для уточнения второго решения.
Выполним несколько итераций для уточнения 2-го решения:
Начальные значения k = 0 ; ;
Первая итерация k = 1 ;
Вторая итерация k = 2 ;
Третья итерация k = 3
Четвертая итерация k = 4
Итерационный процесс сходиться, для достижения требуемой точности нужно выполнить еще несколько итераций.
После 8-ой итерации х1=0,8956, х2=-0,4446, δ по формуле (5.7) равна 0,0005.
Рассмотрим использование приема Гаусса–Зейделя (5.11) для ускорения итерационного процесса.
Начальные значения k = 0, ; ;
Первая итерация k = 1 ;
Вторая итерация k = 2 ;
После 5 итерации получим следующие результаты: х1=0,8957, х2=-0,4449 δ=0,0006.
Для уточнения первого решения нужно найти другую формулу итерационного процесса.
Например, если из первого уравнения выразить х2, а из второго х1 получим:
Проверка условий сходимости в окрестности первого решения показывает, что приведенные формулы можно использовать для уточнения первого решения.