Prerequisite
任意函数 に対して次のような記号を定義する:
Poisson括弧
これをPoisson括弧という.
任意の函数 の時間微分をとってみると,
正準方程式から,
したがってPoisson括弧の定義より,
となる.
すると函数 が保存量となるための条件は,
とかける.
特に が時間の陽な依存性を持たない場合には,
である.
または のときには,
が成り立つ.
これは正準方程式の別の表現である.
ではPoisson括弧の満たす性質を調べていこう.
Poisson括弧は定義から明らかに次を満たすことがわかる:
ここで は によらない定数.
また定義は微分を含むのでその線型性とLeibniz則から,
が成り立つ.さらにJacobi恒等式,
Jacobi恒等式
が成立する.
これについては証明をしておこう.
そのためにPoisson括弧の別の表記を導入する.
に対して 個の成分を持つベクトル,
を定義するとPoisson括弧は,
ここで は,
成分を行列にしてかけば,
以下の議論では同じ添え字が現れたときには まで和をとるものとして を省略し,偏微分も と簡略化して とかく.
この記法でJacobi恒等式の左辺の第1項を書き換えると,
微分を計算して展開すれば,
となる.第1項を ,第2項を とおいておく.Jacobi恒等式左辺の残りの2項についても同様の計算から,
ここで に注目すると,
和をとっている添え字は他の和をとっている添え字と入れ替えてもよい.そこで第2項で と順ぐりに添え字を入れ替えると,
となって, となる.他の組み合わせ でも同様にして0に等しいことがわかる.以上よりJacobi恒等式が示された.
Poisson括弧に座標,運動量を入れてみると,
さらに重要な場合として,
基本Poisson括弧式
が成り立つ.これらを基本Poisson括弧式という.Poisson括弧は正準変数が満たすべき基本的な式となる.また量子力学へと移行する際の手がかりにもなる.
最後にPoissonの定理について述べておこう.
Poissonの定理
函数 が時間によらない保存量としよう.このとき からつくられるPoisson括弧 も保存量となる.
時間微分をとると,
第1項の計算をすすめよう.定義を代入して,
時間微分と正準変数による微分は交換できるから積の微分より,
すなわち,
第2項についてはJacobi恒等式より,
以上のことから,
時間の全微分で書けて,
が保存量ならば時間による全微分は0に等しい.したがって次のことが導かれる:
すなわちPoissonの定理の主張が示された.
例として角運動量をとってみよう.もし角運動量の 成分 が保存量であることがわかったとする.するとPoissonの定理から も保存量である.この量は具体的に計算すると,
だから の 微分, の 微分は消える.結局 微分の項だけが生き残って,
したがって,
つまり角運動量の 成分も保存量となる.この関係は他の組み合わせでも同様であり,
が成り立つ.
Problems
角運動量と正準変数のPoisson括弧式を計算せよ: .
角運動量は定義より .これを代入してLeibniz則を用いれば,
基本Poisson括弧式より,
が得られる.
角運動量テンソル と正準変数のPoisson括弧式を計算せよ: .
角運動量テンソルの定義を代入しLeibniz則を用いれば,
基本Poisson括弧式より,
が得られる.
角運動量テンソル どうしのPoisson括弧式を計算せよ: .
1つ目の角運動量テンソルに定義を代入しLeibniz則を用いれば,
前問の結果を使うと,
Kroneckerのデルタで添字 を消去して整理すると,
が得られる.
次のように各項を書き換えてPoisson括弧のJacobi恒等式を示せ:3つの函数 を として,
ただし .
上述の表記ではJacobi恒等式の左辺は,
微分を展開して,
は完全反対称である一方,第2項と第3項の1階微分の2つの因子は対称であるのでそれぞれ0に等しい.
また第4項で と順ぐりに添え字の入れ替えを行えば,第1項と打ち消しあう.
したがってJacobi恒等式がふたたび示された.
“Poisson括弧” への3件のフィードバック