前回、二体問題はケプラー問題に帰着されることとケプラー問題は解けることを見ました.
tetobourbaki.hatenablog.com
三体問題は一般には解けませんが,解ける解として正三角形解と共線解(直線解と言われることが多い)が知られています.下の動画ではこれら以外の周期解も紹介されてます.
今回は正三角形解と共線解は自然な考察で求められることを説明します.
途中の議論は以下の本を参考にしています.
David Hestens, New Foundations for Classical Mechanics
三体問題
さっそく三体問題の微分方程式を与えます.簡単のため重力定数は とします.( は質量との積で現れるので,質量を変えれば, は の場合と同じになる.)
ここで,重心は原点と一致していると仮定しても一般性を失いません.
ここで,重要な変数として相対位置ベクトルを導入します.
これらに対しては明らかに
が成り立ちます.重心が原点にあることを用いれば,元の位置が相対位置ベクトルから求めることができます.
ここで, とおいています.よって,相対位置ベクトルの運動が分かれば解が分かることになります.計算してみると,相対位置ベクトルの運動方程式は以下のようになることが分かります.
ここで,
はベクトルです.
元の方程式とは少し違う方程式になりました.よく見ると, の場合, の方程式はそれぞれ
という形の方程式になっています.これは前回紹介したケプラー問題の方程式です.つまり, がケプラー問題の解で常に を満たしているならば,三体問題の解になっているということです.ケプラー問題は解けるので,このように見つかった解は初等関数で書くことができます.
よって, を満たすケプラー問題の解を探すという問題に帰着されます.
ラグランジュの正三角形解
問題は を満たすようにすることでした. の定義を見てみると,まずは となるようなものを考えたくなります.もしそうだとすると,相対位置ベクトルは定義から だったので,自然と となります.
ここからは平面の運動を考えることとして, 次元空間を複素数平面で表示することにします.
条件 ] を満たすのは正三角形だけであり, より は を用いて
と書けます.( と を逆にとったものでもよい.)よって, の初期条件に対して
を解いて,これから を求めれば,常に正三角形の位置関係を保ちながら運動する解が得られます.これがラグランジュの正三角形解です.
少し違う話ですが,円制限三体問題では つのラグランジュ点があります.そのうち安定な二つのラグランジュ点はラグランジュの正三角形解の極限()として得られたものと考えることができます.
オイラーの共線解解
次に, が一つの直線上に常に乗っていると仮定しましょう. と の間に があるとします.実数 を用いて, と表すと, より, となります.(相対位置ベクトルで書くと何をやってるのか分かりにくいので, が直線上に乗っている絵を書くと分かりやすいです.)すると, は とはならないものの
となるので, に関してはケプラー問題になります.ただし,この段階では が微分方程式を満たすかどうかが分かりません. の方程式から の方程式を使って, を消去すると,
となる.これも満たされれば, は三体問題の解になっていることになる. を仮定していたので,これらを代入すると,
となる.1番目の式で2番目の式を割ると を消すことができて,
でなければならない.これを頑張って計算すると,
となる. 次方程式なので解が存在するが,さらにデカルトの符号法則より,解 がただ一つであることも分かる.しかも方程式の定数項が負なので,この は正であることも分かる.
(デカルトの符号法則を初めて使ったが非常に便利ですね。)
ここまでで必要性しか示していない(はずである).逆に,この を取って, に関するケプラー問題を解けば, と も微分方程式を満たすことがわかる.(議論のギャップを埋めよ.)
今回は が間にあるケースを考えたが,そうでない残りの2つの場合を考えることで合計3つの共線解の配置が得られました.(ただ, が間にあるという仮定をどこで使っているのかよくわかっていない.)おそらくこの3つの直線解は円制限三体問題における不安定なラグランジュ点に対応しているのだと思います.