WikiDer > Список методов Рунге – Кутты

List of Runge–Kutta methods

Методы Рунге – Кутты - методы численного решения обыкновенное дифференциальное уравнение

Явные методы Рунге-Кутты принимают форму

Этапы для неявных методов s этапов принимают более общий вид

Каждый метод, перечисленный на этой странице, определяется своим Таблица мясника, который помещает коэффициенты метода в таблицу следующим образом:

Явные методы

Явные методы - это те, в которых матрица ниже треугольный.

Вперед Эйлер

В Метод Эйлера это первый заказ. Отсутствие стабильности и точности ограничивает его популярность, главным образом, для использования в качестве простого вводного примера метода численного решения.

Явный метод средней точки

(Явный) метод средней точки - это метод второго порядка с двумя этапами (см. также неявный метод средней точки ниже):

Метод Хойна

Метод Хойна это метод второго порядка с двумя этапами. Он также известен как явное правило трапеций, улучшенный метод Эйлера или модифицированный метод Эйлера. (Примечание: «eu» произносится так же, как в «Euler», поэтому «Heun» рифмуется с «монетой»):

Метод Ральстона

Метод Ральстона - метод второго порядка[1] с двумя этапами и минимальной локальной ошибкой:

Общий метод второго порядка

Метод третьего порядка Кутты

Общий метод третьего порядка

См. Сандерс и Вельдман (2019)[2].

для α ≠ 0, ⅔, 1:

Метод третьего порядка Хойна

Метод третьего порядка Ральстона

Метод третьего порядка Ральстона[3] используется во встроенном Богацкий – Шампиновый метод.

Рунге-Кутта третьего порядка с сохранением сильной устойчивости (ССПРК3)

Классический метод четвертого порядка

«Оригинальный» метод Рунге – Кутты.

Метод четвертого порядка Ральстона

Этот метод четвертого порядка[4] имеет минимальную ошибку усечения.

Метод четвертого порядка с правилом 3/8

Этот метод не имеет такой известности, как «классический» метод, но столь же классический, потому что был предложен в той же статье (Kutta, 1901).

Встроенные методы

Встроенные методы предназначены для получения оценки локальной ошибки усечения одного шага Рунге-Кутты и, как результат, позволяют контролировать ошибку с помощью адаптивный шаг. Для этого в таблице используются два метода: один с порядком p, а другой с порядком p-1.

Шаг младшего порядка определяется выражением

где такие же, как и для метода более высокого порядка. Тогда ошибка

который . Таблица Мясника для этого метода расширена, чтобы дать значения

Хойн-Эйлер

Простейший адаптивный метод Рунге – Кутты предполагает комбинирование Метод Хойна, который имеет порядок 2, с методом Эйлера, который имеет порядок 1. Его расширенная таблица Бутчера:

Оценка ошибки используется для контроля размера шага.

Фельберг РК1 (2)

В Метод Фельберга[5] имеет два метода порядков 1 и 2. Его расширенная таблица мясника:

0
1/21/2
11/256255/256
1/512255/2561/512
1/256255/2560

Первый ряд б коэффициенты дают решение второго порядка точности, а вторая строка имеет порядок один.

Богацки – Шампин

В Богацкий – Шампиновый метод имеет два метода порядков 3 и 2. Его расширенная таблица мясника:

0
1/21/2
3/403/4
12/91/34/9
2/91/34/90
7/241/41/31/8

Первый ряд б Коэффициенты дают решение третьего порядка точности, а вторая строка - второго порядка.

Fehlberg

В Метод Рунге – Кутты – Фельберга. имеет два метода порядков 5 и 4. Его расширенная таблица мясника:

Первый ряд б Коэффициенты дают решение пятого порядка точности, а вторая строка имеет четвертый порядок.

Кэш-Карп

Кэш и Карп изменили первоначальную идею Фельберга. Расширенная таблица для Кэш – метод Карпа является

0
1/51/5
3/103/409/40
3/53/10−9/106/5
1−11/545/2−70/2735/27
7/81631/55296175/512575/1382444275/110592253/4096
37/3780250/621125/5940512/1771
2825/27648018575/4838413525/55296277/143361/4

