解析力学 運動方程式の一般化

メインページ > 自然科学 > 物理学 > 解析力学 > 解析力学 運動方程式の一般化

本書を読むための前提知識は、基本的な解析学の知識で十分である。

質点系の力学

ニュートンの運動の法則

第一法則

ある座標系が存在し、その座標系では、すべての力が働いていない質点は、静止するか直線上を一定の速度で運動をする（これを慣性系という)。

第二法則

慣性系において、質点に加わる力は質点の質量と加速度の積に等しい。

第三法則

二つの質点1,2が互いに力を及ぼし合うとき、質点1が質点2に作用する力と、質点2が質点1に作用する力とは、大きさが等しく逆向きである。

$N$ 個の質点の系を考える。この系の自由度は $3N$ だから、その座標を $x_{1},\dots ,x_{3N}$ と書く事が出来る。各 $i$ について、第二法則は、

$m_{i}{\ddot {x}}_{i}=F_{i}$

となる。ここで、関数 $U(x_{1},\dots ,x_{3N})$ が存在して、

$F_{i}=-{\frac {\partial U(x_{1},\dots ,x_{3N})}{\partial x_{i}}}$

と書く事が出来るとき、これを保存力という。質点系に保存力のみが働く場合、ラグランジアンを

$L=\sum _{i}{\frac {1}{2}}m_{i}{\dot {x_{i}}}^{2}-U$

と定義すると、運動方程式は、

${\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {x}}_{i}}}-{\frac {\partial L}{\partial x_{i}}}=0$

と変形することが出来る。これをオイラー・ラグランジュ方程式という。この方程式の重要なことは、これが座標変換によって形を変えないということである。

実際に、$q_{i}=q_{i}(x,t)$ のように座標変換するとき、

${\frac {dx_{i}}{dt}}={\frac {dq_{k}}{dt}}{\frac {\partial x_{i}}{\partial q_{k}}}+{\frac {\partial x_{i}}{\partial t}}$

から、

${\frac {\partial {\dot {x}}_{i}}{\partial {\dot {q}}_{k}}}={\frac {\partial x_{i}}{\partial q_{k}}}$

となる。また、

${\frac {d}{dt}}{\frac {\partial q_{k}}{\partial x_{i}}}={\frac {\partial x_{l}}{dt}}{\frac {\partial }{\partial x_{l}}}\left({\frac {\partial q_{k}}{\partial x_{i}}}\right)={\frac {\partial }{\partial x_{l}}}\left({\frac {dx_{l}}{dt}}{\frac {\partial q_{k}}{\partial x_{l}}}\right)={\frac {\partial {\dot {q}}_{k}}{\partial x_{l}}}$

となる。従って、

${\begin{aligned}{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {x}}_{i}}}-{\frac {\partial L}{\partial x_{i}}}&={\frac {d}{dt}}\left({\frac {\partial {\dot {q}}_{k}}{\partial {\dot {x}}_{i}}}{\frac {\partial L}{\partial {\dot {q}}_{k}}}\right)-{\frac {\partial L}{\partial x_{i}}}\\&={\frac {\partial {\dot {q}}_{k}}{\partial {\dot {x}}_{i}}}{\frac {d}{dt}}\left({\frac {\partial L}{\partial {\dot {q}}_{k}}}\right)+{\frac {d}{dt}}\left({\frac {\partial {\dot {q}}_{k}}{\partial {\dot {x}}_{i}}}\right){\frac {\partial L}{\partial {\dot {q}}_{k}}}-{\frac {\partial q_{k}}{\partial x_{i}}}{\frac {\partial L}{\partial q_{k}}}-{\frac {\partial {\dot {q}}_{k}}{\partial x_{i}}}{\frac {\partial L}{\partial {\dot {q}}_{k}}}\\&={\frac {\partial q_{k}}{\partial x_{i}}}\left[{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{i}}}-{\frac {\partial L}{\partial q_{i}}}\right]\end{aligned}}$

ここで、$\det \left({\frac {\partial q_{k}}{\partial x_{i}}}\right)\neq 0$ ならば、線形方程式 ${\frac {\partial q_{k}}{\partial x_{i}}}\left[{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{i}}}-{\frac {\partial L}{\partial q_{i}}}\right]=0$ を解いて、

${\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{i}}}-{\frac {\partial L}{\partial q_{i}}}=0$

を得る。

変分原理

オイラー・ラグランジュ方程式は変分原理からも導出することができる。それはラグランジアン $L(q_{1},q_{2},\cdots ,q_{K},{\dot {q}}_{1},{\dot {q}}_{2},\cdots ,{\dot {q}}_{K})$ の運動に沿った積分

$S=\int _{t_{0}}^{t_{1}}dt\,L(q(t),{\dot {q}}(t),t)$

が極値を取る経路が実現されるというものである。

