Статья со списком Википедии
Методы Рунге – Кутты - методы численного решения обыкновенное дифференциальное уравнение
d у d т = ж ( т , у ) . {displaystyle {frac {dy} {dt}} = f (t, y).} Явные методы Рунге-Кутты принимают форму
у п + 1 = у п + час ∑ я = 1 s б я k я {displaystyle y_ {n + 1} = y_ {n} + hsum _ {i = 1} ^ {s} b_ {i} k_ {i}} k 1 = ж ( т п , у п ) , {displaystyle k_ {1} = f (t_ {n}, y_ {n}),} k 2 = ж ( т п + c 2 час , у п + час ( а 21 k 1 ) ) , {displaystyle k_ {2} = f (t_ {n} + c_ {2} h, y_ {n} + h (a_ {21} k_ {1})),} k 3 = ж ( т п + c 3 час , у п + час ( а 31 k 1 + а 32 k 2 ) ) , {displaystyle k_ {3} = f (t_ {n} + c_ {3} h, y_ {n} + h (a_ {31} k_ {1} + a_ {32} k_ {2})),} ⋮ {displaystyle vdots} k я = ж ( т п + c я час , у п + час ∑ j = 1 я − 1 а я j k j ) . {displaystyle k_ {i} = fleft (t_ {n} + c_ {i} h, y_ {n} + hsum _ {j = 1} ^ {i-1} a_ {ij} k_ {j} ight).} Этапы для неявных методов s этапов принимают более общий вид
k я = ж ( т п + c я час , у п + час ∑ j = 1 s а я j k j ) . {displaystyle k_ {i} = fleft (t_ {n} + c_ {i} h, y_ {n} + hsum _ {j = 1} ^ {s} a_ {ij} k_ {j} ight).} Каждый метод, перечисленный на этой странице, определяется своим Таблица мясника , который помещает коэффициенты метода в таблицу следующим образом:
c 1 а 11 а 12 … а 1 s c 2 а 21 а 22 … а 2 s ⋮ ⋮ ⋮ ⋱ ⋮ c s а s 1 а s 2 … а s s б 1 б 2 … б s {displaystyle {egin {array} {c | cccc} c_ {1} & a_ {11} & a_ {12} & dots & a_ {1s} c_ {2} & a_ {21} & a_ {22} & dots & a_ {2s} vdots & vdots & vdots & ddots & vdots c_ {s} & a_ {s1} & a_ {s2} & dots & a_ {ss} hline & b_ {1} & b_ {2} & dots & b_ {s} end {array}}} Явные методы
Явные методы - это те, в которых матрица [ а я j ] {displaystyle [a_ {ij}]} ниже треугольный .
Вперед Эйлер В Метод Эйлера это первый заказ. Отсутствие стабильности и точности ограничивает его популярность, главным образом, для использования в качестве простого вводного примера метода численного решения.
0 0 1 {displaystyle {egin {array} {c | c} 0 & 0 hline & 1 end {array}}} Явный метод средней точки (Явный) метод средней точки - это метод второго порядка с двумя этапами (см. также неявный метод средней точки ниже):
0 0 0 1 / 2 1 / 2 0 0 1 {displaystyle {egin {array} {c | cc} 0 & 0 & 0 1/2 & 1/2 & 0 hline & 0 & 1 end {array}}} Метод Хойна Метод Хойна это метод второго порядка с двумя этапами. Он также известен как явное правило трапеций, улучшенный метод Эйлера или модифицированный метод Эйлера. (Примечание: «eu» произносится так же, как в «Euler», поэтому «Heun» рифмуется с «монетой»):
0 0 0 1 1 0 1 / 2 1 / 2 {displaystyle {egin {array} {c | cc} 0 & 0 & 0 1 & 1 & 0 hline & 1/2 & 1/2 end {array}}} Метод Ральстона Метод Ральстона - метод второго порядка[1] с двумя этапами и минимальной локальной ошибкой:
0 0 0 2 / 3 2 / 3 0 1 / 4 3 / 4 {displaystyle {egin {array} {c | cc} 0 & 0 & 0 2/3 & 2/3 & 0 hline & 1/4 & 3/4 end {array}}} Общий метод второго порядка 0 0 0 α α 0 1 − 1 2 α 1 2 α {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 alpha & alpha & 0 hline & 1- {frac {1} {2alpha}} & {frac {1} {2alpha}} end {array}}} Метод третьего порядка Кутты 0 0 0 0 1 / 2 1 / 2 0 0 1 − 1 2 0 1 / 6 2 / 3 1 / 6 {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 & 0 1/2 & 1/2 & 0 & 0 1 & -1 & 2 & 0 hline & 1/6 & 2/3 & 1/6 end {array}}} Общий метод третьего порядка См. Сандерс и Вельдман (2019)[2] .
для α ≠ 0, ⅔, 1:
0 0 0 0 α α 0 0 1 1 + 1 − α α ( 3 α − 2 ) − 1 − α α ( 3 α − 2 ) 0 1 2 − 1 6 α 1 6 α ( 1 − α ) 2 − 3 α 6 ( 1 − α ) {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 & 0 alpha & alpha & 0 & 0 1 & 1 + {frac {1-alpha} {alpha (3alpha -2)}} & - {frac {1-alpha} {alpha (3alpha -2 )}} & 0 hline & {frac {1} {2}} - {frac {1} {6alpha}} & {frac {1} {6alpha (1-alpha)}} & {frac {2-3alpha} { 6 (1-альфа)}} end {array}}} Метод третьего порядка Хойна 0 0 0 0 1 / 3 1 / 3 0 0 2 / 3 0 2 / 3 0 1 / 4 0 3 / 4 {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 & 0 1/3 & 1/3 & 0 & 0 2/3 & 0 & 2/3 & 0 hline & 1/4 & 0 & 3/4 end {array}}} Метод третьего порядка Ральстона Метод третьего порядка Ральстона[3] используется во встроенном Богацкий – Шампиновый метод .
0 0 0 0 1 / 2 1 / 2 0 0 3 / 4 0 3 / 4 0 2 / 9 1 / 3 4 / 9 {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 & 0 1/2 & 1/2 & 0 & 0 3/4 & 0 & 3/4 & 0 hline & 2/9 & 1/3 & 4/9 end {array}}} Рунге-Кутта третьего порядка с сохранением сильной устойчивости (ССПРК3) 0 0 0 0 1 1 0 0 1 / 2 1 / 4 1 / 4 0 1 / 6 1 / 6 2 / 3 {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 & 0 1 & 1 & 0 & 0 1/2 & 1/4 & 1/4 & 0 hline & 1/6 & 1/6 & 2/3 end {array}}} Классический метод четвертого порядка «Оригинальный» метод Рунге – Кутты.
0 0 0 0 0 1 / 2 1 / 2 0 0 0 1 / 2 0 1 / 2 0 0 1 0 0 1 0 1 / 6 1 / 3 1 / 3 1 / 6 {displaystyle {egin {array} {c | cccc} 0 & 0 & 0 & 0 & 0 1/2 & 1/2 & 0 & 0 & 0 1/2 & 0 & 1/2 & 0 & 0 1 & 0 & 0 & 1 & 0 hline & 1/6 & 1/3 & 1/3 & 1/6 end {array}}} Метод четвертого порядка Ральстона Этот метод четвертого порядка[4] имеет минимальную ошибку усечения.
0 0 0 0 0 .4 .4 0 0 0 .45573725 .29697761 .15875964 0 0 1 .21810040 − 3.05096516 3.83286476 0 .17476028 − .55148066 1.20553560 .17118478 {displaystyle {egin {array} {c | cccc} 0 & 0 & 0 & 0 & 0 .4 & .4 & 0 & 0 & 0 .45573725 & .29697761 & .15875964 & 0 & 0 1 & .21810040 & -3.05096516 & 3.83286476 & 0 hline & .174735866 & 0 hline &. }}} Метод четвертого порядка с правилом 3/8 Этот метод не имеет такой известности, как «классический» метод, но столь же классический, потому что был предложен в той же статье (Kutta, 1901).
0 0 0 0 0 1 / 3 1 / 3 0 0 0 2 / 3 − 1 / 3 1 0 0 1 1 − 1 1 0 1 / 8 3 / 8 3 / 8 1 / 8 {displaystyle {egin {array} {c | cccc} 0 & 0 & 0 & 0 & 0 1/3 & 1/3 & 0 & 0 & 0 2/3 & -1 / 3 & 1 & 0 & 0 1 & 1 & -1 & 1 & 0 hline & 1/8 & 3/8 & 3/8 & 1/8 end {array}}} Встроенные методы
Встроенные методы предназначены для получения оценки локальной ошибки усечения одного шага Рунге-Кутты и, как результат, позволяют контролировать ошибку с помощью адаптивный шаг . Для этого в таблице используются два метода: один с порядком p, а другой с порядком p-1.
Шаг младшего порядка определяется выражением
у п + 1 ∗ = у п + час ∑ я = 1 s б я ∗ k я , {displaystyle y_ {n + 1} ^ {*} = y_ {n} + hsum _ {i = 1} ^ {s} b_ {i} ^ {*} k_ {i},} где k я {displaystyle k_ {i}} такие же, как и для метода более высокого порядка. Тогда ошибка
е п + 1 = у п + 1 − у п + 1 ∗ = час ∑ я = 1 s ( б я − б я ∗ ) k я , {displaystyle e_ {n + 1} = y_ {n + 1} -y_ {n + 1} ^ {*} = hsum _ {i = 1} ^ {s} (b_ {i} -b_ {i} ^ { *}) k_ {i},} который О ( час п ) {displaystyle O (h ^ {p})} . Таблица Мясника для этого метода расширена, чтобы дать значения б я ∗ {displaystyle b_ {i} ^ {*}}
c 1 а 11 а 12 … а 1 s c 2 а 21 а 22 … а 2 s ⋮ ⋮ ⋮ ⋱ ⋮ c s а s 1 а s 2 … а s s б 1 б 2 … б s б 1 ∗ б 2 ∗ … б s ∗ {displaystyle {egin {array} {c | cccc} c_ {1} & a_ {11} & a_ {12} & dots & a_ {1s} c_ {2} & a_ {21} & a_ {22} & dots & a_ {2s} vdots & vdots & vdots & ddots & vdots c_ {s} & a_ {s1} & a_ {s2} & dots & a_ {ss} hline & b_ {1} & b_ {2} & dots & b_ {s} & b_ {1} ^ {*} & b_ {2} ^ {*} & точки & b_ {s} ^ {*} end {array}}} Хойн-Эйлер Простейший адаптивный метод Рунге – Кутты предполагает комбинирование Метод Хойна , который имеет порядок 2, с методом Эйлера, который имеет порядок 1. Его расширенная таблица Бутчера:
0 1 1 1 / 2 1 / 2 1 0 {displaystyle {egin {array} {c | cc} 0 & 1 & 1 hline & 1/2 & 1/2 & 1 & 0end {array}}} Оценка ошибки используется для контроля размера шага.
Фельберг РК1 (2) В Метод Фельберга [5] имеет два метода порядков 1 и 2. Его расширенная таблица мясника:
0 1/2 1/2 1 1/256 255/256 1/512 255/256 1/512 1/256 255/256 0
Первый ряд б коэффициенты дают решение второго порядка точности, а вторая строка имеет порядок один.
Богацки – Шампин В Богацкий – Шампиновый метод имеет два метода порядков 3 и 2. Его расширенная таблица мясника:
0 1/2 1/2 3/4 0 3/4 1 2/9 1/3 4/9 2/9 1/3 4/9 0 7/24 1/4 1/3 1/8
Первый ряд б Коэффициенты дают решение третьего порядка точности, а вторая строка - второго порядка.
Fehlberg В Метод Рунге – Кутты – Фельберга. имеет два метода порядков 5 и 4. Его расширенная таблица мясника:
0 1 / 4 1 / 4 3 / 8 3 / 32 9 / 32 12 / 13 1932 / 2197 − 7200 / 2197 7296 / 2197 1 439 / 216 − 8 3680 / 513 − 845 / 4104 1 / 2 − 8 / 27 2 − 3544 / 2565 1859 / 4104 − 11 / 40 16 / 135 0 6656 / 12825 28561 / 56430 − 9 / 50 2 / 55 25 / 216 0 1408 / 2565 2197 / 4104 − 1 / 5 0 {displaystyle {egin {array} {r | ccccc} 0 &&&&& 1/4 и 1/4 &&& 3/8 и 3/32 и 9/32 && 12/13 и 1932/2197 и -7200 / 2197 и 7296/2197 & 1 & 439/216 & -8 и 3680/513 и -845 / 4104 & 1/2 & -8 / 27 & 2 & -3544 / 2565 & 1859/4104 & -11 / 40 hline & 16/135 & 0 & 6656/12825 и 28561/56430 & -9 / 50 & 2/55 & 25/216 & 0 & 1408/2565 & 2197/4104 & -1 / 5} конец {0} } Первый ряд б Коэффициенты дают решение пятого порядка точности, а вторая строка имеет четвертый порядок.
Кэш-Карп Кэш и Карп изменили первоначальную идею Фельберга. Расширенная таблица для Кэш – метод Карпа является
0 1/5 1/5 3/10 3/40 9/40 3/5 3/10 −9/10 6/5 1 −11/54 5/2 −70/27 35/27 7/8 1631/55296 175/512 575/13824 44275/110592 253/4096 37/378 0 250/621 125/594 0 512/1771 2825/27648 0 18575/48384 13525/55296 277/14336 1/4
Первый ряд б Коэффициенты дают решение пятого порядка точности, а вторая строка имеет четвертый порядок.
Дорман – Принс Расширенная таблица для Метод Дорманда – Принса является
0 1/5 1/5 3/10 3/40 9/40 4/5 44/45 −56/15 32/9 8/9 19372/6561 −25360/2187 64448/6561 −212/729 1 9017/3168 −355/33 46732/5247 49/176 −5103/18656 1 35/384 0 500/1113 125/192 −2187/6784 11/84 35/384 0 500/1113 125/192 −2187/6784 11/84 0 5179/57600 0 7571/16695 393/640 −92097/339200 187/2100 1/40
Первый ряд б Коэффициенты дают решение пятого порядка точности, а вторая строка дает решение четвертого порядка точности.
Неявные методы
Обратный Эйлер В обратный метод Эйлера это первый заказ. Безусловно устойчивый и не колеблющийся для задач линейной диффузии.
1 1 1 {displaystyle {egin {array} {c | c} 1 & 1 hline & 1 end {array}}} Неявная средняя точка Неявный метод средней точки второго порядка. Это самый простой метод в классе методов коллокации, известных как Методы Гаусса-Лежандра . Это симплектический интегратор .
1 / 2 1 / 2 1 {displaystyle {egin {array} {c | c} 1/2 и 1/2 hline & 1end {array}}} Метод Кранка-Николсона В Метод Кранка – Николсона соответствует неявному правилу трапеций и является методом второго порядка точности и A-стабильностью.
0 0 0 1 1 / 2 1 / 2 1 / 2 1 / 2 {displaystyle {egin {array} {c | cc} 0 & 0 & 0 1 & 1/2 & 1/2 hline & 1/2 & 1/2 end {array}}} Методы Гаусса – Лежандра Эти методы основаны на точках Квадратура Гаусса – Лежандра . В Метод Гаусса – Лежандра в четвертом порядке есть таблица Мясника:
1 2 − 3 6 1 4 1 4 − 3 6 1 2 + 3 6 1 4 + 3 6 1 4 1 2 1 2 1 2 + 3 2 1 2 − 3 2 {displaystyle {egin {array} {c | cc} {frac {1} {2}} - {frac {sqrt {3}} {6}} & {frac {1} {4}} и {frac {1} {4}} - {frac {sqrt {3}} {6}} {frac {1} {2}} + {frac {sqrt {3}} {6}} и {frac {1} {4}} + {frac {sqrt {3}} {6}} & {frac {1} {4}} hline & {frac {1} {2}} & {frac {1} {2}} & {frac { 1} {2}} + {frac {sqrt {3}} {2}} & {frac {1} {2}} - {frac {sqrt {3}} {2}} end {array}}} Метод Гаусса – Лежандра шестого порядка имеет таблицу Бутчера:
1 2 − 15 10 5 36 2 9 − 15 15 5 36 − 15 30 1 2 5 36 + 15 24 2 9 5 36 − 15 24 1 2 + 15 10 5 36 + 15 30 2 9 + 15 15 5 36 5 18 4 9 5 18 − 5 6 8 3 − 5 6 {displaystyle {egin {array} {c | ccc} {frac {1} {2}} - {frac {sqrt {15}} {10}} & {frac {5} {36}} и {frac {2} {9}} - {frac {sqrt {15}} {15}} и {frac {5} {36}} - {frac {sqrt {15}} {30}} {frac {1} {2}} & {frac {5} {36}} + {frac {sqrt {15}} {24}} & {frac {2} {9}} & {frac {5} {36}} - {frac {sqrt {15 }} {24}} {frac {1} {2}} + {frac {sqrt {15}} {10}} и {frac {5} {36}} + {frac {sqrt {15}} {30 }} & {frac {2} {9}} + {frac {sqrt {15}} {15}} & {frac {5} {36}} hline & {frac {5} {18}} & {frac {4} {9}} & {frac {5} {18}} & - {frac {5} {6}} & {frac {8} {3}} & - {frac {5} {6}} конец {массив}}} Диагонально неявные методы Рунге-Кутты Диагонально неявные формулы Рунге-Кутты (DIRK) широко используются для численного решения жестких задач с начальным значением. Самый простой метод из этого класса - неявный порядок 2 метод средней точки .
Двухэтапный диагонально-неявный метод Рунге-Кутты Краайевангера и Спайкера:
1 / 2 1 / 2 0 3 / 2 − 1 / 2 2 − 1 / 2 3 / 2 {displaystyle {egin {array} {c | cc} 1/2 и 1/2 и 0 3/2 и -1 / 2 и 2 hline & -1 / 2 и 3/2 end {array}}} Двухэтапный симплектический диагонально-неявный метод Рунге-Кутты Цинь и Чжан 2-го порядка:
1 / 4 1 / 4 0 3 / 4 1 / 2 1 / 4 1 / 2 1 / 2 {displaystyle {egin {array} {c | cc} 1/4 и 1/4 и 0 3/4 и 1/2 и 1/4 hline & 1/2 и 1/2 end {array}}} Двухэтапный диагонально-неявный метод Рунге-Кутты 2-го порядка Парески и Руссо:
Икс Икс 0 1 − Икс 1 − 2 Икс Икс 1 2 1 2 {displaystyle {egin {array} {c | cc} x & x & 0 1-x & 1-2x & x hline & {frac {1} {2}} & {frac {1} {2}} end {array}}} Этот диагонально неявный метод Рунге-Кутты является A-стабильным тогда и только тогда, когда Икс ≥ 1 4 {displaystyle xgeq {frac {1} {4}}} . Более того, этот метод является L-устойчивым тогда и только тогда, когда Икс {displaystyle x} равно одному из корней многочлена Икс 2 − 2 Икс + 1 2 {displaystyle x ^ {2} -2x + {гидроразрыв {1} {2}}} , т.е. если Икс = 1 ± 2 2 {displaystyle x = 13:00 {frac {sqrt {2}} {2}}} Диагонально-неявный метод Рунге-Кутты Цин и Чжан соответствует диагонально-неявному методу Рунге-Кутта Парески и Руссо с Икс = 1 / 4 {displaystyle x = 1/4} .
Двухэтапный диагонально-неявный метод Рунге-Кутты 2-го порядка:
Икс Икс 0 1 1 − Икс Икс 1 2 1 2 {displaystyle {egin {array} {c | cc} x & x & 0 1 & 1-x & x hline & {frac {1} {2}} & {frac {1} {2}} end {array}}} Опять же, этот диагонально неявный метод Рунге-Кутты является A-устойчивым тогда и только тогда, когда Икс ≥ 1 4 {displaystyle xgeq {frac {1} {4}}} . Как и предыдущий метод, этот метод снова является L-стабильным тогда и только тогда, когда Икс {displaystyle x} равно одному из корней многочлена Икс 2 − 2 Икс + 1 2 {displaystyle x ^ {2} -2x + {гидроразрыв {1} {2}}} , т.е. если Икс = 1 ± 2 2 {displaystyle x = 13:00 {frac {sqrt {2}} {2}}} .
Двухэтапный диагонально-неявный метод Рунге-Кутты 3-го порядка Крузе:
1 2 + 3 6 1 2 + 3 6 0 1 2 − 3 6 − 3 3 1 2 + 3 6 1 2 1 2 {displaystyle {egin {array} {c | cc} {frac {1} {2}} + {frac {sqrt {3}} {6}} & {frac {1} {2}} + {frac {sqrt { 3}} {6}} & 0 {frac {1} {2}} - {frac {sqrt {3}} {6}} & - {frac {sqrt {3}} {3}} & {frac {1 } {2}} + {frac {sqrt {3}} {6}} hline & {frac {1} {2}} & {frac {1} {2}} end {array}}} Трехэтапный L-стабильный диагонально-неявный метод Рунге-Кутты 3-го порядка:
Икс Икс 0 0 1 + Икс 2 1 − Икс 2 Икс 0 1 − 3 Икс 2 / 2 + 4 Икс − 1 / 4 3 Икс 2 / 2 − 5 Икс + 5 / 4 Икс − 3 Икс 2 / 2 + 4 Икс − 1 / 4 3 Икс 2 / 2 − 5 Икс + 5 / 4 Икс {displaystyle {egin {array} {c | ccc} x & x & 0 & 0 {frac {1 + x} {2}} & {frac {1-x} {2}} & x & 0 1 & -3x ^ {2} / 2 + 4x -1 / 4 и 3x ^ {2} / 2-5x + 5/4 & x hline & -3x ^ {2} / 2 + 4x-1/4 и 3x ^ {2} / 2-5x + 5/4 & x end {array} }} с Икс = 0.4358665215 {displaystyle x = 0,4358665215}
Трехэтапный метод Рунге-Кутты 4-го порядка по диагонали Норсетта имеет следующую таблицу Бутчера:
Икс Икс 0 0 1 / 2 1 / 2 − Икс Икс 0 1 − Икс 2 Икс 1 − 4 Икс Икс 1 6 ( 1 − 2 Икс ) 2 3 ( 1 − 2 Икс ) 2 − 1 3 ( 1 − 2 Икс ) 2 1 6 ( 1 − 2 Икс ) 2 {displaystyle {egin {array} {c | ccc} x & x & 0 & 0 1/2 & 1/2-x & x & 0 1-x & 2x & 1-4x & x hline & {frac {1} {6 (1-2x) ^ {2}}} & { гидроразрыв {3 (1-2x) ^ {2} -1} {3 (1-2x) ^ {2}}} & {frac {1} {6 (1-2x) ^ {2}}} end { множество}}} с Икс {displaystyle x} один из трех корней кубического уравнения Икс 3 − 3 Икс 2 / 2 + Икс / 2 − 1 / 24 = 0 {displaystyle x ^ {3} -3x ^ {2} / 2 + x / 2-1 / 24 = 0} . Три корня этого кубического уравнения приблизительно равны Икс 1 = 1.06858 {displaystyle x_ {1} = 1.06858} , Икс 2 = 0.30254 {displaystyle x_ {2} = 0,30254} , и Икс 3 = 0.12889 {displaystyle x_ {3} = 0,12889} . Корень Икс 1 {displaystyle x_ {1}} дает лучшие свойства устойчивости для задач начального значения.
Четырехэтапный L-стабильный диагонально-неявный метод Рунге-Кутты 3-го порядка
1 / 2 1 / 2 0 0 0 2 / 3 1 / 6 1 / 2 0 0 1 / 2 − 1 / 2 1 / 2 1 / 2 0 1 3 / 2 − 3 / 2 1 / 2 1 / 2 3 / 2 − 3 / 2 1 / 2 1 / 2 {displaystyle {egin {array} {c | cccc} 1/2 & 1/2 & 0 & 0 & 0 2/3 & 1/6 & 1/2 & 0 & 0 1/2 & -1 / 2 & 1/2 & 1/2 & 0 1 & 3/2 & -3 / 2 & 1/2 & 1/2 hline & 3/2 & -3 / 2 & 1/2 & 1/2 end {array}}} Методы лобатто Существует три основных семейства методов Лобатто, называемых IIIA, IIIB и IIIC (в классической математической литературе символы I и II зарезервированы для двух типов методов Радау). Они названы в честь Рехуэль Лобатто . Все неявные методы имеют порядок 2s - 2 и все они c 1 = 0 и c s = 1. В отличие от любого явного метода, эти методы могут иметь порядок больше, чем количество этапов. Лобатто жил до того, как Рунге и Кутта популяризировали классический метод четвертого порядка.
Методы Лобатто IIIA Методы Lobatto IIIA: методы коллокации . Метод второго порядка известен как трапеция :
0 0 0 1 1 / 2 1 / 2 1 / 2 1 / 2 1 0 {displaystyle {egin {array} {c | cc} 0 & 0 & 0 1 & 1/2 & 1/2 hline & 1/2 & 1/2 & 1 & 0 end {array}}} Метод четвертого порядка дается формулой
0 0 0 0 1 / 2 5 / 24 1 / 3 − 1 / 24 1 1 / 6 2 / 3 1 / 6 1 / 6 2 / 3 1 / 6 − 1 2 2 − 1 2 {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 & 0 1/2 & 5/24 & 1/3 & -1 / 24 1 & 1/6 & 2/3 & 1/6 hline & 1/6 & 2/3 & 1/6 & - {frac {1} {2}} & 2 & - {frac {1} {2}} end {array}}} Эти методы являются A-стабильными, но не L-стабильными и B-стабильными.
Методы Лобатто IIIB Методы Лобатто IIIB не являются методами коллокации, но их можно рассматривать как прерывистые методы коллокации (Хайрер, Любич и Ваннер 2006 , §II.1.4). Метод второго порядка дается формулой
1 / 2 1 / 2 0 1 / 2 1 / 2 0 1 / 2 1 / 2 1 0 {displaystyle {egin {array} {c | cc} 1/2 & 1/2 & 0 1/2 & 1/2 & 0 hline & 1/2 & 1/2 & 1 & 0 end {array}}} Метод четвертого порядка дается формулой
0 1 / 6 − 1 / 6 0 1 / 2 1 / 6 1 / 3 0 1 1 / 6 5 / 6 0 1 / 6 2 / 3 1 / 6 − 1 2 2 − 1 2 {displaystyle {egin {array} {c | ccc} 0 & 1/6 & -1 / 6 & 0 1/2 & 1/6 & 1/3 & 0 1 & 1/6 & 5/6 & 0 hline & 1/6 & 2/3 & 1/6 & - {frac {1} {2}} & 2 & - {frac {1} {2}} end {array}}} Методы Lobatto IIIB являются A-стабильными, но не L-стабильными и B-стабильными.
Методы Лобатто IIIC Методы Лобатто IIIC также являются методами прерывистой коллокации. Метод второго порядка дается формулой
0 1 / 2 − 1 / 2 1 1 / 2 1 / 2 1 / 2 1 / 2 1 0 {displaystyle {egin {array} {c | cc} 0 & 1/2 & -1 / 2 1 & 1/2 & 1/2 hline & 1/2 & 1/2 & 1 & 0 end {array}}} Метод четвертого порядка дается формулой
0 1 / 6 − 1 / 3 1 / 6 1 / 2 1 / 6 5 / 12 − 1 / 12 1 1 / 6 2 / 3 1 / 6 1 / 6 2 / 3 1 / 6 − 1 2 2 − 1 2 {displaystyle {egin {array} {c | ccc} 0 & 1/6 & -1 / 3 & 1/6 1/2 & 1/6 & 5/12 & -1 / 12 1 & 1/6 & 2/3 & 1/6 hline & 1/6 & 2/3 & 1/6 & - {гидроразрыв {1} {2}} & 2 & - {гидроразрыв {1} {2}} end {array}}} Они L-стабильны. Они также являются алгебраически стабильными и, следовательно, B-стабильными, что делает их пригодными для решения жестких задач.
Методы Лобатто IIIC * Методы Lobatto IIIC * также известны в литературе как методы Lobatto III (Butcher, 2008), методы Butcher's Lobatto (Hairer et al., 1993) и методы Lobatto IIIC (Sun, 2000).[6] Метод второго порядка дается формулой
0 0 0 1 1 0 1 / 2 1 / 2 {displaystyle {egin {array} {c | cc} 0 & 0 & 0 1 & 1 & 0 hline & 1/2 & 1/2 end {array}}} Трехэтапный метод четвертого порядка Мясника представлен
0 0 0 0 1 / 2 1 / 4 1 / 4 0 1 0 1 0 1 / 6 2 / 3 1 / 6 {displaystyle {egin {array} {c | ccc} 0 & 0 & 0 & 0 1/2 & 1/4 & 1/4 & 0 1 & 0 & 1 & 0 hline & 1/6 & 2/3 & 1/6 end {array}}} Эти методы не являются A-стабильными, B-стабильными или L-стабильными. Метод Lobatto IIIC * для s = 2 {displaystyle s = 2} иногда называют явным правилом трапеций.
Обобщенные методы Лобатто Можно рассматривать очень общее семейство методов с тремя действительными параметрами ( α А , α B , α C ) {displaystyle (alpha _ {A}, alpha _ {B}, alpha _ {C})} рассматривая коэффициенты Лобатто вида
а я , j ( α А , α B , α C ) = α А а я , j А + α B а я , j B + α C а я , j C + α C ∗ а я , j C ∗ {displaystyle a_ {i, j} (alpha _ {A}, alpha _ {B}, alpha _ {C}) = alpha _ {A} a_ {i, j} ^ {A} + alpha _ {B} a_ {i, j} ^ {B} + alpha _ {C} a_ {i, j} ^ {C} + alpha _ {C *} a_ {i, j} ^ {C *}} ,куда
α C ∗ = 1 − α А − α B − α C {displaystyle alpha _ {C *} = 1-alpha _ {A} -alpha _ {B} -alpha _ {C}} .Например, семейство Lobatto IIID, представленное в (Nørsett and Wanner, 1981), также называемое Lobatto IIINW, представлено
0 1 / 2 1 / 2 1 − 1 / 2 1 / 2 1 / 2 1 / 2 {displaystyle {egin {array} {c | cc} 0 & 1/2 & 1/2 1 & -1 / 2 & 1/2 hline & 1/2 & 1/2 end {array}}} и
0 1 / 6 0 − 1 / 6 1 / 2 1 / 12 5 / 12 0 1 1 / 2 1 / 3 1 / 6 1 / 6 2 / 3 1 / 6 {displaystyle {egin {array} {c | ccc} 0 & 1/6 & 0 & -1 / 6 1/2 & 1/12 & 5/12 & 0 1 & 1/2 & 1/3 & 1/6 hline & 1/6 & 2/3 & 1/6 end {array}} } Эти методы соответствуют α А = 2 {displaystyle alpha _ {A} = 2} , α B = 2 {displaystyle alpha _ {B} = 2} , α C = − 1 {displaystyle alpha _ {C} = - 1} , и α C ∗ = − 2 {displaystyle alpha _ {C *} = - 2} . Методы L-стабильны. Они алгебраически стабильны и, следовательно, B-стабильны.
Методы Радау Методы Радау являются полностью неявными методами (матрица А таких методов может иметь любую структуру). Методы Радау достигают порядка 2s - 1 для s этапы. Методы Радау A-стабильны, но дороги в реализации. Также они могут страдать от понижения порядка. Метод Радау первого порядка аналогичен обратному методу Эйлера.
Радау И.А. Методы Метод третьего порядка дается формулой
0 1 / 4 − 1 / 4 2 / 3 1 / 4 5 / 12 1 / 4 3 / 4 {displaystyle {egin {array} {c | cc} 0 & 1/4 & -1 / 4 2/3 & 1/4 & 5/12 hline & 1/4 & 3/4 end {array}}} Метод пятого порядка дается формулой
0 1 9 − 1 − 6 18 − 1 + 6 18 3 5 − 6 10 1 9 11 45 + 7 6 360 11 45 − 43 6 360 3 5 + 6 10 1 9 11 45 + 43 6 360 11 45 − 7 6 360 1 9 4 9 + 6 36 4 9 − 6 36 {displaystyle {egin {array} {c | ccc} 0 & {frac {1} {9}} & {frac {-1- {sqrt {6}}} {18}} & {frac {-1+ {sqrt { 6}}} {18}} {frac {3} {5}} - {frac {sqrt {6}} {10}} и {frac {1} {9}} и {frac {11} {45} } + {frac {7 {sqrt {6}}} {360}} & {frac {11} {45}} - {frac {43 {sqrt {6}}} {360}} {frac {3} { 5}} + {frac {sqrt {6}} {10}} и {frac {1} {9}} и {frac {11} {45}} + {frac {43 {sqrt {6}}} {360 }} & {frac {11} {45}} - {frac {7 {sqrt {6}}} {360}} hline & {frac {1} {9}} & {frac {4} {9}} + {frac {sqrt {6}} {36}} & {frac {4} {9}} - {frac {sqrt {6}} {36}} end {array}}} Методы Радау IIA В c я этого метода - нули
d s − 1 d Икс s − 1 ( Икс s − 1 ( Икс − 1 ) s ) {displaystyle {frac {d ^ {s-1}} {dx ^ {s-1}}} (x ^ {s-1} (x-1) ^ {s})} .Метод третьего порядка дается формулой
1 / 3 5 / 12 − 1 / 12 1 3 / 4 1 / 4 3 / 4 1 / 4 {displaystyle {egin {array} {c | cc} 1/3 и 5/12 и -1/12 1 и 3/4 и 1/4 hline & 3/4 и 1/4 end {array}}} Метод пятого порядка дается формулой
2 5 − 6 10 11 45 − 7 6 360 37 225 − 169 6 1800 − 2 225 + 6 75 2 5 + 6 10 37 225 + 169 6 1800 11 45 + 7 6 360 − 2 225 − 6 75 1 4 9 − 6 36 4 9 + 6 36 1 9 4 9 − 6 36 4 9 + 6 36 1 9 {displaystyle {egin {array} {c | ccc} {frac {2} {5}} - {frac {sqrt {6}} {10}} & {frac {11} {45}} - {frac {7 { sqrt {6}}} {360}} & {frac {37} {225}} - {frac {169 {sqrt {6}}} {1800}} & - {frac {2} {225}} + {frac {sqrt {6}} {75}} {frac {2} {5}} + {frac {sqrt {6}} {10}} & {frac {37} {225}} + {frac {169 {sqrt {6}}} {1800}} & {frac {11} {45}} + {frac {7 {sqrt {6}}} {360}} & - {frac {2} {225}} - {frac { sqrt {6}} {75}} 1 & {frac {4} {9}} - {frac {sqrt {6}} {36}} и {frac {4} {9}} + {frac {sqrt {6 }} {36}} & {frac {1} {9}} hline & {frac {4} {9}} - {frac {sqrt {6}} {36}} и {frac {4} {9} } + {frac {sqrt {6}} {36}} и {frac {1} {9}} end {array}}} Примечания
Рекомендации
Хайрер, Эрнст; Норсетт, Сиверт Пол; Ваннер, Герхард (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 .