Первый ряд б Коэффициенты дают решение пятого порядка точности, а вторая строка имеет четвертый порядок.

Дорман – Принс

Расширенная таблица для Метод Дорманда – Принса является

0
1/51/5
3/103/409/40
4/544/45−56/1532/9
8/919372/6561−25360/218764448/6561−212/729
19017/3168−355/3346732/524749/176−5103/18656
135/3840500/1113125/192−2187/678411/84
35/3840500/1113125/192−2187/678411/840
5179/5760007571/16695393/640−92097/339200187/21001/40

Первый ряд б Коэффициенты дают решение пятого порядка точности, а вторая строка дает решение четвертого порядка точности.

Неявные методы

Обратный Эйлер

В обратный метод Эйлера это первый заказ. Безусловно устойчивый и не колеблющийся для задач линейной диффузии.

Неявная средняя точка

Неявный метод средней точки второго порядка. Это самый простой метод в классе методов коллокации, известных как Методы Гаусса-Лежандра. Это симплектический интегратор.

Метод Кранка-Николсона

В Метод Кранка – Николсона соответствует неявному правилу трапеций и является методом второго порядка точности и A-стабильностью.

Методы Гаусса – Лежандра

Эти методы основаны на точках Квадратура Гаусса – Лежандра. В Метод Гаусса – Лежандра в четвертом порядке есть таблица Мясника:

Метод Гаусса – Лежандра шестого порядка имеет таблицу Бутчера:

Диагонально неявные методы Рунге-Кутты

Диагонально неявные формулы Рунге-Кутты (DIRK) широко используются для численного решения жестких задач с начальным значением. Самый простой метод из этого класса - неявный порядок 2 метод средней точки.

Двухэтапный диагонально-неявный метод Рунге-Кутты Краайевангера и Спайкера:

Двухэтапный симплектический диагонально-неявный метод Рунге-Кутты Цинь и Чжан 2-го порядка:

Двухэтапный диагонально-неявный метод Рунге-Кутты 2-го порядка Парески и Руссо:

Этот диагонально неявный метод Рунге-Кутты является A-стабильным тогда и только тогда, когда . Более того, этот метод является L-устойчивым тогда и только тогда, когда равно одному из корней многочлена , т.е. если Диагонально-неявный метод Рунге-Кутты Цин и Чжан соответствует диагонально-неявному методу Рунге-Кутта Парески и Руссо с .

Двухэтапный диагонально-неявный метод Рунге-Кутты 2-го порядка:

Опять же, этот диагонально неявный метод Рунге-Кутты является A-устойчивым тогда и только тогда, когда . Как и предыдущий метод, этот метод снова является L-стабильным тогда и только тогда, когда равно одному из корней многочлена , т.е. если .

Двухэтапный диагонально-неявный метод Рунге-Кутты 3-го порядка Крузе:

Трехэтапный L-стабильный диагонально-неявный метод Рунге-Кутты 3-го порядка:

с

Трехэтапный метод Рунге-Кутты 4-го порядка по диагонали Норсетта имеет следующую таблицу Бутчера:

с один из трех корней кубического уравнения . Три корня этого кубического уравнения приблизительно равны , , и . Корень дает лучшие свойства устойчивости для задач начального значения.

Четырехэтапный L-стабильный диагонально-неявный метод Рунге-Кутты 3-го порядка

Методы лобатто

Существует три основных семейства методов Лобатто, называемых IIIA, IIIB и IIIC (в классической математической литературе символы I и II зарезервированы для двух типов методов Радау). Они названы в честь Рехуэль Лобатто. Все неявные методы имеют порядок 2s - 2 и все они c1 = 0 и cs = 1. В отличие от любого явного метода, эти методы могут иметь порядок больше, чем количество этапов. Лобатто жил до того, как Рунге и Кутта популяризировали классический метод четвертого порядка.

Методы Лобатто IIIA

Методы Lobatto IIIA: методы коллокации. Метод второго порядка известен как трапеция:

Метод четвертого порядка дается формулой

Эти методы являются A-стабильными, но не L-стабильными и B-стабильными.

Методы Лобатто IIIB

