物理学 › 原子核・素粒子物理 › 弱い相互作用とニュートリノ

質量ゼロの 2 粒子の位相空間積分

補題 2.5（「弱い相互作用とニュートリノ」§2）・ ✓公理まで証明済み

時間的な 4 元ベクトル $q$ に対し

\int\frac{d^3k}{2k^0}\frac{d^3k'}{2k'^0}\,\delta^4(q-k-k')\,k^\alpha k'^\beta=\frac{\pi}{24}\bigl(q^2g^{\alpha\beta}+2q^\alpha q^\beta\bigr)

である（ $k^2=k'^2=0$ ）。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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

ミューオンの崩壊率✓定理 2.3・弱い相互作用とニュートリノ

関連するノック 1 問

原子核・素粒子物理第 40 問