実数 の関数 に対する初期値問題
を考え、 とおく。, , 刻み幅 として、古典的な 4 次のルンゲ・クッタ法
を 1 ステップ適用したときの近似値 を、既約分数で求めよ。
ルンゲ・クッタ法の 1 ステップ
ホイン法(改良オイラー法)や古典的な 4 次のルンゲ・クッタ法の を順に計算し、1 ステップ後の近似値 を分数で求められる
前提
- オイラー法 (大学数学 数値解析)
この技能までの道筋(44 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 分数関数の積分(部分分数分解) (数学III 積分法)
- 変数分離形 (大学数学 微分方程式)
- オイラー法 (大学数学 数値解析)
説明
ルンゲ・クッタ法を使うと、初期値問題 , の 1 ステップ後の近似値 を、オイラー法より高い精度で求められます。区間の途中のいくつかの点で傾き を計算し、それらの重み付き平均を使って進むのが特徴です。代表的なものは、傾きを 2 回使うホイン法(改良オイラー法)と、4 回使う古典的な 4 次のルンゲ・クッタ法(RK4)です。厳密解が求めにくい微分方程式を数値的に解く場面で、最もよく使われる方法の一つです。
なぜそうしてよいのか
厳密解 は を満たすので、両辺を から まで積分すると となります。オイラー法はこの積分を「左端の傾き 」、つまり で置き換えたものでした。区間の途中で傾きが変わるとずれが生じ、それが誤差になります。そこで、積分をもっと正確な近似に取り替えるのがルンゲ・クッタ法の考え方です。
ホイン法は、積分を台形の面積 で近似します。ただし右端の値 はまだわからないので、まずオイラー法で ()と予測し、そこでの傾き を使います。左端と右端の傾きの平均で進むので、傾きの変化が打ち消し合い、オイラー法より誤差が小さくなります。
RK4 は、2 次式 に対して正確に成り立つ式 をもとにしています。実際に を代入すると、両辺はそれぞれ で一致します(3 次式 でも一致します)。重み 4 の中点の傾きは、2 通りの推定 ( で中点まで進んだ点)と ( で中点まで進み直した点)に 2 ずつ分けて使います。右端の傾き は、 で右端まで進んだ点で求めます。こうして が得られます。 が だけの関数なら、これは上の積分公式そのものになります。全体の誤差は、オイラー法が に比例するのに対し、ホイン法は 、RK4 は に比例する程度まで小さくなります。
手順
、、、刻み幅 を確認する。
を計算する(オイラー法と同じ左端の傾き)。
ホイン法なら を求め、 とする。ここで終わり。
RK4 なら中点での傾きを 2 回求める。、続けて とする。
RK4 の右端の傾き を求める。
を分数のまま計算する。
例題
初期値問題 , に、刻み幅 で古典的な 4 次のルンゲ・クッタ法を 1 ステップ適用したときの近似値 ( の近似値)を分数で求めよ。
例題の解答
手順1: 、、、 である。中点は 、右端は になる。
手順2: 。
手順4: 。続けて 。
手順5: 。
手順6: 。したがって となる。
(確認: 厳密解は で、 である。一方 で、よく一致している。)
答え:
よくある誤り
の 座標を や としてしまう誤り。RK4 では中点まで進むので、正しくは (上の例では )。
の を のままにしたり、 の を にしたりする誤り。 が を含むときは値が変わる。正しくは で 、 で 。
や を計算するとき、直前の ではなく を使ってしまう誤り。正しくは 、。
重みを間違える誤り。たとえば とする、または の を落として とするもの。正しくは 。ホイン法でも同様に、正しくは 。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
実数 の関数 に対する初期値問題
を考え、 とおく。, 、刻み幅 として、ホイン法(改良オイラー法)
を 1 ステップ適用したときの近似値 を、分数で求めよ。実数 の関数 に対する初期値問題
を考え、 とおく。, , 刻み幅 として、古典的な 4 次のルンゲ・クッタ法
を 1 ステップだけ適用したときの近似値 を、既約分数で求めよ。
この技能を使う問題
初期値問題
に対し、刻み幅 として古典的な 4 次のルンゲ・クッタ法
を 1 ステップだけ適用する。ここで 、、 である。 の近似値 を分数で求めよ。実数 の関数 に対する初期値問題 を考え、 とおく。刻み幅 として、中点法(2 次のルンゲ・クッタ法の一つ) を , から 1 ステップだけ適用したときの近似値 を、分数で厳密に求めよ。
初期値問題
の厳密解 を考える()。刻み幅 ()として、ホイン法(改良オイラー法)
を , , として 1 ステップだけ適用し、 の近似値 を得る。局所誤差 を で展開したとき
となる。組 を求めよ。初期値問題 の厳密解を ()とする。 とおき、刻み幅 ()として、中点法(2 段の陽的ルンゲ・クッタ法) を , から 1 ステップだけ適用して近似値 を得る。 のとき、ある正の整数 と でない実数の定数 を用いて と表される。 と の組 を求めよ。
を を満たす実数とする。初期値問題 , に対し、刻み幅 の 2 段のルンゲ・クッタ法の 1 ステップを
で定める。, , を実数とし、この方法を の場合に適用する。厳密解を とするとき、 の値によらず
が成り立つことを証明せよ。ただし、初期値問題 , の解が であることと、テイラーの定理(ラグランジュの剰余項)は用いてよい。実数 の関数 に対する初期値問題
を考え、 とおく。 を満たす実数の定数 をパラメータにもつ 2 段の陽的ルンゲ・クッタ法
で、, から刻み幅 の 1 ステップを進める。厳密解の値 との差(局所誤差) を の式とみる。一般にこの方法の局所誤差は であるが、この初期値問題のこの 1 ステップに限っては、ある の値で局所誤差が となる。そのような の値を とし、 のときの局所誤差を
と表す。 と定数 をこの順に組 で求めよ。
この技能の次に学べること
- 局所誤差の次数 (大学数学 数値解析)