2
$\begingroup$

I am following a QFT course using Peskin & Schroeder (1995): An introduction to Quantum field theory. We've started the functional methods. According to my professor, the vertex rule is the coefficient of the cubic and quartic terms in the Lagrangian density. And the propagator is the inverse of the quadratic terms. I cannot see that this is true. For example, for $\phi^4$ theory: $$ \mathcal{L} = \frac{1}{2}(\partial \phi)^2 - \frac{1}{2}m^2 \phi^2 - \frac{\lambda}{4!} \phi^4 \implies -\frac{2}{m^2 \phi^2} = \text{Propagator} = \frac{i}{p^2 - m^2 + i\epsilon} $$ I cannot see that this implication is true. If it is true, can you tell me the missing steps, if it is false, can you help rectify the misunderstanding?

$\endgroup$
2
$\begingroup$

Feynman rules by functional derivatives

It is not in general, it just coincides that way for polynomials of fields, without any derivatives or other complications. In truth, one takes functional derivatives until no field is left.

For example, schematically,

$$-i\frac{\delta^4}{\delta \phi^4} \frac{\lambda}{4!} \phi^4 \to -i\lambda$$

which is the entire reason for the factor of $4!$ - it is a convenient convention, but not a necessary coefficient and the physics remains the same without it. More complexly, we could have,

$$-i\frac{\delta^2}{\delta \phi^2} \frac{\delta}{\delta A_\mu}g\phi A^\nu \partial_\nu \phi \to -ig(p_1^\mu + p_2^\mu)$$

which describes a vector coupling to a scalar, where $p_1$ and $p_2$ would be momenta labelling two of the legs attached to the $A\phi\phi$ vertex.


Quadratic terms

The kinetic and mass term is,

$$\mathcal L = \frac12 (\partial \phi)^2 - \frac12 m^2 \phi^2.$$

In Fourier space, $\partial_\mu \phi \to ip_\mu \phi$ and so we have $(\partial \phi)^2$ must go as $p^2 \phi^2$. Interpreting the inverse in Fourier space as the multiplicative inverse, we then have that the propagator goes as,

$$\Delta \sim \frac{1}{p^2+m^2}.$$

Note that for the counterterm Lagrangian (for when you move on to renormalisation), the kinetic and mass counterterms are typically interpreted as interactions, and thus functional derivatives are taken, but no inversion is performed. However, this is a matter of choice, one could absorb coefficients into the propagator instead - they lead to the same physics.


Green's function

Note that a propagator - other than being the inverse of the quadratic terms - can also be interpreted as the Green's function of the equations of motion. This is a function which can be used to solve the equations, via,

$$\phi(x) = \int \mathrm dx' \, G(x,x') f(x')$$

where $(\square + m^2)\phi(x) = f(x)$. Conceptually, in the same way we can think of a function as being built of delta functions, we can think of a solution built up as Green's functions since,

$$(\square + m^2)G(x) \sim \delta^{(n)}(x).$$

$\endgroup$
  • $\begingroup$ Thank you for your reply. Can you explain the relevance to the question? My understaning is so poor that I dont understand. See that this does not equal the propagator, for example: $$\frac{\delta^2}{\delta \phi^2}(-\frac{1}{2} \phi^2m^2) = - \frac{m^2}{2} \neq \frac{p^2 - m^e + i \epsilon)}{i} = \text{Propagator}$$ $\endgroup$ – Mikkel Rev Nov 8 '17 at 19:35
  • $\begingroup$ Being very sloppy, if you read the first term $(\partial\phi)^2$ in the p-space as $p^2\phi^2$, the inverse of quadratic term is actually the free particle propagator. $\endgroup$ – Arnaldo Maccarone Nov 8 '17 at 20:08
  • 1
    $\begingroup$ @MariusJonsson See my updated answer. $\endgroup$ – JamalS Nov 9 '17 at 1:08
1
$\begingroup$

Being somewhat schematic, you can think of a quantum field theory as being a "free" (non-interacting) Lagrangian which has solutions that do not interact with each other, plus an interaction Lagrangian which tells the modes how to interact. The interaction terms in the Lagrangian create the vertex factors in Feynman rules, but the propagator is from the free, noninteracting theory.

The propagator is the Fourier transform of the Green's function for the free equations of motion; in your case, the equation of motion is the Klein-Gordon equation $$ \partial^2 \phi + m^2 \phi = 0.$$

The Green's function $G$ is the solution to $$ \partial^2 G + m^2 G = \delta^4(x).$$

If you Fourier transform the entire equation, you get $$ -p^2 \tilde G + m^2 \tilde G = 1,$$

where $\tilde G$ is the Fourier transform of $G$. If you solve this for $\tilde G$, you get something like your propagator. If my memory serves me, the factor $i$ is simply a convention for convenience. The $i\epsilon$ term is a bit more complicated; consider that to get the position-space Green's function, you have to integrate this $p$-space function over $d^4k$. This is usually performed as a complex contour integral, and the $i\epsilon$ factor controls which contour you are choosing.

I may edit when I have access to my notes to provide more specific comments, but this should give a rough overview of how the propagator results from the "quadratic" terms in the Lagrangian (the non-interacting ones, including the quadratic derivatives of the field).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.