ルンゲ・クッタ法は、常微分方程式の数値解法である。
明示的ルンゲ・クッタ法は次の形式をとる。
s 段階の暗黙的メソッドの段階はより一般的な形式をとり、すべての s について解が求められる。
このページに記載されている各手法は、ブッチャー表によって定義されており、その表には各手法の係数が以下のようにまとめられています。
適応法と暗黙法の場合、ブッチャー表は拡張され、次の値が得られます。推定誤差は次のようになります。
明示的な方法は、行列が下三角です。
オイラー法は1次法である。安定性と精度に欠けるため、その普及は限定的で、主に数値解法の簡単な入門例として用いられる程度にとどまっている。
2次法は一般的に次のように記述できます。[ 1 ]
ただし、α ≠ 0 とする。
(明示的な)中点法は、2段階からなる2次法である(下記の暗黙的な中点法も参照)。
ヒューンの方法は、2段階からなる2次精度法である。明示的台形公式、改良オイラー法、修正オイラー法とも呼ばれる。
ラルストン法は、2段階の2次法であり、最小局所誤差限界を持つ[ 2 ] 。
3次法は一般的に次のように記述できます。[ 1 ]
α ≠ 0、α ≠ 2 ⁄ 3、β ≠ 0、およびα ≠ βです。
ラルストンの3次法[ 2 ]は最小の局所誤差限界を持ち、埋め込みボガッキ・シャンパイン法で使用されています。
「オリジナルの」ルンゲ・クッタ法。[ 3 ]
この方法は「古典的な」方法ほど有名ではありませんが、同じ論文(Kutta、1901)で提案されたため、同様に古典的です。[ 3 ]
この第5次法は、クッタの研究で最初に提案された方法の修正版である。[ 4 ]
組み込みメソッドは、単一のルンゲ・クッタステップの局所的な打ち切り誤差の推定値を生成するように設計されており、その結果、適応的なステップサイズで誤差を制御することが可能になります。これは、タブロー内に次数pのメソッドと次数p-1のメソッドの2つを用意することで実現されます。
下位ステップは次のように与えられる。
どこで高階メソッドの場合と同じです。するとエラーは
それはこの種の方法のブッチャー表は、以下の値を与えるように拡張されます。
最も単純な適応型ルンゲ・クッタ法は、2次のヒューン法と1次のオイラー法を組み合わせたものである。その拡張ブッチャー・タブローは以下の通りである。
誤差推定値はステップサイズを制御するために使用されます。
フェールベルグ法[ 5 ]には、1次と2次の2つの方法がある。その拡張ブッチャー・タブローは次のようになる。
b係数の最初の行は2次精度の解を与え、2行目は1次精度の解を与える。
ボガッキ・シャンパイン法には、 2次と3次の2つの方法がある。その拡張ブッチャー・タブローは以下のとおりである。
b係数の最初の行は3次精度の解を与え、2行目は2次精度の解を与える。
ルンゲ・クッタ・フェールベルグ法には、 5次と4次の2つの方法があり、RKF45と呼ばれることもあります。その拡張ブッチャー・タブローは以下のとおりです。
b係数の最初の行は5次精度の解を与え、2行目は4次精度の解を与えます。これらの係数を用いることで、適応的なステップサイズを自動的に決定できます。
キャッシュとカープはフェールバーグの元のアイデアを修正した。キャッシュ・カープ法の拡張タブローは次のとおりである。
b係数の最初の行は5次精度の解を与え、2行目は4次精度の解を与える。
ドルマンド・プリンス法の拡張タブローは次のとおりである。
b係数の最初の行は5次精度の解を与え、2行目は4次精度の解を与える。
後退オイラー法は1次法である。線形拡散問題に対して無条件に安定で、振動しない。
陰解法の中点法は2次法である。これは、ガウス・ルジャンドル法として知られるコロケーション法のクラスの中で最も単純な方法である。これはシンプレクティック積分法である。
クランク・ニコルソン法は暗黙の台形公式に対応し、2次精度かつA安定な方法である。
これらの方法はガウス・ルジャンドル求積法の点に基づいています。4次のガウス・ルジャンドル法はブッチャー表を持ちます。
6次のガウス・ルジャンドル法には、ブッチャー表があります。
対角的に陰的なルンゲ・クッタ(DIRK)公式は、硬い初期値問題の数値解法に広く用いられてきました。 [ 6 ] このアプローチの利点は、解を同時にではなく逐次的に求めることができる点です。
このクラスの中で最も単純な方法は、2次陰解法の中点法です。
Kraaijvanger と Spijker の 2 段階の対角暗黙的ルンゲ クッタ法:
秦と張による2段階2次シンプレクティック対角陰解法ルンゲ・クッタ法:
パレスキとルッソによる2段階2次対角陰解法ルンゲ・クッタ法:
この対角的に陰的なルンゲ・クッタ法は、以下の条件を満たす場合に限りA安定である。さらに、この方法は、以下の条件を満たす場合に限りL安定である。多項式の根の1つに等しいつまり、QinとZhangの対角陰解法Runge–Kutta法は、PareschiとRussoの対角陰解法Runge–Kutta法に対応し、。
2段階2次対角陰解法ルンゲ・クッタ法:
繰り返しますが、この対角的に陰的なルンゲ・クッタ法は、以下の条件を満たす場合に限りA安定です。前の方法と同様に、この方法も、次の場合に限りL安定である。多項式の根の1つに等しいつまり、この条件は、2次精度を得るためにも必要です。
クルーゼックスの2段階3次対角陰解法ルンゲ・クッタ法:
クルーゼックスの3段階4次対角線暗黙的ルンゲ・クッタ法:
と。
3段階、3次、L安定な対角陰解法ルンゲ・クッタ法:
と
ノルセットの3段階4次対角暗黙的ルンゲ・クッタ法は、以下のブッチャー表を持つ。
と3次方程式の3つの根のうちの1つこの三次方程式の3つの根は、およそ次の通りです。、、 そしてルート初期値問題に対して最高の安定性特性を与える。
4段階、3次、L安定な対角陰解法ルンゲ・クッタ法
ロバット法には主に 3 つのファミリーがあり、IIIA、IIIB、IIIC と呼ばれています (古典的な数学文献では、記号 I と II は 2 種類のラダウ法に予約されています)。これらは、ロバット求積法を参照するためにRehuel Lobatto [ 7 ]にちなんで名付けられましたが、Byron L. Ehle が論文で導入しました。[ 8 ] すべて陰解法であり、次数は 2 s − 2 で、すべてc 1 = 0 かつc s = 1 です。陽解法とは異なり、これらの方法では次数がステージ数よりも大きくなる可能性があります。ロバットは、古典的な 4 次法がルンゲとクッタによって普及する以前に生きていました。
ロバットIIIA法はコロケーション法である。2次法は台形公式として知られている。
4次法は次のように与えられる。
これらの方法はA安定ではあるが、L安定でもB安定でもない。[ 7 ]
Lobatto IIIB法はコロケーション法ではありませんが、不連続コロケーション法と見なすことができます(Hairer、Lubich & Wanner 2006 、§II.1.4)。2次法は次のように与えられます。
4次法は次のように与えられる。
Lobatto IIIB法はA安定であるが、L安定でもB安定でもない。[ 7 ]
Lobatto IIIC法もまた不連続コロケーション法である。2次法は次のように与えられる。
4次法は次のように与えられる。
これらはL安定である。また、代数的にも安定であり、したがってB安定でもあるため、硬い問題に適している。
Lobatto IIIC*法は、文献ではLobatto III法(Butcher、2008)、ButcherのLobatto法(Hairerら、1993)、Lobatto IIIC法(Sun、2000)としても知られています。[ 7 ] 2次法は次のように与えられます。
ブッチャーの3段階4次法は次のように表される。
これらの方法はA安定、B安定、L安定ではありません。Lobatto IIIC*法はこれは明示的な台形公式と呼ばれることもある。
3つの実数パラメータを持つ非常に一般的なメソッド群を考えることができる。ロバット係数を次の形式で考慮する
どこ
例えば、(Nørsett and Wanner, 1981)で紹介されたLobatto IIIDファミリー(Lobatto IIINWとも呼ばれる)は、以下のように表される。
そして
これらの方法は以下に対応します、、、 そしてこれらの手法はL安定である。代数的に安定であるため、B安定でもある。
ラダウ法は完全陰解法であり(このような方法の行列Aは任意の構造を持つことができる)、s段で2s - 1のオーダーを達成する。ラダウ法はA安定であるが、実装コストが高い。また、オーダー低下の影響を受ける可能性がある。
一次法は後退オイラー法に似ており、次のように表される。
3次法は次のように表される。
5次法は次のように与えられる。
この方法のc iは、
一次法は後退オイラー法と同等である。
3次法は次のように表される。
5次法は次のように与えられる。