Perturbative renormalization of ϕ44 theory on the half space R+×R3 with flow equations

In this paper, we give a rigorous proof of the renormalizability of the massive ϕ44 theory on a half-space using renormalization group flow equations. We find that five counterterms are needed to make the theory finite, namely, ϕ2, ϕ∂zϕ, ϕ∂z2ϕ, ϕΔxϕ, and ϕ4 for (z,x)∈R+×R3. The amputated correlation functions are distributions in position space. We consider a suitable class of test functions and prove inductive bounds for the correlation functions folded with these test functions. The bounds are uniform in the cutoff and, thus, directly lead to renormalizability.