実スカラー場の量子化

場を量子化する際、波動関数の振幅を演算子に置き換えると、なぜ生成消滅演算子になるのかを考えます。

はじめに

歴史的に見ると場の量子化は、量子力学を参考に電磁波（場）を量子化して光子（粒子）を表す研究からはじまった。まず簡単に、電磁波の編光を無視した実スカラー場で考察された。その後、物質が生成・消滅することがわかると、物質を表す波動関数自体を量子化する必要が出てきたため、波動関数の”確率波”を”場”として考えて量子化した。当時は、波動関数をもう一度量子化するので、第二量子化と呼ばれた。

調和振動子の量子化と生成・消滅演算子

実スカラー場の量子化を考える前に、古典的な調和振動子が、量子力学でどのように量子化されるか見てみる。古典的な調和振動子を指数関数の形で書くと

$$x=a{e}^{-i\omega t}+a^{\ast }{e}^{i\omega t}$$

となる。（第一項の複素共役を第二項で足しているので、$x$は実数となっている）ここで$a$は$t=0$の時の振幅を表し、定数であることを強調しておく。上記の式を古典的な調和振動子のエネルギー式に代入してハミルトニアンを計算すると

$$\begin{array}{rcl}H& =& \frac{1}{2}m{\left(\frac{dx}{dt}\right)}^2+\frac{1}{2}m{\omega }^2{x}^2\\ & =& \frac{1}{2}m(-i\omega a{e}^{-i\omega t}+i\omega a^{\ast }{e}^{i\omega t}{)}^2+\frac{1}{2}m{\omega }^2(a{e}^{-i\omega t}+a^{\ast }{e}^{i\omega t}{)}^2\\ & =& \frac{1}{2}m(-{\omega }^2{a}^2{e}^{-2i\omega t}+2{\omega }^2{a}^{\ast }a-{\omega }^2{a}^{\ast 2}{e}^{2i\omega t})+\frac{1}{2}m{\omega }^2(a^2{e}^{-2i\omega t}+2a^{\ast }a+a^{\ast 2}{e}^{2i\omega t})\\ & =& 2m{\omega }^2{a}^{\ast }a\end{array}$$

となる。ここで少し強引だが、

$$a\to \sqrt{\frac{1}{2m\omega }}a$$

と書き換えると、

$$H=\omega a^{\ast }a$$

となり、量子力学で、調和振動子を生成・消滅演算子を使って量子化した

$$\begin{array}{rcl}H& =& \omega (a^{†}a-\frac{1}{2}i[x,p])\\ & =& \omega (a^{†}a+\frac{1}{2})\end{array}$$

との対応が見てとれる。基底エネルギーの1/2の項は、$x$と$p$の交換関係から出てきた値で、古典論では0になる。従って調和振動子$x$を量子化するには、

$$a\to \sqrt{\frac{1}{2m\omega }}a$$

のように係数（演算子$a$の規格化因子）を取り、振幅を生成・消滅演算子で書き換えれば良いことがわかる。実際にそのようにして最初の調和振動子の式を書き換えて量子化すると、演算子$x$と$p$は、

$$\begin{array}{rcl}x& =& \sqrt{\frac{1}{2m\omega }}(a{e}^{-i\omega t}+a^{†}{e}^{i\omega t})\\ p& =& m\frac{dx}{dt}\\ & =& i\sqrt{\frac{m\omega }{2}}(-a{e}^{-i\omega t}+a^{†}{e}^{i\omega t})\end{array}$$

となる。逆に解くと、

$$\begin{array}{rcl}{a}^{†}(0)e^{i\omega t}& =& \sqrt{\frac{m\omega }{2}}(x-\frac{i}{m\omega }p)=a^{†}(t)\\ a(0)e^{-i\omega t}& =& \sqrt{\frac{m\omega }{2}}(x+\frac{i}{m\omega }p)=a(t)\end{array}$$

となり、生成・消滅演算子の定義式が再現される。（定義式が、任意の時刻の生成・消滅演算子を表していることもわかる）

実スカラー場の量子化

スカラー場は、クライン-ゴルドン方程式で表される。クライン-ゴルドン方程式の解が実数になるように書くと

