物理学 › 場の量子論 › Ward–高橋恒等式と Schwinger–Dyson 方程式

Källén–Lehmann 表示

定理 5.1(「Ward–高橋恒等式と Schwinger–Dyson 方程式」§5) ・ ✓公理まで証明済み

次を仮定します。(i) 正定値の Hilbert 空間に Poincaré 群のユニタリ表現 U(a,Λ)U(a,\Lambda) があり、不変な真空 ∣Ω⟩|\Omega\rangle がただ 1 つある。(ii) 運動量 P^μ\hat P^\mu のスペクトルは閉じた前方光錐 Vˉ+\bar V_+ に含まれ、∣Ω⟩|\Omega\rangle の直交補空間は、質量 mλ>0m_\lambda\gt0 の運動量固有状態 ∣λp⟩|\lambda_{\boldsymbol p}\rangle(λ\lambda は内部状態のラベル、和は連続な場合の積分も含む)で ∑λ∫d3p(2π)32Ep∣λp⟩⟨λp∣\sum_\lambda\int\frac{d^3p}{(2\pi)^32E_{\boldsymbol p}}|\lambda_{\boldsymbol p}\rangle\langle\lambda_{\boldsymbol p}| と分解される。(iii) ϕ^\hat\phi は Hermite なスカラー場で Uϕ^(x)U−1=ϕ^(Λx+a)U\hat\phi(x)U^{-1}=\hat\phi(\Lambda x+a)、⟨Ω∣ϕ^(x)∣Ω⟩=0\langle\Omega|\hat\phi(x)|\Omega\rangle=0。このとき

ρ(μ2)=∑λδ(μ2−mλ2) ∣⟨Ω∣ϕ^(0)∣λ0⟩∣2 ≥0\rho(\mu^2)=\sum_\lambda\delta(\mu^2-m_\lambda^2)\,\big|\langle\Omega|\hat\phi(0)|\lambda_{\boldsymbol 0}\rangle\big|^2\ \ge0

と置くと

⟨Ω∣ϕ^(x)ϕ^(y)∣Ω⟩=∫0∞dμ2 ρ(μ2) D(x−y;μ2),⟨Ω∣Tϕ^(x)ϕ^(y)∣Ω⟩=∫0∞dμ2 ρ(μ2) ΔF(x−y;μ2)\langle\Omega|\hat\phi(x)\hat\phi(y)|\Omega\rangle=\int_0^\infty d\mu^2\,\rho(\mu^2)\,D(x-y;\mu^2),\qquad \langle\Omega|T\hat\phi(x)\hat\phi(y)|\Omega\rangle=\int_0^\infty d\mu^2\,\rho(\mu^2)\,\Delta_F(x-y;\mu^2)

です。ここで D(z;μ2)=∫d3p(2π)32Epe−ip⋅zD(z;\mu^2)=\int\frac{d^3p}{(2\pi)^32E_{\boldsymbol p}}e^{-ip\cdot z}、ΔF(z;μ2)=∫d4p(2π)4ie−ip⋅zp2−μ2+iε\Delta_F(z;\mu^2)=\int\frac{d^4p}{(2\pi)^4}\frac{ie^{-ip\cdot z}}{p^2-\mu^2+i\varepsilon} は質量 μ\mu の自由場のもの(補題 6.3[ディラック場の量子化])です。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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