※この記事は
「ゲージ対称性とは何か(8):Yang-Mills理論とDiracの方法」
の続きです。
Notationは以下です:
- はPoisson bracketを表す
- Lagrangeの未定係数(Lagrange multiplier)を"Lm"と略す
- 拘束の「時間発展に対する無矛盾性」= 「拘束が時間発展しても保たれること」を"c.t.e."(consistenty of time evolution)と略す
はじめに
ここまでDiracの方法を述べてきました。一連の記事で紹介した方法は、いわゆる「Diracの予想」に基づいています。しかしDiracの予想は特殊な場合に間違った結果をもたらすことが知られています。「ならなぜそれを使うのか」と疑問を持つ方もいるのではないかと思ったので、Diracの予想に基づいた議論のメリットを書いておきます。
形式と形式
Diracは形式と形式と呼ばれる2つの方法について考察しています(Ref.[1]):
2つのDiracの方法
形式:Hamiltonianに第1次拘束条件のみ取り込む
形式:Hamiltonianに第1次および2次的拘束条件をすべて取り込む
これまで紹介した方法は2.の形式です。
Diracは、最初形式、その後形式を議論しました。
形式は問題のない方法です(※記事末注参照のこと)。
しかし形式は、その正当性が証明されていたわけではありませんでした。
形式でうまくいくだろう、つまり
Diracの予想
1次拘束と2次的拘束は同等に扱い、すべて未定係数法でHamiltonianに取り込んでよい
とDiracは考えました(Ref.[1])。
その後この予想に関し、まともな力学系では問題ないけど、特殊な例では反例があることがわかりました(反例は例えばRef.[1]の例題10.1, 10.2やRef.[2]にあります。Frenkelの模型は興味深いモデルらしいです)。
ならば、なぜ正当性が完全には保証されない形式を用いるのでしょうか。
その1つの理由は(もしかしたら私の知らないほかの理由もあるかもしれないので「1つの」にしておきます)
形式ではゲージ固定の選び方に強い制限がかかる。ではそれがない。
からです。
以下これを見ていきます。
形式と形式の違い
以下Lagrange multiplierをLmと略します。また時間発展に関する無矛盾性=時間発展で拘束条件が保たれることをc.t.e.(consistency of time evolution)と略します。
形式
簡単に形式を振り返ります。
この形式では、1次拘束・2次的拘束すべてに対応するLmがHamiltonianに存在します。これらが決定されるには
として、各拘束の時間発展が弱い意味でゼロ、すなわち
がを決定すればいいです。
そのためには
が逆を持てばいいです。
しかしこのは、拘束の数ぶんだけのrankを持つとは限りません。
一般には、基底を適切に取り直すと
と書けます。ここでは第1類拘束条件と呼ばれ、すべての拘束とのP.B.がゼロとなる拘束、は第2拘束条件と呼ばれ、1つ以上、他の拘束とのP.B.でノンゼロのものがある拘束です。
これより、第1類拘束の数だけ定まらない未定係数が存在することがわかります。
これを定めるため、第1類拘束の数だけゲージ固定を課します。
するとゲージ固定のc.t.e.より
から、が逆をもつなら、決まっていなかった未定係数が定まります。
あとはで時間発展を計算してもいいし、または力学変数間のDirac bracketを計算し、それを使って運動方程式を計算してもいいです。
この手続きより
形式の特長(メリット)
形式では、Lmが定まることと、c.t.e.が成立することが等価
であることがわかります。
形式
ところがでは命題1が成立しません。
ゲージ固定の数はでもと同じく、第1類拘束条件の数だけ必要です。
しかし、形式では、2次的拘束条件に対するLmが存在しないため、定まらないLmの数は、第1類拘束の数より少ない(または等しい)です。少ない場合、ゲージ固定に関するc.t.eを要請すると、そのうちのいくつかにおいて自由に決められるLmが存在せず、その成立を"運任せ"にするしかない可能性があります。実際には、うまくc.t.e.が成立するゲージ固定を採用する必要があります。
要約すると以下のようになります:
形式では、Lmが定まることとc.t.e.が成立することは等価ではない。一般に、第1類拘束の数だけ未定のLmが存在するとは限らず、ゆえにゲージ固定に対するc.t.e.の成立は非自明になる
との違いの具体例:Yang-Mills理論
Ref.[1]に、2つの方法の違いを示す良い例が載っています。それが以下です:
Yang-Mills理論における形式
Yang-Mills理論:
において、形式ではゲージ固定
を採用できない
前回Yang-Mills理論において、形式で
を使ってDiracの方法を展開しました。これは何も問題ありません。
一方、形式ではこのゲージを採用できません。これを見てみましょう。
以前の記事で書いたように、拘束条件は
でした。は第1次拘束、は2次的拘束です。また
であることから、これらは第1類拘束です。対応してゲージ固定も2つ必要です。
ゲージ固定として、以前と同様
を採用してみます。
形式では、時間発展は
で計算します。Hamiltonianに現れるLmは、第1次拘束に対するもののみです。そしてこの係数は、のc.t.e.から定まります:
すると、のc.t.e.が非自明になります。すなわち
はがすでに定まっているため、弱い等式でゼロになるかわかりません。
そして実際計算してみれば、ゼロにはならないことがわかります。
Yang-Millsにおいて、形式で採用できるゲージ固定としては、例えば
があります(Ref.[1])。
ゲージ固定のc.t.e.をチェックしてみると
また
ですが、Poisson bracketの左側にがあるため、この式にはが残ります。すなわちこの式はLmを決定する式であり、よってに関してもc.t.e.が成立します。
このようにうまくいくのは、以下の条件
- : が未定のまま残る
- としてを採用する: のc.t.e.が成立する
- : が定まり、のc.t.e.が成立する
を満たすゲージ固定を採用したからです。
まとめ
今回は、なぜ拘束の議論において、正当性が保証されていない「Diracの予想」に基づく形式を用いるのか?に関して議論しました。
答えは
形式ではLagrange multiplierの数が少なく、うまくゲージ固定を選ばないと、ゲージ固定に対する時間発展の無矛盾性を満たすことができない。そのようなことのない形式のほうが扱いやすい(かつ通常の力学系では形式は正しい)
ということでした。
おしまい。
☆次の記事:
ゲージ対称性とは何か(10): 拘束を無闇に使うと誤る系
(注) FrenkelはRef.[2]において、でもでも間違う模型を提示しました。しかしその後では正しく扱えることがわかったようです(Ref.[1]の例10.2にそれが示してあります)。