ケプラー方程式

ケプラー方程式(ケプラーほうていしき)とは、ケプラー問題において離心近点離角 "E" と平均近点離角 "M" の関係を記述する次の超越方程式のことである。
この方程式を所与の離心率 formula_1 のもとで解き離心近点離角 "E" を平均近点離角 "M" の関数として求めることで惑星の軌道上の位置を決定することができる。
歴史.
ケプラーは、1609年に発表した著書「新天文学」の中で、現在ケプラーの法則として知られるもののうち、
第1法則(惑星は太陽を1つの焦点とする楕円軌道を描く)と第2法則(面積速度一定の法則)について述べた。
ただ、ケプラーの時代には微積分学がなかったため、その数学的な表現は幾何学的なものである。
ケプラーによる表現では、
が使われており、これが現在ケプラーの第1、第2法則と呼ばれているものを集約的に表現している
ここで " t " は時刻、formula_1 は離心率、" E " は離心近点離角を表す。
後に、この式をオイラーは別の表現に書きかえた。
オイラーは公転周期 " T " を用いて、等価な式
あるいは、平均角速度 formula_3、平均近点離角 formula_4 を使い、
を用いた。
通常は、この形の方程式を ケプラー方程式 と呼んでいる。
現代では運動方程式を数値的に解くことでも各時刻の惑星の位置を決定できるが、ケプラーの時代はそのような手法はなかったので
(もちろん、万有引力の法則も発見されていない)、
まず、惑星の楕円の軌道の形を定め(つまり、楕円の極座標表示 formula_5 
の formula_1 と "l " を定める)、次にケプラーの方程式を解くことで、各時刻の惑星の位置を決定しなければ
ならなかった。つまり、
" M " と formula_1 が与えられたとき、" E " がそれらの関数としてどのように書けるかという問題
を解かなければならない。しかし、この方程式は超越方程式であるので厳密解を求めるには工夫がいる。
解法.
厳密解を求める方法として2つが知られている。1つは、ラグランジュの定理を用いる方法、もう1つはベッセル関数を用いる方法である。
ラグランジュの定理による方法.
以下の命題が、である。
ラグランジュの定理は、逆関数や陰関数を冪級数で求める際に使われる。
この定理をケプラーの方程式に適用すると、
が得られる。formula_1 が小さいときに適用可能である。
ベッセル関数による展開の方法.
もう1つの方法は、ベッセル関数による展開の方法である。この方法は formula_1 が大きい場合でも適用可能である。
ケプラーの方程式は、以下の並進で不変であるという特徴を持っている
また、formula_10 であるから、これを逐次代入すると
により、formula_11 は formula_12 の周期関数で、かつ formula_12 の奇関数であることがわかる
したがって、formula_11 を formula_12 によって以下のようにフーリエ展開できる。
フーリエ係数 formula_16 はフーリエ展開の一般論により、
で与えられる。上式の右辺は
と変形できるから、部分積分して
である。第1項の表面項は消えることと、第2項に元のケプラーの方程式を代入して、
を得る。上式の第2項はコサイン関数の周期性により消える。
第1項に元のケプラーの方程式を代入すると
を得る。ここで、" n " 次のベッセル関数の積分表示の1つ
を用いると、formula_17 に等しいことがわかるので、結局、
が厳密解であることがわかる。
別ルートによって同じ結果にたどり着くことも可能である。ケプラーの方程式を微分して、
ただし、最初の式の2番目の等号では、" E " も " M " も周期関数(周期 formula_18)であることを用いて
フーリエ展開した。よって、積分すると、
となって、同じ結果が得られた。