正準変換

ハミルトン形式の解析力学において、正準変換とは、正準変数を新たなハミルトンの運動方程式を満たす新しい正準変数に写す変数変換。正準変換の下では、正準変数である一般化座標と一般化運動量は互いに混ざり合うことができ、等価な役割を果たす。また、正準変換はポアソン括弧を不変に保つ性質を持つ。幾何学的な観点からは、相空間をシンプレクティック多様体として見做した場合、基本 2形式を保つシンプレクティック同相写像に対応する。

1. 概要
-----

ハミルトン力学では、一般化座標//qi// }}と対応する一般化運動量//pi// }}の組からなる、正準変数 =}} }} が独立な変数となる。

相空間上の運動は、正準変数と時間t}}の関数であるハミルトニアン//H//}}を用いて、ハミルトンの運動方程式

によって記述される。但し、ドット記号は時間微分を表す。

ここで、正準変数と時間の関数である新たな変数

が新たな正準変数となるとき、すなわち、新たなハミルトニアン//K//}}が存在して、

が成り立つとき、 → }}を正準変換という。 正準変換の下では、一般化座標と一般化運動量は互いに混ざり合い、等価な役割を果たす。

2. 母関数による構成
-----------

正準変換を構成する標準的な手法は、母関数を用いる手法である。ハミルトンの運動方程式は、作用

の変分δS}}を最小にするというハミルトンの原理から導かれる。 したがって、新旧の正準変数とハミルトニアンの間には

という関係式が成り立つ。 但し、W=}}W}}は新旧の正準変数と時間の任意の関数である。

特に、}}の中から独立な変数として二つを選び、W}}を定めた場合、両辺の独立な変数に対する微分を考えることで、//Q//i=}}//Q//i}}、//P//i=}}//P//i}}を定めることができる 。この場合、関数W}}を与えることで、正準変換が定まることから、W}}を正準変数の母関数と呼ぶ。二つの独立な変数の選び方に応じて、四つのタイプの母関数が存在する。

タイプ1独立な変数として}}を選んだ場合、//W//1=}}//W//1}}はタイプ1の母関数と呼ばれる。このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

タイプ2タイプ1の母関数//W//1=}}//W//1}}に対し、ルジャンドル変換

を施せば、独立な変数として}}を選んだ場合であるタイプ2の母関数//W//2=}}//W//2}}が得られる。 このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

タイプ3タイプ1の母関数//W//1=}}//W//1}}に対し、ルジャンドル変換

を施せば、独立な変数として}}を選んだ場合であるタイプ3の母関数//W//3=}}//W//3}}が得られる。 このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

タイプ4タイプ2の母関数//W//2=}}//W//2}}に対し、ルジャンドル変換

を施せば、独立な変数として}}を選んだ場合であるタイプ3の母関数//W//4=}}//W//4}}が得られる。このとき、新旧の正準変数とハミルトニアンの間に以下の関係が成り立つ。

3. 例
----

3.1. 恒等変換
---------

正準変換の最も簡単な例は、恒等変換//Q//=}}//q//}}、//P//=}}//p//}}である。この場合、新たなハミルトニアンは//K//=}}//H//}}と不変である。

この正準変換の母関数は

であり、この場合、新旧の正準変数の間には

の関係が満たされている。

3.2. 一般化座標と一般化運動量の交換
--------------------

任意の系において、一般化座標と一般化運動量の符号を込めた交換

は正準変換である。この場合、新たなハミルトニアンは//K//=}}//H//=}}//H//}}と不変である。

この正準変換の母関数は

であり、この場合、新旧の正準変数の間には

の関係が満たされている。

3.3. 一次元調和振動子
-------------

質量m}}、角振動数ω}}の一次元調和振動子では、ハミルトニアンは

で与えられる。母関数を

で与えると、新旧の正準変数の間には

の関係が成り立つ。

また、新しいハミルトニアンは、

とP}}だけの関数となる。すなわち、Q}}は循環座標である。この場合、Q}}とP}}の時間発展は、

