- •ПЕРЕЧЕНЬ МАТЕРИАЛОВ
- •ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
- •ОГЛАВЛЕНИЕ
- •1 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
- •1.1 Логика высказываний
- •1.1.1 Понятие логического высказывания
- •1.1.2 Логические операции
- •1.1.3 Пропозиционные формулы
- •1.1.4 Тавтологии
- •1.1.5 Равносильные формулы
- •1.2 Булевы функции
- •1.2.1 Понятие булевой функции. Число булевых функций от n переменных
- •1.2.2 Элементарные булевы функции. Представление булевых функций пропозиционными формулами
- •1.2.3 Двойственные функции. Принцип двойственности
- •1.2.4 Совершенные конъюнктивные нормальные формы (СКНФ)
- •1.2.5 Полиномы Жегалкина
- •1.3 Полнота и замкнутость
- •1.3.1 Полные системы функций и замкнутые классы
- •1.3.2 Основные замкнутые классы
- •1.3.3 Теоремы о функциональной полноте
- •1.3.4 Базисы пространства булевых функций
- •1.4 Минимизация булевых функций
- •1.4.1 Постановка задачи
- •1.4.2 Метод Квайна-Макклоски
- •1.4.3 Карты Карно
- •1.5 Реализация булевых функций
- •1.5.1 Контактные схемы
- •1.5.2 Схемы из функциональных элементов
- •1.6 Предикаты
- •1.6.1 Основные понятия и определения
- •1.6.2 Операции над предикатами
- •1.6.3 Равносильные формулы логики предикатов
- •1.6.4 Приведенная форма и предваренная нормальная форма предиката
- •2 ОСНОВЫ ТЕОРИИ МНОЖЕСТВ
- •2.1 Множества и операции над ними
- •2.1.1 Основные понятия
- •2.1.2 Способы задания множеств
- •2.1.3 Операции над множествами
- •2.1.4 Свойства операций над множествами. Алгебра множеств
- •2.1.5 Декартово произведение множеств
- •2.2 Отображения множеств
- •2.2.1 Основные понятия
- •2.2.2 Произведение (композиция) отображений
- •2.2.3 Обратные отображения
- •2.3 Отношения
- •2.3.1 Основные понятия и способы задания отношений
- •2.3.2 Операции над бинарными отношениями и их свойства
- •2.4 Отношения экивалентности
- •2.4.1 Классы эквивалентности
- •2.4.2 Отношения частичного порядка
- •2.5 Комбинаторика
- •2.5.1 Размещения
- •2.5.2 Перестановки
- •2.5.3 Сочетания
- •2.5.4 Сочетания с повторениями
- •2.5.5 Бином Ньютона. Понятие о производящей функции
- •2.5.6 Числа Стирлинга
- •2.5.7 Число Белла
- •2.6 Мощности множеств
- •2.6.1 Мощность конечного множества
- •2.6.2 Мощности бесконечных множеств. Счетные множества
- •2.6.3 Несчетные множества. Мощность континуума
- •2.6.4 Кардинальные числа. Гипотеза континуума
- •3 ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ
- •3.1 Основные определения и типы графов
- •3.1.1 Основные понятия
- •3.1.2 Основные типы графов
- •3.1.3 Обобщения понятия графа
- •3.1.4 Изоморфные графы
- •3.1.5 Количество различных графов порядка n
- •3.2 Основные числовые характеристики и матрицы графа
- •3.2.1 Степени вершин графа
- •3.2.2 Матрица смежности
- •3.2.3 Матрица Кирхгофа
- •3.2.4 Матрица инцидентности
- •3.3 Подграфы и операции на графах
- •3.3.1 Подграфы
- •3.3.2 Операции над графами
- •3.4 Связные графы и расстояние в графах
- •3.4.1 Маршруты в графах. Связные графы
- •3.4.2 Компоненты связности. Связность графа и его дополнения
- •3.4.3 Расстояния на графах
- •3.4.4 Метод поиска в ширину
- •3.4.5 Выяснение вопросов связности, достижимости и расстояний на графе по матрице смежности
- •3.5 Деревья и остовы
- •3.5.1 Критерии дерева
- •3.5.3 Типы вершин дерева, радиус и центры
- •3.5.4 Остовы графа, циклический ранг и ранг разрезов
- •3.5.5 Задача о минимальном остове
- •3.5.6 Разрезы графа. Фундаментальная система циклов и фундаментальная система разрезов
- •3.5.7 Линейное пространство графа
- •3.6 Эйлеровы и гамильтоновы графы
- •3.6.1 Эйлеровы графы
- •3.6.2 Гамильтоновы графы
- •3.7 Планарные графы
- •3.7.1 Вложимость графов в трехмерное пространство
- •3.7.2 Планарные графы. Формула Эйлера
- •3.7.3 Следствия из формулы Эйлера
- •3.7.4 Гомеоморфные графы. Критерий планарности
- •3.8 Раскраски графов
- •3.8.1 Хроматическое число графа
- •3.8.2 Хроматическое число 2-дольного графа. Критерий 2-дольности
- •3.8.3 Некоторые оценки хроматического числа
- •3.8.4 Раскраски планарных графов
- •3.8.5 Реберная раскраска графа
- •3.9 Паросочетания
- •3.9.1 Паросочетания
- •3.9.2 Теорема Холла о свадьбах
- •3.10 Сети
- •3.10.1 Основные понятия
- •3.10.2 Потоки в сетях
- •3.10.3 Сетевое планирование
- •ПРОДОЛЖЕНИЕ ОГЛАВЛЕНИЯ
- •4 ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ
- •4.1 Математическое моделирование и вычислительный эксперимент
- •4.2 Метод Гаусса решения систем линейных алгебраических уравнений. Плохая обусловленность и анализ ошибок. Влияние погрешностей округления
- •4.3 Итерационные методы решения систем линейных алгебраических уравнений. Метод простых итераций и метод Зейделя
- •4.3.1 Основные понятия
- •4.3.2 Метод простой итерации. Описание метода
- •4.3.3 Некоторые сведения о векторах и матрицах
- •4.3.4 Условия и скорость сходимости метода простой итерации
- •4.3.5 Приведение системы (1) к виду (2)
- •4.4 Интерполирование алгебраическими многочленами. Интерполяционный многочлен Лагранжа
- •4.4.1 Постановка задачи
- •4.4.2 Интерполяционная формула Лагранжа. Представление и оценка остатка
- •4.4.3 Практическое применение интерполяции
- •4.5 Конечные разности. Интерполяционный многочлен Ньютона
- •4.5.1 Конечные разности
- •4.5.2 Интерполяционный многочлен Ньютона
- •4.5.3 Линейная интерполяция
- •4.6 Многочлены Чебышева на отрезке [-1, 1]. Интерполирование сплайнами
- •4.7 Численное интегрирование
- •4.7.1 Формулы прямоугольников
- •4.7.2. Формула трапеций
- •4.7.3. Формула Симпсона (метод параболических трапеций)
- •4.7.4 Квадратурные формулы наивысшей алгебраической степени точности (квадратурные формулы Гаусса)
- •4.8 Численное решение нелинейных уравнений
- •4.8.1. Отделение корней
- •4.8.2 Метод деления отрезка пополам
- •4.8.3 Метод простой итерации (метод последовательных приближений)
- •4.8.4. Метод Ньютона (метод касательных)
- •4.8.5 Метод секущих
- •4.8.6 Метод хорд
- •4.9 Итерационные методы решения систем нелинейных уравнений
- •4.9.1 Метод простой итерации
- •4.9.2 Метод простой итерации для системы двух уравнений
- •4.9.3 Метод Ньютона
- •4.9.4 Метод Ньютона для системы двух уравнений
- •4.10 Численные методы решения задачи Коши для обыкновенного дифференциального уравнения
- •4.10.1 Метод Эйлера
- •4.10.2 Методы Рунге–Кутта
- •4.11 Постановка задачи линейного программирования. Геометрическая интерпретация и графическое решение задачи линейного программирования
- •4.11.1 Предмет математического программирования
- •4.11.2 Основная задача линейного программирования
- •4.11.3 Геометрический смысл системы линейных неравенств
- •4.11.4 Графический метод решения задач линейного программирования
- •4.12 Симплексный метод решения задачи линейного программирования. Двойственность в линейном программировании
- •4.12.1 Свойства решений задачи линейного программирования (ЗЛП)
- •4.12.2 Общая идея симплексного метода
- •4.12.3 Построение начального опорного плана
- •4.12.4 Признак оптимальности опорного плана. Симплексные таблицы
- •4.12.5 Переход к нехудшему опорному плану. Симплексные преобразования
- •4.13 Разностные методы
- •4.13.1 Основные понятия
- •4.13.2 Сетки и сеточные функции
- •4.13. 3 Аппроксимация простейших дифференциальных операторов
- •4.13.4 Разностная задача
- •4.13.5 Устойчивость
- •4.13.6 Связь аппроксимации и устойчивости со сходимостью
- •4.13.7 Явные и неявные разностные схемы
- •ОГЛАВЛЕНИЕ
- •Лабораторная работа 5. Задача коммивояжера
- •ПРОДОЛЖЕНИЕ ОГЛАВЛЕНИЯ
- •2.1. Метод Гаусса решения систем линейных алгебраических уравнений
- •2.2. Итерационные методы решения систем линейных алгебраических уравнений. Метод простых итераций и метод Зейделя
- •2.2.1. Метод простых итераций
- •2.2.2 Метод Зейделя
- •2.3. Интерполирование алгебраическими многочленами. Интерполяционный многочлен Лагранжа
- •2.3.1. Постановка задачи
- •2.3.2 Интерполяционный многочлен Лагранжа
- •2.3.3 Практическое применение интерполирования. Оценка погрешности интерполяционного многочлена Лагранжа
- •2.4 Конечные разности. Интерполяционный многочлен Ньютона
- •2.4.1 Конечные разности
- •2.4.2 Первая интерполяционная формула Ньютона (для интерполирования вперед)
- •2.4.3 Вторая интерполяционная формула Ньютона (для интерполирования назад)
- •2.5 Интерполирование сплайнами
- •2.6 Численное интегрирование
- •2.6.1 Метод средних прямоугольников
- •2.6.2 Формула трапеций
- •2.6.3 Формула Симпсона (метод параболических трапеций)
- •2.7 Численное решение нелинейных уравнений. Отделение корней. Метод половинного деления. Метод простой итерации
- •2.7.1 Отделение корней
- •2.7.2 Метод половинного деления
- •2.7.3 Метод простой итерации (метод последовательных приближений)
- •2.7.4 Практический критерий сходимости (когда надо прекращать итерации)
- •2.8 Итерационные методы решения нелинейных уравнений. Метод Ньютона. Метод секущих. Метод хорд
- •2.8.1 Метод Ньютона (метод касательных)
- •2.8.2 Метод секущих
- •2.8.3 Метод хорд
- •2.9 Итерационные методы решения систем нелинейных уравнений
- •2.9.1 Метод простой итерации для системы двух уравнений
- •2.9.2 Метод Ньютона для системы двух уравнений
- •2.10.1 Метод Эйлера
- •2.10.2 Метод Рунге-Кутта
- •2.11 Графическая интерпретация и графическое решение задачи линейного программирования
- •2.11.1 Основная задача линейного программирования
- •2.11.2 Графическая интерпретация задачи линейного программирования
- •2.11.3 Графическое решение задачи линейного программирования
- •2.12 Симплексный метод решения задачи линейного программирования
- •2.13 Метод сеток для уравнения параболического типа
- •2.13.1 Общие сведения
- •2.13.2 Постановка задачи
- •2.13.3 Разностные схемы
- •2.13.4 Оценки погрешностей
- •2.14 Метод сеток для уравнения гиперболического типа
- •ОГЛАВЛЕНИЕ
- •1 Операции над множествами. Алгебра множеств. Декартово произведение множеств
- •2 Отображения множеств. Бинарные отношения на множествах
- •3 Комбинаторика и мощности множеств
- •6 Расстояния в графах
- •7 Деревья и остовы
- •8 Эйлеровы графы. Критерий эйлеровости. Планарные графы. Формула Эйлера
- •9 Раскраски графов. Хроматическое число графа
- •10 Сети и потоки в сетях
- •Тесты по разделу «ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ»
- •ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ
- •1 Численные методы решения систем линейных алгебраических уравнений
- •2 Интерполирование алгебраическими многочленами
- •3 Численное интегрирование
- •4 Численные методы решения нелинейных уравнений и систем нелинейных уравнений
- •5 Численное решение обыкновенных дифференциальных уравнений первого порядка
- •6 Линейное программирование
- •7 Численное решение уравнений с частными производными
- •Тесты по разделу «ЭЛЕМЕНТЫ ЧИСЛЕННЫХ МЕТОДОВ»
- •ОГЛАВЛЕНИЕ
- •ПРОГРАММА ДИСЦИПЛИНЫ
- •СПИСОК ВОПРОСОВ К ЗАЧЕТУ ПО ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКЕ
- •СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ
4.8.6 Метод хорд
Сущность метода состоит в замене кривой y = f (x) хордами, проходящими через концы отрезков, в которых f (x) имеет противоположные знаки.
Итерационный процесс строится так:
xn+1 = xn − |
f (xn ) |
(xn − x0 ), n =1,2, |
|
f (xn ) − f (x0 ) |
|||
|
|
Метод является двухшаговым, т.е. для получения следующего приближения нужно знать значения f (x) в двух точках, и требует, чтобы один конец отрезка, на котором ищется корень, был неподвижен. В качестве неподвижного конца выбирается тот конец, для которого знак f (x) совпадает со знаком ее второй производной f ′′(x) . Тогда последовательные приближения хn лежат по ту сторону корня, где f (x) имеет знак, противоположный f ′′(x) .Сходимость метода хорд – односторонняя и монотонная. Так как на каждом шаге итерационного процесса за приближенное значение корня xn+1 принимается корень интерполяционного многочлена первой степени, то метод хорд называется еще методом линейной интерполяции.
Если в методе секущих (4) вместо точки xn−1 взять х0 получим метод хорд.
4.9 Итерационные методы решения систем нелинейных уравнений
Система нелинейных уравнений с р неизвестными имеет вид
fi (x1, x2, , xp ) = 0, |
i =1, 2, , p , |
(1) |
где хотя бы одна функция |
fi нелинейная. |
|
Для решения такой системы в редких случаях можно применить метод последовательного исключения неизвестных, который приводит решение системы к решению одного нелинейного уравнения с одним неизвестным с последующей подстановкой.
173
Пример. Найти решение нелинейной системы уравнений |
|
||||
|
2 |
+ |
4 = 0 |
|
|
xy |
|
|
|||
|
|
|
2 |
|
|
|
|
|
+5 = 0 |
|
|
x − y |
|
|
|||
Решение. Из второго уравнения найдем x = y2 −5 и подставим в первое, |
получим |
||||
уравнение |
|
с |
одним неизвестным: y2 (y2 −5) + 4 = 0 , y4 −5y2 + 4 = 0 , корни |
которого |
|
y1 =1, y2 = −1, y3 = 2, y4 = −2 . Следовательно, решениями системы являются точки: |
А(-4, 1), |
||||
В(-4, -1), С(-1, 2), D(-1, -2).
Однако в подавляющем большинстве случаев нелинейные системы решают итерационными методами. Будем предполагать существование изолированных решений нелинейных систем.
4.9.1 Метод простой итерации
Метод простой итерации применим к системам, которые предварительно приведены к
виду:
x |
|
|
= ϕ |
(x |
, x |
2 |
, , x |
p |
), |
|
|
|||||||
|
1 |
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|||
x2 |
|
= ϕ2 (x1, x2 , , xp ), |
|
(2) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
p |
|
= ϕ |
p |
(x , x |
2 |
, , x |
p |
). |
|
|
|||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
||||
или в векторной форме |
|
|
|
|
|
|||||||||||||
x = |
|
(x) . |
|
|
|
|
|
|
|
|
|
(3) |
||||||
Φ |
|
|
|
|
|
|
|
|
|
|||||||||
Пусть x0 = (x |
0 |
, x0 , , x |
0 ) – начальное приближение. Последующие приближения в |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
p |
|
|
методе простой итерации находятся по формулам |
|
|||||||||||||||||
xn+1 = ϕ |
(xn , xn , , xn ), |
|
||||||||||||||||
|
|
1 |
|
|
|
|
1 |
1 |
|
|
2 |
|
|
p |
|
|
||
|
+1 |
|
|
|
|
|
|
|
|
n |
|
|
||||||
|
|
n |
|
|
|
|
n |
|
|
n |
|
|
|
|
||||
x2 |
|
|
= ϕ2 (x1 |
, x2 , , xp ), |
(4) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
+1 = ϕ |
|
(xn , xn , , xn ). |
|
||||||||||||
xn |
p |
|
||||||||||||||||
|
|
p |
|
|
|
|
|
|
1 |
|
|
2 |
|
|
p |
|
|
|
или в векторной форме |
|
|
|
|
|
||||
xn+1 |
= |
|
(xn ), |
n = 0,1,2, |
|
|
(5) |
||
Φ |
|
|
|||||||
Если |
|
последовательность |
векторов xn = (xn, , xn ) |
сходится к вектору |
|||||
|
|
|
|
|
|
|
1 |
p |
|
x = (x , , x ) , а функции |
ϕ |
(x) |
непрерывны, то вектор |
x |
является решением системы |
||||
1 |
|
p |
|
i |
|
|
|
|
|
(3). Для получения условий сходимости метода итераций введем в р-мерном векторном про-
174
странстве какую-либо норму (например, кубическую, октаэдрическую или сферическую).
Теорема. Пусть для уравнения (3) и начального приближения x0 выполнены условия:
1) для любых x′ |
x′′ |
из сферы |
|
|||||||||||||||
|
x − x0 |
|
≤ δ |
|
|
|
|
|
|
|
|
(6) |
||||||
|
|
|
|
|
|
|
|
|
|
|||||||||
вектор-функция |
|
удовлетворяет условию |
|
|||||||||||||||
Φ |
|
|||||||||||||||||
|
|
′ |
|
|
|
′′ |
|
≤ q |
|
′ |
′′ |
|
|
|
, |
(7) |
||
|
|
|
|
|
|
|
|
|
||||||||||
|
Φ(x ) |
− Φ(x ) |
|
|
x |
− x |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где 0<q<1;
2) 
Φ(x0 ) − x0 
≤ (1−q)δ.
Тогда уравнение (3) в сфере (6) имеет единственное решение x , к нему сходится последовательность (5) и погрешность метода оценивается неравенством
n |
|
|
|
|
qn |
|
|
|
0 |
0 |
|
|
|
. |
(8) |
|
|
|
|
|
|
|
|
||||||||
x |
− x |
|
|
≤ |
|
|
|
Φ(x |
) − x |
|
|
|
|||
|
|
1−q |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сходимость метода итераций считается хорошей, если q ≤ 12 .
Приведем достаточное условие, обеспечивающее выполнение неравенства (7) в кубической норме. Сфера (6) в кубической норме является р-мерным кубом с центром в точке
x0 = (x0 |
, x0 , , x0 ) : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
1 |
2 |
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x − x0 |
|
|
|
= max |
|
x |
i |
− x |
0 |
|
≤ δ . |
|
|
|
(9) |
||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
1≤i≤p |
|
|
|
i |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Предположим, что в кубе (9) функции ϕi , i =1, 2, , p , имеют непрерывные частные |
||||||||||||||||||||||||
производные |
|
∂ϕi |
, |
k =1,2, , p . Неравенство (7) будет выполнено, если |
∂ϕi |
удовлетворя- |
||||||||||||||||||
|
|
|
|
|
|
∂xk |
|
|
|
|
|
|
|
|
|
|
|
|
|
∂xk |
|
|||
ют в кубе (9) условию |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
p |
|
∂ϕ |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
q |
|
|
|
|
|
max |
|
∑ |
|
(x) |
|
|
|
(10) |
||||||||||
= max |
|
|
|
|
i |
|
|
<1. |
|
|||||||||||||||
|
|
1≤i≤p |
|
|
x |
−x0 |
|
|
<δ k=1 |
|
|
|
∂xk |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Пример. Методом простой итерации найти решение системы |
|
|
||||||||||||||||||||||
f (x, y) = 2x −sin 0,5(x − y) = 0, |
|
|
||||||||||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f2 (x, y) = 2y −cos0,5(x + y) = 0 |
|
|
||||||||||||||||||||||
с точностью ε=10-3.
Решение. Графически отделяем корни системы. Из рисунка видно, что корень единственный и расположен в квадрате x ≤ 0,5, y −0,5 ≤ 0,5 .
175
Преобразуем данную систему к виду
x = 0,5sin 0,5(x − y) ≡ ϕ1(x, y),y = 0,5cos0,5(x + y) ≡ ϕ2 (x, y).
Убеждаемся, что неравенство (10) выполнено с q ≤ 12 . За начальное приближение возьмем x0 = 0, y0 =1
2 . Дальнейшие вычисления сведены в таблицу
n |
xn |
0,5(xn − yn ) |
|
sin 0,5(xn − yn ) |
yn |
0,5(yn + xn ) |
|
cos0,5(xn + yn ) |
|
|
|
|||
0 |
0 |
-0,25 |
|
-0,234383 |
0,5 |
0,25 |
|
0,968913 |
|
|
|
|||
1 |
-0,117160 |
-0,30081 |
|
-0,29659 |
0,48446 |
0,18365 |
|
0,98318 |
|
|
|
|||
2 |
-0,148295 |
-0,31994 |
|
-0,31452 |
0,491592 |
0,171648 |
|
0,98530 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
6 |
-0,161906 |
-0,327500 |
|
-0,321677 |
0,493094 |
0,165596 |
|
0,986320 |
|
|
|
|||
7 |
-0,160838 |
-0,327000 |
|
-0,321203 |
0,493160 |
0,166161 |
|
0,986227 |
|
|
|
|||
Ответ: x = −0,161, y = 0,493 .
4.9.2 Метод простой итерации для системы двух уравнений
Пусть дана система двух уравнений с двумя неизвестными:
F1(x, y) = 0F2 (x, y) = 0,
где обе функции Fi, i=1, 2 нелинейны.
Для применения метода итераций система (11) приводится к виду:
x = ϕ1(x, y)y = ϕ2 (x, y).
(11)
(12)
176
Функции ϕ1(x, y) и ϕ2 (x, y) называются итерирующими. Алгоритм решения задается
формулами |
|
|
|
|
|
|
|
|
x |
n+1 |
= ϕ (x |
n |
, y |
n |
) |
|
(13) |
|
1 |
|
|
n = 0,1,2, , |
||||
yn+1 |
= ϕ2 (xn , yn ), |
|
||||||
где x0 , y0 – некоторое начальное приближение.
Теорема. Пусть в некоторой замкнутой окрестности R(a ≤ x ≤ A, b ≤ y ≤ B) имеет-
ся одно и только одно решение x = ξ, y = η системы (12). Если |
|
||||||||||||||||||||||||||||||||||||||||||||
1) |
функции ϕ1(x, y) и ϕ2 (x, y) |
определены и непрерывно дифференцируемы в R, |
|||||||||||||||||||||||||||||||||||||||||||
2) |
начальные |
|
|
|
приближения |
|
|
|
x0 , y0 |
|
и все последующие |
приближения |
|||||||||||||||||||||||||||||||||
xn, yn (n =1, 2, ) принадлежат R, |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
3) в R выполнены неравенства |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
∂ϕ1 |
|
|
|
+ |
|
|
∂ϕ2 |
|
|
|
|
|
|
≤ q |
<1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
∂x |
|
|
|
|
|
|
|
|
∂x |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(14) |
||||||||||
|
|
|
|
∂ϕ1 |
|
|
|
|
|
|
|
∂ϕ2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
+ |
|
|
|
|
|
≤ q |
<1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
∂y |
|
|
|
|
|
|
|
|
|
∂y |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
то процесс последовательных приближений (13) сходится к решению x = ξ, |
y = η системы, |
||||||||||||||||||||||||||||||||||||||||||||
т.е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
lim xn = ξ и |
lim |
|
|
yn = η. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
n→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Эта теорема остается верной, если условие (14) заменить условием |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
∂ϕ |
|
|
|
|
|
|
|
|
∂ϕ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
1 |
|
|
|
+ |
|
|
|
1 |
|
|
|
|
|
|
|
≤ q |
< 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
∂x |
|
|
|
|
|
|
|
|
∂y |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(15) |
||||||||||||||
|
∂ϕ2 |
|
|
|
|
|
|
|
∂ϕ2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
+ |
|
|
|
|
≤ q |
2 |
< 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
∂x |
|
|
|
|
|
∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Оценка погрешности n-го приближения дается неравенством |
|
||||||||||||||||||||||||||||||||||||||||||||
|
ξ− x |
|
|
+ |
|
η− y |
n |
|
≤ |
|
|
M |
( |
|
x |
− x |
|
+ |
|
y |
n |
− y |
n−1 |
|
), |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
− M |
|
|
n |
n−1 |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
где М – наибольшее из чисел q1, q2 , входящих в неравенства (14) или (15). Сходимость ме-
тода итераций считается хорошей, если M < |
1 |
, при этом |
M |
<1, так что если в двух п о- |
|
2 |
1− M |
||||
|
|
|
следовательных приближениях совпадают, скажем, первые три десятичных знака после запятой, то ошибка последнего приближения не превосходит 0,001.
177
