Prerequisite
無限小の正準変換を考えることは,正準形式の保存則を導く上で重要である.
保存則は作用がもっている対称性に起因するものである.
それがLagrange形式においてはLagrangianに対する(時間と座標の函数の時間の全微分項を除く)不変性を意味していた.
Lagrangianが不変ならば運動方程式が不変となる.
同様に正準形式でも作用の対称性は正準方程式の不変性に対応する.
一方で正準方程式を不変に保つ変換は正準変換であるので,両者は密接な関係にあると言える.
Noetherの定理は連続な対称性に保存則が対応するというものであった.
したがって微小変換に対して正準方程式が不変なとき,どのようなことが導けるかを調べれば良い.
微小正準変換を時間に依存しない変換として,
とおく.時間に依存する場合はゲージ変換とよばれるがここでは詳細に立ち入らない.
微小正準変換は恒等変換に近いので母函数を または にとればよい.いまは のほうを選ぶ.
すると正準変換の母函数の性質により,
恒等変換に近いので母函数は(恒等変換) (微小変換)の形に書ける:
ただし は微小パラメータ.
これを上式に代入して整理すれば,
が得られる.
同じ精度(つまり の付いた量の1次までとる近似)で微分の は に置き換えても良い:
あるいはこの2式をシンプレクティック表現すると,位相空間上 の微小正準変換 に対して
ここで であり,
Poisson括弧のシンプレクテッィク表現と比較すれば,
微小正準変換
がわかる.
こうして,微小正準変換は母函数を用いて書くことができた.
対応するシンプレクティック行列は,
微小正準変換によるHamiltonianの変化分は
今 なので である.
微小変位を母函数で書けば
となり母函数 とのPoisson括弧が となる.
位相空間上の任意函数の時間微分はHamiltonianとのPoisson括弧に等しいことから
となり は保存量である.
微小正準変換の例をいくつか見ていこう.
まず微小な時間並進変換 に対しては の1次までで,
よって となり,
これは が正準方程式を満たすことを意味している.
ゆえにHamiltonian を母函数として選べば時間並進変換が生成される.
正準方程式とは,Hamiltonianを母函数,時間を微小パラメータとする微小正準変換といえる.
Hamiltonianの時間微分は
であるが自明に であり,Hamiltonianが保存量であるための条件は時間に陽に依存しないこと; となる.
次に空間の並進変換 ( 番目の座標だけ並進変換する)に対しては,
よって となり,
これは が基本Poisson括弧式を満たすことを意味している.
ゆえに運動量 を母函数として選べば空間並進変換が生成される.
基本Poisson括弧式とは運動量を母函数,座標を微小パラメータとする微小正準変換といえる.
運動量の時間微分は正準方程式より なので,保存量であるための条件はHamiltonianが に陽に依存しないこととなる.
最後に3次元空間の回転変換 を考える(簡単のため3次元の1質点系).
無限小回転は成分が小さい反対称テンソル を用いて とかける.
さらに はSO(3)の生成子 を用いて
とかける. ただし,
そして は回転の大きさを表すパラメータ.
今 ( 軸回りにだけ回転変換する)とすると,
よって であり,
生成子 の 成分は に等しいので,
これは正準変数と角運動量の満たすPoisson括弧式と同じ.
ゆえに角運動量 を母函数として選べば空間回転変換が生成される.
こうして連続な正準変換がそれに対応するNoetherチャージによって生成されることがわかった.
またそれらはPoisson括弧の形にまとめられる.
座標とNoetherチャージのPoisson括弧は
となり,座標 の微小変換を表す.
さらにNoetherチャージどうしのPoisson括弧は,まずHamiltonianと運動量・角運動量は,
となり,運動量・角運動量たちでは
運動量と角運動量のPoisson括弧式
となる.