物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

プロカ場の改良

途中まではいい感じだったのだが・・・
作成:2018/11/29

ラグランジアン密度の簡略化

前回の記事できれいな結論が出せなかったので,もっといい方法がないかどうかを考えてみよう.質量項を追加したせいで場に最初からローレンツ条件が課されることになったのだった.では最初からローレンツ条件が成り立つことを前提としてラグランジアン密度を作ったら良かったのではないだろうかローレンツ条件を利用していればもっと違った形からスタートできたのではなかろうか

前回使ったラグランジアン密度は次のようだった. 数式 そしてローレンツ条件は次のようである. 数式 見たところ,どうも簡単になりそうにはない.展開してから当てはまる部分を探す必要があるだろうか

前回∂^μ A^ν ∂_ν A_μの部分を展開したものを眺めてみると,これは(∂_μ A^μ)^2とまるで同じになるのではないだろうか 数式 つまり,前回,膨大な項の計算に悩まされたが,最初から次のように簡略したものを使っても良かったということではないか 数式 参考までに,ε_{0}=ℏ=c=1であるような単位系を使えばもっと単純だ. 数式 ここからプロカ方程式も導くこともできるし,前回の話がほとんどそのまま再現される.


ハミルトニアンを計算してみる

違いが出てきそうなのはハミルトニアンの計算あたりからだろう.そのためにまずは運動量密度π_iを計算してやる必要がある. 数式 この計算に質量項が関係しないのは前回と同じ.計算すべき部分については前回展開したものがあるから楽である.次のように展開できるのだった. 数式 なるほど,これを使えばπ_{0}は 0 にならないし,他の成分も項が一つのみで済んで,どれも同じ形式だ. 数式 ハミルトニアン密度というのは次のように表される.(2) 式を当てはめてみよう. 数式 これはLの中の項に同じ形のものがあるし,係数が 1/2 だけ違うので完全に打ち消し合わずに符号だけを変えて,次のようにきれいにまとまる. 数式 これは前回,小細工をしてやっとのことで得たものと同じである.勝手に都合のいい形にまとまってくれた.前回,なぜ早くこれに気付いて試さなかったのかと悔やまれる.

ここからは全く同じ議論で進められるし,しかも残りの項とやらを計算する必要もない.あれが 0 になるのを確かめるのはかなり骨を折ったのだった.

復習のために,この後の流れをもう一度まとめておこう.上のハミルトニアン密度Hに場の演算子 数式 を代入して全空間で積分してやるとハミルトニアンが次の形で得られる. 数式 ここまでの計算に特に生成演算子\hat{a}_{kα}などの性質は使う必要はなくて,ただ順序を変えないように気を使っただけである.このハミルトニアンの物理的解釈をはっきりさせるために 数式 という形が得られるようにしたいのなら,あらかじめ (3) 式ではなく係数に小細工を加えた次のようなものを使えば良かった. 数式 以上である.


正準交換関係の確認

次は正準交換関係の確認である.前回はこれでひどい目に遭わされたのだった.期待は大きい.

(4) 式を (2) 式に代入することで運動量密度の演算子が次のように作れる. 数式 なんと,最初からk^νなどは出てこないというのかもう悩みのタネが消えてしまっている.

