Численные методы решения задачи Коши для систем обыкновенных дифференциальных уравнений
8.3. Методы Адамса
Для решения ОДУ или систем ОДУ существуют одностадийные методы Адамса (линейные многошаговые методы), суть которых заключается в следующем.
Пусть известно приближенное решение в некоторых узлах расчетной сетки: tn, tn - 1, ..., tn - m. В окрестности этих узлов заменим f(t, x(t)) интерполяционным полиномом, записанным в форме Ньютона ([8.1], [8.2], а также "Интерполяция функций" ):
f(t) = f(tn) + f(tn, tn - 1) (t - tn) + + f(tn, tn - 1, tn - 2) (t - tn) (t - tn - 1) + + f(tn, tn - 1, tn - 2, tn - 3) (t - tn) (t - tn - 1) (t - tn - 2) + ...
Для того чтобы вычислить решение в точке n + 1, запишем его в интегральном виде
![u_{n + 1} = u_n + \int\limits_{t_n}^{t_{n + 1}}{f(t, u(t)) dt} = \int\limits_{t_n}^{t_{n + 1}}{f(t) dt}](/sites/default/files/tex_cache/8b9f7ab41e3f0c7f9dc03988780f8091.png)
и подставим в него интерполяционный полином с переменным шагом
![\begin{gather*}
u_{n + 1} = u_n + {\tau}_n f(t_n) + \frac{{{\tau}_n^2 }}{2} f(u_n, u_{n - 1}) + \\
+ \frac{{{\tau}_n^2 }}{6} (2{\tau}_n + 3{\tau}_{n - 1}) f(u_n, u_{n - 1}, u_{n - 2}) + \frac{{{\tau}_n^2 }}{{12}} (2{\tau}_n^2 + 8{\tau}_n {\tau}_{n - 1} + \\
+ 4{\tau}_n {\tau}_{n - 2} + 6{\tau}_{n - 1}^2 + 6{\tau}_n {\tau}_{n - 2})f(u_n, u_{n - 1}, u_{n - 2}, u_{n - 3}).
\end{gather*}](/sites/default/files/tex_cache/cf5b7ab38660a26810a4f54e4b8af3e4.png)
Здесь и т.д. - разделенные разности.
Эта формула четвертого порядка точности. Если опустить последнее слагаемое,
то получим формулу третьего порядка, если опустить еще и предпоследнее, то — второго, и т.д. Если же положить то формула значительно упростится:
![$ u_{n + 1} = u_n + {\tau}f_n + \frac{{{\tau}^2 }}{2} \Delta_1 f_n +
\frac{5}{{12}} {\tau}^3 \Delta_2 f_n + \frac{3}{8} {\tau}^4 \Delta_3 f_n, $](/sites/default/files/tex_cache/b83e3c2b05ff5a7fa62684f90a79c6dc.png)
где — k - я конечная разность.
Для того чтобы начать вычисления по данному варианту метода Адамса, необходимо знать решение в четырех точках. Это можно сделать, например, с помощью методов Рунге - Кутты. Кроме того, коэффициент при погрешности, например, для метода четвертого порядка точности Рунге - Кутты существенно меньше соответствующего коэффициента для метода Адамса.
Первые четыре метода Адамса, от первого до четвертого порядка точности с постоянным шагом интегрирования, представляются в виде
![]() |
( 8.7) |
В общем виде методы Адамcа могут быть записаны следующим образом:
![u_{n + 1} = u_n + {\tau}\sum\limits_{j = 0}^{k - 1}{\eta_j \Delta^{j} f_j}.](/sites/default/files/tex_cache/9445e6fdfbe472d6e5a246ef874d8d10.png)
Значительно большее значение в вычислительной практике имеют неявные методы Адамса, которые можно записать как
![u_{n + 1} = u_n - {\tau}\sum\limits_{j = 0}^{k}{\tilde {\gamma}_j {\Delta}^{j} f_{n + 1}}.](/sites/default/files/tex_cache/4741f2645965f2ec3d00fe0075e1f6f9.png)
Первые четыре неявных метода имеют вид
![$
\left. \begin{array}{l}
k = 0: u_{n + 1} = u_n + {\tau}f_{n + 1}, \\
k = 1: u_{n + 1} = u_n + {\tau}\left({\frac{1}{2} f_{n + 1} + \frac{1}{2} f_n}\right), \\
k = 2: u_{n + 1} = u_n + {\tau}\left({\frac{5}{{12}}f_{n + 1} + \frac{8}{{12}} f_n - \frac{1}{{12}} f_{n - 1}}\right), \\
k = 3: u_{n + 1} = u_n + {\tau}\left({\frac{9}{{24}} f_{n + 1} + \frac{{19}}{{24}} f_n - \frac{5}{{24}} f_{n - 1} + \frac{1}{{24}} f_{n - 2}}\right).
\end{array} \right. $](/sites/default/files/tex_cache/034d70750b27e7861f579ac10839c318.png)
Первая и вторая формулы — неявный метод Эйлера и неявный метод трапеций соответственно. Порядок аппроксимации приведенных методов — с первого по четвертый соответственно.
Для k = 8 коэффициент можно
представить в виде таблицы (табл. 8.19) и ввести следующие обозначения:
— "разности назад",
— коэффициенты, которые можно представить в виде таблицы (для k = 8 табл. 8.2). Для k = 1 получается уже знакомый явный метод Эйлера.