天体力学

太陽系内惑星の軌道アニメーション。

天体力学(てんたいりきがく、: celestial mechanics)は万有引力の法則に従う天体の運動を古典力学に基づいて扱う学問である。ニュートン力学から成立した物理学の一分野であり、また位置天文学と並び古典天文学の一角を占める。

惑星の運動は主に太陽重力によって支配されている(ケプラーの法則)ものの、他の惑星等が及ぼす重力が摂動として無視できない影響を及ぼすため、天体力学ではそのような摂動を解析的に取り扱う摂動論が発達した。その最も単純かつ非自明な問題が三体問題である。の運動はの編纂や航海術への応用という実用的な目的のためにとりわけ精確な予測が求められる一方で、惑星の運動に比べ太陽や惑星の摂動が大きく影響するため、太陰運動論は何世代にも渡って改良されてきた。また天王星の観測データの異常から海王星の存在を予言しその位置を予測したことでも知られる。

天体力学は惑星の平衡形状、軌道共鳴、太陽系の安定性、自転と公転の同期といった問題をも扱う。20世紀には人工衛星宇宙探査機の軌道設計および軌道制御を扱う軌道力学が派生し、また天体力学の適用対象も太陽系から惑星形成、ブラックホール連星、そして球状星団および銀河などへと拡大した。

ケプラー運動

中心天体(例えば太陽)からの重力万有引力の法則)を受ける天体(例えば惑星)の運動はケプラー運動と呼ばれる。ケプラー運動では、天体の位置 ニュートンの運動方程式

を満足する。重力定数と中心天体の質量と問題の天体の質量の和の積である。なお天体力学では伝統的に重力定数 の代わりにその平方根として定義されるガウス定数 が、また質量の単位として太陽質量を基準とする単位系が採用される。この単位系では、問題の天体の質量を とすると

が成立する。

ケプラーの法則

ケプラーの法則は惑星の軌道の最も基本的な性質を述べたものである(これは惑星のまわりを運動する衛星に関しても成立する)。

  • 第1法則: 惑星は太陽をひとつの焦点とする楕円軌道を描く。
  • 第2法則: 太陽と惑星を結ぶ線分が単位時間に掃く面積(面積速度)は一定である。
  • 第3法則: 惑星の公転周期の二乗は軌道長半径の三乗に比例する。

第1法則が主張する楕円軌道の形状は長半径 (: semi-major axis) 離心率 (: eccentricity) によって特定される。中心天体との距離が最も小さくなる軌道上の点を近点 (: pericenter) と呼ぶが、特に太陽のまわりを運動する天体の場合は近日点 (: perihelion)、地球のまわりを運動する天体の場合は近地点 (: perigee) などと呼ぶ。中心天体との距離が最も大きくなる軌道上の点が遠点 (: apocenter) である。中心天体と問題の天体の距離(動径) は、中心天体と近点を結ぶ線分と動径がなす角 を用いて

