CM_FAQ7 (2) (1135273)
Текст из файла
FAQ: Численные Методы, часть VII
Численные методы решения обыкновенных дифференциальных уравнений и систем
28. Примеры численных методов решения задачи Коши для уравнения
. Погрешность аппроксимации 2-х этапного метода Рунге-Кутта.
См. [8, стр. 214].
Будем рассматривать задачу Коши для обыкновенного дифференциального уравнения
с начальным условием u(0) = u0.
Метод Эйлера, соответствующий разностной схеме
, (28.2)
является явным и имеет только первый порядок аппроксимации.
Метод, основанный на симметричной схеме:
, (28.3)
является неявным (т.к. приводит к решению нелинейного уравнения) и имеет второй порядок точности.
Метод Рунге-Кутта второго порядка является явным и состоит в следующем. Пусть значение сеточной функции вычислено в точке n. Вычислим величины
k1 = f(tn ,yn) , k2 = f(tn +0.5t, yn+0.5tk1), (28.4)
а затем найдем yn+1 из уравнения
(28.5).
Утверждение 28.1. Метод Рунге-Кутта (28.4,5) имеет второй порядок аппроксимации.
29. Общая формулировка m-этапного метода Рунге-Кутта. Оценка точности 2-х этапного метода Рунге-Кутта.
См. [8, стр. 218].
Явный m-этапный метод Рунге-Кутта состоит в следующем. Пусть значение yn = y(tn) уже известно. Задаются числовые коэффициенты ai, bij, si и последовательно вычисляются величины
k1 = f(tn ,yn),
k2 = f(tn+a2t, yn+b21tk1),
k3 = f(tn+a3t, yn+b31tk1+ b32tk2),
...
km = f(tn+amt, yn+bm1tk1+ bm2tk2+...+ bm,m-1tkm-1). (29.1)
Затем из формулы
(29.2).
находится значение yn+1 = y(tn+1).
Коэффициенты ai, bij, si выбираются из соображений точности. Для того, чтобы уравнение (29.2) аппроксимировало исходное уравнение (28.1), необходимо потребовать
. (29.3)
При m=1 получается метод Эйлера (28.2). При m=2 получаем семейство методов
k1 = f(tn ,yn),
k2 = f(tn + a2t, yn + b21tk1),
yn+1 = yn + t(s1k2 + s2k2). (29.4)
В частности, при s1=0, s2=1, a2 = b21 = 0.5, получим метод (28.5).
Утверждение 29.1. При выполнении условия (29.3) методы (29.4) имеют первый порядок аппроксимации, а если дополнительно потребовать s1a2 + s2a2 = 0.5, то получим методы второго порядка аппроксимации.
Утверждение 29.2. Если данный метод Рунге-Кутта аппроксимируют исходное уравнение, то он сходится, причем порядок его точности совпадает с порядком аппроксимации. Таким образом, двухэтапный метод Рунге-Кутта (28.5) имеет второй порядок точности.
30. Многошаговые разностные методы. Погрешность аппроксимации. Понятие устойчивости.
См. [8, стр. 230].
Линейным m-шаговым методом для решения задачи Коши (28.1) называется система разностных уравнений
, (30.1)
где ak и bk - числовые коэффициенты, не зависящие от n. Так как эти коэффициенты определены с точностью до постоянного множителя, потребуем дополнительно, чтобы
. (30.2)
Расчет по схеме (30.1) начинается с n=m. Значение y0 определено начальным условием, а значения y1, ..., ym-1 можно получить, например, с помощью метода Рунге-Кутта (28.5). Метод (30.1) называется явным, если b0=0, т.е. величина yn явным образом выражается через величины yn-m,...,yn-1. В противном случае этот метод называется неявным, и на каждом шаге приходится решать нелинейное уравнение.
Частным случаем семейства методов (30.1) являются методы Адамса, где производная аппроксимируется только по двум точкам:
, (30.3)
Утверждение 30.1. Порядок аппроксимации линейных m-шаговых методов (30.1) не может превосходить 2m.
31. Жёсткие системы дифференциальных уравнений.
См. [8, стр. 249].
Пусть u=(u1,u2,...,um) - вектор из m неизвестных функций от времени, А - квадратная матрица порядка m, lk - ее собственные числа . Система обыкновенных дифференциальных уравнений вида
называется жесткой с числом жесткости s, если
1) система асимптотически устойчива по Ляпунову, т.е. Re lk<0 для всех k.
2) отношение
(31.2)
достаточно велико.
Решение жесткой системы содержит как медленно убывающие, так и быстро убывающие составляюшие. Начиная с некоторого момента t, решение системы почти полностью определяется медленнно убывающей составляющей; однако при использовании явных разностных методов быстро убывающая составляющая отрицательно влияет на устойчивость, что вынуждает брать шаг интегрирования t слишком мелким. Выход из этой ситуации найден в применении неявных абсолютно устойчивых разностных методов.
Свойства различных разностных методов решения жестких систем обычно моделируют на основе уравнения
где величина l пробегает все собственные значения матрицы А.
Областью устойчивости разностного метода называется множество M всех точек комплексной плоскости m=tl таких, что метод устойчив при данных значениях t и l. Разностный метод будем называть А-устойчивым, если область его устойчивости содержит левую полуплоскость {Re m > 0}. Разностный метод называется А(a)-устойчивым, если область его устойчивости содержит угол
|arg(-m)|<a.
Утверждение 31.1. Среди явных линейных многошаговых методов не существует А-устойчивых. Среди неявных линейных многошаговых методов не существует А-устойчивых порядка точности выше второго.
32. Примеры разностных схем для интегрирования жёстких систем дифференциальных уравнений.
См. [8, стр. 255].
Чисто неявные линейные методы имеют следующий общий вид:
, (32.2)
где параметры ak подбираются из соображений нужного порядка аппроксимации.
При m=1 получаем неявный метод Эйлера.
При m=2 и m=3 получаем методы соответственно второго и третьего порядка точности:
Óòâåðæäåíèå 32.1. Ìåòîä (32.3) ÿâëÿåòñÿ À-óñòîé÷èâûì.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.