ディラック方程式

はじめに

クラインゴルドン方程式に負のエネルギーや負の確率が出てしまうは、エネルギー演算子について2次式だからである。ディラックはこの問題を解決するため、求める式は、エネルギー演算子（共変性から運動量演算子も）が線形（1次）であり、さらに相対論のエネルギーと運動量の関係式$E^2={\mathit{p}}^2+m^2$を満たすと考え、ディラック方程式を求めた。

ディラック方程式

クラインゴルドン方程式

$$-\frac{{\partial }^2}{\partial t^2}\varphi =(-{\mathbf{\nabla }}^2+m^2)\varphi$$

を参考にして、ディラックが仮定した相対論的な波動方程式は

$$i\frac{\partial }{\partial t}\psi =(-\mathit{\alpha }\cdot i\mathbf{\nabla }+\beta m)\psi$$

である。この式の演算子部分を2乗すると、相対論のエネルギーと運動量の関係式、つまりクラインゴルドン方程式となるように$\alpha$、$\beta$を考える。 実際に演算子を2乗すると

$$\begin{array}{rcl}-\frac{{\partial }^2}{\partial t^2}\psi & =& (-\mathit{\alpha }\cdot i\mathbf{\nabla }+\beta m)(-\mathit{\alpha }\cdot i\mathbf{\nabla }+\beta m)\psi \\ & =& (-i{\alpha }_1{\partial }_1-i{\alpha }_2{\partial }_2-i{\alpha }_3{\partial }_3+\beta m)(-i{\alpha }_1{\partial }_1-i{\alpha }_2{\partial }_2-i{\alpha }_3{\partial }_3+\beta m)\psi \\ & =& \{-\sum _i^3{\alpha }_i^2{\partial }_i^2-\sum _{i,j(i\ne j)}^3({\alpha }_i{\partial }_i{\alpha }_j{\partial }_j+{\alpha }_j{\partial }_j{\alpha }_i{\partial }_i)-im\sum _i^3(\beta {\alpha }_i{\partial }_i+{\alpha }_i{\partial }_i\beta )+{\beta }^2{m}^2\}\psi \\ & =& \{-\sum _i^3{\alpha }_i^2{\partial }_i^2-\sum _{i,j(i\ne j)}^3({\alpha }_i{\alpha }_j+{\alpha }_j{\alpha }_i){\partial }_i{\partial }_j-im\sum _i^3(\beta {\alpha }_i+{\alpha }_i\beta ){\partial }_i+{\beta }^2{m}^2\}\psi \end{array}$$

となる。この式がクラインゴルドン方程式を満たすのだから、$\alpha$、$\beta$の条件は、

$$\begin{array}{rcl}{\alpha }_i^2={\beta }^2& =& 1\\ {\alpha }_i{\alpha }_j+{\alpha }_j{\alpha }_i& =& 0\\ \beta {\alpha }_i+{\alpha }_i\beta & =& 0\end{array}$$

となる。一般の数でこの条件を満たすことはできないが、行列なら可能となる。結論を書くと、実際にこの条件を満たす最も簡単な行列の組み合わせは

$$\begin{array}{r}{\alpha }_1=\left(\begin{array}{cccc}0& 0& 0& 1\\ 0& 0& 1& 0\\ 0& 1& 0& 0\\ 1& 0& 0& 0\end{array}\right),{\alpha }_2=\left(\begin{array}{cccc}0& 0& 0& -i\\ 0& 0& i& 0\\ 0& -i& 0& 0\\ i& 0& 0& 0\end{array}\right),{\alpha }_3=\left(\begin{array}{cccc}0& 0& 1& 0\\ 0& 0& 0& -1\\ 1& 0& 0& 0\\ 0& -1& 0& 0\end{array}\right),\beta =\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& -1\end{array}\right)\end{array}$$

となり、パウリ行列と単位行列を使って書くと、

$$\begin{array}{r}{\alpha }_i=\left(\begin{array}{cc}\mathbf{0}& \mathit{\sigma }\\ \mathit{\sigma }& \mathbf{0}\end{array}\right),\beta =\left(\begin{array}{cc}\mathbf{1}& \mathbf{0}\\ \mathbf{0}& -\mathbf{1}\end{array}\right)\end{array}$$

となる。$\alpha$、$\beta$がわかったところで、最初の仮定した式の左から$\beta$を掛けると

$$\beta i\frac{\partial }{\partial t}\psi =\{-\beta \mathit{\alpha }\cdot i\mathbf{\nabla }+{\beta }^{2}m\}\psi$$

となり、${\beta }^2=1$より、まとめると

$$(i\beta {\partial }_t+i\beta \mathit{\alpha }\cdot \mathbf{\nabla }-m)\psi =0$$