と表示される。角 真近点角または真近点離角 (: true anomaly) と呼ばれる(#軌道要素節を参照)。なお を半直弦と呼ぶ。

第2法則は角運動量の保存を意味する。第3法則に対応して、長半径 は平均角速度を表す平均運動 (: mean motion)

という関係にある。

ケプラー運動には楕円軌道の他に放物線軌道、双曲線軌道が存在する。これらはいずれも円錐曲線である。

軌道要素

軌道傾斜角 、昇交点黄経 、近点引数 、真近点角 を表す模式図。

天体の軌道およびその上の位置を特定するために用いられるパラメータを軌道要素 (: orbital element) と呼ぶ。上述の楕円軌道の形を特定するために用いられる長半径 離心率 は軌道要素のひとつである。さらに、軌道面内における楕円軌道の向きを特定するために近点引数 (: argument of pericenter) が、軌道面を特定するために軌道傾斜角 (: inclination) 昇交点黄経 (: longitude of ascending node) が用いられる。まず軌道傾斜角 は天体の軌道面が基準面(多くの場合黄道面または不変面)となす角として定義される。天体の軌道上の点で軌道面と基準面の双方に乗る点が昇交点であり、昇交点が黄道面内の基準方向(春分点)となす角(黄経)が昇交点黄経 である。最後に近点引数 は昇交点と近点がなす角である。近点引数 の代わりに

により定義される近点黄経 (: longitude of pericenter) を採用してもよい。

楕円軌道上の天体の位置を表す角度として真近点角 以外に離心近点角 (: eccentric anomaly) 平均近点角 (: mean anomaly) 平均黄経 (: mean longitude) がある。離心近点角

を満足し、真近点角

という関係にある。平均近点角 は近点通過時刻を として により定義され、離心近点角 ケプラーの方程式

によって結ばれる。平均黄経

により定義される。これらの角 , , , は時間的に変化する量であるが、近点通過時刻 または元期 (: epoch) での平均黄経 を与えればどの角も現在時刻 から計算できるため、元期での平均黄経 を軌道要素として用いれば十分である。これらの軌道要素の組 はケプラーの軌道要素または軌道6要素と呼ばれ、これによって天体の運動状態を完全に特定できる。

具体的な太陽系惑星の軌道要素の値は#太陽系惑星の軌道要素節および#月の軌道要素節を参照。

軌道決定

ある瞬間における天体の座標 および速度 が与えられたならば、その天体の軌道要素は一意に定まりそれを計算することができる。しかし実際には一回の観測で得られるのはふたつの角度(赤道座標では赤緯 赤経 )だけであり、天体の軌道要素を決定するためには最低三回の観測を行う必要がある。観測データから軌道要素を決定する方法論は軌道決定英語版として知られている。

摂動論

惑星の公転軌道は第一に太陽の重力によって支配されており、0次近似としては太陽-惑星の二体問題とみなすことができる。この近似では惑星の軌道要素は一定であり、時間変化しない。しかし実際には惑星の軌道は他の惑星の摂動 (: perturbation) によって変化する。そこである瞬間の惑星の軌道について、その瞬間に運動状態が一致するような仮想的なケプラー軌道を考え、その軌道要素を惑星のその時刻の接触軌道要素 (: osculating orbital elements) と呼ぶ。接触軌道要素は他の惑星の摂動によって時間変化するため、それを計算することができれば惑星の軌道が求まることになる。このような摂動手法が定数変化法 (: variation of arbitrary constants) である。

摂動関数とラグランジュの惑星方程式

摂動として働く力が重力などの保存力である場合、天体の運動方程式は摂動関数または擾乱関数 (: disturbing function または : perturbation function) として知られる関数 を用いて

と書くことができる。例えば太陽系惑星の場合、番目の惑星の太陽を中心とする座標での位置 は、運動方程式

を満足する。ここに は惑星 の質量であり、摂動関数の第1項を直接項 (: direct term)、第2項を間接項 (: indirect term) と呼ぶ。

摂動関数 による接触軌道要素 の時間変化はラグランジュの惑星方程式

によって記述される。ここに はラグランジュ括弧である。接触軌道要素として を取るとき、ラグランジュの惑星方程式は次のように書き下される。

摂動関数 が与えられたならば、それを摂動展開し惑星方程式を逐次的に解くことにより軌道要素の時間変化が計算できる。

正準変数

ケプラーの軌道要素ではなく正準共役量を基本変数として選ぶと問題が簡単になる場合がある。例えばドロネー変数

により定義され、, , が正準共役な組となっている。このときハミルトニアンは

により与えられる。なおこれらの変数はケプラー問題の作用・角変数と関係している。

ガウスの方法

カール・フリードリヒ・ガウスによる方法は摂動関数ではなく天体に働く力を陽に扱うものであり、非保存力を扱うことができる。この場合、運動方程式を

と書くとき、を軌道要素として摂動方程式は

により与えられる。摂動 の成分としては以下の二通りの与え方がある。

  • 動径成分 、軌道面内の の法線成分 、軌道面の法線成分
  • 軌道の接成分 、軌道面内の の法線成分 、軌道面の法線成分

前者の立場では、軌道要素 に関するガウスの摂動方程式は次により与えられる。ここに は半直弦である。

永年摂動

摂動関数 の展開は literal expansion として知られる。これは摂動関数を角度座標(平均近点離角 や近点黄経 など)の三角関数の和に分解するものであり、具体的な計算方法がラグランジュ、ラプラス、ルヴェリエ、ハンゼンら多くの人の手によって研究されてきた。軌道要素の時間変化は、周期摂動とそれより長い時間スケールでの時間変化を引き起こす(: secular perturbation) に分解できるが、太陽系天体では周期摂動より永年摂動の方が重要である。そのため摂動関数から周期摂動を落としたものをラグランジュの惑星方程式と用いることにより永年摂動の計算が可能となる。

応用

太陰運動論

月の満ち欠け(月相)は太陰暦および太陰太陽暦の基礎であり、月の運動は古くから記録されてきた。月の軌道は等速円運動ではなく、そこからのずれ(不等, : inequality)が存在する。月の軌道が楕円軌道であることによる不等が中心差英語版であるが、これ以外に例えば太陽の摂動によって次のような不等が存在する。

  • 出差英語版 (: evection): 遠地点または近地点が太陽の向きにあるとき、相対的に強い摂動を受ける効果。
  • 二均差英語版 (: variation): 1朔望月の間に太陽の摂動によって地球の重力が実効的に変化する効果。
  • 年差 (: annual equation): 地球の離心率のために一年の間に太陽の摂動の強さが変化する効果。

これらの不等を説明し、精度よく月の運動を予測することは太陰運動論英語版として古くから調べられてきた。これには純粋な天文学上の興味に加えて、航海術(経度の測定)への応用という実用的な目的があった。

またエドモンド・ハレーによって指摘された、古代から続く月食の記録を比較すると月の平均運動が徐々に増大しているように見えるという永年加速の問題がある。ラプラス、アダムズを含む数世代にわたる長い論争を経て、潮汐摩擦によって地球の自転が減速し時刻の定義自体が変化している効果を考慮することによって永年加速の問題は解決された。

軌道共鳴

同一の中心天体のまわりのふたつの公転軌道について、その平均運動が簡単な整数比にあるとき尽数関係 (: commensurable) にあるという。このような軌道は安定化または不安定化し、平均運動共鳴と呼ばれる。より正確には、ふたつ��軌道 , が平均運動共鳴にあるとは、, を整数として

が成立することを言う(通常第三項は小さな値を取り落としてよい)。例えば小惑星帯カークウッドの空隙と呼ばれる小惑星の数が少ない領域は木星と平均運動共鳴にあり不安定化したものだと考えられている。逆に太陽系外縁部には共鳴外縁天体と呼ばれる海王星と平均運動共鳴にある天体群が存在することが知られており、その代表的なものが2:3の平均運動共鳴にある冥王星である。またふたつの1:2平均運動共鳴が同時に成立するとき(すなわち1:2:4の平均運動共鳴にあるとき)ラプラス共鳴と呼び、太陽系では木星系のイオ-エウロパ-ガニメデが唯一の例である。

一方、平均運動共鳴とは異なり、永年摂動による近点移動の振動数が摂動天体の固有振動数と尽数関係にあるときは永年共鳴 (: secular resonance) として知られている。これは軌道周期に比べ非常に長い時間スケールでの軌道の不安定化を導く。

太陽系の安定性

太陽系惑星の軌道が長期的に安定して保たれるかという太陽系の安定性英語版の問題はアイザック・ニュートン以来研究されてきた。ニュートンは太陽系は不安定であると考えていた。

ラグランジュらによる摂動論の研究を経て、ラプラスは1776年に永年摂動の1次の範囲では惑星の軌道長半径は時間変化せず安定であることを示した。シメオン・ドニ・ポアソンはラプラスの結果を拡張し、1808年に2次摂動の範囲でも軌道長半径は永年不変量であることを示した。しかしユルバン・ルヴェリエは1840年から41年にかけて、長期間の軌道進化では高次の摂動が重要であり、摂動の低次の項だけに基づくラプラスらによる安定性の証明は信頼できないと指摘した(同時に小分母の問題にも言及している)。アンリ・ポアンカレはこれらの問題提起を受けて、惑星系の軌道は解析的な解の表示が存在しないこと(ポアンカレの定理)、そして問題の摂動級数は一般に発散することを証明した。1960年代のコルモゴロフらによるKAM理論は近可積分系の大部分の軌道は摂動が十分に小さければトーラス上の準周期解となることを示しており、太陽系の安定性をこの路線で証明する研究が行われた。

一方で、1950年頃からは電子計算機による太陽系の長時間高精度シミュレーションが行われるようになった。初期のものとしては1951年の W. J. Eckert らによる5惑星シミュレーションがある。Laskar は1989年の論文でシミュレーションの結果リャプノフ時間500万年で不安定化すると主張した。しかしリャプノフの意味での不安定性にもかかわらず、伊藤孝士と谷川清隆は±40億年のシミュレーションでは惑星軌道は安定に存在し続けたと報告している。太陽系の安定性に関する一般的な理論は2009年現在未だ存在しない。

自転と潮汐

自転: 歳差と章動

多くの天体は公転に加えて自転しており、自転運動はオイラーの運動方程式によって記述される。測地学では地球の自転を地球に対して固定された座標系で議論することが多いものの、天文学分野では慣性系を用いて議論することが好まれる。惑星の自転はある軸(自転軸)まわりの回転として表現でき、その軸を 、自転角速度を とするとき自転は角速度ベクトル により記述される。角速度ベクトルは自転角運動量 という関係にある。ここに 慣性モーメントテンソル

である。しばしば座標系として慣性主軸を取り、そのとき慣性モーメントテンソルは主慣性モーメント , , を固有値とする対角行列となる。

地球の自転軸の回転運動が歳差である。

地球の自転軸は月と太陽および他の惑星による摂動を受け、複雑に変化する。このうち長周期での軸の移動を歳差 (: precession)、より短周期での振動を章動 (: nutation) と呼ぶ。歳差の周期は約2万6000年であり、春分点の移動をもたらす。章動のうちもっとも振幅の大きな成分は周期18.6年であり、月の昇交点がこの周期で移動していることによる。歳差および章動は木下宙によって1977年に精密な理論が構築された。

潮汐力

潮汐力 (: tidal force)は重力の非一様性のために生じる非一様な重力の作用であり、月および太陽による潮汐力は海の潮汐の原因として知られている。潮汐力はまた天体の潮汐変形、潮汐トルク、潮汐加熱といった現象を引き起こす。

潮汐による海水の移動が生じる摩擦(潮汐摩擦、: tidal friction)は地球の自転を減速させる。この結果、全角運動量の保存により月は地球から遠ざかる。

惑星の変形

惑星は厳密には球形ではなく、自転による変形および潮汐力による潮汐変形を被る。

主慣性モーメント , , を持つ天体がその外部につくる重力ポテンシャル の表式

マッカラーの公式と呼ばれる。ここに は天体の重心とポテンシャルの評価点を結ぶ軸まわりの慣性モーメントであり、評価点の座標を とするとき

により与えられる。

自転と公転の同期

月は常に同じ面を地球に向けているものの、秤動による変化がある。

月は(秤動 (: libration) を除き)常に同じ面を地球に向けているが、これは月の自転周期と公転周期が同期しているためである。これは地球の重力による月の潮汐変形が原因であり、潮汐ロックと呼ばれる。

その他のトピック

土星天王星に存在するは天体力学の重要な適用対象であり、環の構造や安定性、羊飼い衛星といった問題が取り扱われる。

彗星と太陽系小天体の軌道

木星による摂動を受ける彗星の軌道のシミュレーション。図中の赤点が太陽、黒点が木星、青点が彗星を表す。距離および時間の単位は木星公転運動の半径および周期。薄い青色の楕円が初期の軌道、濃い青の楕円が摂動後の軌道である。

彗星は大きな離心率を持ち、特に極端なものはサングレーザーと呼ばれる。しばしば彗星は木星との近接散乱により大きな摂動を受けるが、これは円制限三体問題とみなせ、ヤコビ積分の保存から導かれるティスランの判定式によって彗星の同一性を判定できる。また彗星が大きな離心率を獲得する機構として古在メカニズムが提案されている。

小惑星などの太陽系小天体の軌道はカオスを示すことでも注目される。小惑星帯の小惑星の多くは小惑星-木星系の、または小惑星-木星-土星系の平均運動共鳴に由来するカオス軌道を持つ。これは軌道要素のカオス拡散といった効果を生じる。

重力ポテンシャルの高次成分

厳密には天体は球形ではなく、それに対応して天体の重力ポテンシャルには単極子項への補正が存在する(多重極展開英語版)。これは特に地球を周回する人工衛星の軌道に最も大きな摂動として寄与するため、軌道力学では重力ポテンシャルの補正を考慮する必要がある。軸対称な天体の場合には、重力ポテンシャル ルジャンドル多項式 を用いて

と書ける。

一般相対論

強重力場のもとでは一般相対性理論によるニュートン重力からの補正が必要となる。これは水星���近日点移動の要因のひとつとして有名である。例えばシュワルツシルト時空におけるハミルトン–ヤコビ方程式

と書ける。一般相対論効果はブラックホールなどのコンパクト天体で顕著であり、銀河中心の構成の運動は超大質量ブラックホールの一般相対論効果を強く受ける。また連星パルサーを代表とするコンパクト星連星では重力波放出により軌道が収縮する。

惑星形成

惑星形成理論は微惑星の集積として惑星が形成される過程を議論するものであり、微惑星の合体成長過程は天体力学と関係している。

恒星系力学

恒星系力学英語版は多数の重力相互作用する恒星からなる系を取り扱う理論であり、球状星団銀河の力学的な性質の基礎となる。この理論は天体力学と顕著な繋がりがある他、統計力学およびプラズマ物理学とも関係している。

歴史

ケプラーの法則

1576年から1601年にかけて、ティコ・ブラーエ (1546-1601) はデンマークウラニボリ)、次いでチェコプラハにおいて太陽惑星を観測し、望遠鏡がない当時としては最高精度の誤差1-2分角でその位置をした。ヨハネス・ケプラー (1571-1630) はブラーエの観測結果をもとにケプラーの法則に到達し、1609年の Astronomia nova、1619年の Harmonice Mundi においてこれらの法則を公刊した。

