場の量子論

物理学 > 場の量子論

[編集] はじめに

量子場の理論は主に素粒子を扱うための理論である。一般に物理的なものは常に量子的な状態として記述されねばならず、粒子といえども例外ではないといえる。一般に粒子は真空と呼ばれる何もない状態の中に1つの粒子が現われた状態として記述されるのである。このように粒子の存在を量子力学的に記述する方法として場の理論という方法が知られているのである。例えば、電磁気力をつたえる光子は $A _\mu$ という4元ベクトルで書かれるのだが、光子自体も粒子であるのでこの記述法は粒子の存在を記述する手法を示唆していると考えられる。つまり、場という量は何らかの仕方で粒子の記述をしていると考えられ、逆に粒子を記述する手法として場の量を用いることが考えられるのである。この項では、場の量を用いた粒子の記述法についてまとめる。

[編集] 相対論的量子力学

[編集] スカラー場

量子力学の基本法則ではハミルトニアンの中で運動量pで、

$\frac { \partial } { \partial \vec x}$

で置き換えることが主張された。このことは相対論的な式でも正しいことが予想される。このとき、質量mを持つ粒子で運動量pの粒子を考えると、その粒子の満たす式の1つとして、

$p^2 - m ^2 = 0$

があげられる。ここで、時空は4次元とし、計量はミンコフスキー計量を用いる。このとき、上の置き換えを用いると、波動関数を求める式として、

$(-\partial ^2 - m ^2) \phi = 0$

が得られる。この式をクラインゴルドン方程式と呼ぶ。この式をとくと、

$\phi = e ^ {i p x }, e ^ {-i p \vec x }$

が得られる。ここで、pとxはどちらも4元ベクトルであり2つの積は4次元ミンコフスキー計量を用いた内積である。この量を波動関数として用いることは可能であるが、ここでは異なった仕方で量子化を行なう。粒子が何もない状態を真空と呼ぶ。次に粒子を1つだけ作る演算子

$a ^\dagger$

を取る。このようなものを取ったとき、これを真空に作用させることで粒子がただ1つ存在する状態を作ることが出来る。このような手段をくり返すことで粒子が存在する仕方が全てつくせることが予想されるが、実際このような仕方は非常に便利であるので、ここではこの方法を導入する。

$\phi$

はここまででは波動関数と考えて来た。ここからは、この量を場の演算子と見なす。つまり、この量が真空や粒子がいくつかある状態によって張られるベクトルにかかる行列だと思うのである。このときこの量は上で得た

$(-\partial ^2 - m ^2) \phi = 0$

の方程式を満たすとする。更に、この演算子が

$< 0| a _i \phi | 0> = \psi _i$

を満たすことを要求する。ここで、 $a _i$ は量子数iで代表される状態の降下演算子であり、

$\psi _i$

は、量子数iで代表される状態の波動関数である。このように、ある状態を生み出す昇降演算子とその状態に対応する波動関数との間に対応をつけることでこれまでの結果をそれほど変化無く用いることが出来るのである。上の条件を満たす演算子は, $\phi$ を実数と仮定するとき

$\phi = \sum _ i \{ a _i^\dagger \psi _i + a _i \psi _i^* \}$

となる。ただし、昇降演算子には

$[ a _i , a _j ^\dagger ] = \delta _{ij}$

の交換関係があるものとする。ただし、 $\delta _{ij}$ はijが連続量ではデルタ関数となり、 ijが離散的な量ではクロネッカーのデルタとなるものとする。

[編集] スピノル場

[編集] ベクトル場

[編集] 粒子間の相互作用

[編集] 相互作用と摂動項

上で用いた方法をまとめるため、この系に対するラグランジアンを導入する。ただし、古典力学の場合と異なり、ここで扱う $\phi$ は、空間の1点ごとに一般には異なった値を持つためラグランジアン自体も空間の各点で異なった値を持つ。このようなラグランジアンを通常のラグランジアンと区別する意味でラグランジアン密度と呼ぶことがあり、一般に $\mathcal L$ で書くことが多い。また、ラグランジアン密度を用いることから運動方程式を導出する手法も変化する。古典力学では

$\int dt L(q,\dot q)$

を変分することで、

