物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

正準変換

座標変換を一般化したもの。
作成:2003/3/30

ここまでが基礎だ

これから正準変換の説明を始めることにしよう.

本当は第 2 部の「解析力学の基礎」の中の仕上げとしてこの話を入れるつもりだったのだが,これを理解するための自然な流れとして先に変分原理を知っておくのが良いと思い,ここまで先延ばしになってしまった.

よって私の見方で行けば,ここまでが解析力学の「基礎」である.まぁ,このサイト全体が基礎レベルなのでようやく「基礎の基礎」ってとこだ.

しかし偉そうなことは言うまい.私が学生の頃にはここまで理解できていなかった.しかも,そこらの難しい書き方をしている教科書には未だに手が出せないでいる.

ああ,なんとレベルの低い情けない話だろう.もっともっと上があるのだ.まぁ,そんな事が言えるくらいのところまで来れたことは素直に喜ぶべきだろうか.


正準変換とは何か?

ラグランジュ方程式は座標変換に対して不変なのであった.そしてハミルトンの正準方程式もそうである.ところで,ハミルトン形式では座標q_iと運動量p_iは対等な立場の変数として論じられるのであった.それであるのに「座標」変換しかないというのはどういうわけだ,不自然じゃないか,というのである.全く無茶なことを言ってくれる.しかし,学問というのは一見無茶に見える要求に何とか応えようとして発展してきたものであるようだ.

この辺りの事情をもう少し詳しく話そう.\{q_i\}で表されていた粒子の位置座標が,座標変換によって新しい座標\{Q_i\}で表し直されるとする.つまり各Q_i\{q_i\}の関数として表される. 数式 一方,座標が変換されれば,当然それに応じて運動量も変換を受けることになるだろう.しかし,新しい運動量は元の運動量の関数にもなっているはずだ. 数式 新座標は旧座標だけの関数なのに,新運動量は旧座標と旧運動量の関数になっている.この辺りのアンバランスが気に入らないのである.いっそのこと,新座標も旧運動量によって決まるような一般的な変換を考えてはどうだろうということになる. 数式 こうすれば座標と運動量は本当に対等の立場に立てることになるではないか.もうメチャクチャである.座標が運動量で決まるなんて,相対性理論を思い浮かべるような話だ.実は相対性理論というのは解析力学をお手本にしたふしがあるのだが.

このような形のあらゆる変換を認めてしまえば,せっかくの正準形式の理論が使えなくなってしまう可能性が出てくる.そこで一つだけ次のような条件を課することにしよう.

変換してもハミルトンの正準方程式の形式が成り立つこと

そのような変換を「正準変換」と呼ぶことにする.

この定義によれば,全ての「座標変換」は正準変換の一部として含まれることになる.つまりこれからやろうとしているのは,「座標変換」をもっと広い意味を持つ「正準変換」に拡張するという作業なのである.



変分原理の応用

(p_i, q_i )系を(P_i, Q_i )系に変換してもハミルトンの正準方程式が成り立つことが期待されている.つまり,変換後の新しいハミルトニアンをKとして,次のような正準方程式が成り立つべきだということである. 数式 ここで前回の話を思い出してみよう.これが成り立つためには,次のようなIに対して,δI=0が成り立っていればいいのである. 数式

ところで,次のようなIに対してはδI=0が成り立っているのだった. 数式 だから,以上を総合すると,任意の定数λを使って 数式 と表してやることが出来る.こうすることで,(P_i, Q_i )系が正準形式を実現する条件を保ったまま,(p_i, q_i )系 と(P_i, Q_i )系の間の関係を導くことが出来るわけだ.2 つの項の差を取っているのはこの後で導かれる結果を分かりやすい形にまとめるための技巧でしかない.λは正負のどちらでもいいわけだから.

この式が成り立つ条件は, 数式 である.ここで新たに出てきたW_{1}というのは(q_i, Q_i, t)を変数とする任意関数である. これでうまくいく理由は,(2) 式を (1) 式に代入してみれば分かる. 数式 左辺の積分の結果は初状態と終状態の(q_i, Q_i, t)によって決まる定数となるだろう.そこではδq_i =0,δQ_i =0であるからその変分を取ったものは 0 になるという理屈だ.