まずは簡単な例として、関数 $f(x)$ を最小にする $x$ について考えよう。$f(x)$ が最小値を取るとき、$f'(x)=0$ となるのだった。$f'(x)=0$ となることは、$x$ を微小量 $\delta x$ だけ変化させたとき、$f(x)$ の変化量 $\delta f:=f(x+\delta x)-f(x)$ は $\delta f=0$ になるということである。

ここからの類推で、$S(q,{\dot {q}})$ を最小にする $q(t)$ について、$q(t)$ を少しだけ変化させて $q(t)+\delta q(t)$ （ただし、境界条件 $\delta q_{i}(t_{0})=\delta q_{i}(t_{1})=0$ を課す）としたときの $S$ の変化量 $\delta S=S(q(t)+\delta q(t),{\dot {q}}(t)+\delta {\dot {q}}(t))-S(q,{\dot {q}})$ は $\delta S=0$ となると考えることが出来る。

${\begin{aligned}\delta S&=S(q(t)+\delta q(t),{\dot {q}}(t)+\delta {\dot {q}}(t))-S(q,{\dot {q}})\\&=\int _{t_{0}}^{t_{1}}dt\,L(q(t)+\delta q(t),{\dot {q}}(t)+\delta {\dot {q}}(t)\})-\int _{t_{0}}^{t_{1}}dt\,L(q(t),{\dot {q}}(t))\\&=\int _{t_{0}}^{t_{1}}dt\,[L(q(t)+\delta q(t),{\dot {q}}(t)+\delta {\dot {q}}(t)\})-L(q(t),{\dot {q}}(t))]\\&=\int _{t_{0}}^{t_{1}}dt\sum _{k=1}^{K}\left({\frac {\partial L}{\partial q_{k}}}\delta q_{k}+{\frac {\partial L}{\partial {\dot {q}}_{k}}}\delta {\dot {q}}_{k}(t)\right)\\&=\sum _{k=1}^{K}\int _{t_{0}}^{t_{1}}dt\left({\frac {\partial L}{\partial q_{k}}}\delta q_{k}+{\frac {\partial L}{\partial {\dot {q}}_{k}}}\delta {\dot {q}}_{k}(t)\right)\\&=\sum _{k=1}^{K}\left[{\frac {\partial L}{\partial {\dot {q}}_{k}}}q_{k}(t)|_{t_{0}}^{t_{1}}+\int _{t_{0}}^{t_{1}}dt\delta q_{k}(t)\left({\frac {\partial L}{\partial q_{k}}}-{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{k}}}\right)\right]\\&=\sum _{k=1}^{K}\int _{t_{0}}^{t_{1}}dt\delta q_{k}(t)\left({\frac {\partial L}{\partial q_{k}}}-{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{k}}}\right)\\&=0\end{aligned}}$

ここで、 $\delta q_{k}(t)$ は任意であるので、オイラー＝ラグランジュ方程式

${\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{k}}}-{\frac {\partial L}{\partial q_{k}}}=0$

を得る。

一般化運動量

一般化運動量 $p_{i}$ を

$p_{i}={\frac {\partial L}{\partial {{\dot {q}}_{i}}}}$

で定義する。デカルト座標を使った場合、質量 $m$ の粒子のラグランジアンは、 $L={\frac {1}{2}}m({\dot {x}}^{2}+{\dot {y}}^{2}+{\dot {z}}^{2})-U(x,y,z)$ であるから、

$p_{x}={\frac {\partial L}{\partial {\dot {x}}}}=m{\dot {x}}$

となって、通常の運動量に一致する。また、極座標では、$L={\frac {1}{2}}m({\dot {r}}^{2}+r^{2}{\dot {\theta }}^{2})-U(r,\theta )$ より、

$p_{r}={\frac {\partial L}{\partial {\dot {r}}}}=m{\dot {r}},\,p_{\theta }={\frac {\partial L}{\partial {\dot {\theta }}}}=mr^{2}{\dot {\theta }}$

となる。$\theta$ に共役な運動量は角運動量に一致する。

保存則

ラグランジアン $L$ が陽に $t$ に依存しないならば、

${\begin{aligned}{\frac {dL}{dt}}&={\frac {dq_{i}}{dt}}{\frac {\partial L}{\partial q_{i}}}+{\frac {d{\dot {q}}_{i}}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{i}}}\\&={\dot {q}}_{i}{\frac {d}{dt}}{\frac {\partial L}{\partial {\dot {q}}_{i}}}+{\ddot {q}}_{i}{\frac {\partial L}{\partial {\dot {q}}_{i}}}\\&={\frac {d}{dt}}\left({\dot {q}}_{i}{\frac {\partial L}{\partial {\dot {q}}_{i}}}\right)\end{aligned}}$

となる。変形すると、

${\frac {d}{dt}}\left({\dot {q}}_{i}{\frac {\partial L}{\partial {\dot {q}}_{i}}}-L\right)=0$

となる。従って、