ニュートンの『自然哲学の数学的諸原理』

エドモンド・ハレー (1656-1742) の勧めもあり、1687年にアイザック・ニュートン (1642-1727) は『自然哲学の数学的諸原理』(プリンキピア、: Philosophiæ Naturalis Principia Mathematica)を出版し、ニュートン力学および天体力学の基礎を築いた。なおニュートンがプリンキピアを書き上げるにあたって、ロバート・フック (1635-1703) やジョン・フラムスティード (1646-11719) ら同時代の研究者の業績に大きく影響を受けている。

まず第1巻でニュートンは質量 (quantity of matter) および運動量 (quantity of motion) を定義し、 (force) について論じている。続いて運動の法則を定式化し、中心力場のもとでは面積速度が一定であること(そして逆に面積速度が一定であるならば中心力が働いていること)、円錐曲線を描いて運動する物体には距離の二乗に反比例する中心力が作用していること、その場合に楕円軌道を描く物体の周期は楕円の長半径の1.5乗に比例することを示した。

さらにニュートンは互いに引力を及ぼす二体問題についても論じ、その重心まわりの運動に帰着できることを示し、逆二乗則の場合には重心まわりの軌道は円錐曲線となることを主張した(ただし逆二乗則から楕円軌道が導かれることの証明をプリンキピアの初版では与えず、後の版では証明の概略のみを著述している)。また、ニュートンはその理論を月の運動に適用し三体問題の一般解を求めようとしたものの見出すことができず、プリンキピアでは近似解についてのみ記述している。

