A renormalization group proof of perturbative renormalizability

This paper presents a proof of bounds on the renormalized perturbation expansion of the euclidean ₄ ⁴ theory. Its aim is partly pedagogical: by combining the insights and techniques of numerous authors it is now possible to define the perturbation expansion and bound it in a very few pages. The present version is based on the renormalized tree expansion adapted to the continuous renormalization group: all detailed results are proved by induction on the size of the tree. The continuous RG version presented here has one big advantage over the discrete RG version discussed elsewhere. In the continuous version, a tree has a more restrictive structure: there is a one-to-one correspondence between forks of the tree and lines of Feynman graphs. This extra structure eliminates the need to introduce Feynman graphs in the first place. It also reduces the number of cases to be analyzed at a given inductive step and simplifies the combinatorical estimates.Research supported by the Natural Sciences and Engineering Research Council