御覧のページは本家サイトと同一の管理人によって運営されるミラーサイトです。

正準変換

座標変換を一般化したもの。

[前の記事へ]  [解析力学の目次へ]  [次の記事へ]


ここまでが基礎だ

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

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

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

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

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


正準変換とは何か?

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

 この辺りの事情をもう少し詳しく話そう。   で表されていた粒子の位置座標が、 座標変換によって新しい座標 で表し直されるとする。  つまり各 の関数として表される。

 一方、座標が変換されれば、 当然それに応じて運動量も変換を受けることになるだろう。  しかし、新しい運動量は元の運動量の関数にもなっているはずだ。

 新座標は旧座標だけの関数なのに、新運動量は旧座標と旧運動量の関数になっている。  この辺りのアンバランスが気に入らないのである。  いっそのこと、新座標も旧運動量によって決まるような一般的な変換を 考えてはどうだろうということになる。

 こうすれば座標と運動量は本当に対等の立場に立てることになるではないか。  もうメチャクチャである。  座標が運動量で決まるなんて、相対性理論を思い浮かべるような話だ。  実は相対性理論というのは解析力学をお手本にしたふしがあるのだが。

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

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

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

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


変分原理の応用

  系を 系に変換しても ハミルトンの正準方程式が成り立つことが期待されている。  つまり、変換後の新しいハミルトニアンを として、 次のような正準方程式が成り立つべきだということである。

 ここで前回の話を思い出してみよう。  これが成り立つためには、次のような に対して、 が成り立っていればいいのである。

 ところで、次のような に対しては が成り立っているのだった。

 だから、以上を総合すると、任意の定数 を使って

と表してやることが出来る。  こうすることで、 系が正準形式を実現する条件を保ったまま、 系 と 系の間の関係を導くことが出来るわけだ。  2 つの項の差を取っているのはこの後で導かれる結果を 分かりやすい形にまとめるための技巧でしかない。   は正負のどちらでもいいわけだから。

 この式が成り立つ条件は、

である。  ここで新たに出てきた というのは を変数とする 任意関数である。  これでうまくいく理由は、(2) 式を (1) 式に代入してみれば分かる。

 左辺の積分の結果は初状態と終状態の によって 決まる定数となるだろう。  そこでは であるから その変分を取ったものは 0 になるという理屈だ。

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

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


変換の母関数

 それで、 として、正準変換が成り立つ条件は、

であると言える。  この両辺に を掛けてやれば、

となる。  ここで の全微分の式、

を持ち出して (3) 式と係数比較してみよう。  次のような 6N + 1 個の関係式が得られるはずである。

 さあ、この式さえあれば正準変換を実行できることになる。  なぜなら、 の関数なので、 第 1 の式から の関数として求められるだろう。  これを について逆に解いてやれば欲しかった変換の式が の形で求められる。  さらに 2 番目の式から が求まるが、 この変数 に先ほどの形を代入してやれば、 となるではないか。  そして 3 番目の式からは新しいハミルトニアンが計算できるが、 これを新しい変数 で表してやれば完了である。

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


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

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

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

 例えば、独立変数が である関数 を作るためには、 の変数である に入れ替えてやればいいので、

としてやればいい。  こうすれば、 の全微分は

となる。  よって、先ほどと同じように の全微分の形式を書いて 係数比較してやることで次の関係式が得られる事になる。

 全ての場合を説明する必要はもうないだろう。  全く同じ処方で の関数 を使う場合も計算できる。  これは に入れ替えてやればいい。  結果はこうなる。

  の関数 について計算する場合には、 に、 に入れ替えてやる必要があるので、

と置けばいい。  結果は次のようになる。


まとめ

 上は説明の文章ばかりで分かりにくくなってしまったので、 ここまでに出てきた代表的な 4 通りの母関数のパターンを まとめて書き並べておこう。

 ここでやった 4 つの場合の関係式を丸暗記する必要はなくて パターンさえつかめば実に単純だ。  要するに次のようなものしか出てきていないのである。

 いつでも簡単に思い出せる。

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

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

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


[前の記事へ]  [解析力学の目次へ]  [次の記事へ]