プリンキピアの第2巻は空気抵抗などの抵抗力のもとでの物体の運動を扱っている。The System of the World と題された第3巻は前2巻とは異なり自然哲学を扱ったもので、ニュートンはそれまでの巻で展開した数学理論を天界の物体の運動に適用した。木星の衛星、土星の衛星、そして惑星がいずれもケプラーの法則(第2法則と第3法則)を満たすことから、天体間には逆二乗則の引力が働いていること、そして地球-月間に働くこの引力は地球上の物体が地球の中心に向かって落下しようとする力(重力)と同じものであると論じている。そしてこのことからすべての物体間に重力が作用すること(万有引力の法則)を主張した。さらに第3巻には自転する球体(すなわち地球)は扁平な形に変形すること、潮汐が月の引力によるものであること、月の運動(ただしこの議論は成功しているとは言い難い)、月と太陽の重力による地球の歳差の計算、彗星の軌道といった内容を扱っている。

解析力学

オイラーによって初めてニュートンの運動方程式は現代的な記法で書き下された。

ニュートンのプリンキピアは当時考案されたばかりの微分法および積分法の使用を避け幾何学的な考察に基づくものであり極めて難解なものであった。プリンキピアの出版後18世紀初頭にかけてピエール・ヴァリニョン (1654-1722)、ヨハン・ベルヌーイ (1667-1748)、Jakob Hermann (1678-1733) らはプリンキピアの内容をゴットフリート・ライプニッツ (1646-1716) らによる微積分学の言葉を用いて理解するようになった。1730年頃からはダニエル・ベルヌーイ (1700-1782)、レオンハルト・オイラー (1707-1783)、アレクシス・クレロー (1713-1765)、ジャン・ル・ロン・ダランベール (1717-1783)らによって保存則やポテンシャルの概念などが導入され、1760年頃までには現在の力学に近い形にまで整備された。ダランベールは1843年に Traité de dynamique を出版した。オイラーは1749年にニュートンの運動方程式を初めて現在知られている形で書き下している。ジョゼフ=ルイ・ラグランジュ (1736-1813) は1750年代から統一的な原理に基づく力学の再構築に取り組み、現在解析力学(特にラグランジュ力学)として知られる体系を1788年の著書 Mécanique analytique英語版 にまとめ上げた。

