物理学 › 場の量子論 › ディラック場の量子化

Dirac 場 = 同じ質量の 2 つの Majorana 場

定理 7.12(「ディラック場の量子化」§7) ・ ✓公理まで証明済み

ψ1,ψ2\psi_1,\psi_2 を同じ質量 mm をもつ 2 つの Majorana 場とし、それぞれのモードが {aj,pr,ak,qs†}=(2π)3δ3(p−q)δrsδjk\lbrace a^r_{j,\boldsymbol p},a^{s\dagger}_{k,\boldsymbol q}\rbrace=(2\pi)^3\delta^3(\boldsymbol p-\boldsymbol q)\delta^{rs}\delta_{jk}(j,k=1,2j,k=1,2)、他は 00 を満たすとします。

Ψ=ψ1+iψ22,a=a1+ia22,b=a1−ia22\Psi=\frac{\psi_1+i\psi_2}{\sqrt2},\qquad a=\frac{a_1+ia_2}{\sqrt2},\qquad b=\frac{a_1-ia_2}{\sqrt2}

とおくと、Ψ\Psi は 定義 4.1 のディラック場で、a,ba,b がそのモードです。さらに Ψc=(ψ1−iψ2)/2\Psi^c=(\psi_1-i\psi_2)/\sqrt2 で、

  1. ∑j=1,212ψˉj(iγμ∂μ−m)ψj=Ψˉ(iγμ∂μ−m)Ψ\sum_{j=1,2}\tfrac12\bar\psi_j(i\gamma^\mu\partial_\mu-m)\psi_j=\bar\Psi(i\gamma^\mu\partial_\mu-m)\Psi (全微分を除いて)。
  2. H=∫ ⁣∑sωp(a†a+b†b)=∑j∫ ⁣∑sωpaj†ajH=\int\!\sum_s\omega_{\boldsymbol p}(a^\dagger a+b^\dagger b)=\sum_{j}\int\!\sum_s\omega_{\boldsymbol p}a_j^\dagger a_j、Q=∫ ⁣∑s(a†a−b†b)=i∫ ⁣∑s(a1†a2−a2†a1)Q=\int\!\sum_s(a^\dagger a-b^\dagger b)=i\int\!\sum_s(a_1^\dagger a_2-a_2^\dagger a_1)。

逆に、ディラック場 Ψ\Psi から ψ1=(Ψ+Ψc)/2\psi_1=(\Psi+\Psi^c)/\sqrt2、ψ2=(Ψ−Ψc)/(i2)\psi_2=(\Psi-\Psi^c)/(i\sqrt2) が Majorana 場を与えます。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 3 件、定義なども含めて 4 件)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義(直接 2 件)

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理

証明で明示的に参照している定理は、まだありません。