Abstract
We provide a very simple argument showing that the \(\Phi ^4_3\) measure does have quartic exponential tails, as expected from its formal expression. This shows that the corresponding moment problem is well-posed and provides a simple path to observing non-Gaussianity of the measure.
Similar content being viewed by others
1 Introduction
It has been known since the groundbreaking work of Osterwalder and Schrader [30, 31] that, in some “nice” settings, the construction of a (bosonic) quantum field theory satisfying the Wightman axioms is equivalent to the construction of a probability measure on the space of distributions satisfying a number of natural properties. One of the pinnacles of that line of enquiry was the construction in the seventies of the \(\Phi _3^4\) measure [12,13,14, 18, 20], which corresponds to the simplest case of an interacting theory in three space-time dimensions.
Stated superficially, and in the variant derived from the results of the paper [9], the Osterwalder–Schrader axioms require that the Schwinger functions (or n-point correlation functions) corresponding to the measure satisfy a regularity assumption, invariance by certain Euclidean transformations, a symmetry axiom, reflection positivity and a clustering property. The last of these assumptions is not mentioned in [9] but is present in [30, 31] where it is used independently of the other axioms to obtain the corresponding assumption in Wightman’s axioms. (This is then used to derive uniqueness of the vacuum state of the associated quantum field theory.) Whilst the phase-cell expansion approach of Glimm and Jaffe [18] and subsequent applications of cluster expansion methods by [14, 26] was sufficient to verify all of the Osterwalder–Schrader axioms, the level of exposition was reasonably complex and thus attempts to simplify various components were born. Whilst for brevity we cannot point to all such works since the traditional CQFT approach is not the main focus of this paper, we point the reader to [2] for a clean construction via the so-called skeleton inequalities (which nonetheless turns out to be insufficient to verify rotation invariance).
In recent years, a new construction of the \(\Phi _3^4\) measure was given by a number of authors [16, 27], mainly relying on stochastic quantisation [32] (though we refer the reader also to [4] for a construction via Girsanov’s theorem and to [3] for an explicit variational formula). These “dynamical” constructions have the advantage of being able to leverage SPDE techniques to obtain very fine local properties for the resulting measure. It has furthermore been possible to verify all of the Osterwalder–Schrader axioms in the form of [9], except for rotation invariance and the clustering property (both of which are only relevant when considering the whole space). The goal of this work is to further leverage the techniques of stochastic quantisation and recent advancements in the field of singular SPDEs to obtain exponential integrability results for the \(\Phi _3^4\) measure.
At a heuristic level, the \(\Phi _3^4\) measure on the torus \({\mathbb {T}}^3\) is given up to normalisation by
for \(\Phi \in {\mathcal {S}}'({\mathbb {T}}^3)\). The above expression is purely a heuristic, both because the product measure appearing is not a well-defined object but also because once that measure is successfully interpreted one ends up in a situation where there is need for renormalisation. Nevertheless, this formal expression strongly suggests that, given any test function \(\psi \), there exists \(\beta > 0\) such that the function \(\Phi \mapsto \exp (\beta \langle \Phi ,\psi \rangle ^4)\) is integrable with respect to \(\mu \). The goal of this article is to prove precisely this result, which is expected to be optimal based on the formal expression for the measure.
Our proof strongly relies on slight modifications of the a priori bounds obtained in [28], but is otherwise very elementary. As proposed by Parisi and Wu [32], we interpret \(\mu \) as the invariant measure of the \(\Phi _3^4\) equation [21], which was shown to exist in [27] and is unique by [24, 25]. Formally, this equation is given by
on the torus
for \(t > 0\) where \(\Delta \) is the Laplacian on \({\mathbb {T}}^3\), \(\xi \) is a space-time white noise, and \(\Phi _0 \in C^\alpha \) for some \(\alpha > -\frac{2}{3}\) is the initial condition. It is known that for sufficiently small coupling constant, the invariant measure for (\(\Phi ^4_3\)) does indeed coincide with the \(\Phi ^4_3\) measure as previously constructed (see [23]). One advantage of the recent constructions however is that they do not rely on any smallness condition for the coupling constant.
Of course, one must correctly interpret the term \(\infty \Phi \) appearing in (\(\Phi ^4_3\)), which corresponds to the need for renormalisation for this equation to be well posed. Indeed, even the solution to the linear part of the equation in spatial dimension 3 is a Schwartz distribution rather than a function and hence the cubic term is not a priori well-defined. As was shown in [21] (see also [5] for an approach via the paracontrolled calculus of [17]), the correct interpretation of a solution to (\(\Phi ^4_3\)) is as the limit in probability as \(\delta \rightarrow 0\) of the solutions to the equations
where \(C_i^{(\delta )}\) are sequences of diverging constants and \(\xi _\delta \) is the mollification of \(\xi \) at scale \(\delta \). Whilst the choice of renormalisation constants depends on the choice of mollifier, the limiting object obtained in this way is independent of the choice of mollifier. We say that this limit is the solution to (\(\Phi ^4_3\)).
Here we have glossed over the small detail that there is in fact a one-parameter family of solutions obtained in this way, since perturbing the renormalisation constant by a fixed finite quantity does not affect the convergence result (this parameter is the coupling constant mentioned previously). Since our results apply equally to any element of this one-parameter family, we ignore this detail from here onwards, considering the choice of coupling to be fixed.
Since the initial development of a solution theory for (\(\Phi ^4_3\)), there have been a number of results establishing various properties for the solution and the associated semigroup. For example, it was established in [24] that the semigroup \({\mathcal {P}}_t\) associated to (\(\Phi ^4_3\)) has the strong Feller property. Combining that work with [29], one corollary of the results of [25] is that this semigroup is also exponentially ergodic. A key ingredient for this proof is a powerful a priori bound that establishes a “coming down from infinity” property for (\(\Phi ^4_3\)). This kind of bound was first established via paracontrolled techniques in [27] and later a much shorter argument that is in flavour based on the theory of regularity structures was given in [28, 29].
The main result of this paper is an exponential integrability result which is significantly stronger than that required by the Osterwalder–Schrader axioms and stronger than those previously available in the literature.
Theorem 1.1
Fix \(\kappa > 0\) sufficiently small and let \(\mu _M\) be the invariant measure for (\(\Phi ^4_3\)) constructed on \(C^{-\frac{1}{2} - \kappa }({\mathbb {T}}^3_M)\) where \({\mathbb {T}}^3_M\) denotes the torus of length M. Let \(\psi :{\mathbb {R}}^3 \rightarrow {\mathbb {R}}\) be a fixed smooth test function with compact support. For M sufficiently large, interpret \(\psi \) as a function on \({\mathbb {T}}^3_M\) in the natural way and define \(V_M: C^{-\frac{1}{2}-\kappa }({\mathbb {T}}^3_M) \rightarrow {\mathbb {R}}\) by
for \(\beta > 0\) sufficiently small. Then there is a constant C such that for all M sufficiently large
Both Gubinelli–Hofmanová [16] and Moinat–Weber [28] had previously obtained stretched exponential integrability for any exponent strictly less than 1 using SPDE techniques. Whilst this is sufficient to verify the regularity axiom in the form of [9], it is insufficient for the form stated in [19] for the purpose of simplifying the exposition there. Theorem 1.1 is sufficiently strong to prove that this stronger assumption is satisfied and appears to be the first result in the literature that yields better than Gaussian tails for the \(\Phi ^4_3\) measure. The best bounds obtained using phase cell expansion techniques appear to be slightly worse than Gaussian [26, Thm I.3]. See also [14, Lem. 1.3] for a proof of exponential integrability. In two dimensions however, bounds of the type given in Theorem 1.1 were previously obtained by Fröhlich in [15, Thm 4.8(5)].
Additionally, beyond being of interest in its own regard for providing what we expect to be optimal integrability for spatial averages of the \(\Phi _3^4\)-measure, Theorem 1.1 is also of interest since it provides sufficient conditions for the moment problem for the \(\Phi _3^4\)-measure to be well-posed and also provides a new and simple way to observe non-Gaussianity of this measure since a Gaussian measure would not satisfy such an integrability condition (though the latter result was already obtained in the SPDE literature via more involved means; see e.g. [16, Theorem 5.4]).
The key ingredient of our approach is interpreting the integrability statement as corresponding to finiteness of the measure \(\exp (V) d\mu \) (suppressing here the dependence on M). In the same way that one expects the \(\Phi _3^4\) measure to be invariant for (\(\Phi ^4_3\)), one expects \(\exp (V) d\mu \) to be invariant for a certain singular SPDE, which we later label (\(\Psi ^4_3\)). Hence, as is usual in the program of stochastic quantisation, we proceed to study this measure via the equation (\(\Psi ^4_3\)). Without any loss of generality, in what follows we will consider only the case where the test function \(\psi \) is such that \(\Vert \psi \Vert _\infty , \Vert D\psi \Vert _\infty \le 1\).
Finally, we observe that the ideas behind the proof of our main result are not restricted to the particular form of V contained there. In principle, our techniques should be adaptable to obtain exponential integrability of observables that don’t exhibit higher than 4th order behaviour and that do not introduce a requirement for additional renormalisation. As a particular instance of this, an appropriate application of the ideas outlined in Sect. 2 would also yield the following exponential integrability result for Sobolev type norms. We do not include a proof of this theorem since it requires only trivial adaptations of the proof of Theorem 1.1.
Theorem 1.2
Given \(\alpha > 0\) and \(\Phi \in C^{- \alpha }({\mathbb {T}}^3)\), we define its homogenous Sobolev norm by
, where \(K_{\alpha }\) is the convolution kernel associated to \(\Delta ^{- \alpha }\). For fixed \(\kappa > 0\), we then define \(W: C^{-\frac{1}{2}-\kappa } \rightarrow {\mathbb {R}}\) by
Then \(\exp (W) \in L^1(\mu )\) for \(\beta > 0\) sufficiently small.
Similarly to above, it is also possible to obtain a statement independent of the torus size (which is here fixed at 1), but this then requires restricting the integral of \(\langle \cdot ,\cdot \rangle \) to a bounded region.
Remark 1.3
We restrict our statement and exposition to the case of dimension \(d=3\), but the case \(d=2\) is simpler and the exact same argument works. Actually, one should even be able to treat the case \(d=4-\kappa \) in the sense of [8] but that would require some modifications to our argument.
Remark 1.4
Let us briefly remark on the link to the results obtained in [6] which suggest even stronger tail behaviour. Here, we consider the case \(d=2\) and recall that “the” \(\Phi ^4_2\) measure is really a two-parameter family \(\{\mu _{c,M}\}_{c \in {\mathbb {R}}, M \ge 1}\), where c denotes the “finite part” of the renormalisation constant and M denotes the finite volume cut-off. Write also \(\psi _L(x) = \psi (x/L)\) for \(L \ge 1\). Our result then shows that for any fixed L, one has \(\mu _{c,M}(\langle \Phi , \psi _L\rangle > K) \lesssim \exp (-C_L K^4)\), for some constant \(C_L>0\), uniformly over M and locally uniformly over c.
On the other hand, [6] suggests that, for c equal to its critical value \({{\bar{c}}}\), one has \(\mu _{{{\bar{c}}},M}(\langle \Phi , \psi _L\rangle > K) \lesssim \exp (-C L^{-2} K^{16})\), provided that \(M \gg L\) and L is sufficiently large as a function of K. (More precisely, one first fixes \(x = K L^{-1/8}\) and sends \(L \rightarrow \infty \), then considers x large.) For \(c \ne {{\bar{c}}}\) however one expects that, provided that \(\psi \) integrates to 0, one has \(\mu _{c,M}(\langle \Phi , \psi _L\rangle > K) \lesssim \exp (-C L^{-2} K^{2})\), again for \(M \gg L\) and L sufficiently large. There is of course no contradiction between these bounds since they apply to non-overlapping regimes.
1.1 Notation and Conventions
Throughout this article we fix the usual parabolic scaling of \({\mathbb {R}}^{4} = {\mathbb {R}}^{1+3}\) so that for a space-time point \(z = (t,x)\), \(\Vert z\Vert = |t|^{\frac{1}{2}} \vee |x|\) where \(|\cdot |\) is the \(\ell ^\infty \) norm. Additionally, we consider \({\mathbb {R}}^3\) as being equipped with its usual Euclidean scaling and as corresponding to the ‘spatial variables’ in \({\mathbb {R}}^4\).
The scale of regularity of functions in which we will be interested is that of (parabolic) Hölder spaces. For \(r > 0\), we let \(C^r = C^r({\mathbb {R}}^d)\) be the usual space of r-Hölder continuous functions. We remark that in the case \(r \in {\mathbb {N}}\), this space consists of \((r - 1)\)-times continuously differentiable functions whose \((r - 1)\)-th derivative is Lipschitz continuous rather than the smaller space of r-times continuously differentiable functions. Further, for \(r > 0\) we denote by \({\mathcal {B}}_0^r\) the set of \(C^r\) functions with support in the parabolic ball of radius 1 centered at 0 with \(C^r\) norm at most 1. Throughout the article, one should think of r as a sufficiently large fixed integer.
For \(\alpha < 0\), we let \(C^\alpha = C^\alpha ({\mathbb {R}}^4)\) be the space of Schwartz distributions \(\zeta \in {\mathcal {S}}'({\mathbb {R}}^4)\) that lie in the dual of the space of compactly supported \(C^r\) functions for \(r > - \lfloor \alpha \rfloor \) such that
where \(\varphi _z^\lambda (s,y) = \lambda ^{-5} \varphi (\lambda ^{-2}(s - t), \lambda ^{-1}(y-x))\) for \(z = (t,x)\). We adopt a similar definition for Hölder spaces of negative regularity over \({\mathbb {R}}^3\) in which we replace the parabolic scaling with the Euclidean one in the obvious manner.
We will fix the values \(\alpha = - \frac{1}{2} - \kappa , \alpha ' = {\alpha + \frac{\kappa }{2}}\) for \(\kappa \) as in Theorem 1.1. The important feature of this choice is that all results regarding existence of solutions or convergence of approximations will hold on both \(C^\alpha \) and \(C^{\alpha '}\), allowing us to at times exploit the compactness of the embedding
.
Finally, for convenience later, we introduce the notation
.
1.2 Article Structure
In Sect. 2, we gather the statements of results from later sections that are necessary to complete the proof of Theorem 1.1 weakened to allow the constant C appearing in the conclusion to depend on the size of the torus. In this same section we then complete said proof. The purpose of first proving this weaker result is to make clearer the key ideas behind our proof. In Sect. 3, we give the adaptations necessary to Sect. 2 to obtain Theorem 1.1. The subsequent sections then contain the technical details of adapting the required results in the literature to our desired setting. In particular, in Sect. 4 we introduce elements of the theory of regularity structures [21] and their inhomogeneous models, as introduced in [23]. In particular, we show that the equations (\(\Psi ^{4,n}_3\)) introduced in Sect. 2 have a solution theory in this framework that yields global in time solutions. In Sect. 6, we will further show that said solutions satisfy a certain a priori bound uniformly in n. Finally, in Sect. 5 we recall details of the discretisation of regularity structures as found in [23] (see also [10]). The main result of this section is the convergence of a family of spatially discrete approximations to the solution of (\(\Psi ^{4,n}_3\)).
2 Proof of Theorem 1.1 for Fixed Volume
In this section, we will suppress the dependency on the torus length M in our notations. The results obtained will apply for any fixed torus length but in this section we will not obtain a bound that is uniform in M.
As mentioned in the introduction, the main insight of our approach to the proof of Theorem 1.1 is to consider the measure \(\exp (V)d \mu \) for \(V(\Phi ) = \frac{\beta }{4} \langle \Phi , \psi \rangle ^4\). By analogy to the classical setting of a one-dimensional stochastic gradient flow, where identification of invariant measures is reduced to a simple calculation, if we were to ignore the effect of singularities involved then we would expect \(\exp (V)d \mu \) to be the invariant measure for the equation
where \(\langle \cdot , \psi \rangle \) refers to testing in space only.
It is not immediate from the constructions of [21] that this equation has a solution theory provided by the framework of regularity structures since the additional nonlinearity appearing is a non-local one. In Sect. 4, we show that this additional nonlinearity poses no serious trouble in building such a solution theory for (\(\Psi ^4_3\)) using the techniques of regularity structures. Our preferred approach in this section is that of inhomogeneous models as first presented in [23]. This approach is advantageous both because in the additional nonlinearity time plays a distinguished function-like role and because later we will want to discretise in space (but not time) again giving the time variable a distinguished role.
Combining Theorem 4.7 and Remarks 4.8, 4.9 yields global in time solutions to equation (\(\Psi ^4_3\)). Additionally, these solutions are given as limits in probability as \(\delta \rightarrow 0\) of the pathwise constructed solution to the random PDE
where \(C_i^\delta \) are renormalisation constants that diverge as \(\delta \rightarrow 0\) and \(\xi \) is the mollification of space-time white noise at scale \(\delta \).
This allows us to leverage the techniques used in [29] to prove a priori bounds on the solution to (\(\Psi ^4_3\)) that are uniform in the initial condition. If the identification of \(\exp (V) d\mu \) as an invariant measure for (\(\Psi ^4_3\)) were more than a heuristic, we could conclude the proof of Theorem 1.1 by considering the solution to the equation started from the invariant distribution. Unfortunately, this is not the case and as a result we will need a priori bounds in a more general setting than stated above; hence we defer the statement of such bounds until we are in this setting.
To overcome this issue, we proceed in two stages of approximation. First we truncate the additional nonlinearity appearing in equation (\(\Psi ^4_3\)). For \(n \in {\mathbb {N}}\), let \(F_n:{\mathbb {R}} \rightarrow {\mathbb {R}}\) be a smooth function such that
\(|F_n(x)| \in [\frac{1}{4} n^4, \frac{1}{4} n^4 +1]\) for \(|x| \in [n,n+1]\) and \(|F_n'(x)| \le n^3\) for all \(x \in {\mathbb {R}}\). We then consider the equations (indexed by \(n \in {\mathbb {N}}\))
with the same initial condition \(\Psi ^{(n)}(0, \cdot ) = \Psi _0(\cdot )\).
We additionally let \(F_\infty (x) = \frac{1}{4} x^4\) so that equation (\(\Psi ^4_3\)) corresponds to (\(\Psi ^{4,n}_3\)) in the case \(n = \infty \).
Equations (\(\Psi ^{4,n}_3\)) are again formulated in the framework of regularity structures in Sect. 4. In Sect. 6, we adapt the techniques of [29] to prove the following a priori bound which is now uniform in both the initial condition, choice of \(\psi \) and in n.
Theorem 2.1
Fix a function \(\psi \in {\mathcal {B}}_0^r\) and fix also \(\beta > 0\) to be sufficiently small. If \(\Psi ^{(n)}\) is the solution of (\(\Psi ^{4,n}_3\)) for this \(\psi \), then for all \(R \in (0,1)\) one has that
where \({\mathfrak {T}}\) is a collection of trees constructed from the driving noise. Both this collection of trees and the various norms appearing on the right hand side are defined in Sect. 6
In a next stage of approximation, in Sect. 5, for each n we discretise space to obtain a system of SDEs, labelled (\(\Psi ^{4,n}_{3,\varepsilon }\)), approximating (\(\Psi ^{4,n}_3\)). Simultaneously we consider the equivalent discrete approximations of (\(\Phi ^4_3\)) as considered in e.g. [16, 23]. The main result of this section is the convergence of the discrete approximations to the solution of the corresponding continuum equation as the grid scale is sent to 0.
The purpose of these two stages of approximation is as follows. Denoting the invariant measure of the discrete approximations to (\(\Psi ^{4,n}_3\)) at grid-scale \(\varepsilon \) by \(\nu _\varepsilon ^n\) and that of the discrete approximation to (\(\Phi ^4_3\)) by \(\mu _\varepsilon \) we have that
where \(\iota ^\varepsilon : {\mathbb {R}}^{{\mathbb {T}}_\varepsilon ^3}\rightarrow C^\alpha \) interprets a function on the discretised torus
as a distribution via piecewise constant extension by setting
where
. In particular, we can exploit the boundedness of this density to identify that \(d \nu ^n = {\mathcal {Z}}_n^{-1}\exp (\beta F_n(\langle \cdot , \psi \rangle )) d\mu \). This knowledge, combined with the a priori bounds of Sect. 6 allows us to conclude the proof of Theorem 1.1 for fixed volume.
The rest of this section will complete the details missing from the remarks in the above paragraph.
Theorem 2.2
The measures \(\iota _*^\varepsilon \mu _\varepsilon \) converge weakly on \(C^\alpha \) to \(\mu \) as \(\varepsilon \rightarrow 0\) along the dyadics. The same convergence holds for \(\iota _*^\varepsilon \nu _\varepsilon ^n \rightarrow \nu ^n\).
Proof
We begin with the case of \(\iota _*^\varepsilon \mu _\varepsilon \). From the results of [16], the family \(\iota _*^\varepsilon \mu _\varepsilon \) is tight (they apply their result to the measures on expanding tori, however their bounds are all uniform in the length of the torus considered). Hence, it suffices to show that \(\mu \) is the unique limit point of the sequence \(\iota _*^\varepsilon \mu _\varepsilon \). Then by [11, Chapter 4, Theorem 4.5] it suffices to show that if \({\tilde{\mu }}\) is a weak limit point of \(\iota _*^\varepsilon \mu _\varepsilon \) then \({\tilde{\mu }}(f) = \mu (f)\) for all bounded Lipschitz functions f on \(C^\alpha \) with Lipschitz constant at most 1 since this set of functions separates points in \(C^\alpha \).
Fix such a Lipschitz function f on \(C^\alpha \). We will show that \(\iota _*^\varepsilon \mu _\varepsilon (f) \rightarrow \mu (f)\) which is certainly sufficient for our goal.
By exploiting invariance, we begin with the simple bound
where \({\mathcal {P}}_t, {\mathcal {P}}_t^\varepsilon \) are the semigroups associated with (\(\Phi ^4_3\)) and (\(\Phi ^{4}_{3,\varepsilon }\)) respectively.
To control the first term in (2.2), we note that the proof of [25, Corollary 1.9] shows that \({\mathcal {P}}_t\) satisfies the hypotheses of Harris’ Theorem (see e.g. [22, Theorem 1.2]) and in particular, one even has that \(\Vert \mu - {\mathcal {P}}_t \iota _*^\varepsilon \mu _\varepsilon \Vert _{\text {TV}} \rightarrow 0\) at exponential rate as \(t \rightarrow \infty \).
Therefore for fixed \(\eta > 0\), we may fix t sufficiently large such that
uniformly in \(\varepsilon \).
We now turn to controlling the second term on the right hand side of (2.2) for this fixed value of t. We will prove bounds that would be strong enough to control this term in Wasserstein-1 distance. For this, we write
where \(\Phi _\phi (t), \Phi _{\mathfrak {p}_\varepsilon \phi }^\varepsilon (t)\) are the solutions to (\(\Phi ^4_3\)), (\(\Phi ^{4}_{3,\varepsilon }\)) started from \(\phi \) and \(\mathfrak {p}_\varepsilon \phi \) respectively and we have used the fact that
is a left inverse to \(\iota ^\varepsilon \) to identify the appropriate initial condition for the discrete dynamic.
By tightness of \(\{\iota _*^\varepsilon \mu _\varepsilon : \varepsilon = 2^{-n}, n \ge 1\}\) and boundedness of f, there exists a compact set \({\mathcal {K}}_\eta \) such that
It remains to consider the integral over \({\mathcal {K}}_\eta \). For this, the crucial remark is that it follows from Theorem 5.6 that \(\Vert \Phi _\phi (t) - \iota ^\varepsilon \Phi _{{\mathfrak {p}}_\varepsilon \phi }^\varepsilon (t)\Vert _{C^\alpha } \rightarrow 0\) as \(\varepsilon \rightarrow 0\) in probability uniformly over \(\phi \in {\mathcal {K}}_\eta \).
As a result, there exists an \(\varepsilon _0 \in (0,1)\) such that \( \varepsilon <\varepsilon _0\) implies that
Hence, since f is Lipschitz continuous with Lipschitz constant at most 1, for \(\varepsilon < \varepsilon _0\) one has the estimate
Combining these estimates, we see that
Substituting this bound, along with the bound on \(Q_1\) into (2.2) yields that for \(\varepsilon < \varepsilon _0\)
which completes the proof for \(\iota _*^\varepsilon \mu _\varepsilon \).
It remains to consider \(\iota _*^\varepsilon \nu _\varepsilon ^n\). The proof will be the same once we obtain tightness and the hypotheses of Harris’ theorem. For tightness (at fixed n), we first note that since (\(\Psi ^{4,n}_{3,\varepsilon }\)) is nothing but a system of SDEs, a simple calculation using the generator of this system shows that
where \({\mathcal {Z}}_{n, \varepsilon }\) is a normalising factor. Hence the desired tightness follows immediately from the fact that \(|F_n|\) is bounded and tightness of \(\{\iota _*^\varepsilon \mu _\varepsilon : \varepsilon = 2^{-n}, n \ge 1\}\).
It remains to verify the bounds of Harris’ theorem. Here we will only point out the adaptations needed to [25, Corollary 1.9]. The results in Sect. 6 give the required ‘coming down from infinity property’ so that all that remains is to see that \(\nu ^n\) has full support. This follows from full support of \(\mu \) [25, Theorem 1.8] via Girsanov transformation. Indeed, from the solution theory of Sect. 4, if \(\Psi \) is the solution of (\(\Psi ^{4,n}_3\)) then one can consider the function
. \(H_n\) is bounded, smooth in space and \(\eta \)-Hölder continuous in time for \(\eta > 0\) sufficiently small. The solution to (\(\Psi ^{4,n}_3\)) then coincides with the solution to the equation
In particular, if \(\xi \) is a \({\mathbb {P}}\)-space-time white noise then there exists an equivalent measure \({\mathbb {Q}}\) such that \(H_n + \xi \) is a space-time white noise [1]. As one would expect, the results of [24, Sections 4 and 5.1] then verify that if \(\Phi \) is the \({\mathbb {P}}\)-solution for (\(\Phi ^4_3\)) then under \({\mathbb {Q}}\), \(\Phi \) solves the above equation and hence also (\(\Psi ^{4,n}_3\)). Since \({\mathbb {P}}\) and \({\mathbb {Q}}\) are equivalent measures, this gives the desired result. \(\square \)
Remark 2.3
Whilst in the proof of Theorem 2.2, we control the first term on the right hand side of (2.2) in total variation distance and the second term in Wasserstein-1 distance, we do not conclude a stronger form of convergence than weak convergence since on \(C^\alpha \), neither of total variation convergence and Wasserstein-1 convergence implies the other.
Remark 2.4
One may hope to remove the dependence on the results of [16] in the proof of Theorem 2.2 by adapting the bounds of [29] to the discrete setting (uniformly in grid scale) and using the fact that these bounds are uniform in the initial condition to conclude tightness of the invariant measures. Unfortunately, in the proof of their boundary value free Schauder estimate, [29] rely on precise formulae for Taylor remainders that are not available in the discrete setting. This is almost certainly a purely technical barrier that could be overcome to make the argument given in this paper independent of the framework of paracontrolled calculus leveraged in [16].
Corollary 2.5
The measure \(\nu ^n\) has density \({\mathcal {Z}}_n^{-1} \exp (\beta F_n(\langle \cdot , \psi \rangle ))\) with respect to \(\mu \).
Proof
As noted in the previous proof,
and hence
By the weak convergence of \(\iota _*^\varepsilon \mu _\varepsilon \), \({\mathcal {Z}}_{n, \varepsilon } \rightarrow {\mathcal {Z}}_n\) as \(\varepsilon \rightarrow 0\). Therefore, by the same weak convergence, the integrals against \({\mathcal {Z}}_n^{-1} \exp (\beta F_n(\langle \cdot , \psi \rangle )) d \mu \) and \(d \nu ^n\) agree on continuous bounded functions and hence the two measures are equal. \(\square \)
Lemma 2.6
For \(\beta \) small enough, the family of measures \(\{\nu ^n: n \in {\mathbb {N}}\}\) is tight.
Proof
Since the bounds of Sect. 6 (see Theorem 6.2) are uniform in the initial condition and in n, for any \(\gamma > 0\) there is a K such that
where \(\Psi ^{(n)}\) is the solution to (\(\Psi ^{4,n}_3\)) started from \(\nu ^n\). Since \(\nu ^n\) is invariant for these dynamics, this is nothing but
where \({\mathcal {B}}_{\alpha '}(K)\) is the closed ball of radius K in \(C^{\alpha '}\). Since the embedding \(C^{\alpha '} \rightarrow C^\alpha \) is compact, this implies the desired result. \(\square \)
Whilst in this case it is possible to establish tightness of the family \(\nu ^n\), such a strong condition is not actually necessary to apply our techniques. The above proof has as a corollary the following result, which is enough for our purposes.
Corollary 2.7
There exists \(K > 0\) such that \(\inf _{n} \nu ^n({\mathcal {B}}_\alpha (K)) \ge \frac{1}{2}\).
Remark 2.8
Until Lemma 2.6, the results stated in this section could have been formulated uniformly in the size of the torus taken as the spatial domain. However, implicit in the proof of this Lemma is a dependency on the size of the torus since the constant K depends on the various norms of trees appearing in Theorem 2.1 which explode as the spatial domain is expanded to the whole of \({\mathbb {R}}^3\).
Proof of Theorem 1.1 for Fixed Volume
By Corollary 2.7, there exists \(K > 0\) such that by writing \({\mathcal {K}}= {\mathcal {B}}_\alpha (K)\), one has that \(\mu ({\mathcal {K}}) \ge \frac{1}{2}\) and
Since \(\langle \Phi , \psi \rangle \le \Vert \Phi \Vert _{C^\alpha }\),
on \({\mathcal {K}}\). Hence \(\frac{1}{2} \le {\mathcal {Z}}_n^{-1} C \mu ({\mathcal {K}}) \) and so
We have that \({\mathcal {Z}}_n = \int _{C^\alpha } \exp (\beta F_n(\langle \cdot , \psi \rangle )) d\mu \) and so the result follows by Fatou’s lemma. \(\square \)
3 Volume Independent Bounds
In this section, we give the necessary adaptations to the main techniques of this paper to obtain the result stated in Theorem 1.1 uniformly in the size of the torus. Since the ideas are almost the same as those given in Sect. 2, we mainly seek to highlight the points in the argument at which one must make adaptations to deal with the particular details in the statements of these results.
As was mentioned in Remark 2.8, the single point at which the argument of Sect. 2 is not uniform in the size of the torus is in the choice of constant K in the proof of Lemma 2.6. The necessity of enlarging K as the size of torus considered grows comes from the fact that the Hölder-type seminorms of the various trees in the statement of Theorem 6.2 grow with the size of the spatial domain.
Our strategy to overcome this issue is based on the observation that \(V(\Phi )\) depends on \(\Phi \) only via its behaviour on the support of \(\psi \). Hence we are able to adapt the proof of Lemma 2.6 to include a localisation in space and overcome the dependency on torus length.
Proof of Theorem 1.1
Throughout the proof we fix M sufficiently large such that \({\text {supp}} \psi \subseteq [-M,M]^3\) so that all functions can naturally be interpreted as functions on the torus \({\mathbb {T}}^3_M\).
We denote by \(\mu _M\) and \(\nu _M^n\) the invariant measures for the \(\Phi _3^4\) and \(\Psi _3^{4,n}\) equations on \({\mathbb {T}}^3_M\) respectively. Exactly as in the proof of Corollary 2.5, we obtain that
Let \({\mathcal {K}}_\psi \) denote the 1-fattening of the support of \(\psi \) and define the measures \({\tilde{\nu }}_M^n = {\mathcal {M}}_*\nu _M^n\) and \({\tilde{\mu }}_M = {\mathcal {M}}_* \nu _M\) to be the pushforward measures by the operator \({\mathcal {M}}\) which acts on a distribution via multiplication with \(1_{{\mathcal {K}}_\psi }\). From the above, we then have that
We observe that
so that it suffices to consider the latter integral.
This can now be achieved via the same ideas as in Sect. 2 provided we are careful to be explicit about the values of constants. Indeed, one has that
where \(\Psi _M^{(n)}\) is the solution of (\(\Psi ^{4,n}_3\)) and \(\gamma \in (0,1)\).
Theorem 6.4 then implies that one can choose \(\gamma \) sufficiently small (independently of n and M) such that for K sufficiently large one has that the latter quantity in (3.1) is greater than \(\frac{1}{2}\).
The remainder of the proof then follows as in the proof of Theorem 1.1 for a fixed volume given in Sect. 2, noting that the constant C appearing is at this point independent of M since the various seminorms of the trees appearing are localised to a domain that is chosen independently of M. \(\square \)
4 Regularity Structures and Inhomogeneous Models
In this section we recall the definition of a regularity structure and the framework of inhomogeneous models as developed in [23]. The significant difference to the setting of [21] is that in the case of inhomogeneous models, the time variable plays a distinguished role and many objects built in the theory are as a result genuine functions in time. This set-up is convenient for establishing a solution theory for (\(\Psi ^4_3\)) since the additional nonlinearity requires the ability to test the solution at a fixed time against some test function in space.
Definition 4.1
A tuple \({\mathscr {T}}= ({\mathcal {T}}, {\mathcal {G}})\) is a regularity structure if:
-
\({\mathcal {T}}\) is a graded vector space \({\mathcal {T}}= \bigoplus _{\alpha \in {\mathcal {A}}} {\mathcal {T}}_\alpha \), where each \({\mathcal {T}}_\alpha \) is a Banach space and \({\mathcal {A}}\subset {\mathbb {R}}\) is a locally finite set. \({\mathcal {T}}\) is called the model space of \({\mathscr {T}}\).
-
\({\mathcal {G}}\) is a group of linear transformations of \({\mathcal {T}}\), such that for every \(\Gamma ~\in ~{\mathcal {G}}\), every \(\alpha \in {\mathcal {A}}\) and every
one has
, with
. \({\mathcal {G}}\) is called the structure group of \({\mathscr {T}}\).
Remark 4.2
We have adopted the convention that elements of regularity structures are coloured blue. This will lend clarity since we will later use a graphical notion in two (similar) ways which will be distinguished by colour. The one exception to this colouring convention is that functions \(H: [0,T) \times {\mathbb {R}}^d \rightarrow {\mathcal {T}}\) won’t be coloured since it is always clear in which space they are valued.
In our setting, we will always work with regularity structures such that each \({\mathcal {T}}_\alpha \) is finite-dimensional and \({\mathcal {A}}\) is finite. In particular, there is no ambiguity in the choice of topology.
Assumption 4.3
Throughout this article, we assume that for a fixed \(r > 0\) all regularity structures \({\mathscr {T}}= ({\mathcal {T}}, {\mathcal {G}})\) contain the structure \({\mathscr {T}}_\text {poly}\) of polynomials of scaled degree at most r introduced in [23, Remark 2.2] in the sense that \({\mathcal {T}}_\text {poly}\subseteq {\mathcal {T}}\) and the restriction of the action of \({\mathcal {G}}\) to \({\mathcal {T}}_\text {poly}\) coincides with that of the group \({\mathcal {G}}_\text {poly}\simeq ({\mathbb {R}}^{d+1},+)\) via a group morphism \({\mathcal {G}}\rightarrow {\mathcal {G}}_\text {poly}\).
Thus far, the setting described corresponds to the setting of [21] up to the fact that we have insisted on truncating our structures at a fixed maximal homogeneity. However, in what immediately follows we depart from the original definitions used there and instead recall the notion of an inhomogeneous model as in [23, Definition 2.4].
Definition 4.4
For a regularity structure \({\mathscr {T}}= ({\mathcal {T}}, {\mathcal {G}})\), an inhomogeneous model is a tuple \(((\Pi _x^t)_{(t,x) \in {\mathbb {R}}^{1+d}}, (\Gamma ^t)_{t \in {\mathbb {R}}}, (\Sigma _x)_{x \in {\mathbb {R}}^d})\) where
-
For \(t \in {\mathbb {R}}\), \(\Gamma ^t : {\mathbb {R}}^{d} \times {\mathbb {R}}^{d} \rightarrow {\mathcal {G}}\), satisfies the algebraic relations
$$\begin{aligned} \Gamma ^t_{x x}=1\;, \qquad \Gamma ^t_{x y} \Gamma ^t_{y z} = \Gamma ^t_{x z}\;, \end{aligned}$$(4.1)for any \(x, y, z \in {\mathbb {R}}^{d}\).
-
For \(x \in {\mathbb {R}}^d\), \(\Sigma _x : {\mathbb {R}} \times {\mathbb {R}} \rightarrow {\mathcal {G}}\) satisfies the algebraic relations
$$\begin{aligned} \Sigma ^{t t}_{x}=1\;, \qquad \Sigma ^{s r}_{x} \Sigma ^{r t}_{x} = \Sigma ^{s t}_{x}\;, \qquad \Sigma ^{s t}_{x} \Gamma ^{t}_{x y} = \Gamma ^{s}_{x y} \Sigma ^{s t}_{y}\;, \end{aligned}$$(4.2)for any \(s,r,t \in {\mathbb {R}}\) and \(y \in {\mathbb {R}}^d\).
-
For any \((t,x) \in {\mathbb {R}}^{1+d}\), \(\Pi ^t_x: {\mathcal {T}}\rightarrow {\mathcal {S}}'({\mathbb {R}}^{d})\) satisfies the algebraic relation
$$\begin{aligned} \Pi ^t_{y} = \Pi ^t_x \Gamma ^t_{x y} \end{aligned}$$(4.3)for all \(y \in {\mathbb {R}}^{d}\).
Additionally, we impose that the actions of \(\Gamma ^t_{xy}\) and \(\Sigma _x^{st}\) on \({\mathcal {T}}_\text {poly}\) are given by translation by \((0,y-x)\) and \((t-s,0)\) respectively, and that the maps \(\Pi \) on \({\mathcal {T}}_\text {poly}\subseteq {\mathcal {T}}\) are given by
for \(k_0 > 0\). Finally, for any \(\gamma > 0\) and every \(T > 0\), we assume that there is a constant C for which the analytic bounds
hold uniformly over all
, with \(l \in {\mathcal {A}}\) and \(l < \gamma \), all \(m \in {\mathcal {A}}\) such that \(m < l\), all \(\lambda \in (0,1]\), all \(\varphi \in {\mathcal {B}}^r_0({\mathbb {R}}^d)\) with \(r > -\lfloor \min {\mathcal {A}}\rfloor \), and all \(t, s \in [-T, T]\) and \(x, y \in {\mathbb {R}}^d\) such that \(|t - s| \le 1\) and \(|x-y| \le 1\).
If additionally, for \(\eta > 0\) the bound
holds for all
and the other parameters as before then we say that \(\Pi \) has time regularity \(\gamma > 0\).
As is usual, the collection of maps \((\Pi , \Sigma , \Gamma )\) as above that satisfy the analytic constraints but not necessarily the algebraic constraints is a linear space. For any fixed \(T > 0\), this space comes equipped with a norm
where \(Z = (\Pi , \Gamma , \Sigma )\) and \(\Vert \Pi \Vert _{\gamma ; T}, \Vert \Gamma \Vert _{\gamma ; T}\) and \(\Vert \Sigma \Vert _{\gamma ; T}\) are the smallest constants C such that the analytic bounds in (4.4a) and (4.4b) hold for the relevant object.
In particular, despite not being a linear subspace of this larger space, the space of inhomogeneous models inherits a “distance” that is given for a pair of models \(Z, {\bar{Z}}\) by
Additionally, if \(\Pi \) has time regularity \(\eta > 0\) then we can account for this by defining
where \(C'\) is the smallest constant such that the bound (4.5) holds. We then define \(\vert \!\vert \!\vert Z \vert \!\vert \!\vert _{\eta , \gamma ; T}\) and \(\vert \!\vert \!\vert Z, {\bar{Z}}\vert \!\vert \!\vert _{\eta , \gamma ; T}\) analogously to the definitions above, replacing all instances of \(\Vert \Pi \Vert _{\gamma ;T}\) with \(\Vert \Pi \Vert _{\eta , \gamma ; T}\).
4.1 Inhomogeneous Modelled Distributions
In the following definition, we consider a fixed regularity structure \({\mathscr {T}}= ({\mathcal {T}}, {\mathcal {G}})\) with inhomogeneous model \(Z=(\Pi , \Gamma , \Sigma )\), parameters \(\gamma , \eta \in {\mathbb {R}}\), a time \(T > 0\), and \(H : (0, T] \times {\mathbb {R}}^{d} \rightarrow {\mathcal {T}}_{<\gamma }\). We define the quantity
where \(l \in {\mathcal {A}}\) in the third supremum and
. This quantity is a partial analogue of the homogeneous \({\mathcal {D}}^{\gamma , \eta }\) norm introduced in [21]. However it does not account for any of the behaviour of H in time and as a result, the restriction in the second supremum that
appearing in the homogeneous case has been removed. This turns out to be important for obtaining the relevant Schauder estimates; see [23, Theorem 2.21].
We then define the inhomogeneous \({\mathcal {D}}_T^{\gamma , \eta }\) norm as
Definition 4.5
We define \({\mathcal {D}}_T^{\gamma , \eta }(Z)\) to be the space of functions \(H: (0,T] \times {\mathbb {R}}^d \rightarrow {\mathcal {T}}_{<\gamma }\) such that \(\vert \!\vert \!\vert H \vert \!\vert \!\vert _{\gamma , \eta ; T} < \infty \).
Remark 4.6
Inhomogeneous analogues of the usual Reconstruction Theorem and Schauder estimates hold true in this setting; see [23, Theorems 2.11 and 2.21]. Formulating a suitable fixed point result requires a little more care than in the homogeneous case, but this is also obtained in [23]. The subject of the next subsection is a formulation of their construction specific to our setting.
Given a second model \({\bar{Z}} = ({\bar{\Pi }}, {\bar{\Gamma }}, {\bar{\Sigma }})\) for \({\mathscr {T}}\), we define the distance \(\vert \!\vert \!\vert H; {\bar{H}}\vert \!\vert \!\vert _{\gamma , \eta ; T}\) between \(H \in {\mathcal {D}}_T^{\gamma , \eta }(Z)\) and \({\bar{H}} \in {\mathcal {D}}_T^{\gamma , \eta }({\bar{Z}})\) by setting
4.2 A Truncated Regularity Structure for (\(\Phi ^4_3\))
It was shown in [21, Section 8.1] that given a locally subcritical equation with nonlinearity of the form \(F(u, \nabla u, \xi )\), one can construct a regularity structure \({\mathscr {T}}= ({\mathcal {T}}, {\mathcal {G}})\) and an associated space of modelled distributions such that the given equation can be formulated as a fixed point problem is that space.
The equation (\(\Psi ^{4,n}_3\)) does not quite fit immediately into that framework since its nonlinearity contains the non-local term \(\beta \langle \Psi ^{(n)}, \psi \rangle ^3 \psi \). Instead, we consider the regularity structure \({\mathscr {T}}\) constructed in [21] for (\(\Phi ^4_3\)) and suitably interpret the non-local term of (\(\Psi ^{4,n}_3\)) in this regularity structure, allowing us to work with that fixed regularity structure for both equations.
We don’t recall here the full details of the construction of [21]. Instead, we mention only that the construction includes the recursive construction of sets of symbols \({\mathcal {F}}, {\mathcal {U}}\) that one would expect to need to formulate the fixed point argument for (\(\Phi ^4_3\)).
The set \({\mathcal {F}}\) contains the symbols required to describe terms appearing on the right hand side of equation (\(\Phi ^4_3\)). In particular, \({\mathcal {F}}\) is a subset of the set of symbols generated from
under the operations
and
and the assumptions that the multiplication is commutative with identity element
and that
for each \(k \in {\mathbb {N}}^3\). In the case of (\(\Phi ^4_3\)), the first few symbols of \({\mathcal {F}}\) are
Here we have adopted the usual graphical notation of defining
and then defining the remaining rooted trees recursively, where abstract integration is represented by drawing an edge downward from the root and multiplication is represented by concatenation of trees at the root.
Meanwhile, \({\mathcal {U}}\) contains the symbols required to describe the solution of equation (\(\Phi ^4_3\)). Concretely, we have that
. In the case of (\(\Phi ^4_3\)), we have that \({\mathcal {U}} \subseteq {\mathcal {F}}\). The regularity structure \({\mathscr {T}}\) then has model space \({\mathcal {T}}= \mathop {\text {span}}{\mathcal {F}}\) equipped with the grading \(|\cdot |\) defined by
where \(\kappa > 0\) is chosen sufficiently small. At this point, the construction given in [21, Section 8.1] yields a structure group \({\mathcal {G}}\) acting on \({\mathcal {T}}\) with the desired properties. We will not give details of the construction here but rather will recall the key properties as we need them.
Since we aim to formulate our equations as fixed point problems in a \({\mathcal {D}}_T^{\gamma , \eta }\) space, we will not need the symbols beyond a suitably large homogeneity. Hence, for the rest of the paper we will work in the ambient regularity structure \({\mathscr {T}}_r\) with model space \({\mathcal {T}}_{<r}\) and structure group given by the restriction of \({\mathcal {G}}\) to this space. It turns out that for our purposes, it will suffice to take \(r = 2+\kappa \) where we will choose \(\kappa \) sufficiently small so that \({\mathcal {T}}_{<r}\) contains only symbols of homogeneity at most 2.
As is the case in [23], we cannot define a suitable inhomogeneous model on the entirety of the regularity structure \({\mathscr {T}}_r\) since a typical choice of lift for space-time white noise will not be a function in time. To circumvent this problem, [23] perform a truncation which removes the problematic symbols. For the general definition of truncations they are able to accommodate, see [23, Definition 3.4]. Here, we will only introduce the truncated structure that we require for our problem.
We define the sets
where
. From these sets, we define the generating regularity structure \({\mathscr {T}}^{gen}\) and the truncated regularity structure \({\hat{{\mathscr {T}}}}\) by setting
each with structure group given by the corresponding restriction of \({\mathcal {G}}\). We note that \({\mathcal {G}}\) leaves both model spaces invariant so that this definition makes sense.
The key feature of this truncation is that the truncated structure still contains the symbols necessary to formulate a suitable version of the fixed point problem for the equation at hand, is small enough so that it admits suitable models \(Z = (\Pi , \Gamma , \Sigma )\) and the structure group \({\mathcal {G}}\) leaves the truncated structure invariant, so that \((\Gamma , \Sigma )\) naturally extend to \({\mathcal {T}}_{<r}\). In particular, this last point means that given a model Z for the truncated structure and \(f:{\mathbb {R}}^d \rightarrow {\mathcal {T}}_{< \gamma }\), one can still make sense of the statement \(f \in {\mathcal {D}}_T^{\gamma ,\eta }(Z)\) since the relevant norms only depend directly on the action of \((\Gamma , \Sigma )\).
4.3 The (\(\Psi ^4_3\)) Equation
To complete this section we formulate (\(\Psi ^{4,n}_3\)) in the setting described earlier in this section. We remark that the equivalent program for (\(\Phi ^4_3\)) was already completed in [23]. The modifications for (\(\Psi ^{4,n}_3\)) are only minor, but since the nonlinearity is non-local we will briefly outline what needs to be done to accommodate it.
Defining the maps
the abstract analogue of (\(\Phi ^4_3\)) is given as in [23] by the fixed point problem
where
is the usual lift of the action of the heat kernel and \(S\Phi _0\) denotes the lift of the solution of the heat equation with initial condition \(\Phi _0\) to the polynomial part of the regularity structure. We refer the reader to equations (2.29), (3.2) and Theorem 2.11 of [23] for more details on the definitions of the operators appearing on the right-hand side of this equation. Formulating the fixed point problem in this way is advantageous since \({\hat{F}}\) has the property that if \({\mathcal {T}}_{\mathcal {U}}= \mathop {\text {span}}{\mathcal {U}}\) then \({\hat{F}}({\mathcal {T}}_{\mathcal {U}}\cap {\hat{{\mathcal {T}}}}) \subseteq {\hat{{\mathcal {T}}}}\).
In order to formulate the corresponding analogue of (\(\Psi ^{4,n}_3\)), we introduce for \(n \in \bar{{\mathbb {N}}}\) the maps \(G_n: {\mathcal {D}}_T^{\gamma , \eta } \rightarrow {\mathcal {D}}_T^{\gamma , \eta }\) given by
where \({\mathcal {R}}_t\) is the reconstruction operator at time t – see [23, Thm 2.11]. Here we begin to reap the benefits of working in the inhomogeneous setting since \( \langle {\mathcal {R}}_t U, \psi \rangle \) is automatically well defined even though the testing is only in space; this would not be automatic in the setting of [21].
We then define the abstract analogue of (\(\Psi ^{4,n}_3\)) (\(n \in \bar{{\mathbb {N}}}\)) to be
In this setting, one has the following analogue of [23, Thm 3.10].
Theorem 4.7
Let \(\gamma = 1+\kappa \) and \(\eta \le \alpha \). Then for any model Z with time regularity \(\eta > 0\) on \({\hat{{\mathscr {T}}}}\) and for every periodic \(\Phi _0 \in {\mathcal {C}}^\eta ({\mathbb {R}}^d)\), there exists a time \(T_* \in (0,\infty ]\) such that for every \(T < T_*\) the equations (4.9), (4.10) admit a unique periodic solution \(U \in {\mathcal {D}}_T^{\gamma , \eta }(Z)\) for all \(n \in \bar{{\mathbb {N}}}\). Furthermore, if \(T_* < \infty \) then either
or there is an \(n \in \bar{{\mathbb {N}}}\) such that
where \(S_T^\Phi , S_T^{\Psi _n}: (\Phi _0, Z) \mapsto U\) are the solution maps for (4.9) and (4.10) respectively.
Additionally, for every \(T < T_*\), the solution maps \(S_T^\Phi , S_T^{\Psi _n}\) are jointly Lipschitz continuous in a neighbourhood around \((\Phi _0, Z)\) in the sense that, for any \(B > 0\) there is \(C > 0\) such that, if \({\bar{U}} = {\mathcal {S}}_T^\Phi ({\bar{\Phi }}_0, {\bar{Z}})\) for some initial data \(({\bar{\Phi }}_0, {\bar{Z}})\) where \({\bar{Z}}\) has time regularity \(\eta > 0\), then one has the bound \(\vert \!\vert \!\vert U; {\bar{U}} \vert \!\vert \!\vert _{\gamma , \eta ; T} \le C \eta \), provided \(\Vert \Phi _0 - {\bar{\Phi }}_0 \Vert _{{\mathcal {C}}^{\eta }} + \vert \!\vert \!\vert Z; {\bar{Z}} \vert \!\vert \!\vert _{\gamma ; T} \le \eta \), for any \(\eta \in (0,B]\) and similarly for \(S_T^{\Psi _n}\).
Proof
The result for the case of (\(\Phi ^4_3\)) follows almost exactly as in the fixed point argument of [21] (see Theorem 7.8 and Proposition 7.11 there) and is the content of [23, Thm 3.10]. Since we have a direct interpretation of the additional nonlinearity of (\(\Psi ^{4,n}_3\)) in the polynomial part of our regularity structure, the result for that equation will follow from the same techniques with no difficulties as soon as we verify that for every \(R > 0\) there exists C such that for every \(H, {\bar{H}}\) such that \(\vert \!\vert \!\vert H \vert \!\vert \!\vert _{\eta , \gamma ; T} + \vert \!\vert \!\vert {\bar{H}} \vert \!\vert \!\vert _{\eta , \gamma ; T} \le R\), \(G_n\) satisfies
for all \(n \in \bar{{\mathbb {N}}}\) and \(H, {\bar{H}}\) for some \(0 < {\bar{\gamma }} \ll \eta \). Since \(\psi \in {\mathcal {B}}_0^r\), this is immediate from the regularity of the reconstruction operator provided by the bound (2.13) of [23, Thm 2.11], combined with smoothness of \(F_n'\) and \(x \mapsto x^3\). \(\square \)
Remark 4.8
If the model Z in the preceding theorem is the canonical lift of a smooth driving noise as in [21, Sec. 8.2] then the reconstruction operator is given by
In this case, the reconstruction of the abstract solutions found above coincides with the classical solutions of (\(\Phi ^4_3\)), (\(\Psi ^4_3\)) with smooth driving noise and no renormalisation.
Additionally, if we define the renormalisation map M as in [21, Sec. 9.2] with constants \(C_1\) and \(C_2\) and build a renormalised smooth model \(Z^M\) as in [21, Sec. 8.3], then
and
solve the following equations with smooth driving noise (cf. [21, Prop. 9.10])
Finally, if \(\xi _\varepsilon = \varrho _\varepsilon *\xi \) where \(\varrho _\varepsilon \) is a mollifier at scale \(\varepsilon \), then there is a choice of diverging constants \(C_1^\varepsilon , C_2^\varepsilon \) such that the solutions to the above equations converge in probability as \(\varepsilon \rightarrow 0\) (cf. [7]). We define the solution of (\(\Phi ^4_3\)), (\(\Psi ^{4,n}_3\)) to be these limits which are independent of the choice of mollifier.
Remark 4.9
It is known that (\(\Phi ^4_3\)) has a ‘coming down from infinity’ property that precludes the blow-up of \({\mathcal {C}}^\alpha \) norms of solutions (cf. [29]). Section 6 adapts the techniques of [29] to show the corresponding result for (\(\Psi ^{4,n}_3\)). As a result, in the cases of interest for us it follows that in the setting of Theorem 4.7 one actually has \(T_* = \infty \).
5 Discrete Inhomogeneous Models
In this section we introduce the discrete analogues of the objects and the results of the last section. We will use the discretisations to identify the density of the invariant measure of (\(\Psi ^{4,n}_3\)) with respect to (\(\Phi ^4_3\)) for \(n \in {\mathbb {N}}\). In particular, the goal is to treat for an arbitrary fixed \(n \in {\mathbb {N}}\) discretisations of (\(\Phi ^4_3\)), (\(\Psi ^{4,n}_3\)) of the form
on the discretisation \({{\mathbb {T}}_\varepsilon ^3}\) of \({\mathbb {T}}^3\) with grid scale \(\varepsilon = 2^{-N}\) for \(N \in {\mathbb {N}}\), where \(\Phi ^\varepsilon _0, \Psi ^\varepsilon _0 \in {\mathbb {R}}^{{\mathbb {T}}^3_\varepsilon }\), \(\Delta ^\varepsilon \) is the nearest-neighbour approximation of the Laplacian \(\Delta \) and \(\xi ^\varepsilon \) are spatial discretisations of \(\xi \) defined on a single common probability space by setting
where, for
,
denotes the cube of side length \(\varepsilon \) centred at x.
The function \(\psi ^\varepsilon \in {\mathbb {R}}^{{\mathbb {T}}_\varepsilon ^3}\) is defined by
Finally \(C_\lambda ^{(\varepsilon )} \sim \varepsilon ^{-1} + \log \varepsilon \) is a sequence renormalisation constants for which precise values are given in [23, Eq. 7.6] and the subsequent paragraph.
Of course, equations (\(\Phi ^{4}_{3,\varepsilon }\)) and (\(\Psi ^{4,n}_{3,\varepsilon }\)) are nothing but SDEs with global in time solutions. However, in order to prove the convergence to the continuum solutions, it is useful to recast their solution theory in the language of regularity structures. We recall the following definitions from [23].
Definition 5.1
Given \(\varepsilon > 0\), a discrete model at grid-scale \(\varepsilon \) for the regularity structure \({\mathscr {T}}\) consists of maps \((\Pi ^\varepsilon , \Gamma ^\varepsilon , \Sigma ^\varepsilon )\)
indexed by \(t \in {\mathbb {R}}\) and \(x \in {{\mathbb {T}}_\varepsilon ^3}\), which have all the algebraic properties of their continuous counterparts in Definition 4.4, with the spatial variables restricted to the grid \({{\mathbb {T}}_\varepsilon ^3}\). Additionally, we assume that \(\bigl (\Pi ^{\varepsilon , t}_x \tau \bigr ) (x) = 0\), for all \(\tau \in {\mathcal {T}}_l\) with \(l > 0\), and all \(x \in {{\mathbb {T}}_\varepsilon ^3}\) and \(t \in {\mathbb {R}}\).
The seminorms \(\Vert \Pi ^\varepsilon \Vert ^{(\varepsilon )}_{\gamma ; T}\) and \(\Vert \Gamma ^\varepsilon \Vert _{\gamma ;T}^{(\varepsilon )}\) are defined to be the smallest constants such that the inequalities (4.4a) hold uniformly in \(\lambda \in [\varepsilon ,1]\), \(x, y \in {{\mathbb {T}}_\varepsilon ^3}\), \(t \in {\mathbb {R}}\) and with the usual duality pairing of \({\mathcal {D}}'({\mathbb {R}} \times {\mathbb {T}}^3) \times {\mathcal {D}}({\mathbb {R}} \times {\mathbb {T}}^3)\) replaced with the discrete pairing
The quantity \(\Vert \Sigma ^\varepsilon \Vert _{\gamma ;T}^{(\varepsilon )}\) is then defined as the smallest constant C such that the bounds
hold uniformly in \(x \in {{\mathbb {T}}_\varepsilon ^3}\) and the other parameters as in (4.4b).
We measure the time regularity of \(\Pi ^\varepsilon \) as in (4.5), by substituting the continuous objects by their discrete analogues, and by using \(|t - s|^{1/{\mathfrak {s}}_0} \vee \varepsilon \) instead of \(|t - s|^{1/{\mathfrak {s}}_0}\) on the right-hand side. We also define quantities \(\Vert \cdot \Vert ^{(\varepsilon )}\), \(\vert \!\vert \!\vert \cdot \vert \!\vert \!\vert ^{(\varepsilon )}\), in the same way as the above construction that measure the size of (resp. distance between) model(s) Z (resp. \(Z, {\bar{Z}}\)).
Remark 5.2
The pairing \(\langle \cdot , \cdot \rangle _\varepsilon \) does not correspond to the embedding \(\iota ^\varepsilon \). Indeed, it does not correspond to any embedding \(e: {\mathbb {R}}^{{\mathbb {T}}_\varepsilon ^3}\rightarrow C^{-\frac{1}{2} -}\) since the action in space is that of a Dirac delta which has regularity no better than \(-3\). This is not a serious issue for us since the difference between the two ways of testing applied with the solutions of (\(\Phi ^{4}_{3,\varepsilon }\)), (\(\Psi ^{4,n}_{3,\varepsilon }\)) converges to 0 as \(\varepsilon \rightarrow 0\).
One then has the following discrete analogue of the \({\mathcal {D}}_T^{\gamma , \eta }\) spaces. For \(\gamma , \eta \in {\mathbb {R}}\), a fixed time \(T > 0\) and a discrete model \(Z^\varepsilon =(\Pi ^\varepsilon , \Gamma ^\varepsilon , \Sigma ^\varepsilon )\) on a regularity structure \({\mathscr {T}}\), we define the \({\mathcal {D}}_{T,\varepsilon }^{\gamma , \eta }\) norms \(\Vert H^\varepsilon \Vert ^{(\varepsilon )}_{\gamma , \eta ; T}\) and \(\vert \!\vert \!\vert H^\varepsilon \vert \!\vert \!\vert ^{(\varepsilon )}_{\gamma , \eta ; T}\) of a function \(H^\varepsilon : (0, T] \times {{\mathbb {T}}_\varepsilon ^3}\rightarrow {\mathcal {T}}_{<\gamma }\) in exactly the same way as in (4.7) and (4.8), except that the spatial variables run over \({{\mathbb {T}}_\varepsilon ^3}\) and the powers of \(|t|_0\) and \(|t,s|_0\) appearing there are replaced by \(| t|_0 \vee \varepsilon \) and \(|t,s|_0 \vee \varepsilon \) respectively.
Definition 5.3
\({\mathcal {D}}_{T, \varepsilon }^{\gamma , \eta }\) is the space of functions \(H^\varepsilon : (0, T] \times {{\mathbb {T}}_\varepsilon ^3}\rightarrow {\mathcal {T}}_{<\gamma }\) such that \(\vert \!\vert \!\vert H^\varepsilon \vert \!\vert \!\vert _{\gamma , \eta ;T}^{(\varepsilon )} < \infty \).
Remark 5.4
In the setting of discrete inhomogeneous models, suitable instances of the usual results in the theory of regularity structures hold. For example, one has a reconstruction operator with the explicit representation
[23, Thm 4.6]. Additionally, the Green’s function for the discretised heat equation has a decomposition that is a suitable analogue of the decomposition of the heat kernel given in [21] (see [23, Lem. 5.4]) and the corresponding lift of the action of the kernel satisfies analogues of the usual Schauder estimates, [23, Thm 4.17].
We now obtain the solutions of (\(\Phi ^{4}_{3,\varepsilon }\)), (\(\Psi ^{4,n}_{3,\varepsilon }\)) from an abstract fixed point argument. We will eventually handle the renormalisation terms containing factors \(C_\lambda ^{(\varepsilon )}\) at the level of our choice of model so that the abstract formulation of these equations will be given by
where \(S^\varepsilon \Phi _0^\varepsilon \) is the solution to the semidiscrete heat equation with initial condition \(\Phi _0^\varepsilon \in {\mathbb {R}}^{{\mathbb {T}}_\varepsilon ^3}\) and \({\mathcal {P}}^\varepsilon = {\mathcal {K}}_{{\bar{\gamma }}}^\varepsilon + R_\gamma ^\varepsilon {\mathcal {R}}^\varepsilon \) is the abstract analogue of the action of the semidiscrete heat kernel (see equations (4.24) and (5.17) of [23] for the definitions of \(R_\gamma ^\varepsilon \) and \({\mathcal {K}}_{{\bar{\gamma }}}^\varepsilon \)). Finally
One then has the following analogue of Theorem 4.7, which is essentially special case of [23, Thm 5.8] up to the minor adaptation required to accommodate the nonlinearity \(G_n^\varepsilon \) which is similar to that performed in Sect. 4 and so we omit the details.
Theorem 5.5
Let \(Z^\varepsilon \) be a sequence of discrete inhomogeneous models indexed by \(\varepsilon = 2^{-N}\) for \(N \ge 1\). Then for every \(T< \infty \), the sequence of solution maps \({\mathcal {S}}^\varepsilon _T : (\Phi _0^\varepsilon , Z^\varepsilon ) \mapsto U^\varepsilon \) of the equation (5.3) up to time T is jointly Lipschitz continuous (uniformly in \(\varepsilon \)) in the sense of Theorem 4.7, but replacing the continuum objects with their discrete analogues. The same is true of the solution map for (5.4).
In order to state our direct analogue of the main convergence result of [23] we introduce a choice of discretisation of initial condition \(\phi \in C^\alpha ({\mathbb {T}}^3)\). We set
The right hand side of this expression is well defined for \(\phi \in C^{-1+\kappa }\) since the indicator function of a cube lies in the Besov space \({\mathcal {B}}_{1,1}^{1-\kappa }\). A simple calculation using the Littlewood-Paley decomposition then shows that if \(\varepsilon = 2^{-k}\) then the operator norm of \({\mathfrak {p}}_\varepsilon : C^\alpha \rightarrow L^\infty ({{\mathbb {T}}_\varepsilon ^3})\) is bounded uniformly in \(k \ge 0\).
Theorem 5.6
Let \(\xi \) be a space-time white noise over \(L^2({\mathbb {R}} \times {\mathbb {T}}^3)\) on a probability space \((\Omega , {\mathscr {F}}, \mathbf{P })\) and let \(\Phi \) and \(\Psi \) be the unique maximal solution of (\(\Phi ^4_3\)) and (\(\Psi ^{4,n}_3\)) respectively with initial condition \(\phi \in C^{\alpha }({\mathbb {T}}^3)\). Let \(\xi ^\varepsilon \) be given by (5.1), and let \(\Phi ^\varepsilon \) and \(\Psi ^\varepsilon \) be the unique global solution of (\(\Phi ^{4}_{3,\varepsilon }\)) and (\(\Psi ^{4,n}_{3,\varepsilon }\)) respectively with initial condition \({\mathfrak {p}}_\varepsilon \phi \). Then there exists a sequence of stopping times \(T_\varepsilon \) such that \({\mathbb {P}}(T_\varepsilon < T) \rightarrow 0\) as \(\varepsilon \rightarrow 0\) for any fixed T positive and
in probability as \(\varepsilon \rightarrow 0\). Furthermore the above convergence is locally uniform in the initial condition \(\phi \).
Proof
This follows from the same techniques as the proof of [23, Thm 1.1] for the case of (\(\Phi ^4_3\)). This proof proceeds by using Theorem 4.7 and Theorem 5.5 along with convergence of suitable Gaussian models to reduce to the convergence in the case of a smooth driving noise which is a problem of numerical analysis.
We note that the same techniques work here since we have formulated the abstract version of (\(\Psi ^{4,n}_3\)) and its discrete counterpart on the same regularity structure as those for (\(\Phi ^4_3\)) such that the equations are simultaneously driven by the same choice of model. Hence following the proof of [23, Thm 1.1] yields the convergence
in probability as \(\varepsilon \rightarrow 0\), where
and \(T_\varepsilon ^1\) is a suitable subsequence of \(H_K \vee {\tilde{H}}_K\) where \(H_K\) (resp. \({\tilde{H}}_K\)) is the exit time of the ball of radius K for \(\Phi \) (resp. \(\Psi \)).
Unfortunately, as mentioned earlier, the discrete testing appearing here is the wrong one. Since the behaviour below scale \(\varepsilon \) is straightforward, it remains to see that
and similarly for \(\Psi ^\varepsilon \). Notice that we can write
since \(|\varphi _x^\lambda (y) - \varphi _x^\lambda (z)| \le \lambda ^{-4} |z - y|\) and the summand is non-zero only for y such that \(|y-x| \le 2\lambda \). Hence, it suffices to see that \(\Vert \Phi ^\varepsilon \Vert _\infty \lesssim \varepsilon ^{\alpha }\).
For this we only sketch the details, since they are an application of the same discrete tools as used repeatedly in this paper and in [23]. Indeed, this is a corollary of the same rate of blow up for discretisations of the stochastic heat equation since as usual for (\(\Phi ^4_3\)), \(\Phi = u + v\) where u is the solution of the stochastic heat equation and \(v \in C^{\frac{1}{2} - \kappa }\) is the solution of a ‘remainder equation’. One has a similar decomposition for \(\Phi ^\varepsilon \) and the techniques used above yield that
for some sequence of stopping times \(T_\varepsilon ^2\) satisfying \({\mathbb {P}}(T_\varepsilon ^2 < T) \rightarrow 0\) as \(\varepsilon \rightarrow 0\) for every fixed \(T > 0\). In particular, taking \(T_\varepsilon = T_\varepsilon ^1 \wedge T_\varepsilon ^2\) yields the desired result since then the above yields control on the supremum norm of \(v^\varepsilon \) so that the only blow-up in \(\Phi ^\varepsilon \) comes from u. \(\square \)
6 Bounds for the Continuum \(\Psi _3^{4,n}\) Equation
In this short section, we state an a priori bound which is uniform in n and \(\varepsilon \) for the PDE with smooth driving noise
that is a direct adaptation of the main result of [29] which give the equivalent bound for the solution of (\(\Phi ^4_3\)). (Take for example \(\xi _\varepsilon = \varrho _\varepsilon \star \xi \) for \(\varrho _\varepsilon \) a smooth compactly supported mollifier.) The constants \(C_i^{(\varepsilon )}\) are the same renormalisation constants as in the proof of [21, Thm 10.22]; in particular they do not depend on the additional nonlinearity appearing on the right-hand side. This kind of bound is of interest to us since the terms appearing on the right-hand side of our a priori bound will converge to natural limiting objects as \(\varepsilon \rightarrow 0\) so that these bounds will directly transfer to the solution of (\(\Psi ^{4,n}_3\)).
Since we are able to restart the equation, it is sufficient for us to obtain good bounds up to time 1. Hence we define the cylinder
and for \(R > 0\) we set \(P_R = (R^2,1) \times {\mathbb {T}}^3\). The bounds we obtain will also depend on R in an explicit way which will enable the bounds to be independent of the choice of initial condition.
We draw attention here to the fact that our choice of spatial domain and the resulting definition of \(P_R\) differ slightly to the ones given in [29]. This is necessary since our additional non-linearity is non-local in space and so to adapt their argument we must work in a setting where localisation in space is not included in the proof.
In particular, the key a priori bound on which the proof technique of [29] is premised (their Lemma 2.7) must be slightly adapted to accommodate this shift in setting. A trivial adaptation of their proof of this Lemma yields the following result.
Lemma 6.1
Let u be a continuous function defined on \([0,1] \times {\mathbb {T}}^3\) such that
pointwise for \(z \in (0,1] \times {\mathbb {T}}^3\) for a bounded function g. Then for \(z = (t,x) \in (0,1] \times {\mathbb {T}}^3\), one has that
for some independent constant C.
If
is a solution of the equation
then the techniques of [29] will in fact yield supremum norm bounds on
where u is the solution of (6.1).
First, we introduce the definitions of some graphical notation appearing in [29]. We emphasise that the trees appearing in this section are coloured black since they are not elements of a regularity structure. They also slightly differ from the BPHZ model applied to those elements since they are constructed directly from the PDE, rather than via convolution with some cut-off version of the heat kernel.
We define
and
, leaving the \(\varepsilon \)-dependence implicit. We then introduce the higher order symbols
which are assumed to satisfy
For \(\alpha > 0\), we let \([\cdot ]_{\alpha , C}\) be the usual \(\alpha \)-Hölder seminorm restricted to points in the set \(C \subseteq {\mathbb {R}} \times {\mathbb {T}}^3\). If C is omitted, it is to be understood that it is the whole space.
To define an analogue of these seminorms for \(\alpha < 0\), we fix a family of smooth compactly supported test functions \(\phi _T:{\mathbb {R}}\times {\mathbb {R}}^{3}\rightarrow {\mathbb {R}}\) with a semigroup property at dyadic scales as constructed in [29, Sec. 2]. The precise form of \(\phi _T\) won’t matter to us except that it is required to prove the analogue of the reconstruction theorem [29, Thm 2.8] used in the paper of Moinat and Weber which is implicitly also required here. Since we do not retrace many details of the proofs of [29] in this section, we refer the interested reader to that paper for more details.
Having introduced this quantity, we now introduce a finite collection
of higher order trees. Each of these trees represents an \(\varepsilon \)-dependent random function (it actually depends furthermore on a space-time “base point” since we consider the “positively renormalised” quantities). Details of their construction do not matter for the purpose of this discussion, but we introduce the quantity \(n_\tau \) counting the number of leaves of a tree \(\tau \) (so
,
, etc) as well as a (random) quantity \([\tau ]_\kappa \) measuring the size of these functions in a terms of how their convolution with \(\phi _T\) behaves at the base point as \(T \rightarrow 0\). (If the functions are base point independent, as is the case for example for and , then these are equivalent to a Hölder norm of order \(\deg \tau - \kappa \), where
, the degree is multiplicative, and solving the heat equation increases degree by 2.) See [29, Eq. 2.13–2.19] for details of these definitions (note that their integer multiples of \(\varepsilon \) are replaced by \(\kappa \) in our notation). One has for example
Finally, since the tree
naturally plays a distinguished role in the equation for
because of the non-local term in the nonlinearity, we measure its regularity in a slightly stronger norm than [29] in order to get good bounds, and we set
Theorem 6.2
Fix a smooth function \(\psi : {\mathbb {T}}^3 \rightarrow {\mathbb {R}}\) such that \(\Vert \psi \Vert _\infty , \Vert D\psi \Vert _\infty \le 1\) and fix also \(\beta > 0\) and \(\kappa > 0\) small enough. If u is the solution of (6.1) for this \(\psi \) and
, then for all \(R \in (0,1)\) one has the bound
where \(n_\tau \) is the number of leaves appearing in \(\tau \). Here C is a constant that is independent of n and \(\varepsilon \), and \(\Vert v\Vert _{P_R}\) denotes the supremum norm over \(P_R\).
Proof
This follows with only very minor modifications of the proof of [29, Thm 2.1]. Indeed, once one replaces applications of [29, Lemma 2.7] with the equivalent application of our Lemma 6.1, one only has to make adjustments to deal with the extra term appearing in the non-linearity of our equation. This only requires small changes in Section 4.2 of that paper since, once one derives a similar bound to that given in the conclusion of that subsection, one can proceed with the rest of the proof with no significant changes.
The structure of the proof there is to assume that the bound
fails on some parabolic cylinder with a constant C that depends only on combinatorial factors arising during their proof and then derive from the converse inequality a bound of order \(R^{-1}\), thus yielding (6.5).
There are only two steps in the proof which rely on the precise form of the equation under consideration and not just on the local expansion of the solution up to order 1 (which has the precise same form for (\(\Psi ^{4,n}_3\)) as for (\(\Phi ^4_3\))). The first step, which is given in their Section 4.2, is to consider the two-parameter function U given by
see [29, Eq. 2.29], to fix an open space-time domain \(D = P_R\) (for some \(R > 0\)), and to assume a bound of the type \([\tau ]_{\kappa } \le c \Vert v\Vert _D^{n_\tau (1-\kappa )/2}\) for some \(c \le 1\). Writing \((\cdot )_T\) for space-time convolution with \(\phi _T\), one then shows that there exists \(\gamma \ge 0\) such that a bound of the form
holds uniformly over all choices of D with diameter bounded by 1, all \(x \in D\), and all \(T \le L \le 1\wedge \Vert v\Vert _D^{-1}\) such that \(B(x,2L) \subset D\), where B(x, 2L) denotes the parabolic ball of radius 2L “directed towards the past”, see [29, Eq. 2.2].
Remark 6.3
The bound given in [29, Eq. 4.20] appears stronger because of the presence of the constant c which can be made arbitrarily small. That bound however is incorrect since the first term in [29, Eq. 4.8] does not satisfy it. Fortunately, this additional factor c is not exploited in the sequel.
The only difference between \((\partial _t - \Delta )U\) in the case of (\(\Psi ^{4,n}_3\)) compared to that of (\(\Phi ^4_3\)) is that we obtain an additional term
, which is easily bounded by
with constants uniform in n. Here, we made use of the bounds \(T \le 1 \wedge \Vert v\Vert _D^{-1}\) and
, where the last inequality follows from the fact that (6.3) is assumed to fail. In particular, this merely contributes in an increase of the proportionality constant appearing in (6.4).
The other step where the precise form of the equation matters is the bound [29, Eq. 4.28], where the maximum appearing on the right-hand side should include an additional term
coming from our additional nonlinearity (here the domain \(D'\) is equal to \(P_{r+R'}\) in their notation). Similarly to above, this is bounded by some multiple of \(\beta ^{1/3} \Vert v\Vert _{D'}\). By choosing \(\beta \) to be sufficiently small we can guarantee that this is bounded by \(\frac{1}{2}\Vert v\Vert _{D'}\), so that the bound [29, Eq. 4.33] does indeed still hold. This allows to show that the required bound \(\Vert v\Vert _{D} \lesssim R^{-1}\) holds in the same way as [29]. \(\square \)
In Sect. 3, we also required a version of Theorem 6.2 that incorporated localisation in space. Whilst this result is closer in flavour to that of [29], it poses one additional difficulty not present above. Since the non-linearity we consider is not local in space, one cannot hope to have control on the behaviour of v without information from the entirety of the support of \(\psi \) so that complete localisation in space is not possible. However, despite this barrier, a sufficiently strong result for our purposes is available.
Theorem 6.4
Fix a smooth, compactly supported function \(\psi : {\mathbb {R}}^3 \rightarrow {\mathbb {R}}\) such that \(\Vert \psi \Vert _\infty , \Vert D\psi \Vert _\infty \le 1\) and fix also \(\beta > 0\) and \(\kappa > 0\) small enough. Additionally define \(Q_R = (R^2, 1) \times [-N + R, N-R]^3\) for N chosen so that \({\text {supp}} \psi \subseteq \subseteq [-N,N]^3\). Then if u solves (6.1) on \(Q_0\) for this \(\psi \) and
, then for all R satisfying \(0< R < c_0\) for a suitable sufficiently small \(c_0\) one has the bound
where \(n_\tau \) is the number of leaves appearing in \(\tau \) and for \(\tau \in {\mathfrak {T}}\), \([\tau ]_{\kappa , N}\) is defined analogously to \([\tau ]_\kappa \) but restricting spatial suprema to \([-N,N]^3\). Here \(C, c_0\) are constants that are independent of n and \(\varepsilon \), and \(\Vert v\Vert _{Q_R}\) denotes the supremum norm over \(Q_R\).
Proof
As in the proof above, this follows with only minor modifications to the proof of [29, Thm 2.1]. In fact, the only additional modification necessary to those already given in the proof of Theorem 6.2 is to restrict consideration to R sufficiently small so that \({\text {supp}} \psi \subseteq Q_R\) and to add as an additional termination condition in the recursive step of their argument in their Section 4.6 the condition that (in the notation of that section), \(R_n\) is such that \({\text {supp}}\psi \not \subseteq Q_{R_n}\). \(\square \)
References
Allouba, H.: Different types of SPDEs in the eyes of Girsanov’s theorem. Stoch. Anal. Appl. 16(5), 787–810 (1998)
Brydges, D.C., Fröhlich, J., Sokal, A.D.: A new proof of the existence and nontriviality of the continuum \(\varphi ^{4}_{2}\) and \(\varphi ^{4}_{3}\) quantum field theories. Commun. Math. Phys. 91(2), 141–186 (1983)
Barashkov, N., Gubinelli, M.: A variational method for \(\Phi ^{4}_{3}\). Duke Math. J. 169(17), 3339–3415 (2020). https://doi.org/10.1215/00127094-2020-0029
Barashkov, N., Gubinelli, M.: The \(\Phi ^4_3\) measure via Girsanov’s theorem. arXiv: Probability (2020)
Catellier, R., Chouk, K.: Paracontrolled distributions and the 3-dimensional stochastic quantization equation. Ann. Probab. 46(5), 2621–2679 (2018). https://doi.org/10.1214/17-AOP1235
Camia, F., Garban, C., Newman, C.M.: Planar Ising magnetization field II. Properties of the critical and near-critical scaling limits. Ann. Inst. Henri Poincaré Probab. Stat. 52(1), 146–161 (2016). https://doi.org/10.1214/14-AIHP643
Chandra, A., Hairer, M.: An analytic BPHZ theorem for regularity structures. arXiv preprint (2016). arXiv:1612.08138
Chandra, A., Moinat, A.,Weber, H.: A priori bounds for the \(\phi ^4\) equation in the full sub-critical regime. arXiv preprint (2019). arXiv:1910.13854
Eckmann, J.P., Epstein, H.: Time-ordered products and Schwinger functions. Commun. Math. Phys. 64(2), 95–130 (1978). https://doi.org/10.1007/BF01197509
Erhard, D., Hairer, M.: Discretisation of regularity structures. Ann. Inst. H. Poincaré Probab. Stat. 55(4), 2209–2248 (2019). https://doi.org/10.1214/18-AIHP947
Ethier, S., Kurtz, T.: Markov Processes: Characterization and Convergence. Wiley Series in Probability and Statistics, Wiley, New York (2009)
Eckmann, J.-P., Osterwalder, K.: On the uniqueness of the Hamiltionian and of the representation of the \({\rm CCR}\) for the quartic boson interaction in three dimensions. Helv. Phys. Acta 44, 884–909 (1971)
Feldman, J.: The \(\lambda \varphi ^{4}_{3}\) field theory in a finite volume. Commun. Math. Phys. 37, 93–120 (1974)
Feldman, J.S., Osterwalder, K.: The Wightman axioms and the mass gap for weakly coupled \((\Phi ^{4})_{3}\) quantum field theories. Ann. Phys. 97(1), 80–135 (1976)
Fröhlich, J.: Schwinger functions and their generating functionals. II. Markovian and generalized path space measures on \(S^{\prime }\). Adv. Math. 23(2), 119–180 (1977). https://doi.org/10.1016/0001-8708(77)90119-0
Gubinelli, M., Hofmanová, M.: A PDE construction of the Euclidean \(\Phi _3^4\) quantum field theory. Commun. Math. Phys. 384(1), 1–75 (2021)
Gubinelli, M., Imkeller, P., Perkowski, N.: Paracontrolled distributions and singular PDEs. Forum Math. Pi 3, e6 (2015). arXiv:1210.2684 10.1017/fmp.2015.2
Glimm, J., Jaffe, A.: Positivity of the \(\phi ^{4}_{3}\) Hamiltonian. Fortschr. Physik 21, 327–376 (1973)
Glimm, J.: Quantum Physics: A Functional Integral Point of View. Springer, New York (2012). https://doi.org/10.1007/978-1-4612-4728-9
Glimm, J.: Boson fields with the \({:}\Phi ^{4}{:}\) interaction in three dimensions. Commun. Math. Phys. 10, 1–47 (1968)
Hairer, M.: A theory of regularity structures. Invent. Math. 198(2), 269–504 (2014). https://doi.org/10.1007/s00222-014-0505-4
Hairer, M., Mattingly, J.C.: Yet another look at Harris’ ergodic theorem for Markov chains. Seminar Stochast. Anal. Random Fields Appl. VI 63, 109–117 (2011). https://doi.org/10.1007/978-3-0348-0021-1_7
Hairer, M., Matetski, K.: Discretisations of rough stochastic PDES. Ann. Probab. 46(3), 1651–1709 (2018). https://doi.org/10.1214/17-AOP1212
Hairer, M., Mattingly, J.: The strong Feller property for singular stochastic PDEs. Ann. Inst. H. Poincaré Probab. Stat. 54(3), 1314–1340 (2018). https://doi.org/10.1214/17-AIHP840
Hairer, M., Schönbauer, P.: The support of singular stochastic PDEs, 2019. arXiv:1909.05526
Magnen, J., Seneor, R.: The infinite volume limit of the \(\varphi 3^4\) model. Ann. l’I.H.P. Phys. Théorique 24(2), 95–159 (1976)
Mourrat, J.C., Weber, H.: The dynamic \(\Phi ^4_3\) model comes down from infinity. Commun. Math. Phys. 356(3), 673–753 (2017). https://doi.org/10.1007/s00220-017-2997-4
Moinat, A., Weber, H.: Local bounds for stochastic reaction diffusion equations. Electron. J. Probab. 25, 26 (2020). https://doi.org/10.1214/19-EJP397
Moinat, A., Weber, H.: Space-time localisation for the dynamic \(\Phi _3^4\) model. Commun. Pure Appl. Math. 73(12), 2519–2555 (2020). https://doi.org/10.1002/cpa.21925
Osterwalder, K., Schrader, R.: Axioms for Euclidean Green’s functions. Commun. Math. Phys. 31, 83–112 (1973)
Osterwalder, K., Schrader, R.: Axioms for Euclidean Green’s functions II. Commun. Math. Phys. 42, 281–305 (1973)
Parisi, G., Wu, Y.S.: Perturbation theory without gauge fixing. Sci. Sin. 24(4), 483–496 (1981)
Acknowledgements
MH gratefully acknowledges support from the Royal Society through a research professorship. We are grateful to the referees and to Abdelmalek Abdesselam for a number of pointers to the literature that were missing in an earlier draft.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Yvan Velenik.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hairer, M., Steele, R. The \(\Phi _3^4\) Measure Has Sub-Gaussian Tails. J Stat Phys 186, 38 (2022). https://doi.org/10.1007/s10955-021-02866-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-021-02866-3