二体問題と三体問題

上述のように、アイザック・ニュートンはプリンキピアにおいて惑星軌道が円錐曲線であるならば逆二乗則に従う中心力が作用していることを示したものの、逆に逆二乗則の重力を受けて運動する物体の軌道がどのようなものかという問題に対しては十分な回答を著述しなかった。この問題は1710年の Jakob Hermann の研究、そしてそれに続くヨハン・ベルヌーイの研究によって解決された。

1693年にハレーは古代バビロニアおよび中世アラブ界の月食の記録を当時の記録と比較し、月の永年加速を指摘した。

1730年代にピエール・ルイ・モーペルテュイ (1698-1759) 率いる観測隊は地球が赤道付近で膨らんでいる扁球であることを証明した。これにより地球の形状に関するジャック・カッシーニ (1677-1756) の理論が棄却され、それと対立していたニュートンの理論の正しさが明らかになった。この観測に参加していたアレクシス・クレローは地球の形状に関する1743年の著書 Théorie de la figure de la terre を出版した後に天体力学の研究を始め、1747年11月にパリ三体問題に関する口頭発表を行い、月の近地点移動を説明するためには万有引力の法則に逆三乗則に従う付加項が必要であると主張した(逆二乗則に補正を加えるというアイデアは John Keill にまで遡る)。この主張は激しい拒否反応を引き起こし、短距離側ではなく遠距離側で万有引力の法則を修正する必要があると考えていたレオンハルト・オイラーとの間で論戦となった。ダランベールもこの問題に興味を示し、独自のアイデアで研究に参入した。1714年に英国が定めた経度法の懸賞金に繋がる可能性から月の近地点移動はこの三者による研究競争となったものの、1749年にクレローは当初の主張を撤回し当時は無視されていた太陽による高次摂動を考慮することによって月の近地点移動を説明できることを示し、この成果によって帝国サンクトペテルブルク科学アカデミーの賞を1750年に獲得した(受賞論文 Théorie de la lune は1753年に出版された)。その後クレローはハレー彗星の軌道の摂動計算などの研究を行っている。

