tecktom.com

Green 関数としての意味

2026年10月15日6分で読めますAI生成教科書『基礎理論』第2部 第4章 因果律と伝播関数

AI 生成・木下が未勉強

場の量子論入門 第2部 第4章 §2.4.5 ★★★ (□+m2)DF=−iδ4(\Box+m^2)D_F=-\mathrm{i}\delta^4。伝播関数が「源に対する応答」であること。

DFD_F は Klein–Gordon 演算子の Green 関数である:

(□x+m2) DF(x−y)=−i δ4(x−y).(2.4.6)(\Box_x+m^2)\,D_F(x-y)=-\mathrm{i}\,\delta^4(x-y).\tag{2.4.6}

運動量表示から示すのが最も速い。□xe−ip⋅(x−y)=−p2e−ip⋅(x−y)\Box_x\mathrm{e}^{-\mathrm{i} p\cdot(x-y)}=-p^2\mathrm{e}^{-\mathrm{i} p\cdot(x-y)} だから

(□x+m2)DF=∫ ⁣d4p(2π)4 i (−(p2−m2))p2−m2+iεe−ip⋅(x−y)→ ε→0 −i∫ ⁣d4p(2π)4 e−ip⋅(x−y)=−i δ4(x−y).(\Box_x+m^2)D_F=\int\!\frac{\mathrm{d}^4 p}{(2\pi)^4}\ \frac{\mathrm{i}\,(-(p^2-m^2))}{p^2-m^2+\mathrm{i}\varepsilon}\mathrm{e}^{-\mathrm{i} p\cdot(x-y)} \xrightarrow{\ \varepsilon\to0\ } -\mathrm{i}\int\!\frac{\mathrm{d}^4 p}{(2\pi)^4}\ \mathrm{e}^{-\mathrm{i} p\cdot(x-y)}=-\mathrm{i}\,\delta^4(x-y).

分母の iε\mathrm{i}\varepsilon が落ちて約分できるのは、δ4\delta^4 の係数を出すこの操作の範囲では極が問題にならないからである。

Green 関数という言葉の意味を確認しておく。源 J(x)J(x) がある場合のKlein–Gordon 方程式 (□+m2)ϕ=J(\Box+m^2)\phi=J の解はϕ(x)=i∫d4y DF(x−y)J(y)\phi(x)=\mathrm{i}\int\mathrm{d}^4y\ D_F(x-y)J(y) で与えられる。つまり DF(x−y)D_F(x-y) は「yy に置いた点源が xx に作る場」を表している。第3部で導入するFeynman ダイアグラムでは、内線1本がちょうど DFD_F 1個に対応する。2点間を粒子が「行き来する」という絵の数学的な中身がこの Green 関数である。

例題 4.1(位置空間で Green 関数の式を示す)

オリジナル式(2.4.4) を出発点に、θ\theta 関数の微分と正準交換関係だけを使って式(2.4.6) を導け。

解答

θ\theta 関数の微分は ∂x0θ(x0−y0)=δ(x0−y0)\partial_{x^0}\theta(x^0-y^0)=\delta(x^0-y^0) である。式(2.4.4) を x0x^0 で1回微分すると

∂x0DF=δ(x0−y0)⟨0∣[ϕ(x), ϕ(y)]∣0⟩+⟨0∣T ⁣{ϕ˙(x)ϕ(y)}∣0⟩.\partial_{x^0}D_F =\delta(x^0-y^0)\langle 0 | \left[\phi(x),\,\phi(y)\right] | 0 \rangle +\langle 0 | \mathrm{T}\!\left\{\dot\phi(x)\phi(y)\right\} | 0 \rangle .

第1項は、同時刻交換関係 [ϕ(x), ϕ(y)]=0\left[\phi(\bm{x}),\,\phi(\bm{y})\right]=0 によりゼロである。もう1回微分すると

∂x02DF=δ(x0−y0)⟨0∣[ϕ˙(x), ϕ(y)]∣0⟩+⟨0∣T ⁣{ϕ¨(x)ϕ(y)}∣0⟩.\partial_{x^0}^2D_F =\delta(x^0-y^0)\langle 0 | \left[\dot\phi(x),\,\phi(y)\right] | 0 \rangle +\langle 0 | \mathrm{T}\!\left\{\ddot\phi(x)\phi(y)\right\} | 0 \rangle .

