作用・角変数 (さよう・かくへんすう, action-angle variable) とは、解析力学において可積分な正準力学系に対して導入される、作用変数と角変数の組からなる正準変数のこと。
可積分系[編集]
自由度の自励正準力学系がLiouvilleの意味で可積分であるとは、
個の関数的に独立[注釈 1]な孤立積分
(
) が存在し、互いにPoisson可換であること、すなわち
![{\displaystyle \left[F_{i},F_{j}\right]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cf1fbb53e86110bc7605e955777bc1f9a8c7c5f)
を満足することである[1][2]。このとき、リウヴィル=アーノルドの定理は、各積分
が値
を取る超曲面
が連結かつコンパクトであるならば、この曲面はトーラス
と同相であること(Arnoldトーラスと呼ばれる)、そしてArnoldトーラスを含む近傍で定義された正準変数
が存在しハミルトニアン
が
だけの関数になることを主張する[1][3]。この定理により保証される正準変数
が作用・角変数である[1][3]。
変数分離系[編集]
変数分離可能 (separable) な系に関しては、作用・角変数をより明示的に導入することができる。このような系では、適切な正準変数
を用いると、ハミルトンの特性関数
を
という形に書くことができる[4]。積分定数
の値が特定されると、各座標
が周期運動をするならば、その運動のパターンは次の二通りが可能である[5][6]。
- ある有界な範囲を周期的に運動する秤動 (libration)
- 運動量が座標の周期関数となる回転 (rotaion)
このとき、定数
により定まる解軌道に沿った一周期に関する次の積分
![{\displaystyle J_{i}:={\frac {1}{2\pi }}\oint p_{i}\,dq_{i}={\frac {1}{2\pi }}\oint {\frac {\partial S_{i}}{\partial q_{i}}}(q_{i},{\boldsymbol {\alpha }})dq_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43abd678b98ea8779a5998f577f8d8250fb62566)
により作用変数 (action variable)
が定義できる[7][8][9][10][注釈 2]。この定義のもとでハミルトンの特性関数は
という関数に読み替えることができ、この特性関数を母関数とする正準変換
により角変数 (angle variable)
![{\displaystyle \theta _{i}:={\frac {\partial S}{\partial J_{i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5c08187d837f4ae37810449562156ee4c82808d)
が導入される[7][8][11]。角変数
は運動の一周期の間に
変化する[9][11]。
Kronecker軌道[編集]
作用・角変数
を用いるとき、系のハミルトニアンは
であるため、正準方程式は
![{\displaystyle {\frac {dJ_{i}}{dt}}=-{\frac {\partial H}{\partial \theta _{i}}}=0,\ \ {\frac {d\theta _{i}}{dt}}={\frac {\partial H}{\partial J_{i}}}=:\omega _{i}(\mathbf {J} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a64fe102d1f0a085bdb4bd962a7d6f36988aa21)
となる。従ってその解はただちに
![{\displaystyle J_{i}=\mathrm {Const.} ,\ \ \theta _{i}=\omega _{i}(\mathbf {J} )t+\beta _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/256c380ee6410332b007a76b59f6969bce2bb3ba)
と求まる (
は定数)。従って
は運動の角振動数である。この解がArnoldトーラス上に描く軌道をKronecker軌道と呼ぶ[3]。
振動数
がすべて互いに有理数比にある場合には、解軌道
はArnoldトーラス上の周期軌道となる[12]。一方、そうでない場合には、解軌道はArnoldトーラスを稠密に埋め尽くし、準周期軌道 (qusi-periodic orbit) または条件周期軌道 (conditionally periodic orbit) と呼ばれる[12]。
正準摂動論[編集]
可積分ハミルトニアン
に摂動
が加わったハミルトニアン
![{\displaystyle H=H_{0}(\mathbf {J} )+\epsilon H_{1}(\mathbf {J} ,{\boldsymbol {\theta }})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/980c81b8ee58c82fbbbf60139e6e605a3fa0c6a1)
を取り扱うことはしばしばある。このような近可積分系に対して適用される正準摂動論は作用・角変数に立脚して定式化される。これは、非摂動ハミルトニアン
に関する作用・角変数
から摂動後のハミルトニアンに関する作用・角変数
への正準変換
を摂動的に決定するというアイデアに基づいている[13][14]。
断熱不変量[編集]
作用変数
は、ハミルトニアンの断熱的な(運動の時間スケールに比べてゆっくりとした)変化に際して保存する断熱不変量になる[15]。
具体例[編集]
調和振動子[編集]
1次元調和振動子は次のハミルトニアンにより記述される。
![{\displaystyle H={\frac {p^{2}}{2m}}+{\frac {1}{2}}m\omega _{0}^{2}q^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/953e80692d5b22e23ed624b1a1dfbae39f1de8cc)
この系はエネルギー
が保存するため可積分であり、ハミルトンの特性関数
はエネルギーを積分定数とする
![{\displaystyle S=\int \pm {\sqrt {2mE-m^{2}\omega _{0}^{2}q^{2}}}\,dq}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3093194571c0477948cf746169bb0acf35a2364a)
という形に求まる。ここから調和振動子の作用・角変数は
,
と計算できる[16]。
![{\displaystyle q={\sqrt {\frac {2J}{m\omega _{0}}}}\,\sin \theta ,\ \ p={\sqrt {2m\omega _{0}J}}\,\cos \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e759c4472f278ecaf94301b7645d1d4b20459fea)
![{\displaystyle H=\omega _{0}J}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b3778995db003d32a0756514303808e5e476d93)
ケプラー問題[編集]
3次元ケプラー問題のハミルトニアンは、球座標
を用いるとき変数分離系となる。
![{\displaystyle H={\frac {1}{2}}\left(p_{r}^{2}+{\frac {1}{r^{2}}}p_{\theta }^{2}+{\frac {1}{r^{2}\sin ^{2}\theta }}p_{\phi }^{2}\right)-{\frac {\mu }{r}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc4c3b13314879ad71a13d63a586868455e88204)
対応するハミルトンの特性関数は次式で与えられる。
![{\displaystyle S=\int \pm {\sqrt {2C+{\frac {2\mu }{r}}-{\frac {G^{2}}{r^{2}}}}}dr+\int \pm {\sqrt {G^{2}-{\frac {G_{z}^{2}}{\sin ^{2}\theta }}}}d\theta +G_{z}\phi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c6a1e977d1c96b27997a31217fc535e4bcb2758)
系のエネルギーが負であるときには運動は有界であり、作用・角変数
は次のように求められる[17]。
![{\displaystyle J_{r}={\sqrt {\mu a}}\left[1-{\sqrt {1-e^{2}}}\right],\ \ J_{\theta }={\sqrt {\mu a(1-e^{2})}}\,(1-\cos I),\ \ J_{\phi }={\sqrt {\mu a(1-e^{2})}}\,\cos I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dfd0d7982478002dcaa53ae80ac1be51d0ce812)
![{\displaystyle w_{r}=M,\ \ w_{\theta }=M+\omega ,\ \ w_{\phi }=M+\omega +\Omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fca8ce525b15d6b05a23ae2e3a65b39bb7d71e67)
ここに
は軌道長半径、
は軌道離心率、
は軌道傾斜角、
は平均近点離角、
は近点引数、
は昇交点黄経である。このときハミルトニアンは
と表示される。なお、天体力学において用いられるドローニー変数やポアンカレ変数は、この作用・角変数に対して接触変換を施すことで得られる正準変数である[18]。
- ^ 位相空間上で稠密な開集合が存在し、その各点で勾配
が一次独立であること。
- ^ ゴールドスタインは因子
を含めずに定義しているが、本記事ではそれ以外のすべての参考文献に従いこの因子を含めて定義する。
- ^ a b c 大貫&吉田, pp. 100-110.
- ^ 柴山, p. 70.
- ^ a b c 柴山, p, 72.
- ^ Lichtenberg & Lieberman, p. 21.
- ^ ゴールドスタイン, pp. 627-628.
- ^ Lichtenberg & Lieberman, p. 29.
- ^ a b 大貫&吉田, pp. 109-110.
- ^ a b ゴールドスタイン, pp. 629-630.
- ^ a b エリ・デ・ランダウ、イェ・エム・リフシッツ 著、広重徹, 水戸巌 訳『力学(増訂第3版)』東京図書、1974年、201-206頁。ISBN 978-4-489-01160-3。
- ^ Lichtenberg & Lieberman, pp. 21-22.
- ^ a b Lichtenberg & Lieberman, p. 23.
- ^ a b 柴山, pp. 73-75.
- ^ ゴールドスタイン, pp. 744-749.
- ^ Lichtenberg & Lieberman, pp. 78-80.
- ^ ゴールドスタイン, pp. 754-756.
- ^ 大貫&吉田, pp. 110-112.
- ^ ゴールドスタイン, pp. 646-660.
- ^ Murray, C. D.; Dermott, S. F. (2000). Solar System Dynamics. Cambridge University Press. pp. 59-60. ISBN 978-0521575973
参考文献[編集]
関連項目[編集]