1748年にパリの科学アカデミーは木星と土星の相互摂動に関するコンテストを開催し、レオンハルト・オイラーが優勝した(受賞論文は1749年に出版された)。彼は木星と土星の運動のケプラー軌道からの逸脱を完全に説明することはできなかったものの、その後の天体力学の研究において極めて重要な役割を果たす三角級数の方法を導入した。またオイラーの研究には観測データからのパラメータ推定に関する先駆的な業績が含まれている(当時最小二乗法は考案されていなかった)。

トビアス・マイヤー (1723-1762) はオイラーの木星と土星の理論を発展させ太陽-地球-月系に応用することにより、月の天文表を作成し1753年に出版した。その正確さは1760年までにジェームズ・ブラッドリー (1693-1762) の観測によって裏付けられ、1767年に創刊された航海年鑑の基礎となった。

ラグランジュ点。

レオンハルト・オイラーは三体問題を求積するために運動の積分を探し求めたものの、必要な数の積分を得ることはできなかった。そこで三体が同一直線に乗る配位の特殊解に目を向け、1766年に三体問題に関する論文 Considerationes de motu corporum coelestium の中で制限三体問題の平衡点であるラグランジュ点のうち直線解と呼ばれる L1, L2 を発見した。ラグランジュは1772年にすべての平衡点、特に正三角形解を発見した。ラグランジュはまた一般三体問題の18本の方程式を7本の方程式に帰着できることを示している。

円制限三体問題におけるヤコビ積分は1836年にカール・グスタフ・ヤコブ・ヤコビ (1804-1851) によって導入された。

摂動論の開発

摂動論の基本的な道具立てはジョゼフ=ルイ・ラグランジュによって整備され、ピエール=シモン・ラプラス (1749-1827) によって発展した。接触軌道要素はレオンハルト・オイラーによって厳密に定義された。ラグランジュは月の秤動に関する研究を行い、1764年にフランス科学アカデミーの賞を獲得した。またラグランジュは1779年に摂動関数を導入した。

ピエール=シモン・ラプラスは1773年頃から天体力学の研究を始め、天体の運動および地球の形状・海の潮汐に取り組んだ。ラプラスは1776年に永年摂動の1次の範囲では惑星の軌道長半径は時間変化しないことを示した。また1787年に木星および金星の摂動によって地球軌道の離心率が変化することにより月の永年加速が説明できると主張した(なお半世紀以上が経った1854年にアダムズがラプラスの計算に誤りを発見し、この効果により永年加速は観測を説明するのに必要な値の半分しかないことを指摘している)。1789年のフランス革命に伴う環境の激変もありながら、ラプラスは1796年に Exposition du système du monde を、1799年から1827年にかけて5巻からなる『天体力学論英語版』 (Traité de mécanique céleste) を出版した。この著作は以下の内容を取り扱っている。

  • 第1巻: (Book 1) 平衡と運動に関する一般論、(Book 2) 重力と物体の運動。
  • 第2巻: (Book 3) 天体の形状、(Book 4) 海洋と大気の運動、(Book 5) 天体の重心まわりの運動。
  • 第3巻: (Book 6) 惑星の運動、(Book 7) 月の運動。
  • 第4巻: (Book 8) 木星、土星、天王星の衛星、(Book 9) 彗星、(Book 10) 世界観について。
  • 第5巻: (Book 11) 地球の自転と形状、(Book 12) 弾性流体の運動、(Book 13) 惑星を覆う流体運動、(Book 14) 歳差と秤動、(Book 15) 惑星と彗星の運動、(Book 16) 衛星の運動

