Prerequisite
自由なDirac方程式の一般解を求めよう.
Dirac方程式の解はKlein–Gordon方程式も満たすので,スピノルの各成分について平面波解,
と置ける.
ここでFourier成分 はDiracスピノルであり,
註)Klein–Gordon波動函数の運動量(波数)を ,Dirac波動函数の運動量(波数)を と書きわけるのが慣例である.
場の量子論では の単位系をとるのが普通で運動量と波数は同じ量である.
は四元波数ベクトル,
であり分散関係
を満たす.
この がDirac方程式を満たすべきということから,
微分演算子は平面波にのみ作用して波数 を下ろしてくる.
よって各平面波ごとに,
が成り立つ.
この方程式を解くためにまず静止系 で考えよう.
静止系では となる.
波数空間におけるDirac方程式は,
という行列の固有値問題となる.
ただし は の単位行列.
すなわちスピノル は の固有値 に属する固有ベクトルであり, は固有値 に属する固有ベクトルである.
註)
ここでスピノルのことを固有「ベクトル」と呼んでいる.
スピノルとはDirac代数を満たすものであるが行列表示をとっているので,数学的には線型代数と同じ扱いができる.
ただしLorentz変換に対するふるまいはベクトルと異なることに注意せよ.
Weyl表現で具体的に成分を表せば固有ベクトルを選ぶことができる.
標準的には,
ととってくる.
の因子は規格化定数であとの都合で付けられている.
この取り方は実はスピン の表現になっていて,Dirac方程式の解は必ずスピン の粒子を表すことを示している.
これらから一般の に対する を得るためには速度 の系にLorentz変換すれば良い.
前節の結果からDiracスピノルのLorentz変換は生成子 によって
と生成される.
このうち をラピディティとするLorentz変換は によって生成されて
と書くことができる(問題参照).
ここで は波数(運動量)の単位方向ベクトル.
具体的にWeyl表現では
と表せる.
こうして自由なDirac方程式の一般解はこれら4つのスピノル のすべての波数 と の重ね合わせで表すことができて
はスピノルではない定数係数.
Dirac共役の一般解は
ここで .
が満たす直交関係やスピン平均の計算などは場の量子論の章で詳細に論じることにする.
この節ではすぐ後の議論に必要な部分だけを見るにとどめる.
まずDirac共役 については
ここでLoretzブーストの生成子のHermite共役 について
なので が成り立つ.
これから
となる( についても同様).
この結果はLorentz変換性がもとの量と逆になるようにDirac共役が定義されていることからも明らかである.
スピンの添字 に関する直交関係として
が成立する.
これらを示すには であることと,静止系における直交関係(そうなるように今は選んでいる)を適用すればすぐにわかる.
つまり任意の慣性系においてこれらの直交関係は保たれる.
Problem
四元運動量が の静止系から任意の運動量の系 へのLorentz変換のラピディティが で生成されることを示せ.
2つの系の間のLorentzブースト を
とおく.
ここで とおいた.
つまり
で与えられる( ).
他方で任意のLorentzブーストは
を用いて と書ける(特殊相対性理論の章の「Lorentz変換のLie代数」の節を参照せよ).
Taylor展開を計算して の偶数冪は ,奇数冪は となるので,
となる( , ).
以上の結果を比較すれば
がわかる.
よってとりも直さず である.