$$\varphi (\mathit{x},t)=\int \frac{d^3\mathit{k}}{(2\pi {)}^{\frac{3}{2}}}(a_{\mathit{k}}{e}^{i\mathit{k}\cdot \mathit{x}-i{\omega }_{\mathit{k}}t}+a_{\mathit{k}}^{\ast }{e}^{-i\mathit{k}\cdot \mathit{x}+i{\omega }_{\mathit{k}}t})$$

となる。（調和振動子の$x$にあたるのが$\varphi$になっており、先程と同様に第一項の複素共役を第二項で足しているので、$\varphi$が実数であることが保証される）そして、ここでも$a$は$t=0$、$x=0$の時の振幅を表していることを強調しておく。この式は、$\mathit{x}$を固定して見てみると、$\mathit{k}$が異なる独立した調和振動子の重ね合わせになっており、上記の調和振動子の量子化の議論をそのまま適用できる。

ここで調和振動子の質量$m$（場なので、以下、密度$\rho$とする）を考える。場においては、振動している場自身の質量（のような量）にあたり、実際の粒子の質量ではない。また、調和振動子を量子化する議論で、質量$\rho$は、あくまで演算子$a$の規格化因子の中でのみ表れ、質量$\rho$がどのような値でも実際の物理（観測値）には影響しない。したがって、$\rho =1$を採用する。

実スカラー場の振幅を$t=0$、$\mathit{x}=0$で

$$a\to \sqrt{\frac{1}{2\omega }}a$$

と規格化因子を取り、生成・消滅演算子に書き換えて場$\varphi$を量子化すると、

$$\boxed{\varphi (\mathit{x},t)=\int \frac{d^3\mathit{k}}{(2\pi {)}^{\frac{3}{2}}}\sqrt{\frac{1}{2{\omega }_{\mathit{k}}}}(a_{\mathit{k}}{e}^{-ik\cdot x}+a_{\mathit{k}}^{†}{e}^{ik\cdot x})}$$

となる。$\varphi$に正準共役の運動量（のような量。実際の粒子の運動量では無い）の演算子$\pi$は、$\rho =1$なので、

$$\begin{array}{rcl}\pi (\mathit{x},t)& =& \rho \frac{\partial \varphi }{\partial t}\\ & =& \dot{\varphi }\\ & =& \int \frac{d^3\mathit{k}}{(2\pi {)}^{\frac{3}{2}}}i\sqrt{\frac{{\omega }_{\mathit{k}}}{2}}(-a_{\mathit{k}}{e}^{-ik\cdot x}+a_{\mathit{k}}^{†}{e}^{ik\cdot x})\end{array}$$

となる。

場の正準交換関係

同時刻で、