第1項の交換子は、同時刻では ϕ˙=π\dot\phi=\pi だから[π(x), ϕ(y)]=−iδ3(x−y)\left[\pi(\bm{x}),\,\phi(\bm{y})\right]=-\mathrm{i}\delta^3(\bm{x}-\bm{y}) であり、δ(x0−y0)δ3(x−y)=δ4(x−y)\delta(x^0-y^0)\delta^3(\bm{x}-\bm{y})=\delta^4(x-y) とまとまって−iδ4(x−y)-\mathrm{i}\delta^4(x-y) になる。

空間微分は θ\theta 関数に作用しないので、−∇x2+m2-\nabla_x^2+m^2 の部分はそのまま時間順序積の中に入る。したがって

(□x+m2)DF(x−y)=−iδ4(x−y)+⟨0∣T ⁣{[(□+m2)ϕ(x)]ϕ(y)}∣0⟩.(\Box_x+m^2)D_F(x-y) =-\mathrm{i}\delta^4(x-y)+\langle 0 | \mathrm{T}\!\left\{\bigl[(\Box+m^2)\phi(x)\bigr]\phi(y)\right\} | 0 \rangle .

自由場の演算子は Klein–Gordon 方程式 (□+m2)ϕ=0(\Box+m^2)\phi=0 を満たす(例題 1.2)ので第2項は消え、式(2.4.6) を得る。δ4\delta^4 の係数 −i-\mathrm{i} の出どころが正準交換関係そのものであることが、この導出でははっきり見える。

例題 4.2(空間的分離での減衰)

オリジナル等時刻(x0=y0x^0=y^0)における D(x−y)D(x-y) を、角度積分を実行した形D=14π2r∫0∞dp psin⁡(pr)p2+m2D=\frac{1}{4\pi^2r}\int_0^\infty\mathrm{d} p\,\frac{p\sin(pr)}{\sqrt{p^2+m^2}} まで書き下し、r→∞r\to\infty での減衰の様子を論じよ(r=∣x−y∣r=|\bm{x}-\bm{y}|)。

解答

等時刻では D=∫d3p(2π)312Epeip⋅(x−y)D=\int\frac{\mathrm{d}^3 p}{(2\pi)^3}\frac{1}{2 E_{\bm{p}}}\mathrm{e}^{\mathrm{i}\bm{p}\cdot(\bm{x}-\bm{y})}。球座標を取り、p\bm{p} と x−y\bm{x}-\bm{y} のなす角を θ\theta としてd3p=p2dp d(cos⁡θ) dφ\mathrm{d}^3p=p^2\mathrm{d} p\,\mathrm{d}(\cos\theta)\,\mathrm{d}\varphi、∫−11d(cos⁡θ) eiprcos⁡θ=2sin⁡(pr)pr\int_{-1}^{1}\mathrm{d}(\cos\theta)\,\mathrm{e}^{\mathrm{i} pr\cos\theta}=\frac{2\sin(pr)}{pr} より

D=1(2π)3∫0∞ ⁣dp p2⋅12p2+m2⋅2π⋅2sin⁡(pr)pr=14π2r∫0∞ ⁣dp psin⁡(pr)p2+m2.D=\frac{1}{(2\pi)^3}\int_0^\infty\!\mathrm{d} p\ p^2\cdot\frac{1}{2\sqrt{p^2+m^2}}\cdot2\pi\cdot\frac{2\sin(pr)}{pr} =\frac{1}{4\pi^2r}\int_0^\infty\!\mathrm{d} p\ \frac{p\sin(pr)}{\sqrt{p^2+m^2}}.

減衰の速さは被積分関数の解析性で決まる。p2+m2\sqrt{p^2+m^2} はp=±imp=\pm\mathrm{i} m に分岐点を持つので、積分路を複素 pp 平面の上半面へずらすと分岐点からの寄与が e−mr\mathrm{e}^{-mr} の形で残る。すなわち r≫1/mr\gg1/m でD∼e−mrD\sim\mathrm{e}^{-mr} と指数関数的に減衰し、減衰長は Compton 波長 1/m1/m である。ゼロではないが、光円錐の外へ「漏れる」範囲は Compton 波長程度に限られる。そして交換子ではこの漏れが厳密に相殺するので、因果律は破れない。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『基礎理論』の記事一覧へ