ここでW_{1}(q_i, Q_i, t)の関数であるとしたのはこの後の計算をするのにとりあえず都合が良いからである.変数が他の組み合わせの場合にはどうなるかについても考えなくてはならないが,それについては後からやるつもりなので,Wの添え字に 1 を付けて区別しているのである.まずはW_{1}(q_i, Q_i, t)の場合を解決しよう.

もう一つ補足しておこう.ここでなるべく一般的な議論をしようと思って定数λを使っているが,計算がややこしくなるので今後はλ=1の場合のみを考えることにする.これで議論の一般性が損なわれるのではないかと心配する必要はない.なぜなら,ab=λとなるような 2 つの定数を使って,P_ia,Q_ib,Kab倍してやればλ≠1の場合を計算したのと同じになるではないか.座標や運動量やハミルトニアンのスケールは後で好きにいじってやって構わないというわけだ.実際に大抵の教科書では,λ=1として計算したものを「正準変換」と呼んでいる.



変換の母関数

それで,λ=1として,正準変換が成り立つ条件は, 数式 であると言える.この両辺にdtを掛けてやれば, 数式 となる.ここでW_{1}の全微分の式, 数式 を持ち出して (3) 式と係数比較してみよう.次のような 6N + 1 個の関係式が得られるはずである. 数式 さあ,この式さえあれば正準変換を実行できることになる.なぜなら,W_{1}(q_i, Q_i, t)の関数なので,第 1 の式からp_i(q_i, Q_i, t)の関数として求められるだろう.これをQ_iについて逆に解いてやれば欲しかった変換の式がQ_i (q_i, p_i, t)の形で求められる.さらに 2 番目の式からP_i (q_i, Q_i, t)が求まるが,この変数Q_iに先ほどの形を代入してやれば,P_i (q_i, p_i, t)となるではないか.そして 3 番目の式からは新しいハミルトニアンが計算できるが,これを新しい変数(P_i, Q_i, t)で表してやれば完了である.

このように一つの関数W_{1}が決まると変換が一つ決まることになる.こういうわけでこの関数を「変換を生み出す関数」という意味を込めて「母関数」と呼ぶのである.


母関数のルジャンドル変換

ここまでは母関数として,独立変数が(q_i, Q_i, t)である場合のW_{1}を使ってきた.変数をそのように設定したからこそ,先ほどのような 6N + 1 個の関係式を導くことができたのである.では独立変数が別の組み合わせになる場合はどのようになるのだろうか

独立変数を入れ替えるための便利な手法があったことを思い出そう.そう,ここで再びルジャンドル変換を使うのである.

例えば,独立変数が(p_i, Q_i, t)である関数W_{2}を作るためには,W_{1}の変数であるq_ip_iに入れ替えてやればいいので, 数式 としてやればいい.こうすれば,W_{2}の全微分は 数式 となる.よって,先ほどと同じようにW_{2}(p_i, Q_i, t)の全微分の形式を書いて係数比較してやることで次の関係式が得られる事になる. 数式 全ての場合を説明する必要はもうないだろう.全く同じ処方で(q_i, P_i, t)の関数W_{3}を使う場合も計算できる.これはW_{1}Q_iP_iに入れ替えてやればいい.結果はこうなる. 数式 (p_i, P_i, t)の関数W_{4}について計算する場合には,W_{1}Q_iP_i,q_ip_iに入れ替えてやる必要があるので, 数式 と置けばいい.結果は次のようになる. 数式


まとめ

上は説明の文章ばかりで分かりにくくなってしまったので,ここまでに出てきた代表的な 4 通りの母関数のパターンをまとめて書き並べておこう. 数式 ここでやった 4 つの場合の関係式を丸暗記する必要はなくてパターンさえつかめば実に単純だ.要するに次のようなものしか出てきていないのである. 数式 いつでも簡単に思い出せる.

ところで,ここでやらなかった組み合わせのパターンとして,W(q,p,t)とかW(Q,P,t)という可能性が残っているような気がするが,やらなかったのではなくて,できないのである.Wというのは新旧の変数の関係を決めるものなのだから,新座標のみ,旧座標のみの関数というのは意味がないのではないだろうか.

ここまでの理屈が理解できていれば変数がもう少し複雑に入り混じっているようなWについてもどう扱ったら良いかが分かるだろう.例えば,次のようなものだ. 数式

原理が分かっても実例がなければイメージが描きにくいだろうから,次回はこの変換を使った実例を紹介することにしよう.



趣味の物理学書店

趣味で量子力学2の広告バナー