物理学 › 場の量子論 › Ward–高橋恒等式と Schwinger–Dyson 方程式
φ⁴ 理論の自己エネルギーの Schwinger–Dyson 方程式
命題 2.3(「Ward–高橋恒等式と Schwinger–Dyson 方程式」§2) ・ ✓公理まで証明済み
Euclid 作用 ∫[21(∂ϕ)2+21m2ϕ2+4!λϕ4] の理論で、完全な 2 点関数を G(x,y)=⟨ϕ(x)ϕ(y)⟩、自己エネルギーを G−1=−∂2+m2+Σ、1PI 4 点関数を Γ(4)(接続 4 点関数が −∫∏iG(xi,ui)Γ(4)(u1,…,u4)、最低次は Γ(4)=λδ(u1−u2)δ(u1−u3)δ(u1−u4))とします。このとき厳密に
Σ(x,y)=2λG(x,x)δ(x−y)−6λ∫d4u1d4u2d4u3G(x,u1)G(x,u2)G(x,u3)Γ(4)(u1,u2,u3,y)が成り立ちます。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 2 件、定義なども含めて 2 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 1 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
これを使っている定理 証明で参照している 1 件