はじめに

相対論的量子力学 講義ノート

山田 將樹

相対論的な量子力学を学ぶ意義

「相対論的」な「量子力学」を学ぶ意義には以下のようなものがある。

\(\blacksquare\) ミクロな高エネルギー系を扱うことができる

特殊相対性理論の要請を満たすよう量子力学を記述することで、ミクロな系において光速に近い速度を持つ粒子の振る舞いを理解できるようになる。

特に、不確定性関係 \(\Delta x \sim \hbar / (2 \Delta p)\) から、より微細な構造を調べるには高エネルギーが必要であり、その結果、相対論的効果が顕著に現れる。素粒子のような微視的な構成要素の探究には、量子論と相対論の両方を同時に考慮することが不可欠である。

例えば、水素原子のボーア模型における電子の軌道半径は \(a_0 = \hbar c/ (\alpha m_e c^2)\) であるが、これを不確定性関係の \(\Delta x\) に代入すると、電子の典型的な運動量は \(\Delta p \sim (\alpha m_e c^2)/(2c)\) となる。すなわち電子の典型的な速度は光速の約 \(\alpha \sim 1/137\) 倍、つまり約 \(1\%\) に達するため、エネルギー準位を精密に解析するには相対論的補正が必須となる。

また、相対論的なエネルギーと質量の関係式 \((E = mc^2)\) から、高エネルギー粒子の衝突によって新しい重粒子が生成され、素粒子物理学における新粒子の探索が可能になる。実際、素粒子や原子核の実験研究では粒子を光速近くまで加速・衝突させており、その現象には相対論的効果が重要な役割を果たす。

\(\blacksquare\) 基本法則の制約により予言能力が高まる

特殊相対論では物理法則はすべての慣性系で同一の形を取る必要があり、量子力学もローレンツ共変な形式で記述されるべきである。その結果としてクライン・ゴルドン方程式やディラック方程式が自然に導かれる。 このように、波動関数が満たすべき方程式がローレンツ対称性によって制限されることで、理論的に存在すべき相互作用が予言され、不合理な相互作用が排除される。

例えば、ディラック方程式の非相対論的極限を考えると、スピン軌道相互作用や異常ゼーマン効果が自然に導出される。またスピンや反粒子といった概念も理論から自動的に現れ、それらの理論的起源を明確に理解できる。

\(\blacksquare\) 多体系を扱う場の量子論への橋渡しになる

本講義の前半は「一体系の相対論的量子力学」を中心に学ぶ。 ¹ ただし、一体系の理論では粒子の生成・消滅を扱えないという限界があり、この課題を解決するために講義の後半では場の量子論を導入する。

場の量子論は現代物理学の様々な分野の基礎となっている。素粒子物理学や原子核物理学はもちろん、初期宇宙論においても欠かせない。物性物理学においても、多様な場の理論が用いられ、例えば超伝導現象などが場の量子論の枠組みで理解されている。 また、統計力学と場の量子論は密接に関連しており、物性物理学で扱われる有限密度系や初期宇宙のような高温・高密度系の記述にも場の理論が有効である。

このように、場の量子論は広範な物理分野で重要な役割を担っており、その理解への前段階として、まず一体系の相対論的量子力学を学ぶことは自然なステップとなる。

\(\blacksquare\) 一体問題の近似理論として有用である

相対論的量子力学の内容は場の量子論に含まれているため、直接場の量子論を学ぶことも可能だが、実際には一体系理論が特に有用となる場面が存在する。

例えば、外場中での一体問題を考える際には、原子内の電子や磁場中の荷電粒子の挙動を解析するために、電磁場を外場として取り扱い一体系の問題へと還元することがよく行われる。水素原子におけるラムシフトや磁気モーメントなど、場の理論に基づく精密な計算を通じて実際の物理現象を理解する場合、この一体系という枠組みは特に有効である。

また、クォーク束縛状態の解析においても同様のアプローチが適用可能である。加速器実験で観測されるハドロンの中には、クォークと反クォークが束縛状態を形成するものがあり、そのエネルギー準位が束縛状態の形成確率や崩壊率に影響を与える。このエネルギー準位構造を詳細に調べることで、ハドロンを構成するクォークの特性について重要な知見を得ることができる。このような二体系の問題も、重心系を用いて考察することで実質的に一体系の問題として取り扱うことが可能である。そのため、水素原子のような安定した構造を持たない束縛状態であっても、一体系の理論がその解析において有効であることが分かる。

本講義の目標

• クライン・ゴルドン方程式やディラック方程式を導出し、その解が表すスピンや反粒子の概念を学ぶ。 ²

• ゲージ原理に基づいて電磁場中でのディラック方程式を考察し、非相対論的量子力学では現象論的に導入されていた相互作用が自然に現れることを確認する。 ³

• 多体系を扱うための場の量子論の基礎を学び、因果律が満たされることを確かめる。

自然単位系

本講義では自然単位系を採用し、光速と換算プランク定数をそれぞれ \[\begin{align} &c \ (\simeq 3 \times 10^8 \,\mathrm{ m}/\mathrm{ s}) = 1 \\ &\hbar \ (\simeq 1 \times 10^{-34} \,\mathrm{ J} \cdot \mathrm{ s}) = 1\end{align}\] とする。 この単位系を用いることは、「相対論的なスケール」や「量子論的な視点」で現象を考えることに対応している。

\(c=1\) の単位系では時間は距離の単位で測られることになり、さらに\(E=mc^2\)の関係から質量もエネルギーの単位で測られることになる。加えて、\(\hbar=1\) とすることにより、距離もエネルギーの単位で測られ、最終的に全ての物理量がエネルギーの単位で表現される。この結果、次元の関係は次のように整理される。 \[\begin{align} \mathrm{ [エネルギー]} = \mathrm{ [運動量]} = \mathrm{ [質量]} = \mathrm{ [時間]}^{-1} = \mathrm{ [距離]}^{-1}\end{align}\] したがって、エネルギーの単位を一つ設定する必要がある。電子のようなミクロな系を考える際には、素電荷\(e\)を持つ粒子が\(1 \, \mathrm{ V}\)の電位差で加速されたときに得るエネルギーを単位とするのが便利である。この単位は電子ボルト\(\ \mathrm{eV}\)と表記される。例えば、水素原子の束縛エネルギーは約\(13.6,\mathrm{ eV}\)であり、電子ボルトが原子スケールのエネルギーに適していることを示している。 ⁴

また、素粒子物理学においては電荷の単位を変更して \[\begin{align} \epsilon_0 \ (\simeq 9 \times 10^{-12} \, \mathrm{ C}/(\mathrm{ V} \cdot \mathrm{ m})) = 1\end{align}\] とすることが一般的である。この結果、素電荷は無次元量となり、その値はおよそ\(e \simeq 0.3\)となる。

参考書

• 川村嘉春　「相対論的量子力学」

• 日笠健一　「ディラック方程式」

• J. J. Sakurai and Jim Napolitano, "Modern Quantum Mechanics"

場の理論の教科書における関連部分も参考になる。⁵

• J. J. Sakurai, "Advanced Quantum Mechanics"

• M. E. Peskin, "An Introduction To Quantum Field Theory" 2, 3章

• M. Srednicki, "Quantum Field Theory" 1,2章,その他

• S. Weinberg, "Quantum Theory of Fields, Vol 1" 1, 14.1章

1.　特殊相対論の復習

まず、本講義で用いる特殊相対論の基本事項について復習する。特に重要となるのは、ローレンツ変換に対する物理量の変換法則である。共変ベクトルや反変ベクトルの変換則を明確にしておくことは、後にディラックスピノールの変換性を考察する際に役立つ。

また、電磁気学との相互作用を記述するハミルトニアンがどのように表現されるかについても確認する。

1-1.　ローレンツ変換

特殊相対論によれば、すべての慣性系で同一の物理法則が成立しなければならない。この要請は、基礎方程式がローレンツ変換に対して共変であることを意味している。 ⁶

ローレンツ変換では時間と空間が混ざり合うため、それらをまとめて反変4元ベクトルとして扱うことが便利である。\[\begin{align} x^\mu = \begin{pmatrix} x^0 \\ x^1 \\ x^2 \\ x^3 \end{pmatrix} = \begin{pmatrix} t \\ x \\ y \\ z \end{pmatrix} \tag{1.1}\end{align}\] 以下では、ギリシャ文字の添え字（\(\mu\) など）は\(0,1,2,3\)を走り、ローマ文字の添え字（\(i\) など）は\(1,2,3\)を走るものとする。また、空間3次元のベクトルは\(\boldsymbol{p}\)のようにボールド体で表記し、4元運動量を\(p^\mu = (p^0, \boldsymbol{p})\)のように書く。

さらに、アインシュタインの和の規約を採用し、\(p_\mu x^\mu \equiv \sum_{\mu} p_\mu x^\mu\)のように、同じ文字の上添字と下添字が一組ずつ現れる場合は和をとるものと約束する。

時空の線素は\[\begin{align} ds^2 &= \eta_{\mu \nu} dx^\mu dx^\nu \\ &= -dt^2 + dx^2 + dy^2 + dz^2 \tag{1.2}\end{align}\] と表される。ここでローレンツ計量\(\eta_{\mu \nu}\)の符号は以下のように定める。