さて,ν=0の場合とν=1~3の場合とで符号が違うだけであるから,あまり気にせずとりあえずはν=1~3の場合だけを考えて計算を進めてやるとしようか.いや,場合分けの必要はない.これらのπ_νは今は共変成分での表示になっている.反変成分に変えてやれば第 0 成分の符号だけが変わって,次のように 4 つの成分を全く同じ形で表せるようになるのである. 数式 何もかも都合よく進み過ぎで怖いくらいである.ではこれを使って計算に取り掛かろう. 数式 と思ったが,よく見れば,これは前回[\hat{A}^μ, \hat{ρ}^ν]というのを長々と計算したのと全く同じ形であるから,途中をかなり省略することができて,次のようになる. 数式 しかし,やはりここで一旦行き詰まる.ε^μ_{kα}kの関数になっているので積分が簡単に実行できないのだった.どう進めばいいだろうか次のような関係が成り立っていることは前回導いたのだった. 数式 ただしk^{0}=ω/cである.しかしこれを (5) 式に代入してみたところできれいにまとまる気がしない.前回はk^μ k^νを含む項を打ち消してくれる項が存在していたが,今回はこれが全てなのだ.腹を括ってこのまま頑張って変形を続けてみよう. 数式 余計な項を消す方法が見当たらない.色々と試してみたがやっぱり無理だった.うまくいかない原因がはっきりすれば諦めも付くのだが,それもよく分からない.自分の能力不足のせいで処理できないだけだという可能性も残ったままだ.


教科書ではどうなっているか?

他の教科書ではどうしていただろうかと調べてみると,こんな風には計算していないようである.ここまでの計算では,\hat{A}^μの 4 つの成分には実は自由度が 3 つしかないというのでε^μ_{kα}という 3 つの単位ベクトルを導入してみたわけだが,なんと,それら全てに直交するもう一つのベクトルも使っているのである.それは前回仕方なく探してみることになったε^μ_{k0}のことである.

つまり,場の演算子を次のように定義して計算を進めているのである. 数式 (4) 式との違いは,和の記号のところがα=0~3の範囲になっていることである.

果たしてこれだけでうまく行くだろうか4 つの単位ベクトルの成分についてはミンコフスキー内積を考える必要があったので,次のような関係が成り立っているのだった. 数式 今まで通りの考え方で計算すると,この最初のマイナス符号が出てこないのである.ではそこをどのように解決しているかと言うと,生成消滅演算子の交換関係を少し変更して,次のような関係を使っているのである. 数式 右辺のδ_{α,α'}だったところをミンコフスキー計量η_{α,α'}に変えている.なるほど,こうしておけばα=α'=0となる時だけはマイナス符号を出てこさせることができるわけだその結果として場の交換関係を次のように気持ち良くまとめることができるのである. 数式 確かに気持ちはいいのだが,少し疑問も残る.生成消滅演算子の交換関係の右辺がマイナスになるというのは果たしてどういう意味があるのだろうかまた,4 つ目のベクトル成分があるとローレンツ条件に反することになるので,それに相当する粒子は存在して欲しくないはずだが,それをわざわざ式に入れておくというのはどういうつもりだろうか

宇宙がそういう理論構造の方を推奨していて,該当する粒子を存在させない何らかの機構を別に有しているのか,あるいは表現力に制限のある人間側の都合によってこのように表さざるを得ないだけなのか,このまま話を進めていけば解決できるだろうか


ゲージ固定項

今回の記事のタイトルが「プロカ場の改良」になっているが,もっと手放しでうまくいくことを期待していたのである.結局は,「最初からゲージを固定したラグランジアン密度を使って計算をやり直してみました」というだけの話になってしまった.もしうまく行ったなら,電磁場の方も同じようなやり方を取り入れて整理し直してやろうと思っていたが,ちょっと疑問が増えてしまってそれどころではない感じになってしまった.

今回やったことは,ゲージを固定するためにラグランジアン密度から1/2 c^2 ε_{0}(∂_μ A^μ)^2のような項を引いたのだとも言える.それでε_{0}=c=ℏ=1とする流儀を使って書いてみるが,次のような表記が行われたりする. 数式 この第 2 項のことを「ゲージ固定項」と呼ぶのである.

これについてはもう少しだけ広い見方も出来る.今回付け加えたゲージ固定項はローレンツ条件が成り立っている限りは 0 であるので,特にこの形に限らなくても,例えばこれを定数倍したようなものを足したり引いたりしても良かったのである.そのような自由度を利用して計算が楽になるようなラグランジアン密度の形を探し当てたのだ,とも言えるかも知れない.



趣味の物理学書店

趣味で量子力学2の広告バナー