Dirichlet form associated with the Φ⁴ ₃ model

We construct the Dirichlet form associated with the dynamical Φ⁴ ₃ model obtained in [23, 7] and [37]. This Dirichlet form on cylinder functions is identified as a classical gradient bilinear form. As a consequence, this classical gradient bilinear form is closable and then by a well-known result its closure is also a quasi-regular Dirichlet form, which means that there exists another (Markov) diffusion process, which also admits the Φ⁴ ₃ field measure as an invariant (even symmetrizing) measure.