$\frac { dL}{dq } -\frac { d}{dt} ( \frac { dL }{d \dot q } ) = 0$

を導いた。今回はラグランジアン密度を用いて

$\int d^4 x \mathcal L (\phi , \partial ^ \mu \phi)$

を用いるため、同じ様な計算を用いると得られる運動方程式は

$\frac { dL}{d\phi } -\frac { d}{dx^\mu} ( \frac { dL }{d (\partial \phi/\partial x^\mu ) } ) = 0$

となる。この方程式を用いてクラインゴルドン方程式を得るようなラグランジアン密度として、

$\mathcal L = \frac 1 2 \partial ^\mu \phi \partial _ \mu \phi - \frac 1 2 m^2 \phi ^2$

が得られる。実際上の計算を適用すると、確かに

$(-\partial ^2 - m ^2) \phi = 0$

が得られるのである。次に上のラグランジアンにより複雑な項を加えることを考える。例えば、

$\mathcal L = \frac 1 2 \partial ^\mu \phi \partial _ \mu \phi - \frac 1 2 m^2 \phi ^2 - \frac 1 6 \lambda \phi ^3$

を考える。このときも同様の計算を用いると

$(\partial ^2 - m ^2) \phi - \frac 1 2 \lambda \phi ^2 = 0$

が得られる。しかし、この式は $\phi$ に関する非線形方程式であり、簡単に解くことはできない。このため、ラグランジアンに含まれる

$- \frac 1 6 \lambda \phi ^3$

の項を摂動として扱うことが重要となる。しかし、逆にこのことを用いると粒子間の相互作用を扱うことが出来ることが分かる。例えば、 2つの粒子 $\phi _1$ , $\phi _2$ を取り、ラグランジアンの中に

$\phi _1 \phi _2$

に比例する項をまじえたとする。このとき2つの粒子をオペレーターとして見たとき、それぞれの場は対応する粒子を消滅させるか生成する働きを持っている。例えば、上の項を2つの粒子のクラインゴルドン方程式の解に対応する状態の直積によって書かれた状態に対する摂動として用いたとき、 $|1 _i>$ を粒子1がiの状態にある状態とし、 $|2 _j>$ を粒子2がjの状態にある状態とすると、

$<2 _j|\phi _1 \phi _2 |1 _i>$

は一般には0でないことが分かる。つまり、上のような項を含むラグランジアンが用いられる系では粒子1は一定の確率で粒子2に変化することがわかる。このようにして、場の考え方を用いると粒子の生成消滅の描像が簡潔に記述できることが分かる。

[編集] プロパゲーター

ここで摂動計算を行なうときに頻繁に用いられる量を導入する。摂動計算に現われる量はラグランジアンの中に含まれる項である。実際に

$\phi^3$

に比例する項は3つの $\phi$ 演算子の積として摂動項に現われる。一般にスカラー場の場の理論を組み立てるときラグランジアンの中に常に現われる量として

$\phi ^*(-\partial ^2 - m^2 )\phi$

がある。この項を摂動として扱うと、

$<i| \phi (x) \phi(x) |j>$

の量が現われるがこの量は通常発散することが知られている。このため、この量を変化させて