ラグランジュは1814年に出版した Mécanique analytique の第2版の中で摂動関数およびラグランジュの惑星方程式といった天体力学の基本的な道具立てをまとめ、高次摂動の系統的な計算が可能であることを示した。

軌道決定

ティティウス・ボーデの法則は1766年にヨハン・ティティウス (1729-1796) によって発見され、1772年にヨハン・ボーデ (1747-1826) によって紹介されたことで知られるようになった。これは、太陽系���星の軌道長半径が簡単な数列

により与えらえるというものである。1781年のウィリアム・ハーシェル (1738-1822) による天王星の発見が の予測に一致したため、この法則は一層興味を集めるようになった。

ピアッツィによるケレスの観測データ。

1801年1月にジュゼッペ・ピアッツィ (1746-1826) は に対応するケレスを発見し(これは最初の小惑星の発見であった)2月上旬まで観測を続けたものの、見失った。そこでカール・フリードリヒ・ガウス (1777-1855) は同年9月からケレスの軌道計算に取り組み、11月にケレスの軌道計算に成功した。ガウスはフランツ・フォン・ツァハ (1754-1832) へ計算結果を送り、ツァハとヴィルヘルム・オルバース (1758-1840) はガウスの予測通りの位置にケレスを再発見した。さらに翌年に発見された小惑星パラスの軌道計算にも成功し、ガウスはゲッティンゲン大学の天文台のポストを得た。ガウスはさらに天体力学の研究を進め、その成果を1809年に『天体運動論』 (: Theoria motus corporum coelestium in sectionibus conicis solem ambientum) として出版した。軌道決定に関するガウスの方法英語版はラグランジュやラプラスによるものよりコンパクトである。なお『天体運動論』は最小二乗法に関する解説が含まれていることでも知られる。

正準理論

ウィリアム・ローワン・ハミルトン (1805-1865) は自身の光学に関する研究から着想を得て1834年から35年にかけての一連の論文においてハミルトン力学を創始した。1836年に円制限三体問題に新しい運動の積分を発見したヤコビはこの論文を書き上げた後にハミルトンの論文を読んだと考えられており、彼は力が時間に依存する場合へとハミルトンの理論を拡張し1837年に現在ハミルトン–ヤコビ方程式として知られる単一の偏微分方程式を書き下した。ハミルトンの方程式はヤコビによって「正準」 (: canonique) と命名された。

さらなる発展

1821年にアレクシス・ブヴァール (1767-1843) は天王星の天文表を出版したが、その後の観測はブヴァールの計算と食い違った。これは未知の惑星の摂動によるものであると考え、ジョン・クーチ・アダムズ (1819-1892) とユルバン・ルヴェリエ (1811-1877) は独立にこの未知の惑星の軌道を計算し、ルヴェリエの予測をもとにヨハン・ゴットフリート・ガレ (1812-1910) が1846年に海王星を発見した(アダムスの計算結果を受け取ったジェームズ・チャリス (1803-1882) とジョージ・ビドル・エアリー (1801-1892) も探索を試み、ガレによる発見の後に海王星を見出したが彼らは発見者とは認められていない)。

1833年にシメオン・ドニ・ポアソン (1781-1840) は独立変数として真近点角 ではなく時刻 を取ることを提案し、Philippe Gustave le Doulcetはこの方法を発展させた。

ルヴェリエは7次までの literal expansion を遂行し、1855年に出版した。この展開はペーター・ハンゼン (1795-1874)、サイモン・ニューカム (1835-1909) らによってさらに発展した。

1856年にジェームズ・クラーク・マクスウェル (1831-1879) は土星が固体であるならば不安定であることを証明し、無数の粒子からできているであろうことを指摘した。

1889年にフェリックス・チスラン (1845-1896) は彗星の同一性に関するティスランの判定式を提案した。ティスランはまた『天体力学概論』 Traité de mécanique céleste を出版した。

太陰運動論

シャルル=ウジェーヌ・ドロネー (1816-1872) は1860年および1867年に二巻からなる La Théorie du mouvement de la lune を出版し、月の運動について論じた。その中でドロネーは Jacques Binet (1786-1856) が1841年に導入した変数をもとにドロネー変数として知られる正準変数を定義している。ただしドロネーの理論は級数の収束が遅く十分な精度を得るためには多大な計算を要するという難点があった。

ジョージ・ウィリアム・ヒル (1838-1914) は1870年代からドロネーの理論を発展させた。彼は月の軌道を楕円軌道ではなく三体問題の近似解である卵形の軌道として扱い、またそれまで天体力学ではあまり普及していなかった複素指数関数

を全面的に採用した。アーネスト・ウィリアム・ブラウン (1866-1938) は1896年に An Introductory Treatise on the Lunar Theory を出版した後も月の理論についての研究を続け、1919年に月の天文表を完成させた。

力学系の理論

19世紀末に三体問題の求積不可能性が Heinrich Bruns (1848-1919) によるブルンスの定理、そしてアンリ・ポアンカレ (1854-1912) によるポアンカレの定理によって明らかになった。ポアンカレはこの定理および関連する彼の研究成果を1892年から1899年にかけて出版された三巻からなる著書『天体力学の新しい方法』 (: Les méthodes nouvelles de la mécanique céleste) にまとめている。その後ポアンカレは微分方程式の解を解析的に求めるのではなく、その定性的な性質を明らかにする力学系の理論を創始した。なお、先行する1880年代にはロシアではアレクサンドル・リャプノフ (1857-1918) が力学系の先駆的な研究を行っている。ポアンカレの力学系の理論はジョージ・デビット・バーコフ (1884-1944) らによって受け継がれ20世紀に大きく発展した。バーコフは1927年に Dynamical Systems を出版している。

20世紀に入ってからもEdvard Hugo von Zeipel (1873-1959) は伝統的な摂動論の研究を行い、リンドステッド-ポアンカレの方法を発展させた。またトゥーリオ・レヴィ=チヴィタ (1873-1941)、カール・スンドマン (1873-1949) らは三体問題の数学的な研究を継続した。

一般相対性理論

アルベルト・アインシュタイン (1879-1955) は1915年に一般相対性理論を完成させた。この理論は強重力場中でニュートン理論への補正項を生じ、アインシュタインはこれによって水星近日点移動の予測値と観測値の不一致(これはルヴェリエによって発見された)が説明できることを示した。後に5冊からなる Celestial mechanics を出版したことで知られる萩原雄祐 (1897-1979) は1930年代に一般相対論的天体力学の研究を行った。アインシュタインは1938年にレオポルト・インフェルトBanesh Hoffmann とともにポスト・ニュートン展開による補正項を含むN体系の運動方程式であるアインシュタイン・インフェルト・ホフマンの方程式英語版を導出した。

準惑星と太陽系小天体

20世紀には観測技術の進展によって太陽系天体が多く発見され、またその理論も進展した。平山清次 (1874-1943) は1918年に小惑星の族の概念を導入した。クライド・トンボー (1906-1997) は1930年に冥王星を発見した(冥王星は2006年のIAU決議によって惑星から準惑星へと分類が変更された)。Mikhail Lidov (1926-1993) と古在由秀 (1928-2018) は1961年から62年に彗星が大きな離心率を獲得する機構を説明し得る古在メカニズムを提案した。ピーター・ゴールドレイク (1939-) とScott Tremaine (1950-) は1979年に環における羊飼い衛星の存在を理論的に予想した。

現代の天体力学

ソ連のスプートニク計画による1957年に世界初の人工衛星スプートニク1号の打ち上げ以降、宇宙空間における人工物の軌道制御を扱う軌道力学が急速に進展した。また同時期に電子計算機が実用化されたことにより数値シミュレーションによる軌道計算が可能となった。一方で理論的研究も続けられ、アンドレイ・コルモゴロフ (1903-1987) らによるKAM理論、堀源一郎 (1930-) らによるリー変換摂動論の開発などの進展があった。特にKAM理論は摂動論の有効性を一般的に示すものとみなせ、20世紀天体力学最大の成果と評されている。また数値計算に関して1980年代から90年代に開発された吉田春夫らによるシンプレクティック数値積分法、そして杉本大一郎牧野淳一郎らによるGRAPE等の特筆に値する発展がある。

付録

太陽系惑星の軌道要素

理科年表2021年版による、太陽系惑星の質量および元期2021年7月5.0日TT=JD2 459 400.5TTの平均軌道要素。黄道と平均春分点は2001年1月1.5日TT=JD2 451 545.0TTの値による。

月の軌道要素

国立天文台による月の平均軌道要素(J2000.0の平均春分点および黄道による)。はユリウス世紀数で、をユリウス日として により与えられる。

参考文献

書籍 (教科書)

書籍 (その他)

論文等

関連項目

Uses material from the Wikipedia article 天体力学, released under the CC BY-SA 3.0 license.