Prerequisite
変数変換
を施しても正準方程式が不変なとき正準変換と定義した.
この節では運動方程式の不変性は作用またはLagrangianの不変性に込められることに着目しよう.
新旧それぞれの正準変数で定義される作用 と に対して,導かれる運動方程式が不変であるためにはその違いが座標と時間の函数の全微分程度でなければならない:
作用の変分の式より軌道が運動方程式を満たし,初めの時刻の端点を固定する条件のもとでは作用を終わりの端点の時間 と座標 の函数とみなすことができて
とかける. より,
を計算して整理すると,
これが任意の と で独立に成り立つためには,
が決まればこれら3式から と と新旧のHamiltonianの関係が得られる.
言い換えれば函数 は正準変換 を生成する.
この を正準変換の母函数 (generating function) という.
母函数 は座標のみの函数であり,運動量がその座標微分で求められるような変換だけがこの母函数によって可能である.そのため座標変換 のような変換を表すことができないことがわかる.
母函数の微分は,
母函数の微分 (1)
である.
この式にLegendre変換を施して をつくろう.つまり2つ目の関係式を について解いて を求めて,
で を定義する.微分は,
母函数の微分 (2)
となる.偏微分係数から,
あと の をLegendre変換した と と の両方を変換した を考えられて,それぞれ微分は,
母函数の微分 (3), (4)
ここから導かれる関係式は,
以上から4つの正準変換の母函数 が得られた.
簡単な例で母函数を具体的に求めてみよう.
まず恒等変換 について考えよう.
で生成しようとすると の 微分と 微分の 倍がどちらも でなければならないが,それはどういう函数形でも不可能である.
恒等変換では と を独立な変数として扱えないために から生成することができないのである.
では ではどうかというと をとれば,
となって恒等変換を生成することがわかる.
さらに では生成できず では にとれば生成できる.
たしかに と では引数が独立に選ばれている.
次に座標変換 の母函数を求めよう.
座標変換に伴って運動量は と変換されるものとする.
恒等変換からヒントを得て という形を仮定する.ただし は元の座標の任意の函数である.
このとき,
でありたしかに座標変換を生成している.運動量の変換に注目すると という因子は座標変換 に関するJacobi行列に等しい.座標変換が正則ならば逆変換 も存在して
とかける.
母函数 の微分が積分可能であり が存在するための必要十分条件について考えてみよう.
を独立変数にとって を元の変数 で変数変換すれば,
が の函数として完全微分である( が存在する)ための必要十分条件は,一般のポテンシャル論より,
である.今 は独立なことに注意してそれぞれを整理すれば
ここで新たにLagrange括弧
Lagrange括弧
という記号を導入すると,上から3つは
と表記される(プライムは新正準変数で定義されたLagrange括弧を意味する).
これらは基本Lagrange括弧式
基本Lagrange括弧式
が正準変換のもとで値を変えないこと示している.
基本Lagrange括弧式の不変性は基本Poisson括弧式の不変性と等価であることは簡単な連立方程式を解くことで示せる.
基本Lagrange括弧式の1つ目に をかけて,2つ目に をかけ,それぞれ について和をとる.その後2式の差をとれば,
一方で基本Lagrange括弧式の1つ目に をかけて,3つ目に をかけ,それぞれ について和をとる.その後2式の差をとれば,
得られた2式について,1つ目に をかけて,2つ目はまず添字 を に変えてから をかけ,それぞれ について和をとる.その後2式の和をとれば,微分の鎖法則により
が導かれる.同様の手順で が示せる.
以上により母函数が完全微分のための条件から正準変換のもとでの基本Poisson括弧式の不変性が示された.
では完全微分のための条件の残りの4つ目と5つ目の条件についても見ていこう.
4つ目に をかけ,5つ目に をかけ,それぞれ について和をとる.その後2式の和をとれば,微分の鎖法則により
同様にして4つ目に をかけ,5つ目に をかけ,それぞれ について和をとる.その後2式の和をとれば,
の時間微分は の函数とみなすとPoisson括弧の一般的な性質により
であるが今得られた条件とPoisson括弧の不変性から新正準変数での正準方程式 が導かれる.
以上の議論により次のことがわかる:
変換 に対して
が完全微分である
基本Poisson括弧が不変かつ次の正準方程式が成り立つ:
Poisson括弧の値は正準変換のもとで不変なので,変換後を意味するプライムは省略した.
Problems
2次元直交座標 から平面極座標 への座標変換の母函数を求め,極座標での運動量 を求めよ.
座標変換 の母函数は である.
極座標への変換式は
であるから
が求める母函数である.運動量は なので,
となる.ベクトル表記では ( は位置の方向ベクトル)であり,運動量の動径方向成分に等しい.他方 は角運動量に等しいことが見てとれる.
時間のあらわな依存性を持つが座標変換には変わらないので母函数を
に選べば良い.運動量は なので,
となる.Hamiltonianは より
“正準変換の母函数” への2件のフィードバック