$E={\dot {q}}_{i}{\frac {\partial L}{\partial {\dot {q}}_{i}}}-L$

は保存する。この量 $E$ はエネルギーと呼ばれる。

ラグランジアンに

${\dot {x}}_{i}={\dot {q}}_{k}{\frac {\partial x_{i}}{\partial q_{k}}}$

を代入して一般座標で書くと、

${\begin{aligned}L&={\frac {1}{2}}m_{i}{\dot {x}}_{i}^{2}-U(x)\\&={\frac {1}{2}}m_{i}{\frac {\partial x_{i}}{\partial q_{k}}}{\frac {\partial x_{i}}{\partial q_{l}}}{\dot {q}}_{k}{\dot {q}}_{l}-U(q)\\&={\frac {1}{2}}a_{kl}(q){\dot {q}}_{k}{\dot {q}}_{l}-U(q)\end{aligned}}$

となる。ここで、$a_{kl}(q)=m_{i}{\frac {\partial x_{i}}{\partial q_{k}}}{\frac {\partial x_{i}}{\partial q_{l}}}$ とした。

運動エネルギーの部分を $T(q,{\dot {q}})={\frac {1}{2}}a_{kl}(q){\dot {q}}_{k}{\dot {q}}_{l}$ と置くと、同次関数に対するオイラーの定理より、

${\dot {q}}_{i}{\frac {\partial T}{\partial {\dot {q}}_{i}}}=2T$

となるから、

${\begin{aligned}E&={\dot {q}}_{i}{\frac {\partial L}{\partial {\dot {q}}_{i}}}-L\\&={\dot {q}}_{i}{\frac {\partial T}{\partial {\dot {q}}_{i}}}-L\\&=2T-(T-U)\\&=T+U\end{aligned}}$

を得る。エネルギーとは、運動エネルギーとポテンシャルエネルギーの和であるということが分かる。

重力二体問題

質量 $m_{1},m_{2}$ の質点が重力を及ぼし合うときの運動を考える。質点の座標をそれぞれ ${\boldsymbol {r}}_{1},{\boldsymbol {r}}_{2}$ とすればラグランジアンは、

$L={\frac {1}{2}}m_{1}{\dot {\boldsymbol {r}}}_{1}^{2}+{\frac {1}{2}}m_{2}{\dot {\boldsymbol {r}}}_{2}^{2}+{\frac {Gm_{1}m_{2}}{|{\boldsymbol {r}}_{1}-{\boldsymbol {r}}_{2}|}}$

となる。ここで、重心 ${\boldsymbol {r}}_{c}={\frac {m_{1}{\boldsymbol {r}}_{1}+m_{2}{\boldsymbol {r}}_{2}}{m_{1}+m_{2}}}$ と相対位置ベクトル ${\boldsymbol {r}}={\boldsymbol {r}}_{2}-{\boldsymbol {r}}_{1}$ を使って、

$L={\frac {1}{2}}M{\dot {\boldsymbol {r}}}_{c}^{2}+{\frac {1}{2}}\mu {\dot {\boldsymbol {r}}}^{2}+{\frac {G\mu M}{r}}$

と書き直すことができる。ここで、$M=m_{1}+m_{2}$ は全質量、$\mu ={\frac {m_{1}m_{2}}{m_{1}+m_{2}}}$ は換算質量である。${\boldsymbol {r}}_{c}$ は循環座標だから、$M{\dot {\boldsymbol {r}}}_{c}$ は保存する。すなわち、ラグランジアンの ${\frac {1}{2}}M{\dot {\boldsymbol {r}}}_{c}^{2}$ の部分は定数だから取り除いて、

$L={\frac {1}{2}}\mu {\dot {\boldsymbol {r}}}^{2}+{\frac {G\mu M}{r}}$

とすることができる。すなわち、質量 $\mu$ を持った質点の距離に反比例するポテシャルでの運動に帰着される。このように中心対称の場での運動では、角運動量は保存されるから、質点の運動は中心を通るある面に限られる。この面で極座標を導入し、$\alpha =G\mu M$ とすると、

$L={\frac {1}{2}}\mu ({\dot {r}}^{2}+r^{2}{\dot {\varphi }}^{2})+{\frac {\alpha }{r}}$

となる。$\varphi$ が循環座標であるから、角運動量 $J=\mu r^{2}{\dot {\varphi }}$ が保存される。また、エネルギー

$E={\frac {1}{2}}\mu {\dot {r}}^{2}+{\frac {J^{2}}{2\mu r^{2}}}-{\frac {\alpha }{r}}$

も保存されるから、

$dt={\frac {dr}{\sqrt {{\frac {2}{\mu }}(E+{\frac {\alpha }{r}})-{\frac {J^{2}}{\mu ^{2}r^{2}}}}}}$

あるいは、$d\varphi ={\frac {J}{\mu r^{2}}}dt$ を使って、