この線素を不変に保つ座標変換をローレンツ変換と呼ぶ。すなわち、ローレンツ変換を\[\begin{align} dx'^\mu = \Lambda^{\mu}_{\ \nu} d x^\nu, \tag{1.4}\end{align}\] と書いたとき、 線素の不変性\[\begin{align} ds^2= \eta_{\mu \nu} dx'^\mu dx'^\nu = \eta_{\mu \nu} dx^\mu dx^\nu \tag{1.5}\end{align}\] より、以下の関係式が導かれる。⁷\[\begin{align} \eta_{\mu \nu} \Lambda^{\mu}_{\ \alpha} \Lambda^{\nu}_{\ \beta} = \eta_{\alpha \beta}, \tag{1.6}\end{align}\]

1-2.　ローレンツ変換の生成子

\(\Lambda^{\mu}_{\ \nu}\)を具体的に求めるために、無限小のローレンツ変換を考える。\[\begin{align} \Lambda^{\mu}{ }_{\nu}=\delta^{\mu}{ }_{\nu} + \delta \omega^{\mu}{ }_{\nu} \tag{1.7}\end{align}\] ここで、\(\left|\delta \omega^{\mu}{ }_{\nu}\right| \ll 1\)とし、高次の項は無視する。 ローレンツ変換の条件 \(\eta_{\mu \nu} \Lambda^{\mu}{ }_{\alpha} \Lambda^{\nu}{ }_{\beta}=\eta_{\alpha \beta}\)から、 \(\delta \omega^{\mu}{ }_{\nu}\)は次の関係を満たす。\[\begin{align} \eta_{\mu \beta} \delta \omega^{\mu}{}_{\nu} +\eta_{\nu \alpha} \delta \omega^{\alpha}{}_{\beta}=0 \tag{1.8}\end{align}\] ここで、便宜的に\(\delta \omega_{\alpha \beta} \equiv \eta_{\alpha \mu} \delta \omega^{\mu}{}_{\beta}\)と定義すると、\[\begin{align} \delta \omega_{\beta \nu} = -\delta \omega_{\nu \beta} \tag{1.9}\end{align}\] となり、添字に関して反対称でなければならないことがわかる。 ⁸ したがって、\(\delta \omega_{\mu\nu}\)は以下のように表せる。\[\begin{align} \delta \omega_{\mu\nu}=\left(\begin{array}{cccc} 0 & \eta_{1} & \eta_{2} & \eta_{3} \\ -\eta_{1} & 0 & \theta_{3} & -\theta_{2} \\ -\eta_{2} & -\theta_{3} & 0 & \theta_{1} \\ -\eta_{3} & \theta_{2} & -\theta_{1} & 0 \end{array}\right) \tag{1.10}\end{align}\] または、\[\begin{align} \delta \omega^{\mu}{}_{\nu}=\left(\begin{array}{cccc} 0 & -\eta_{1} & -\eta_{2} & -\eta_{3} \\ -\eta_{1} & 0 & \theta_{3} & -\theta_{2} \\ -\eta_{2} & -\theta_{3} & 0 & \theta_{1} \\ -\eta_{3} & \theta_{2} & -\theta_{1} & 0 \end{array}\right) \tag{1.11}\end{align}\] である。ここで、\(\eta_i\)はローレンツブーストのラピディティ、\(\theta_i\)は空間回転のパラメーターを表す。 ⁹

有限のローレンツ変換は、無限小変換\(\delta \omega^{\mu}{ }_{\nu} = \omega^{\mu}{ }_{\nu}/N\)を\(N\)回繰り返し適用し、\(N\)を無限大にとることによって得られ、以下のように表される。 ¹⁰\[\begin{align} \Lambda^{\mu}{}_{\nu} &= \lim _{N \rightarrow \infty}\left(\delta^{\mu}{ }_{\mu_{1}} + \delta \omega^{\mu}{ }_{\mu_{1}}\right)\left(\delta^{\mu_{1}}{ }_{\mu_{2}} + \delta \omega^{\mu_{1}}{ }_{\mu_{2}}\right) \cdots\left(\delta^{\mu_{N-1}}{}_{\nu} + \delta \omega^{\mu_{N-1}}{ }_{\nu}\right) \\ &= \left(e^{\omega}\right)^{\mu}{}_{\nu} \tag{1.12}\end{align}\]

例えば、\(z\)軸周りの空間回転\(\theta\)の場合は、\[\begin{align} \Lambda^\mu{}_\nu &= \left(\begin{array}{cccc} 1 & & & \\ & \cos \theta &\sin \theta & \\ & - \sin \theta& \cos \theta & \\ & & & 1 \end{array}\right) %\\ %&\simeq %\left(\begin{array}{cccc} %1 & & & \\ %& 1 & \theta & \\ % & - \theta& 1 & \\ %& & & 1 %\end{array}\right) \tag{1.13}\end{align}\] となり、\(z\)軸方向に速度\(v\)のブーストの場合は、\[\begin{align} \Lambda^{\mu}_{\ \alpha} &= \begin{pmatrix} \cosh \beta & 0 & 0 & -\sinh \beta \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ -\sinh \beta & 0 & 0 & \cosh \beta \end{pmatrix} \\ &= \begin{pmatrix} \gamma & 0 & 0 & -\gamma v \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ -\gamma v & 0 & 0 & \gamma \end{pmatrix} \tag{1.14}\end{align}\] となる。 ここで、\(v = \tanh \beta\)、およびローレンツ因子\(\gamma\)は\[\begin{align} \gamma = \cosh \beta = \frac{1}{\sqrt{1-v^2}}, \tag{1.15}\end{align}\] である。

ローレンツ変換を以下のように表現すると、一般化する際に便利である。

ここで、\[\begin{align} \left( L^{\rho \sigma} \right)^{\mu}{ }_{\nu} = -i \left( \eta^{\rho \mu} \delta^\sigma_\nu - (\rho \leftrightarrow \sigma) \right) \tag{1.17}\end{align}\] である。¹¹

例えば、\[\begin{align} \left( L^{0 3} \right)^{\mu}{ }_{\nu} = -i \left(\begin{array}{cccc} 0 & 0 & 0 & -1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ -1 & 0 & 0 & 0 \end{array}\right) \tag{1.18}\end{align}\]\[\begin{align} \left( L^{1 2} \right)^{\mu}{ }_{\nu} =-i \left(\begin{array}{cccc} 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{array}\right) \tag{1.19}\end{align}\] であり、 無限小変換は\[\begin{align} \Lambda^{\mu}{ }_{\nu}=\delta^{\mu}{ }_{\nu} + \frac{i}{2} \delta \omega_{\rho}{ }_{\sigma} \left( L^{\rho \sigma} \right)^{\mu}{ }_{\nu} \tag{1.20}\end{align}\] と表される。

1-3.　座標変換の変換性

相対論では、物理量の座標変換に対する変換性が重要である。 相対論では、座標変換に対する物理量の変換性を理解することが重要である。 \(p^\mu\)のように上付き添え字で表される反変ベクトルは、座標と同様に\[\begin{align} p'^\mu = \Lambda^{\mu}_{\ \nu} p^\nu \tag{1.21}\end{align}\] と変換する。一方で、微分演算子\(\partial_\mu\)のように下付き添え字で表される共変ベクトルは、\[\begin{align} \partial_\mu' &= \left( \Lambda^{\mu}_{\ \nu} \right)^{-1} \partial_\nu \\ &\equiv \Lambda_{\mu}^{\ \nu} \partial_\nu \tag{1.22}\end{align}\] と変換する。

ローレンツ変換の性質\(\eta_{\mu \nu} \Lambda^{\mu}_{\ \alpha} \Lambda^{\nu}_{\ \beta} = \eta_{\alpha \beta}\)によって、4元ベクトルやテンソルの添え字の上下の操作を無矛盾に行うことができる。また、添え字が縮約されたスカラー量は座標変換に対して不変である。 例えば、以下の量は座標変換で不変であり、\(m^2\)に等しい。

物理法則をローレンツ変換に対して共変（スカラーの場合は不変）な形式にすることは、相対論的理論の基本的な要請である。例えばマクスウェル方程式\(\partial_\nu F^{\mu \nu} = j^\mu\)は、両辺が共変な構造を持つためローレンツ変換に対して不変となっている。相対論的量子力学においても波動方程式の共変化が重要な目標となる。

1-4.　電磁気学

古典電磁気学では、電場\(\boldsymbol{E}\)および磁場\(\boldsymbol{B}\)はスカラーポテンシャル\(\Phi\)とベクトルポテンシャル\(\boldsymbol{A}\)を用いて、次のように表現される。\[\begin{align} &\boldsymbol{E} = - \nabla \Phi - \frac{\partial}{\partial t} \boldsymbol{A} \\ &\boldsymbol{B} = \nabla \times \boldsymbol{A} \tag{1.24}\end{align}\] これらは以下のゲージ変換に対して不変である。\[\begin{align} &\Phi \to \Phi + \frac{\partial}{\partial t} \lambda \\ &\boldsymbol{A} \to \boldsymbol{A} - \nabla \lambda \tag{1.25}\end{align}\] ここで、４元ベクトルとして\(A^\mu = (\Phi, \boldsymbol{A})\)とまとめると、ゲージ変換は\[\begin{align} A_\mu \to A_\mu + \partial_\mu \lambda \tag{1.26}\end{align}\] と簡潔に表せる。

荷電粒子の非相対論的ハミルトニアンは\[\begin{align} H = \frac{1}{2m} \left( \boldsymbol{P} - q \boldsymbol{A} \right)^2 + q \Phi \tag{1.27}\end{align}\] と与えられる。¹² このハミルトニアンは電磁場が存在しない場合と比較すると、次の置き換えによって得られる。\[\begin{align} p^\mu \to p^\mu - q A^\mu \tag{1.28}\end{align}\] この表現はローレンツ共変な形式であり、相対論的な状況に自然に拡張可能である。

2.　量子力学の復習

2-1.　シュレーディンガー方程式

1粒子系の量子状態\(\left| \psi \right>\)を考える。この状態は次のシュレーディンガー方程式に従って時間発展する。\[\begin{align} i \frac{\partial}{\partial t} \left| \psi (t)\right> = \hat{H} \left| \psi (t)\right>, \tag{2.1}\end{align}\] ここで、ハミルトニアンは\[\begin{align} \hat{H} = \frac{\hat{\boldsymbol{p}}^2}{2m} + V(\hat{\boldsymbol{x}}) \tag{2.2}\end{align}\] と表される。 位置の固有状態\(\left| \boldsymbol{x} \right>\)を用いると、位置表示の波動関数\(\psi(\boldsymbol{x},t) = \left< \boldsymbol{x} | \psi \right>\)に対する方程式として書き換えられ、シュレーディンガーの波動方程式\[\begin{align} i \frac{\partial}{\partial t} \psi(\boldsymbol{x},t) = \left[ - \frac{1}{2m} \boldsymbol{\nabla}^2 + V(\boldsymbol{x}) \right] \psi(\boldsymbol{x},t), \tag{2.3}\end{align}\] が得られる。 ここで、関係式\(\left< \boldsymbol{x} \right| \hat{\boldsymbol{p}} = - i \partial/ \partial\boldsymbol{x} \left< \boldsymbol{x} \right|\)を用いた。

2-2.　確率の密度

位置\(\boldsymbol{x}\)における粒子数密度演算子を\(\left|\boldsymbol{x}\right>\left<\boldsymbol{x}\right|\) と定義すると、状態\(\left| \psi \right>\)におけるその期待値は\[\begin{align} &\left<\psi |\boldsymbol{x}\right>\left<\boldsymbol{x}| \psi \right> \\ &= \left\vert {\psi(\boldsymbol{x},t)} \right\vert^2 \\ &\equiv \rho(\boldsymbol{x},t) \tag{2.4}\end{align}\] となる。 1粒子系では「位置\(\boldsymbol{x}\)における粒子数の期待値」は「粒子を位置\(\boldsymbol{x}\)に見出す確率」と解釈できるため、\(\rho(\boldsymbol{x},t)\)を確率密度と呼ぶ。

確率密度の時間変化を計算すると、\[\begin{align} \frac{\partial\rho}{\partial t} + \nabla \cdot \boldsymbol{j} = 0, \tag{2.5}\end{align}\] という式が得られる。¹³ ここで、確率の流れのベクトル\(\boldsymbol{j}\)を次のように定義した。\[\begin{align} \boldsymbol{j} = \frac{-i}{2m} \left[ \psi^* \nabla \psi - (\nabla \psi^*) \psi \right] \tag{2.6}\end{align}\] これは連続の式と呼ばれ、粒子を見出す確率密度が時間とともに連続的に変化することを表している。

連続の式を空間積分すると、\[\begin{align} \frac{d}{d t} \int \rho d^3x = 0 \tag{2.7}\end{align}\] が得られる。この式は、粒子をどこかに見出す確率が時間によって変化しないこと、すなわち粒子数の保存を意味する。 粒子は必ずどこかに存在するため、規格化条件\[\begin{align} \int d^3x \rho(\boldsymbol{x},t) = 1, \tag{2.8}\end{align}\] が満たされる必要がある。連続の方程式により、この規格化条件が時間発展の過程で破られないことが保証される。

2-3.　ゲージ原理

粒子の電荷を\(q\)とすると、古典電磁気学における相互作用は\[\begin{align} p^\mu \to p^\mu - q A^\mu \tag{2.9}\end{align}\] という置き換えにより得られた。これを量子力学の枠組みに適用すると、波動関数が満たす方程式において、以下のような置き換えによって電磁場との相互作用が取り入れられると期待される。

この変換に基づくと、電磁場中のシュレーディンガー方程式は\[\begin{align} i \frac{\partial}{\partial t} \psi(\boldsymbol{x},t) = \left[ - \frac{1}{2m} \left( \boldsymbol{\nabla} - i q \boldsymbol{A} \right)^2 + q \Phi \right] \psi(\boldsymbol{x},t), \tag{2.11}\end{align}\] となる。

古典電磁気学の運動方程式はゲージ変換に対して不変であるが、このシュレーディンガー方程式はそのままでは不変でない。しかし、微分演算子の置き換え\(\partial_\mu \to \partial_\mu - i q A_\mu\)によってゲージポテンシャル\(A_\mu\)が導入されることを考えると、\[\begin{align} \left( \partial_\mu - i q A_\mu \right) \psi(x) \tag{2.12}\end{align}\] という組み合わせがゲージ変換に対して不変であればよいことが分かる。 つまり、波動関数に作用する微分項がゲージポテンシャルの変化を打ち消すように機能する必要がある。 この要請を満たすためにゲージ変換の対象を拡張し、波動関数も次のように変換すると仮定する。

このとき上述の組み合わせはゲージ変換に対して不変となる。波動関数の変換は単なる位相変換であるため、確率密度\(\rho(x)\)のような観測量もゲージ変換に対して不変となる。

逆に、このようなゲージ変換に対する対称性を理論が備えていることを要請すると、微分演算子の置き換え\(\partial_\mu \to \partial_\mu - i q A_\mu\)を通じて電磁場との相互作用が自然に導かれる。このように、ゲージ対称性の要請によって相互作用の形が決定されるという考え方をゲージ原理と呼ぶ。 ¹⁴

2-4.　電子のスピン

電子の状態は位置だけでは決定されず、スピンと呼ばれる内部自由度を持つ。そのため、電子の波動関数\(\psi\)はスピンの2成分を含み、\[\begin{align} \psi = \begin{pmatrix} \psi_+(\boldsymbol{x},t) \\ \psi_-(\boldsymbol{x},t) \end{pmatrix} \tag{2.14}\end{align}\] と表される。 スピンの自由度は空間回転の演算によって混ざり合い、角運動量\(1/2\)を持つ。

電荷\(q\)を持つスピン\(1/2\)の粒子の波動関数の時間発展を記述する方程式として、次の式が実験結果をよく再現することが知られている。 ¹⁵\[\begin{align} i \frac{\partial}{\partial t} \psi = \left[ - \frac{1}{2m} \left( \boldsymbol{\nabla} - i q \boldsymbol{A} \right)^2 - \frac{g q}{2 m} \boldsymbol{S} \cdot \boldsymbol{B} + q \Phi \right] \psi, \tag{2.15}\end{align}\] これはシュレディンガー・パウリ方程式と呼ばれる。 ここで、 \(\boldsymbol{S} = \boldsymbol{\sigma}/2\)はスピン演算子、\(g\) (\(\simeq 2\))はg因子である。 パウリ行列\(\boldsymbol{\sigma}\)は次の関係式を満たす。

ここで、\(\epsilon^{ijk}\)は完全反対称テンソルで、\(\epsilon^{123}=1\)とする。シュレーディンガー・パウリ方程式中の\((-g q/2 m) \boldsymbol{S} \cdot \boldsymbol{B}\)の項はパウリ項と呼ばれ、一様磁場中の原子に対する異常ゼーマン効果を説明する。

さらに、スピン軌道相互作用として次の項も存在する。\[\begin{align} H_{LS} = \frac{1}{2m^2} \frac{1}{r} \frac{\partial V_c}{\partial r} (\boldsymbol{L} \cdot \boldsymbol{S}), \tag{2.17}\end{align}\] この項により、原子スペクトルに現れる微細構造を説明できる。実際、ナトリウムのD線の観測などを通じて、その妥当性が確認されている。

これらの方程式を受け入れると次のような理論的な疑問が生じる。パウリ項やスピン軌道相互作用はゲージ変換に対して不変であるが、ゲージ原理に基づく単純な置き換え\(\partial_\mu \to \partial_\mu - i q A_\mu\)から自然に現れるものではない。これらの項を基本原理に基づいて導出し、その係数を理論的に予言することは可能なのだろうか。 ¹⁶

本講義では、相対論的量子力学の枠組みでスピンが自然に現れ、これに伴ってパウリ項やスピン軌道相互作用も自動的に導かれることを学ぶ。

3.　クラインゴルドン方程式

本章では、後に登場するディラック粒子の波動関数\(\psi\)と区別するため、波動関数を\(\phi\)と表記する。

量子力学をローレンツ共変な形に拡張する方法には、いくつかの選択肢がある。一つは、ハイゼンベルク表示に移り、時間発展を演算子に担わせ、さらに演算子のラベルに時間だけでなく空間座標も含める方法である。これは演算子を空間および時間に依存する「場」とみなし、場の量子論へと発展させる方法に他ならない。

もう一つの方法は、1体系の状態を位置の固有状態で展開した波動関数 \(\phi(\boldsymbol{x},t) = \left< \boldsymbol{x} | \phi(t) \right>\) が時間と空間の両変数を持つことに着目し、これが従うシュレディンガー波動方程式をローレンツ共変な形へ一般化するというものである。このアプローチでは1体系の状態しか扱えないが、非相対論的量子力学から自然に拡張された形式として理解しやすい。本講義の前半では、この方法を採用する。

3-1.　自由粒子のクライン・ゴルドン方程式

ハミルトニアンと運動量演算子の作用は以下のように表される。\[\begin{align} &\left<\boldsymbol{x} \right|\hat{H} \left| \phi (t) \right> = i \partial_0 \phi(\boldsymbol{x},t) \\ &\left<\boldsymbol{x}|\hat{p}^i |\phi(t) \right> = -i \partial_i \phi(\boldsymbol{x},t) \tag{3.1}\end{align}\] ここで、 \(\hat{p}^\mu = (\hat{H}, \hat{p}^i)\)と定義すれば\[\begin{align} \left<\boldsymbol{x}|\hat{p}^\mu|\phi(t) \right> = -i \eta^{\mu\nu} \partial_\nu \phi(x) \tag{3.2}\end{align}\] のように、見かけ上ローレンツ共変のような形に表せる。¹⁷

この関係を用いると、\[\begin{align} \left<\boldsymbol{x}| \eta_{\mu\nu} \hat{p}^\mu \hat{p}^\nu |\phi \right> = - \eta^{\mu\nu} \partial_\mu \partial_\nu \phi(x) \tag{3.3}\end{align}\] となる。 一方で、エネルギー\(E\)と運動量\(\boldsymbol{p}\)の固有状態の完全形を用いると、左辺は次のように書き換えられる。\[\begin{align} \left<\boldsymbol{x}\right| \eta_{\mu\nu} \hat{p}^\mu \hat{p}^\nu \sum_{\boldsymbol{p}, i} \left| E,\boldsymbol{p} \right> \left<E,\boldsymbol{p}\right| \left. \phi \right> &= \sum_{\boldsymbol{p}, i} \eta_{\mu\nu} p^\mu p^\nu \left<\boldsymbol{x}\right| \left. E,\boldsymbol{p} \right> \left<E,\boldsymbol{p}\right| \left. \phi \right> \\ &= -m^2 \sum_{\boldsymbol{p}, i} \left<\boldsymbol{x}\right| \left. E,\boldsymbol{p} \right> \left<E,\boldsymbol{p}\right| \left. \phi \right> \\ &= -m^2 \phi(x) \tag{3.4}\end{align}\] ここで、完全系のラベルで運動量以外のものを\(i\)にまとめ、2行目では自由粒子のエネルギーと運動量の関係式\(-m^2 = \eta_{\mu\nu} p^\mu p^\nu\)を用いた。これらの式を合わせると、次のクライン・ゴルドン方程式が得られる。

任意の自由粒子の波動関数は、このクライン・ゴルドン方程式を満たすことが期待される。ただし、本章では特にスカラーとして変換する波動関数\(\phi(x)\)を考える。つまり、ローレンツ変換\(x^\mu \to {x'}^{\mu}\)に対して、\[\begin{align} \phi(x) \to \phi'(x') =\phi(x) \tag{3.6}\end{align}\] と変換するものを扱う。 ローレンツ変換には回転変換も含まれるため、波動関数\(\phi(x)\)がスカラーであることは、この波動関数がスピン0の粒子を記述することを意味する。 ¹⁸

クライン・ゴルドン方程式の一般解は\[\begin{align} \phi(x) = C e^{i k_\mu x^\mu} \tag{3.7}\end{align}\] となる。ここで、\(k^\mu = (\omega, \boldsymbol{k})\)とした。これをクライン・ゴルドン方程式に代入すると、\[\begin{align} \left( \omega^2 - \boldsymbol{k}^2 - m^2 \right) C e^{i k x} = 0 \tag{3.8}\end{align}\] もしくは、\[\begin{align} \omega = \pm \sqrt{\boldsymbol{k}^2 + m^2} \tag{3.9}\end{align}\] となる。 つまり、正負二つの振動数を持つ解が存在する。 以下では 常に\(\omega\)を正として、 正の振動数の解を\[\begin{align} \phi(x) = C e^{i k_\mu x^\mu} \tag{3.10}\end{align}\] 負の振動数の解を\[\begin{align} \phi(x) = C e^{-i k_\mu x^\mu} \tag{3.11}\end{align}\] と書く。

3-3.　非相対論的極限と反粒子

クライン・ゴルドン方程式の正・負の振動数の解が持つ物理的意味を明らかにするため、電磁場との相互作用を含めた非相対論的極限を考える。

粒子が電荷\(q\)を持つ場合、導関数を\(\partial_\mu \to \partial_\mu - i q A_\mu\)に置き換えることで、電磁場中のクライン・ゴルドン方程式は以下のように書き換えられる。\[\begin{align} \left( \eta^{\mu\nu} \left( \partial_\mu - i q A_\mu \right) \left( \partial_\nu - i q A_\nu \right) - m^2 \right) \phi(x) = 0 \tag{3.12}\end{align}\]

まず、正の振動数の解を考える。電磁場が存在せず、粒子が静止している場合(\(\boldsymbol{k} = 0\))、\[\begin{align} \phi(x) = C e^{- i m t} \tag{3.13}\end{align}\] となる。 粒子の運動エネルギーや電磁場のポテンシャルエネルギーが静止エネルギー\(m\)よりはるかに小さい場合、この解からのズレも微小となると期待できる。そこで新たに関数\(\varphi(x)\)を導入し、\[\begin{align} \phi(x) = \varphi(x) e^{-imt}, \tag{3.14}\end{align}\] と書き直す。これを電磁場中のクライン・ゴルドン方程式に代入すると、次の方程式が得られる。\[\begin{align} & \left( \eta^{\mu\nu} \left( - i m \delta_{0\mu} + \partial_\mu - i q A_\mu \right) \left( - i m \delta_{0\nu} + \partial_\nu - i q A_\nu \right) - m^2 \right) \varphi(x) = 0 \nonumber \\ &\leftrightarrow \left( 2 i m \left( \partial_0 - i q A_0 \right) - \left( \partial_0 - i q A_0 \right)^2 + \sum_i \left( \partial_i - i q A_i \right)^2 \right) \varphi(x) = 0 \nonumber \\ \tag{3.15}\end{align}\] ここで、非相対論的極限では\(\left( \partial_0 - i q A_0 \right)^2\)の項が高次の微小量となるため無視すると、\[\begin{align} i \frac{\partial}{\partial t} \varphi= \left[ - \frac{1}{2m} \left( \boldsymbol{\nabla} - i q \boldsymbol{A} \right)^2 + q \Phi \right] \varphi, \tag{3.16}\end{align}\] となり、結果としてスピン0の粒子が電磁場中で従うシュレディンガー方程式に帰着する。 この結果から、非相対論的極限において\(\left( i \partial_0 + q A_0 \right)\)が運動エネルギーと同程度であり、その二乗はより高次であるため無視可能なことがわかる。

次に、負の振動数の解を考察する。新しい関数\(\chi(x)\)を\[\begin{align} \phi(x) = \chi^*(x) e^{imt} \tag{3.17}\end{align}\] として導入すると、非相対論的極限における方程式は\[\begin{align} i \frac{\partial}{\partial t} \chi = \left[ - \frac{1}{2m} \left( \boldsymbol{\nabla} + i q \boldsymbol{A} \right)^2 - q \Phi \right] \chi, \tag{3.18}\end{align}\] となる。¹⁹ この結果から、負の振動数の解は電荷が逆で質量が同じ粒子（反粒子）の波動関数の複素共役として解釈される。

以上の結果より、相対論的量子力学では一般に反粒子が存在することが予言されることが理解できる。

3-4.　電荷の流れ

クライン・ゴルドン方程式の解\(\phi(x)\)に確率解釈が成り立つかを考えよう。

相対論ではローレンツブーストにより空間の長さが収縮するため、電荷密度は変化する。一方、非相対論的量子力学における確率密度としての\(\left\vert {\phi(x)} \right\vert^2\)はスカラー量であり、ローレンツブーストで変化しない。そのため、\(\left\vert {\phi(x)} \right\vert^2\)を単純に粒子密度と解釈することには問題がある。さらに、この量は連続の式を満たさない。

しかし、次のように定義すると、この量は連続の式を満たす。\[\begin{align} \rho = \frac{iq}{2m} \left[ \phi^* \frac{\partial\phi}{\partial t} - \frac{\partial\phi^*}{\partial t} \phi \right], \\ \boldsymbol{j} = \frac{-iq}{2m} \left[ \phi^* \nabla\phi - (\nabla\phi^*) \phi \right], \tag{3.19}\end{align}\] ここでは簡単のため電磁場を無視した。これらを電荷の流れの4元ベクトル\(j^\mu = (\rho, \boldsymbol{j})\)でまとめると次のようになる。

この4元ベクトルはローレンツ変換に対して共変ベクトルとして振る舞う。 ²⁰

\(\phi(x) = \varphi(x) e^{- i m t}\)として非相対論的極限をとると、\(\rho\)は\[\begin{align} \rho(x) \simeq q \left\vert {\varphi(x)} \right\vert^2 , \tag{3.21}\end{align}\] となる。 反粒子に関しては \(\phi(x) = \chi^*(x) e^{ i m t}\)とすると、\[\begin{align} \rho(x) \simeq -q \left\vert {\chi(x)} \right\vert^2 , \tag{3.22}\end{align}\] となり符号が反転する。 したがって、\(\rho(x)\)は電荷密度として解釈できる。 非相対論的量子力学においては\(\rho(x) \equiv |\varphi(x)|^2\)は粒子の存在確率密度と解釈されたが、ここでは電荷を明示的に含めた形で再定義され、\(\rho(x)\)は粒子または反粒子の電荷密度と理解される。 ²¹

当時観測されていた粒子のほとんどは安定なものであり、新たな不安定粒子の存在は基本的には想定されていなかった。しかし現代では粒子の生成・消滅が広く認識され、電荷の保存則が基本原理となっている。観測された安定粒子のみが存在すると考えるのは一種の生存バイアスであり、新たな不安定粒子の存在可能性は否定できない。 さらに、安定な粒子の種類が限られている必要もなく、実際に宇宙にはダークマターのような未知の安定な物質が存在する可能性がある。 ²²

クライン・ゴルドン方程式の解は運動量\(\boldsymbol{k}\)を固定しても二つの異なる解をもち、それらを含めて完全系をなす。エネルギー固有状態では正負の振動数の解は混ざらないが、一般の状態では時間発展により混ざり合う。この混合を考えることで初めて\(\rho(x)\)は連続の式を満たし、全電荷が保存される。よって負の振動数の解も物理的意味を持ち、正の解のみを選ぶことは許されない。

ただしエネルギー固有状態を考える限り、負の振動数の解を特別に意識する必要はない。一方で負の振動数成分のみを取り出したエネルギー固有状態を考えることも可能であり、これは反粒子が存在する状態を表す。このように相対論的量子力学では反粒子の存在が自然に予言される。

スピン0の粒子としてはヒッグス粒子やパイ中間子があるが、安定または長寿命なものは稀である。またスピン0粒子はボソンであり、多数が同一状態を占有可能である。このため、スピン0粒子については単一粒子の系よりも、古典的および量子論的な場の理論において興味深い現象が現れることになる。よってスピン0粒子の一体系の議論はここまでに留め、次節ではスピン\(1/2\)の粒子を扱うことにする。

3-5.　場の理論からの補足

クライン・ゴルドン方程式の解には正・負両方の振動数を持つ解が存在する。正の振動数の解は粒子の波動関数、負の振動数の解は反粒子の波動関数の複素共役として解釈される。この反粒子の解に複素共役が現れる理由は、場の理論の視点から理解できる。

以下では簡略化のため、\(k x \equiv k_\mu x^\mu\)という記法を用いる。

場の理論では、クライン・ゴルドン方程式に従う演算子の場\(\hat{\phi}(x)\)を考える。²³ クライン・ゴルドン方程式の解は\(k^0 = \sqrt{\boldsymbol{k}^2 + m^2}\)を満たす\(e^{ikx}\)および\(e^{-ikx}\)の形をしているので、演算子場\(\hat{\phi}(x)\)は以下のように展開できる。\[\begin{align} \hat{\phi}(x) = \int \frac{d^3k}{(2\pi)^3 2 \omega} \left[ \hat{a}(\boldsymbol{k}) e^{ikx} + \hat{b}^\dagger (\boldsymbol{k}) e^{-ikx} \right]_{k^0 = \sqrt{\boldsymbol{k}^2 + m^2}}, \tag{3.23}\end{align}\] 第一項が正の振動数の解、第二項が負の振動数の解に対応している。

ここで、展開係数のように現れている演算子\(\hat{a}(\boldsymbol{k})\)は運動量\(\boldsymbol{k}\)をもつ粒子を消滅させる演算子、\(\hat{b}^\dagger (\boldsymbol{k})\)は運動量\(\boldsymbol{k}\)をもつ反粒子を生成する演算子である。 このように見ると、\(\hat{\phi}(x)\)は位置\(x\)に粒子を消滅させる効果と反粒子を生成する効果の両方を持っていることになる。電荷に注目すると、いずれの場合も電荷を\(q\)だけ減少させる作用を持つ。

また、エルミート共役\(\hat{\phi}^\dagger(x)\)は\[\begin{align} \hat{\phi}^\dagger(x) = \int \frac{d^3k}{(2\pi)^3 2 \omega} \left[ \hat{a}^\dagger(\boldsymbol{k}) e^{-ikx} + \hat{b} (\boldsymbol{k}) e^{ikx} \right], \tag{3.24}\end{align}\] であり、こちらは粒子を生成し反粒子を消滅させる効果を持つ。これは電荷を\(q\)だけ増加させる作用に相当する。

真空状態\(\left| 0 \right>\)に粒子を生成する演算子\(\hat{a}^\dagger(\boldsymbol{k})\)を作用させると、 運動量\(\boldsymbol{k}\)を持つ1粒子状態\(\left| \phi_{\boldsymbol{k}} \right> \equiv \hat{a}^\dagger(\boldsymbol{k}) \left| 0 \right>\)が得られる。 この状態に対応する波動関数は、\[\begin{align} \phi(x) = \left< 0 \right| \hat{\phi}(x) \left| \phi_{\boldsymbol{k}} \right> \tag{3.25}\end{align}\] という形で表される。非相対論的量子力学において位置\(\boldsymbol{x}\)に粒子を見いだす状態を\(\left| \boldsymbol{x} \right>\)と表すならば、\[\begin{align} \left< 0 \right| \hat{\phi}(x) = e^{-i\omega t}\left< \boldsymbol{x} \right| \tag{3.26}\end{align}\] あるいは\[\begin{align} \hat{\phi}^\dagger (x) \left| 0 \right> = e^{i\omega t} \left| \boldsymbol{x} \right> \tag{3.27}\end{align}\] と見なせる。このとき、時間発展因子\(e^{-i\omega t}\)を状態側に押し付けるシュレディンガー描像を採用すると、 \(\left| \phi_{\boldsymbol{k}}(t) \right> = e^{-i \omega t} \left| \phi_{\boldsymbol{k}} \right>\)となるため、\[\begin{align} \phi(x) = \left< \boldsymbol{x} \right. \left| \phi_{\boldsymbol{k}}(t) \right> \tag{3.28}\end{align}\] という非相対論的量子力学で見慣れた形式になる。^{24 25}

同様に、真空状態に反粒子を生成する演算子\(\hat{b}^\dagger(\boldsymbol{k'})\)を作用させると、運動量\(\boldsymbol{k'}\)を持つ反粒子状態\(\left| \chi_{\boldsymbol{k'}} \right> \equiv \hat{b}^\dagger(\boldsymbol{k'}) \left| 0 \right>\)が得られる。この反粒子状態の波動関数は\[\begin{align} \chi(x) = \left< 0 \right| \hat{\phi}^\dagger(x) \left| \chi_{\boldsymbol{k'}} \right> \tag{3.29}\end{align}\] で定義され、その複素共役は\[\begin{align} \chi^*(x) = \left< \chi_{\boldsymbol{k'}} \right| \hat{\phi}(x) \left| 0 \right> \tag{3.30}\end{align}\] となる。\(\hat{\phi}(x)\)がクライン・ゴルドン方程式を満たすため、反粒子の波動関数の複素共役も同様に同じ方程式を満たす。

このように場の理論においては、場の演算子\(\hat{\phi}(x)\)自身がクライン・ゴルドン方程式を満たすことが本質的であり、その結果として粒子と反粒子の波動関数が同じ方程式を満たすことになる。ただし、\(\hat{\phi}(x)\)が粒子の消滅・反粒子の生成という逆の役割を果たすため、反粒子の波動関数には複素共役が付加されるのである。

4.　ディラック方程式

クライン・ゴルドン方程式に従う関数\(\phi(x)\)はローレンツ変換に対してスカラー場として振る舞うため、スピン0粒子の波動関数を表す。しかし非相対論的量子力学で学んだように、電子にはスピンという2つの内部自由度が存在する。したがって、スピン\(1/2\)粒子の時間発展を記述するには、多成分の波動関数に従う方程式が必要となる。

ここでは、試しに\(n\)成分の波動関数を導入する。すると波動関数が満たすべき方程式やハミルトニアンは\(n \times n\)行列の形式をとることになる。また、自由度を増やすことで時間微分の階数を一次に下げ、ローレンツ共変な方程式を新たに構成することが可能となる。これがディラック方程式である。

4-1.　ディラック方程式

質量を持つ粒子の記述には最小で\(n=4\)が必要であることが知られているため、ここでは初めからこのケースを考える。4成分を持つ波動関数\(\psi(x)\)に対し、ローレンツ共変性を持ち、かつ時間微分が一次の方程式を求める。さらに、粒子のエネルギーと運動量が関係式\(E^2 = m^2 + p^2\)を満たすこと、すなわち解がクライン・ゴルドン方程式も満たすことを条件とする。

まず、ローレンツ共変な一次微分方程式を期待し、\(\partial_\mu\)を含む形式を考える。また、ローレンツ添え字を縮約するために定数行列\(\gamma^\mu\)を導入する。\(\psi\)は4成分を持つため、\(\gamma^\mu\)は各\(\mu = 0,1,2,3\)に対して異なる\(4 \times 4\)行列とする。これらを用いて次の形の方程式を構成する。

ここで、\(I_{4}\)は\(4\times 4\)単位行列、\(m\)は粒子の質量を表す。²⁶

クライン・ゴルドン方程式との関係を見るため、両辺に\((i \gamma^\nu \partial_\nu + m I_{4})\)を左から作用させると、\[\begin{align} (-\gamma^\nu \partial_\nu \gamma^\mu \partial_\mu - m^2 I_{4}) \psi = 0, \tag{4.2}\end{align}\] となる。従って、次の条件を満たすように\(\gamma^\mu\)を選べば、\(\psi\)の各成分がクライン・ゴルドン方程式も満たすことになる。 ²⁷\[\begin{align} -\gamma^\nu \partial_\nu \gamma^\mu \partial_\mu =\eta^{\mu\nu} I_{4}\partial_\mu \partial_\nu \tag{4.3}\end{align}\] \(\gamma^\mu\)は定数行列であるため、この条件は次のように書き換えられる。

この条件を満たす代数はクリフォード代数と呼ばれる。

4-2.　ハミルトニアン

\(\gamma^\mu\)の性質を調べる前に、ディラック方程式からハミルトニアンの形を求めておく。ディラック方程式に左から\(\gamma^0\)を掛けると、\[\begin{align} \left( i I_{4}\partial_0 + i \gamma^0 \gamma^i \partial_i - \gamma^0 m \right) \psi = 0, \tag{4.5}\end{align}\] となる。 ここで、波動関数と運動量演算子\(\hat{p}^\mu\)の関係²⁸\[\begin{align} \left<x \vert \hat{p}^\mu|\psi \right> = -i \eta^{\mu\nu} \partial_\nu \psi(x) \tag{4.6}\end{align}\] を用いると、ハミルトニアンが次のように得られる。²⁹

ハミルトニアンはエルミート演算子である必要があるため、\[\begin{align} & \left( \gamma^0 \right)^\dagger = \gamma^0, \\ & \left( \gamma^0 \gamma^i \right)^\dagger = \gamma^0 \gamma^i \tag{4.8}\end{align}\] でなければならない。ここで、([gamma_comm])から\(\gamma^0 \gamma^i = - \gamma^i \gamma^0\)であることを用いると、次の関係式が要求される。

つまり、 \(\gamma^0\)はエルミート行列、\(\gamma^i\)は反エルミート行列でなければならない。

4-3.　ディラック共役と電荷の流れ

ディラック共役\(\bar{\psi}\)は、\(\psi^\dagger\)の代わりとしてよく用いられる量であり、次のように定義される。

また、電荷の流れを以下のように定義する。

このとき、ディラック方程式の解は連続の式\(\partial_\mu j^\mu = 0\)を満たすことがわかる。³⁰

4-4.　具体的な\(\gamma\)行列の例

\(\gamma\)行列は、条件\(\{ \gamma^\mu, \gamma^\nu\} = - 2 \eta^{\mu\nu}\)を満たすように構成される。

この条件は具体的には次のように表される。\[\begin{align} &(\gamma^0)^2 = I_{4} \\ &(\gamma^i)^2 = -I_{4} \\ &\gamma^\mu \gamma^\nu = - \gamma^\nu \gamma^\mu \quad \mathrm{for} \quad \mu \ne \nu \tag{4.12}\end{align}\] 特に、最後の式に\(\gamma^\nu\)をかけてトレースを取ると、\(\mathrm{ Tr}[\gamma^\mu] = 0\)が導かれる。さらに、\((\gamma^0)^2 = I_{4}\)より、固有値は\(\pm 1\)のみが許される。これにより、行列の次数\(n\)は偶数でなければならないことがわかる。\(n=2\)ではクリフォード代数を満たすような\(\mu=0,1,2,3\)の4つの行列を構成できないため、\(n=4\)が最小の行列の次数となることが知られている。 ³¹

例えば、パウリ行列\(\sigma_i\)を用いると、以下の形が条件\(\{ \gamma^\mu, \gamma^\nu\} = - 2 \eta^{\mu\nu}\)を満たすことは容易に確認できる。

この表現はディラック・パウリ表示と呼ばれ、非相対論的極限をとる際に見通しが良い。 また、\(\gamma^0\)はエルミート行列、\(\gamma^i\)は反エルミート行列であることもわかる。

あるユニタリー行列\(U\)を用いて\(\gamma\)行列を\(U^\dagger \gamma^\mu U\)のように変換しても、反交換関係([gamma_comm])は変わらず成立する。そのため、\(\gamma\)行列の具体的な表示は無数に存在することになる。実際には、問題の性質に応じて適切な表示を選択することが重要である。例えば、粒子が相対論的エネルギーを持つ場合には、以下のようなワイル表示が便利である。

5.　ローレンツ共変性

5-1.　ディラックスピノル

ディラック方程式の\(\gamma\)行列は、それぞれ定数の行列であり、\(\mu = 0,1,2,3\)の4つをまとめて表記したものである。そのため、ローレンツ変換により変化することはない。したがって、\(\gamma^\mu\)は添字\(\mu\)に関して反変ベクトルではなく、特に\(\gamma^\mu \partial_\mu\)がローレンツ不変でないことに注意する必要がある。

以上を踏まえ、ディラック方程式のローレンツ共変性を検討する。 ディラック方程式に従う波動関数\(\psi(x)\)は4成分を持つため、ローレンツ変換によりその成分が混ざり合って変換されると考えられる。これは座標の回転に伴うベクトルの成分が回転したりスピンが混ざり合うことに対応している。 そこで、ローレンツ変換\(x'^\mu = \Lambda^\mu_{\ \nu} x^\nu\)を考えたとき、波動関数が次のように変換されると仮定する。

ここで、\(D(\Lambda)\)はローレンツ変換ごとに決まる\(4\times 4\)行列である。³² ローレンツ変換は\(\Lambda^\mu_{\ \nu}\)を指定することで一意に決まるため、それに伴って\(D(\Lambda)\)も定まるという意味で引数に\(\Lambda\)を持たせている。

座標変換後のディラック方程式は次のようになる。\[\begin{align} \left( i \gamma^\mu \Lambda_\mu^{\ \nu} \partial_\nu - m I_{4}\right) D(\Lambda) \psi(x) = 0 \tag{5.2}\end{align}\] ここで、\(\partial_\mu' = \Lambda_\mu^{\ \nu} \partial_\nu\)を用いた。 この式の両辺に左から\(D(\Lambda)^{-1}\)をかけると\[\begin{align} \left( i D(\Lambda)^{-1} \gamma^\mu D(\Lambda) \Lambda_\mu^{\ \nu} \partial_\nu - m I_{4}\right) \psi(x) = 0 \tag{5.3}\end{align}\] となる。さらに、 \(\Lambda^\mu_{\ \alpha} \Lambda_{\mu}^{\ \nu} = \delta^\nu_\alpha\)を用いると、次の条件が得られる。

この関係式が成り立つならば、ディラック方程式は元の形に戻り、ローレンツ共変性を持つことが確認される。 ³³ 以下ではこの条件を満たす\(D(\Lambda)\)を求める。

5-2.　無限小ローレンツ変換

\(D(\Lambda)\)を具体的に求めるため、無限小ローレンツ変換を考える。まず、ベクトルに対する変換行列が次の形で表されることを思い出そう。\[\begin{align} \Lambda^{\mu}{ }_{\nu}=\delta^{\mu}{ }_{\nu} + \frac{i}{2} \delta \omega_{\rho \sigma} \left( L^{\rho \sigma} \right)^{\mu}{ }_{\nu} \tag{5.5}\end{align}\] ここで、 \(\delta \omega_{\rho \sigma}\)は添字に関して反対称な微少なパラメーターである。 同様に、\(D(\Lambda)\)を微少パラメーター\(\delta \omega_{\rho \sigma}\)について展開すると、\[\begin{align} D(\Lambda)=I_{4} + \frac{i}{2} \delta \omega_{\rho \sigma} S^{\rho \sigma} \tag{5.6}\end{align}\] と書ける。ここで、\(S^{\mu\nu}\)は各\(\mu, \nu\)に対して\(4\times4\)行列であり、ローレンツ添字に関して反対象\(S^{\mu\nu} = - S^{\nu\mu}\)であるとする。 また、\(\delta \omega_{\mu \nu}\)が微小であることに注意すると、逆行列は次のようになる。\[\begin{align} D^{-1}(\Lambda)=I_{4} - \frac{i}{2} \delta \omega_{\rho \sigma} S^{\rho \sigma} \tag{5.7}\end{align}\]

\(S^{\mu\nu}\)は 条件\(D(\Lambda)^{-1} \gamma^\mu D(\Lambda) = \Lambda^{\mu}_{\ \alpha} \gamma^\alpha\)を満たすように決める。 この両辺をそれぞれ計算していくと、\[\begin{align} \left(I_{4} - \frac{i}{2} \delta \omega_{\alpha \beta} S^{\alpha \beta}\right) \gamma^{\mu}\left(I_{4} + \frac{i}{2} \delta \omega_{\sigma \rho} S^{\sigma \rho}\right) &= \gamma^{\mu} + \delta \omega^{\mu}{ }_{\nu} \gamma^{\nu} \\ \leftrightarrow \quad -\frac{i}{2} \delta \omega_{\alpha \beta} S^{\alpha \beta} \gamma^{\mu} + \frac{i}{2} \gamma^{\mu} \delta \omega_{\alpha \beta} S^{\alpha \beta} &= \delta \omega^{\mu}{ }_{\nu} \gamma^{\nu} \\ \leftrightarrow \quad -\frac{i}{2} \delta \omega_{\alpha \beta}\left[S^{\alpha \beta}, \gamma^{\mu}\right] &= \frac{1}{2} \delta \omega_{\alpha \beta} \left( \eta^{\mu \alpha} \gamma^{\beta} - \eta^{\mu \beta} \gamma^{\alpha} \right) \tag{5.8}\end{align}\] となる。 ここで、最後の等式では右辺の括弧の中身を添字\(\alpha \beta\)について反対称になるように書き換えた。 したがって、任意の反対称なパラメーター\(\delta \omega_{\alpha \beta}\)に対してこの等式が成り立つためには、\[\begin{align} \left[S^{\alpha \beta}, \gamma^{\mu}\right]= i \eta^{\mu \alpha} \gamma^{\beta} - i \eta^{\mu \beta} \gamma^{\alpha} \tag{5.9}\end{align}\] となる必要がある。

この条件は次の形を選ぶことで満たされる。³⁴

これを\(\left[\sigma^{\alpha \beta}, \gamma^{\mu}\right]\)に代入すると、確かに\[\begin{align} \left[\sigma^{\alpha \beta}, \gamma^{\mu}\right] &= \frac{i}{2} \gamma^{\alpha} \gamma^{\beta} \gamma^{\mu}-\frac{i}{2} \gamma^{\beta} \gamma^{\alpha} \gamma^{\mu}-\frac{i}{2} \gamma^{\mu} \gamma^{\alpha} \gamma^{\beta}+\frac{i}{2} \gamma^{\mu} \gamma^{\beta} \gamma^{\alpha} \nonumber\\ & =\frac{i}{2} \gamma^{\alpha}\left(-2 \eta^{\beta \mu}-\gamma^{\mu} \gamma^{\beta}\right)-\frac{i}{2} \gamma^{\beta}\left(-2 \eta^{\alpha \mu}-\gamma^{\mu} \gamma^{\alpha}\right) \nonumber \\ &\quad -\frac{i}{2}\left(-2 \eta^{\alpha \mu}-\gamma^{\alpha} \gamma^{\mu}\right) \gamma^{\beta}+\frac{i}{2}\left(-2 \eta^{\beta \mu}-\gamma^{\beta} \gamma^{\mu}\right) \gamma^{\alpha} \nonumber\\ & = -2 i \eta^{\mu \beta} \gamma^{\alpha}+2 i \eta^{\mu \alpha} \gamma^{\beta} \tag{5.11}\end{align}\] となり、条件を満たす。

具体的には、パウリ・ディラック表示では以下のようになる。\[\begin{align} &\sigma^{i j} = \sum_k \epsilon^{ijk} \Sigma^k \\ &\sigma^{0 i}=-\sigma^{i0} =\left(\begin{array}{cc} 0 & i \sigma^{i} \\ i \sigma^{i} & 0 \end{array}\right) . \tag{5.12}\end{align}\] ここで、次のように定義した。³⁵\[\begin{align} \Sigma^{i} \equiv \left(\begin{array}{cc} \sigma^{i} & 0 \\ 0 & \sigma^{i} \end{array}\right) \tag{5.13}\end{align}\]

5-3.　有限のローレンツ変換

有限のローレンツ変換は、無限小変換\(\delta \omega^{\mu}{ }_{\nu} = \omega^{\mu}{ }_{\nu}/N\)を\(N\)回繰り返し適用することで表現でき、次の式が成立する。

具体例として、\(z\)軸まわりの空間回転\(\theta\)を考えると、\(\omega_{12} = - \omega_{21} = \theta\)となる。このとき、\[\begin{align} D(\Lambda)&=\exp \left(\frac{i}{2} 2 \times \omega_{12} \sigma^{12}\right) \\ &= \exp \left(i \theta \frac{\Sigma^3}{2} \right) \tag{5.15}\end{align}\] が得られる。この式から、4成分波動関数\(\psi\)の上2成分と下2成分が、それぞれスピン\(1/2\)として変換することがわかる。従って、ディラック方程式の解がスピン\(1/2\)粒子を記述することがわかる。

5-4.　\(\gamma\)行列の双一次形式とローレンツ変換性

ディラック共役を\[\begin{align} \bar{\psi}(x) \equiv \psi^\dagger(x) \gamma^0, \tag{5.16}\end{align}\] を定義すると、 これはローレンツ変換の下では次のように変換する。\[\begin{align} \bar{\psi}(x) \to \bar{\psi}' (x') &= \psi^\dagger (x) \gamma^0 \gamma^0 D^\dagger(\Lambda) \gamma^0 \\ &= \bar{\psi}(x) D^{-1}(\Lambda) \tag{5.17}\end{align}\] ここで、\[\begin{align} \gamma^0 D^\dagger(\Lambda) \gamma^0 = D^{-1}(\Lambda) \tag{5.18}\end{align}\] という関係を用いた。

これにより、\(\bar{\psi}\psi\)はスカラーとして、また\(\bar{\psi}\gamma^\mu \psi\)はベクトルとして変換することが示される。特に、確率の流れ\(j^\mu\)もベクトルとして変換し、連続の式\(\partial_\mu j^\mu = 0\)もローレンツ共変であることが確認できる。

6.　ディラック方程式の解

6-1.　一般的な固有状態の解

クライン・ゴルドン方程式と同様に、ディラック方程式にも正の振動数を持つ解と負の振動数を持つ解の両方が存在する。 一般に、運動量およびスピンの固有状態に対する正の振動数の解は\[\begin{align} \psi(x) = u_s(\boldsymbol{k}) e^{ik_\mu x^\mu} \tag{6.1}\end{align}\] 負の振動数の解は、\[\begin{align} \psi(x) = v_s(\boldsymbol{k}) e^{-ik_\mu x^\mu} \tag{6.2}\end{align}\] と表される。³⁶ ここで、スピン固有状態を区別するラベルとして\(s=\pm\)を導入した。

\(u_s(\boldsymbol{k})\)および\(u_s(\boldsymbol{k})\)はディラックスピノールと呼ばれる。 以下では、ディラックスピノールの規格直交条件として、\[\begin{align} u_s^\dagger (\boldsymbol{k}) u_{s'}(\boldsymbol{k}) = 2 k^0 \delta_{ss'} \\ v_s^\dagger (\boldsymbol{k}) v_{s'}(\boldsymbol{k}) = 2 k^0 \delta_{ss'} \tag{6.3}\end{align}\] を採用する。

ディラック方程式の解はクライン・ゴルドン方程式も満たすため、\(k^2 = - m^2\)が成り立つ。 正および負の振動数の解の両方に対して、\(\omega \equiv k^0\)の符号は\[\begin{align} &\omega \equiv k^0 = \sqrt{m^2 + \boldsymbol{k}^2} \tag{6.4}\end{align}\] となるように定める。 この解をディラック方程式に代入すると、次の関係が得られる。\[\begin{align} &(\gamma^\mu k_\mu + m I_{4}) u_s(\boldsymbol{k}) = 0 \\ &(-\gamma^\mu k_\mu + m I_{4}) v_s(\boldsymbol{k}) = 0 \tag{6.5}\end{align}\]

ディラックスピノールの具体的な形はガンマ行列の表現に依存する点に注意する。本章ではディラック・パウリ表示を用いる。

6-2.　静止している場合

\(\nabla \psi = 0\)の場合のディラック方程式の解を求める。 これは運動量\(\boldsymbol{k}\)が\(0\)で粒子が静止している場合に対応する。 このとき、自由場のディラック方程式は\[\begin{align} i \frac{\partial \psi}{\partial t}= m \gamma^0 \psi \tag{6.6}\end{align}\] となる。パウリ・ディラック表示では\(\gamma^0 = \mathrm{ diag}(1,1,-1,-1)\)である。 正の振動数の解は\(\psi = u_s(\boldsymbol{0}) e^{-imt}\)、負の振動数の解は\(\psi = v_s(\boldsymbol{0}) e^{imt}\)として、\[\begin{align} \begin{array}{ll} u_+ (\boldsymbol{0}) = \sqrt{2m} \left(\begin{array}{l} 1 \\ 0 \\ 0 \\ 0 \end{array}\right), & u_- (\boldsymbol{0}) = \sqrt{2m} \left(\begin{array}{l} 0 \\ 1 \\ 0 \\ 0 \end{array}\right) \\ v_- (\boldsymbol{0})= \sqrt{2m} \left(\begin{array}{l} 0 \\ 0 \\ 1 \\ 0 \end{array}\right), & v_+ (\boldsymbol{0}) = \sqrt{2m} \left(\begin{array}{l} 0 \\ 0 \\ 0 \\ 1 \end{array}\right) \end{array} \tag{6.7}\end{align}\] が得られる。 \(z\)軸を中心とする座標回転に対する変換性の([zspin])から、これらが\(z\)軸方向のスピンの固有状態であることもわかる。 ³⁷

6-3.　\(z\)方向に運動している場合

次に、\(z\)方向に運動量\(k_z\)を持つ解を求める。 正の振動数の解を\(\psi(x) = u_s (\boldsymbol{k}) e^{- i \omega t + i k_z z}\)とし、\[\begin{align} u_s (\boldsymbol{k}) =\left(\begin{array}{l} c_{1} \\ c_{2} \\ c_{3} \\ c_{4} \end{array}\right) \tag{6.8}\end{align}\] とおくと、ディラック方程式は次の形になる。\[\begin{align} \left(\begin{array}{cccc} \omega-m & & -k_{z} & \\ & \omega-m & & k_{z} \\ k_{z} & & -\omega-m & \\ & -k_{z} & & -\omega-m \end{array}\right)\left(\begin{array}{l} c_{1} \\ c_{2} \\ c_{3} \\ c_{4} \end{array}\right)=0 \tag{6.9}\end{align}\] この行列方程式は、第一成分と第三成分のペア、および第二成分と第四成分のペアに分割できる。 ³⁸\[\begin{align} \left(\begin{array}{cc} \omega-m & -k_{z} \\ k_{z} & -\omega-m \end{array}\right)\left(\begin{array}{l} c_{1} \\ c_{3} \end{array}\right)=0 \\ \left(\begin{array}{cc} \omega-m & k_{z} \\ -k_{z} & -\omega-m \end{array}\right)\left(\begin{array}{l} c_{2} \\ c_{4} \end{array}\right)=0 \tag{6.10}\end{align}\] したがって、運動量とスピンの固有状態は\[\begin{align} &u_+ (k_z \boldsymbol{e}_z) = \sqrt{ \frac{2\omega}{(\omega+m)^2 + k_z^2}} \left(\begin{array}{c} \omega+m \\ 0 \\ k_{z} \\ 0 \end{array} \right), \\ & u_- (k_z \boldsymbol{e}_z) = \sqrt{ \frac{2\omega}{(\omega+m)^2 + k_z^2} } \left(\begin{array}{c} 0 \\ \omega+m \\ 0 \\ -k_{z} \end{array}\right) \tag{6.11}\end{align}\] となる。 負の振動数の解については\(\psi(x) = v_s (\boldsymbol{k}) e^{ i \omega t - i k_z z}\)とし、\[\begin{align} &v_- (k_z \boldsymbol{e}_z)= \sqrt{ \frac{2\omega}{(\omega+m)^2 + k_z^2} } \left(\begin{array}{c} k_{z} \\ 0 \\ \omega+m \\ 0 \end{array}\right), \\ & v_+ (k_z \boldsymbol{e}_z) = \sqrt{ \frac{2\omega}{(\omega+m)^2 + k_z^2} } \left(\begin{array}{c} 0 \\ -k_{z} \\ 0 \\ \omega+m \end{array}\right) \tag{6.12}\end{align}\] となる。

6-4.　ディラックスピノールの関係式

ディラックスピノールのディラック共役を次のように定義する。\[\begin{align} \bar{u}_s(\boldsymbol{k}) &\equiv u_s^\dagger (\boldsymbol{k})\gamma^0, \\ \bar{v}_s(\boldsymbol{k}) &\equiv v_s^\dagger(\boldsymbol{k}) \gamma^0 \tag{6.13}\end{align}\] このとき、次の関係が成り立つ。\[\begin{align} &\bar{u}_s(\boldsymbol{k}) u_{s'}(\boldsymbol{k}) =2 m \delta_{s s'} , \\ &\bar{v}_s(\boldsymbol{k}) v_{s'}(\boldsymbol{k}) = - 2 m \delta_{s s'} , \\ &\bar{u}_s(\boldsymbol{k}) v_{s'}(\boldsymbol{k}) = 0 , \\ &\bar{v}_s(\boldsymbol{k}) u_{s'}(\boldsymbol{k}) = 0 , \tag{6.14}\end{align}\]\[\begin{align} &\bar{u}_s(\boldsymbol{k}) \gamma^\mu u_{s'}(\boldsymbol{k}) =2 p^\mu \delta_{s s'} , \\ &\bar{v}_s(\boldsymbol{k}) \gamma^\mu v_{s'}(\boldsymbol{k}) = 2 p^\mu \delta_{s s'} , \tag{6.15}\end{align}\]\[\begin{align} &\bar{u}_s(\boldsymbol{k}) \gamma^0 v_{s'}(-\boldsymbol{k}) = 0 , \\ &\bar{v}_s(\boldsymbol{k}) \gamma^0 u_{s'}(-\boldsymbol{k}) = 0 , \tag{6.16}\end{align}\] これらの関係式は、ディラックパウリ表示に限らず成り立つ。 ³⁹

さらに、以下の関係式は場の理論における摂動計算で頻繁に用いられる。

これらの関係式は、粒子の静止系での具体的な解を用いて導出し、それをローレンツ変換することで証明できる。

6-6.　ディラックの解釈と対生成・対消滅・真空偏極

以降の章で詳しく述べるが、ディラック方程式の負の振動数の解は、反粒子の荷電共役変換による解を表す。 ここではその前に、歴史的にディラックが負の振動数の解をどのように解釈したかを説明する。

ディラックの時代には、負の振動数の解を負のエネルギーを持つ解として解釈していた。というのも、粒子のハミルトニアンを\(\hat{H} = \gamma^0 (\boldsymbol{\gamma} \cdot \hat{\boldsymbol{p}} + m I_{4})\)とした場合、負の振動数の解に対してもそのまま適用すると、自動的に負のエネルギーが現れるからである。 ⁴⁰ しかし、このような負のエネルギー状態が存在すると、外部にエネルギーを放出することで粒子は無限にエネルギーを失い、負の無限大へと落ち込んでしまう。

この問題を解決するために、ディラックは真空状態を「負のエネルギー状態がすべて埋まっている状態」と解釈した。これをディラックの海と呼ぶ。⁴¹ ディラック方程式に従う粒子はスピン\(1/2\)を持つフェルミオンであるため、パウリの排他原理により、すでに埋まっている負のエネルギー状態には新たに落ち込むことができない。これにより、粒子が負の無限大のエネルギーへと落ち込む問題は回避される。

ディラックの海の解釈に従うと、負のエネルギー状態の一つに外部からエネルギーを与えることで、正のエネルギー状態へと励起できる。その結果、もともとあった負のエネルギー状態には"孔"（ホール）が生じる。このホールは、粒子とは逆の電荷を持つ粒子として観測されるため、反粒子と呼ばれる。この解釈を電子に適用すると、正の電荷を持つ反粒子、すなわち陽電子の存在が予言される。そして、1933年にカール・アンダーソンによって陽電子が発見され、ディラック方程式の予言が実証された。

負のエネルギー状態の一つが励起されホールができると、同時に正のエネルギー状態も1つ埋まる。これは粒子と反粒子が1対1で生成されることを意味し、対生成と呼ばれる。この際、エネルギー保存則により、対生成に必要な最低エネルギーは粒子と反粒子の質量の和となる。反粒子の質量は対応する粒子の質量と等しいため、電子と陽電子の対生成に必要な最低限のエネルギーは電子の質量の2倍に等しい。

逆に、初期状態で負のエネルギー状態にホールがあった場合、そのホールに粒子が落ち込んで埋めるという反応も考えられる。これは粒子と反粒子が1つずつ消滅する対消滅と呼ばれる過程である。エネルギー保存則により、対消滅の終状態では粒子と反粒子の合計エネルギー分のエネルギーが放出される。実際には、光子などのゲージ粒子が2つ放出される反応となる。この対生成と対消滅は逆反応の関係にある。

さらに、このような対生成に必要なエネルギーがなくとも、時間とエネルギーの不確定性関係により、極めて短い時間スケールの間で対生成と対消滅の反応が繰り返される。 ここで、電荷をもつ粒子を考えると、その周囲の真空においても粒子と反粒子が生成・消滅を繰り返していると考えられる。そして、この電荷をもつ粒子が作る電場の影響により、生成・消滅する粒子と反粒子の空間的な分布が偏る。この現象を真空偏極と呼ぶ。

真空偏極の起源は不確定性関係と関連しているため、その大きさは考える長さのスケールによって異なる。つまり、観測するスケールに応じて「見かけの電荷」の値が変化する。この長さのスケールはエネルギーの逆数として表すこともできるため、見かけの電荷は実験で扱うエネルギースケールによって変化する。 ⁴²

このような粒子の対生成や対消滅の反応は、1粒子の相対論的量子力学の範疇を超えており、多体系を扱うことができる場の理論を用いなければ厳密な解析はできない。しかし、直感的には以上の議論によってその概念を理解することができる。

6-7.　パウリの批判について

ディラック方程式の対称性から、反粒子の質量は粒子の質量と等しい。また、対生成の際には必ず粒子と反粒子がペアで生成される。このため、宇宙の初期に粒子と反粒子の数に非対称性がなければ、現在の宇宙も粒子と反粒子が同数存在するはずである。しかし、観測される宇宙はほぼ粒子のみで構成されており、矛盾している。この点をパウリは批判した。

その後、陽電子が発見されたことでディラックの理論の正しさは確認された。しかし、パウリの批判が解決されたわけではない。この問題は現在の宇宙論における未解決問題の一つであり、物質反物質非対称性の起源の問題と呼ばれている。これを解決するには、理論が粒子と反粒子の入れ替えに対して非対称である必要がある。 ⁴³ そしてその非対称な効果を用いて、宇宙の初期に粒子と反粒子の存在量の非対称性を生み出す必要がある。

その後、非対称な効果を導入するために小林・益川理論が提案され、その理論の予言した粒子も発見された。しかし、この理論において生成することができる粒子と反粒子の非対称性は不十分であり、この問題は依然として未解決である。このため、素粒子の標準模型を超える新たな物理が必要とされている。

7.　非相対論的近似

7-1.　電磁場中のディラック方程式

電磁場中のディラック方程式は、通常の手続に従って\[\begin{align} \partial_\mu \to \partial_\mu - i q A_\mu \tag{7.1}\end{align}\] の置き換えにより次のように得られる。\[\begin{align} \left( i \gamma^\mu (\partial_\mu - i q A_\mu) - m I_{4}\right) \psi(x) = 0, \tag{7.2}\end{align}\]

7-2.　パウリ方程式

電磁場中のディラック方程式の非相対論的極限を取ることで、パウリ方程式が得られることを確認する。

ディラック・パウリ表示のガンマ行列を\(2\times2\)のブロック行列で表すと、\[\begin{align} &\gamma^0 = \begin{pmatrix} I_{2}& 0 \\ 0 & -I_{2} \end{pmatrix} \\ &\gamma^i = \begin{pmatrix} 0 & \sigma_i \\ -\sigma_i & 0 \end{pmatrix} \tag{7.3}\end{align}\] となる。 波動関数も、それぞれ2成分を持つ\(f(x)\)と\(g(x)\)を導入し、クライン・ゴルドン方程式の場合と同様に\(e^{-imt}\)の因子を明示的に取り出して、\[\begin{align} \psi(x)=e^{-i m t}\left(\begin{array}{l} f(x) \\ g(x) \end{array}\right) \tag{7.4}\end{align}\] と書く。 このとき、ディラック方程式は、\[\begin{align} \begin{pmatrix} (i \partial_0 - q \phi)I_{2}& \boldsymbol{\sigma} \cdot (i \boldsymbol{\nabla} + q \boldsymbol{A}) \\ - \boldsymbol{\sigma} \cdot (i \boldsymbol{\nabla} + q \boldsymbol{A}) & (-2m - i \partial_0 + q \phi)I_{2} \end{pmatrix} \left(\begin{array}{l} f \\ g \end{array}\right) = 0 \tag{7.5}\end{align}\] と表される。

時間微分を形式的に非相対論的なエネルギーを与えるもの(\(i \partial_0 \leftrightarrow \delta E\))と約束して計算していくと、\[\begin{align} g(x) =-\frac{1 }{2 m + i \partial_0 - q \phi} \boldsymbol{\sigma} \cdot \left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) f(x) \tag{7.6}\end{align}\] となる。 これを用いてディラック方程式から\(g\)を消去すると、\[\begin{align} (i \partial_0 - q \phi) f(x) + \boldsymbol{\sigma} \cdot (i \boldsymbol{\nabla} + q \boldsymbol{A}) \left[ \frac{-1 }{2 m + i \partial_0 - q \phi} \boldsymbol{\sigma} \cdot \left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) \right] f(x) = 0 \tag{7.7}\end{align}\] となる。 非相対論的極限では静止エネルギー\(m\)は他のエネルギー成分より非常に大きいため、例えば\(2 m + i \partial_0 - q \phi \simeq 2m\)と近似できる。このとき、\(g\)は\(f\)よりも非常に小さい値を取ることが分かる。つまり、非相対論的極限においては、ディラック・パウリ表示での波動関数の下2成分は上2成分に比べて小さくなる。 任意の3次元ベクトル\(\boldsymbol{a}\)および\(\boldsymbol{b}\)に対する恒等式\[\begin{align} (\boldsymbol{\sigma} \cdot \boldsymbol{a})(\boldsymbol{\sigma} \cdot \boldsymbol{b})=(\boldsymbol{a} \cdot \boldsymbol{b}) I_{2}+i \boldsymbol{\sigma} \cdot(\boldsymbol{a} \times \boldsymbol{b}) \tag{7.8}\end{align}\] を用いると、\[\begin{align} &\left(i \boldsymbol{\nabla} + q \boldsymbol{A} \right) \cdot \boldsymbol{\sigma} \left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) \cdot \boldsymbol{\sigma} \\ = &\left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right)\cdot \left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) I_{2} + i \boldsymbol{\sigma} \cdot \left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) \times \left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) \\ =&\left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) \cdot \left(i \boldsymbol{\nabla} + q \boldsymbol{A}\right) I_{2} - q \boldsymbol{\sigma} \cdot \left(\boldsymbol{\nabla} \times \boldsymbol{A}\right) \tag{7.9}\end{align}\] となる。ここで、微分作用素が\(\boldsymbol{A}\)にもかかることに注意する。 これを用いて\(f(x)\)の非相対論的極限の式を整理すると、\[\begin{align} i \frac{\partial}{\partial t} f(x)=\left[ -\frac{1}{2 m} \left( \boldsymbol{\nabla} - i q \boldsymbol{A}(x)\right)^{2} - \frac{q }{2 m} \boldsymbol{\sigma} \cdot \boldsymbol{B}(x) + q \phi(x)\right] f(x) \tag{7.10}\end{align}\] となり、パウリ項\(-q/(2 m) \boldsymbol{\sigma} \cdot \boldsymbol{B}\)を含むシュレーディンガー・パウリ方程式が得られる。 ここで、磁場は\(\boldsymbol{B} = \boldsymbol{\nabla} \times \boldsymbol{A}\)である。

