リープ・フロッグ法は、微分方程式の数値積分法 (常微分方程式の数値解法) の一種、2次のシンプレクティック数値積分法である。リープ・フロッグ法は、
または
という形式の微分方程式を解く際に用いられ、特に、古典力学における力学系の計算で重要である。
リープ・フロッグ法における時間積分は、互いの上を蛙跳び (Leap-frog) するように位置 と速度 をずらして時間発展させるのが特徴である。リープ・フロッグ法は、オイラー法が一次精度であるのとは対照的に、二次精度の数値積分法である。また、オイラー法とは異なり、時間幅が定数 でありなおかつ なる周期運動で安定となるC. K. Birdsall and A. B. Langdon, Plasma Physics via Computer Simulations, McGraw-Hill Book Company, 1985, p. 56.。
リープ・フロッグ法では、以下の式で位置と速度を更新する。
ここで、 は ステップ目での位置で、 は ステップ目の速度、 は ステップ目の加速度である。 は時間ステップの大きさである。これらの式は、半整数ステップを消去することによって以下のような整数ステップのみの式で表現することができる4.1 Two Ways to Write the Leapfrog。
ただし、この形式では、時間ステップ が一定値でない限り安定ではないSkeel, R. D., "Variable Step Size Destabilizes the Stömer/Leapfrog/Verlet Method", :en:BIT Numerical Mathematics, Vol. 33, 1993, p. 172–175.。
リープ・フロッグ法は、加速度が速度に非依存である、重力計算に用いられることが多い。なお、重力計算にはルンゲ・クッタ法のような高次精度の数値積分法もよく用いられている。
力学系のシミュレーションに際して、リープ・フロッグ法にはいくつか利点がある。一つ目は、時間可逆性である。これは、 段時間積分したのち、時間を逆向きに 段数値積分すると、初期位置に戻るという性質である。二つ目は、シンプレクティック性であり、これはエネルギー保存性を意味している。この性質は、軌道力学において有用である。4次ルンゲ・クッタ法のような他の多くの数値積分法は、エネルギーが保存せず、時間とともに誤差がどんどん増大してしまう。時間可逆性やシンプレクティック性から、リープ・フロッグ法はハミルトニアン・モンテカルロ法にも用いられている。ハミルトン・モンテカルロ法は、直接サンプリングが困難な確率分布からランダムサンプルを得るための手法である。
関連項目 オイラー法 ルンゲ・クッタ法 ハミルトン力学 多体問題 N体シミュレーション シンプレクティック数値積分法
参考文献