
- •Содержание
- •Метод Гаусса решениясистем линейных алгебраических уравнений
- •Задача Коши для оду
- •1.2. Источники и классификация погрешностей
- •1.2.1. Погрешности данных, метода и вычислений
- •1.3. Абсолютная и относительная погрешности вычисления
- •2. Численные методы алгебры
- •2.1. Методы решения алгебраических уравнений
- •2.1.1. Метод деления отрезка пополам
- •2.1.2. Метод хорд
- •2.1.3. Метод Ньютона
- •2.2. Метод Гаусса решения систем линейных алгебраических уравнений
- •2.4. Варианты итерационных методов
- •2.4.1. Метод простых итераций
- •2.4.2. Метод Якоби
- •2.4.3. Метод Зейделя
- •2.4.4. Метод релаксации
- •2.5. Оценка погрешности и мера обусловленности
- •2.4. Варианты итерационных методов
- •2.4.1. Метод простых итераций
- •2.4.2. Метод Якоби
- •2.4.3. Метод Зейделя
- •2.4.4. Метод релаксации
- •2.5. Оценка погрешности и мера обусловленности
- •2.6.1. Степенной метод
- •2.6.2. Метод вращений
- •3. Численные методы математического анализа
- •3.1. Задача интерполяции. Многочлен Лагранжа
- •3.1.1. Постановка задачи
- •3.1.2. Построение интерполяционного многочлена Лагранжа
- •3.1.3. Остаточный член
- •3.2.1. Постановка задачи
- •3.2.2. Многочлены Чебышева
- •3.2.3. Минимизация оценки остаточного члена
- •3.4.1. Использование интерполяционных многочленов с разделенными разностями.
- •3.4.3. Оценка погрешности по методу Рунге..
- •3.4.4. Уточнение приближенного решения.
- •3.5.1. Линейный интерполяционный сплайн
- •3.5.2. Кубический интерполяционный сплайн
- •3.5.3. Метод прогонки.
- •3.6. Метод наименьших квадратов
- •3.6.1. Подбор эмпирических формул
- •3.6.2. Среднеквадратичные приближения.
- •3.7.1. Формула прямоугольников.
- •3.7.2. Формула трапеций.
- •3.7.3.Формула Симпсона (парабол).
- •3.7.4. Оценка погрешности численного интегрирования.
- •4.2.1. Классификация численных методов для задачи Коши
- •4.4.1. Устойчивость задачи Коши по начальным данным
- •4.4.2. Устойчивость схемы Эйлера на модельной задаче
- •4.6. Сходимость методов Рунге - Кутта второго порядка
- •4.6.1. Исследование сходимости семейства разностных схем на модельной задаче
- •4.7.1. Сценарий построения разностных схем
- •4.8.1. Построение двухшаговой и трехшаговой схем
- •4.8.2. Погрешность аппроксимации
- •4.8.3. Устойчивость на модельной задаче
- •4.9.1. Построение неявных схем
- •4.9.2. Двухшаговая схема: погрешность аппроксимации и устойчивость на модельной задаче
- •4.9.3. Нахождение решения неявной разностной схемы
- •4.9.4. Схема "предиктор - корректор". Сравнение методов
- •4.10.1. Граничные условия
- •4.10.2. Метод стрельбы для краевой задачи с оду 2-го порядка
- •4.12. Общая задача.
- •4.12.1. Построение трехточечной разностной схемы 2-го порядка аппроксимации.
- •4.12.2. Сходимость разностной схемы.
- •4.12.3. Краевые условия 2-го и 3-го рода.
- •4.12.1. Построение трехточечной разностной схемы 2-го порядка аппроксимации.
- •4.12.2. Сходимость разностной схемы.
- •4.12.3. Краевые условия 2-го и 3-го рода.
- •1.1. Методы решения алгебраических уравнений
- •1.2. Решение систем линейных алгебраических уравнений методом Гаусса.
- •1.3. Итерационные методы решения систем уравнений
- •2.1. Интерполяционный многочлен Лагранжа
2. Численные методы алгебры
В
данном разделе рассматриваются методы
решения следующих алгебраических задач:- нахождение
корней конечного уравнения ;- решение системы
линейных алгебраических уравнений;- решение
нелинейной системы конечных уравнений;- нахождение
собственных чисел и собственных векторов
матрицы.
2.1. Методы решения алгебраических уравнений
Пусть
дана непрерывная на некотором промежутке
функция .
Необходимо найти принадлежащие этому
промежутку корни уравнения
(1)
Как правило, алгоритм приближенного метода состоит из двух этапов:
- поиск приближенного значения корня или содержащего его отрезка;
- уточнение приближенного значения до некоторой заданной степени точности.
Иногда ограничиваются только первым этапом. При этом могут использоваться решения близких задач, графические методы, физические соображения и т.д. На втором этапе для уточнения приближенного значения обычно строится последовательность, элементы которой в пределе сходятся к точному значению корня. Сам метод решения при этом называется итерационным или методом последовательных приближений.
2.1.1. Метод деления отрезка пополам
Одним из итерационных методов является метод деления отрезка пополам (дихотомии, бисекции).
На
первом этапе должен быть найден отрезка такой, что
< 0.
Тогда
отрезок содержит нечетное число корней уравнения
(1) нечетной кратности (
- корень кратности p, если
,
).
Начальное
приближение x0
= .
На
втором этапе выбирается тот из двух
отрезков ,
,
на концах которого функция
имеет значения разных знаков и за
принимается середина этого отрезка, и
т. д.. Таким образом, строится
последовательность
,
сходящаяся при
к
.
После каждой итерации отрезок, содержащий
корень уменьшается вдвое. Инерционный
процесс продолжается до тех пор, пока
длина полученного отрезка не станет
меньше заданной величины
.
За приближенное решение принимается
средняя точка последнего промежутка.
Другой
вариант условия окончания итерационного
процесса ( по величине невязки ).
2.1.2. Метод хорд
В некоторых случаях несколько большей скоростью сходимости обладает метод хорд, у которого на втором этапе при выборе очередного приближения внутри отрезка, содержащего корень, учитывается величина невязки на концах отрезка: точка выбирается ближе к тому концу, где невязка меньше ( но в некоторых случаях это может замедлить сходимость по сравнению с методом дихотомии ).
Геометрический
смысл заключается в замене кривойхордой. Очередное приближение находится
как точка пересечения хорды с осью
абсцисс.
Если - отрезок содержащий корень, то уравнение
хорды
.
(2)
Для
точки пересечения хорды с осью абсцисс имеем
.
принимается
за очередное приближение к корню. Далее
выбирается тот из промежутков
,
на концах которого функция имеет значения
разных знаков и т. д.. При этом, если
дважды непрерывно дифференцируемая
функция и знак
сохраняется на рассматриваемом
промежутке, то полученные приближения
будут сходиться к корню монотонно.
Если
знаки и
сохраняются на исходном промежутке,
содержащем корень, то у всех получаемых
промежутков один конец будет общим, а
именно тот, на котором совпадают знаки
функции и второй производной. Например,
если , то последовательные приближения
к корню вычисляются по формуле
(3)
и
корень принадлежит последовательности
вложенных отрезков
Если
оставить неподвижным тот конец промежутка,
где знаки и
противоположны,
то после вычисления
получаем
промежуток не содержащий корень
уравнения. Дальнейшее развитие событий
зависит от поведения конкретной функции
и величины промежутка. Возможна как
сходимость метода ( при этом соседние
приближения находятся по разные стороны
от корня).
Рассмотрим сходимость метода хорд и оценки погрешности приближенных решений.
Пусть
на исходном промежутке функция
дважды дифференцируема, знаки
и
сохраняются и
Из формулы (3) получаем
.
Прибавляя
слева и применяя к разности
и
формулу конечных приращений (формулу Лагранжа), далее получаем
(4)
Из
формулы (4) добавляя справа в скобке *
и группируя члены, получаем
.
Так
как знаки разностей и
совпадают,
,
Причем и
одного знака. Тогда
Следовательно,
(5)
где
Из (5) получаем
Отсюда
следует, что погрешность приближенного
решения стремится к нулю при
.
В этом случае говорят, что метод сходится.
И когда убывание погрешности приближенного
решения характеризуется неравенством
вида (5) говорят также, что метод имеет
линейную скорость сходимости. (Сходится
со скоростью геометрической прогрессии.)
Из формулы (4) также следует неравенство, в котором погрешность приближенного решения оценивается через разность двух последовательных приближений
(6)
Здесь и
на рассматриваемом отрезке.
Другой вариант оценки погрешности приближенного решения через невязку дает сама формула конечных приращений
Отсюда
(с учетом, что ) получаем
(7)
Фомы
(6) и (7) позволяют установить, что для
получения приближенного решения с
заданной точностью (т.е. такого ,
для которого
будет меньше заданного числа
)
достаточно выполнить такое количество
итераций
,
после которого будет выполнено хотя-бы
одно из условий
или