# Counterterms Feynman Rules Derivation

Does anyone have a link or a reference to somewhere where these rules are explicitly derived for phi-four theory?

I know Peskin/Schroeder talks about phi-fourth theory...I don't have my book in front of me but it might have something of interest (maybe you've already looked at this one).

The derivation of the Feynman rules for the counterterms goes through exactly like the derivation of the Feynman rules for regular interactions: the idea is that the counterterms are just new interactions. Srednicki has a pretty decent derivation of the Feynman rules for a ##\phi^3## interaction in a scalar field theory; you could try your hand at running the same derivation for the counterterms.

DarMM
Gold Member
The "derivation" of the counterterm rules just involves writing the bare constants as:
$$Z = 1 + \delta_Z$$
$$Zm_0^2 = m^2 + \delta_m$$
$$Z^2 \lambda_0 = \lambda + \delta_\lambda$$

This is just a rewriting of the action, but you have isolated the physical constants before
calculations. If you just place the above relations into the action, the action now has a different free/interacting split. See chapter 10 of Peskin and Schroeder for more details.

bhobba
Mentor
IMHO it's easiest to derive and see in the BPH formalism.

What you do is write the Lagrangian in two parts L1 and L2 and L = L1 + L2. L1 is simply the Lagrangian written with the variables, namely the EM and electron fields, the fine structure constant, and the electron mass, as the renormalised values for QED. For the phi 4 theory they are the values of that theory which I cant recall off hand but will give a link to. These are the values you actually measure. But that is not the actual Lagrangian which is in terms of the bare parameters which are divergent - some say they are not really measurable - not so sure about that - but rather they are cutoff dependent and you need to specify a cutoff to determine its value from what you do measure - the renormalised values. So L2 = L - L1 where L is the bare Lagrangian. The parameters of L2 are not specified but rather calculated so that what you are calculate from L is finite. You calculate exactly the same as usual but using L1 - it blows up with infinity - but you adjust the constants in L2 to cancel them so that what you get is finite.

For Phi 4 check out:
http://arxiv.org/pdf/1208.4700v1.pdf

For QED check out: