Loading [MathJax]/jax/output/HTML-CSS/jax.js

物理/惑星の運動(2)

提供: Internet Web School

(版間での差分)
( 惑星の運動方程式)
( 微分方程式を解いて、惑星の軌道形を求める  )
 
(間の47版分が非表示)
7 行: 7 行:
運動の第1、第2法則のもとで、<br/>
運動の第1、第2法則のもとで、<br/>
万有引力の法則と惑星に関するケプラーの3法則が同等であることを導く。
万有引力の法則と惑星に関するケプラーの3法則が同等であることを導く。
-
== 惑星の運動方程式   ==
+
== ニュートンの運動の第一、第二法則による惑星の運動方程式の導出   ==
-
他の惑星の影響を無視して、太陽と一つの惑星の二体からなる系を考える。<br/>
+
他の惑星の影響を無視して、太陽と一つの惑星の二体からなる系をある慣性系から観測する。(注1と注2を参照のこと)<br/>
太陽の質量をM、惑星の質量をmとする。<br/>
太陽の質量をM、惑星の質量をmとする。<br/>
この二体を、ともに質点であるとみなし、位置はそれぞれの重心とする。 <br/>
この二体を、ともに質点であるとみなし、位置はそれぞれの重心とする。 <br/>
-
この系には、系外から力が作用しないため、任意の慣性系から観測すると(注1参照)、<br/>
+
この系には、系外から力が作用しないため、、<br/>
[[物理/質点の運動と質点系#質点系の重心とその運動|系の重心は等速直線運動をする。]] <br/>
[[物理/質点の運動と質点系#質点系の重心とその運動|系の重心は等速直線運動をする。]] <br/>
-
ところが、太陽の質量は惑星の質量より圧倒的大きいため二体の重心は太陽の重心とほぼ一致し、 <br/>
+
従って、この重心を原点とする回転しない座標系も慣性系となる。<br/>
-
太陽重心は慣性系からみると等速直線運動しているとみなしてよい。<br/>
+
今後はこの慣性系で観測する。<br/><br/>
 +
(注1)慣性系の存在はニュートン力学(古典力学)の大前提であり、運動法則の第一法則としてまとめられている。<br/>
 +
太陽系の重心に原点を取り、恒星系に対して回転しない座標系は慣性系に近いことが現在分かっている。
 +
*[[wikipedia_ja:慣性系 |ウィキペディア(慣性系)]]
 +
慣性系からみた質点系の運動は、[[物理/質点の運動と質点系#質点系の運動|テキストの2.3]] で、その導入部分を説明している。
 +
<br/>
 +
(注2)他の惑星の影響を無視し、太陽と当該惑星の2体を質点とみなしても、<br/>
 +
他の惑星からの影響の少ない地球などの惑星の運動は、かなり正確に予測できることが知られている。<br/>
 +
正確にするには二体ではなく他の惑星も考慮した多体問題として論じなければならないが、解析は非常に難しくなる。
 +
=== 2体の重心は太陽の重心と一致するという近似を行う  ===
 +
 太陽の質量は惑星の質量より圧倒的大きいため二体の重心は太陽の重心とほぼ一致する。 <br/>
*[[wikipedia_ja:大きさ順の太陽系天体の一覧#一覧 |ウィキペディア(大きさ順の太陽系天体の一覧)]]
*[[wikipedia_ja:大きさ順の太陽系天体の一覧#一覧 |ウィキペディア(大きさ順の太陽系天体の一覧)]]
-
(注1)慣性系が存在することはニュートン力学(古典力学)の運動法則の第一法則によって保証されている。<br/>
 
-
慣性系からみた質点系の運動は、既に、運動の第1、第2法則から得れれることを、[[物理/質点の運動と質点系#質点系の運動|2.3 で示した。]]
 
<br/>
<br/>
-
(注2)他の惑星の影響を無視し、太陽と惑星を質点とみなしても誤差は小さいことが知られている。<br/><br/>
+
そこで議論を簡単にするため、このテキストでは2体の重心は太陽の重心と一致し、太陽は不動であると仮定する。<br/>
 +
興味のある読者は、この仮定をしないで、惑星と太陽の運動を解析してみてほしい。<br/>
 +
議論は殆ど同じように進められます。<br/><br/>
 +
 
そこで太陽Sを原点Oとする慣性座標系を考える。<br/>
そこで太陽Sを原点Oとする慣性座標系を考える。<br/>
任意の時刻 t の惑星Ptの位置ベクトルOPtr(t)とかく。<br/>
任意の時刻 t の惑星Ptの位置ベクトルOPtr(t)とかく。<br/>
惑星が太陽からうける力(万有引力の法則を仮定しないと未知)を仮にfと書くと、<br/>
惑星が太陽からうける力(万有引力の法則を仮定しないと未知)を仮にfと書くと、<br/>
-
惑星の運動は、ニュートンの第2法則から
+
惑星の運動は、ニュートンの第2法則から次の微分方程式で形式的には記述されが、<br/>力が未知なので、この方程式は解を持ち得ない。<br/>
-
次の微分方程式で形式的には記述される。<br/>
+
 Md2rdt2(t)=f<br/>
-
$\ M\frac{d^{2} \vec{r}}{dt^2}(t)=\vec{f} \qquad \qquad (1)$<br/>
+
-
力が未知なので、この方程式は解を持ちえない。<br/>
+
== 運動の第1、第2法則と万有引力の法則からケプラーの3法則を導く ==
== 運動の第1、第2法則と万有引力の法則からケプラーの3法則を導く ==
-
=== 惑星の運動方程式  ===
 
-
万有引力を仮定すると、位置rにある惑星に働く力fは、<br/>
 
-
f=GMmr(t)2r(t)r(t)<br/>となるので、惑星の運動方程式は次式で与えられる。<br/>
 
-
 Md2rdt2(t)=GMmr(t)2r(t)r(t)(1)<br/>
 
-
ここで、式(1)の右辺中のGは万有引力定数である。<br/>
 
-
式(1)を満たす(ベクトル値)関数rを求めることを、微分方程式(1)を解くという。<br/>
 
-
なお、ある時刻t0(以後、初期時刻と呼ぶ)の位置ベクトルと速度ベクトルが指定されたベクトルになるような<br/>
 
-
微分方程式の解を求めなければならないこともある。<br/>
 
-
指定された位置ベクトルをr0、速度ベクトルをv0と書くと、<br/>
 
-
速度ベクトルv(t)は<br/>
 
-
v(t)=drdt(t)なので、<br/>
 
-
これ等の条件(初期条件と呼ぶ)は次のように表せる。<br/>
 
-
r(t0)=r0drdt(t0)=v0(2)<br/>
 
-
初期条件をみたす微分方程式の解を求める問題を微分方程式の初期値問題と呼ぶ。<br/>
 
-
 
=== 惑星は平面上を運動する  ===
=== 惑星は平面上を運動する  ===
-
O,P(t0)P(t0)を始点とした初速v0を含む<br/>
+
不動の太陽の位置O,時刻tの惑星の位置P(t0)P(t0)を始点とした初速ベクトルv0を含む<br/>
平面Hを考える。<br/>
平面Hを考える。<br/>
 +
[[File:GENPHY00010211-01.jpg|right|frame|図 惑星の運動]]
この平面と直交する一つのベクトルhを考え、<br/>
この平面と直交する一つのベクトルhを考え、<br/>
式(1)の両辺の左側からベクトル積として作用させる。<br/>
式(1)の両辺の左側からベクトル積として作用させる。<br/>
 h×(Mdvdt(t))= h×(GMmr(t)2r(t)r(t))(3)<br/>
 h×(Mdvdt(t))= h×(GMmr(t)2r(t)r(t))(3)<br/>
-
ベクトル積の性質から<br/>
+
[[ 物理/平面と空間,ベクトル#ベクトル積|ベクトル積の性質]]から<br/> 
左辺は<br/>
左辺は<br/>
 h×(Mdvdt(t))= Mh×(dvdt(t))= Mh×(d2rdt2(t))<br/>
 h×(Mdvdt(t))= Mh×(dvdt(t))= Mh×(d2rdt2(t))<br/>
78 行: 73 行:
平面H上にあることが証明された。<br/><br/>
平面H上にあることが証明された。<br/><br/>
(注1)<br/><br/>
(注1)<br/><br/>
-
(注2)<br/>
+
(注2)証明をみれば明らかなように、<br/>
-
=== 惑星の角運動量は保存される  ===
+
惑星に働く力が、太陽と惑星を結ぶ直線と同じ方向(求心力あるいが遠心力)でありさえすれば、<br/>
 +
惑星は平面上を運動する。<br/>
 +
=== 惑星の角運動量は保存される  ===
 +
式(1)の両辺に、左側からr(t)をベクトル積として作用させると、<br/>
 +
r(t)× d2rdt2(t)=r(t)×Gmr(t)2r(t)r(t)(a)<br/>
 +
ここで、ベクトル積の性質から<br/>
 +
ddt(r×drdt)=drdt×drdt+r× d2rdt2<br/>
 +
=r× d2rdt2<br/>
 +
また右辺は<br/>
 +
r(t)×Gmr(t)2r(t)r(t)=0(注参照)<br/>
 +
なので、式(a)は、<br/>
 +
ddt(r×drdt)=0<br/>
 +
となる。<br/>
 +
(注)万有引力でなく、惑星に作用する力の向きが原点向きであるか、それと逆向きという条件だけで良い。<br/><br/>
 +
drdt=v(速度ベクトル)なので、上式は<br/>
 +
ddt(r×v)=0(b)<br/>
 +
あるいは、惑星の運動量p=mvを用いて<br/>
 +
ddt(r×p)=0(c)<br/>
 +
となる。この2式から、<br/>
 +
r×v とr×p<br/>
 +
は、ともに時不変(時間が経過しても一定値)であることが分かる。<br/><br/>
 +
定義(角運動量)<br/>
 +
r(t)×p(t)を、(原点からみた)惑星の時刻tにおける'''角運動量'''という。<br/><br/>
 +
すると上述したことから、次の法則が証明された。<br/><br/>
 +
'''角運動量の保存法則'''<br/>
 +
求心力、ないし遠心力(力の向きが原点向きか、その逆向き)だけを受けて運動する質点の角運動量は保存される。<br/><br/>
=== ケプラーの第2法則の導出  ===
=== ケプラーの第2法則の導出  ===
-
第2法則(面積速度一定の法則)、<br/>
+
上述したことから惑星は平面上を動くので、<br/>
-
「惑星と太陽とを結ぶ線分が単位時間に描く面積(面積速度)は、一定である」<br/>
+
位置ベクトルと運動量ベクトルが、xy平面に載る様な正規直交右手系xyzを選べる。<br/>
-
を導出しよう。<br/>
+
この座標系のもとで座標表示すると<br/>
 +
r(t)×p(t)=(r1(t),r2(t),0))×(p1(t),p2(t),0)<br/>
 +
=(0,0,r1(t)p2(t)r2(t)p1(t))<br/>
-
=== ケプラーの第1法則の導出  ===
+
他方、ベクトルr(t) と ベクトルp(t)のなす劣角(180度以下のほうの角)をθ(t)とすると<br/>
 +
この2つのベクトルと直交するz方向のr(t)×p(t)の成分は<br/>
 +
[[物理/剛体と回転力#ベクトル積の定義|ベクトル積の定義]]から、<br/>
 +
r(t)×p(t)sinθ(t)<br/>
 +
なので、<br/>
 +
r(t)×p(t)sinθ(t)(6)<br/>
 +
が、時不変であることが分かる。<br/>
 +
惑星質量は一定なので
 +
式(6)から<br/>
 +
r(t)×v(t)sinθ(t)/2(7)<br/>
 +
が、時不変であることが分かる。<br/>
 +
式(7)は動径OP(t)が時刻tの瞬間に単位時間あたりに掃く面積を表すので、惑星の面積速度と呼ばれる。
 +
*[[File:GENPHY00010211-02.pdf|right|frame|図 時刻tから、微小時間に動径の掃く面積]]
 +
<br/>
 +
'''系 ケプラーの第2法則'''<br/>
 +
求心力、ないし遠心力(力の向きが原点向きか、その逆向き)だけを受けて運動する質点の面積速度は一定である。従って、<br/>
 +
「惑星の動径(惑星と太陽とを結ぶ線分)が単位時間に描く面積(面積速度)は、一定である」<br/>
 +
=== ケプラーの第1法則の導出  ===
 +
[[物理/惑星の運動(2)#惑星の運動方程式|惑星の運動方程式]](1)を解いて惑星の軌道を求めよう。<br/>
 +
求心力の下での運動を扱うには、極座標が都合がよい。<br/>
==== 惑星運動の微分方程式の極座標表示  ====
==== 惑星運動の微分方程式の極座標表示  ====
-
==== 微分方程式を解いて、惑星軌道の極座標表示を求める  ====
+
そこで惑星の位置ベクトルを、x軸の正の部分のつくる半直線を角度の基準とする極座標で<br/>
-
==== 極座標表示の惑星軌道を、直交座標表示に変換  ====
+
$\vec{r}(t)=r(t)\bigl(\cos \theta (t),\sin \theta (t)\bigr)$<br/>
 +
と表す。<br/>
 +
この式を時間tで微分すると<br/>
 +
$\dot{\vec{r}}(t)={\dot r}(t)\bigl(\cos \theta (t),\sin \theta (t)\bigr)
 +
+r(t){\dot \theta} (t)\bigl(-\sin \theta (t),\cos \theta (t)\bigr)$<br/>
 +
但し、˙r(t)drdt(t)<br/>
 +
さらにtで微分すると<br/>
 +
¨r(t)<br/>
 +
$=\ddot {r}(t)\bigl(\cos \theta (t),\sin \theta (t)\bigr)
 +
+\dot{r}(t)\dot{\theta} (t)\bigl(-\sin \theta (t),\cos \theta (t)\bigr)$<br/>
 +
+˙r(t)˙θ(t)(sinθ(t),cosθ(t))<br/>
 +
$+r(t)\ddot{\theta} (t)\bigl(-\sin \theta (t),\cos \theta (t)\bigr)
 +
-r(t)\dot{\theta}^{2}(t)\bigl(\cos \theta (t),\sin \theta (t) \bigr) $<br/>
 +
$=\bigl(\ddot {r}(t)-r(t)\dot{\theta}^{2}(t)\bigr)\bigl(\cos \theta (t),\sin \theta (t)\bigr)$<br/>
 +
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))<br/>
 +
故に<br/>
 +
¨r(t)<br/>
 +
$=\bigl(\ddot {r}(t)-r(t)\dot{\theta}^{2}(t)\bigr)\bigl(\cos \theta (t),\sin \theta (t)\bigr)$<br/>
 +
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))(8)<br/>
 +
が得られた。<br/>
 +
惑星に働く万有引力を、この極座標で表示すると<br/>
 +
$-\frac{GM}{\|\vec{r}(t)\|^{2}}\frac{\vec{r}(t)}{\|\vec{r}(t)\|}
 +
=-\frac{GM}{r^{2}(t)}(\cos \theta (t),\sin \theta (t)\bigr) \qquad (9)$<br/>
 +
式(8),(9)を惑星の運動方程式<br/>
 +
$\ddot{\vec r}(t)=-\frac{GM}{\|\vec{r}(t)\|^{2}}\frac{\vec{r}(t)}{\|\vec{r}(t)\|}$<br/>
 +
に代入すると<br/>
 +
(¨r(t)r(t)˙θ2(t))(cosθ(t),sinθ(t))<br/>
 +
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))<br/>
 +
$= -\frac{GM}{r^{2}(t)}(\cos \theta (t),\sin \theta (t)\bigr)$<br/>
 +
右辺を左辺に移行すると<br/>
 +
(¨r(t)r(t)˙θ2(t)+GMr2(t))(cosθ(t),sinθ(t))<br/>
 +
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))0<br/>
 +
(cosθ(t),sinθ(t))(sinθ(t),cosθ(t))は直交ベクトルなので、この式から<br/><br/>
 +
¨r(t)r(t)˙θ2(t)+GMr2(t)0(10)<br/>
 +
2˙r(t)˙θ(t)+r(t)¨θ(t)0(11)<br/>
 +
が得られる。<br/><br/>
 +
命題;惑星運動の微分方程式の極座標表示<br/>
 +
太陽の位置Oを原点、x軸の正の部分の半直線を角の基準線とする極座標で
 +
惑星の運動方程式を表現すると<br/>
 +
$\ddot {r}-r\dot{\theta}^{2}=-\frac{GM}{r^{2}}\qquad \qquad (12)  $<br/>
 +
$r^2\dot{\theta} = h \quad (任意の定数) \qquad \qquad (13) $<br/>
 +
となる。(注2 を参照のこと)<br/>
 +
証明<br/>
 +
式(12)は式(10)から明らか。<br/>
 +
式(13)の左辺をtで微分すると
 +
$\frac{d r^2\dot{\theta}}{dt}=r^2\ddot{\theta} + 2r\dot{r}\dot{\theta}
 +
=r\bigl(r\ddot{\theta} + 2\dot{r}\dot{\theta}\bigr)$<br/>
 +
式(11)から<br/>
 +
$= 0$<br/>
 +
左辺の時間微分が零なので、左辺は任意の定数hに等しい。<br/>
 +
証明終わり。 <br/><br/>
 +
(注)式(13)は面積速度が一定であることを表現している。<br/>
 +
先に、このことは証明してあるが、その別証明である。<br/>
 +
(注2)関数の変数tまで書くと、式(12),(13)は、次のように書ける。<br/>
 +
$\ddot {r}(t)-r(t)\dot{\theta}^{2}(t)=-\frac{GM}{r^{2}(t)}\qquad \qquad (12')  $<br/>
 +
$r^2(t)\dot{\theta}(t) = h \quad (任意の定数) \qquad \qquad (13') $<br/>
-
=== ケプラーの第3法則の導出 ===
+
==== 微分方程式を解いて、惑星の軌道形を求める  ====
-
== 運動の第2法則とケプラーの3法則から万有引力の法則を導く ==
+
連立微分方程式(12)、(13)を解いて、r=r(t),θ=θ(t)を求めれば、<br/>
 +
任意の時刻tにおける惑星の位置がわかる。<br/>
 +
軌道の形は、この2式からtを消去して、rとθの関数関係<br/>
 +
f(r,θ)=0, またはr=f(θ)<br/>
 +
を求めれな良い。<br/>
 +
しかし、残念なことにこれは大変困難である。<br/><br/>
 +
 
 +
軌道の形だけを知りたいときには、<br/>
 +
これを回避して簡単な(しかし技巧的な)直接的な解法がある。<br/>
 +
それは、連立微分方程式の解が<br/>
 +
r=fθ,変数まで書けば、r(t)=fθ(t)f(θ(t)) <br/>
 +
という合成関数になることを仮定して、<br/>
 +
r=f(θ)を直接求める問題に変換し、解を求める方法である。<br/><br/>
 +
===== 軌道の形を直接求めるための微分方程式の導出  =====  
 +
dr(t)dt=dfθ(t)dt<br/>
 +
合成関数の微分公式を用いて、<br/>
 +
=dfdθ(θ(t))˙θ(t)<br/>
 +
 
 +
式(13)を˙θ=hr2に変形し、上式に代入すると<br/>
 +
=dfdθ(θ(t))hr2(t)<br/>
 +
故に<br/>
 +
dr(t)dt=dfdθ(θ(t))hr2(t)(b)<br/>
 +
補題 g(θ)1f(θ)とおくと、<br/>
 +
df(θ)dθ=1g2(θ)dg(θ)dθ
 +
<br/>
 +
証明は、
 +
[[wikibooks_ja:高等学校数学III/微分法#商の導関数|ウィキブックス高等学校数学III/微分法#商の導関数]]をご覧ください。<br/><br/>
 +
この補題を用いて式(b)を変形すると<br/>
 +
dr(t)dt=1g2(θ(t))dgdθ(θ(t))hr2(t)<br/>
 +
r(t)=f(θ(t)) なので、g2(θ(t))r2(t)=1となり、<br/>
 +
=hdgdθ(θ(t))<br/>
 +
故に<br/>
 +
˙r(t)=hdgdθ(θ(t))(c)<br/>
 +
これをさらに時間tで微分すると、合成関数の微分の公式から<br/>
 +
¨r(t)=hd2gdθ2(θ(t))˙θ(t)<br/>
 +
式(13)から得られる˙θ=hr2を代入して、<br/>
 +
=hd2gdθ2(θ(t))hr2(t)<br/>
 +
故に<br/>
 +
¨r(t)=h2r2(t)d2gdθ2(θ(t))(d)<br/>
 +
が得られる。<br/><br/>
 +
式(d)と˙θ=hr2を、式(12)に代入して整頓すると次式が得られる。<br/>
 +
d2gdθ2(θ(t))+1r(t)=GMh2<br/>
 +
1r(t)=1f(θ(t))=g(θ(t))なので<br/>
 +
上式から次式が得られる。<br/>
 +
d2gdθ2(θ(t))+g(θ(t))=GMh2<br/>
 +
従って変数を θ とする微分方程式<br/>
 +
d2gdθ2(θ)+g(θ)=GMh2(14)<br/>
 +
の解g=g(θ)が分かれば<br/>
 +
r=f(θ)=1g(θ)  <br/>
 +
が、惑星の軌道の形を表す式になる。
 +
===== 微分方程式の解法  =====
 +
 
 +
==== 極座標表示の惑星軌道を、直交座標表示に変換  ====

2018年6月25日 (月) 06:11 時点における最新版

目次

[非表示]

 ☆☆惑星の運動(2)

2.3節の惑星運動の項では、
惑星の軌道を円と仮定すると、
運動の第1、第2法則のもとでは、
ケプラーの法則と万有引力の法則が同等であることを示した。
この節では軌道について仮定せず、
運動の第1、第2法則のもとで、
万有引力の法則と惑星に関するケプラーの3法則が同等であることを導く。

 ニュートンの運動の第一、第二法則による惑星の運動方程式の導出

他の惑星の影響を無視して、太陽と一つの惑星の二体からなる系をある慣性系から観測する。(注1と注2を参照のこと)
太陽の質量をM、惑星の質量をmとする。
この二体を、ともに質点であるとみなし、位置はそれぞれの重心とする。
この系には、系外から力が作用しないため、、
系の重心は等速直線運動をする。
従って、この重心を原点とする回転しない座標系も慣性系となる。
今後はこの慣性系で観測する。

(注1)慣性系の存在はニュートン力学(古典力学)の大前提であり、運動法則の第一法則としてまとめられている。
太陽系の重心に原点を取り、恒星系に対して回転しない座標系は慣性系に近いことが現在分かっている。

慣性系からみた質点系の運動は、テキストの2.3 で、その導入部分を説明している。
(注2)他の惑星の影響を無視し、太陽と当該惑星の2体を質点とみなしても、
他の惑星からの影響の少ない地球などの惑星の運動は、かなり正確に予測できることが知られている。
正確にするには二体ではなく他の惑星も考慮した多体問題として論じなければならないが、解析は非常に難しくなる。

 2体の重心は太陽の重心と一致するという近似を行う

 太陽の質量は惑星の質量より圧倒的大きいため二体の重心は太陽の重心とほぼ一致する。


そこで議論を簡単にするため、このテキストでは2体の重心は太陽の重心と一致し、太陽は不動であると仮定する。
興味のある読者は、この仮定をしないで、惑星と太陽の運動を解析してみてほしい。
議論は殆ど同じように進められます。

そこで太陽Sを原点Oとする慣性座標系を考える。
任意の時刻 t の惑星Ptの位置ベクトルOPtr(t)とかく。
惑星が太陽からうける力(万有引力の法則を仮定しないと未知)を仮にfと書くと、
惑星の運動は、ニュートンの第2法則から次の微分方程式で形式的には記述されが、
力が未知なので、この方程式は解を持ち得ない。
 Md2rdt2(t)=f

 運動の第1、第2法則と万有引力の法則からケプラーの3法則を導く 

 惑星は平面上を運動する

不動の太陽の位置O,時刻tの惑星の位置P(t0)P(t0)を始点とした初速ベクトルv0を含む
平面Hを考える。

この平面と直交する一つのベクトルhを考え、
式(1)の両辺の左側からベクトル積として作用させる。
 h×(Mdvdt(t))= h×(GMmr(t)2r(t)r(t))(3)
ベクトル積の性質から
  左辺は
 h×(Mdvdt(t))= Mh×(dvdt(t))= Mh×(d2rdt2(t))
= M(d2h×rdt2(t))(注1をみよ)
右辺は
 h×(GMmr(t)2r(t)r(t))=GMmr(t)3h×r(t)
なので、  M(d2h×rdt2(t))=GMmr(t)3h×r(t)
が得られる。
故に
 (d2h×rdt2(t))=Gmr(t)3h×r(t)(4)

hをベクトル積として初期条件に作用させると
h×r(t0)=h×r0=0,dh×rdt(t0)=h×drdt(t0)=h×v0=0
故に、
h×r(t0)=0,dh×rdt(t0)=0 (5)
tの関数xh×rを考えると、
式(4),(5)は
   (d2xdt2(t))=Gmr(t)3x(t)(4)
x(t0)=0,dxdt(t0)=0 (5)
常微分方程式(4')を初期条件(5')のもとで解くと、
xh×r 0
が得られる。(注2参照)
これよりベクトルr(t)は,常にベクトルhと直交し、 平面H上にあることが証明された。

(注1)

(注2)証明をみれば明らかなように、
惑星に働く力が、太陽と惑星を結ぶ直線と同じ方向(求心力あるいが遠心力)でありさえすれば、
惑星は平面上を運動する。

 惑星の角運動量は保存される

式(1)の両辺に、左側からr(t)をベクトル積として作用させると、
r(t)× d2rdt2(t)=r(t)×Gmr(t)2r(t)r(t)(a)
ここで、ベクトル積の性質から
ddt(r×drdt)=drdt×drdt+r× d2rdt2
=r× d2rdt2
また右辺は
r(t)×Gmr(t)2r(t)r(t)=0(注参照)
なので、式(a)は、
ddt(r×drdt)=0
となる。
(注)万有引力でなく、惑星に作用する力の向きが原点向きであるか、それと逆向きという条件だけで良い。

drdt=v(速度ベクトル)なので、上式は
ddt(r×v)=0(b)
あるいは、惑星の運動量p=mvを用いて
ddt(r×p)=0(c)
となる。この2式から、
r×v とr×p
は、ともに時不変(時間が経過しても一定値)であることが分かる。

定義(角運動量)
r(t)×p(t)を、(原点からみた)惑星の時刻tにおける角運動量という。

すると上述したことから、次の法則が証明された。

角運動量の保存法則
求心力、ないし遠心力(力の向きが原点向きか、その逆向き)だけを受けて運動する質点の角運動量は保存される。

 ケプラーの第2法則の導出

上述したことから惑星は平面上を動くので、
位置ベクトルと運動量ベクトルが、xy平面に載る様な正規直交右手系xyzを選べる。
この座標系のもとで座標表示すると
r(t)×p(t)=(r1(t),r2(t),0))×(p1(t),p2(t),0)
=(0,0,r1(t)p2(t)r2(t)p1(t))

他方、ベクトルr(t) と ベクトルp(t)のなす劣角(180度以下のほうの角)をθ(t)とすると
この2つのベクトルと直交するz方向のr(t)×p(t)の成分は
ベクトル積の定義から、
r(t)×p(t)sinθ(t)
なので、
r(t)×p(t)sinθ(t)(6)
が、時不変であることが分かる。
惑星質量は一定なので 式(6)から
r(t)×v(t)sinθ(t)/2(7)
が、時不変であることが分かる。
式(7)は動径OP(t)が時刻tの瞬間に単位時間あたりに掃く面積を表すので、惑星の面積速度と呼ばれる。


系 ケプラーの第2法則
求心力、ないし遠心力(力の向きが原点向きか、その逆向き)だけを受けて運動する質点の面積速度は一定である。従って、
「惑星の動径(惑星と太陽とを結ぶ線分)が単位時間に描く面積(面積速度)は、一定である」

 ケプラーの第1法則の導出

惑星の運動方程式(1)を解いて惑星の軌道を求めよう。
求心力の下での運動を扱うには、極座標が都合がよい。

 惑星運動の微分方程式の極座標表示  

そこで惑星の位置ベクトルを、x軸の正の部分のつくる半直線を角度の基準とする極座標で
r(t)=r(t)(cosθ(t),sinθ(t))
と表す。
この式を時間tで微分すると
˙r(t)=˙r(t)(cosθ(t),sinθ(t))+r(t)˙θ(t)(sinθ(t),cosθ(t))
但し、˙r(t)drdt(t)
さらにtで微分すると
¨r(t)
=¨r(t)(cosθ(t),sinθ(t))+˙r(t)˙θ(t)(sinθ(t),cosθ(t))
+˙r(t)˙θ(t)(sinθ(t),cosθ(t))
+r(t)¨θ(t)(sinθ(t),cosθ(t))r(t)˙θ2(t)(cosθ(t),sinθ(t))
=(¨r(t)r(t)˙θ2(t))(cosθ(t),sinθ(t))
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))
故に
¨r(t)
=(¨r(t)r(t)˙θ2(t))(cosθ(t),sinθ(t))
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))(8)
が得られた。
惑星に働く万有引力を、この極座標で表示すると
GMr(t)2r(t)r(t)=GMr2(t)(cosθ(t),sinθ(t))(9)
式(8),(9)を惑星の運動方程式
¨r(t)=GMr(t)2r(t)r(t)
に代入すると
(¨r(t)r(t)˙θ2(t))(cosθ(t),sinθ(t))
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))
=GMr2(t)(cosθ(t),sinθ(t))
右辺を左辺に移行すると
(¨r(t)r(t)˙θ2(t)+GMr2(t))(cosθ(t),sinθ(t))
+(2˙r(t)˙θ(t)+r(t)¨θ(t))(sinθ(t),cosθ(t))0
(cosθ(t),sinθ(t))(sinθ(t),cosθ(t))は直交ベクトルなので、この式から

¨r(t)r(t)˙θ2(t)+GMr2(t)0(10)
2˙r(t)˙θ(t)+r(t)¨θ(t)0(11)
が得られる。

命題;惑星運動の微分方程式の極座標表示
太陽の位置Oを原点、x軸の正の部分の半直線を角の基準線とする極座標で 惑星の運動方程式を表現すると
¨rr˙θ2=GMr2(12)
r2˙θ=h()(13)
となる。(注2 を参照のこと)
証明
式(12)は式(10)から明らか。
式(13)の左辺をtで微分すると dr2˙θdt=r2¨θ+2r˙r˙θ=r(r¨θ+2˙r˙θ)
式(11)から
=0
左辺の時間微分が零なので、左辺は任意の定数hに等しい。
証明終わり。 

(注)式(13)は面積速度が一定であることを表現している。
先に、このことは証明してあるが、その別証明である。
(注2)関数の変数tまで書くと、式(12),(13)は、次のように書ける。
¨r(t)r(t)˙θ2(t)=GMr2(t)(12)
r2(t)˙θ(t)=h()(13)

 微分方程式を解いて、惑星の軌道形を求める  

連立微分方程式(12)、(13)を解いて、r=r(t),θ=θ(t)を求めれば、
任意の時刻tにおける惑星の位置がわかる。
軌道の形は、この2式からtを消去して、rとθの関数関係
f(r,θ)=0, またはr=f(θ)
を求めれな良い。
しかし、残念なことにこれは大変困難である。

軌道の形だけを知りたいときには、
これを回避して簡単な(しかし技巧的な)直接的な解法がある。
それは、連立微分方程式の解が
r=fθ,変数まで書けば、r(t)=fθ(t)f(θ(t))
という合成関数になることを仮定して、
r=f(θ)を直接求める問題に変換し、解を求める方法である。

 軌道の形を直接求めるための微分方程式の導出

dr(t)dt=dfθ(t)dt
合成関数の微分公式を用いて、
=dfdθ(θ(t))˙θ(t)

式(13)を˙θ=hr2に変形し、上式に代入すると
=dfdθ(θ(t))hr2(t)
故に
dr(t)dt=dfdθ(θ(t))hr2(t)(b)
補題 g(θ)1f(θ)とおくと、
df(θ)dθ=1g2(θ)dg(θ)dθ
証明は、 ウィキブックス高等学校数学III/微分法#商の導関数をご覧ください。

この補題を用いて式(b)を変形すると
dr(t)dt=1g2(θ(t))dgdθ(θ(t))hr2(t)
r(t)=f(θ(t)) なので、g2(θ(t))r2(t)=1となり、
=hdgdθ(θ(t))
故に
˙r(t)=hdgdθ(θ(t))(c)
これをさらに時間tで微分すると、合成関数の微分の公式から
¨r(t)=hd2gdθ2(θ(t))˙θ(t)
式(13)から得られる˙θ=hr2を代入して、
=hd2gdθ2(θ(t))hr2(t)
故に
¨r(t)=h2r2(t)d2gdθ2(θ(t))(d)
が得られる。

式(d)と˙θ=hr2を、式(12)に代入して整頓すると次式が得られる。
d2gdθ2(θ(t))+1r(t)=GMh2
1r(t)=1f(θ(t))=g(θ(t))なので
上式から次式が得られる。
d2gdθ2(θ(t))+g(θ(t))=GMh2
従って変数を θ とする微分方程式
d2gdθ2(θ)+g(θ)=GMh2(14)
の解g=g(θ)が分かれば
r=f(θ)=1g(θ)
が、惑星の軌道の形を表す式になる。

 微分方程式の解法

 極座標表示の惑星軌道を、直交座標表示に変換  

個人用ツール