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

対称積分と d 次元の γ 行列

補題 2.6(「QED の 1 ループ」§2) ・ ✓公理まで証明済み

ff を ℓ2\ell^2 だけの関数とすると、次元正則化された積分の中で ℓμ↦0\ell^\mu\mapsto0、ℓμℓν↦1dgμνℓ2\ell^\mu\ell^\nu\mapsto\frac1dg^{\mu\nu}\ell^2 と置き換えてよいです。また dd 次元で γνγν=d\gamma^\nu\gamma_\nu=d、γνγμγν=−(d−2)γμ\gamma^\nu\gamma^\mu\gamma_\nu=-(d-2)\gamma^\mu、γνa̸γμb̸γν=−2b̸γμa̸+(4−d)a̸γμb̸\gamma^\nu\not{a}\gamma^\mu\not{b}\gamma_\nu=-2\not{b}\gamma^\mu\not{a}+(4-d)\not{a}\gamma^\mu\not{b} が成り立ちます。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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

関連するノック 1 問