リープ・フロッグ法
リープ・フロッグ法は、微分方程式の数値積分法 (常微分方程式の数値解法) の一種、2次のシンプレクティック数値積分法である。リープ・フロッグ法は、
または
という形式の微分方程式を解く際に用いられ、特に、古典力学における力学系の計算で重要である。
リープ・フロッグ法における時間積分は、互いの上を蛙跳び (Leap-frog) するように位置 formula_3 と速度 formula_4 をずらして時間発展させるのが特徴である。リープ・フロッグ法は、オイラー法が一次精度であるのとは対照的に、二次精度の数値積分法である。また、オイラー法とは異なり、時間幅が定数 formula_5 でありなおかつ formula_6 なる周期運動で安定となる。
リープ・フロッグ法では、以下の式で位置と速度を更新する。
ここで、formula_8 は formula_9 ステップ目での位置で、formula_10 は formula_11 ステップ目の速度、formula_12 は formula_9 ステップ目の加速度である。formula_5 は時間ステップの大きさである。これらの式は、半整数ステップを消去することによって以下のような整数ステップのみの式で表現することができる。
ただし、この形式では、時間ステップ formula_5 が一定値でない限り安定ではない。
リープ・フロッグ法は、加速度が速度に非依存である、重力計算に用いられることが多い。なお、重力計算にはルンゲ・クッタ法のような高次精度の数値積分法もよく用いられている。
力学系のシミュレーションに際して、リープ・フロッグ法にはいくつか利点がある。一つ目は、時間可逆性である。これは、formula_17 段時間積分したのち、時間を逆向きに formula_17 段数値積分すると、初期位置に戻るという性質である。二つ目は、シンプレクティック性であり、これはエネルギー保存性を意味している。この性質は、軌道力学において有用である。4次ルンゲ・クッタ法のような他の多くの数値積分法は、エネルギーが保存せず、時間とともに誤差がどんどん増大してしまう。時間可逆性やシンプレクティック性から、リープ・フロッグ法はハミルトン・モンテカルロ法にも用いられている。ハミルトン・モンテカルロ法は、直接サンプリングが困難な確率分布からランダムサンプルを得るための手法である。