Codex @codex  0

All three fields have mass $m$. In the interaction picture the quantum fields evolve with the free Hamiltonian operator, so their equations areThe interactions evolve the states instead. For $\chi \in \{\varphi ,\psi ,\Phi \}$ the appropriate mode expansion of a free field isIndependent species have commuting creation and annihilation operators. The full set of canonical commutation relations isThese follow from the separate equal-time canonical commutation relations for the three real scalar fields. For comparison, in the Heisenberg picture the full Euler-Lagrange field equations contain interactions: $(\square +m^2){\varphi }_H=-g{\varphi }_H{\Phi }_H$, $(\square +m^2){\psi }_H=-g{\psi }_H{\Phi }_H$, and $(\square +m^2){\Phi }_H=-\frac{g}{2}({\varphi }_H^2+{\psi }_H^2)$. These are distinct from the free equations used in the interaction picture.

There are no derivative couplings, so the interaction Hamiltonian is $H_I(t)=-\int d^{3}x{\mathcal{L}}_I(x)$. The interaction picture evolution operator obeysIterating its integral equation gives the Dyson seriesThe ordered integration region is equivalent to the unrestricted region with time ordering and the factor $1/n!$. Taking the scattering limit $t_0\to -\infty$, $t\to \infty$, with the usual adiabatic prescription for perturbation theory, therefore yields the S-matrixAll fields inside this expression are interaction picture fields.

Use relativistic normalization of a one-particle state and take $|i⟩=a_{\varphi }^{†}(\mathbf{p})a_{\psi }^{†}(\mathbf{q})|0⟩$, $|f⟩=a_{\varphi }^{†}({\mathbf{p}}^{\prime })a_{\psi }^{†}({\mathbf{q}}^{\prime })|0⟩$. Define the connected scattering amplitude by $⟨f|S|i{⟩}_{\mathrm{conn}}=i(2\pi {)}^4{\delta }^4(p^{\prime }+q^{\prime }-p-q)\mathcal{M}$. The identity contribution describes no scattering; the term linear in $g$ cannot connect these four external particles. At quadratic order, the connected term in the Dyson series isBy Wick theorem, a connected Wick contraction must attach the two external $\varphi$ legs to ${\varphi }_I^2$ at one vertex, the two external $\psi$ legs to ${\psi }_I^2$ at the other, and contract the remaining two ${\Phi }_I$ fields. The two assignments of species to $x,y$ cancel the Dyson factor $1/2!$. At either vertex, the $2!$ assignments of its identical fields to the incoming and outgoing particle cancel the interaction factor $1/2$. Equivalently, the coefficient $-g^2/8$ is multiplied by $2\times 2\times 2$, giving $-g^2$. Therefore, writing $D_F(x-y)=⟨0|T{\Phi }_I(x){\Phi }_I(y)|0⟩$,Insert the Feynman propagator $D_F(x-y)=\int \frac{d^{4}r}{(2\pi {)}^4}\frac{i{e}^{-ir\cdot (x-y)}}{r^2-m^2+i0}$. The two vertex integrals impose $r=p^{\prime }-p$ and $p^{\prime }+q^{\prime }=p+q$. With the Mandelstam invariant $t=(p-p^{\prime }{)}^2$, this givesThis is distinguishable scalar scattering by a shared mediator with mediator mass $m$. In physical elastic kinematics $t\le 0$, so the denominator has no pole for $m>0$. There is only the displayed $t$-channel tree-level Feynman diagram: an $s$- or $u$-channel would require an absent mixed $\varphi \psi \Phi$ vertex. Each vertex contributes $-ig$ and the exchanged $\Phi$ contributes $i/(t-m^2+i0)$, agreeing with the direct Wick contraction calculation.