となる。さらに${\gamma }^{\mu }(\beta ,\beta \mathit{\alpha })$を導入すると、

$$(i{\gamma }^{\mu }{\partial }_{\mu }-m)\psi =0$$

となる。${\gamma }^{\mu }$をガンマ行列と言う。ガンマ行列の共変性は別途チェックする必要があるが、ここでは省略する。今後、ガンマ行列と4元ベクトルの積は頻繁に必要となるので、

$$\boxed{{\displaystyle a/\equiv {\gamma }^{\mu }{a}_{\mu }}}$$

の記号（ファイマンのスラッシュ記法）を導入すると、更に簡潔に書けて、

$$\boxed{(i\partial /-m)\psi =0}$$

となる。この相対論的な波動方程式をディラック方程式と言う。また、最初に仮定した式に$\alpha$、$\beta$を代入すると、ディラック方程式は、

$$\begin{array}{r}i\frac{\partial }{\partial t}\psi =\left(\begin{array}{cc}m\mathbf{1}& -\mathit{\sigma }\cdot i\mathbf{\nabla }\\ -\mathit{\sigma }\cdot i\mathbf{\nabla }& -m\mathbf{1}\end{array}\right)\psi \end{array}$$

のように書くことも出来る。

ディラック方程式の解

ディラック方程式は4行4列の行列を含むので、波動関数$\psi$も4成分のスピノルとなる。したがって、

$$\psi =\left(\begin{array}{c}{\psi }_1\\ {\psi }_2\\ {\psi }_3\\ {\psi }_4\end{array}\right)$$

のように書ける。ここである特定の波数$\mathit{k}$の平面波解（運動量の固有関数）を2つの2行1列の行列$\varphi$、$\chi$を使って

$$\psi =\left(\begin{array}{c}\varphi \\ \chi \end{array}\right)e^{i\mathit{k}\cdot \mathit{x}-i{\omega }_{\mathit{k}}t}$$

のようにおく。この$\psi$を最後に求めたディラック方程式に代入すると、平面波解では$\mathit{k}$が $\mathit{p}$、 $\omega$が $E$となるので、

