What is the sense of Green function ⟨|ˆT(u1(x1)...un(xn)ˆS)|⟩,ˆS=ˆTei∫ˆL(x)d4x? How is it connected with scattering processes?
Answer
The Green's function you have given arises as one step in the computation of elements of the S-matrix in the LSZ-formalism, if one considers the S-matrix in the interaction (or Dirac) picture.
Our goal is to compute scattering amplitudes of the form ⟨∏ipi,in|∏jqj,out⟩. In the course of the computation, we reduce this to the n-point function of the full Heisenberg fields ⟨Ω|ˆT∏kϕ(xk)|Ω⟩. Switching to the interaction picture, we relate the Heisenberg fields to the interaction field through the time evolution operator ˆU(t1,t2) fulfilling the relation i∂tˆU(t1,t2)=ˆHI(t1)ˆU(t1,t2) which is solved by the Dyson series
U(t,t0)=∑n(−i)n∫tt0dt1∫t1t0dt2…∫tn−1t0dtnˆHI(t1)…ˆHI(tn)=∑n(−i)nn!∫tt0dt1∫tt0dt2…∫tt0dtnˆT(ˆHI(t1)…ˆHI(tn))=ˆTe−i∫tt0HI(t′)dt′
This is essentially your ˆS, only that instead of the Lagrangian density we have the Hamiltonian density (I don't know a case where the Lagrangian appears from the top of my head).
In the interaction picture, one finds (after a tedious calculation) that
⟨Ω|∏kϕ(xk)|Ω⟩=lim
This way, the function you have given is (up to normalization) essentially an n-point function, which in turn is essentially a scattering amplitude.
The entire computation and reasoning can be found in any decent QFT book, I have only tried to motivate the appearence of this term. Please let me know if you want more detail on something (or if this wasn't helpful at all).
EDIT: You are right, the |p,\mathrm{out}\rangle states are fock states in the asymptotic Hilbert spaces. But, inverting the mode expression for the free field, one finds that
a_{in}(\vec{p}) = \frac{\mathrm{i}}{\sqrt{2E_q}}\int \mathrm{d}^3x \mathrm{e}^{iqx}\overset{\leftrightarrow}{\partial_0}\phi_{in}(x)
where x^0 is arbitrary (this is another tedious calculation) and f \overset{\leftrightarrow}{\partial_0} g := f(\partial_0 g) - (\partial_0 f)g . By this, you can write
\langle \Omega,\mathrm{in} | p,\mathrm{out}\rangle = \sqrt{2E_p}\langle \Omega,\mathrm{in} | a_in(p) | \Omega,\mathrm{out}\rangle = -\mathrm{i}\int\mathrm{d}^3 x\mathrm{e}^{ipx}\overset{\leftrightarrow}{\partial_0}\langle \Omega |\phi_{in}(x)|\Omega \rangle
. By repeatedly applying this, you can reduce the question of \langle \prod_i p_i, \mathrm{in} | \prod_j q_j,\mathrm{out}\rangle to the n-point functions.
No comments:
Post a Comment