work in the scheme with dimension regularization
.
First every operator with fields of type
could be written as
.
Thus, generally the correction to the operator will be of the form.
.
The ultra-violet term should be canceled by the counter-term, in this way could be determined order by order as long as we know
.
Secondly, since and
is scale
independent. Thus .
Third, the correction to the propagator is denoted as , thus the full propagator is
. Once on shell, only the residual part will survive due to the LSZ reduction formula and give a contribution
.
The fermion self energy has the form
.
and its counter term
.
Therefore the contribution to is given by
.
Last, in effective theory in some cases the integrations involved will be scaleless, thus zero. Hence the operator with external legs of type
will have corrections (all infrared divergence):
.
This should reproduce the IR poles in the full theory.