Студопедия КАТЕГОРИИ: АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция |
Глава IV. Численные методы алгебры ⇐ ПредыдущаяСтр 3 из 3 §1. Системы линейных уравнений: метод простых итераций, метод Зейделя
Задача: Дано: Найти: Пусть система Крамеровская, т.е. m = n. Запишем систему в матричной форме:
где
Метод простых итераций: 1. Преобразуем уравнение (1) в уравнение вида 2. Составим рекуррентную формулу: 3. Выберем любое начальное приближение По формуле (3) найдем 4. Если метод сходится, то последнее найденное приближение Определения нормы вектора: Опр. 1. Опр. 2. Опр. 3. Определения нормы матрицы, согласованной с нормой вектора: Опр. Следовательно: Опр. 1. Опр. 2. Опр. 3. Замечание: Если Теорема. (Достаточное условие сходимости метода простых итераций) Если ||B|| < 1, то система (2) имеет единственное решение, и итерационный процесс по формуле (3) сходится со скоростью убывающей геометрическое прогрессии.
Док-во: 1. Если
Тогда однородная система
Следовательно система (2) имеет единственное решение (по теореме об общем решении СЛУ, равной сумме общего решения однородной системы и частного решения неоднородной). 2. Пусть Тогда
Если обозначить Теорема 2. (без док-ва) (Необходимое и достаточное условие сходимости метода простых итераций) Пусть система (2) имеет единственное решение. Итерационный процесс по формуле (3) сходится к решению системы (2) при любом начальном приближении тогда и только тогда, когда все собственные значения матрицы B по модулю меньше 1.
Своеобразная модификация метода простых итераций – метод Зейделя.
Метод Зейделя: Пусть в системе 1. Определим матрицы Получим систему 2. Построим рекуррентную формулу 3. Выберем любое начальное приближение
Система (5) имеет вид Из первого уравнения системы (5) найдем 4. Если норма разности
Замечание: Формула (5) равносильна формуле
Теорема 3. (без док-ва) Если A – вещественная, симметричная, положительно определенная (т.е. все главные миноры положительны) матрица, то метод Зейделя сходится.
§2. Метод наискорейшего спуска Итерационные методы решения СЛУ сводятся к поиску вектора Воспользуемся теорией ФНП из мат.анализа:
Получаем рекуррентную формулу:
где
Особый случай. Пусть A – симметричная и положительно определенная матрица. Пусть Точка минимума такой функции является решением уравнения Доказывается подстановкой и по определению – пропускаем. Тогда
Пусть
Выведем формулу для нахождения Рассмотрим
(т.к. A – симметричная, то Т.о. (т.к. A – положительно определенная, то
§ 3. Обратная интерполяция для решения нелинейных уравнений
Задача: Дано: f(x) = 0 Найти: x0, такой, что f(x0)=0. Пусть точное решение xT Î [a,b] и f(x) обратима на [a,b], т.е. существует обратная функция g(x) = f–1(x): g(f(x))=x. Тогда g(0)=g(f(xT))=xT.
Алгоритм: 1) Выбрать [a,b]: f(x) обратима (монотонна). 2) Выбрать узлы x0, ..., xn Î [a,b]. Вычислить значения f(x) в узлах: f(x0), ..., f(xn). 3) Для g(x): f(x0), ..., f(xn) — узлы x0, ..., xn — значения в узлах. Найти интерполяционный многочлен Ln(x) » g(x). 4) Ln(0) » g(0) = xT — приближенное значение корня уравнения.
Задача: Дано: где
Метод простых итераций: 1) Преобразовать уравнение (7) в уравнение вида 2) Составить рекуррентную формулу: 3) Выбрать любое начальное приближение 4) Если норма разности
Опр. Метрическое пространство H — множество, на котором задана функция метрики (расстояния) r(a,b), удовлетворяющая условиям: 1) r(a,b) ³ 0, и r(a,b) = 0 Û a = b; 2) r(a,b) = r(b,a); 3) r(a,b) + r(b,c) ³ r(a,c).
В нашем случае H = ún, Опр. Отображением в метрическом пространстве называется функция g : H ® H. Опр. Отображение называется сжимающим, если существует число q: 0 ≤ q < 1, такое, что для любых x1, x2 Î H выполняется r(g(x1),g(x2)) ≤ q×r(x1, x2). Теорема. Если отображение Док-во: 1. Поскольку
Тогда для l > k выполняется
Т.о. при l ® ¥, k ® ¥ выполняется 2.
Это неравенство верно для любого k, т.е. Следовательно, 3. Предположим, что уравнение (8) имеет два точных решения
Теорема доказана.
Частный случай. Пусть n = 1, т.е. система состоит из одного уравнения f(x) = 0 с одной неизвестной x. Уравнению равносильно x = g(x). Решение xT — точка пересечения графиков функций y = x и y = g(x).
x1 = g(x0), x2 = g(x1), …
На этом рисунке метод простых итераций сходится. На следующем — нет.
Аналогом метода Зейделя является способ, когда координаты нового приближения
§ 5. Системы нелинейных уравнений: метод Ньютона
Идея метода: Пусть
1 случай) m = 1, т.е. одно уравнение f(x) = 0 с одной неизвестной. Пусть x0 — "хорошее" начальное приближение.
Геометрическая иллюстрация метода:
На следующем рисунке показана ситуация зацикливания:
Общий случай) Дано: Опр. Линейный оператор Действие линейного оператора
Пусть
тогда
Замечание: Матрица A–1 (зависящая от Теорема (о сходимости метода Ньютона) (без док-ва) При выполнении условий: "аналог сжимаемости": "аналог дифференцируемости": и при
§ 6. Методы спуска
По аналогии с методами спуска для системы линейных уравнений заменим задачу решения системы Идея методов спуска: 1) Выбирается начальное приближение 2) Выбирается направление, в котором 3) В этом направлении от 4) По рекуррентной формуле последовательно находят приближения 5) Последнее приближение
1 способ) Покоординатный спуск Пусть Подставим в Получим функцию от одной переменной. Найдем ее точку минимума. Это будет x1(1). Затем подставим в Получим функцию от одной переменной. Найдем ее точку минимума. Это будет x1(2). Продолжая таким образом, получим Проиллюстрируем поведение алгоритма для m = 2.
Модификации алгоритма: 1) Случайный покоординатный спуск — порядок переменных выбирается случайным образом. 2) "Метод муравьиной кучи" — покоординатный спуск выполняется для нескольких разных нулевых приближений.
Недостатки алгоритма: 1) Не гарантирует сходимости. 2) Не гарантирует приближение к глобальному экстремуму.
2 способ) Метод наискорейшего спуска. Использует рекуррентную формулу
3 способ) Условная минимизация Задача: Найти точку
Методы решения таких задач получили название математическое программирование. Если все функции F, j, y являются линейными — линейное программирование. Если есть нелинейные функции — нелинейное программирование. Если искомое решение должно состоять из целых чисел — целочисленное программирование. § 1. Задача Коши для обыкновенных дифференциальных уравнений: применение формулы Тейлора
Задача Коши: Дано: Найти: функцию y(x), удовлетворяющую уравнению и начальному условию. Пусть f(x,y) — аналитическая в окрестности т.(x0,y0) (т.е. может быть представлена рядом по степеням (x – x0) и (y – y0). Алгоритм: 1. Известна Найдем
– – – – – – – – – – –
2. Подставляя (x0,y0) получим:
– – – – – – – – – – –
3. По формуле Тейлора составим:
Замечание: Пусть R — радиус сходимости ряда
Дальнейшее обобщение алгоритма: Пусть отрезок 1. На Тогда 2. На Тогда И т.д. n. На Тогда Т.е. найден набор § 2. Метод Эйлера. Методы Рунге-Кутта
Пусть отрезок
При m = 1, формула из § 1 имеет вид:
Методы Рунге-Кутта — класс методов, включающий в себя метод Эйлера. Общая идея методов: Пусть даны параметры: q, a2,…,aq; p1,…,pq; bij, 0 < j < i £ q. Найдем последовательно:
– – – – – – – – – – – – –
Тогда Т.е.
Частные случаи: 1) q = 1, p1 = 1 — метод Эйлера. 2) q = 2, p1 =
Обоснование справедливости формулы:
Заменим интеграл квадратурной формулой трапеций
т.к.
Заменим в правой части по формуле Эйлера
Тогда
3) q = 2, p1 = 0, p2 = 1; a2 =
Обоснование справедливости формулы:
Заменим интеграл квадратурной формулой прямоугольников
Заменим в правой части по формуле Эйлера
§ 3. Конечно-разностные методы
Задача: Дано: Пусть отрезок Найти: Явные конечно-разностные методы используют соотношения вида
где коэффициенты
Неявные конечно-разностные методы используют соотношения вида
где новое значение yk присутствует в обеих суммах. Простейшие методы такого типа получаются на основе квадратурных формул интегрирования:
По формуле трапеций получаем
— неявный конечно-разностный метод. Для использования формулы Симпсона применяют другое равенство
— неявный конечно-разностный метод. Формулу прямоугольников применим также для равенства
—явный конечно-разностный метод. Замечание: вторая и третья формулы имеют низкую сходимость, т.е. при уменьшении h погрешность уменьшается медленнее, чем в первой формуле. § 4. Уравнения второго порядка
I. Дифференциальное уравнение, в котором отсутствует Задача Коши: Дано: Пусть отрезок Найти: Для каждого узла выполняется
Заменим в левой части вторую производную формулой численного дифференцирования по трем точкам:
Правую часть заменим линейной комбинацией
Тогда получим формулу явный метод. Если правую часть заменим другой линейной комбинацией неявный метод.
Коэффициенты
Пример. Метод Нумерова — неявный метод, m = 1, четвертого порядка точности.
Вывод формулы методом неопределенных коэффициентов: Нужно найти формулу точную для y(x), являющейся многочленом до четвертой степени. Пусть xk = 0. Для y(x) = x2
Для y(x) = x3
Для y(x) = x4
Получается система
Решение системы: Применение метода: 1) По формуле Эйлера находим 2) По рекуррентной формуле находим
II. Задача Коши: Дано: отрезок Найти: В ходе решения будут найдены также значения Явный метод использует равенства
Неявный метод использует равенства
Пример. Явный метод, m = 0.
|
||
|
Последнее изменение этой страницы: 2018-04-12; просмотров: 379. stydopedya.ru не претендует на авторское право материалов, которые вылажены, но предоставляет бесплатный доступ к ним. В случае нарушения авторского права или персональных данных напишите сюда... |