7-3.　磁気モーメント

パウリ項は次のように表される。

ここで、\(\boldsymbol{\mu}\)は粒子の磁気モーメント、\(g\)は\(g\)因子と呼ばれるパラメーターである。ただし、\(\boldsymbol{S} = \boldsymbol{\sigma}/2\)である。 非相対論的なディラック方程式は \(g= 2\)を予言することがわかる。 この値は非相対論的な量子力学では経験的に与えられていたが、ディラック方程式からは理論的に導かれるため、ディラック理論の成功の一つとされる。 この項の効果として、一様磁場中の原子に対する異常ゼーマン効果や、原子中の陽子の磁気モーメントによる超微細構造が現れることが知られている。

ただし、場の量子論における輻射補正を考慮すると、\(g\)の値は\(2\)からわずかにずれる。このずれは異常磁気モーメントと呼ばれる。 電子とミューオンの磁気モーメントの実験値は以下のとおりである。\[\begin{align} &g_e = 2.00231930436182 (52) \\ &g_\mu = 2.0023318412 (4) \tag{7.13}\end{align}\] 電子とミューオンの値が小数第6位まで一致しているのは、電磁相互作用による補正が\((g-2)/2 = \alpha/(2\pi)\)で共通に寄与するためである。 電子に関しては理論計算と誤差の範囲内で一致しており、場の理論が驚異的な精度で正しいことを示している。一方、ミューオンに関しては理論計算との有意なズレがあり、このズレが未知の物理の影響による可能性が議論されている。これは素粒子現象論の重要な研究テーマの一つとなっている。

