Abstract
In this paper, we consider a certain class of second order nonlinear PDEs with damping and space-time white noise forcing, posed on the d-dimensional torus. This class includes the wave equation for \(d=1\) and the beam equation for \(d\le 3\). We show that the Gibbs measure is the unique invariant measure for this system. Since the flow does not satisfy the strong Feller property, we introduce a new technique for showing unique ergodicity. This approach may be also useful in situations in which finite-time blowup is possible.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider the equation
posed on the d - dimensional torus \({\mathbb {T}}^d\), where \(\xi \) is the space-time white noise on \({\mathbb {R}}\times {\mathbb {T}}^d\) (defined in Sect. 2), and \(s>d\).
By expressing this equation in vectorial notation,
from a formal computation, we expect this system to preserve the Gibbs measure
where \(``\mathrm du\mathrm du_t"\) is the non-existent Lebesgue measure on an infinite dimensional vector space (of functions). Heuristically, we expect invariance for this measure by splitting (1) into
-
1.
$$\begin{aligned} \partial _t \begin{pmatrix} u \\ u_t \end{pmatrix} = - \begin{pmatrix} 0 &{}\quad -1 \\ 1 + (-\Delta )^\frac{s}{2} &{}\quad 0 \end{pmatrix} \begin{pmatrix} u \\ u_t \end{pmatrix} - \begin{pmatrix} 0 \\ u^3 \end{pmatrix}, \end{aligned}$$
which is a Hamiltonian PDE in the variables \(u,u_t\), and so it should preserve the Gibbs measure
$$\begin{aligned} \exp \Big (-H(u,u_t)\Big ) ``\mathrm du\mathrm du_t", \end{aligned}$$where \(H(u,u_t) = \frac{1}{4} \int u^4 + \frac{1}{2} \int u^2 + |(-\Delta )^\frac{s}{2} u|^2 + \frac{1}{2} \int u_t^2\),
-
2.
$$\begin{aligned} \partial _t \begin{pmatrix} u \\ u_t \end{pmatrix} = - \begin{pmatrix} 0 &{}\quad 0 \\ 0 &{}\quad 1 \end{pmatrix} \begin{pmatrix} u \\ u_t \end{pmatrix} - \begin{pmatrix} 0 \\ \sqrt{2} \xi \end{pmatrix}, \end{aligned}$$
which is the Ornstein - Uhlenbeck process in the variable \(u_t\), and so it preserves the spatial white noise
$$\begin{aligned} \exp \Big (-\frac{1}{2} \int u_t^2\Big )``\mathrm du_t". \end{aligned}$$
For \(s=1\), up to the damping term \(\exp \Big (-\frac{1}{2} \int u_t^2\Big ) \mathrm du_t\), the measure \(\rho \) corresponds to the well known \(\Phi ^4_d\) model of quantum field theory, which is known to be definable without resorting to renormalisation just for \(d=1\) (this measure will be rigorously defined - in the case \(s>d\) - in Sect. 2).
Our goal is to study the global behaviour of the flow of (1), by proving invariance of the measure \(\rho \) and furthermore showing that \(\rho \) is the unique invariant measure for the flow.
Following ideas first appearing in Bourgain’s seminal paper [1] and in the works of McKean–Vasinski [33] and McKean [34, 35], there have been many developments in proving invariance of the Gibbs measure for deterministic ispersive PDEs (see for instance [2,3,4,5,6,7, 9, 24, 38,39,40]).
A natural question that arises when an invariant measure is present is uniqueness of the invariant measure and convergence to equilibrium starting from a “good enough" initial data. This has been extensively studied in the case of parabolic stochastic PDEs (see for instance [12, 13, 16, 18, 19, 22, 41, 45] and references therein) and for stochastic equations coming from fluid dynamics (see [14, 21, 46] and references therein). On the other hand, there are not many results in the dispersive setting, and they often rely either on some smoother version of the noise \(\xi \), or onto some dissipative properties of the system (see for instance [15, 23, 25,26,27,28,29,30,31, 36]). Indeed, as far as the author knows, the ergodicity result of this paper is the first that can deal with a forcing as rough as space-time white noise in a setting without any dissipation. More precisely, we will prove the following:
Theorem 1.1
Let \(s=4,d=3\). Then the measure \(\rho \) is invariant for the Markov process associated to the flow \(\Phi _t(\cdot ,\xi )\) of (1), in the sense that for every function F measurable and bounded, for \({{\mathbf {u}}}= (u,u_t)^T \),
Moreover, there exists a Banach space \(X^\alpha \) which contains the Sobolev Space \({\mathcal {H}}^\frac{s}{2} := H^\frac{s}{2} \times L^2\), such that for every \(0<\alpha < \frac{s-d}{2}\), \(\rho \) is the only invariant measure concentrated on \(X^\alpha \). Furthermore, for every \({{\mathbf {u}}}_0 \in X^\alpha \) and for every \(F: X^\alpha \rightarrow {\mathbb {R}}\) continuous and bounded,
We will carry out the proof in full details only in the case \(s=4, d=3\), however the same proof can be extended to the general nonsingular case \(s>d\). We will describe in more details how to obtain the general result in Sect. 1.4.
The proof of this theorem is heavily influenced by the recent parabolic literature, and in particular by results that use or are inspired by the Bismut–Elworthy–Li formula, especially [45] and [22]. A crucial step in these papers is showing that the flow of the equation in study satisfies the Strong Feller property. However, as we will prove in Sect. 5, the flow of (1) does not satisfy the strong Feller property, therefore a more refined approach is needed.
While the argument in this work does not provide any information on the rate of convergence to equilibrium, it does not rely on good long time estimates, as opposed to works that rely on the Asymptotic strong Feller property defined in [20]. In particular, as far as ergodicity is concerned (in the sense that (3) holds \(\rho \)-a.s.), we use just the qualitative result of global existence of the flow, and it may be possible to extend this approach even to situations in which finite-time blowup is possible, similarly to the result in [22]. This goes in the direction of dealing with the singular case \(s=d\). Indeed, in the case \(s=d=2\), in a upcoming work by M.Gubinelli, H. Koch, T. Oh and the author, we prove global well posedness and invariance of the Gibbs measure for the renormalised damped wave equation
See also [43, 44] for the global existence part of the argument.
However, since the best bound available with the argument grows more than exponentially in time, any approach on unique ergodicity that relies on good long time estimate has little chance to yield any result for this equation.
1.1 Structure of the argument and organisation of the paper
In order to make this paper less notation-heavy, we will concentrate on the case \(d=3\), \(s=4\), which is the Beam equation in 3-d
Local and global well posedness for the non-damped version of this equation have been explored in detail in an upcoming work by R. Mosincat, O. Pocovnicu, the author, and Y. Wang (see also [43]). We will however present an independent treatment that works for general \(s>d\). While the case \(s=2, d=1\), which corresponds to wave equation in 1 dimension, can arguably be considered more interesting, we decide to focus on (4) because it presents all the difficulties of the general case (namely, the definition of the spaces \(X^\alpha \), and some subtleties that come from the multidimensional nature of the equation). At the end of this section, we will discuss how to convert the proof for this case into the proof for the general case.
The paper and the proof of Theorem 1.1 are organised as follows:
-
In the remaining of this section, we will define what we mean by the flow of (4), and introduce the spaces \(X^\alpha \), the stochastic convolution , and the notation that we will use throughout the paper.
-
In Sect. 2, we will state and prove the relevant \(X^\alpha \) estimates of the stochastic convolution , as well as define rigorously the measure \(\rho \) and prove the related \(X^\alpha \) estimates for a generic initial data sampled according to \(\rho \).
-
In Sect. 3, we build the flow, by showing local and global well posedness of the equation (4). Local well posedness is shown by applying a standard Banach fixed point argument, after reformulating the equation using the so-called Da Prato-Debussche trick. Global well posedness is shown via an energy estimate, making use of an integration by parts trick similar to the one used in [37].
-
In Sect. 4, we show invariance for the measure \(\rho \).
-
Section 5 is dedicated to showing unique ergodicity of \(\rho \). In particular, we first recover the strong Feller property by changing the underlying topology of the space \(X^\alpha \). However, with this new topology, the space ceases to be connected and separable. Therefore, even when we combine this property with irreducibility of the flow, we derive just the partial information that if \(\rho _1\perp \rho _2\) are invariant, then there exists a Borel set V s.t.
$$\begin{aligned} \rho _1(V+{\mathcal {H}}^2)=0, \rho _2(V+{\mathcal {H}}^2)=1. \end{aligned}$$In order to obtain ergodicity of \(\rho \), we combine this argument with a completely algebraic one. We consider the projection \(\pi : X^\alpha \rightarrow X^\alpha /{\mathcal {H}}^\frac{s}{2}\), and we show that if \(\rho _1,\rho _2 \ll \rho \), then \(\pi _\sharp \rho _1 = \pi _\sharp \rho _2=\pi _\sharp \rho \), which contradicts the existence of such V.
Finally, to conclude uniqueness, we show that for every \({{\mathbf {u}}}_0 \in X^\alpha \), if \(\mu _t\) is the law of \({{\mathbf {u}}}(t)=(u(t),u_t(t))\), then every weak limit \(\nu \) of \(\frac{1}{T}\int _0^T \mu _t \mathrm dt\) will satisfy \(\pi _\sharp \nu = \pi _\sharp \rho \), from which we derive \(\nu =\rho \).
1.2 Mild formulation
Before discussing ergodicity issues, we need to define the flow of (4). Consider the linear damped beam equation with forcing \({\mathbf {f}} = \begin{pmatrix} f \\ g \end{pmatrix}\) and initial data \({{\mathbf {u}}}_0 = \begin{pmatrix} u_0 \\ u_1 \end{pmatrix}\),
By variation of constants, the solution to this equation is given by
where S(t) is the operator formally defined as
or equivalently, is the operator that corresponds to the symbol
in Fourier series. We notice that this operator maps distributions to distributions, and for every \(\alpha \in {\mathbb {R}}\), it maps the Sobolev space \({\mathcal {H}}^\alpha := H^\alpha \times H^{\alpha -2}\) into itself, with the estimate \(\left\| {S(t){{\mathbf {u}}}}\right\| _{{\mathcal {H}}^\alpha } \lesssim e^{-\frac{t}{2}}\left\| {{{\mathbf {u}}}}\right\| _{{\mathcal {H}}^\alpha }\).
By the formula (5), since we formally have \({\mathbf {f}} = - \begin{pmatrix} 0 \\ u^3 \end{pmatrix} + \begin{pmatrix} 0 \\ \xi \end{pmatrix}\), we expect the solution of (4) to satisfy the Duhamel formulation
From the previous discussion about S(t), we have that
is a well defined space-time distribution. In the following, when it is not ambiguous, we may omit the argument \(\xi \) (i.e. ). We will explore more quantitative estimates about in Sect. 2.
Moreover, it is helpful to consider (6) as an equation for the term
This is the so called Da Prato - Debussche trick ([10, 11]). With a slight abuse of notation, the equation for \({{\mathbf {v}}}\) becomes
where is actually the first component of .
Following this discussion, we define a solution for (4) with initial data \({{\mathbf {u}}}_0\) to be , where \({{\mathbf {v}}}(t)\) solves (7).
In order to define a flow, we need a space X such that for every \({{\mathbf {u}}}_0 \in X\), we can find a solution for (7), and as well. Due to the dispersive nature of the equation, this choice is not as straightforward as in the parabolic case, where Hölder spaces satisfy all of the required properties. On the other hand, keeping track only of the \({\mathcal {H}}^\alpha \) regularity of the initial data would hide important information about the solution, namely the gain in regularity of the term \({{\mathbf {v}}}\). A good space for this equation turns out to be
for \(0< \alpha < \frac{1}{2}\). Here \({\mathscr {C}}^\alpha := C^\alpha \times C^{\alpha -2}\). As it is common in these situations, the particular definition of the Hölder spaces \(C^\beta \) for \(\beta \not \in (0,1)\) (where they all coincide) does not play any role. In this paper, we choose to define \(\left\| {u}\right\| _{C^\beta }:= \left\| {(1-\Delta )^{\frac{\beta }{2}}u}\right\| _{L^\infty }\).
As it is defined, the space \(\overline{X}^\alpha \) might not be separable, which is a helpful hypothesis for some measure theoretical considerations in the following. In order to solve this issue, we will denote by \(X^\alpha \) the closure of trigonometric polynomials in \(\overline{X}^\alpha \). Since we have, for \(\alpha '>\alpha \),
we have that for every \(\alpha ' > \alpha \), if \(\left\| {{{\mathbf {u}}}}\right\| _{X^{\alpha '}} < +\infty \), then \({{\mathbf {u}}}\in X^\alpha \).
Lemma 1.2
\(\overline{X}^\alpha \) is a Banach space.
Proof
\(\left\| {\cdot }\right\| _{X^\alpha }\) is clearly a norm, so we just need to show completeness. Let \({{\mathbf {u}}}_n\) be a Cauchy sequence in \(\overline{X}^\alpha \). By definition, for every t, \(S(t){{\mathbf {u}}}_n\) is a Cauchy sequence in \({\mathscr {C}}^\alpha \), so there exists a limit \(S(t){{\mathbf {u}}}_n \rightarrow {{\mathbf {u}}}(t)\) in \({\mathscr {C}}^\alpha \). Moreover, S(t) is a bounded operator in \({\mathcal {H}}^\alpha \), so one has that
Lastly,
\(\square \)
Since the operator S(t) is not bounded on \({\mathscr {C}}^\alpha \), the space \(X^\alpha \) might appear mysterious. However, in the next sections, we will see that the term belongs to \(X^\alpha \), as well as almost every initial data according to \(\rho \), i.e. \(\rho (X^\alpha ) =~1\). Moreover, we have the following embedding for smooth functions:
Lemma 1.3
For every \(0<\alpha <\frac{1}{2}\), we have \({\mathcal {H}}^2 \subset X^\alpha \). Moreover, the identity \({{\,\mathrm{id}\,}}: {\mathcal {H}}^2 \hookrightarrow X^\alpha \) is a compact operator.
Proof
Let \({{\mathbf {u}}}\in {\mathcal {H}}^2\). By Sobolev embeddings,
and given \(s \ge 0\), we have
hence \({{\mathbf {u}}}\in X^\alpha \).
Now let \({{\mathbf {u}}}_n\) be a bounded sequence in \({\mathcal {H}}^2\). By compactness of Sobolev embeddings, up to subsequences, \({{\mathbf {u}}}_n \rightarrow {{\mathbf {u}}}\) in \({\mathscr {C}}^\alpha \) and \({{\mathbf {u}}}_n \rightharpoonup {{\mathbf {u}}}\) weakly in \({\mathcal {H}}^s\) for every \(s\le 2\). Therefore, \(S(t){{\mathbf {u}}}_n \rightharpoonup S(t){{\mathbf {u}}}\) weakly in \({\mathcal {H}}^s\) for every \(t \ge 0\).
By a diagonal argument, up to subsequences, we have that \(S(t){{\mathbf {u}}}_n\) is a converging sequence in \({\mathscr {C}}^\alpha \) for every \(t \in {\mathbb {Q}}^+\), so by coherence of the limits, \(S(t){{\mathbf {u}}}_n \rightarrow S(t){{\mathbf {u}}}\) in \({\mathscr {C}}^\alpha \) for every \(t \in {\mathbb {Q}}^+\). By the property
we have that \(\left\| {{S(t){{\mathbf {u}}}-S(s)}{{\mathbf {u}}}}\right\| _{{\mathcal {H}}^s}\lesssim |t-s|^\varepsilon \left\| {{{\mathbf {u}}}}\right\| _{{\mathcal {H}}^{s+4\varepsilon }}\). Therefore, by taking \(\varepsilon \) such that \(\alpha + 4\varepsilon + \frac{3}{2} < 2\), by the Sobolev embedding \({\mathcal {H}}^{2-4\varepsilon } \hookrightarrow {\mathscr {C}}^\alpha \), we have that \(S(t){{\mathbf {u}}}_n \rightarrow S(t){{\mathbf {u}}}\) in \({\mathscr {C}}^\alpha \) for every \(t\ge 0 \) and uniformly on compact sets. Finally, for every T we have
For \(T\gg 1\) big enough and \(n \gg 1\) (depending on T), we can make the right hand side arbitrarily small. Therefore, we get \(\left\| {{{\mathbf {u}}}_n-{{\mathbf {u}}}}\right\| _{X^\alpha } \rightarrow 0\) as \(n \rightarrow \infty \), so \({{\,\mathrm{id}\,}}\) is compact. \(\quad \square \)
However, the space \(X^\alpha \) is strictly bigger than \({\mathcal {H}}^2\), and it contains functions at regularity exactly \(\alpha \). Indeed, we have
Lemma 1.4
For every \(\alpha _1> \alpha > 0\), there exists \({{\mathbf {u}}}_0 \in X^\alpha \) such that \({{\mathbf {u}}}_0 \not \in {\mathcal {H}}^{\alpha _1}\).
Proof
Suppose by contradiction that \(X^\alpha \subseteq {\mathcal {H}}^{\alpha _1}\). By the closed graph theorem, this implies that
For \(n \in {\mathbb {Z}}^3\), consider \({{\mathbf {u}}}_n := \begin{pmatrix} e^{in \cdot x} \\ 0 \end{pmatrix}\). By definition of S(t),
It is easy to check that \(\left\| {S(t){{\mathbf {u}}}_n}\right\| _{{\mathscr {C}}^\alpha } \sim e^{-\frac{t}{2}} \left\langle {n}\right\rangle ^\alpha \), so \(\left\| {S(t){{\mathbf {u}}}_n}\right\| _{X^\alpha } \sim \left\langle {n}\right\rangle ^\alpha \). On the other hand, \(\left\| {{{\mathbf {u}}}_n}\right\| _{{\mathcal {H}}^{\alpha _1}} \sim \left\langle {n}\right\rangle ^{\alpha _1}\). By (8), this implies \(\left\langle {n}\right\rangle ^{\alpha _1} \lesssim \left\langle {n}\right\rangle ^{\alpha }\), which is a contradiction. \(\quad \square \)
1.3 Truncated system
In order to prove invariance of the measure \(\mu \), it will be helpful to introduce a truncated system. While many truncations are possible, for this particular class of systems it is helpful to introduce the sharp Fourier truncation \(P_{\le N}\), \(N \in {\mathbb {N}}\cup \{0\}\) given by
i.e. the sharp restriction on the cube \([-N,N]^3\) in Fourier variable. Similarly, we define \(P_{>N}:= 1- P_{\le N}\). While this is a somewhat odd choice for the truncation, it has the advantages that \(P_{>N}\) and \(P_{\le N}\) have orthogonal ranges, and \(\left\| {P_{\le N}u}\right\| _{L^p} \lesssim _p \left\| {u}\right\| _{L^p}\) uniformly in N for every \(1<p<+\infty \) (since it corresponds to the composition of the Hilbert transform in every variable).
It is convenient for notation to allow also \(N=-1\), in which case \(P_{\le N} = 0\) and \(P_{>N} = {{\,\mathrm{id}\,}}\). Therefore, we define the truncated system to be
In a similar fashion to (4), we will write solutions to this system as , where \({{\mathbf {v}}}\) solves the equation
1.4 Notation and conversion to the general case
In the following, \({\mathcal {H}}^\alpha \) will denote the Sobolev space \(H^\alpha \times H^{\alpha -2}\), with norm given by
Similarly, \({\mathscr {W}}^{\alpha ,p}\) will denote the Sobolev space \(W^{\alpha ,p} \times W^{\alpha -2,p}\) with norm given by
and as already discussed, \({\mathscr {C}}^\alpha := C^\alpha \times C^{\alpha -2}\), with norm given by
In order to convert the argument presented in this paper into the one for the general case, we make the following modifications:
with the analogous modifications of the norms. Moreover, S(t) would denote the linear propagator for (1), and
is defined for \(0< \alpha < \frac{s-d}{2}\). Moreover, in the following discussion, the space \({\mathcal {H}}^2\) has to be substituted by the space \({\mathcal {H}}^\frac{s}{2}\), and any threshold of the regularity in the form \(\alpha < \frac{1}{2}\) has to be substituted by \(\alpha < \frac{s-d}{2}\).
2 Stochastic Objects
This section is dedicated to building the stochastic objects that we will need throughout the paper and to proving the relevant estimates about them, in the case \(s=4, d=3\). More precisely, in the first subsection we prove that and almost surely. In the second subsection, we build the Gibbs measure(s) and we prove that they are actually concentrated on \(X^\alpha \).
2.1 Stochastic convolution
We will use that the space-time white noise is a distribution-valued random variable such that, for every \(\phi ,\psi \in C^\infty _c({\mathbb {R}}\times {\mathbb {T}}^d)\),
Proposition 2.1
For every \(\alpha < \frac{1}{2}\),
Moreover, almost surely.
Proof
For a test function \({\mathbf {f}}= \begin{pmatrix} f \\ f_t \end{pmatrix}\), define
where \(\left\langle {\mathbf {f}},{\mathbf {g}}\right\rangle = \int f{{\overline{g}}} + \int f_t\overline{g_t}\). We have that
where \(\pi _2\) is the projection on the second component. Therefore, by definition of \(\xi \),
Hence, by boundedness of S(t), we have that \(\gamma (t,s)[{\mathbf {f}}] \lesssim \left\| {f}\right\| _{H^{-2}}^2 + \left\| {f_t}\right\| _{L^2}^2\). Moreover, since
we have \({{\,\mathrm{Lip}\,}}(\gamma (\cdot ,\cdot )[{\mathbf {f}}])\lesssim \left\| {f}\right\| _{L^2}^2 + \left\| {f_t}\right\| _{H^2}^2\), so by interpolation, for every \(0 \le \theta \le 1\), we have
Therefore, choosing \(\theta = \frac{1-2\alpha -\varepsilon }{4}\), we have
By translation invariance of the operator S(t), we have that
for every \(x,y \in {\mathbb {T}}\), so
and similarly
By hypercontractivity, (or since is Gaussian),
and
so for \(p>q\),
Therefore, by Kolmogorov Continuity Theorem, if \(\alpha < \frac{1}{2}\), by taking p big enough in such a way that \(\frac{p(1-2\alpha -\varepsilon )}{4}>1\), we have For every \(\beta < \alpha \), by Sobolev embeddings we can find \(q<+\infty \) s.t. \({\mathscr {W}}^{\alpha ,q} \subset {\mathscr {C}}^{\beta }\). From this we get that . \(\quad \square \)
Proposition 2.2
For every \(t>0\), a.s. More precisely,
for every \(\alpha < \frac{1}{2}\).
Proof
Let \({\mathbf {f}}=\begin{pmatrix} f \\ f_t \end{pmatrix}\) be a test function, and let \({{\tilde{\gamma }}}\) to be such that
As for (11), we have the analogous of (12)
Therefore, exactly as for (11), we have \({{\tilde{\gamma }}}(t,s)[{\mathbf {f}}] \lesssim \left\| {f}\right\| _{H^{-2}}^2 + \left\| {f_t}\right\| _{L^2}^2\) and \({{\,\mathrm{Lip}\,}}({{\tilde{\gamma }}}(\cdot ,\cdot )[{\mathbf {f}}])\lesssim \left\| {f}\right\| _{L^2}^2 + \left\| {f_t}\right\| _{H^2}^2\). Therefore, proceeding as in (13),
and arguing as in (14), for every \(p>q\),
Therefore, by Kolmogorov Continuity Theorem, a.s. and
Therefore, , which is summable in N, so by Borel-Cantelli definitely. Taking \(\beta <~\alpha \) and q big enough, by Sobolev embeddings we have that definitely. Therefore,
which in particular implies (2.2). \(\quad \square \)
2.2 Invariant measure
Consider the distribution-valued random variable
where \(g_n,h_n\) are independent complex-valued standard gaussians (i.e. the real and imaginary parts are independent real valued standard gaussians). If \({\mathbf {f}} = \begin{pmatrix} f \\ f_t \end{pmatrix}\) is a test function, then
Therefore, if \(\mu \) is the law of \({{\mathbf {u}}}\), we have that formally
Proposition 2.3
For every \(\alpha < \frac{1}{2}\), \({{\mathbf {u}}}\in {\mathscr {C}}^\alpha \) a.s.
Proof
By Sobolev embeddings, it is enough to show that \(u \in {\mathscr {W}}^{\alpha ,p}\) a.s. for every \(p > 0\). We have that
and similarly
Therefore, by hypercontractivity, for \(q>p\),
and in particular \( u \in {\mathscr {W}}^{\alpha ,p}\) a.s. \(\quad \square \)
Proposition 2.4
For every \(\alpha < \frac{1}{2}\), \(S(t){{\mathbf {u}}}\in C_t{\mathscr {C}}^\alpha \) a.s. Moreover,
a.s. In particular, \({{\mathbf {u}}}\in X^\alpha \) a.s.
Proof
For a test function \({\mathbf {f}}\), we have that
where
Therefore, we have \(\overline{\gamma }(t,s)[{\mathbf {f}}] \lesssim \left\| {f}\right\| _{H^{-2}}^2 + \left\| {f_t}\right\| _{L^2}^2\) and \({{\,\mathrm{Lip}\,}}(\overline{\gamma }(\cdot ,\cdot )[{\mathbf {f}}])\lesssim \left\| {f}\right\| _{L^2}^2 + \left\| {f_t}\right\| _{H^2}^2\), so we can conclude the proof exactly in the same way as in Proposition 2.2. \(\quad \square \)
However, we are not interested in \(\mu \), but in the Gibbs measure\(\rho \), which formally is given by
where Z is the normalisation factor.
Proposition 2.5
The function \(F({{\mathbf {u}}}) := \exp \big (-\frac{1}{4}\int u^4\big )\) belongs to \(L^\infty (\mu )\) and \(\left\| {F}\right\| _{L^\infty (\mu )} \le 1\). Moreover, if \(F_N({{\mathbf {u}}}) := \exp \big (-\frac{1}{4}\int (P_{\le N}u)^4\big )\), then \(\left\| {F_N}\right\| _{L^\infty (\mu )}\le 1\) and \(F_N\rightarrow F\) in \(L^p(\mu )\) for every \(1\le p <+\infty \).
In particular, the probability measures \(\rho _N := Z_N^{-1}F_N\mu \), \(\rho := Z^{-1}F\mu \) are well defined, absolutely continuous with respect to \(\mu \), and, for every set E, \(\rho _N(E) \rightarrow \rho (E)\).
Proof
By Proposition 2.3, \(\int u^4 < +\infty \)\(\mu \)-a.s., so \(F, F_N\) are well defined \(\mu \)-a.s. Moreover, since \(\int f^4 \ge 0\) for every f, we have that \(F,F_N \le 1\). Again by Proposition 2.3, \(P_{\le N} u \rightarrow u\) in \(L^4\), so up to subsequences, \(F_N \rightarrow F\)\(\mu \)-a.s., therefore \(\int |F_N-F|^p\mathrm d\mu \rightarrow 0\) by dominated convergence. \(\quad \square \)
3 Local and Global Well Posedness
In this section, we will show local and global well posedness in \(X^\alpha \) for the equations (4), (9), relying onto the probabilistic estimates of the previous section and the Da Prato-Debussche trick.
Local well posedness will follow by a standard Banach fixed point argument. For global well posedness, following [8] we estimate an appropriate energy for the remainder \({{\mathbf {v}}}\), and we combine this argument with an integration by parts trick from [37].
3.1 Local well posedness
Proposition 3.1
The equations
where \({{\mathbf {v}}}_0 \in {\mathcal {H}}^2\) and \(u_0\in X^\alpha \), are locally well-posed.
More precisely, there exists such that there exists a unique solution \({{\mathbf {v}}}(t;{{\mathbf {v}}}_0,{{\mathbf {u}}}_0,\xi ) \in C_t{\mathcal {H}}^2\), defined on a maximal interval (respectively) \([0,T^*({{\mathbf {v}}}_0,{{\mathbf {u}}}_0,\xi ))\), \([0,T_N^*({{\mathbf {v}}}_0,{{\mathbf {u}}}_0,\xi ))\), with \(T^*,T_N^* > T\).
Moreover, if \(T^*<+\infty \), then the following blowup condition holds
Respectively, if \(T_N^* < +\infty \), we have
Proof
Consider the map given respectively by
We want to show that for some universal \(C>0\), \(R=2C(1+\left\| {{{\mathbf {v}}}_0}\right\| _{{\mathcal {H}}^2})\), , this map is a contraction on \(B_R\subseteq C([0,T];{\mathcal {H}}^2)\). By the uniform boundedness of S(t) and \(P_{\le N}\) as operators \({\mathcal {H}}^2\rightarrow {\mathcal {H}}^2\), we have that, if \({{\mathbf {v}}}\in B_R\),
where we just used the Sobolev embedding \(\left\| {v}\right\| _{L^\infty } \lesssim \left\| {v}\right\| _{H^2}\).
Therefore, if C is the implicit constant in this inequality, for T small enough (), \(\Gamma \) maps \(B_R\) into itself. Proceeding similarly,
Therefore, for T small enough (, where \(C'\) is the implicit constant in the inequality),
so \(\Gamma \) is a contraction. This implies that the equations (18), (19) have a unique solution in \(B_R\) up to time .
We notice that if \({{\mathbf {v}}}\) solves (18), then
and similarly, if \({{\mathbf {v}}}_N\) solves (19), then
Since \({{\mathbf {v}}}(s),{{\mathbf {v}}}_N(s) \in {\mathcal {H}}^2\), \(S(s){{\mathbf {u}}}_0 \in X^\alpha \) and , we can repeat the same contraction argument on , and we obtain that (22) and (23) have a unique solution on the interval
To show uniqueness up to time \(T^*\) or \(T_N^*\), suppose we have two different solutions \({{\mathbf {v}}}_1,{{\mathbf {v}}}_2\). Let \(s:=\inf \{t|{{\mathbf {v}}}_1(t)\ne {{\mathbf {v}}}_2(t)\}\). Then we have \({{\mathbf {v}}}_1(s)={{\mathbf {v}}}_2(s)\), and both \({{\mathbf {v}}}_1(s+t)\) and \({{\mathbf {v}}}_2(s+t)\) solve either (22) or (23), so they have to be equal up to time , which is in contradiction with the definition of s.
To show the blowup condition (20), suppose by contradiction that v solves (18) and \(\left\| {{{\mathbf {v}}}(t)}\right\| _{{\mathcal {H}}^2} \le C\) for every \(t<T^*\). Taking
let \(s:= T^*-\frac{T}{2}\). We clearly have \(T^* \ge T\), so \(s >0\). Then \({{\mathbf {v}}}(s+\cdot )\) solves (22), and we can extend the solution up to time
Therefore, we can extend \({{\mathbf {v}}}\) as solution of (18) up to time \(s+T = T^* + \frac{T}{2}\), contradiction.
The same argument holds for solutions of (19). \(\quad \square \)
Proposition 3.2
(Continuity of the flow). Let \({{\mathbf {v}}}({{\mathbf {u}}}_0)\) solve (18) in an interval \([0, T^*)\). Let \( T <T^*\). Then there exists a neighbourhood U of \({{\mathbf {u}}}_0\) such that \({{\mathbf {v}}}({{\tilde{{{\mathbf {u}}}}}}_0)\) is a solution of (18) in the interval [0, T] for every \({{\tilde{{{\mathbf {u}}}}}}_0 \in U \subseteq X^\alpha \) and \(\lim _{\left\| {{{\tilde{{{\mathbf {u}}}}}}_0 - {{\mathbf {u}}}_0}\right\| _{X^\alpha }\rightarrow 0} {{\mathbf {v}}}({{\tilde{{{\mathbf {u}}}}}}_0) = {{\mathbf {v}}}({{\mathbf {u}}}_0)\) in \(C([0,T];{\mathcal {H}}^2)\). The same holds for solutions of (19).
Proof
We prove the result just for solutions of (18), the case of (19) is completely analogous. We want to prove that
By definition, we have that \(\tau ^*\ge 0\) (with \(U = B_\frac{1}{2}({{\mathbf {u}}}_0)\) for \(T=0\)). Suppose by contradiction that \(\tau ^* < T^*\). Let
where T(a, b, c) is defined as in the proof of Proposition 3.1. Proceeding as in the proof of Proposition 3.1, \({{\mathbf {v}}}({{\tilde{{{\mathbf {u}}}}}}_0)(t + [(\tau ^*-\tau )\vee 0])\) will satisfy (22) with \(s= (\tau ^*-\tau ) \vee 0\). Let U be the set corresponding to \(T=s\) in the definition of \(\tau ^*\). By definition of \(\tau \), proceeding as in the proof of Proposition 3.1,
will be a contraction (with Lipschitz constant \(\frac{1}{2}\)) in the ball
for every \({{\tilde{{{\mathbf {u}}}}}}_0 \in U\). Moreover, these solutions will satisfy
so proceeding as in the proof of Proposition 3.1, and recalling that \(2\tau \le 1\),
Therefore, for \(\left\| {{{\mathbf {u}}}_0-{{\tilde{{{\mathbf {u}}}}}}_0}\right\| _{X^\alpha } \rightarrow 0\), by definition of \(\tau ^*\) we have that
as well and so
which implies that in a small neighbourhood \(V\cap U\) around \({{\mathbf {u}}}_0\),
and
which contradicts the maximality of \(\tau ^*\). \(\quad \square \)
Lemma 3.3
Let \({{\mathbf {v}}}_0\in {\mathcal {H}}^2\), \({{\mathbf {u}}}_0\in X^\alpha \), and let \({{\mathbf {v}}}_N\) be the solution of (19). Suppose that for some \(K\in {\mathbb {R}}\),
Then the solution \({{\mathbf {v}}}\) to (18) satisfies \(T^* \ge \overline{T}\), \(\sup _{0\le t \le \overline{T}} \left\| {{{\mathbf {v}}}}\right\| _{{\mathcal {H}}^2} \le K\), and \(\left\| {{{\mathbf {v}}}(t) - {{\mathbf {v}}}_N(t)}\right\| _{C([0,\overline{T}];{\mathcal {H}}^2)} \rightarrow 0\) as \(N \rightarrow \infty \).
Proof
Let
In Proposition 3.1 we have shown that \(\Gamma \) is a contraction (with \({{\,\mathrm{Lip}\,}}(\Gamma ) \le \frac{1}{2}\)) in \(B_R \subset C([0,T];{\mathcal {H}}^2)\), where
We have that
so
By Bernstein’s inequalities, \(\left\| {P_{>N} w}\right\| _{L^2} \lesssim N^{-\alpha }\left\| {w}\right\| _{H^\alpha } \lesssim N^{-\alpha }\left\| {{{\mathbf {w}}}}\right\| _{{\mathscr {C}}^\alpha }\). Therefore, for \(\alpha < \frac{1}{2}\),
therefore for N big enough, since \(\Gamma \) is a contraction, then
Now let \({\mathscr {T}}:=\sup \{\tau > 0 \) s.t. \(\left\| {{{\mathbf {v}}}(t) - {{\mathbf {v}}}_N(t)}\right\| _{C([0,\tau ];{\mathcal {H}}^2)} \rightarrow 0\) as \(N \rightarrow \infty \}\). We just proved that . Suppose by contradiction that \({\mathscr {T}} < \overline{T}\) or that \({\mathscr {T}} = \overline{T}\) but \(\left\| {{{\mathbf {v}}}(t) - {{\mathbf {v}}}_N(t)}\right\| _{C([0,{\mathscr {T}}];{\mathcal {H}}^2)} \not \rightarrow 0\) as \(N\rightarrow \infty \). Let . Let \(s:= {\mathscr {T}} - \frac{T}{2}\). Since \(s< {\mathscr {T}}\), we have that \({{\mathbf {v}}}_N(s) \rightarrow {{\mathbf {v}}}(s)\) in \({\mathcal {H}}^2\), so \(\left\| {{{\mathbf {v}}}(s)}\right\| \le K\). Then \({{\mathbf {v}}}\) solves (22) in (at least) the interval \([s,s+T]\) and \({{\mathbf {v}}}_N\) solves (23) in the same interval. Redefining
and proceeding as before, we have that
and since \(\Gamma \) is a contraction,
so we have that \({{\mathbf {v}}}_N\rightarrow {{\mathbf {v}}}\) uniformly in the interval \([s,s+T]\). Joining this with convergence in the interval [0, s], we have that
which is in contradiction with the definition of \({\mathscr {T}}\). \(\quad \square \)
3.2 Global well posedness
Consider the energy
Proposition 3.4
For every \(0<\alpha <\frac{1}{2}\), there exist \(c > 0\) such that for every solution \({{\mathbf {v}}}_N\) of (19) we have
Together with Lemma 3.3, this implies that
Corollary 3.5
Let \({{\mathbf {v}}}\) be a solution of (7) and let \({{\mathbf {v}}}_N\) be a solution of (10). Then for every \(0< \alpha <\frac{1}{2}\) and for every \(N>1\) we have that
Moreover, \({{\mathbf {v}}}\) is a.s. defined on the half-line \([0,+\infty )\), it satisfies the same estimate
and for every \(T < +\infty \),
Remark 3.6
Any solution \({{\mathbf {v}_N}}\) of (10) actually belongs to \(C^1([0,T^*);{\mathscr {C}}^\infty )\). Indeed, for any \(t\le T<T^*\), proceeding like in (21),
where we just used that \(\left\| {\left\langle {\nabla }\right\rangle ^s P_{\le N}}\right\| _{L^2\rightarrow L^2} \lesssim N^s\). Similarly,
Proceeding in this way, it is actually possible to show that \({{\mathbf {v}_N}}\in C^\infty _t([0,T^*);{\mathscr {C}}^\infty )\), however, we will never need more regularity than \(C^1\) (in time).
In the remainder of this subsection, in order to make the notation less cumbersome, we will omit the subscript N from \({{\mathbf {v}}}_N\) whenever it is not relevant in the analysis.
Lemma 3.7
If \({{\mathbf {v}}}\) solves (10), then
Proof
By Remark 3.6, \(E({{\mathbf {v}}})\) is differentiable, and moreover \({{\mathbf {v}}}\) satisfies
The formula follows by computing \(\partial _t E\), and using the equation to substitute the term \(v_{tt}\). \(\quad \square \)
Lemma 3.8
If \({{\mathbf {v}}}\) solves (10), then
Proof
If \({{\mathbf {v}}}\) solves (10), then we can write \({{\mathbf {v}}}\) in the form \({{\mathbf {v}}}= P_{\le N} {{\mathbf {w}}}\) for some \({{\mathbf {w}}}\), therefore \(P_{>N}{{\mathbf {v}}}= 0.\) Therefore,
\(\square \)
Lemma 3.9
If \({{\mathbf {v}}}\) solves (10), then for every \(0<\alpha <\frac{1}{2}\),
Proof
By Hölder, we have that
so by noticing that \(\left\| {v_t}\right\| _{L^2} \lesssim E^\frac{1}{2}\), \(\left\| {v}\right\| _{L^2} \lesssim E^\frac{1}{2}\), \(\left\| {v}\right\| _{L^4} \lesssim E^\frac{1}{4}\), and
we have that
Proceeding similarly,
\(\square \)
Lemma 3.10
If \({{\mathbf {v}}}\) solves (10), then for every \(0<\alpha <\frac{1}{2}\),
Proof
By Hölder,
\(\square \)
Lemma 3.11
If \({{\mathbf {v}}}\) solves (10), then
and for every \(0< \alpha <\frac{1}{2}\),
Proof
(31) follows just from Leibniz rule. In order to prove the estimate, notice that \(\left\| {v}\right\| _{L^4} \lesssim E^\frac{1}{4}\), and \(\left\| {v}\right\| _{H^2} \lesssim E^\frac{1}{2}\). Therefore, by Hölder and fractional Leibniz respectively,
Therefore, by interpolation (Gagliardo - Nirenberg), if \(\frac{1}{p} = (1-\frac{\alpha }{2}) + \frac{\alpha }{2}\cdot \frac{3}{4} = 1-\frac{\alpha }{8}\), then \(\left\| {v^3}\right\| _{W^{2-\alpha ,p}} \lesssim E^{(1-\frac{\alpha }{2}) + \frac{\alpha }{2}\cdot \frac{3}{4}} = E^{1-\frac{\alpha }{8}}\). Hence
\(\square \)
Proof of Proposition 3.4
Let . By Hölder and Young’s inequalities,
Therefore,
Using Lemma 3.7 and (31), we have that
Therefore, using Lemmas 3.11, 3.9, 3.10, 3.8, Young’s inequality and (32), for some constant C (that can change line by line) we have
Therefore, by Gronwall, if \(c:=\frac{2}{5}\), for some other constant C we have
\(\square \)
4 Invariance
The goal of this section is showing that the flow of (4) is a stochastic flow which satisfies the semigroup property, and proceed to prove that the measure \(\rho \) is invariant for the flow of (4). Even if we will not use it explicitly in the following, the semigroup property ensures that the maps on Borel functions
define a Markov semigroup, to which we can apply the usual theory for stationary measures.
Recall that, if \({{\mathbf {u}}}_0 \in X^ \alpha \), the flow of (4) at time t with initial data \({{\mathbf {u}}}_0\) is defined as
where \({{\mathbf {v}}}\) solves (7).
Proposition 4.1
The map \(\Phi \) satisfies the semigroup property, i.e. for every F measurable and bounded,
where \(\xi _1,\xi _2\) are two independent copies of space-time white noise.
Proof
Given \(\xi _1,\xi _2\) independent copies of the white noise, let \({{\tilde{\xi }}}\) be defined by
for every test function \(\phi \). It is easy to see that \({{\tilde{\xi }}}\) satisfies the universal property
so it is a copy of space-time white noise. Moreover, from a direct computation,
and so for every F measurable and bounded,
\(\square \)
Proposition 4.2
Consider the flow given by
where \({{\mathbf {v}}}_N\) solves (10). Then the measure
is invariant for the the process associated to the flow \(\Phi ^N_t(\cdot ;\xi )\), where \(Z_N = \int \exp \Big ( - \frac{1}{4} \int (P_{\le N}u)^4 \Big ) \mathrm d\mu ({{\mathbf {u}}})\) (so that \(\rho _N\) is a probability measure).
Proof
Let \({\mathbf {X}}\) be a random variable with law \(\mu \), independent from \(\xi \). Invariance of (35) is equivalent to showing that
for every \(F: X^\alpha \rightarrow {\mathbb {R}}\) continuous. Let \(M \ge N\). By definition of \(X^\alpha \), we have that \(\lim _{M \rightarrow \infty } \left\| {{{\mathbf {u}}}- P_M {{\mathbf {u}}}}\right\| _{X^\alpha } = 0\) for every \(u \in X^{\alpha '}\), \(\alpha ' > \alpha \). Therefore, by Proposition 2.2 and Proposition 3.2, one has that for every \(t\ge 0\),
Therefore, by dominated convergence, it is enough to prove that
By (34), it is easy to check that \({\mathbf {Y}}= (Y,Y_t)^T:= \Phi ^N_t(\cdot ;P_M\xi )\) solves the SDE
where \(\mathrm dW_M:= P_M \xi \) is a space-time white noise on the finite dimensional space given by the image of the map \(P_M\). Therefore, if we show that the measure \({{\tilde{\rho }}}\) defined on the image of \(P_M\),
is invariant for the flow \({\mathbf {Y}}\), we get (36). Since \({\mathbf {Y}}\) solves an SDE with smooth coefficients, this is true if and only if \({{\tilde{\rho }}}\) solves the Fokker-Planck equation
which can be shown through a direct computation. \(\quad \square \)
Corollary 4.3
The measure \(\rho \) is invariant by the flow of (4).
Proof
By Corollary 3.5, one has that for every \(t>0\) and every \({{\mathbf {u}}}_0 \in X^\alpha \), \(\Phi ^N_t({{\mathbf {u}}}_0;\xi ) \rightarrow \Phi _t({{\mathbf {u}}}_0;\xi )\) in \(X^\alpha \) a.s. Let \(F:X^\alpha \rightarrow {\mathbb {R}}\) be continuous and bounded. By dominated convergence and Proposition 4.2, we have
\(\square \)
5 Ergodicity
In this section, we proceed to show unique ergodicity for the flow \(\Phi _t({{\mathbf {u}}}_0;\xi )\) of (4). We recall that, as discussed in Sect. 1, the flow is naturally split as , where \({{\mathbf {v}}}= {{\mathbf {v}}}({{\mathbf {u}}}_0,\xi ;t)\) solves (7).
As discussed in the introduction, the flow of (4) does not satisfy the strong Feller property, so more “standard” techniques are not applicable. Indeed, by taking a set \(E_t\subset X^\alpha \) such that , we can see that
Taking \(0<\alpha< \alpha _1 < \frac{1}{2}\), let \(\overline{{{\mathbf {u}}}}_0 \in X^\alpha \setminus {\mathcal {H}}^{\alpha _1}\), whose existence is guaranteed by Lemma 1.4. We have that \(S(t)\overline{{{\mathbf {u}}}}_0 \not \in {\mathcal {H}}^{\alpha _1}\) for every tFootnote 1, and so for every \(\lambda \ne 0\),
By taking \(E_t\subseteq {\mathcal {H}}^{\alpha _1}\), (as allowed by Proposition 2.2), we have that this probability is bounded from above by
Therefore, the function
satisfies \(\Psi ({\mathbf {0}}) = 1\) and \(\Psi (\lambda \overline{{{\mathbf {u}}}}_0) = 0\) for \(\lambda \ne 0\), therefore is not continuous in \({\mathbf {0}}\). With the same argument, we can see that \(\Psi ({\mathcal {H}}^2) = \{1\}\) and \(\Psi (X^\alpha \setminus {\mathcal {H}}^{\alpha _1}) = \{0\}\), and since both sets are dense in \(X^\alpha \), we have that \(\Psi \) is not continuous anywhere.
5.1 Restricted strong Feller property and irreducibility of the flow
In this subsection, we try to recover some weaker version of the strong Feller property for the flow \(\Phi \). The end result will be to prove the following lemma, which will be crucial for the proof of ergodicity:
Lemma 5.1
Let \(\nu _1,\nu _2\) be two invariant measures (in the sense of (2)) such that \(\nu _1\perp \nu _2\). Then there exists some \(V \subset X^\alpha \) such that \(\nu _1(V)=1\) and \(\nu _2(V + {\mathcal {H}}^2) = 0\).
In order to prove this, it is convenient to introduce the space \({\mathcal {X}}^\alpha = X^\alpha \) equipped with the distance
While \({\mathcal {X}}^\alpha \) is a complete metric space and a vector space, it does not satisfy many of the usual hypotheses on ambient spaces: it is not a topological vector space, it is disconnected, and it is not separable. Moreover, the sigma-algebra \({\mathscr {B}}\) of the Borel sets on \(X^\alpha \), which is also the sigma-algebra we equip \({\mathcal {X}}^\alpha \) with, does not coincide with the Borel sigma-algebra of \({\mathcal {X}}^\alpha \) - \({\mathscr {B}}\) is strictly smallerFootnote 2. However, in this topology, we can prove the strong Feller property.
Proposition 5.2
(Restricted strong Feller property). The process associated to the flow \(\Phi _t(\cdot ;\xi )\) of (4) defined on \({\mathcal {X}}^\alpha \) has the strong Feller property, i.e. for every \(t>0\), the function
is continuous as a function \({\mathcal {X}}^\alpha \rightarrow {\mathbb {R}}\) for every \(G:{\mathcal {X}}^\alpha \rightarrow {\mathbb {R}}\) measurable and bounded.
We would like to point out that a phenomenon similar to the one described by this proposition, i.e. the fact that the strong Feller property holds only with respect to a stronger topology, has already been observed in the literature for other equations, for instance in [17].
Before being able to prove Proposition 5.2, we need the following (completely deterministic) lemma, which will take the role of support theorems for \(\xi \).
Lemma 5.3
For every \(t>0\), there exists a bounded operator \(T_t: {\mathcal {H}}^2 \rightarrow L^2([0,t];L^2)\) such that for every \({{\mathbf {w}}}\in {\mathcal {H}}^2\),
Proof
This lemma is equivalent to proving that the operator
has a right inverse. Since \({\mathcal {H}}^2\) and \(L^2([0,t];L^2)\) are both Hilbert spaces, we have that has a right inverse if and only if has a left inverse. In Hilbert spaces, this is equivalent to the estimate . We have that
where \(\pi _2\) is the projection on the second component. Therefore,
For convenience of notation, define \(L := \sqrt{\frac{3}{4} + \Delta ^2}\), and define \(\left\| {w}\right\| _{H}^2 := \big (\int |Lw|^2\big )\)Footnote 3. In the space \({\mathcal {H}}\cong {\mathcal {H}}^2\) given by the norm \(\left\| {{{\mathbf {w}}}}\right\| _{{\mathcal {H}}}^2 = \left\| {w}\right\| _{H}^2 + \left\| {w_t}\right\| _{L^2}^2\), we have that
Therefore, if \(\lambda _n := \sqrt{\frac{3}{4} + |n|^4}\), by Parseval
Since by Parseval \(\left\| {w}\right\| _{H} = \left\| {\lambda _n{{\widehat{w}}}}\right\| _{l^2}\) and \(\left\| {w_t}\right\| _{L^2} = \left\| {{{\widehat{w}}}_t}\right\| _{l^2}\), the lemma is proven if we manage to prove that the quadratic form on \({\mathbb {R}}^2\)
satisfies \(B_n \ge c_n {{\,\mathrm{id}\,}}\), with \(c_n \ge \varepsilon > 0\) for every \(n \in {\mathbb {Z}}^3\). We have that \(B_n > 0\), since the integrand cannot be identically 0 for \((x,y) \ne (0,0)\) (if the integrand is 0, by evaluating it in \(s=0\) we get \(y=0\), from which evaluating in almost any other s we get \(x=0\)). Therefore, it is enough to prove that \(c_n \rightarrow c > 0\) as \(|n| \rightarrow +\infty \). As \(|n| \rightarrow +\infty \), \(\lambda _n \rightarrow +\infty \) as well, so
Hence, \(B_n \rightarrow \frac{t}{2} {{\,\mathrm{id}\,}}\) and so \(c_n \rightarrow \frac{t}{2} > 0\). \(\quad \square \)
Proof of Proposition 5.2
We recall the decomposition For \(h \in L^2_{t,x}\), adapted to the natural filtration induced by \(\xi \), let
Let \(C_1\gg 1\), , and \(T_t\) as in Lemma 5.3. Let \({{\mathbf {u}}}_0\in {\mathcal {X}}^\alpha \) . By Corollary 3.5, as long as \(\xi \in E\) and \(C_2\) is big enough (depending on \({{\mathbf {u}}}_0,C_1\)), then
in a neighbourhood of \({{\mathbf {u}}}_0\). For convenience of notation, we denote
Because of (7), \({{\mathbf {v}}}\) satisfies , and by the continuity of the flow in the initial data, \({\mathcal {T}}_t{{\mathbf {v}}}\) is continuous in \({{\mathbf {u}}}_0\). Moreover, \({\mathcal {T}}_t{{\mathbf {v}}}\) will always be adapted to the natural filtration induced by \(\xi \).
By Girsanov’s theorem ([32, Theorem 1]), we have that
Notice that Novikov condition ((2.1) in ([32, Theorem 1])) is satisfied automatically by the estimate \(\left\| {{\mathcal {T}}_t{{\mathbf {v}}}({{\mathbf {u}}},\xi ;t)}\right\| _{{\mathcal {H}}^2} \le C_2\), which holds true on \(\{\xi \in E\}\).Footnote 4 Let \({{\mathbf {v}}}_0 \in {\mathcal {H}}^2\), with \(\left\| {{{\mathbf {v}}}_0}\right\| _{{\mathcal {H}}^2} \le C_2\).
Up to changing \({{\mathbf {v}}}\) outside of E, we can assume \(\left\| {{{\mathbf {v}}}({{\mathbf {u}}},\xi ;t)}\right\| _{{\mathcal {H}}^2} \le C_2\). Therefore, we have (using Girsanov again)
Notice that, by Burkholder–Davis–Gundy inequality, for h in the form \(h= T_t S(t) {{\mathbf {w}}}+ {\mathcal {T}}_t{{\mathbf {v}}}\), with both \(\left\| {{{\mathbf {v}}}}\right\| _{L^2_{t,x}} \le C_2\) and \(\left\| {{{\mathbf {w}}}}\right\| _{{\mathcal {H}}^2} \le C_2\),
where \(\Psi _1,\Psi _2, \Psi \) are monotone analytic functions with infinite radius of convergence. With the same computation, we get
Therefore, by continuity of the flow of (4) in the initial data, for \(\left\| {{{\mathbf {v}}}_0}\right\| _{{\mathcal {H}}^2} \ll 1\), we have that
which is converging to 0 as \(\left\| {{{\mathbf {v}}}_0}\right\| _{{\mathcal {H}}^2} \rightarrow 0\) because of dominated convergence. Therefore,
Since the left-hand-side does not depend on \(C_1\), we can send \(C_1 \rightarrow \infty \), and we obtain that
i.e. \({\mathbb {E}}[G(\Phi _t({{\mathbf {u}}},\xi ))]\) is continuous in \({{\mathbf {u}}}\) in the \({\mathcal {X}}^\alpha \) topology. \(\quad \square \)
While the topology of \({\mathcal {X}}^\alpha \) does not allow to extend many common consequences of the strong Feller property, we still have the following generalisation of the disjoint supports property.
Corollary 5.4
Let \(\nu _1\perp \nu _2\) be two invariant measures. Then there exists a measurable open set \(V_0 \subseteq {\mathcal {X}}^\alpha \) such that \(\nu _1(V_0) = 1\) and \(\nu _2(V_0)=0\).
Proof
Let \(S_1 \subset {\mathcal {X}}^\alpha \) be a measurable set with \(\nu _1(S_1) = 1\), \(\nu _2(S_1) = 0\). Recall that a set is measurable if and only if it is Borel in \(X^\alpha \). Consider the function
By the Proposition 5.2, \(\Psi :{\mathcal {X}}^\alpha \rightarrow {\mathbb {R}}\) is continuous. Moreover, since \(S_1\) is a Borel set in \(X^\alpha \), \(\Psi \) is also measurable. By invariance of \(\nu _j\), \(\Psi = 1\)\(\nu _1\)-a.s. and \(\Psi = 0\)\(\nu _2\)-a.s. Let \(V_0:=\{\Psi > \frac{1}{2}\}\). We have that \(V_0\subset {\mathcal {X}}^\alpha \) is open by continuity of \(\Psi \), it is measurable since \(\Psi \) is measurable,
and
\(\square \)
Lemma 5.5
(Irreducibility). Suppose that \(\nu \) is invariant for the flow of (4), and let \(E\subset X^\alpha \) such that \(\nu (E) = 0\). Then for every \({{\mathbf {w}}}\in {\mathcal {H}}^2\), \(\nu (E+{{\mathbf {w}}}) = 0\).
Proof
Since \(X^\alpha \) is a Polish space, by inner regularity of \(\nu \) it is enough to prove the statement when E is compact. Take \(C_1 < +\infty \), and let
Proceeding in a similar way to Proposition 5.2, we have that by the compactness of E, the boundedness of and Proposition 3.5, \({\mathcal {T}}_t{{\mathbf {v}}}\) satisfies Novikov’s condition on \(\{\xi \in F\}\) and
Since \({\mathcal {E}} > 0\)\({\mathbb {P}}\times \nu -\)a.s., this implies that \({\mathbb {P}}\times \nu -\)a.s. By sending \(C_1\rightarrow \infty \), by monotone convergence we obtain that \({\mathbb {P}}\times \nu -\)a.s.
Let \({{\mathbf {w}}}\in {\mathcal {H}}^2\). Then, proceeding similarly,
since the integrand is 0 \({\mathbb {P}}\times \nu -\)a.s. By taking \(C_1 \rightarrow \infty \), by monotone convergence we get
\(\square \)
Proof of Lemma 5.1
Let \(\nu _1\perp \nu _2\) be two invariant measures, let \(V=V_0\) be the set given by Corollary 5.4, and let \(\{{{\mathbf {w}}}_n\}_{n\in {\mathbb {N}}}\) be a countable dense subset of \({\mathcal {H}}^2\). We have that, by definition, \(\nu _1(V) = 1\) and \(\nu _2(V) = 0\). By Lemma 5.5, \(\nu _2(V + {{\mathbf {w}}}_n) = 0\) for every \({{\mathbf {w}}}_n\). Therefore, \(\nu _2(\bigcup _n (V+ {{\mathbf {w}}}_n)) = 0\). Moreover, since V is open in \({\mathcal {X}}^\alpha \), we have that \(\bigcup _n (V+ {{\mathbf {w}}}_n) = V + {\mathcal {H}}^2\). Therefore, \(\nu _2(V+{\mathcal {H}}^2)=0\). \(\quad \square \)
5.2 Projected flow
In this subsection, we will bootstrap ergodicity of the measure \(\rho \) from ergodicity of the flow of the linear equation
The measure \(\mu \) defined in (17) is invariant for the flow of this equation (which can be seen as a special case of Proposition 4.2 for \(N=-1\)). Let \(L(t){{\mathbf {u}}}\) be the flow of (37), i.e.
Lemma 5.6
The measure \(\mu \) is the only invariant measure for (37). Moreover, for every \({{\mathbf {u}}}_0 \in X^\alpha \), the law of \(L(t){{\mathbf {u}}}_0\) is weakly converging to \(\mu \) as \(t \rightarrow \infty \).
Proof
Let \({{\mathbf {u}}}_0, {{\mathbf {u}}}_1 \in X^\alpha \), and let \(F: X^\alpha \rightarrow {\mathbb {R}}\) be a Lipschitz function. We have that
Therefore by invariance of \(\mu \), we have that
which is converging to 0 by dominated convergence. Since Lipschitz functions are dense in the set of continuous functions, this implies that the law of \(L(t){{\mathbf {u}}}_0\) is weakly converging to \(\mu \). Similarly, if \(\nu \) is another invariant measure,
which is converging to 0 by dominated convergence. Since the left hand side does not depend on t, one gets that \(\int F({{\mathbf {u}}}_0) \mathrm d\nu ({{\mathbf {u}}}_0) = \int F({{\mathbf {u}}}_1) \mathrm d\mu ({{\mathbf {u}}}_1)\) for every F Lipschitz, so \(\mu = \nu \). \(\quad \square \)
Consider the (algebraic) projection \(\pi : X^\alpha \rightarrow X^\alpha /{\mathcal {H}}^2\). While the quotient space does not have a sensible topology, we can define the quotient sigma-algebra,
which corresponds to the finest \(\sigma \)-algebra that makes the map \(\pi \) measurable. While this will not be relevant in the following, we can see that \({\mathcal {A}}\) is relatively rich: if \(E\subset X^\alpha \) is closed and B is the closed unit ball in \({\mathcal {H}}^2\), since B is compact in \(X^\alpha \), \(E+nB\) is closed for every n, so \(E+ {\mathcal {H}}^2 = \bigcup _n E + nB\) is Borel. Therefore, \(\pi (E) \in {\mathcal {A}}\).
Since S(t) maps \({\mathcal {H}}^2\) into itself, is it easy to see that if \(\pi ({{\mathbf {u}}})=\pi ({{\mathbf {v}}})\), then \(\pi (L(t){{\mathbf {u}}}) = \pi (L(t){{\mathbf {v}}})\). Therefore, \(\pi (L(t) {{\mathbf {u}}})\) is a function of \(\pi ({{\mathbf {u}}})\), and we define
Moreover, if is the flow of (4), where \({{\mathbf {v}}}\) solves (7), since \({{\mathbf {v}}}\) belongs to \({\mathcal {H}}^2\), we have that
Therefore, also \(\pi (\Phi _t({{\mathbf {u}}};\xi ))\) is a function of \(\pi ({{\mathbf {u}}})\), and moreover
so the projections of the flows for (37) and (4) coincide.
Proposition 5.7
The measure \(\pi _\sharp (\mu )\) is ergodic for the process associated to \(\overline{L}(t): X^\alpha /{\mathcal {H}}^2 \rightarrow X^\alpha /{\mathcal {H}}^2\).
Proof
If \(G:X^\alpha /{\mathcal {H}}^2 \rightarrow {\mathbb {R}}\) is a bounded measurable function, then by invariance of \(\mu \),
so \(\pi _\sharp \mu \) is invariant.
Let now G be a function such that \({\mathbb {E}}[G(\overline{L}(t) x)] = G(x)\) for \(\pi _\sharp \mu \)-a.e. \(x~{\in }~X^\alpha /{\mathcal {H}}^2\). Then
so \(G\circ \pi \) is \(\mu \)-a.s. constant by ergodicity of \(\mu \). Therefore, G is \(\pi _\sharp \mu \)-a.s. constant, so \(\pi _\sharp \mu \) is ergodic. \(\quad \square \)
Remark 5.8
We can see \(\mu \) as the law of the random variable \({{\mathbf {u}}}\) defined in (15). In this way, for every \(E\subset X^\alpha \), by definition \(\mu (E) = {\mathbb {P}}(\{{{\mathbf {u}}}\in E\})\). If \(E = E + {\mathcal {H}}^2\), then the event \(\{{{\mathbf {u}}}\in E\}\) is independent from \(\{g_n,h_n| |n|<N\}\) for every N, since \({\mathcal {H}}^2\) contains every function with finite Fourier support. Therefore, \(E \in \bigcap _N \sigma (g_n,h_n| |n|\ge N)\). By Kolmogorov’s 0-1 theorem, this implies that \(\mu (E) = 0\) or \(\mu (E) = 1\).
Since by definition \(\pi _{\sharp }\mu (F) = \mu (\pi ^{-1} (F))\) and \(\pi ^{-1}(F) = \pi ^{-1}(F) + {\mathcal {H}}^2\), then for every set \(F\in {\mathcal {A}}\) we have \(\pi _{\sharp }\mu (F) \in \{0,1\}\), therefore trivially any invariant set has measure 0 or 1, hence the measure \(\pi _\sharp \mu \) is ergodic.
Proposition 5.9
Let \(\nu \) be an invariant measure for the flow of (4) such that \(\pi _\sharp \nu \ll \pi _\sharp \mu \). Then \(\nu = \rho \).Footnote 5
Proof
Suppose by contradiction that \(\nu \ne \rho \). Let
Since \(\rho ,\nu \) are invariant, it is easy to see that \(\rho _1, \rho _2\) are both invariant probabilities. Moreover, \(\rho _1 \perp \rho _2\), and \(\rho _j \ll \rho + \nu \), so \(\pi _\sharp \rho _j \ll \pi _\sharp \rho + \pi _\sharp \nu \ll \pi _\sharp \mu \).
Proceeding as for (39), and using (38), we have
therefore \(\pi _\sharp \rho _j\) is invariant. Moreover, since \(\pi _\sharp \rho _j\ll \pi _\sharp \mu \), by invariance of \(\pi _\sharp \rho _j\) and ergodicity of \(\pi _\sharp \mu \), we must have \(\pi _\sharp \rho _j = \pi _\sharp \mu \). Let now V be the set given by Lemma 5.1, i.e. \(\rho _1(V) = 1\), \(\rho _2(V + {\mathcal {H}}^2) = 0\). We have
contradiction. \(\quad \square \)
Remark 5.10
Using Remark 5.8, it is possible to show \(\pi _\sharp \rho _j=\pi _\sharp \mu \) without using the ergodicity of \(\pi _\sharp \mu \). We have indeed that \(\rho _j\ll \mu \) implies \(\pi _\sharp \rho _j\ll \pi _\sharp \mu \). Let E be any set with \(\pi _\sharp \rho _j(E)>0\). Then by absolute continuity, \(\pi _\sharp \mu (E) > 0\) as well, and by Remark 5.8, \(\pi _\sharp \mu (E) = 1 \ge \pi _\sharp \rho _j(E)\). Therefore \(\pi _\sharp \rho _j\le \pi _\sharp \mu \), and since they are both probabilities, we must have \(\pi _\sharp \rho _j=\pi _\sharp \mu \).
Corollary 5.11
The measure \(\rho \) is ergodic for the Markov process associated to the flow \(\Phi _t(\cdot ,\xi ):X^\alpha \rightarrow X^\alpha \) of (4).
Proof
Let \(\nu \ll \rho \), \(\nu \) invariant. We have that \(\pi _\sharp \nu \ll \pi _\sharp \rho \ll \pi _\sharp \mu \). Hence, by Proposition 5.9, \(\nu = \rho \). Therefore, \(\rho \) is ergodic. \(\quad \square \)
We conclude this section by proving unique ergodicity for the measure \(\rho \). This will be the only part of this paper for which we require the good long-time estimates for the flow given by (24) (up to this point, whenever we used Corollary 3.5, we needed just the qualitative result of global existence and time-dependent bounds on the growth of the solution).
In particular, we will prove the following version of Birkhoff’s theorem for this process, which in particular implies Theorem 1.1.
Proposition 5.12
Let \(\Phi _t({{\mathbf {u}}};\xi )\) be the flow of (4). For every \(u_0 \in X^\alpha \), we have that \(\rho _t \rightharpoonup \rho \) as \(t \rightarrow \infty \), where \(\rho _t\) is defined by
Proof
Consider the usual decomposition
We have that the law \(\mu _t\) of is tight in \(X^\alpha \), because by Lemma 5.6, \(\mu _t \rightharpoonup \mu \) as \(t \rightarrow \infty \). Therefore, there exists compact sets \(K_\varepsilon \subseteq X^\alpha \) such that . Moreover, by the estimate (24) and the compactness of the embedding \({\mathcal {H}}^2 \hookrightarrow X^\alpha \), we have that also the law of \({{\mathbf {v}}}\) is tight; more precisely, there exists constants \(c_\varepsilon \) such that \({\mathbb {P}}(\{\left\| {{{\mathbf {v}}}}\right\| _{{\mathcal {H}}^2} \le c_\varepsilon \})\ge 1- \varepsilon \), uniformly in t. Therefore,
so also the law of \(\Phi _t({{\mathbf {u}}}_0,\xi )\) is tight. By averaging in time, we obtain that also the sequence \(\rho _t\) is. Hence it is enough to prove that every weak limit point \(\overline{\rho }\) of \(\rho _t\) satisfies \(\overline{\rho }= \rho \). Notice that, by definition, \(\overline{\rho }\) is invariant. Let \(t_n \rightarrow \infty \) be a sequence such that \(\rho _{t_n} \rightharpoonup \overline{\rho }\). Consider the random variable
By the same argument, the law \(Y_t\) is tight in \(X^\alpha \times X^\alpha \), with compact sets \(C_\varepsilon \) of the form \(C_\varepsilon = K_\varepsilon \times \{\left\| {y}\right\| _{{\mathcal {H}}^2} \le c_\varepsilon \}\) such that \({\mathbb {P}}(Y_t \in C_\varepsilon ) \ge 1 - \varepsilon \) uniformly in t. Therefore, tightness with the same associated compact sets will hold for the measure \(\nu _t\) given by
Hence, up to subsequences, \(\nu _{t_n} \rightharpoonup \nu \), with \(\nu \) concentrated on \(X^\alpha \times {\mathcal {H}}^2\). Define the maps \({\mathfrak {S}},\pi _1: X^\alpha \times X^\alpha \rightarrow X^\alpha \) by
Since \({\mathfrak {S}}(Y_t) = \Phi _t({{\mathbf {u}}}_0,\xi )\), then \({\mathfrak {S}}_\sharp \nu =\overline{\rho }\). Moreover, since , we have that \((\pi _1)_\sharp \nu _t = \mu _t\), so \((\pi _1)_\sharp \nu = \mu \). Recall the projection \(\pi :X^\alpha \rightarrow X^\alpha /{\mathcal {H}}^2\). On \(X^\alpha \times {\mathcal {H}}^2\), we have that \(\pi \circ {\mathfrak {S}} = \pi \circ \pi _1\). Therefore, since \(\nu \) is concentrated on \(X^\alpha \times {\mathcal {H}}^2\),
Hence, by Proposition (5.9), we get \(\overline{\rho }= \rho \). \(\quad \square \)
Remark 5.13
If we could improve Proposition 5.7 to unique ergodicity for the measure \(\pi _\sharp \mu \), we would automatically improve the result of Corollary 5.11 to unique ergodicity, without using at all the long time estimates for the growth of \({{\mathbf {v}}}\). Indeed, in the proof of Proposition 5.9, the only point in which we used the condition \(\rho _j \ll \rho \) was for showing that \(\pi _\sharp \rho _j = \pi _\sharp \mu \). If we knew that the measure \(\pi _\sharp \mu \) was uniquely ergodic, then \(\pi _\sharp \rho _j = \pi _\sharp \mu \) will follow automatically from invariance, without the need for the extra condition \(\rho _j \ll \rho \).
Notes
Since S(t) in invertible in \({\mathcal {H}}^{\alpha _1}\).
Take \({{\mathbf {u}}}_0 \in X^\alpha \setminus {\mathcal {H}}^2\), and let \(E\subseteq {\mathbb {R}}\) be not Borel. Then it is easy to see that \(E{{\mathbf {u}}}_0:=\{\lambda {{\mathbf {u}}}_0|\lambda \in E\}\) is not in \({\mathscr {B}}\), but it is closed in \({\mathcal {X}}^\alpha \).
It is easy to see that it is equivalent to the usual \(H^2\) norm \(\int |\sqrt{1+\Delta ^2}w|^2\)
To define a global adapted process that is equal to \({\mathcal {T}}_t{{\mathbf {v}}}\) on \(\{\xi \in E\}\) and bounded by \(C_2\) everywhere, we can for instance stop \({\mathcal {T}}_t{{\mathbf {v}}}\) when its norm reaches \(C_2\).
Notice that since \(\rho \ll \mu \), then \(\pi _\sharp \rho \ll \pi _\sharp \mu \).
References
Bourgain, J.: Periodic nonlinear Schrödinger equation and invariant measures. Commun. Math. Phys. 166(1), 1–26 (1994)
Bourgain, J.: Invariant measures for the 2D-defocusing nonlinear Schrödinger equation. Commun. Math. Phys. 176(2), 421–445 (1996)
Bourgain, J.: Invariant measures for the Gross–Piatevskii equation. J. Math. Pures Appl. 76(8), 649–702 (1997)
Bourgain, J., Bulut, A.: Invariant Gibbs measure evolution for the radial nonlinear wave equation on the 3d ball. J. Funct. Anal. 266(4), 2319–2340 (2014)
Bourgain, J., Bulut, A.: Almost sure global well posedness for the radial nonlinear Schrödinger equation on the unit ball I: the 2D case. Ann. Inst. H. Poincaré Anal. Non Linéaire 31(6), 1267–1288 (2014)
Bourgain, J., Bulut, A.: Almost sure global well posedness for the radial nonlinear Schrödinger equation on the unit ball II: the 3D case. J. Eur. Math. Soc. (JEMS) 16(6), 1289–1325 (2014)
Burq, N., Thomann, L., Tzvetkov, N.: Remarks on the Gibbs measures for nonlinear dispersive equations. Ann. Fac. Sci. Toulouse Math. (6) 27(3), 527–597 (2018)
Burq, N., Tzvetkov, N.: Probabilistic well-posedness for the cubic wave equation. J. Eur. Math. Soc. (JEMS) 16(1), 1–30 (2014)
de Suzzoni, A.S., Cacciafesta, F.: Invariance of Gibbs measures under the flows of Hamiltonian equations on the real line. arXiv:1512.02069
Da Prato, G., Debussche, A.: Two-dimensional Navier-Stokes equations driven by a space-time white noise. J. Funct. Anal. 196(1), 180–210 (2002)
Da Prato, G., Debussche, A.: Strong solutions to the stochastic quantization equations. Ann. Probab. 31(4), 1900–1916 (2003)
Da Prato, G., Elworthy, K.D., Zabczyk, J.: Strong Feller property for stochastic semilinear equations. Stoch. Anal. Appl. 13(1), 35–45 (1995)
Da Prato, G., Zabczyk, J.: Ergodicity for Infinite-Dimensional Systems. London Mathematical Society Lecture Note Series, vol. 229, p. xii+339. Cambridge University Press, Cambridge (1996)
Debussche, A.: Ergodicity Results for the Stochastic Navier-Stokes equations: An Introduction. Topics in Mathematical Fluid Mechanics Lecture Notes in Mathematics, pp. 23–108 (2013)
Debussche, A., Odasso, C.: Ergodicity for a weakly damped stochastic non-linear Schrödinger equation. J. Evol. Equ. 5(3), 317–356 (2005)
Eckmann, J.-P., Hairer, M.: Uniqueness of the invariant measure for a stochastic PDE driven by degenerate noise. Commun. Math. Phys. 219(3), 523–565 (2001)
Flandoli, F., Romito, M.: Markov selections for the 3D stochastic Navier-Stokes equations. Probab. Theory Relat. Fields 140, 407–458 (2008)
Funaki, T., Quastel, J.: KPZ equation, its renormalization and invariant measures. Stoch. Part. Differ. Equ. Anal. Comput. 3(2), 159–220 (2015)
Hairer, M.: Ergodic Properties of a Class of Non-Markovian Processes. Trends in Stochastic Analysis. London Mathematical Society Lecture Note Series, vol. 353, pp. 65–98. Cambridge University Press, Cambridge (2009)
Hairer, M., Mattingly, J.C.: Ergodicity of the 2D Navier-Stokes equations with degenerate stochastic forcing. Ann. Math. (2) 164(3), 993–1032 (2006)
Hairer, M., Mattingly, J.C.: A theory of hypoellipticity and unique ergodicity for semilinear stochastic PDEs. Electron. J. Probab. 16(23), 658–738 (2011)
Hairer, M., Mattingly, J.: The strong Feller property for singular stochastic PDEs. Ann. Inst. Henri Poincaré Probab. Stat. 54(3), 1314–1340 (2018)
Ibrahim, E., Igor, K., Mohammed, Z.: Existence of invariant measures for the stochastic damped Schrödinger equation. Stoch. Part. Differ. Equ. Anal. Comput. 5(3), 343–367 (2017)
Killip, R., Murphy, J., Visan, M.: Invariance of white noise for KdV on the line. arXiv:1904.11910
Kuksin, S.: On exponential convergence to a stationary mesure for nonlinear PDEs. The M. I. Viishik Moscow PDE seminar. Translations of the American Mathematical Society-Series (2), vol 206. American Mathematical Society (2002)
Kuksin, S., Piatnitski, A., Shirikyan, A.: A coupling approach to randomly forced randomly forced PDE’s II. Commun. Math. Phys. 230(1), 81–85 (2002)
Kuksin, S., Shirikyan, A.: Stochastic dissipative PDE’s and Gibbs measures. Commun. Math. Phys. 213, 291–330 (2000)
Kuksin, S., Shirikyan, A.: A coupling approach to randomly forced randomly forced PDE’s I. Commun. Math. Phys. 221, 351–366 (2001)
Kuksin, S., Shirikyan, A.: Coupling approach to white-forced nonlinear PDEs. J. Math. Pures Appl. 1, 567–602 (2002)
Kuksin, S., Shirikyan, A.: Randomly forced CGL equation: stationary measure and the inviscid limit. J. Phys. A 37(12), 2822–3805 (2004)
Kuksin, S., Vahagn, N.: Stochastic CGL equations without linear dispersion in any space dimension. Stoch. Part. Differ. Equ. Anal. Comput. 1(3), 389–423 (2013)
Loges, W.: Girsanov’s theorem in Hilbert space and an application to the statistics of Hilbert space-valued stochastic differential equations. Stoch. Process. Appl. 17(2), 243–263 (1984)
McKean, H.P., Vaninsky, K.L.: Statistical mechanics of nonlinear wave equations. In: Trends and Perspectives in Applied Mathematics, pp. 239–264 (1994)
McKean, H.P.: Statistical mechanics of nonlinear wave equations. III. Metric transitivity for hyperbolic sine-Gordon. J. Stat. Phys. 79(3–4), 731–737 (1995)
McKean, H.P.: Statistical mechanics of nonlinear wave equations. IV. Cubic Schrödinger. Commun. Math. Phys. 168(3), 479–491 (1995)
Odasso, C.: Ergodicity for the stochastic complex Ginzburg–Landau equations. Ann. Inst. H. Poincaré Probab. Statist. 42(4), 417–454 (2006)
Oh, T., Pocovnicu, O.: Probabilistic global well-posedness of the energy-critical defocusing quintic nonlinear wave equation on \({{\mathbb{R}}}^3\). J. Math. Pures Appl. 105, 342–366 (2016)
Oh, T., Thomann, L.: Invariant Gibbs measures for the 2-d defocusing nonlinear wave equations. Ann. Fac. Sci. Toulouse Math. (to appear)
Oh, T., Tzvetkov, N., Wang, Y.: Solving the 4NLS with white noise initial data. arXiv:1902.06169
Richards, G.: Invariance of the Gibbs measure for the periodic quartic gKdV. Ann. Inst. H. Poincaré Anal. Non Linéaire 33(3), 699–766 (2016)
Röckner, M., Zhu, R., Zhu, X.: Ergodicity for the stochastic quantization problems on the 2D-torus. Commun. Math. Phys. 352, 1061–1090 (2017)
Thomann, L., Tzvetkov, N.: Gibbs measure for the periodic derivative nonlinear Schrödinger equation. Nonlinearity 23(11), 2771–2791 (2010)
Tolomeo, L.: Stochastic dispersive PDEs with additive space-time white noise. Ph.D. thesis, University of Edinburgh, 2019. https://era.ed.ac.uk/handle/1842/36113
Tolomeo, L.: Global well-posedness of the two-dimensional stochastic nonlinear wave equation on an unbounded domain. arXiv:1912.08667
Tsatsoulis, P., Weber, H.: Spectral gap for the stochastic quantization equation on the 2-dimensional torus. Ann. Inst. H. Poincaré Probab. Statist. 54(3), 1204–1249 (2018)
Zhu, R., Zhu, X.: Three-dimensional Navier-Stokes equations driven by space-time white noise. J. Differ. Equ. 259(9), 4443–4508 (2015)
Acknowledgements
Open Access funding provided by Projekt DEAL. The author would like to thank his PhD supervisor Tadahiro Oh for suggesting this problem and his continuous help and support in the preparation of this work. He would also like to thank J. Forlano and P. Sosoe for reading the draft of this paper, and their many useful suggestions and corrections, and the unnamed referees, for their many suggestions on how to improve the paper and make it more readable.
The author was supported by the European Research Council (grant no. 637995 “ProbDynDispEq”) and by The Maxwell Institute Graduate School in Analysis and its Applications, a Centre for Doctoral Training funded by the UK Engineering and Physical Sciences Research Council (grant EP/L016508/01), the Scottish Funding Council, Heriot-Watt University and the University of Edinburgh.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. Hairer
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
Tolomeo, L. Unique Ergodicity for a Class of Stochastic Hyperbolic Equations with Additive Space-Time White Noise. Commun. Math. Phys. 377, 1311–1347 (2020). https://doi.org/10.1007/s00220-020-03752-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-020-03752-x