Методы Лобатто IIIB не являются методами коллокации, но их можно рассматривать как прерывистые методы коллокации (Хайрер, Любич и Ваннер 2006, §II.1.4). Метод второго порядка дается формулой

Метод четвертого порядка дается формулой

Методы Lobatto IIIB являются A-стабильными, но не L-стабильными и B-стабильными.

Методы Лобатто IIIC

Методы Лобатто IIIC также являются методами прерывистой коллокации. Метод второго порядка дается формулой

Метод четвертого порядка дается формулой

Они L-стабильны. Они также являются алгебраически стабильными и, следовательно, B-стабильными, что делает их пригодными для решения жестких задач.

Методы Лобатто IIIC *

Методы Lobatto IIIC * также известны в литературе как методы Lobatto III (Butcher, 2008), методы Butcher's Lobatto (Hairer et al., 1993) и методы Lobatto IIIC (Sun, 2000).[6] Метод второго порядка дается формулой

Трехэтапный метод четвертого порядка Мясника представлен

Эти методы не являются A-стабильными, B-стабильными или L-стабильными. Метод Lobatto IIIC * для иногда называют явным правилом трапеций.

Обобщенные методы Лобатто

Можно рассматривать очень общее семейство методов с тремя действительными параметрами рассматривая коэффициенты Лобатто вида

,

куда

.

Например, семейство Lobatto IIID, представленное в (Nørsett and Wanner, 1981), также называемое Lobatto IIINW, представлено

и

Эти методы соответствуют , , , и . Методы L-стабильны. Они алгебраически стабильны и, следовательно, B-стабильны.

Методы Радау

Методы Радау являются полностью неявными методами (матрица А таких методов может иметь любую структуру). Методы Радау достигают порядка 2s - 1 для s этапы. Методы Радау A-стабильны, но дороги в реализации. Также они могут страдать от понижения порядка. Метод Радау первого порядка аналогичен обратному методу Эйлера.

Радау И.А. Методы

Метод третьего порядка дается формулой

Метод пятого порядка дается формулой

Методы Радау IIA

В cя этого метода - нули

.

Метод третьего порядка дается формулой

Метод пятого порядка дается формулой

Примечания

  1. ^ Ральстон, Энтони (1962). «Методы Рунге-Кутты с минимальными границами ошибок». Математика. Вычислить. 16 (80): 431–437. Дои:10.1090 / S0025-5718-1962-0150954-0.
  2. ^ Сандерс, Бенджамин; Вельдман, Артур (2019). «Согласованные по ограничению методы Рунге – Кутта для одномерного многофазного потока несжимаемой жидкости». J. Comp. Phys. 384: 170. arXiv:1809.06114. Bibcode:2019JCoPh.384..170S. Дои:10.1016 / j.jcp.2019.02.001.
  3. ^ Ральстон, Энтони (1962). «Методы Рунге-Кутты с минимальными границами ошибок». Математика. Вычислить. 16 (80): 431–437. Дои:10.1090 / S0025-5718-1962-0150954-0.
  4. ^ Ральстон, Энтони (1962). «Методы Рунге-Кутты с минимальными границами ошибок». Математика. Вычислить. 16 (80): 431–437. Дои:10.1090 / S0025-5718-1962-0150954-0.
  5. ^ Фельберг, Э. (1969-07-01). «Классические формулы Рунге-Кутты низкого порядка с контролем размера шага и их применение к некоторым задачам теплопередачи». Цитировать журнал требует | журнал = (помощь)
  6. ^ http://homepage.math.uiowa.edu/~ljay/publications.dir/Lobatto.pdf

Рекомендации

  • Хайрер, Эрнст; Норсетт, Сиверт Пол; Ваннер, Герхард (1993), Решение обыкновенных дифференциальных уравнений I: нежесткие задачи, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-3-540-56670-0.
  • Хайрер, Эрнст; Ваннер, Герхард (1996), Решение обыкновенных дифференциальных уравнений II: жесткие и дифференциально-алгебраические задачи, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-3-540-60452-5.
  • Хайрер, Эрнст; Любич, Кристиан; Ваннер, Герхард (2006), Геометрическое численное интегрирование: сохраняющие структуру алгоритмы для обыкновенных дифференциальных уравнений (2-е изд.), Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-3-540-30663-4.