$$\begin{array}{rcl}[\varphi (\mathit{x},t),\pi ({\mathit{x}}^{\prime },t)]& =& \varphi \pi -\pi \varphi \\ & =& \iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}\sqrt{\frac{1}{2\omega }}i\sqrt{\frac{{\omega }^{\prime }}{2}}\{(a{e}^{-ikx}+a^{†}{e}^{ikx})(-a^{\prime }{e}^{-i{k}^{\prime }{x}^{\prime }}+a^{\prime †}{e}^{i{k}^{\prime }{x}^{\prime }})-(-a^{\prime }{e}^{-i{k}^{\prime }{x}^{\prime }}+a^{\prime †}{e}^{i{k}^{\prime }{x}^{\prime }})(a{e}^{-ikx}+a^{†}{e}^{ikx})\}\\ & =& \frac{i}{2}\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}\sqrt{\frac{{\omega }^{\prime }}{\omega }}\{(-a{a}^{\prime }{e}^{-ikx-i{k}^{\prime }{x}^{\prime }}+a{a}^{\prime †}{e}^{-ikx+i{k}^{\prime }{x}^{\prime }}-a^{†}{a}^{\prime }{e}^{ikx-i{k}^{\prime }{x}^{\prime }}+a^{†}{a}^{\prime †}{e}^{ikx+i{k}^{\prime }{x}^{\prime }})-(-a^{\prime }a{e}^{-ikx-i{k}^{\prime }{x}^{\prime }}-a^{\prime }{a}^{†}{e}^{ikx-i{k}^{\prime }{x}^{\prime }}+a^{\prime †}a{e}^{-ikx+i{k}^{\prime }{x}^{\prime }}+a^{\prime †}{a}^{†}{e}^{ikx+i{k}^{\prime }{x}^{\prime }})\}\\ & =& \frac{i}{2}\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}\sqrt{\frac{{\omega }^{\prime }}{\omega }}([a^{\prime },a]e^{-ikx-i{k}^{\prime }{x}^{\prime }}+[a,a^{\prime †}]e^{-ikx+i{k}^{\prime }{x}^{\prime }}+[a^{\prime },a^{†}]e^{ikx-i{k}^{\prime }{x}^{\prime }}+[a^{†},a^{\prime †}]e^{ikx+i{k}^{\prime }{x}^{\prime }})\\ & =& \frac{i}{2}\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}\sqrt{\frac{{\omega }^{\prime }}{\omega }}\{0+\delta (\mathit{k}-{\mathit{k}}^{\prime })e^{i(\mathit{k}\mathit{x}-\omega t)-i({\mathit{k}}^{\prime }{\mathit{x}}^{\prime }-{\omega }^{\prime }t)}+\delta (\mathit{k}-{\mathit{k}}^{\prime })e^{-i(\mathit{k}\mathit{x}-\omega t)+i({\mathit{k}}^{\prime }{\mathit{x}}^{\prime }-{\omega }^{\prime }t)}+0\}（\mathrm{生}\mathrm{成}\mathrm{消}\mathrm{滅}\mathrm{演}\mathrm{算}\mathrm{子}\mathrm{の}\mathrm{交}\mathrm{換}\mathrm{関}\mathrm{係}[a_{\mathit{k}},a_{{\mathit{k}}^{\mathbf{\prime }}}^{†}]=\delta (\mathit{k}-{\mathit{k}}^{\prime })、[a_{\mathit{k}},a_{{\mathit{k}}^{\mathbf{\prime }}}]=[a_{\mathit{k}}^{†},a_{{\mathit{k}}^{\mathbf{\prime }}}^{†}]=0\mathrm{よ}\mathrm{り}）\\ & =& \frac{i}{2}\int \frac{d^3\mathit{k}}{(2\pi {)}^3}\{e^{i\mathit{k}(\mathit{x}-{\mathit{x}}^{\prime })}+e^{-i\mathit{k}(\mathit{x}-{\mathit{x}}^{\prime })}\}（\mathrm{デ}\mathrm{ル}\mathrm{タ}\mathrm{関}\mathrm{数}\mathrm{の}\mathrm{公}\mathrm{式}\int f(k^{\prime })\delta (k-k^{\prime })d{k}^{\prime }=f(k)\mathrm{よ}\mathrm{り}）\\ & =& i\delta (\mathit{x}-{\mathit{x}}^{\prime })（\mathrm{デ}\mathrm{ル}\mathrm{タ}\mathrm{関}\mathrm{数}\mathrm{の}\mathrm{公}\mathrm{式}\frac{1}{2\pi }\int e^{ik(x-x^{\prime })}dk=\delta (x-x^{\prime })\mathrm{お}\mathrm{よ}\mathrm{び}\delta (x-x^{\prime })=\delta (-x+x^{\prime })\mathrm{よ}\mathrm{り}）\end{array}$$

となり、場の正準交換関係が確かめられる。今回は生成・消滅演算子から量子化したが、一般的には場の正準交換関係をセット（正準量子化）した後、生成・消滅演算子の交換関係を確認する。

ラグランジアン密度

場の解析力学でラグランジュ方程式に代入すると、クライン-ゴルドン方程式（波動方程式）が再現されるようにラグランジアンを考えると、

$$\boxed{\mathcal{L}=\frac{1}{2}{\partial }_{\mu }\varphi {\partial }^{\mu }\varphi -\frac{1}{2}{m}^2{\varphi }^2}$$

となる。実際に計算してみると

$$\begin{array}{rcl}\frac{\partial \mathcal{L}}{\partial \varphi }-{\partial }_{\mu }\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}& =& \frac{\partial }{\partial \varphi }\{\frac{1}{2}({\partial }_{\mu }\varphi {)}^2-\frac{1}{2}{m}^2{\varphi }^2\}-{\partial }_{\mu }\frac{\partial }{\partial ({\partial }_{\mu }\varphi )}\{\frac{1}{2}({\partial }_{\mu }\varphi {)}^2-\frac{1}{2}{m}^2{\varphi }^2\}\\ & =& -m^2\varphi -\square \varphi =0\end{array}$$