$$\begin{array}{r}\{\begin{array}{l}E\varphi =m\varphi +\mathit{\sigma }\cdot \mathit{p}\chi \\ E\chi =\mathit{\sigma }\cdot \mathit{p}\varphi -m\chi \end{array}\end{array}$$

の1組の式となる。$\varphi$、$\chi$を解けば、

$$\begin{array}{rcl}\varphi & =& \frac{\mathit{\sigma }\cdot \mathit{p}}{E-m}\chi \\ \chi & =& \frac{\mathit{\sigma }\cdot \mathit{p}}{E+m}\varphi \end{array}$$

となるから、ディラック方程式の一般の解は、

$$\boxed{{\displaystyle \begin{array}{rcl}\psi (\mathit{x},t)& =& \int \frac{d^3\mathit{k}}{(2\pi {)}^{\frac{3}{2}}}{c}_{\mathit{k}}{u}_{\mathit{k}}{e}^{i\mathit{k}\cdot \mathit{x}-i{\omega }_{\mathit{k}}t}\\ u_{\mathit{k}}& =& \left(\begin{array}{c}\varphi \\ \frac{\mathit{\sigma }\cdot \mathit{p}}{E+m}\varphi \end{array}\right)\mathrm{も}\mathrm{し}\mathrm{く}\mathrm{は} u_{\mathit{k}}=\left(\begin{array}{c}\frac{\mathit{\sigma }\cdot \mathit{p}}{E-m}\chi \\ \chi \end{array}\right)\end{array}}}$$

となる。4つの自由度があるように見えたが、$\varphi$、$\chi$が2行1列の行列であることから、実際は2つの自由度しか無いのがわかる。

確率のカレント

ディラック共役$\overline{\psi }$を

$$\boxed{{\displaystyle \overline{\psi }\equiv {\psi }^{†}{\gamma }^0}}$$

と定義する。また、ディラック方程式のエルミート共役は、

$${\psi }^{†}\{-i\overleftarrow{{\partial }_{\mu }}({\gamma }^{\mu }{)}^{†}-m\}=0$$

となる。ディラック方程式に$\overline{\psi }$を左から掛け、ディラック方程式のエルミート共役に${\overline{\psi }}^{†}=({\gamma }^0{)}^{†}\psi$を右から掛けて

$$\begin{array}{rcl}\overline{\psi }(i{\gamma }^{\mu }{\partial }_{\mu }-m)\psi & =& 0\\ \overline{\psi }(-i\overleftarrow{{\partial }_{\mu }}{\gamma }^{\mu }-m)\psi & =& 0（({\gamma }^0{)}^{†}={\gamma }^0\mathrm{お}\mathrm{よ}\mathrm{び}({\gamma }^{\mu }{)}^{†}=-{\gamma }^{\mu }、-{\gamma }^{\mu }{\gamma }^0={\gamma }^0{\gamma }^{\mu }\mathrm{よ}\mathrm{り}）\end{array}$$

の2式を用意する。両辺を引くと$m$の項が消え、

$$\overline{\psi }i{\gamma }^{\mu }({\partial }_{\mu }\psi )+(\overline{\psi }i\overleftarrow{{\partial }_{\mu }}){\gamma }^{\mu }\psi =0$$

となり、$i$で割って、

$$\begin{array}{rcl}\overline{\psi }{\gamma }^{\mu }({\partial }_{\mu }\psi )+(\overline{\psi }\overleftarrow{{\partial }_{\mu }}){\gamma }^{\mu }\psi & =& {\partial }_{\mu }(\overline{\psi }{\gamma }^{\mu }\psi )\\ & =& (\begin{array}{cc}{\partial }_t& \mathbf{\nabla }\end{array})\left(\begin{array}{c}\overline{\psi }{\gamma }^0\psi \\ \overline{\psi }\mathit{\gamma }\psi \end{array}\right)\\ & =& {\partial }_t(\overline{\psi }{\gamma }^0\psi )+\mathbf{\nabla }\cdot (\overline{\psi }\mathit{\gamma }\psi )\\ & =& 0\end{array}$$

となる。ここで確率密度$\rho$と確率密度のカレント$\mathit{j}$を

$$\begin{array}{rcl}\rho & =& \overline{\psi }{\gamma }^0\psi ={\psi }^{†}\psi （({\gamma }^0{)}^2=1\mathrm{よ}\mathrm{り}）\\ \mathit{j}& =& \overline{\psi }\mathit{\gamma }\psi ={\psi }^{†}\mathit{\alpha }\psi （{\gamma }^0\mathit{\gamma }=\beta \beta \mathit{\alpha }=\mathit{\alpha }\mathrm{よ}\mathrm{り}）\end{array}$$

と定義すると、確率のカレント$j^{\mu }(\rho ,\mathit{j})$の保存則を

$$\frac{\partial \rho }{\partial t}+\mathbf{\nabla }\cdot \mathit{j}={\partial }_{\mu }{j}^{\mu }=0$$

と表すことができる。シュレディンガー方程式の場合と比較すると、$\rho$は同じだが、$\mathit{j}$は大きく異なっている。（クライン-ゴルドン方程式の時と同様、相対論を取り入れたことで$\rho$と$\mathit{j}$が対象の形になった）当初期待していた通り、$\rho ={\psi }^{†}\psi$であるから確率密度は負にならない。

内積

確率密度$\rho$の計算より、ディラック方程式を満たすヒルベルト空間での内積は

$$\boxed{{\displaystyle ⟨{\psi }_1|{\psi }_2⟩=\int d^3\mathit{x}{\psi }_1^{†}{\psi }_2}}$$

となる。

負のエネルギーとスピン

静止した粒子を考える。つまり$\mathit{p}=0$のとき、先ほど求めた1組の式は

$$\begin{array}{r}\{\begin{array}{l}E\varphi =m\varphi \\ E\chi =-m\chi \end{array}\end{array}$$

となり、$m>0$なので、クライン-ゴルドン方程式の時と同様に負のエネルギーが表れてしまうことがわかる。ディラックは、正負のエネルギーを粒子、反粒子と解釈し、実際に電子の反粒子である陽電子が発見されてこの解釈が正しいことが証明された。また2式は同時に成り立つ必要があるため、$\varphi \ne 0$のとき$\chi =0$であり、$\chi \ne 0$のとき$\varphi =0$となる。つまり、正のエネルギーのときは、

$$u=\left(\begin{array}{c}\varphi \\ 0\end{array}\right)$$

であり、負のエネルギーのときは、

$$u=\left(\begin{array}{c}0\\ \chi \end{array}\right)$$

となる。$\varphi$、$\chi$は2行1列の行列であり、これまでの考察ではそれぞれの成分はどのような値となっても問題は無い。したがって、これまで考慮していなかったスピンの自由度を$\varphi$、$\chi$に適用し、

$$\begin{array}{rcl}{\varphi }_{\uparrow }& =& \left(\begin{array}{c}1\\ 0\end{array}\right),{\chi }_{\uparrow }=\left(\begin{array}{c}0\\ 1\end{array}\right)\\ {\varphi }_{\downarrow }& =& \left(\begin{array}{c}0\\ 1\end{array}\right),{\chi }_{\downarrow }=\left(\begin{array}{c}1\\ 0\end{array}\right)\end{array}$$

とする。ただし、$\mathit{p}\ne 0$の場合は、運動量で平面波展開しているので当然ではあるが、スピンの行列はきれいに対角化されない。