と簡単な形で求まる。但し、β}}は任意の定数、E}}は保存量である系のエネルギーである。

3.4. ゲージ変換
----------

電磁ポテンシャルのゲージ変換は、座標q}}を変化させない正準変換

に対応する。この正準変換の母関数は

であり、新旧の正準変数の間には

の関係が成り立つ。荷電粒子のハミルトニアンH}}が電磁ポテンシャル//&varphi;//, //A//}}を用いて

で表されることから、新しい正準変数でも同じ形式

が成り立つことが分かる。ここで//&varphi;//′, //A//′}}はゲージ変換した電磁ポテンシャル

である。

4. 正準変換の性質
----------

4.1. ポアソン括弧の不変性
---------------

正準変換 → }}に対し、ポアソン括弧は不変に保たれる。すなわち、元の正準変数に対するポアソン括弧を , }q,p}}、新しい正準変数に対するポアソン括弧を , }Q,P}}と表すと、

が成り立つ。逆にポアソン括弧を不変に保つ変数変換は正準変換となる。ポアソン括弧の不変性が成り立つには、

が満たされていればよい。但し、δij}}はクロネッカーのデルタである。

4.2. 群の構造
---------

正準変換は次の性質を満たしており、群の構造を持つ。

恒等変換は正準変換である。
正準変換に対し、逆変換が存在し、逆変換も正準変換となる。
２つの正準変換の合成は正準変換である。
正準変換の合成は結合法則を満たす。

5. 微小正準変換と対称性
-------------

5.1. 微小正準変換
-----------

正準変数}}を微小変化させる微小正準変換

の母関数は、恒等変換を与える母関数にε//G//}}を加えた

の形で与えられる。但し、ε}}は微小定数、 //G//}}は任意の関数である。

このとき、微小変化}}は

となる。任意の力学量//F//}}に対し、微小正準変換に対する変化

は、ポアソン括弧を用いて、

で与えられる。

5.2. 例
------

時間発展G}}として、ハミルトニアン//H//}}をとれば、

であるから、正準変換は

となる。すなわち、微小時間ε}}における時間発展は、ハミルトニアンによる微小正準変換となる。有限時間での時間発展は、微小時間における時間発展を繰り返し合成することで得られる。正準変換の合成も正準変換であるため、}}の時間発展は、正準変換の特別な例となっている。

6. リウヴィルの定理
-----------

相空間の体積要素

は正準変換 → }}の下、不変となる。

したがって、相空間のある領域γ}}が正準変換により、領域Γ}}に写されるとすると、

が成り立つ。すなわち、領域γ}}の体積は正準変換 → }}で不変に保たれる。

特に、時間発展は正準変換の特別な例であり、領域γ}}の時間発展を考えると、リウヴィルの定理

が導かれる。

7. ハミルトン-ヤコビの理論
---------------

新ハミルトニアンが恒等的にゼロ K≡0}}となる正準変換 → }}を考えると 、ハミルトンの運動方程式は

と簡単な形になる。このとき、新たな正準変数 }}は定数}}となる。

このような正準変換を生む母関数として、タイプ2の母関数//S//=}}//W//2}}を選べば、母関数//S//}}と元のハミルトニアンH}}の間には、

という関係式が成り立つ。但し、K≡0}}と//pi//=}}∂ S/∂ //qi//}}であることを用いている。この1階の偏微分方程式をハミルトン-ヤコビ方程式という。

8. 幾何学的観点
---------

9. 脚注
-----

10. 参考文献
--------

H. Goldstein，C. Poole and J. Safko, //Classical Mechanics //, Addsion Wesley ;　瀬川富士、矢野忠、江沢康生 『古典力学〈上〉 』 吉岡書店  ISBN 978-4842703367
畑浩之 、 益川敏英 、 植松恒夫、青山秀明  『解析力学 』 東京図書  ISBN 978-4489021688
並木美喜雄 『解析力学 』 丸善ISBN 978-4621036372

11. 関連項目
--------

ハミルトン力学
正準変数