物理学 › 場の量子論 › QED の 1 ループ

Gordon 恒等式

補題 6.1（「QED の 1 ループ」§6）・ ✓公理まで証明済み

$p^2=p'^2=m^2$ 、 $q=p'-p$ 、 $\sigma^{\mu\nu}=\frac i2[\gamma^\mu,\gamma^\nu]$ とすると

\bar u(p')\gamma^\mu u(p)=\bar u(p')\Big[\frac{(p'+p)^\mu}{2m}+\frac{i\sigma^{\mu\nu}q_\nu}{2m}\Big]u(p)

が成り立ちます。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

前提をたどる証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理証明で参照している 3 件

Z₁ = Z₂✓系 3.4・QED の 1 ループ
g 因子と形状因子✓命題 6.3・QED の 1 ループ
Schwinger の異常磁気モーメント✓定理 6.5・QED の 1 ループ

関連するノック 1 問

場の量子論第 60 問