$d\varphi ={\frac {{\frac {J}{r^{2}}}dr}{\sqrt {2\mu (E+{\frac {\alpha }{r}})-{\frac {J^{2}}{r^{2}}}}}}={\frac {{\frac {1}{r^{2}}}dr}{\sqrt {{\frac {2\mu }{J^{2}}}(E+{\frac {\alpha }{r}})-{\frac {1}{r^{2}}}}}}$

となる。$u={\frac {1}{r}}$ と変数変換して、積分すると、

${\begin{aligned}\varphi &=\int {\frac {-du}{\sqrt {{\frac {2\mu }{J^{2}}}(E+\alpha u)-u^{2}}}}\\&=\int {\frac {-du}{\sqrt {-\left(u-{\frac {\mu \alpha }{J^{2}}}\right)^{2}+{\frac {2\mu E}{J^{2}}}+{\frac {\mu ^{2}\alpha ^{2}}{J^{4}}}}}}\\&=\arccos {\frac {u-{\frac {\mu \alpha }{J^{2}}}}{\sqrt {{\frac {2\mu E}{J^{2}}}+{\frac {\mu ^{2}\alpha ^{2}}{J^{4}}}}}}+C\end{aligned}}$

となる。ここで、積分定数はこれが0になるように選ぶ。さらに、

$p={\frac {J^{2}}{\mu \alpha }},\,e={\sqrt {1+{\frac {2EJ^{2}}{\mu \alpha ^{2}}}}}$

とすると、

$\varphi =\arccos {\frac {{\frac {p}{r}}-1}{e}}$

あるいは、

$r={\frac {p}{1+e\cos \varphi }}$

を得る。

従って惑星の軌道は二次曲線になる。$E<0$ のときは、$e<1$ となるから、惑星の軌道は楕円になる。また、$E\geq 0$ のときは、$e\geq 1$ となるから、惑星の軌道は放物線あるいは双曲線となる。放物線になる場合は無限遠に於いて速度が0となる。

惑星の運動

ここでは、天体の軌道が楕円となる場合、すなわち $E<0$ の場合を扱う。

時刻 $t$ と軌道上の惑星の位置の関係を求める。エネルギー保存の式まで立ち返って、それを ${\dot {r}}$ について解くと、

${\dot {r}}={\sqrt {{\frac {2}{\mu }}(E+{\frac {\alpha }{r}})-{\frac {J^{2}}{\mu ^{2}r^{2}}}}}$

となる。ここで、

$E=-{\frac {\alpha }{2a}},\,J={\sqrt {\mu \alpha a(1-e^{2})}}$

を代入すると、

