電磁場の共変的量子化(中西-Lautrap理論)(1)
ちょっと息抜きで,電磁場を共変的に量子化する「中西-Lautrap理論」の概略でも書いてみます。
自然単位系c=hc=1 (ただしhc≡(h/(2π))での,自由電磁場Aμ=(φ,A)の単独のラグランジアン密度は,LEM=-(1/4)FμνFμν,Fμν≡∂μAν-∂νAμで与えられます。
理論が有するゲージ変換の自由度を消して,ゲージを固定するため,補助場Bというものを導入して,LEM=-(1/4)FμνFμν+B(∂μAμ)+(1/2)αB2としてみます。
これに対する,オイラーラグランジュ方程式∂ν(∂LEM/∂(∂νAμ))-∂LEM/∂Aμ=0 ,および∂ν(∂LEM/∂(∂νB))-∂LEM/∂B=0 から,運動方程式として,∂νFνμ-∂μB=0,すなわち,□Aμ-∂μ∂νAν-∂μB=0 ,および∂μAμ+αB=0 を得ます。
Aμに対する運動方程式:□Aμ-∂μ∂νAν-∂μB=0 に,∂μを掛けると,□B=0 を得ますから,補助場Bも質量がゼロのスカラー粒子を表わす場です。
そして,Bに対する運動方程式:∂μAμ+αB=0 をAμに対する運動方程式:□Aμ-∂μ∂νAν-∂μB=0 に代入すると,□Aμ-(1-α)∂μB=0 が得られます。
それ故,α=0 のときにのみ,∂μAμ+αB=0 がローレンツ条件:∂μAμ=0 に一致し,α=1のときにのみ,Aμに対する運動方程式□Aμ-(1-α)∂μB=0 がダランベール方程式:□Aμ=0 に一致します。
これらの特別なゲージ,α=0 をランダウ(Landau)ゲージ,α=1をファインマン(Feynman)ゲージといいます。
ただし,□∂μAμ=0,□2Aμ=0 はαの値に無関係に成立します。
さて,LEM=-(1/4)FμνFμν+B(∂μAμ)+(1/2)αB2により,正準運動量は,πk=∂LEM /∂(∂0Ak)=-∂0Ak+∂kA0=-F0k(=Ek),π0=∂LEM /∂(∂0A0)=Bとなります。
そして,同時刻における通常の正準交換関係:[Aμ(x0,x),πν(x0,y)]=iημνδ3(x-y),[Aμ(x0,x),Aν(x0,y)]=[πμ(x0,x),πν(x0,y)]=0 を設定します。
これから,[Aμ(x0,x),∂0Ak(x0,y)]=iδμkδ3(x-y),[Aμ(x0,x),B(x0,y)] =-iημ0δ3(x-y),[Aμ(x0,x),Aν(x0,y)]=0,[∂0Aj(x0,x),∂0Ak(x0,y)]=0,[∂0Ak(x0,x),B(x0,y)]=0,[B(x0,x),B(x0,y)]=0 が得られます。
必要なもののうち,∂0A0と∂0Bだけが現われていませんが,これらのうち∂0A0は,∂μAμ+αB=0 により,∂0A0=(Σk∂kAk)-αB,そしてまた,∂0Bは□Aμ-∂μ∂νAν-∂μB=0 により,∂0B=□A0-∂0∂νAν={Σk∂k(∂0Ak)}-△A0と表現できます。
よって,これらの同時刻交換関係は,計算で得ることができます。例えば[B(x0,x),∂0B(x0,y)]=0 です。
ハミルトニアンHEMをHEM=∫d3xHEM^(x)と書けば,その密度はHEMM^(x)=πμ∂0Aμ-LEM(x)=(-ΣkF0k∂0Ak)+B∂0A0+(1/4)FμνFμν-B(∂μAμ)-(1/2)αB2=(1/2)Σk(F0k)2+Σj,k(1/4)(Fjk)2-(1/2)αB2+∂kΣk[F0kA0+BAk]-Σk[(∂kF0k)A0+(∂kB)Ak]で与えられます。
運動方程式∂νFνμ-∂μB=0 によれば,Σk∂kF0k=∂0Bですから,HEM(x)=(1/2)Σk(F0k)2+Σj,k(1/4)(Fjk)2-(∂0B)A0-Σk[(∂kB)Ak]-(1/2)αB2と置けば,HEM^(x)=HEM(x)+∂kΣk[F0kA0+BAk]と書けます。
空間積分においては,∂kΣk[F0kA0+BAk]の項は効かないので,この項を省いても同じですから,HEM=∫d3xHEM(x)となります。この新しいHEM(x)の方をハミルトニアン密度と解釈します。
補助場B(x)は,ダランベール方程式□B=0 の解ですが,電磁場Aμ(x)は運動方程式:□Aμ-(1-α)∂μB=0 を満たします。そこで,Aμは,□2Aμ=0 の解ですが,α=1以外では,ダランベール方程式□Aμ=0 の解ではありません。
したがって,Aμ(x)=(2π)-3/2∫d4pθ(p0){aμ(p)exp(-ipx)+aμ+(p)exp(ipx)}と4次元的運動量表示をしても,一般には,□Aμ≠0 のため,p2=0 以外でもaμ(p)がゼロでない意味を持つことになります。
すなわち,質量がゼロのp2=0 の近傍でのみ,aμ(p)が意味を持つという付帯条件を付けることなどが必要になります。
あるいは,p2≠0 のaμ(p)をどう解釈するか?を指示しないと,この運動量表示は不完全です。
以下では,こうしたことを明確にするための準備をします。
まず,□B=0 の解のB(x)を求めるために,ダランベール演算子の逆演算子:□-1を求める必要があります。
□D(x)=δ4(x)を満たす,グリーン関数□-1δは,一般に不変D関数と呼ばれ,フーリエ(Fourier)積分の形では,D(x)≡Dret(x)-Dadv(x)=i∫d4k(2π)-3θ(k0)δ(k2){exp(-ikx)-exp(ikx)}と表わされます。
ただし,Dret(x),Dadv(x)はそれぞれ遅延グリ-ン関数,先進グリーン関数です。
(2006年12/16の記事「電流によって発生する光子の個数分布」http://maldoror-ducasse.cocolog-nifty.com/blog/2006/12/post_a73e.html を参照)
ダランベール方程式□B=0 の解は,B(x)=∫d3z[{∂D(x-z)/∂x0}B(z)+D(x-z)∂B(z)/∂z0]の積分形で書けます。
(2006年10/3の記事「ホイヘンスの原理の正当性」http://maldoror-ducasse.cocolog-nifty.com/blog/2006/10/huygens_8c9a.html を参照)
もしも,非同次方程式:□ψ=ρの解ψを表現するのであれば,ψ(x)=C(x)+∫d4zD(x-z)ρ(x), □C=0 と書いていいのでしょうが,Bは同次方程式の解なので,初期値問題に対するキルヒホッフ表示に書きました。
ということは,□Aμ-(1-α)∂μB=0 は,Aμ(x)=Cμ(x)+(1-α)∫d4zD(x-z){∂B(z)/∂zμ},□Cμ=0 という表現もできますね。意味あるかどうかは知らないけど。。
一方,電磁場Aμ(x)は□2Aμ=0 の解なので,□2の逆演算子(□2)-1が存在するのなら,それに相当する□2のグリーン関数E(x)も求めておきましょう。
すなわち,□2E(x)=δ4(x)を満たすローレンツ不変な関数E(x)を求めます。
安易な道を取るなら,□D(x)=δ4(x)なので,D(x)=□E(x)なるE(x)を求めれば,□2E(x)=δ4(x)となるはずですから,E=□-1Dを利用して形式的には直ちにE(x)が得られるはずです。
そして,D(x)=Dret(x)-Dadv(x)ですから,Dret(x)=□Eret(x),Dadv(x)=□Eadv(x),により,E(x)=Eret(x)-Eadv(x)を満たすEret(x),Eadv(x)も得られるはずです。
いかにも途中ですが,今日はここで終わります。あとで書き直すかもしれないけど。。。
参考文献:中西 襄 著「場の量子論」(培風館)
PS:冤罪が晴れて無実が証明された菅家さん。それでも,不幸中の幸い?でした。死刑が確定しているような事件で執行されていれば取り返しがつきません。
(彼の今の外見から20年前の事件当時の人物像を推し量ることはできません。私は,その温厚で人格者のような外見は,長年の理不尽な扱いに対する諦観等で培われてきたところが大きいと思うからです。
穏やかな人でも,何らかの事情(例えば正当防衛に似たもの)で,止むを得ず,殺傷するような人はいるでしょう。
しかし,当時,恐らく個人的性癖とかの理由だと思いますが,それで幼女を殺すような人物に見えたのでしょうか? 私には疑問です。)
本当に17年もの長い間ほうっておいてゴメンナサイ。。。
心から謝罪します。。。。
(世の中に,理不尽がまかり通っていることを許している責任の一端は,私を含めあらゆる人にあるはずです。)
そういえば,狭山事件の石川一雄さんはどうなったんだろう。。。
(2006年6/9の記事「狭山差別裁判」http://maldoror-ducasse.cocolog-nifty.com/blog/2006/06/post_c46a.html 参照)
PS2:長崎のじゃがいもを貰ったのですが,肉とか他の食材がないので,昨日(6/6)は「イモの煮っころがし」と「ジャガイモとワカメの入った味噌汁」を作りました。
前者は追いガツオなどもやりましたが,レシピ通りに味付けするとどうも甘すぎるようです。
前に玉子焼きも味付けをレシピに頼ると甘すぎたので,このレシピの著者(甘党?)の味覚は私には合わないと思います。これからは,砂糖は半分以下に減らすつもりです。
http://folomy.jp/heart/「folomy 物理フォーラム」サブマネージャーです。
人気blogランキングへ ← クリックして投票してください。(1クリック=1投票です。1人1日1投票しかできません。クリックすると人気blogランキングに跳びます。)
← クリックして投票してください。(ブログ村科学ブログランキング投票です。1クリック=1投票です。1人1日1投票しかできません。クリックするとブログ村の人気ランキング一覧のホ-ムページームに跳びます。)
http://www.mediator.co.jp/category/pages.php?id=115「中古パソコン!メディエーター巣鴨店」
(Dellの100円パソコン(Mini9)↓私も注文しました。)
ヤーマン プラチナゲルマローラー 1日3分コロコロエステ!ローラー型プラチナ配合美顔器
お売りください。ブックオフオンラインのインターネット買取 展開へ! ▼コミック 尾田栄一郎 「ONE PIECE(52)」
▼コミック 「ONE PIECE」をオトナ買い
三国志特集 ▼コミック 横山光輝 「三国志全巻セット」 「三国志(文庫版)全巻セット」
「三国志(ワイド版)全巻セット」
▼書籍 「三国志」/吉川英治
「三国志」/北方謙三
「三国志」/宮城谷昌光
| 固定リンク
「場理論・QED」カテゴリの記事
- 私のライフワーク(2006.03.20)
- 電磁気学と相対論(4)(真空中の電磁気学3)(2008.05.19)
- 光子の座標について(2009.10.28)
- 場の演算子とリー群(Lie群)の生成子(2007.08.07)
- カシミール効果(Casimir effect)(2008.03.28)
「素粒子論」カテゴリの記事
- 超弦理論(25)(2-14)(2009.12.13)
- S行列とレッジェ理論(2) (2007.08.23)
- S行列とレッジェ理論(1)(2007.08.21)
- 私のライフワーク(2006.03.20)
- 束縛状態とベーテ・サルピーター方程式(9)(2009.08.25)
「量子論」カテゴリの記事
- ヤング(Young)の干渉実験(8)(量子論)終わり(2008.01.02)
- 超弦理論(25)(2-14)(2009.12.13)
- S行列とレッジェ理論(2) (2007.08.23)
- S行列とレッジェ理論(1)(2007.08.21)
- 私のライフワーク(2006.03.20)



























コメント
ごめんなさい、妃鶴のママの携帯電話番語を教えて、いただけますか?よろしくお願いいたします。
投稿: れいな | 2009年6月10日 (水) 13時16分