となり、確かにクライン-ゴルドン方程式が導かれる。

$\varphi$に正準共役の運動量

ラグランジアン密度より、$\varphi$に正準共役の運動量を求めると

$$\begin{array}{rcl}\pi & =& \frac{\partial \mathcal{L}}{\partial \dot{\varphi }}\\ & =& \frac{\partial }{\partial \dot{\varphi }}\{\frac{1}{2}({\dot{\varphi }}^2-\mathbf{\nabla }{\varphi }^2)-\frac{1}{2}{m}^2{\varphi }^2\}\\ & =& \dot{\varphi }\end{array}$$

となる。

ハミルトニアン

ルジャンドル変換より、

$$\begin{array}{rcl}H& =& \int d^3\mathit{x}(\pi \dot{\varphi }-\mathcal{L})\\ & =& \int d^3\mathit{x}\{{\left(\frac{\partial \varphi }{\partial t}\right)}^2-(\frac{1}{2}{\partial }_{\mu }\varphi {\partial }^{\mu }\varphi -\frac{1}{2}{m}^2{\varphi }^2)\}\end{array}$$

となるから、ハミルトニアンは、

$$\boxed{{\displaystyle H=\frac{1}{2}\int d^3\mathit{x}\{{\pi }^2+(\mathrm{\nabla }\varphi {)}^2+m^2{\varphi }^2\}}}$$

となる。また、

