# Applying Schwinger-Dyson equations within the LSZ formula

My problem will be formulated in terms of $$\phi^3$$ theory, and I would appreciate answers within the framework of $$\phi^3$$ or another scalar field theory. This question is to help me understand what people mean by "contact terms can be ignored when calculating scattering amplitudes." I have often heard this in the context of deriving $$k_\mu\mathcal M^\mu=0$$ in the context of QED. There have been a healthy number of questions in that QED context about justifying that relation and whether contact terms vanish in the LSZ formula or instead survive but fail to contribute connected diagrams. I have constructed a toy example here that illustrates my personal confusion about contact terms.

The Lagrangian density is $$\mathcal L= -\frac{1}{2}Z_{\phi}\partial^{\mu}\phi\partial_{\mu}\phi -\frac{1}{2}Z_mm^2\phi^2+\frac{1}{6}Z_gg\phi^3+Y\phi$$

I want to look at the $$\phi \phi \rightarrow \phi\phi$$ scattering amplitude at the tree level of $$g^2$$. We find this amplitude by the LSZ formula:

$$\langle f| i\rangle = i^4\int dx_1 dx_2 dx_1' dx_2' e^{i(k_1x_1+k_2x_2-k_1'x_1'-k_2'x_2')}(-\partial^2_1+m^2)(-\partial^2_2+m^2)(-\partial^2_3+m^2)(-\partial^2_4+m^2)\langle0|T\phi(x_1)\phi(x_2)\phi(x_1')\phi(x_2')|0\rangle$$

Now, before rewriting that correlation function in terms of the free-vacuum and using Wick's theorem/writing the correlation function as functional derivatives of some generating function, let's instead first apply the Schwinger-Dyson equations.

First, note that for the Lagrangian above, the Schwinger-Dyson equations imply that for some correlation function with n fields, $$(-Z_\phi \partial_{x_1}^2+Z_m m^2-Y)i\langle0|T\phi(x_1)...\phi(x_n)|0\rangle = \frac{1}{2}g\langle0|T\phi(x_1)^2...\phi(x_n)|0\rangle+\sum_{j=2}^n\delta(x-x_j)\langle0|T\phi(x_2)...\phi(x_{j-1})\phi(x_{j+1})...\phi(x_n)|0\rangle.$$

The terms in the sum including delta-functions are typically called contact terms.

Now I imagine a small devil on my shoulder telling me that contact terms may be neglected as they fail to produce the right singularities. This appears to me to be the accepted answer here for example. Heeding his advice, I apply the Schwinger-Dyson equations four times, one for each differential operator in the LSZ formula. At tree-level, I'll take the $$Z$$ factors as 1 and $$Y$$ as 0.

$$\langle f| i\rangle = g^4\int dx_1 dx_2 dx_1' dx_2' e^{i(k_1x_1+k_2x_2-k_1'x_1'-k_2'x_2')}\frac{1}{16}\langle0|T\phi(x_1)^2\phi(x_2)^2\phi(x_1')^2\phi(x_2')^2|0\rangle + \text{graveyard of neglected contact terms}$$

The devil led me astray, since the scattering amplitude should go as $$g^2$$, not $$g^4$$! This now leads me at last to my question, in two parts:

1. What went wrong in the example above? Namely, was it that I could not neglect contact terms after all? Or was there another mistake which when rectified would allow me to drop all contact terms?

2. Could you show me how to get the correct tree-level $$g^2$$-proportional scattering using the Schwinger-Dyson equations at least once within the LSZ formula?

In fact, the contact terms in Schwinger-Dyson equation are essential because they are the only piece proportional to $$\hbar$$, which you omitted. You can iterate the Schwinger-Dyson equation twice to get the expected tree level result for the time-ordered correlator. This will be
$$$$g^2 \int d^4x d^4y \, D(x_1 - x) D(x_2 - x) D(x - y) D(y - x'_1) D(y - x'_2) + \text{permutations}$$$$ with $$D(x-y)$$ the Feynman propagator, $$$$D(x-y) = \int {d^4 k \over (2 \pi)^4} {i \over k^2 - m^2 + i \epsilon} e^{ik(x-y)}$$$$ which is a Green function for the Klein-Gordon equation: $$\Box D(x- y) = \delta(x-y)$$.
Applying LSZ to the above will only leave $$D(x-y)$$ untouched while the remainder are turned into delta functions, LSZ "cuts" the external legs. After the trivial $$x_1 \dots x_4$$ integrations, the $$x$$ and $$y$$ are also easy to do by expressing the Feynman propagator in the usual form. In the end LSZ gives $$$$- {g^2 \over s - m^2} \delta^4(k_1 + k_2 - k_1' - k_2') + (s \leftrightarrow t) + (s \leftrightarrow u).$$$$
So yes, not all contact terms give disconnected pieces to the S-matrix. I am aware that many books derive LSZ with the Klein-Gordon operator inside the correlator and then use this argument of contact terms to pull the "$$\Box$$" outside and write LSZ in the usual form. A proper rigorous non-perturbative proof is given in Weinberg's Quantum Theory of Fields, Vol. 1, Sec. 10.3.