$<0| \phi (x) \phi(x') |0>$

という量について考える。この量は一般には $x=x'$ で発散しない。この量をプロパゲーターと呼ぶ。実際に $\phi$ の昇降演算子を用いて計算することでこの量を得ることができる。

更にこの量をフーリエ変換して運動量表示にすることができるが、このときこの量は

$\frac 1 {p^2 -m^2}$

で与えられる。

[編集] 摂動展開

摂動を統一的に扱うため相互作用表示と呼ばれる表示を導入する。摂動を受けるハミルトニアンをHとし、摂動のハミルトニアンをVとする。更に、全ハミルトニアンをH'とする。このとき、演算子Oに対してO(t)を

$O(t) = e^{iHt} O e^{-iHt}$

で定義し、何らかの状態$|\gamma>$に対して

$|\gamma(t)> = \sum a _m(t) |m(t)>$

で状態を展開する。ただし、 $|m>$ はハミルトニアンHの固有状態とする。 (

注意

通常、系の時間発展は全ハミルトニアンの固有状態の時間発展だけで記述される。しかし、摂動を受ける場合には全ハミルトニアンの固有状態を知ることができないため、摂動を受ける前の状態を用いてその固有状態の組み合わせが時間的に変化するとすることが有効になる。詳しくは量子力学II参照。) このとき時間発展の方程式は、

$i \frac{\partial{{}}}{\partial{t}} |\gamma(t) > = H' |\gamma(t)>$

で与えられるが、この式は

$\sum _m \dot a _m (t) |m(t) > + a _m H |m(t) > = (H + V )|\gamma(t)>$

$\sum _m \dot a _m (t) |m(t) > = V \sum _m a _m (t) |m(t) >$

で与えられる。更に、 $m(t)>$ とは別のHの固有状態 $|n(t)>$ との内積を取ると、

$\dot a _n (t) = \sum _m V _{nm}(t) a _m(t)$

となる。ここで、aに関する表式はaをベクトルと見た場合

$\frac{\partial{{}}}{\partial{t}} a(t) = V(t) a(t)$

と書くことが出来、この解は

$a = e^{\int _{t _0} ^t dt V(t) } a _0$

で書くことが出来る。しかし、ここではVは通常 $\phi$ などの演算子で書かれる量だが、 $\phi$ については摂動を受ける前のハミルトニアンに関するハイゼンベルグ表示を用いたいので、

$V(t) = e^{iHt} V e^{-iHt}$

を導入する。これは、時間発展の方程式について元のハミルトニアンの状態について内積を取るとき、 $|m(t)>$ , $|n(t)>$ ではなく $|m>$ , $|n>$ について内積を取ることに対応する。このとき時間発展の方程式は

$\frac{\partial{{}}}{\partial{t}} a(t) = V(t) a(t)$

と書かれ、この解は

$a(t) = e^{\int _{t _0} ^t dt V(t) } a _0 =T e^{\int _{t _0} ^t dt V(t) } a _0$

で書かれる。ここで最後の表式Tは時間順序積演算子と呼ばれ、 V(t)に関して、時間が前の演算子ほど右側に来るように配置することを示している。一般にこのような計算でV(t)に含まれる $\phi(t)$ などの量は、時刻が等しいときには可換ではないが、時刻が等しくないときには常に可換であるので、このような並べ換えは常に可能である。この並べ換えは例えば経路積分による導出を扱うときに重要になる。

上の表示は各々の状態の時間変化についてはハイゼンベルグ表示を取っており、それに従って演算子が時間発展していく中で、時として摂動の効果で状態の方も時間変化を受けることに対応する。これは、粒子がお互いと相互作用して摂動を受けることとうまく対応している。例えば、光子と電子が相互作用してお互いの運動エネルギーが変化する情况は、このような摂動の式で記述できる。

例としてV(t)を

$V(t) = \int d^ 3 x \lambda \phi ^3 (t)$

$|i(t)>= Te^{-i\int dt V(t)} |i>$

を摂動の次数ごとに展開すると、

$|i(t)>= (1 -i \lambda\int d^4 x \phi^3(x) + \frac 1 2 (-i) \lambda \int d^4 x \int d^4 x _2 \phi(x)^3 \phi(x _2) ^3 ...) |i>$

となる。

$\lambda$

が十分小さいとき2項目以降は無視してよいので、 $|i(t)>$ は

$|i(t)>= (1 -i \lambda\int d^4 x \phi^3(x)) |i>$

で与えられるが、特に元の状態からの変化に注目すると時刻tでの状態として

$(-i \lambda\int d^4 x \phi^3(x)) |i>$

が得られる。ただしここでは

$\int d^4 x = \int d^3 x \int _{t _0} ^t$

で与えられているものとする。ここで $t _0$ は粒子が他の粒子と相互作用する距離に近づいた時刻のことをいい、tは、測定を行なう時刻である。実際的な素粒子の実験では常に $t _0 =-\infty$ , $t =\infty$ として扱う。

ここで測定を始めたときに1つの $\phi _1$ 粒子だった状態が $\phi _2$ , $\phi _3$ の2つの粒子に崩壊する過程を計算する。実際の計算では運動量の位相空間の大きさも計算に入れる必要があるのだが、ここでは行列要素の計算だけにとどめる。ただし、与えられたラグランジアンの摂動項は