LSZの簡約公式

スポンサーリンク

生成・消滅演算子と場の演算子の関係

LSZの簡約公式を求める前に、生成・消滅演算子と場の演算子の関係について考える。

量子力学を思い出すと、ある固有値が観測される確率振幅は、その固有関数と状態ベクトルの内積で、ちょうど状態ベクトルの展開係数となっていた。

クライン-ゴルドン方程式の内積を使って、運動量kの固有関数φkと状態ベクトルϕの内積を計算してみると、
k|ϕ=id3x(φkϕtφktϕ)=id3x[{1(2π)32ωkeikx}{d3kiωk(2π)32ωk(akeikxakeikx)}{iωk(2π)32ωkeikx}{d3k1(2π)32ωk(akeikx+akeikx)}]=d3xd3kωk(2π)3ωkωkakei(kxωkt)+i(kxωkt)=d3kωkωkωkakei(ωkωk)tδ(k+k)12πei(kk)xdk=δ(kk)=akf(k)δ(kk)dk=f(k)
となり、予想したとおり、状態ベクトルの展開係数が求まる。同様に
ϕ|k=id3x(ϕφktϕtφk)ϕ=ϕ=ak
となる。以上より、クライン-ゴルドン方程式の展開係数と場の関係式は、
ak=id3x(φkϕtφktϕ)=id3x[{1(2π)32ωkeikx}ϕt{iωk(2π)32ωkeikx}ϕ]=d3x1(2π)32ωkeikx(it+ωk)ϕ
となる。同様に(もしくは複素共役から)
ak=d3x1(2π)32ωkeikx(it+ωk)ϕ
となる。さらに、4次元の表記にするために両辺を変形(時間で微分して積分)すると
dttak=dtd3x1(2π)32ωkt{eikx(it+ωk)ϕ}=d4x1(2π)32ωk{iωkeikx(itϕ+ωkϕ)+eikx(it2ϕ+ωktϕ)}=d4x1(2π)32ωkieikx(t2+ωk2)ϕ=id4x1(2π)32ωkeikx(+m2)ϕωk2=k2+m2=2+m2
となり、左辺の積分を実行して、
ak()ak()=id4x1(2π)32ωkeikx(+m2)ϕ
となる。同様に(もしくは複素共役から)
ak()ak()=id4x1(2π)32ωkeikx(+m2)ϕ
となる。展開係数と場を演算子に読み替えると、場の量子論での生成・消滅演算子と場の演算子の関係式が表せる。

LSZの簡約公式

ここから場の量子論に戻って、粒子がm個からn-m個に散乱することを考える。ti=tf=のとき、
Df|S|iD=Hf(tf)|i(ti)H=HΩ|akm+1(tf)akn(tf)ak1(ti)akm(ti)|ΩH=HΩ|T{(akm+1(tf)akm+1(ti))(akn(tf)akn(ti))(ak1(ti)ak1(tf))(akm(ti)akm(tf))}|ΩH
となる。上記で求めた生成・消滅演算子と場の演算子の関係式を使って、
Df|S|iD=i=m+1n{id4xi1(2π)32ωkieikixi(i+m2)}i=1m{id4xi1(2π)32ωkieikixi(i+m2)}HΩ|T{ϕ1ϕn}|ΩH
となり、この式をレーマン-ジマンチック-チンマーマン(LSZ)の簡約公式と言う。


【参考図書】

posted with カエレバ

スポンサーリンク

“LSZの簡約公式” への2件の返信

  1. ありがとうございます。自分も勉強中です。
    あもんさんのページも参考にさせていただきます!

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です