1 概説
正準変換は、ハミルトン力学において位相空間の変数を別の変数へ移し替える写像であり、運動方程式の標準的な形を保つ。力学系の見通しをよくし、保存構造を損なわずに記述を簡潔化できるため、解析力学の中核的な道具とみなされる。
この種の変換は、座標系を単に取り替えるだけでなく、共役な位置変数と運動量変数の組を新たな組へ再編成する点に特徴がある。結果として、複雑な運動を扱いやすい形に直したり、運動の対称性や保存量を明確にしたりするのに役立つ。
1.1 ハミルトン力学における位置づけ
ハミルトン力学では、状態は一般に位置座標と共役運動量で表され、時間発展は正準方程式で与えられる。正準変換は、この基本形を維持したまま記述変数を変更する操作である。
このため、ラグランジュ形式からハミルトン形式へ移った後の理論整理にとって重要であり、さらに積分可能な系や摂動を含む系の解析でも中心的な役割を持つ。
1.2 正準変換の定義
正準変換とは、新しい座標と運動量の組が、古い組と同じハミルトン構造を満たす変換である。典型的には、変換後の変数でも正準方程式が同じ形で成立することを条件とする。
より幾何学的には、位相空間上のシンプレクティック構造を保つ変換として定式化されることが多い。したがって、単なる代数的置換ではなく、力学の構造保存を本質とする。
1.3 基本的な性質
正準変換は、局所的には生成関数で表されることが多く、変換の存在判定や具体的な構成に便利である。また、ポアソン括弧の形を保つため、可観測量同士の関係も整合的に引き継がれる。
さらに、正準変換は可逆な写像として扱われ、逆変換も同様に正準であることが多い。線形の場合には、シンプレクティック行列として特徴づけられる。
2 数学的基礎
正準変換を理解するには、位相空間、ポアソン括弧、シンプレクティック構造という三つの基礎概念が必要である。これらはいずれも、ハミルトン力学の幾何学的骨格を形成する。
2.1 位相空間と正準変数
位相空間は、系の状態を位置と運動量の対で表す空間である。そこでは、各自由度に対して共役な変数が対応づけられ、これらが正準変数と呼ばれる。
正準変数の組では、力学方程式が簡潔に書けるだけでなく、変換後にも同じ構造を保てるかどうかが明確になる。正準変換は、この変数の組を別の同種の組へ移す。
2.2 ポアソン括弧
ポアソン括弧は、位相空間上の2つの関数の関係を表す演算であり、ハミルトン力学の基本演算の一つである。時間発展や保存量の議論にも直接結びつく。
2.2.1 定義
2つの関数のポアソン括弧は、座標と運動量に関する偏微分を組み合わせて定義される。これにより、関数間の相互作用を微分的に記述できる。
この定義は、正準座標系において特に自然であり、各自由度の組が持つ標準的な交換関係を反映する。
2.2.2 保存される構造
正準変換では、ポアソン括弧の基本関係が保たれる。したがって、変換前に成立していた括弧の代数的性質は、変換後にも維持される。
この保存性により、力学法則の形式が変わらず、物理的内容だけを新しい変数表示へ移すことができる。
2.3 シンプレクティック構造
シンプレクティック構造は、位相空間に備わる反対称な幾何学的構造であり、ハミルトン系の保存的な時間発展を支える。正準変換はこの構造を保つ写像として理解される。
この見方は、正準変換を座標操作から幾何学的変換へと格上げする。結果として、局所的な計算だけでなく、空間全体の構造保存という観点からも議論できる。
3 正準変換の表現
正準変換は複数の方法で表せる。実用上は、生成関数、微分形式、あるいは行列表示がよく用いられる。
3.1 生成関数
生成関数は、古い変数と新しい変数の関係を暗黙に定める補助関数である。適切な型を選ぶことで、変換式を系統的に導ける。
3.1.1 第一種生成関数
第一種生成関数は、旧座標と新座標の関数として与えられる形式である。そこから、共役運動量同士の関係を導出する。
この形式は概念的にわかりやすく、正準変換の基本構造を示すのに適している。
3.1.2 第二種生成関数
第二種生成関数は、旧座標と新運動量を変数とする型である。実際の計算ではこの形式が最も頻繁に使われる。
変換式を比較的扱いやすく書けるため、保存量の導出やハミルトニアンの変形に便利である。
3.1.3 第三種生成関数
第三種生成関数は、旧運動量と新座標を引数に取る。第二種と対称的な役割を持ち、特定の問題設定で有効になる。
座標と運動量の選び方によって、こちらの形式のほうが見通しのよい場合がある。
3.1.4 第四種生成関数
第四種生成関数は、旧運動量と新運動量を用いる形式である。理論上は他の型と同等だが、使用頻度はやや低い。
それでも、変数配置に応じて自然な表現を与える点で意味がある。
3.2 微分形式による表現
微分形式を用いると、正準変換は位相空間上の1形式や2形式の保存として表現できる。これは、生成関数による表現を幾何学的に言い換えたものと考えられる。
この表現は、構造保存を明示するため、シンプレクティック幾何との接続に優れている。
3.3 行列表示と線形正準変換
変換が線形の場合、変数の変換は行列で表される。正準条件は、その行列がシンプレクティック行列であることに対応する。
この方法は、自由振動や小振動の解析で有用であり、複数自由度の結合を整理するのに向いている。
4 主要な性質と判定条件
正準変換かどうかを確認するには、いくつかの同値な条件がある。実際の応用では、ポアソン括弧、ヤコビ行列、生成関数の有無などを組み合わせて判定する。
4.1 正準性の判定
正準性は、変換がハミルトン構造を保つかどうかを示す性質である。判断には、局所的な微分関係を用いるのが一般的である。
4.1.1 ポアソン括弧による条件
新しい正準変数同士のポアソン括弧が標準形を満たすとき、その変換は正準であるとみなされる。これは最も直接的で、理論的にも明快な判定法である。
各変数の括弧関係が保存されていれば、運動方程式の構造も保たれる。
4.1.2 ヤコビ行列による条件
変換のヤコビ行列が特定のシンプレクティック条件を満たすことも、正準性の判定基準になる。線形変換では、この条件が特に扱いやすい。
この見方は計算機的な確認に向いており、明示的な座標変換の検査に用いられる。
4.2 可逆性と局所変換
正準変換は、通常、局所的に可逆であることが前提になる。局所可逆性があれば、逆変換も同様に定義でき、変数の往復が可能になる。
ただし、大域的には複数の枝が生じることもあり、全空間で一様に表せない場合がある。そのため、実際には局所的な記述が重視される。
4.3 保存量との関係
正準変換は、保存量の構造を明瞭にする手段として働く。適切な変換を施すと、ある変数が循環座標となり、対応する運動量が保存されることがある。
また、対称性に応じた変数選択を行うことで、エネルギーや角運動量のような量の扱いが容易になる。
5 代表的な例
正準変換の具体例は、抽象的な定義を理解するうえで有効である。単純な例から始めると、保存構造の意味が把握しやすい。
5.1 恒等変換
恒等変換は、変数をそのまま保つ最も単純な正準変換である。すべての正準条件を自明に満たす。
この例は、正準変換の基準形として機能し、他の変換の比較対象になる。
5.2 座標変換の例
座標の取り方を変える正準変換は、極座標や別の一般化座標を導入する場面で現れる。共役運動量もそれに合わせて変換される。
こうした例では、見かけ上の形は変わっても、ハミルトン方程式の骨格は維持される。
5.3 単純調和振動子への適用
単純調和振動子では、適切な正準変換によって運動がより扱いやすい形に書き換えられる。位相平面上での回転的な記述とも結びつく。
この適用は、周期運動の理解や作用角変数への導入の出発点として重要である。
5.4 回転変換
回転変換は、位相空間の変数を角度成分を伴って回す線形正準変換の一例である。対称性を持つ系では自然に現れる。
回転を用いると、異なる成分の結合を分離できる場合があり、解析が整理される。
6 応用
正準変換は、理論的な基礎概念であると同時に、具体的な計算技法として広く用いられる。物理学の複数分野にまたがって重要である。
6.1 古典力学
古典力学では、正準変換は運動方程式の簡約や座標の再編成に使われる。特に、保存則を見つけたり、特殊な運動を単純化したりする際に有効である。
解析力学の標準的手法として、教科書的にも中心的な位置を占める。
6.2 天体力学
天体力学では、多体系の軌道運動や長期挙動の解析に正準変換が導入される。軌道要素の取り扱いや摂動の整理に役立つ。
複雑な相互作用を変数変換によって分離できるため、近似計算の精度向上にも寄与する。
6.3 摂動論
摂動論では、元の系に小さな補正が加わったとき、正準変換を使って問題を見やすい形へ整える。不要な結合項を減らす目的で利用されることが多い。
この手法は、近似的に保存される量の抽出や、長時間挙動の解析に向いている。
6.4 可積分系
可積分系では、正準変換が作用角変数への移行に結びつく。これにより、運動を単純な角度の進行として記述できる。
この変換は、複雑な軌道を基本周期の重ね合わせとして理解するための基盤となる。
6.5 量子論への接続
古典的な正準変換は、量子論への橋渡しでも重要である。とくに、古典系の構造を保ったまま量子化の手順を考える際の指針になる。
直接に同一視はできないものの、正準構造の保存という考え方は、量子力学における交換関係や変換理論の理解に影響を与える。
7 関連概念
正準変換は、周辺の幾何学的・力学的概念と密接に結びつく。関連語を押さえることで、理論全体の位置が明確になる。
7.1 接触変換
接触変換は、正準変換に近いが、保存する構造が異なる変換である。主に接触幾何の文脈で扱われる。
ハミルトン力学と比較すると、より広い幾何学的枠組みの中で理解される。
7.2 正準座標
正準座標は、ハミルトン方程式が標準形で書ける座標系である。正準変換は、この座標系どうしを結ぶ写像として定式化される。
力学系の構造を保つための基本的な舞台となる。
7.3 シンプレクティック多様体
シンプレクティック多様体は、シンプレクティック構造を備えた多様体である。位相空間を幾何学的に一般化したものとみなせる。
正準変換は、その上で構造を保つ変換として整理される。
7.4 ハミルトン・ヤコビ理論
ハミルトン・ヤコビ理論は、正準変換を用いて運動方程式を積分可能な形へ変換する理論である。生成関数の役割が特に重要になる。
この理論は、古典力学を解くための強力な枠組みであり、正準変換の応用先として代表的である。