7-4.　水素様原子のスピン軌道相互作用と微細構造

ここでは、水素様原子中の最外殻電子について考える。水素様原子とは、閉殻に全ての電子が詰まったものに、さらに電子が一つ加わった系を指す。

閉殻は球対称であるため、原子核および閉殻電子が作り出すクーロンポテンシャルは次のように書ける。\[\begin{align} &A^0 = \phi(r) \\ &\boldsymbol{A} = 0 \tag{7.14}\end{align}\] このとき、非相対論的極限における0次の方程式は\[\begin{align} i \frac{\partial}{\partial t} f(x)=\left[ -\frac{1}{2 m} \boldsymbol{\nabla}^{2} + q \phi(x)\right] f(x) \tag{7.15}\end{align}\] となる。

さらに非相対論的極限における1次の項を考えると、その一部がスピン軌道相互作用を生じることが以下のように示される。

7.2節で用いた非相対論的近似では、次の展開を用いた。\[\begin{align} \frac{1}{2 m + i \partial_0 - q \phi} \simeq \frac{1}{2m} + \frac{q\phi - i \partial_0}{4 m^2}, \tag{7.16}\end{align}\] この近似を一次の項まで保持すると、特に以下の項が得られる。\[\begin{align} & i \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \left[ \frac{-1 }{2 m + i \partial_0 - q \phi} \left( i \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} f(x) \right) \right] \\ \simeq & \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \left[ \left( \frac{1}{2m} + \frac{- i \partial_0}{4 m^2} \right) f(x) \right] + \frac{1}{4m^2} \left[ \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \left( q \phi \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} f \right) \right], \tag{7.17}\end{align}\] さらに、逐次近似を用い、0次の方程式([nonrela-0])を1次の項の時間微分に代入すると、\[\begin{align} &\simeq \frac{\boldsymbol{\nabla}^2}{2m} f + \frac{\boldsymbol{\nabla}^2 \boldsymbol{\nabla}^2 }{8m^3} f - \frac{1}{4m^2} \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \left( q \phi f \right) \nonumber\\ &\qquad \qquad \qquad \qquad \qquad + \frac{1}{4m^2} \left[ \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \left( q \phi \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} f \right) \right], \nonumber\\ &= \frac{\boldsymbol{\nabla}^2}{2m} f + \frac{\boldsymbol{\nabla}^2 \boldsymbol{\nabla}^2 }{8m^3} f - \frac{1}{4m^2} \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \left[ \left( \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} q \phi \right) f \right], \tag{7.18}\end{align}\] となる。 ここで、\(\boldsymbol{\sigma} \cdot \boldsymbol{\nabla} \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} = \boldsymbol{\nabla}^2\)を用いた。 第一項は0次の方程式を表し、 第二項は運動エネルギーの相対論的補正の一次の項を示している。 第三項に注目し、\(\phi = \phi(r)\)であることを用いると、\[\begin{align} \boldsymbol{\sigma} \cdot \boldsymbol{\nabla} (q \phi) = \frac{\boldsymbol{\sigma} \cdot \boldsymbol{r}}{r} q \frac{\partial\phi}{\partial r} \tag{7.19}\end{align}\] と変形できる。 さらに、次の恒等式を用いると、\[\begin{align} (\boldsymbol{\sigma} \cdot \boldsymbol{\nabla}) (\boldsymbol{\sigma} \cdot \boldsymbol{r}) &= \boldsymbol{\nabla} \cdot \boldsymbol{r} I_{2}+ i \boldsymbol{\sigma} \cdot ( \boldsymbol{\nabla} \times \boldsymbol{r}) \\ &= \boldsymbol{\nabla} \cdot \boldsymbol{r} I_{2}+ \boldsymbol{\sigma} \cdot \boldsymbol{L} \tag{7.20}\end{align}\] 第三項は次のように変形される。\[\begin{align} \text{(第三項)} = - \frac{q}{4m^2} \frac{1}{r} \left( \frac{\partial\phi}{\partial r} \right) \boldsymbol{\sigma} \cdot \boldsymbol{L} f - \frac{q}{4m^2} \boldsymbol{\nabla} \cdot \left[ \frac{\boldsymbol{r}}{r} \left( \frac{\partial\phi}{\partial r} \right) f \right], \tag{7.21}\end{align}\] ここでスピンを\(\boldsymbol{S} = \boldsymbol{\sigma}/2\)とすると、全てをまとめた式は次のようになる。\[\begin{align} i \frac{\partial}{\partial t} f(x) &=\left[ -\frac{\boldsymbol{\nabla}^{2}}{2 m} - \frac{\boldsymbol{\nabla}^2 \boldsymbol{\nabla}^2 }{8m^3} + q \phi(x) \right. \nonumber\\ &\quad \left. + \frac{q}{2m^2} \frac{1}{r} \left( \frac{\partial\phi}{\partial r} \right) \boldsymbol{L} \cdot \boldsymbol{S} + \frac{q}{4m^2} \boldsymbol{\nabla} \cdot \frac{\boldsymbol{r}}{r} \left( \frac{\partial\phi}{\partial r} \right) \right] f(x) \tag{7.22}\end{align}\] 非相対論的量子力学において天下り的に導入されていたスピン軌道相互作用が自然に表れることがわかる。 また、その係数も実験から示唆される値と一致している。 スピン軌道相互作用により水素様原子の微細構造が生じる。 この効果はナトリウムのD線の分岐として実際に観測されている。

8.　C, P 変換とヘリシティ

8-1.　荷電共役変換

電磁場中のディラック方程式\[\begin{align} \left( i \gamma^\mu (\partial_\mu - i q A_\mu) - m I_{4}\right) \psi(x) = 0, \tag{8.1}\end{align}\] の全体に対して複素共役を取ると、\[\begin{align} \left( -i (\gamma^\mu)^* (\partial_\mu + i q A_\mu) - m I_{4}\right) \psi^*(x) = 0, \tag{8.2}\end{align}\] となる。ここで、\[\begin{align} \left(C \gamma^{0}\right) \gamma^{\mu *}\left(C \gamma^{0}\right)^{-1}=-\gamma^{\mu} \tag{8.3}\end{align}\] を満たす行列\(C\)が存在すると仮定すると、\[\begin{align} & \left( i \gamma^\mu (\partial_\mu + i q A_\mu) - m I_{4}\right) \psi^{c} = 0, \\ &\psi^{c} \equiv C \gamma^{0} \psi^{*} = C \bar{\psi}^T \tag{8.4}\end{align}\] となる。 この\(\psi^{c}\)を波動関数の荷電共役変換と呼ぶ。 これは電荷の符号を反転させるか、あるいはゲージ場\(A_\mu\)の符号を反転させたディラック方程式を満たす。つまり、電磁場中のディラック方程式は、次の変換に対して対称である。

