A priori bounds for the ${\Phi }^4$ equation in the full sub-critical regime

Abstract

We derive a priori bounds for the ${\Phi }^4$ equation in the full sub-critical regime using Hairer's theory of regularity structures. The equation is formally given by \begin{equation} \label{e}(\partial_t-Δ)ϕ= -ϕ^3 + \infty ϕ+ξ, \tag{$\star$} \end{equation} where the term $+\infty \varphi$ represents infinite terms that have to be removed in a renormalisation procedure. We emulate fractional dimensions $d<4$ by adjusting the regularity of the noise term $\xi$, choosing $\xi \in C^{-3+\delta }$. Our main result states that if $\varphi$ satisfies this equation on a space-time cylinder $P=(0,1)\times \{|x|\le 1\}$, then away from the boundary $\partial P$ the solution $\varphi$ can be bounded in terms of a finite number of explicit polynomial expressions in $\xi$, and this bound holds uniformly over all possible choices of boundary data for $\varphi$. The derivation of this bound makes full use of the super-linear damping effect of the non-linear term $-{\varphi }^3$. A key part of our analysis consists of an appropriate re-formulation of the theory of regularity structures in the specific context of \eqref{e}, which allows to couple the small scale control one obtains from this theory with a suitable large scale argument. Along the way we make several new observations and simplifications. Instead of a model $({\Pi }_x{)}_x$ and the family of translation operators $({\Gamma }_{x,y}{)}_{x,y}$ we work with just a single object $({\mathbb{X}}_{x,y})$ which acts on itself for translations, very much in the spirit of Gubinelli's theory of branched rough paths. Furthermore, we show that in the specific context of \eqref{e} the hierarchy of continuity conditions which constitute Hairer's definition of a \emph{modelled distribution} can be reduced to the single continuity condition on the "coefficient on the constant level".

arXiv comment64 pages

References in corpus (8)

• Renormalising SPDEs in regularity structures
• An analytic BPHZ theorem for regularity structures
• The dynamical sine-Gordon model
• Global solutions to elliptic and parabolic ${\Phi }^4$ models in Euclidean space
• Geometric stochastic heat equations
• The dynamical sine-Gordon model in the full subcritical regime
• Parabolic equations with rough coefficients and singular forcing
• Paracontrolled calculus and regularity structures

Cited by in corpus (5)

• Resonance based schemes for dispersive equations via decorated trees
• Algebraic deformation for (S)PDEs
• Flow equation approach to singular stochastic PDEs
• Variational methods for a singular SPDE yielding the universality of the magnetization ripple
• A simple construction of the dynamical ${\Phi }_3^4$ model