${\dot {r}}={\frac {1}{r}}{\sqrt {\frac {\alpha }{\mu a}}}{\sqrt {{\frac {2}{\mu }}(-r^{2}+2ar-a^{2}(1-e^{2})}}={\frac {1}{r}}{\sqrt {\frac {\alpha }{\mu a}}}{\sqrt {-(r-a)^{2}+a^{2}e^{2}}}$

となる。さて、今までは楕円の焦点を原点とした座標で計算を進めていたが、これを楕円の中心を原点とした座標に移行するほうが便利である。この座標では楕円の方程式は

${\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1$

となる。極座標で書くと、

$x=a\cos u,\,y=b\sin u$

Pは惑星の位置。P'はPをy軸と平行にその外接円（青）に射影した位置である。fは真近点角、Eが離心近点角である。

となる。ここで導入した $u$ は離心近点角という。対して、$\varphi$ は真近点角という。右図より、

$r\cos \varphi =a\cos u-ae$

となる。これに、軌道の極方程式

$r={\frac {a(1-e^{2})}{1+e\cos \varphi }}$ すなわち $r+re\cos \varphi =a(1-e^{2})$

を代入すると、

$r=a(1-e\cos u)$

Bは惑星。Cは惑星の軌道の外接円にy軸に平行にBを射影した仮想上の天体。Dは外接円を一定速度（平均運動）で動く仮想上の天体。直線SBと直線SOのなす角が真近点角。角SOCが離心近点角。角SODが平均近点角である。また、右上のMは平均近点角、Eは離心近点角である。

を得る。この式を ${\dot {r}}$ の式に代入すると、

${\dot {u}}={\sqrt {\frac {\alpha }{\mu a^{3}}}}{\frac {1}{1-e\cos u}}$

さらに積分すると、

${\begin{aligned}\int {\sqrt {\frac {\alpha }{\mu a^{3}}}}dt&={\sqrt {\frac {\alpha }{\mu a^{3}}}}(t-t_{0})\\&=\int (1-e\cos u)du\\&=u-e\sin u\end{aligned}}$

となる。$t_{0}$ は積分定数で、$t=t_{0}$ のとき、$u=0$ となるから近点通過時刻に対応する。

平均運動 $n$ を

$n={\sqrt {\frac {\alpha }{\mu a^{3}}}}$

と定義する。平均運動を使って平均近点角 $l$ を

$l=n(t-t_{0})$

で定義すると、

$l=u-e\sin u$

を得る。この方程式はケプラー方程式と呼ばれる。この方程式を $u$ について解けば、惑星の運動が分かる。惑星が近日点を通過してから次に近日点を通過する時刻を $t_{1}$ とする。このとき、$u=2\pi$ となる。惑星の周期は $T=t_{1}-t_{0}$だから、ケプラー方程式より、

$T={\frac {2\pi }{n}}$

を得る。また、平均運動とは惑星の周期に対応する角振動数であったことも分かる。この式を変形すると

${\frac {a^{3}}{T^{2}}}={\frac {G(m_{1}+m_{2})}{4\pi ^{2}}}$

あるいは、平均運動を使うと、

$n^{2}a^{3}=G(m_{1}+m_{2})$

となる。

ケプラー方程式を $u-l=e\sin u$

とすると、$u-l$ は周期 $2\pi$ の周期関数で奇関数である。従って、

$e\sin u=\sum _{k=1}^{\infty }b_{k}\sin kl$

とフーリエ展開できる。フーリエ係数は、

$b_{k}={\frac {2}{\pi }}\int _{0}^{\pi }e\sin u\sin kldl$

となる。部分積分して、

${\begin{aligned}\int _{0}^{\pi }e\sin u\sin kl\,dl&=\left[-{\frac {1}{k}}e\sin u\cos kl\right]_{0}^{\pi }+{\frac {1}{k}}\int _{0}^{\pi }\cos kl{\frac {d(e\sin u)}{dl}}\,dl\\&={\frac {1}{k}}\int _{0}^{\pi }\cos kl{\frac {d(u-l)}{dl}}\,dl\\&={\frac {1}{k}}\int _{0}^{\pi }\cos kl\,du-{\frac {1}{k}}\int _{0}^{\pi }\cos kl\,dl\\&={\frac {1}{k}}\int _{0}^{\pi }\cos kl\,du\\&={\frac {1}{k}}\int _{0}^{\pi }\cos k(u-e\sin u)\,du\\\end{aligned}}$

となる。最後の積分は、ベッセル関数 $J_{n}(x)={\frac {1}{\pi }}\int _{0}^{\pi }\cos(n\theta -x\sin \theta )d\theta$ で表せるから、

$b_{k}={\frac {2}{k}}J_{k}(ke)$

となる。従って、

${\begin{aligned}u&=l+e\sin u\\&=l+\sum _{k=1}^{\infty }{\frac {2}{k}}J_{k}(ke)\sin kl\end{aligned}}$

を得る。

ケプラーの法則

$m_{1}$ を太陽、$m_{2}$ を惑星とする場合、$m_{1}$ が $m_{2}$ よりも十分に大きいと近似することができる。このとき、重心は太陽の位置に近似できる。また、$m_{1}+m_{2}\approx m_{1}$ となる。このとき、次のケプラーの法則が成り立つ。

第一法則

惑星の軌道は、太陽を焦点の一つとする楕円である。

第二法則

太陽と惑星を結ぶ線分が単位時間に掃く面積は一定である。

第三法則

公転周期の2乗と軌道長半径の3乗の比は惑星によらず一定である。

再掲

第二法則はケプラー方程式を幾何学的に表現したものである。簡単のために時間の原点を $t_{0}$ に取る。ケプラー方程式

$nt=u-e\sin u$

を、

${\frac {t}{T}}={\frac {u-e\sin u}{2\pi }}$

と変形する。

ここで、扇形 ${\rm {AFP'}}$ $=$ 扇形 ${\rm {ACP'}}$ $-$ 三角形 ${\rm {FCP'}}$ $={\frac {1}{2}}a^{2}u-{\frac {1}{2}}ae\times a\sin u$ より、 ${\frac {1}{2}}(u-e\sin u)$ は、扇形 ${\rm {AFP'}}$ の面積を $a^{2}$ で割ったものに等しい。点 ${\rm {P}}$ の $x$ 座標を $\xi$ とすると、 扇形 ${\rm {AFP}}$ の面積について、

扇形 ${\rm {AFP}}$ $=\int _{\xi }^{a}{\frac {b}{a}}{\sqrt {a^{2}-x^{2}}}dx-{\frac {1}{2}}(ae-\xi ){\frac {b}{a}}{\sqrt {a^{2}-\xi ^{2}}}={\frac {b}{a}}$ 扇形 ${\rm {AFP'}}$ となる。

よって、ケプラー方程式より、 $t\propto {\frac {1}{2}}(u-e\sin u)\propto {\rm {AFP}}$ を得る。

扇形 ${\rm {AFP}}$ は太陽と惑星を結ぶ線分が掃く面積であるから、これが時間 $t$ に比例することはケプラー第二法則に他ならない。

ケプラーの第三法則は太陽を公転するすべての惑星について述べたものである。惑星の公転周期の2乗と軌道長半径の3乗の比は${\frac {a^{3}}{T^{2}}}={\frac {G(m_{1}+m_{2})}{4\pi ^{2}}}$ であるから惑星の質量にも依存するが、$m_{1}+m_{2}\approx m_{1}$ と近似できる場合は、すべての惑星についてこの比が一定となる。

ケプラー軌道要素

オイラー角の図。中心が太陽で、青のxy平面が黄道面でx軸は春分点の方向。赤のXY平面が軌道面でX軸の方向が近日点。緑のN軸は昇交点に対応する。

三次元空間中の惑星の軌道を決定するために、6つのパラメータが必要になる。軌道の形状は軌道長半径 $a$ と離心率 $e$ で決定される。

軌道の方向を決定するには、太陽系に基準となる基準面と方向を設定しなくてはいけない。基準面には黄道面を使うことが多い。黄道面は地球の公転する軌道面である。太陽と地球の中心を結んだ線分が地球表面と交わる点が赤道を南から北に交差する瞬間を春分という。このときの地球の方向を基準方向にする。

上図のオイラー角 α, β, γ の順に動かしたアニメーション。

基準面には、太陽系の全角運動量ベクトルに垂直な平面である不変面や、赤道面を使うこともある。

この基準面と方向から、惑星の軌道面と近点の方向へのオイラー角によって軌道の方向を決定できる。オイラー角 $\alpha ,\beta ,\gamma$ に対応して、それぞれ昇交点黄経 $\Omega$ 、軌道傾斜角 $i$ 、近点引数 $\omega$ と呼ばれる。

最後に、惑星の軌道上の位置を特定するために、近点通過時刻が必要になる。

ラザフォード散乱

原点に固定された正の電荷 $Z_{1}e$ を持つ原子核と正の電荷 $Z_{2}e$ と質量 $m$ を持つ荷電粒子のラグランジアンは、

$L={\frac {1}{2}}m({\dot {r}}^{2}+r^{2}{\dot {\varphi }}^{2})-{\frac {\alpha }{r}}$

となる。原子核は十分重いため移動しないと考えていい。また、$\alpha ={\frac {Z_{1}Z_{2}e^{2}}{4\pi \varepsilon _{0}}}$ である。

ラグランジアンはケプラー問題と同じ形だから、その軌道は

$\varphi =\arccos {\frac {{\frac {1}{r}}+{\frac {m\alpha }{J^{2}}}}{\sqrt {{\frac {2mE}{J^{2}}}+{\frac {m^{2}\alpha ^{2}}{J^{4}}}}}}$

となる。$\varphi _{0}$ を粒子が無限遠に飛んでいった方向と、粒子が原子核に最接近する点と原子核を結んだ線分が為す角とすると、

図の $\Phi$ が $\varphi _{0}$ で、$\theta$ は散乱角である。

$\varphi _{0}=\varphi (\infty )-\varphi (r_{\rm {min}})=\arccos {\frac {\frac {m\alpha }{J^{2}}}{\sqrt {{\frac {2mE}{J^{2}}}+{\frac {m^{2}\alpha ^{2}}{J^{4}}}}}}$

となる。ここで、無限遠での速度を $v_{\infty }$ 衝突径数を $b$ とすると、$J=mv_{\infty }b,\,E={\frac {1}{2}}mv_{\infty }^{2}$ となるから、

$\varphi _{0}=\arccos {\frac {\frac {\alpha }{mv_{\infty }^{2}b}}{\sqrt {1+\left({\frac {\alpha }{mv_{\infty }^{2}b}}\right)^{2}}}}$

となる。散乱角を $\theta$ とすると、$\varphi _{0}=\pi -2\theta$ となる。これを使って書き換えると、

$b={\frac {\alpha }{mv_{\infty }^{2}}}{\tan \varphi _{0}}={\frac {\alpha }{mv_{\infty }^{2}}}{\frac {1}{\tan ^{2}{\frac {\theta }{2}}}}$

を得る。散乱断面積を

$d\sigma ={\frac {dn}{N}}$

と定義する。ここで、 $dn$ は単位時間あたりに入射角 $\theta$ から $\theta +d\theta$ の間に散乱される粒子の個数で、$N$ は入射粒子の強度である。散乱断面積は

$d\sigma =2\pi bdb$

とかける。立体角 $d\Omega$ についての関係式

$d\Omega =2\pi \sin \theta d\theta$

で割れば、

${\frac {d\sigma }{d\Omega }}={\frac {b}{\sin \theta }}\left|{\frac {db}{d\theta }}\right|$

を得る。これに求めたラザフォード散乱の衝突径数の式を代入すると、

${\frac {d\sigma }{d\Omega }}=\left({\frac {\alpha }{2mv_{\infty }^{2}}}\right)^{2}{\frac {1}{\sin ^{4}{\frac {\theta }{2}}}}$

となる。

正準方程式

ハミルトニアン $H$ を

$H=\sum _{i}{\dot {q}}_{i}p_{i}-L$

で定義する。ハミルトニアンの全微分は、

${\begin{aligned}dH&=\sum {\dot {q}}_{i}dp_{i}+\sum p_{i}d{\dot {q}}_{i}-dL\\&=\sum {\dot {q}}_{i}dp_{i}+\sum p_{i}d{\dot {q}}_{i}-(\sum {\dot {p}}_{i}dq_{i}+\sum p_{i}d{\dot {q}}_{i})\\&=\sum {\dot {q}}_{i}dp_{i}-\sum {\dot {p}}_{i}dq_{i}\end{aligned}}$

となる。従って、ハミルトニアンは、$p,q$ の関数 $H(q,p)$ である。また、

$dH=\sum {\frac {\partial H}{\partial p_{i}}}dp_{i}+\sum {\frac {\partial H}{\partial q_{i}}}dq_{i}$

と比較すれば、

${\dot {q}}_{i}={\frac {\partial {}H}{\partial {}p_{i}}}$

${\dot {p}}_{i}=-{\frac {\partial {}H}{\partial {}q_{i}}}$

が成り立つ。これを正準方程式という。

正準変換

変数変換 $Q_{i}=Q_{i}(q,p,t),\,P_{i}=P_{i}(q,p,t)$ についてある関数 $H'(Q,P)$ が存在し、

${\dot {Q}}_{i}={\frac {\partial {}H'}{\partial {}P_{i}}},\,{\dot {P}}_{i}=-{\frac {\partial {}H'}{\partial {}Q_{i}}}$

が成立するとき、この変換を正準変換という。新旧変数の間の関係を求めよう。変分原理からは、

$\delta \int (p_{i}dq_{i}-Hdt)=0$

となる。同様に新変数に対しても、

$\delta \int (P_{i}dQ_{i}-H'dt)=0$

が成り立つ。すなわち、この被積分関数の差はある関数 $F$ の全微分でなくてはならない。すなわち、

$p_{i}dq_{i}-Hdt=P_{i}dQ_{i}-H'dt+dF$

となる。整理すると、

$dF=p_{i}dq_{i}-P_{i}dQ_{i}+(H'-H)dt$

となる。$F$ は $q,Q,t$ の関数ということも分かる。また、

$p_{i}={\frac {\partial F}{\partial q_{i}}},\,P_{i}=-{\frac {\partial F}{\partial Q_{i}}},\,H'=H+{\frac {\partial F}{\partial t}}$

を得る。関数 $F$ を正準変換の母関数という。一般に母関数は新旧変数の関数 $F(q,p,Q,P,t)$ である。母関数の変数が $q,P$ で表される場合について、正準変換の公式を求めておこう。

$d(F+P_{i}Q_{i})=p_{i}dq_{i}+Q_{i}dP_{i}+(H'-H)dt$

と書き換える。母関数 $\Phi =F+P_{i}Q_{i}$ を定義すると、

$p_{i}={\frac {\partial \Phi }{\partial q_{i}}},\,Q_{i}={\frac {\partial \Phi }{\partial P_{i}}},\,H'=H+{\frac {\partial \Phi }{\partial t}}$

を得る。

ポアソン括弧

関数 $f(q,p,t)$ の時間微分は、

${\frac {df}{dt}}={\frac {\partial f}{\partial t}}+{\frac {dq_{i}}{dt}}{\frac {\partial f}{\partial q_{i}}}+{\frac {dp_{i}}{dt}}{\frac {\partial f}{\partial p_{i}}}$

となる。正準方程式より、

${\frac {df}{dt}}={\frac {\partial f}{\partial t}}+{\frac {\partial H}{\partial p_{i}}}{\frac {\partial f}{\partial q_{i}}}-{\frac {\partial H}{\partial q_{i}}}{\frac {\partial f}{\partial p_{i}}}$

となるから、ポアソン括弧を、

$\{f,H\}={\frac {\partial f}{\partial q_{i}}}{\frac {\partial H}{\partial p_{i}}}-{\frac {\partial f}{\partial p_{i}}}{\frac {\partial H}{\partial q_{i}}}$

で定義すると、

${\frac {df}{dt}}={\frac {\partial f}{\partial t}}+\{f,H\}$

と書くことができる。一般の関数 $f,g$ に対しては、

$\{f,g\}={\frac {\partial f}{\partial q_{i}}}{\frac {\partial g}{\partial p_{i}}}-{\frac {\partial f}{\partial p_{i}}}{\frac {\partial g}{\partial q_{i}}}$

と定義する。

次のポアソン括弧の一般的な性質は簡単に示すことができる。$f,g,h$ は関数、$c$ は定数である。

$\{f,g\}=-\{g,f\}$

$\{f,c\}=0$

$\{f+g,h\}=\{f,h\}+\{g,h\}$

$\{fg,h\}=f\{g,h\}+g\{f,h\}$

また、ヤコビ恒等式と呼ばれる次の恒等式が成り立つ。

$\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0$

例えば、$\{f,\{g,h\}\}$ を展開して出てくる項は、 ${\frac {\partial f}{\partial p_{j}}}{\frac {\partial ^{2}g}{\partial q_{j}\partial p_{i}}}{\frac {\partial h}{\partial q_{i}}}$ のように $g$ あるいは $h$ の二階偏導関数とその他の2関数の一階偏導関数の積である。そこで、左辺の内 $f$ の二階偏導関数が登場する項だけを集めて計算しよう。$\{f,\{g,h\}\}$ に $f$ の二階偏導関数は登場しないから、それが登場するのは、

$\{g,\{h,f\}\}+\{h,\{f,g\}\}$

である。ここで、微分作用素

$D_{g}(\varphi )=\{g,\varphi \}=\left({\frac {\partial g}{\partial q_{i}}}{\frac {\partial }{\partial p_{i}}}-{\frac {\partial g}{\partial p_{i}}}{\frac {\partial }{\partial q_{i}}}\right)\varphi$

定義する。簡単のために $x_{i}=q_{i},\,x_{K+i}=p_{i}\quad (i=1,\dots ,K)$と定義し $q,p$ をひとまとめに扱う。$K$ は系の自由度である。$\xi _{i}=-{\frac {\partial g}{\partial q_{i}}},\,\xi _{K+i}={\frac {\partial g}{\partial p_{i}}}$ とすると、

$D_{g}=\xi _{i}{\frac {\partial }{\partial x_{i}}}$

と書くことができる。同様に、

$D_{h}=\eta _{i}{\frac {\partial }{\partial x_{i}}}$

と置く。そうすると、$f$ の二階偏導関数が登場する部分について、

${\begin{aligned}\{g,\{h,f\}\}+\{h,\{f,g\}\}&=\{g,\{h,f\}\}-\{h,\{g,f\}\}\\&=D_{g}D_{h}f-D_{h}D_{g}f\\&=\xi _{i}{\frac {\partial }{\partial x_{i}}}\left(\eta _{j}{\frac {\partial f}{\partial x_{j}}}\right)-\eta _{i}{\frac {\partial }{\partial x_{i}}}\left(\xi _{j}{\frac {\partial f}{\partial x_{j}}}\right)\\&=\xi _{i}{\frac {\partial \eta _{j}}{\partial x_{i}}}{\frac {\partial f}{\partial x_{j}}}-\eta _{i}{\frac {\partial \xi _{j}}{\partial x_{i}}}{\frac {\partial f}{\partial x_{j}}}\end{aligned}}$

となる。$f$ の二階偏導関数は打ち消し合って、残っているのは $g,h$ についての二階偏導関数である。 $g,h$ についてもその二階偏導関数を持つ項は打ち消し合うから、結局、表式は0となる。

ハミルトン–ヤコビ方程式

正準変換によって、新ハミルトニアンが恒等的に0となる変換を求めてみよう。新しい運動量を $\alpha _{i}$、新しい座標を $\beta _{i}$ とすると、正準方程式は、

${\dot {\beta }}_{i}=0,\,{\dot {\alpha }}_{i}=0$

となるから、$\alpha _{i},\beta _{i}$ は定数となる。この変換の母関数を $S(q,\alpha ,t)$ とすると、正準変換の公式より、

$H+{\frac {\partial S}{\partial t}}=H'=0$

となる。旧ハミルトニアンの中の運動量を $p_{i}={\frac {\partial S}{\partial q_{i}}}$ によって書き換えると、

${\frac {\partial S}{\partial t}}+H\left(q,{\frac {\partial S}{\partial q}},t\right)=0$

を得る。この偏微分方程式をハミルトン–ヤコビ方程式という。

ハミルトン–ヤコビ方程式の解 $S$ が求まったら、代数方程式

$\beta _{i}={\frac {\partial S(q,\alpha ,t)}{\partial \alpha _{i}}}$

を $q_{i}$ について解くことによって、座標 $q_{i}$ を定数 $\alpha _{i},\beta _{i}$ 及び時間の関数によって表すことができる。運動量は

$p_{i}={\frac {\partial S}{\partial q_{i}}}$

によって求まる。

このページ「解析力学 運動方程式の一般化」は、まだ書きかけです。加筆・訂正など、協力いただける皆様の編集を心からお待ちしております。また、ご意見などがありましたら、お気軽にトークページへどうぞ。

参考文献

• エリ・デ・ランダウ、イェ・エム・リフシッツ著、広重徹、水戸巌訳『力学（増訂第3版）』東京図書（1974）
• 須藤靖『解析力学・量子論』東京大学出版会（2019）