この変換では波動関数の複素共役が取られるため、正の振動数の解は負の振動数の解に置き換わる。 したがって、この変換は粒子と反粒子を入れ替える作用を持ち、荷電共役変換（C変換）と呼ばれる。 ⁴⁴

ディラック・パウリ表示では、\[\begin{align} &(\gamma^\mu)^* = \gamma^\mu \quad \mathrm{ for} \ \mu = 0,1,3 \\ &(\gamma^\mu)^* = - \gamma^\mu \quad \mathrm{ for} \ \mu = 2 \tag{8.6}\end{align}\] が成り立つことに注意すると、\[\begin{align} C=i \gamma^{2} \gamma^{0}=\left(\begin{array}{cccc} 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 0 \\ 0 & -1 & 0 & 0 \\ 1 & 0 & 0 & 0 \end{array}\right) \tag{8.7}\end{align}\] とすれば、\[\begin{align} &\left(C \gamma^{0}\right) \gamma^{\mu *}\left(C \gamma^{0}\right)^{-1} \\ = &- \gamma^2 (\gamma^{\mu})^* \gamma^2 \\ = &- \gamma^\mu \tag{8.8}\end{align}\] となり、上記の条件を満たすことが確認できる。⁴⁵

8-2.　パリティ変換

次に、空間反転を考える。これはパリティ変換もしくはP変換とも呼ぶ。 これは座標変換として、\[\begin{align} &x^{\prime \mu} = (\Lambda_{\mathrm{P}})^{\mu}{}_{\nu} x^{\nu} \\ &(\Lambda_{\mathrm{P}})^{\mu}{}_{\nu} = \left(\begin{array}{cccc} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{array}\right) \tag{8.9}\end{align}\] および\[\begin{align} &\psi \to \psi^{\prime}\left(x^{\prime}\right)=P \psi(x) \\ &A^0 \to A^{\prime 0} (x') = A^0 (x) \\ &\boldsymbol{A} \to \boldsymbol{A}^{\prime}(x') = - \boldsymbol{A} (x) \tag{8.10}\end{align}\] とする変換である。ここで、\(P\)は後述する\(4\times4\)行列である。