$$\begin{array}{rcl}H& =& \frac{1}{2}\int d^3\mathit{x}\{\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}i\sqrt{\frac{\omega }{2}}i\sqrt{\frac{{\omega }^{\prime }}{2}}(-a{e}^{-ikx}+a^{†}{e}^{ikx})(-a^{\prime }{e}^{-i{k}^{\prime }x}+a^{\prime †}{e}^{i{k}^{\prime }x})+\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}i\frac{\mathit{k}}{\sqrt{2\omega }}i\frac{{\mathit{k}}^{\prime }}{\sqrt{2{\omega }^{\prime }}}(a{e}^{-ikx}-a^{†}{e}^{ikx})(a^{\prime }{e}^{-i{k}^{\prime }x}-a^{\prime †}{e}^{i{k}^{\prime }x})+\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}{m}^2\sqrt{\frac{1}{2\omega }}\sqrt{\frac{1}{2{\omega }^{\prime }}}(a{e}^{-ikx}+a^{†}{e}^{ikx})(a^{\prime }{e}^{-i{k}^{\prime }x}+a^{\prime †}{e}^{i{k}^{\prime }x})\}\\ & =& \frac{1}{2}\int d^3\mathit{x}\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}\{\frac{\sqrt{\omega {\omega }^{\prime }}}{2}(-a{a}^{\prime }{e}^{-ikx-i{k}^{\prime }x}+a{a}^{\prime †}{e}^{-ikx+i{k}^{\prime }x}+a^{†}{a}^{\prime }{e}^{ikx-i{k}^{\prime }x}-a^{†}{a}^{\prime †}{e}^{ikx+i{k}^{\prime }x})+\frac{\mathit{k}{\mathit{k}}^{\prime }}{2\sqrt{\omega {\omega }^{\prime }}}(-a{a}^{\prime }{e}^{-ikx-i{k}^{\prime }x}+a{a}^{\prime †}{e}^{-ikx+i{k}^{\prime }x}+a^{†}{a}^{\prime }{e}^{ikx-i{k}^{\prime }x}-a^{†}{a}^{\prime †}{e}^{ikx+i{k}^{\prime }x})+\frac{m^2}{2\sqrt{\omega {\omega }^{\prime }}}(a{a}^{\prime }{e}^{-ikx-i{k}^{\prime }x}+a{a}^{\prime †}{e}^{-ikx+i{k}^{\prime }x}+a^{†}{a}^{\prime }{e}^{ikx-i{k}^{\prime }x}+a^{†}{a}^{\prime †}{e}^{ikx+i{k}^{\prime }x})\}\\ & =& \frac{1}{2}\int d^3\mathit{x}\iint \frac{d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }}{(2\pi {)}^3}[\frac{\omega {\omega }^{\prime }+\mathit{k}{\mathit{k}}^{\prime }+m^2}{2\sqrt{\omega {\omega }^{\prime }}}\{a^{†}{a}^{\prime }{e}^{-i(\mathit{k}\mathit{x}-\omega t)+i({\mathit{k}}^{\prime }\mathit{x}-{\omega }^{\prime }t)}+a{a}^{\prime †}{e}^{i(\mathit{k}\mathit{x}-\omega t)-i({\mathit{k}}^{\prime }\mathit{x}-{\omega }^{\prime }t)}\}-\frac{\omega {\omega }^{\prime }+\mathit{k}{\mathit{k}}^{\prime }-m^2}{2\sqrt{\omega {\omega }^{\prime }}}\{a^{†}{a}^{\prime †}{e}^{-i(\mathit{k}\mathit{x}-\omega t)-i({\mathit{k}}^{\prime }\mathit{x}-{\omega }^{\prime }t)}+a{a}^{\prime }{e}^{i(\mathit{k}\mathit{x}-\omega t)+i({\mathit{k}}^{\prime }\mathit{x}-{\omega }^{\prime }t)}\}]\\ & =& \frac{1}{2}\iint d^3\mathit{k}{d}^3{\mathit{k}}^{\prime }[\frac{\omega {\omega }^{\prime }+\mathit{k}{\mathit{k}}^{\prime }+m^2}{2\sqrt{\omega {\omega }^{\prime }}}\{\delta (-\mathit{k}+{\mathit{k}}^{\prime })a^{†}{a}^{\prime }{e}^{i(\omega -{\omega }^{\prime })t}+\delta (\mathit{k}-{\mathit{k}}^{\prime })a{a}^{\prime †}{e}^{-i(\omega -{\omega }^{\prime })t}\}-\frac{\omega {\omega }^{\prime }+\mathit{k}{\mathit{k}}^{\prime }-m^2}{2\sqrt{\omega {\omega }^{\prime }}}\{\delta (-\mathit{k}-{\mathit{k}}^{\prime })a^{†}{a}^{\prime †}{e}^{i(\omega +{\omega }^{\prime })t}+\delta (\mathit{k}+{\mathit{k}}^{\prime })a{a}^{\prime }{e}^{-i(\omega +{\omega }^{\prime })t}\}]（\mathrm{デ}\mathrm{ル}\mathrm{タ}\mathrm{関}\mathrm{数}\mathrm{の}\mathrm{公}\mathrm{式}\frac{1}{2\pi }\int e^{i(k-k^{\prime })x}dx=\delta (k-k^{\prime })\mathrm{よ}\mathrm{り}）\\ & =& \frac{1}{2}\int d^3\mathit{k}\frac{{\omega }^2+{\mathit{k}}^2+m^2}{2\omega }(a^{†}a+a{a}^{†})（\mathrm{前}\mathrm{式}\mathrm{の}\mathrm{第}2\mathrm{項}\mathrm{は}、{\mathit{k}}^{\prime }=-\mathit{k}\mathrm{の}\mathrm{場}\mathrm{合}\mathrm{で}\mathrm{も}\omega ={\omega }^{\prime }\mathrm{と}\mathrm{な}\mathrm{る}\mathrm{た}\mathrm{め}、\mathrm{係}\mathrm{数}\mathrm{が}{\omega }^2-{\mathit{k}}^2-m^2=0\mathrm{と}\mathrm{な}\mathrm{る}）\\ & =& \frac{1}{2}\int d^3\mathit{k}\omega (a^{†}a+a{a}^{†})（{\omega }^2={\mathit{k}}^2+m^2\mathrm{よ}\mathrm{り}）\\ & =& \int d^3\mathit{k}\omega (a^{†}a+\frac{1}{2})（[a_k,a_k^{†}]=1\mathrm{よ}\mathrm{り}）\end{array}$$

となる。定数項を削除すると、

$$\boxed{H=\int d^3\mathit{k}{\omega }_{\mathit{k}}{a}_{\mathit{k}}^{†}{a}_{\mathit{k}}}$$

となる。ここで${\omega }_{\mathit{k}}$は粒子のエネルギーを表し、$a_{\mathit{k}}^{†}{a}_{\mathit{k}}=N_{\mathit{k}}$は個数演算子である。