この変換により、電磁場中のディラック方程式は\[\begin{align} &\left[i \gamma^{\mu} \left( \partial'_\nu - i q A'_\nu(x') \right) -m I_{4}\right] \psi^{\prime}\left(x^{\prime}\right)=0 \\ &\leftrightarrow \left[i P^{-1} \gamma^{\mu} (\Lambda_{\mathrm{P}})_{\mu}{}^{\nu} P \left( \partial_\nu - i q A_\nu(x) \right) -m I_{4}\right] \psi(x)=0 \tag{8.11}\end{align}\] となる。ここで、\[\begin{align} \left(\Lambda_{\mathrm{P}}\right)^{\nu}{ }_{\mu} \gamma^{\mu}=P^{-1} \gamma^{\nu} P \tag{8.12}\end{align}\] を満たす行列\(P\)が存在すれば、元の電磁場中のディラック方程式に戻るため、この方程式はパリティ変換に対して対称であることがわかる。

任意の表現において、\[\begin{align} &\gamma^0 \gamma^\mu \gamma^0 = \gamma^\mu \quad \mathrm{ for} \ \mu = 0 \\ &\gamma^0 \gamma^\mu \gamma^0 = -\gamma^\mu \quad \mathrm{ for} \ \mu = 1,2,3 \tag{8.13}\end{align}\] が成り立つので、 位相因子\(\eta_{\mathrm{P}}\)を導入し、\[\begin{align} P=\eta_{\mathrm{P}} \gamma_{0} \tag{8.14}\end{align}\] とすれば上記の条件を満たすことが確認できる。

また、ディラック共役は次のように変換する。\[\begin{align} \bar{\psi} \to \bar{\psi}' = \bar{\psi} P^{-1} \tag{8.15}\end{align}\] したがって、\[\begin{align} \bar{\psi} \gamma^{\mu} \psi &\to \bar{\psi}^{\prime}\left(x^{\prime}\right) \gamma^{\mu} \psi^{\prime}\left(x^{\prime}\right) \\ &=\bar{\psi}(x) P^{-1} \gamma^{\mu} P \psi(x) \\ &=(\Lambda_{\mathrm{P}})^{\mu}{}_{\nu} \bar{\psi}(x) \gamma^{\nu} \psi(x) \tag{8.16}\end{align}\] となる。

次の量はカイラリティ行列と呼ばれる。

これは次の関係式を満たす。 したがって、 \(\bar{\psi}\gamma^5 \psi\)および \(\bar{\psi}\gamma^\mu \gamma^5 \psi\)は パリティ変換で符号が変わり、それぞれ擬スカラーおよび擬ベクトルとなる。

8-3.　自由粒子の保存量

量子力学では、ハミルトニアンと交換する演算子はエネルギー固有状態と同時に対角化でき、対応する観測量は保存する。

ディラック方程式に従う自由粒子のハミルトニアンは\[\begin{align} \hat{H} = \gamma^0 ( \boldsymbol{\gamma} \cdot \hat{\boldsymbol{p}} + m I_{4}) \tag{8.19}\end{align}\] であり、\[\begin{align} \left[ \hat{H}, \hat{\boldsymbol{p}} \right] = 0 \tag{8.20}\end{align}\] が成り立つため、運動量は保存する。

軌道角運動量\(\hat{L}_i = \epsilon_{ijk} \hat{x}^j \hat{p}^k\)を考えると、その\(z\)成分は\[\begin{align} \left[ \hat{L}_3, \hat{H} \right] = i \gamma^0 ( \gamma^1 \hat{p}^2 - \gamma^2 \hat{p}^1 ) \tag{8.21}\end{align}\] となり、保存しないことがわかる。ここで、\[\begin{align} \left[ \hat{x}^i, \hat{p}^j \right] = i \delta_{ij} \tag{8.22}\end{align}\] を用いた。 一方、\(\Sigma_i\)については\[\begin{align} \left[ \Sigma_i, \hat{H} \right] &= \sum_j \left[ \Sigma_i, \gamma^0 \gamma^j \right] \hat{p}^j \\ &=2 i \sum_{k,j} \epsilon_{ijk} \left(\begin{array}{cc} 0 & \sigma_k \\ \sigma_k & 0 \end{array}\right) \hat{p}^j \\ &= 2 i \sum_{k,j} \epsilon_{ijk} \gamma^0 \gamma^k \hat{p}^j \tag{8.23}\end{align}\] となる。 ここで、\[\begin{align} \left[ \sigma_i, \sigma_j \right] = 2 i \sum_k \epsilon_{ijk} \sigma_k \tag{8.24}\end{align}\] を用いた。 これらを合わせると、\[\begin{align} \left[ \hat{L}_3 + \frac12 \Sigma_3, \hat{H} \right] = 0 \tag{8.25}\end{align}\] が成り立ち、 全角運動量の\(z\)成分\(\hat{J}_3 = \hat{L}_3 + \frac12 \Sigma_3\)が保存することがわかる。 同様に、\(\hat{J}_1\), \(\hat{J}_2\)もハミルトニアンと交換するため、 \(\Sigma_i/2\)が\(i\)方向のスピンを表すことがわかる。

8-4.　ヘリシティ

\(\left[ \Sigma_i, \hat{H} \right] = 2 i \sum_{k,j} \epsilon_{ijk} \gamma^0 \gamma^k \hat{p}^j\)の関係式において、 \(\hat{p}^i\)との内積を取ると、\[\begin{align} \left[ \hat{\boldsymbol{p}} \cdot \boldsymbol{\Sigma}, \hat{H} \right] = 0 \tag{8.26}\end{align}\] が成り立つ。 したがって、次の量が保存する。⁴⁶

この量は運動量の方向に向いたスピンを表し、ヘリシティと呼ばれる。 \(z\)方向に運動している粒子の場合は\(z\)方向のスピンを表す。 \(h=1/2\)を右巻き、\(h=-1/2\)を左巻きの状態と呼ぶ。 自由粒子の状態は運動量とヘリシティでラベルすることが多い。

ヘリシティは時間発展では変化せず保存する量であるが、 座標変換によるローレンツブーストで粒子を追い越す系に移ると、ヘリシティは逆になる。 また、パリティ変換によって運動量が反転すると、ヘリシティも反転する。

9.　ワイルスピノール

9-1.　ワイル表現とローレンツ変換性

これまでは非相対論的極限を考慮して、ディラック・パウリ表示のガンマ行列を用いてきた。一方、相対論的極限や質量のない粒子を扱う場合には、ワイル表示（カイラル表示）のガンマ行列を用いるのが有用である。 この表示におけるガンマ行列は、次のように表される。

この表示を用いると、質量\(m\)の粒子に対するディラック方程式は、\[\begin{align} \left(\begin{array}{cc} -m \, I_{2}& i \sigma^{\mu} (\partial_{\mu} - i q A_\mu) \\ i \bar{\sigma}^{\mu} (\partial_{\mu} - i q A_\mu) & -m \, I_{2} \end{array}\right)\left(\begin{array}{l} \xi(x) \\ \eta(x) \end{array}\right)=\left(\begin{array}{l} 0 \\ 0 \end{array}\right) \tag{9.2}\end{align}\] となる。ここで、波動関数を二成分ずつに分けて記述した。

ワイル表示では \[\begin{align} \sigma^{\alpha \beta} &=\frac{i}{2}\left[\gamma^{\alpha}, \gamma^{\beta}\right] \\ &= \frac{i}{2} \left(\begin{array}{cc} \sigma^{\alpha} \bar{\sigma}^\beta - \sigma^{\beta} \bar{\sigma}^{\alpha} & 0 \\ 0 & \bar{\sigma}^{\alpha} \sigma^\beta - \bar{\sigma}^{\beta} \sigma^{\alpha} \end{array}\right) \tag{9.3}\end{align}\] となる。特に、\[\begin{align} &\sigma^{0 i} =\left(\begin{array}{cc} - i \sigma^{i} & 0 \\ 0 & i \sigma^{i} \end{array}\right) \\ &\sigma^{i j} =\left(\begin{array}{cc} \sum_k \varepsilon^{i j k} \sigma^{k} & 0 \\ 0 & \sum_k \varepsilon^{i j k} \sigma^{k} \end{array}\right) = \sum_k \varepsilon^{i j k} \Sigma^{k} \tag{9.4}\end{align}\] となる。 この行列がブロック対角化されていることから、 ディラックスピノールに作用するローレンツ変換(\(\psi(x) \to \psi'(x') = D(\Lambda) \psi(x)\))の行列である\[\begin{align} D(\Lambda) &= \exp \left(\frac{i}{4} \omega_{\mu \nu} \sigma^{\mu \nu}\right) \\ &= \left(\begin{array}{cc} \exp \left(i \boldsymbol{\theta} \cdot \frac{\boldsymbol{\sigma}}{2} + \boldsymbol{\eta} \cdot \frac{\boldsymbol{\sigma}}{2}\right) & 0 \\ 0 & \exp \left(i \boldsymbol{\theta} \cdot \frac{\boldsymbol{\sigma}}{2} - \boldsymbol{\eta} \cdot \frac{\boldsymbol{\sigma}}{2}\right) \end{array}\right) \tag{9.5}\end{align}\] もブロック対角化されており、ディラックフェルミオンの上二成分と下二成分が独立に変換されることを示している。つまり、\(\xi\)と\(\eta\)はローレンツ変換によって混ざらない。 ⁴⁷

9-2.　カイラリティ

ワイル表示において、\(\gamma^5\)は次のようになる。

となる。これをカイラリティとも呼ぶ。\(\xi\)と\(\eta\)はカイラリティの固有状態である。 左巻きと右巻きのカイラリティを取り出すには次のようにすればよい。

パリティ変換\(P = \eta_P \gamma^0\)によって、\[\begin{align} P \left(\begin{array}{c} \xi \\ \eta \end{array}\right) = \eta_P \left(\begin{array}{c} \eta \\ \xi \end{array}\right), \tag{9.8}\end{align}\] となり、\(\xi\)と\(\eta\)が入れ替わる。 また、\(C\)変換\(C = i \gamma^2 \gamma^0\)によって、\[\begin{align} \psi^c = \left(\begin{array}{c} i \sigma^2 \eta^* \\ - i \sigma^2 \xi^* \end{array}\right), \tag{9.9}\end{align}\] となり、ここでも\(\xi\)と\(\eta\)が混ざって変換する。 しかし、\(C\)と\(P\)変換を同時に行うと、\[\begin{align} \psi_\mathrm{ CP} = \eta_P \gamma^0 C \gamma^0 \psi^* = \left(\begin{array}{c} - i \eta_P \sigma^2 \xi^* \\ i \eta_P \sigma^2 \eta^* \end{array}\right), \tag{9.10}\end{align}\] となり、\(\xi\)と\(\eta\)はそれぞれ独立に変換する。

9-3.　masslessの場合

質量がない粒子(\(m=0\))を考えると、ディラック方程式は\[\begin{align} i \bar{\sigma}^{\mu} (\partial_{\mu} - i q A_\mu) \xi(x)=0 \\ i {\sigma}^{\mu} (\partial_{\mu} - i q A_\mu) \eta(x)=0 \tag{9.11}\end{align}\] となる。このため、\(\xi\)と\(\eta\)は時間発展によって混ざることがない。 \(\xi\)と\(\eta\)が満たす方程式はワイル方程式と呼ばれ、それに対応する波動関数をワイルスピノールと呼ぶ。

以下では電磁場がない場合を考える。 このとき、\(\xi\)のワイル方程式の解を\(\xi(x) = e^{-i k_\mu x^\mu} u(x)\)とすると、\[\begin{align} &\bar{\sigma}^\mu k_\mu u(x) = 0 \\ \leftrightarrow &( \boldsymbol{\sigma} \cdot \boldsymbol{k}) u(x) = - k^0 u(x), \tag{9.12}\end{align}\] を満たす。 ここで、 ヘリシティを2成分波動関数\(\xi\)および\(\eta\)に対して作用するように定義し、\[\begin{align} h \equiv \frac{\boldsymbol{k}}{\left\vert \boldsymbol{k} \right\vert} \cdot \frac{\boldsymbol{\sigma}}{2} \tag{9.13}\end{align}\] とすると、ワイル方程式を満たす\(u\)はヘリシティー\(-1/2\)の固有状態であり、左巻き粒子を表す。 同様に、\(\eta(x) = e^{-ik_\mu x^\mu} v(x)\)はヘリシティー\(+1/2\)の固有状態で、右巻き粒子を表す。

質量がない粒子では、カイラリティとヘリシティが一致する。このため、\(\xi\)と\(\eta\)を完全に別々に扱い、それぞれを適切に規格化すれば、独立した粒子の波動関数と見なすことができる。\(\xi\)はヘリシティ\(-1/2\)の粒子および反粒子を、\(\eta\)はヘリシティ\(+1/2\)の粒子および反粒子を表す。

別々に扱うことができるため、一方のみを導入することも可能である。その場合はパリティ変換や\(C\)変換は定義できないが、\(CP\)変換は定義できる。例えば、\[\begin{align} \xi_\mathrm{ CP} = - i \eta_P \sigma^2 \xi^* \tag{9.14}\end{align}\] となる。

9-4.　ヒッグス機構(の簡単な模型)

素粒子の標準模型では、基本的な粒子の構成要素はディラックスピノールではなくワイルスピノールである。特に、弱い相互作用はカイラリティが左巻きの粒子のみに作用し、パリティ対称性を破っている。

ワイルスピノールが基本成分である場合、単純には質量項を書き下せない。そのようなときに質量を与える仕組みとしてヒッグス機構がある。

これを説明するために、ディラックフェルミオンが満たすディラック方程式に戻って考える。\[\begin{align} (i \gamma^\mu (\partial_\mu - i q A_\mu(x)) - m I_{4}) \psi(x) = 0 \tag{9.15}\end{align}\] ここで、\(A_\mu(x)\)は背景電磁場を表すベクトル場であり、一方で質量\(m\)はスカラー量である。

このスカラー量をスカラー場\(\phi(x)\)に置き換え、ある定数\(y\)と合わせて\(m = y \phi(x)\)とする。 そこでもし、\(\phi(x)\)が空間的に一様な定数解を持つとすると、その値を\(\phi(x) = v\)としたとき、上記のディラック方程式は質量\(m = y v\)を持つディラック方程式に帰着する。

本質的には、\(\psi\)を\(\chi\)と\(\eta\)に分解し、それぞれには質量項がない理論から出発する。しかし、\(\phi(x)\)との相互作用によって\(\chi\)と\(\eta\)が結びつき、結果的に質量を持たせることができる。このメカニズムがヒッグス機構の一端を担う。

ディラック方程式において、背景電磁場はベクトル場\(A_\mu(x)\)で表され、その解はマクスウェル方程式で決定される。同様に、スカラー場\(\phi(x)\)も何らかの運動方程式によって決定される。 このようなスカラー場が満たすローレンツ共変な運動方程式としては、例えばクライン・ゴルドン方程式がある。\[\begin{align} \partial_\mu \partial^\mu \phi(x) = m^2 \phi(x) \tag{9.16}\end{align}\] ただし、ここの\(\phi(x)\)は3章で考えたような波動関数ではなく、古典的なスカラー場である。 ここで、\(m^2 \phi(x)\)を任意の関数\(V'(\phi)\)に置き換えてもローレンツ共変な形式を保つため、\[\begin{align} \partial_\mu \partial^\mu \phi(x) = V'(\phi), \tag{9.17}\end{align}\] と一般化できる。 これを前提に、ポテンシャルを\[\begin{align} V(\phi) = - \frac{m^2}{2} \phi^2 + \frac{\lambda}{4} \phi^4, \tag{9.18}\end{align}\] とすると、空間的に一様な解として\[\begin{align} \phi(x) = \pm \frac{m}{\sqrt{\lambda}} \tag{9.19}\end{align}\] が存在する。

補足1: スカラー場のラグランジアンにおいて、\(V(\phi)\)はスカラー場のポテンシャルを表す。\(V(\phi)\)は\(\phi \to -\phi\)の変換に対して対称だが、\(V(\phi)\)の最小点(\(\phi = \pm m / \sqrt{\lambda}\))を一つ選んで真空を定義すると、その真空は\(\phi \to -\phi\)の対称性を破る。これを対称性の自発的破れと呼ぶ。

補足2: 低エネルギーでは、ヒッグス場はポテンシャルの安定点 (真空) にとどまり、ポテンシャル全体の形は重要でない。しかし、宇宙初期のような超高温状態では、ヒッグス場が励起し、対称性が回復する可能性がある。

宇宙が高温状態から冷却していく過程で臨界温度に到達し、ヒッグス場が相転移を起こして対称性が自発的に破れる。このように、ヒッグス機構や対称性の自発的破れは、標準模型の整合性を保つだけでなく、宇宙の成り立ちや歴史を理解する上でも重要な概念である。

10.　生成消滅演算子

10-1.　１体系の相対論的量子力学の問題点

これまでの講義では、1体の相対論的な粒子を表す波動関数が満たすべき方程式について学んできた。これは場の理論の観点から見ると、粒子数が変化しない低エネルギーにおける有効理論に相当する。

しかし、相対論の基本的な考え方に従えば、\(E = mc^2\)の関係式からエネルギーを使って粒子を生成できることがわかる。特に、ディラックの海の議論では、粒子と反粒子の対生成・対消滅が起こることが予想されるが、これまでの定式化ではそれを計算することが容易ではなかった。 また、多体系の波動関数を考える際、各粒子の位置は変数\(\boldsymbol{x}_i\)で表される一方で、時刻\(t\)は全ての粒子に対して共通のものを用いなければならない。このため、ローレンツ共変性が損なわれる可能性がある。

さらに、ディラック方程式は\(g\)因子の値が\(2\)であることを自然に説明するが、実験的には\(2\)からわずかにずれていることが知られている。このズレの存在は、ディラック方程式が完全な理論ではないことを示唆する。実際、このズレは、真空中で粒子と反粒子の対生成・対消滅が絶え間なく起こっていることと関連しており、粒子の生成・消滅を考慮する理論が必要であることを示している。

より技術的な問題として、これまでの定式化では反粒子の記述方法や解釈が明確ではなかった点が挙げられる。クライン・ゴルドン方程式やディラック方程式の解には粒子と反粒子の成分が含まれるが、反粒子の波動関数は複素共役を取る形で記述されるため、粒子と反粒子を統一的に解釈することが困難であった。さらに、ディラック方程式に従う粒子の場合、粒子と反粒子でハミルトニアンの符号が逆転し、電荷の流れの定義を考えても反粒子の電荷の符号が正しく得られない。 つまり、粒子と反粒子の状態を統一的に扱えるような理論になっていない。1体系のエネルギー固有状態に注目する場合は問題にならないが、エネルギー固有状態でない一般の状態を正しく扱うことは非常に困難である。

これらの問題を解決するのが、場の量子論である。

10-2.　量子力学の基本原理と場の量子化

これまでは、1粒子状態を位置の固有状態で展開した波動関数\[\begin{align} \phi(\boldsymbol{x},t) = \left< \boldsymbol{x} | \phi(t) \right> \tag{10.1}\end{align}\] が時間と空間の引数を持つことに着目し、シュレディンガー方程式をローレンツ共変な形に拡張する方針で考えてきた。これを場の理論的な観点から見直してみよう。

位置\(\boldsymbol{x}\)に粒子を生成する演算子を\(\hat{\phi}^\dagger (\boldsymbol{x})\)とし、これを真空状態\(\left\vert 0 \right>\)に作用させると、位置\(\boldsymbol{x}\)に1つの粒子が存在する状態を表すと考える。すると、\[\begin{align} \left\vert \boldsymbol{x} \right> = \hat{\phi}^\dagger (\boldsymbol{x}) \left\vert 0 \right> \tag{10.2}\end{align}\] と書ける。 このように考えると、ある1粒子状態\(\left\vert \alpha(t) \right>\)に対して、\[\begin{align} \phi(\boldsymbol{x},t) = \left< 0 \right\vert \hat{\phi} (\boldsymbol{x}) \left\vert \alpha (t) \right> \tag{10.3}\end{align}\] となる。 さらに、ハイゼンベルク表示を採用すると、時間発展はオペレーターに反映され、\[\begin{align} \phi(\boldsymbol{x},t) = \left< 0 \right\vert \hat{\phi} (\boldsymbol{x},t) \left\vert \alpha \right> \tag{10.4}\end{align}\] となる。 このように記述すると、左辺の波動関数がクライン・ゴルドン方程式またはディラック方程式を満たすならば、右辺のオペレーター\(\hat{\phi}(x)\)も同じ方程式を満たさなければならないことがわかる。

このように、波動関数ではなく、粒子の生成・消滅を行う場の演算子\(\hat{\phi}(x)\)を基本的な量とする量子論の枠組みが、場の量子論である。

10-3.　生成消滅演算子のとボソン・フェルミオン

場の理論では生成消滅演算子が重要な役割を果たす。ここでは、その基本的な性質を簡単に復習する。

状態を区別するラベルを\(k\)とし、生成消滅演算子\(\hat{a}_k^\dagger\)および\(\hat{a}_k\)を導入する。⁴⁸

まず、生成消滅演算子が以下の交換関係を満たす場合を考える。\[\begin{align} &\left[ \hat{a}_{k}, \hat{a}_{k'}^\dagger \right] = \delta_{k k'} \\ &\left[ \hat{a}_{k}, \hat{a}_{k'} \right] = \left[ \hat{a}_{k}^\dagger, \hat{a}_{k'}^\dagger \right] = 0 \tag{10.5}\end{align}\] 基底状態\(\left\vert 0 \right>\)を、全ての\(k\)に対して\[\begin{align} \hat{a}_{k} \left\vert 0 \right> = 0 \tag{10.6}\end{align}\] を満たす状態として定義する。

このとき、数演算子を\[\begin{align} \hat{N} = \sum_k \hat{a}_{k}^\dagger \hat{a}_{k} \tag{10.7}\end{align}\] と定義すると、\[\begin{align} \left[ \hat{N}, \hat{a}_{k}^\dagger \right] = \hat{a}_{k}^\dagger \tag{10.8}\end{align}\] が成り立つ。 自由粒子のハミルトニアンは\[\begin{align} \hat{H} = \sum_k E_k \hat{a}_{k}^\dagger \hat{a}_{k} \tag{10.9}\end{align}\] と書ける。ここで、\(E_k\)は1つの粒子が状態\(k\)にあるときのエネルギーを表す。

このとき、 状態\[\begin{align} \hat{a}_{k_1}^\dagger \hat{a}_{k_2}^\dagger \dots \hat{a}_{k_n}^\dagger \left\vert 0 \right> \tag{10.10}\end{align}\] は、数演算子の固有値\(n\)、エネルギーの固有値\(\sum_n E_{k_n}\) を持つ固有状態となる。また、\(\hat{a}_{k_i}^\dagger\)同士は可換であるため、この状態は粒子の入れ替えについて対称となる。したがって、この状態はボソンの多体系を表している。

次に、生成消滅演算子が交換関係の代わりに反交換関係を満たす場合を考える。\[\begin{align} &\{ \hat{a}_{k}, \hat{a}_{k'}^\dagger \} = \delta_{k k'} \\ &\{\hat{a}_{k}, \hat{a}_{k'}\} = \{\hat{a}_{k}^\dagger, \hat{a}_{k'}^\dagger\} = 0 \tag{10.11}\end{align}\] その他の定義はボソンの場合と同様である。 生成消滅演算子が反交換関係を満たすことから、この演算子によって生成される状態は粒子の入れ替えについて反対称となる。つまり、フェルミオンを生成していることを意味する。この性質により、同じラベルの状態には二つ以上の粒子を入れることができない。これはパウリの排他律として知られている。

11.　スカラー場

11-1.　クラインゴルドン方程式の復習

クラインゴルドン方程式は\[\begin{align} \left( \partial_\mu \partial^\mu - m^2 \right) \phi(x) = 0 \tag{11.1}\end{align}\] であった。

特に、運動量\(\boldsymbol{k}\)が一定の解\(\phi(x) \propto e^{\pm i \boldsymbol{k}\cdot \boldsymbol{x}}\)を考えると、振動数が正の解と負の解が存在する。 このうち、正の振動数を持つ解は\[\begin{align} &\phi(x) = e^{ik_\mu x^\mu} \\ &k^0 = \sqrt{m^2 + \boldsymbol{k}^2} \tag{11.2}\end{align}\] となり、運動量\(\boldsymbol{k}\)を持つ粒子の波動関数を表す。 一方、負の振動数の解は\[\begin{align} &\phi(x) = (e^{ik_\mu x^\mu} )^* \\ &k^0 = \sqrt{m^2 + \boldsymbol{k}^2} \tag{11.3}\end{align}\] と書ける。非相対論的極限における議論から、これは反粒子の波動関数の複素共役として解釈できる。

11-2.　スカラー粒子の多体系

クライン・ゴルドン方程式に従う粒子（反粒子）の状態は、運動量\(\boldsymbol{k}\)と粒子・反粒子の区別（正負の振動数の解）によってラベルされる。そこで、粒子と反粒子の消滅演算子を明示的に区別するため、前章で用いていた\(a_k\)を\[\begin{align} a_k \to \hat{a}(\boldsymbol{k}), \hat{b}(\boldsymbol{k}) \tag{11.4}\end{align}\] と書き換える。

ボソンであるため、交換関係は以下のようになる。

となる。ここで、運動量\(\boldsymbol{k}\)は連続的に変化するため、クロネッカーのデルタの代わりにデルタ関数を用いた。また、規格化定数として\((2\pi)^3 2 k^0\)を加えているが、この因子の取り方は文献によって異なることに注意する。 ⁴⁹

運動量\(\boldsymbol{k}\)を持った1つの粒子が存在する状態は\(\hat{a}^\dagger (\boldsymbol{k}) \left\vert 0 \right>\)、 1つの反粒子が存在する状態は\(\hat{b}^\dagger (\boldsymbol{k}) \left\vert 0 \right>\)で表される。 これらの状態の規格化は\[\begin{align} \left< 0 \right\vert \hat{a}(\boldsymbol{k}) \hat{a}^\dagger (\boldsymbol{k'}) \left\vert 0 \right> = (2\pi)^3 2 k^0 \delta^3 (\boldsymbol{k} - \boldsymbol{k}') \tag{11.6}\end{align}\] となっており、積分測度\(d^3 \boldsymbol{k}'/((2\pi)^3 2k'^0)\)を用いることで規格化が\(1\)になるように取られている。

11-3.　スカラー場の演算子の構成

位置\(\boldsymbol{x}\)における粒子の消滅演算子を\(\hat{\phi}^+(\boldsymbol{x})\)、反粒子の生成演算子を\(\hat{\phi}^- (\boldsymbol{x})\)と定義する。ここで、肩に付いた\(^+\)や\(^-\)は\(^\dagger\)ではなく、単なる名前の一部であることに注意する。

さらに、ハイゼンベルク描像を採用し、系の時間発展をこれらの演算子に反映させる。そのため、時間\(t=x^0\)を引数に明示的に含めて\(\hat{\phi}^+ (x)\)や\(\hat{\phi}^- (x)\)と書く。

位置\(\boldsymbol{x}\)に1つの粒子が存在する状態は\[\begin{align} (\hat{\phi}^+ (x))^\dagger \left\vert 0 \right> \tag{11.7}\end{align}\] と表される。 運動量の固有状態に対応する1粒子の波動関数は、\[\begin{align} \phi(x) = e^{ik_\mu x^\mu} \tag{11.8}\end{align}\] で与えられる。これを演算子を用いて表すと、\[\begin{align} \phi(x) = \left< 0 \right\vert \hat{\phi}^+(x) a^\dagger (\boldsymbol{k}) \left\vert 0 \right> \tag{11.9}\end{align}\] と書けると期待される。 この関係が任意の\(\boldsymbol{k}\)について成り立つことから、演算子\(\hat{\phi}^+(x)\)は\[\begin{align} \hat{\phi}^+(x) = \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \left( e^{ik_\mu x^\mu} \hat{a}(\boldsymbol{k}) \right) \tag{11.10}\end{align}\] と書けることがわかる。

同様に、運動量固有状態に対応する1つの反粒子状態の波動関数は\[\begin{align} \phi(x) = (e^{ik_\mu x^\mu})^* \tag{11.11}\end{align}\] と書ける。これに着目すると、演算子\(\hat{\phi}^-(x)\)の形は\[\begin{align} \left( \hat{\phi}^-(x) \right)^\dagger = \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \left( e^{ik_\mu x^\mu} \hat{b}_s(\boldsymbol{k}) \right) \tag{11.12}\end{align}\] もしくは\[\begin{align} \hat{\phi}^-(x) = \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \left( e^{-ik_\mu x^\mu} \hat{b}_s^\dagger (\boldsymbol{k}) \right) \tag{11.13}\end{align}\] となる。

このように定義すると、\(\hat{\phi}^+(x)\)と\(\hat{\phi}^-(x)\)は共にクライン・ゴルドン方程式を満たす。ただし、これらは波動関数ではなく演算子であることに注意する。

次に、\(\hat{\phi}^+(x)\)と\(\hat{\phi}^-(x)\)を統一的に扱うことを考える。両者は同じクライン・ゴルドン方程式を満たしているため、一つにまとめることが期待される。しかし、電荷に注目すると、粒子の電荷が\(q\)であるのに対し、反粒子の電荷は\(-q\)である。したがって、それらの消滅演算子を単純に足し合わせると電荷の保存に適した形にはならない。

そこで、電荷\(-q\)の反粒子を生成することは電荷が\(q\)だけ減る作用であることを考慮し、粒子の消滅演算子と反粒子の生成演算子を組み合わせて、次のように定義する。

これは位置\(\boldsymbol{x}\)において電荷\(q\)を1つ消滅させる演算子と解釈できる。そもそも粒子や反粒子の数は個別には保存せず、電荷のみが保存されるため、この形の演算子がより基本的であると考えられる。

この統一的な記述は、後に説明する因果律の議論と密接に関係している。

改めて結果を見直すと、\(\hat{\phi}(x)\)はクラインゴルドン方程式\[\begin{align} \left( \partial_\mu \partial^\mu - m^2 \right) \hat{\phi}(x) = 0 \tag{11.15}\end{align}\] を満たしており、その解をエネルギー固有状態の基底で展開した際の係数が、粒子および反粒子の生成・消滅演算子になっていることがわかる。 また、\(\hat{\phi}(x)\)は空間座標に依存することから、スカラー場（の演算子）と呼ばれる。 ここで、場の演算子は波動関数とは異なる概念であることに注意する。 1粒子の波動関数に相当するのは、上記の展開に含まれる\(e^{i k_\mu x^\mu}\)の部分である。

11-4.　実スカラー場

これまでの議論では、\(\hat{\phi}(x)\)は電荷を持ち、粒子と反粒子が電荷の符号によって区別できることを前提としていた。このようなスカラー場を複素スカラー場と呼ぶ。

一方、電荷を持たない粒子を考えると、粒子と反粒子の区別が不要になり、それらの入れ替え対称性が存在する。その場合、粒子と反粒子を同一視して理論の自由度を半分にすることができる。この状況では、場の演算子は1種類の生成消滅演算子\(\hat{a}(\boldsymbol{k})\)のみを用いて、\[\begin{align} \hat{\phi}(x) = \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \left( e^{ik_\mu x^\mu} \hat{a}(\boldsymbol{k}) + e^{-ik_\mu x^\mu} \hat{a}^\dagger (\boldsymbol{k}) \right)_{k^0 = \sqrt{m^2 + \boldsymbol{k}^2}} \tag{11.16}\end{align}\] と表される。 このようなスカラー場を実スカラー場と呼び、\(\hat{\phi}^\dagger = \hat{\phi}\)の関係を満たす。⁵⁰

12.　ディラック場

12-1.　ディラックスピノールの復習

ディラックフェルミオンの運動量およびスピン固有状態に対する1粒子波動関数は、\[\begin{align} \psi(x) = u_s(\boldsymbol{k}) e^{ik_\mu x^\mu} \tag{12.1}\end{align}\] と表される。ここで、\[\begin{align} &k^0 = \sqrt{m^2 + \boldsymbol{k}^2} \\ &(\gamma^\mu k_\mu + m I_{4}) u_s(\boldsymbol{k}) = 0 \tag{12.2}\end{align}\] が成り立つ。また、規格直交条件として、\[\begin{align} u_s^\dagger u_{s'} = 2 k^0 \delta_{ss'} \tag{12.3}\end{align}\] を採用する。

同様に、反粒子状態を表す波動関数の複素共役は、\[\begin{align} &\psi(x) = v_s (\boldsymbol{k}) (e^{ik_\mu x^\mu} )^* \\ &k^0 = \sqrt{m^2 + \boldsymbol{k}^2} \\ &(\gamma^\mu k_\mu - m I_{4}) v_s(\boldsymbol{k}) = 0 \\ &v_s^\dagger v_{s'} = 2 k^0 \delta_{ss'} \tag{12.4}\end{align}\] と書ける。

また、ディラック共役を\[\begin{align} &\bar{u}_s \equiv u_s^\dagger \gamma^0, \\ &\bar{v}_s \equiv v_s^\dagger \gamma^0 \tag{12.5}\end{align}\] と定義する。

12-2.　ディラック場

ディラック方程式に従う粒子（反粒子）の状態は、運動量\(\boldsymbol{k}\)、スピン\(s\)(\(=\pm1/2\))、および粒子・反粒子の区別（正負の振動数の解）によってラベルされる。そこで、粒子と反粒子の消滅演算子をそれぞれ\[\begin{align} \hat{a}_s(\boldsymbol{k}), \hat{b}_s(\boldsymbol{k}) \tag{12.6}\end{align}\] とする。 フェルミオンであるため、次の反交換関係を満たす。

運動量\(\boldsymbol{k}\)、スピン\(s\)を持つ1粒子状態は\(\hat{a}^\dagger_s (\boldsymbol{k}) \left\vert 0 \right>\)であり、1つの反粒子が存在する状態は\(\hat{b}^\dagger_s (\boldsymbol{k}) \left\vert 0 \right>\)である。

1粒子波動関数が\[\begin{align} \psi(x) = u_s(\boldsymbol{k}) e^{ik_\mu x^\mu} \tag{12.8}\end{align}\] と書け、反粒子状態の波動関数の複素共役が\[\begin{align} \psi(x) = v_s (\boldsymbol{k}) (e^{ik_\mu x^\mu} )^* \tag{12.9}\end{align}\] と書けることを利用すると、スカラー場と同様の議論により、位置\(\boldsymbol{x}\)で電荷を1つ消滅させる演算子は次のように書ける。

ここで、\(\hat{\psi}(x)\)は演算子であり、ディラック方程式\[\begin{align} \left( i \gamma^\mu \partial_\mu - m I_{4}\right) \hat{\psi}(x) = 0 \tag{12.11}\end{align}\] を満たす。 この方程式の解をエネルギーおよびスピンの固有状態で展開したとき、その係数が粒子と反粒子の生成消滅演算子となっていることがわかる。

12-3.　電荷の流れの演算子

生成消滅演算子を組み合わせると数演算子を定義することができるが、\(\hat{\psi}(x)\)を使って同じように \(\left( \hat{\psi}^\dagger (x) \hat{\psi}(x) \right)\)とすれば、これは 位置\(\boldsymbol{x}\)における電荷の密度を数える演算子となる。 さらに、電荷の流れを表す演算子は、\[\begin{align} \hat{j}^\mu(x) = q \hat{\bar{\psi}}(x) \gamma^\mu \hat{\psi} (x) \tag{12.12}\end{align}\] と定義できる。ここで、\(\hat{\bar{\psi}} \equiv \hat{\psi} \gamma^0\)であるため、\(\mu = 0\)の成分が電荷密度を表していることがわかる。

例えば、これを1つの粒子が存在する状態\(\hat{a}_s^\dagger (\boldsymbol{k}) \left\vert 0 \right>\)で挟んで期待値を取ると、\[\begin{align} \left< 0 \right\vert \hat{a}_s(\boldsymbol{k}) \hat{j}^\mu(x) \hat{a}_s^\dagger (\boldsymbol{k}) \left\vert 0 \right> = q \bar{u}_s (\boldsymbol{k}) \gamma^\mu u_s (\boldsymbol{k}) \tag{12.13}\end{align}\] となり、1粒子状態の電荷の流れが再現できる。 また、1つの反粒子の状態\(\hat{b}_s^\dagger (\boldsymbol{k}) \left\vert 0 \right>\)に対しては、\[\begin{align} \left< 0 \right\vert \hat{b}_s(\boldsymbol{k}) \hat{j}^\mu(x) \hat{b}_s^\dagger (\boldsymbol{k}) \left\vert 0 \right> = - q \bar{v}_s (\boldsymbol{k}) \gamma^\mu v_s (\boldsymbol{k}) +(\mathrm{ const.}) \tag{12.14}\end{align}\] となる。生成消滅演算子の反交換関係により符号が反転し、反粒子の電荷が負であることを示している。 以前は1粒子の波動関数を用いて電荷の流れを定義していたため、反粒子に負の符号を付ける際に恣意的な操作が必要だった。しかし、上記の演算子を用いることで、反粒子にも正しく適用できる電荷の流れの定義が得られる。

12-4.　ハミルトニアン

1粒子のハミルトニアンは、\[\begin{align} \hat{H}_\mathrm{ 1-particle} = \gamma^0 (\boldsymbol{\gamma}\cdot \hat{\boldsymbol{k}} + m I_{4}) = \gamma^0 (- i \boldsymbol{\gamma}\cdot \boldsymbol{\partial} + m I_{4}) \tag{12.15}\end{align}\] である。ただし、この式は負の振動数の解に対して負のエネルギーを与えるため、そのままでは使用できない。しかし、これを電荷1つあたりのエネルギーを与える演算子と解釈し直すことで、正しいハミルトニアンとなることが確認できる。

まず、位置\(\boldsymbol{x}\)におけるエネルギー密度は、位置\(\boldsymbol{x}\)における電荷の数を数える演算子\(\left( \hat{\psi}^\dagger (x) \hat{\psi}(x) \right)\)と1粒子のハミルトニアン\(\hat{H}_\mathrm{ 1-particle}\)を組み合わせて \(\left( \hat{\psi}^\dagger (x) \hat{H}_\mathrm{ 1-particle} \hat{\psi}(x) \right)\)と表せる。 これを用いると、多体系での全エネルギーを与えるハミルトニアンは、\[\begin{align} \hat{H} &= \int d^3 \boldsymbol{x} \left( \hat{\psi}^\dagger (x) \hat{H}_\mathrm{ 1-particle} \hat{\psi}(x) \right) \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \sum_s \left( k^0 \hat{a}_s^\dagger (\boldsymbol{k}) \hat{a}_s(\boldsymbol{k}) - k^0 \hat{b}_s (\boldsymbol{k}) \hat{b}_s^\dagger (\boldsymbol{k}) \right) 　 \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \sum_s \left( k^0 \hat{a}_s^\dagger (\boldsymbol{k}) \hat{a}_s(\boldsymbol{k}) + k^0 \hat{b}_s^\dagger (\boldsymbol{k}) \hat{b}_s (\boldsymbol{k}) \right) + (\mathrm{ const.}) \tag{12.16}\end{align}\] となる。ここで、スピノールの直交性\(u_s^\dagger v_{s'} = 0\)などを用いた。 物理的に意味のない定数項を除くと、正しく全エネルギーを与える演算子となる。

12-5.　相互作用項

電磁場があるときのディラック方程式を考えると、1体系のハミルトニアンは、\[\begin{align} \hat{H}_\mathrm{ 1-particle} &= \gamma^0 \left( \boldsymbol{\gamma} \cdot \left( \hat{\boldsymbol{k}} - q \hat{\boldsymbol{A}} \right) + m I_{4}\right) + q \hat{A}^0 \\ &= \gamma^0 \left( \boldsymbol{\gamma}\cdot \left( \hat{\boldsymbol{k}} - q \hat{\boldsymbol{A}} \right) + m I_{4}+ q \gamma^0 \hat{A}^0 I_{4}\right) \tag{12.17}\end{align}\] と書ける。ここで、電磁場も量子化して演算子とみなした。 この表現を用いると、多体系のハミルトニアンは、\[\begin{align} \hat{H} &= \int d^3 \boldsymbol{x} \left( \hat{\psi}^\dagger (x) \hat{H}_\mathrm{ 1-particle} \hat{\psi}(x) \right) \tag{12.18}\end{align}\] と書け、相互作用部分は\[\begin{align} \hat{H} &\ni - \int d^3 \boldsymbol{x} \left( q \hat{A}_\mu \bar{\hat{\psi}} \gamma^\mu \hat{\psi} \right) \\ &= - \int d^3 \boldsymbol{x} \hat{A}_\mu \hat{j}^\mu \tag{12.19}\end{align}\] となる。これはディラックフェルミオンと電磁場の相互作用を表す。

さらに、ハミルトニアンに含まれる質量パラメータ\(m\)をスカラー場\(\hat{\phi}(x)\)と結合定数\(y\)に置き換えて、\(m \to y \hat{\phi}(x)\)とすると、\[\begin{align} \hat{H} &\ni \int d^3 \boldsymbol{x} \left( y \hat{\phi} \bar{\hat{\psi}} \hat{\psi} \right) \tag{12.20}\end{align}\] が得られる。これは湯川相互作用と呼ばれ、フェルミオンとスカラー場の相互作用を表している。

これらは3体相互作用を記述し、組み合わせることで様々な散乱や崩壊過程を記述できる。

13.　因果律とスピン統計定理

13-1.　因果律

複素スカラー場の因果律を確認するため、次の交換関係を計算する。\[\begin{align} \left[ \hat{\phi}^\dagger (x), \hat{\phi}(y) \right] \tag{13.1}\end{align}\]

まず、粒子と反粒子の部分を分けて\[\begin{align} \hat{\phi}(x) = \hat{\phi}^+(x) + \hat{\phi}^-(x) \tag{13.2}\end{align}\] と書く。粒子と反粒子の生成・消滅演算子は互いに交換するため、\[\begin{align} &\left[ \hat{\phi}^\dagger (x), \hat{\phi}(y) \right] \\ &= \left[ \hat{\phi}^{+\dagger} (x), \hat{\phi}^+(y) \right] + \left[ \hat{\phi}^{-\dagger} (x), \hat{\phi}^-(y) \right] \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \frac{d^3\boldsymbol{k}'}{(2\pi)^3 2k^{0'}} \left( e^{ik_\mu x^\mu - i k_\mu' y^\mu} \left[\hat{a}^\dagger (\boldsymbol{k}), \hat{a} (\boldsymbol{k}') \right] + e^{-ik_\mu x^\mu + ik_\mu' y^\mu} \left[ \hat{b} (\boldsymbol{k}), \hat{b}^\dagger (\boldsymbol{k}') \right] \right) \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \left( e^{ik_\mu (x^\mu - y^\mu)} - e^{-ik_\mu (x^\mu - y^\mu)} \right) \tag{13.3}\end{align}\] となる。 特に\(x^0 - y^0 = 0\)のとき、\[\begin{align} &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \left( e^{i \boldsymbol{k} (\boldsymbol{x} - \boldsymbol{y})} - e^{-i \boldsymbol{k} (\boldsymbol{x} - \boldsymbol{y})} \right) \\ &= 0 \tag{13.4}\end{align}\] が成り立つ。 さらに、計算対象の量はローレンツ不変であるため、\(x^0 - y^0 = 0\)からローレンツ変換によって到達できる範囲では常に\(0\)となる。その範囲は、\[\begin{align} (x - y)^2 = - (x^0 - y^0)^2 + ( \boldsymbol{x} - \boldsymbol{y})^2 > 0 \tag{13.5}\end{align}\] を満たす領域、すなわち\(x^\mu\)と\(y^\mu\)が space-like に離れている場合である。したがって、space-like に離れた点では交換関係が常に\(0\)となる。

交換関係が\(0\)であることは、演算子の順序によらずに同じ値を返すということである。これは、演算子\(\hat{\phi}(y)\)が space-like に離れた点\(\hat{\phi}^\dagger(x)\)に影響を与えないことを意味する。 この性質こそが場の理論における因果律を表している。これにより、相対論の最も重要な帰結である因果律が、量子論においても成立することが示された。

ここで、\(\hat{\phi}(x)\)に\(\hat{\phi}^-(x)\)を含めたことで\(\hat{\phi}^+(x)\)由来の項と打ち消し合い、最終的に\(0\)になった点に注目する。つまり、粒子のみを消滅させる演算子\(\hat{\phi}^+(x)\)単独では因果律を満たさず、\(\hat{\phi} = \hat{\phi}^+ + \hat{\phi}^-\)のように組み合わせることで初めて因果律が成り立つ。

なお、その他の交換関係\[\begin{align} \left[ \hat{\phi} (x), \hat{\phi}(y) \right], \quad \left[ \hat{\phi}^\dagger (x), \hat{\phi}^\dagger(y) \right] \tag{13.6}\end{align}\] は自明に\(0\)となるため、同様に因果律を満たしている。

13-2.　スカラー粒子の統計性

上記の計算において、仮にスカラー場の生成消滅演算子が交換関係ではなく反交換関係を満たしていた場合を考える。 このとき、\[\begin{align} & \{ \hat{\phi}^\dagger (x), \hat{\phi}(y) \} \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \frac{d^3\boldsymbol{k}'}{(2\pi)^3 2k^{0'}} \left( e^{ik_\mu x^\mu - i k_\mu' y^\mu} \{ \hat{a}^\dagger (\boldsymbol{k}), \hat{a} (\boldsymbol{k}') \} + e^{-ik_\mu x^\mu + ik_\mu' y^\mu} \{ \hat{b} (\boldsymbol{k}), \hat{b}^\dagger (\boldsymbol{k}') \} \right) \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \left( e^{ik_\mu (x^\mu - y^\mu)} + e^{-ik_\mu (x^\mu - y^\mu)} \right) \tag{13.7}\end{align}\] となり、一般には\(0\)ではなく、因果律を満たさないことがわかる。 したがって、スピン\(0\)のスカラー場は交換関係で量子化されなければならず、ボソン粒子を表すことがわかる。

13-3.　ディラック粒子の統計性

ディラック場のハミルトニアンは、\[\begin{align} \hat{H} &= \int d^3 \boldsymbol{x} \left( \hat{\psi}^\dagger (x) \hat{H}_\mathrm{ 1-particle} \hat{\psi}(x) \right) \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \sum_s \left( k^0 \hat{a}_s^\dagger (\boldsymbol{k}) \hat{a}_s(\boldsymbol{k}) - k^0 \hat{b}_s (\boldsymbol{k}) \hat{b}_s^\dagger (\boldsymbol{k}) \right) 　 \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \sum_s \left( k^0 \hat{a}_s^\dagger (\boldsymbol{k}) \hat{a}_s(\boldsymbol{k}) + k^0 \hat{b}_s^\dagger (\boldsymbol{k}) \hat{b}_s (\boldsymbol{k}) \right) + (\mathrm{ const.}) \tag{13.8}\end{align}\] と計算される。 ここで、仮にディラック場の生成消滅演算子が反交換関係ではなく交換関係を満たしていたとすると、3行目の等式が変更を受け、\[\begin{align} \hat{H} &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \sum_s \left( k^0 \hat{a}_s^\dagger (\boldsymbol{k}) \hat{a}_s(\boldsymbol{k}) - k^0 \hat{b}_s (\boldsymbol{k}) \hat{b}_s^\dagger (\boldsymbol{k}) \right) 　 \\ &= \int \frac{d^3\boldsymbol{k}}{(2\pi)^3 2k^0} \sum_s \left( k^0 \hat{a}_s^\dagger (\boldsymbol{k}) \hat{a}_s(\boldsymbol{k}) - k^0 \hat{b}_s^\dagger (\boldsymbol{k}) \hat{b}_s (\boldsymbol{k}) \right) + (\mathrm{ const.}) \tag{13.9}\end{align}\] となる。 これは、反粒子のエネルギーの和が負になり、正しく系のエネルギーを表せなくなっている。 したがって、スピン\(1/2\)の粒子を表すディラック場は反交換関係で量子化されなければならないことがわかる。 ⁵¹

14.　光の放射吸収と黒体輻射

14-1.　ベクトル場

マクスウェル方程式\(\partial_\mu F^{\mu\nu}=0\)をローレンツゲージ\(\partial_\mu A^\mu = 0\)で書き直すと、\[\begin{align} \partial_\mu \partial^\mu A^\nu = 0 \tag{14.1}\end{align}\] となる。 この方程式はベクトル場の各成分がクライン・ゴルドン方程式に従うことを意味しており、電磁波の偏光の効果を除けばスカラー場と同様の議論で演算子を構成できると予想される。 ここで、偏極ベクトル\(\epsilon^\mu\)は、\[\begin{align} &\epsilon^\mu = (0, \boldsymbol{\epsilon}) \\ &\boldsymbol{k} \cdot \boldsymbol{\epsilon} = 0 \tag{14.2}\end{align}\] を満たすものである。偏光には2つの自由度があり、それを区別するラベルを\(r\)とする。 このとき、位置\(\boldsymbol{x}\)に光子を1つ消滅させる演算子は、次のように書かれることが期待される。

ベクトル場\(A^\mu(x)\)は実であるため、対応する演算子も\((\hat{A}^\mu)^\dagger = \hat{A}^\mu\)を満たし、実スカラー場と同様に粒子と反粒子が同一であることに注意する。 これは、光子が電荷を持たないことを反映している。

フェルミオンとの相互作用ハミルトニアンは、\[\begin{align} \hat{H}_\mathrm{ int} &= - \int d^3 \boldsymbol{x} \hat{A}_\mu \hat{j}^\mu \\ &= - \int d^3 \boldsymbol{x} \left( q \hat{A}_\mu \bar{\hat{\psi}} \gamma^\mu \hat{\psi} \right) \tag{14.4}\end{align}\] と書ける。 この式を用いることで、フェルミオンからの光子の放射や吸収の効果を考察できる。

14-2.　光の放射吸収と黒体輻射

光子が充満している輻射場中に存在する原子の遷移を考える。 簡単のため、原子の状態を\(\left\vert a \right>\)と\(\left\vert b \right>\)のみとし、パウリの排他律は無視する。 また、それぞれのエネルギーを\(E_a, E_b\) (\(E_a > E_b\))とする。

この状態間の遷移に伴い、エネルギー\(\omega = E_a - E_b\)に相当する光子が放射または吸収される。この光子のエネルギー（モード）に注目し、そのモードに\(n\)個の光子が存在する状態を\(\left\vert n \right>\)と表記する。

まず、放射の過程を考える。 初期状態が\[\begin{align} &\text{原子の状態:} \left\vert a \right> \\ &\text{輻射場の状態:} \left\vert n \right> \tag{14.5}\end{align}\] であった場合、 終状態は\[\begin{align} &\text{原子の状態:} \left\vert b \right> \\ &\text{輻射場の状態:} \left\vert n+1 \right> \tag{14.6}\end{align}\] と書ける。 輻射場が平衡状態にある場合には初期状態\(\left\vert n \right>\)は熱平衡分布に従うが、ここでは一般に\(n\)個の光子が存在する場合を考える。 相互作用ハミルトニアンは \(\hat{H}_\mathrm{ int} = - \int d^3 \boldsymbol{x} \hat{A}_\mu \hat{j}^\mu\) と書けるので、 遷移確率は\[\begin{align} \text{遷移確率} &\propto \left\vert { \left< b \right\vert \otimes \left< n+1 \right\vert \left( \int d^3 \boldsymbol{x} \hat{A}_\mu \hat{j}^\mu \right) \left\vert a \right> \otimes \left\vert n \right> } \right\vert^2 \\ &= \left\vert { \int d^3 \boldsymbol{x} \left< b \right\vert \hat{j}^\mu \left\vert a \right> \left< n+1 \right\vert \hat{A}_\mu \left\vert n \right> } \right\vert^2 \tag{14.7}\end{align}\] となる。ここで、光子の部分に注目すると、\(\hat{A}^\mu\)の中には光子の生成演算子\(\hat{a}^\dagger\)が含まれているため、\[\begin{align} \left\vert { \left< n+1 \right\vert \hat{A}_\mu \left\vert n \right> } \right\vert^2 \propto \left\vert {\left< n+1 \right\vert \hat{a}^\dagger \left\vert n \right>} \right\vert^2 \propto (n+1) \tag{14.8}\end{align}\] となる。

次に、吸収の過程を考える。 初期状態が\[\begin{align} &\text{原子の状態:} \left\vert b \right> \\ &\text{輻射場の状態:} \left\vert n \right> \tag{14.9}\end{align}\] であるとすると、終状態は\[\begin{align} &\text{原子の状態:} \left\vert a \right> \\ &\text{輻射場の状態:} \left\vert n-1 \right> \tag{14.10}\end{align}\] となる。 このとき、遷移確率は\[\begin{align} \text{遷移確率} &\propto \left\vert { \int d^3 \boldsymbol{x} \left< a \right\vert \hat{j}^\mu \left\vert b \right> \left< n-1 \right\vert \hat{A}_\mu \left\vert n \right> } \right\vert^2 \tag{14.11}\end{align}\] と表される。

ここで、電荷の流れの演算子がエルミート演算子であること、すなわち \(\hat{j}_\mu^\dagger = \hat{j}_\mu\) であることを用いると、原子に関する寄与は放射の場合と同じであることがわかる。 一方、光子に関する部分は\[\begin{align} \left\vert { \left< n-1 \right\vert \hat{A}_\mu \left\vert n \right> } \right\vert^2 \propto \left\vert {\left< n-1 \right\vert \hat{a} \left\vert n \right>} \right\vert^2 \propto n \tag{14.12}\end{align}\] となる。 したがって、放射と吸収の遷移確率の比は\[\begin{align} R = \frac{\text{放射確率}}{\text{吸収確率}} = \frac{n+1}{n} \tag{14.13}\end{align}\] となる。

ここで、系が温度\(T\)の熱平衡状態にある場合を考える。 このとき、個々の原子の状態が\(\left\vert a \right\rangle\)や\(\left\vert b \right\rangle\)にある相対確率はボルツマン分布に従い、\(\propto e^{- E_i/T}\) (\(i=a,b\))で与えられる。 また、系全体が平衡状態にあるためには、\[\begin{align} &\text{(放射確率)} \times e^{-E_a/T} = \text{(吸収確率)} \times e^{-E_b/T} \\ &\leftrightarrow R = e^{{E_a-E_b}/T} = e^{\omega/T} \tag{14.14}\end{align}\] が成立しなければならない。 上で導いた\(R\)を用いると、\[\begin{align} &\frac{n+1}{n} = e^{\omega/T} \\ &\leftrightarrow n = \frac{1}{e^{\omega/T} - 1} \tag{14.15}\end{align}\] となり、輻射場が従うべきプランク分布が導かれる。

15.　摂動論の概要

ここでは、場の理論の教科書を読むための準備として摂動論の概略を述べる。 詳細な議論は省略し、相互作用を考える上で重要な量であるプロパゲーターについて簡単に説明する。

指数関数の肩にある四元ベクトルの縮約の添え字は省略し、\(e^{ixp}\) は \(e^{ix_\mu p^\mu}\) を意味するものとする。

15-1.　相互作用表示

量子力学には、時間発展を状態に適用するシュレーディンガー表示と、演算子に適用するハイゼンベルグ表示などがある。 ここでは、それらの中間的な表示である相互作用表示を用いる。 この表示では、ハミルトニアン\(H\)を自由場の部分\(H_0\)とそれ以外の相互作用部分\(H_I\)に分け、演算子を自由場のハミルトニアン\(H_0\)によって時間発展させ、量子状態を相互作用部分\(H_I\)によって時間発展させる。

つまり、演算子\(\hat{O}(t)\)は次のように\(H_0\)で時間発展させる。\[\begin{align} &\frac{d}{d t} \hat{O}(t) = i \left[ H_0, \hat{O}(t) \right], \\ &\leftrightarrow \hat{O}(t) = e^{i H_0 (t-t_0)} \hat{O}(t_0) e^{-i H_0 (t-t_0)}, \tag{15.1}\end{align}\] これにより、自由場のハイゼンベルグ表示における場の演算子の表式をそのまま適用できる。 状態の時間発展は次のように与えられる。\[\begin{align} &i \frac{d}{dt} \left\vert \psi(t) \right> = H_I \left\vert \psi(t) \right> \\ &H_I(t) \equiv e^{i H_0 (t-t_0)} H e^{-i H_0 (t-t_0)}, \tag{15.2}\end{align}\] ここで、\(\left\vert \psi(t) \right> = U(t,t_0) \left\vert \psi(t_0) \right>\)を満たすユニタリ演算子\(U_I(t,t_0)\)を導入すると、\[\begin{align} i \frac{d}{dt} U_I(t,t_0) = H_I U_I(t,t_0), \tag{15.3}\end{align}\] が成り立つ。これを逐次的に解くと、次の形式解が得られる。\[\begin{align} &U_I(t,t_0) \nonumber\\ &= 1 + (-i) \int_{t_0}^t dt_1 H_I(t_1) U(t_1,t_0) \nonumber\\ &= 1 + (-i) \int_{t_0}^t dt_1 H_I(t_1) + (-i)^2 \int_{t_0}^t dt_1 \int_{t_0}^{t_1} dt_2 H_I(t_1) H_I(t_2) + \dots \nonumber\\ &= 1 + (-i) \int_{t_0}^t dt_1 H_I(t_1) + \frac{1}{2} (-i)^2 \int_{t_0}^t dt_1 \int_{t_0}^{t} dt_2 T[H_I(t_1) H_I(t_2)] + \dots \nonumber\\ &= T \exp \left[ - i \int_{t_0}^t dt' H_I(t') \right], \tag{15.4}\end{align}\] ここで、時間順序積\(T\)を、時間の引数が大きい項が左に並ぶように定めた演算子として、次のように定義する。\[\begin{align} T[H_I(t_1) H_I(t_2)] = H_I(t_1) H_I(t_2) \theta(t_1-t_2) + H_I(t_2) H_I(t_1) \theta(t_2-t_1), \tag{15.5}\end{align}\] 演算子が3個以上の場合も同様に定義される。

15-2.　湯川相互作用による散乱

相互作用のある例として、ディラックフェルミオンと実スカラーが湯川相互作用する簡単な素粒子模型を考える。

初期状態として、運動量\(\boldsymbol{p}\)とスピン\(s\)を持つディラック粒子と、運動量\(\boldsymbol{p}'\)とスピン\(s'\)を持つディラック粒子が存在する場合を考える。 この状態は生成消滅演算子を用いて次のように表される。⁵²\[\begin{align} \left\vert \boldsymbol{p},s; \boldsymbol{p}',s' \right> = \hat{a}^\dagger (\boldsymbol{p}, s) \hat{a}^\dagger (\boldsymbol{p}', s') \left\vert 0 \right> \tag{15.6}\end{align}\] 散乱後の終状態では、運動量\(\boldsymbol{k}\)とスピン\(r\)を持つディラック粒子と、運動量\(\boldsymbol{k}'\)とスピン\(r'\)を持つディラック粒子に変化したとする。 この状態は次のように表される。\[\begin{align} \left< \boldsymbol{k},r; \boldsymbol{k}',r' \right\vert = \left< 0 \right\vert \hat{a} (\boldsymbol{k}, r) \hat{a} (\boldsymbol{k}', r') \tag{15.7}\end{align}\] この遷移確率を求めるために、次の振幅を計算する。\[\begin{align} \left< \boldsymbol{k},r; \boldsymbol{k}',r' \right\vert U_I(\infty,-\infty) \left\vert \boldsymbol{p},s; \boldsymbol{p}',s' \right> \tag{15.8}\end{align}\] \(U_I\)の形式解の0次の項は、相互作用なしで粒子がそのまま通過する過程を表す。 2次の項には次のような項が現れる。\[\begin{align} &\left< \boldsymbol{k},r; \boldsymbol{k}',r' \right\vert \frac12 (-i)^2 T \int d^4x_1 y \hat{\phi}(x_1) \hat{\bar{\psi}}(x_1) \hat{\psi}(x_1) \nonumber\\ &\qquad \qquad \qquad \times \int d^4x_2 y \hat{\phi}(x_2) \hat{\bar{\psi}}(x_2) \hat{\psi}(x_2) \left\vert \boldsymbol{p},s; \boldsymbol{p}',s' \right> \tag{15.9}\end{align}\] まず、ディラックフェルミオンの部分に注目する。 \(\hat{\psi}(x)\)が運動量固有状態の生成消滅演算子で表されることを思い出すと、自由場の波動関数が次のように現れる。\[\begin{align} \hat{{\psi}}(x_1) \hat{{\psi}}(x_2) \left\vert \boldsymbol{p},s; \boldsymbol{p}',s' \right> = e^{ipx_1} u_s(\boldsymbol{p}) e^{ip'x_2} u_{s'}(\boldsymbol{p}') \left\vert 0 \right> + (p,s \leftrightarrow p',s') \tag{15.10}\end{align}\] 以下ではスピノールの添え字は和を取らず、自由な添え字として残す。 同様に、\[\begin{align} \left< \boldsymbol{k},r; \boldsymbol{k}',r' \right\vert \hat{\bar{\psi}}(x_1) \hat{\bar{\psi}}(x_2) = \left< 0 \right\vert e^{-ikx_1} \bar{u}_r(\boldsymbol{k}) e^{-ik'x_2} \bar{u}_{r'}(\boldsymbol{k}') + (k,r \leftrightarrow k',r') \tag{15.11}\end{align}\] となる。 スカラー場の時間順序積の部分は次のように書き、ファインマンプロパゲーターと呼ぶ。

理論の並進対称性から、この量は\(x_1 - x_2\)のみの関数となる。また、時間順序積の性質により、\(x_1\)と\(x_2\)を入れ替えても値は変化しない。 したがって、このフーリエ変換を取ると、\[\begin{align} \Delta_\phi (x_1 - x_2) = \int \frac{d^4 q}{(2\pi)^4} \tilde{\Delta}_\phi(q^2) e^{iq(x_1 - x_2)}, \tag{15.13}\end{align}\] と表せる。⁵³

これらを組み合わせると、二次の摂動項は次のように書ける。\[\begin{align} &i y^2 \left[ \bar{u}_r(\boldsymbol{k}) u_s(\boldsymbol{p}) ][ \bar{u}_{r'}(\boldsymbol{k}') u_{s'}(\boldsymbol{p}') \right] \int \frac{d^4 q}{(2\pi)^4} \nonumber \\ &\qquad \qquad \times \int d^4 x_1 d^4 x_2 e^{-ikx_1-ik'x_2+ipx_1+ip'x_2+iq(x_1 - x_2)} \tilde{\Delta}_\phi(q^2) \nonumber\\ &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad+ (p,s \leftrightarrow p',s') \tag{15.14}\end{align}\] ここではスピノールの添え字は の中で縮約されている。 また、\(p,s,k,r\)と\(p',s',k',r'\)を同時に入れ替える対称性により、係数として2倍が出ることを用いた。さらに、\(x_1\)に関する積分を実行すると\((2\pi)^4 \delta(k-p-q)\)が現れる。これを用いて\(q\)の積分を消去すると、\[\begin{align} i y^2 [\bar{u}_r(\boldsymbol{k}) u_s(\boldsymbol{p}) ][ \bar{u}_{r'}(\boldsymbol{k}') u_{s'}(\boldsymbol{p}') ] \tilde{\Delta}_\phi((k-p)^2) \int d^4 x_2 e^{i(-k'+p'-q)x_2} \nonumber\\ + (p,s \leftrightarrow p',s') \tag{15.15}\end{align}\] となる。 全エネルギーと運動量の保存則から、\(p+p' = k+k'\)でなければならない。これを考慮すると、\[\begin{align} \int d^4 x_2 e^{i(-k'+p'-q)x_2} = \int d^4 x_2 \tag{15.16}\end{align}\] となり、この部分は全時空の4次元体積を表す。

初期状態と終状態の運動量固有状態は全空間に広がっているため、単位時間単位体積あたりの遷移確率を考える際には、この体積で割る必要がある。これにより、全時空体積はキャンセルする。このときの遷移振幅を\(i\mathcal{M}\)と書くと、\[\begin{align} i \mathcal{M} = i y^2 [\bar{u}_r(\boldsymbol{k}) u_s(\boldsymbol{p}) ][ \bar{u}_{r'}(\boldsymbol{k}') u_{s'}(\boldsymbol{p}') ] \tilde{\Delta}_\phi((k-p)^2) + (p,s \leftrightarrow p',s') \tag{15.17}\end{align}\] となる。

遷移確率は振幅の二乗であるため、単位時間単位体積あたりの遷移確率は、\[\begin{align} \left\vert {\mathcal{M}} \right\vert^2 &= y^4 \left\vert \bar{u}_r(\boldsymbol{k}) u_s(\boldsymbol{p}) \bar{u}_{r'}(\boldsymbol{k}') u_{s'}(\boldsymbol{p}') \tilde{\Delta}_\phi((k-p)^2) \right. \nonumber \\ &\qquad \left. + \bar{u}_r(\boldsymbol{k}) u_{s'}(\boldsymbol{p'}) \bar{u}_{r'}(\boldsymbol{k}') u_{s}(\boldsymbol{p}) \tilde{\Delta}_\phi((k-p')^2) \right\vert^2 \tag{15.18}\end{align}\] となる。⁵⁴

ところで、実験によってはスピンの自由度を考慮しない場合がある。 例えば、初期状態のスピンはランダムに分布し、終状態ではスピンを観測せずに運動量のみを測定することがある。この場合、初期状態のスピンについては平均を取り、終状態のスピンについては総和を取った量\[\begin{align} \left( \frac{1}{2} \right)^2 \sum_{s,s'} \sum_{r,r'} \left\vert {\mathcal{M}} \right\vert^2 \tag{15.20}\end{align}\] が関心の対象となる。 ここで、自由ディラック場の波動関数に着目すると、例えば\[\begin{align} \sum_{s,r} \left\vert {\bar{u}_r(\boldsymbol{k}) u_s(\boldsymbol{p})} \right\vert^2 &= \sum_{s,r} \bar{u}_s(\boldsymbol{p}) u_r (\boldsymbol{k}) \bar{u}_r(\boldsymbol{k}) u_s(\boldsymbol{p}) \\ &= \mathrm{ Tr}\left[ \sum_r u_r (\boldsymbol{k}) \bar{u}_r(\boldsymbol{k}) \sum_s u_s(\boldsymbol{p}) \bar{u}_s(\boldsymbol{p}) \right] \tag{15.21}\end{align}\] のように変形できる。 スピン和の公式を用いると、この式はガンマ行列の積のトレース計算に帰着される。

15-3.　ファインマンダイアグラムについて

以上の計算は生成消滅演算子の交換関係を用いて直接求めたが、直感的に理解しやすい方法として、ダイアグラムを用いる手法がある。これをファインマンダイアグラムと呼び、対応する計算規則をファインマンルールと呼ぶ。

[ファインマンダイアグラム(略)]

始状態と終状態が同じであれば、すべての中間過程について和を取る必要がある。運動量\(p\)と\(p'\)の同一粒子がスカラー粒子を交換して運動量\(k\)と\(k'\)の同一粒子になる過程では、どの粒子がどの粒子に変化したかを区別せず、すべての可能性を考慮して散乱振幅を計算する必要がある。これは上記の計算で\((p,s \leftrightarrow p',s')\)の項が加わっていることに対応する。

また、中間過程において粒子反粒子の対消滅や対生成が自動的に考慮されていることにも注意する。

---

1. 「1粒子系」と呼ぶほうが直感的ではあるが、「粒子」と「反粒子」の概念が異なるため、「一体系」という表現を用いる。戻る

2. 外場や相互作用を考慮しない自由粒子の理論であっても、深遠な物理が現れる。戻る

3. この枠組みにより、電子の磁気モーメントや水素原子のスペクトルなどの観測量を計算し、相対論的影響を検証することができる。戻る

4. ボルト（V）は日常的な電池などでよく見かける単位であるため、人間スケールに適した単位のように見える。しかし、電圧が生じる仕組みも、それが作用する対象も電子に関係するため、電圧の典型的な大きさはむしろ電子にとって自然なスケールである。特に電池における酸化還元反応は電子の放出や吸収を伴う化学反応であり、そのエネルギースケールは原子や分子のイオン化エネルギー、電子親和力といったミクロなエネルギーに対応している。戻る

5. いくつかの参考書ではローレンツ計量の符号を\(\eta_{\mu \nu} = (1,-1,-1,-1)\)としているが、本講義では\(\eta_{\mu \nu} = (-1,1,1,1)\)を採用する。戻る

6. 本講義において「ローレンツ変換」はローレンツブーストと空間回転のみを指し、空間や時間の反転変換を含まない。実際、素粒子の標準模型は空間や時間の反転変換に対しては対称ではない。戻る

7. \(\eta_{\mu\nu}\)が不変テンソルであること、および下付き成分のテンソルの変換性を考慮すると、\(\Lambda_{\alpha}{}^{\mu} \equiv (\Lambda^{\alpha}{}_{\mu})^{-1}\)を用いて\(\Lambda_{\alpha}{}^{\mu} \Lambda_{\beta}{}^{\nu} \eta_{\mu \nu} = \eta_{\alpha \beta}\)と書くことも可能であるが、これは同じ関係式を示している。戻る

8. \(\Lambda^\mu{}_\nu\)や\(\delta \omega^\mu{}_\nu\)はテンソルではないが、縮約の規則や\(\eta_{\mu\nu}\)による添え字の上げ下げの規則は適用する。 これは\(\Lambda_{\alpha}{}^{\mu} \equiv (\Lambda^{\alpha}{}_{\mu})^{-1}\)の定義とも矛盾しない。戻る

9. ここでは座標軸がローレンツブーストや回転で変換され、座標の値は逆変換で定まると考える。ただし、量子力学で時間並進演算子を扱う場合などは、逆に量子系自体の変換を考えることが多い。戻る

10. この式変形は、行列に関する極限公式\(\lim_{N \to \infty} \left( 1 + x/N \right)^N = e^x\)に対応している。戻る

11. この表現は、ローレンツ変換の行列構造を基底 \(\left( L^{\rho \sigma} \right)^{\mu}{ }_{\nu}\)で展開し、その係数として6つの変換パラメータ\(\omega_{\rho \sigma}\)を用いていることを示す。テンソルやスピノールの場合も、変換パラメータは共通だが、行列の構造自体は異なる。戻る

12. ハミルトンの運動方程式\(d\boldsymbol{r}/dt = \partial H /\partial \boldsymbol{p}\), \(d\boldsymbol{p}/dt = -\partial H /\partial \boldsymbol{r}\)からローレンツ力を含む運動方程式\(m d^2 \boldsymbol{r}/dt^2 = q(\boldsymbol{E} + d\boldsymbol{r}/dt \times \boldsymbol{B})\) が導かれる。ここで、\(d\boldsymbol{A}/dt = \partial \boldsymbol{A}/\partial t + (\partial \boldsymbol{r}/\partial t \cdot \boldsymbol{\nabla}) \boldsymbol{A}\) であることに注意する。古典力学ではハミルトニアン自体はゲージ変換で形式的に変化するが、運動方程式はゲージ不変性を持つ。戻る

13. [\(\psi^* \times\)[([Schrodinger])]\(-\)[([Schrodinger])]\(^* \times \psi\)] を計算して得ることもできる。戻る

14. 電磁場の場合、特定の位置における波動関数の変換則がU(1)群をなすため、この変換はU(1)ゲージ変換と呼ばれ、それによって記述される理論はU(1)ゲージ理論と呼ばれる。戻る

15. 本講義のノーテーションでは、電子の場合\(q=-\left\vert {e} \right\vert\)である。戻る

16. スピンは古典的な対応物を持たないため、古典理論による類推での説明が難しいことに注意する必要がある。戻る

17. ハミルトニアンは時間方向の並進演算子、運動量は空間方向の並進演算子と考えれば、相対論的にもこれらの関係が成立すると自然に期待される。実際、この表式がローレンツ変換に対して共変であることは、場の理論で扱うポアンカレ群の生成子の交換関係から明らかになる。戻る

18. 座標の基底に対する回転変換を考え、回転のベクトルを\(\boldsymbol{\theta}\)とすると、座標成分は逆向きに変換し、 \(\boldsymbol{x}' = R^{-1}(\boldsymbol{\theta}) \boldsymbol{x}\)となる。 これにより、例えば反変ベクトルの空間成分\(\boldsymbol{A}(\boldsymbol{x})\)は\(\boldsymbol{A}'(\boldsymbol{x}') = R^{-1}(\boldsymbol{\theta}) \boldsymbol{A}(\boldsymbol{x})\)と変換するため、通常の意味での3次元ベクトルと見なせる。 一方で、スピン1/2のスピノル\(\boldsymbol{\psi}(\boldsymbol{x})\)は、 \(\boldsymbol{\psi}'(\boldsymbol{x}') = \exp(i \boldsymbol{\theta}\cdot \boldsymbol{\sigma}/2) \boldsymbol{\psi}(\boldsymbol{x})\) と変換する。戻る

19. \(\varphi\)の方程式で\(m \to -m\)として全体の複素共役を取り、\(\varphi^* \to \chi\)とすれば簡単に確かめられる。戻る

20. ここでの係数は、\(-i \eta^{\mu \nu} \partial_\nu \to p^\mu\)とした際に\(j^\mu \to (q p^\mu / m) \left\vert {\phi} \right\vert^2\)のように古典的な電荷の流れに対応するよう選んだ。戻る

21. これは、保存されるべき量が粒子数ではなく電荷であることを示唆している。歴史的には、\(\rho(x)\) を単に粒子の確率密度と解釈していた時代があり、その値が負になることから理論が破綻すると考えられていた。これに対してディラックは、次章で述べるディラック方程式を提案することで、この問題の解決を図った。しかし、保存されるべき量が粒子数ではなく電荷であると認めるならば、\(\rho(x)\) に電荷を含めることは自然である。その結果として \(\rho(x)\) は保存量となり、正にも負にもなりうることが許容される。戻る

22. 粒子数密度を表す演算子を\(\left|x\right>\left<x\right|\)のように定義しても、それは一般には保存されない。一方、電荷密度を表す演算子はより複雑であり、この時点で具体的な形を示すことは難しい。場の理論では、適切に規格化した場に対しては \(-iq (\hat{\phi}^\dagger \partial_\mu \hat{\phi} - (\partial_\mu \hat{\phi}^\dagger \hat{\phi} )\)で与えられる。戻る

23. ハイゼンベルク表示または相互作用表示を採用することで、自由場の時間発展を演算子自身に担わせている。戻る

24. ここでは簡単化のために特定の運動量\(\boldsymbol{k}\)を取ったが、一般的な1粒子状態に対しても同様の議論が成立する。戻る

25. \(\left| \boldsymbol{x} \right>\)には反粒子状態が含まれないため完全系を成さず、一般に\(\int d^3 x \left\vert {\phi(x)} \right\vert^2 = \left< \phi_{\boldsymbol{k}} \right. \left| \phi_{\boldsymbol{k}} \right> \neq 1\)なる。 また、\(\left| \boldsymbol{x} \right> \left< \boldsymbol{x} \right|\)を粒子の位置演算子と解釈しても、その期待値\(\left< \phi_{\boldsymbol{k}} \right| \boldsymbol{x} \left> \right< \boldsymbol{x} \left| \phi_{\boldsymbol{k}} \right> = \left\vert {\phi(x)} \right\vert^2\)は連続の式を満たさず、粒子数は保存しない。戻る

26. \(m\)の係数を一般的な行列としてもよいが、対角化して余計な成分を\(\gamma^\mu\)や\(\psi\)に再定義で押し付ければ、単位行列として問題ない。戻る

27. ただし、\(\gamma^\mu\)が定数行列であるため、ディラック方程式のローレンツ共変性は自明ではない。\(\partial_\mu \partial^\mu\)はローレンツ不変だが、\(\gamma^\mu \partial_\mu\)はそうではない。この点については次章で検討する。戻る

28. この関係は粒子の状態に対して成り立つものであり、後述する反粒子の場合には異なる。戻る

29. 通常はハミルトニアンが与えられた系から量子力学的手続きを経て波動方程式を導くが、ここでは期待する方程式を満たすようハミルトニアンを逆算した。戻る

30. ただし、電荷密度\(\rho = q \psi^\dagger \psi\)は常に\(q\)と同じ符号を持つため、これを電荷密度と解釈すると、反粒子に対して符号が逆になるという問題が生じる。この問題はフェルミオンの反可換性と深く関連しており、場の理論によって正しく解釈される。しかし、ここでは詳細な議論は行わず、粒子の解に関して\(\rho(x)\)が正しい電荷密度を与え、全体として連続の式が満たされることの確認にとどめる。戻る

31. ただし、質量が0の場合は\(n=2\)でも十分であり、この場合はワイル方程式となる。戻る

32. スピノールの添え字を明示的に書くと、\(\gamma^\mu \psi(x)\)は\((\gamma^\mu)_a{}^b \psi_b(x)\)、\(D(\Lambda) \psi(x)\)は\(D_a{}^b \psi_b(x)\)と表される。ここで、スピノールの添え字にもアインシュタインの規約を採用した。戻る

33. \(D(\Lambda)\)と\(\Lambda^\mu{}_\nu\)は作用する対象が異なることに注意する。 スピノールの添え字を明示的に書くと、 \((D(\Lambda)^{-1})_a{}^b (\gamma^\mu)_b{}^c (D(\Lambda))_c{}^d = \Lambda^{\mu}_{\ \alpha} (\gamma^\alpha)_a{}^d\)である。 さらに、これを変形して\((\gamma^\mu)_a{}^d = D_a{}^b \Lambda^{\mu}_{\ \alpha} (\gamma^\alpha)_b{}^c (D^{-1})_c{}^d\)と書くと、\(\gamma\)行列の全ての添え字に対してローレンツ変換を施しても不変であることがわかる。つまり、\(\gamma\)行列がローレンツ変換に対して不変なテンソルであることが示される。戻る

34. \(\gamma^0\)はエルミート、\(\gamma^i\)は反エルミートであるため、\(\sigma^{\alpha \beta}\)は\((\alpha, \beta) = (0, i)\)で反エルミート、\((i, j)\)でエルミートになる。戻る

35. つまり、\(\sigma^{\alpha \beta}\)はパウリ行列を拡張したものに対応し、後述のように\(S^{\alpha \beta} = 1/2 \sigma^{\alpha \beta}\)の係数\(1/2\)はスピンが\(1/2\)であることと関係している。戻る

36. エネルギー固有状態ではない一般の状態では、時間発展に伴って負の振動数の解が混ざることに注意する必要がある。例えば、粒子が局在するように波束を考えると、その時間発展によって正の振動数の解と負の振動数の解が自然に混ざり合う。一方で、例えば水素原子のスペクトルを計算するときには、電子の波動関数のエネルギー固有状態に興味がある。この場合には正の振動数の解と負の振動数の解が混ざらず、負の振動数の解の存在を特に気にする必要はない。戻る

37. スピンのラベルが\(v_s\)で逆転しているのは、\(v_s\)が反粒子の波動関数の荷電共役変換に対応しており、場の理論において粒子と反粒子の生成・消滅演算子の作用が逆になるためである。 つまり、角運動量の観点から見ると、上向きのスピンを消滅させることは、下向きのスピンを生成することに対応する。 また、一般の運動量の固有状態において\(ik_\mu x^\mu \leftrightarrow - i k_\mu x^\mu\)のように運動量が反転するのも同じ理由による。戻る

38. \(\omega^{2}=m^{2}+k_{z}^{2}\)のとき左辺の行列式が0となるため、これらの代数方程式は非自明な解を持つ。戻る

39. ([sigma_ab])と([Lambda_munu])より、\[\begin{align} U^\dagger(\Lambda) = \exp \left( \frac{i}{4} \delta \omega_{0i} \sigma^{0i} - \frac{i}{4} \delta \omega_{ij} \sigma^{ij} \right) \tag{6.17}\end{align}\] が得られる。 ここで、\(\delta \omega_{0i}\)はローレンツブースト、\(\delta \omega_{ij}\)は空間回転を表す。また、\(u_{s}(\boldsymbol{k})\)と\(u_{s}(-\boldsymbol{k})\)は\(u_{s}(\boldsymbol{0})\)を逆方向にローレンツブーストしたものであるため、([ukvk])および([vkuk])がローレンツ不変であることがわかる。戻る

40. 場の理論の観点では、負の振動数の解は反粒子の荷電共役変換の波動関数であり、エネルギーの期待値を計算する際には場の演算子の交換が必要となる。その結果、フェルミオンの反可換性により負の符号が生じ、反粒子のエネルギーが正となるため、問題は生じない。戻る

41. 場の理論の観点からすると、ディラックの海の概念は不要であり、物理的に正しい描像ではない。しかし、そのアイデアは物性物理学における空孔理論に応用されている。戻る

42. 場の理論による計算では、真空偏極の大きさは無限大になることが知られている。しかし、実際に観測されるのは見かけの電荷のみであり、真空偏極が存在しない状態での電荷を直接測定することはできない。また、真空偏極単独の効果を観測することもできない。このため、無限大になるような量が相殺されることで、実際に観測される電荷は有限の値をとっていると考えられる。この処理をくりこみと呼ぶ。 さらに、見かけの電荷がエネルギースケールによって変化する様子を記述する方程式はくりこみ群方程式と呼ばれ、場の理論における最も重要な帰結の一つである。戻る

43. 実際にはより強い必要条件がいくつかあり、サハロフの3条件と呼ばれている。少なくともこの条件を満たすように素粒子理論を拡張しなければ、この宇宙に存在する物質の起源を説明することができない。戻る

44. クライン・ゴルドン方程式に従う波動関数に対する荷電共役変換の作用は、\(\phi \to \phi^*\)である。戻る

45. \(C\)の形から、特に波動関数\(\psi\)の上下2成分が入れ替わることに注意する。戻る

46. 分母の運動量演算子は、運動量の絶対値の逆数を与えるものとする。もしくは、\(\hat{\boldsymbol{p}}/\left\vert {\hat{\boldsymbol{p}}} \right\vert\)を運動量の方向を表す演算子とする。戻る

47. 群論の観点では、表現空間が既約分解されていることに対応する。戻る

48. ここでは記号の簡略化のため、\(k\)は運動量やスピンなど、すべての自由度の成分を含むものとする。戻る

49. \(2 k^0 \delta^3(\boldsymbol{k} - \boldsymbol{k}')\)の組み合わせはローレンツ不変である。戻る

50. ただし、一体系の波動関数に現れる因子\(e^{ik_\mu x^\mu}\)は複素数のままである。戻る

51. このように、エネルギーの負符号の問題は同種粒子を交換したときの統計性と密接に関係しているため、1粒子状態の波動関数だけを見ても解決できなかったのである。戻る

52. 相互作用のある系における“真空状態"は自由場の真空状態とは異なることに注意が必要であるが、ここでは詳しい説明を省略する。戻る

53. \(\tilde{\Delta}_\phi(q^2) = \frac{1}{q^2 + m_\phi^2 - i \epsilon}\)である。（詳細な説明は省略）戻る

54. これを用いることで、微分散乱断面積を以下のように求めることができる。（詳細な説明は省略）\[\begin{align} \frac{d \sigma}{d \Omega_\mathrm{ CM}} = \frac{1}{64\pi^2 s} \frac{\left\vert {k} \right\vert}{\left\vert {p} \right\vert}\left\vert {\mathcal{M}} \right\vert^2 \tag{15.19}\end{align}\] ここで、\(s = - (p+p')^2\)とする。戻る