Abstract
In this work we consider solutions to stochastic partial differential equations with transport noise, which are known to converge, in a suitable scaling limit, to solution of the corresponding deterministic PDE with an additional viscosity term. Large deviations and Gaussian fluctuations underlying such scaling limit are investigated in two cases of interest: stochastic linear transport equations in dimension \(D\ge 2\) and 2D Euler equations in vorticity form. In both cases, a central limit theorem with strong convergence and explicit rate is established. The proofs rely on nontrivial tools, like the solvability of transport equations with supercritical coefficients and \(\Gamma \)-convergence arguments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, there have been numerous results concerning the convergence of stochastic partial differential equations with transport noise, i.e. of the form
to their deterministic counterparts with enhanced viscosity
whenever the noises \(\{\tilde{W}^n\}_n\) undergo a suitable scaling limit. Here F denotes a generic functional, which might be nonlinear and nonlocal, while \(\circ \textrm{d}\) means that the stochastic differential must be understood in the Stratonovich sense. The noises \(\{\tilde{W}^n\}_n\) are Brownian in time and coloured, divergence-free in space and the coefficient \(\nu >0\) comes from the noise intensity in the scaling limit; more details on the precise structure of \(\{\tilde{W}^n\}_n\) will be given shortly.
The scaling limit of (1.1) to (1.2) was first observed in [52] for linear transport equation and has then been extended to various nonlinear PDEs, including stochastic 2D Euler equation in vorticity form [37], stochastic mSQG equation [73] and stochastic 2D inviscid Boussinesq system [71]; see also [38] for a large class of nonlinearities which include as particular cases the 3D Keller–Segel system and the 2D Kuramoto-Sivashinsky equation. All of the aforementioned results are set on the torus \(\mathbb {T}^d=\mathbb {R}^d/\mathbb {Z}^d\); some results on stochastic heat equations in bounded domain or infinite channel can be found in [39, 46]. In [40] we improved some of these results by providing quantitative convergence rates. Among recent related progresses let us finally mention [16] on a two-layer quasi-geostrophic model, [1, 2] on reaction-diffusion equations, and [45] for a Smagorinsky type model where the additional viscous term has the form \(\Delta g(u) = \nabla \cdot (g'(u)\nabla u)\) for some \(g\in C^1(\mathbb {R})\).
The scaling limit of (1.1) to (1.2) has several important features. Firstly, the starting equation (1.1) can be of hyperbolic type (e.g. in the case of stochastic transport equations) but the limit (1.2) is always strictly parabolic; as such, the scaling limit can be rigorously proved even in situations where the well-posedness of (1.1) is not known to hold, as long as we are able to solve (1.2) (this is for instance the case for stochastic 2D Euler converging to deterministic Navier–Stokes). Secondly, even when the starting equation (1.1) is truly parabolic, the extra strong diffusion operator \(\nu \Delta \) appearing in the limit equation can help displaying features of the transport noise like mixing and dissipation enhancement, see [39, 40]. We have taken advantage of this phenomenon and shown in [38, 44] that transport noise is capable, with large probability, of suppressing blow-up of solutions or even yielding global existence, cf. [43] for a similar result on the vorticity form of 3D Navier–Stokes equations perturbed by a deterministic transport term.
Given the above results, it is of great importance to obtain a better understanding of these scaling limits; the purpose of the present work is to study the large deviations and Gaussian fluctuations underlying them.
To explain what we mean, let us first briefly explain why convergence of (1.1) to (1.2) holds. The noises \(\{\tilde{W}^n\}_n\) must be taken of the form \(\tilde{W}^n = \sqrt{\nu \varepsilon _n}\, W^n\), where \(\{W^n\}_n\) are now \(Q^n\)-Wiener processes on \(L^2\) such that the family \(\{Q^n \}_n\) are uniformly bounded operators, \(\Vert Q^n\Vert _{L^2\rightarrow L^2}\le C\); at the same time, they must satisfy \(\textrm{Tr}(Q^n)= c/\varepsilon _n\), where c is a suitable proportionality constant and \(\varepsilon _n\rightarrow 0\) as \(n\rightarrow \infty \). We refer to [41, Example 1.3] for explicit choices of such noise on the torus \(\mathbb {T}^2\), see Sect. 1.1 below for a special case. For this choice of \(\{\tilde{W}^n\}_n\), it can be shown that the equivalent Itô form of (1.1) is
As the noises \(W^n\) have uniformly bounded covariances \(Q^n\), convergence of (1.3) to (1.2) is not surprising, as long as uniform estimates on \(\{u^n\}_n\) are available (here the divergence free property of \(\tilde{W}^n\) becomes crucial). Such a convergence can now be interpreted as a small noise limit, which suggests an underlying Large Deviation Principle (LDP); in this sense, we can also interpret the basic convergence of \(u^n\) to a deterministic limit u as some kind of Law of Large Numbers (LLN).
In order to prove a LDP, we need to assume that \(Q^n\) converges to some bounded linear operator Q on \(L^2\), so that the corresponding noises \(W^n\) converge in law to some W, which is a Q-Wiener process (cf. Sect. 1.1 below). This covers the majority of the cases considered in [38, 52], but it excludes the noise from [44] (similarly [39, Example 1.3]), in which case the operators \(Q^n\) converge weakly to 0; see Remark 1.5 below for a deeper discussion on this point. By the weak convergence approach to large deviations (see [14, 15]), we expect a LDP associated to \(u^n\) with speed \(\varepsilon _n\) and rate function determined by solving the skeleton equation
for any g satisfying the condition \(\int _0^T \Vert Q^{-1/2} g_s\Vert _{L^2}^2 \,\textrm{d}s<\infty \). Let us point out that solvability of (1.4) is highly non trivial, even in the case \(F\equiv 0\), where (1.4) corresponds to an advection–diffusion equation with rough drift; indeed the only available information on g roughly speaking amounts to it being divergence free and satisfying \(\int _{[0,T]\times \mathbb {T}^d} |g(t,x)|^2 \,\textrm{d}t \textrm{d}x<\infty \).
Interpreting the convergence of \(u^n\) to u as a LLN, one might try to investigate the fluctuations around this convergence, by looking at \(U^n= (u^n-u)/\sqrt{\varepsilon _n}\). Assuming the sequence \(U^n\) admits a limit U, we have the formal expansions
where \(DF_u\) denotes the differential of F evaluated at the point u. Inserting (1.5) in (1.3), we see that U is expected to solve
Equation (1.6) is linear in U and driven by the forcing term \(\sqrt{\nu }\, \textrm{d}W\cdot \nabla u\), which is Gaussian since u is deterministic. As a consequence, the solution U (if it exists) is a Gaussian field as well; the convergence of fluctuations \(U^n= (u^n-u)/\sqrt{\varepsilon _n}\) to a Gaussian limit then can be naturally intepreted as a Central Limit Theorem (CLT) result.
Although the above reasoning is very heuristical, it already provides useful information on the key quantities to study in order to obtain rigorous proofs, which are given respectively by equations (1.4) and (1.6). The aim of this paper is to formalize the above discussion in two main cases of interest, namely for stochastic transport equations and 2D Euler equations in vorticity form. We preferred to start this introduction with the more abstract framework of equations (1.1), in order to emphasize that the guiding principle behind them is very general and can be applied to other SPDEs (see also discussions in Sects. 2.4 and 3.3). In fact, after the completion of this work, similar ideas and techniques were applied in [72, 74] to derive such results for other equations of interest, respectively dyadic and Leray-\(\alpha \) models.
Before giving rigorous statements, we need to provide more details on the exact choice of noise we will deal with.
1.1 Structure of the noise
In this paper we will always deal with equations defined on the d-dimensional torus \(\mathbb {T}^d\) for \(d\ge 2\) and on a finite time interval [0, T]. From now on we will set for simplicity \(\nu =1\).
For technical reasons that will become clear later (cf. the end of the proof of Lemma 2.13), we cannot take the limit noise W to be white in space, but rather we need to impose some additional regularity on it as encoded by a parameter \(\alpha \in (0,d/2)\); this can be accomplished as follows.
Let us denote by \(\mathcal {H}\) the space of square integrable, divergence free vector fields with zero mean on \(\mathbb {T}^d\); it is a closed subspace of \(L^2=L^2(\mathbb {T}^d,\mathbb {R}^d)\) and so we can define the projection \(\Pi \) of \(L^2\) to \(\mathcal {H}\), usually referred as the Leray–Helmholtz projection. We denote by \(e_k(x)= e^{2\pi i k\cdot x}\) the standard elements of the Fourier basis; recall the definition of the fractional Laplacian \((-\Delta )^{s/2}\) by \((-\Delta )^{s/2} e_k = |k|^s e_k\) for any \(s\in \mathbb {R}\). We also set \(\mathcal {H}^\alpha := H^\alpha (\mathbb {T}^d,\mathbb {R}^d) \cap \mathcal {H}\), so that \(\mathcal {H}^\alpha = (-\Delta )^{-\alpha /2} (\mathcal {H}) = (-\Delta )^{-\alpha /2}\,\Pi (L^2)\).
With these preparations, we can define the limit noise \(W:=W^\alpha \) as a \(\mathcal {H}^\alpha \)-cylindrical Wiener process; alternatively, \(W^\alpha \) can be constructed as \(W^\alpha = (-\Delta )^{-\alpha /2} \Pi \, Z\), where Z is a cylindrical noise on \(L^2\). It then becomes clear that the covariance function associated to \(W^\alpha \) is
where we used the fact that \(\Pi \) and \((-\Delta )^{-\alpha /2}\) commute. It follows in particular that, for any sufficently regular, predictable \(\mathbb {R}^d\)-valued field f, the stochastic integral \(\int _0^t \langle f_r, \textrm{d}W^\alpha _r\rangle \) is well defined with Itô isometry
Next, we need to define the approximating noises appearing in (1.3) and the coefficients \(\varepsilon _n\); to this end, denote by \(\Pi _n\) the projection of \(L^2\) on the subspace spanned by Fourier modes smaller than n, namely \(\Pi _n e_k = e_k\, \mathbbm {1}_{|k|\le n}\). We set
so that they have associated covariance \(Q^{n,\alpha }:= \Pi _n (-\Delta )^{-\alpha } \Pi \). A similar formula (1.7) holds for \(\int _0^t \langle f_r, \textrm{d}W^{n,\alpha }_r \rangle \) up to replacing \(Q^{\alpha }\) by \(Q^{n,\alpha }\). Given this choice, we must take \(\varepsilon _n\) proportional to the inverse of the trace of \(Q^{n,\alpha }\), namely
where \(c_d=d/(d-1)\); since \(\alpha \in (0,d/2)\), \(\varepsilon _n\rightarrow 0\) as \(n\rightarrow \infty \) as desired.
In order to perform computations, it is useful to have a more explicit expression for \(W^\alpha \), following [52, Section 2.2]. Set \(\mathbb {Z}^d_0:=\mathbb {Z}^d\setminus \{0\}\) and let \(\{\sigma _{k,i}: k\in \mathbb {Z}^d_0, i=1,\ldots , d-1 \}\) be a CONB of \(\mathcal {H}\), defined as \(\sigma _{k,i}(x) = a_{k,i} e_{k}(x)\) where \(\{a_{k,i}\}_{k,i}\) is a subset of the unit sphere \(\mathbb {S}^{d-1}\) such that: (i) \(a_{k,i}=a_{-k,i}\) for all \(k\in \mathbb {Z}^{d}_{0},\, i=1,\ldots ,d-1\); (ii) for fixed k, \(\{a_{k,i}\}_{i=1}^{d-1}\) is an ONB of \(k^{\perp }=\{y\in \mathbb {R}^{d}:y\cdot k=0 \}\). It holds that \(\nabla \cdot \sigma _{k,i} = (a_{k,i}\cdot k) e_k \equiv 0\) for all \(k\in \mathbb {Z}^d_0\) and \(1\le i\le d-1\). If \(d=2\), then we can explicitly define
where \(k^\perp \) now denotes the vector \((-k_2, k_1)\), \(\mathbb {Z}^2_0 = \mathbb {Z}^2_+ \cup \mathbb {Z}^2_-\) is a partition of \(\mathbb {Z}^2_0\) satisfying \(\mathbb {Z}^2_+ = -\mathbb {Z}^2_-\). Then \(W^\alpha \) can be realized as
where \(\{B^{k,i}_\cdot : k\in \mathbb {Z}^d_0, i=1,\ldots , d-1 \}\) are \(\mathbb {C}\)-valued standard Brownian motions such that \(B^{k,i}\) and \(B^{l,j}\) are independent whenever \(k\ne {-l}\) or \(i\ne j\) and such that \(\overline{B^{k,i}}=B^{-k,i}\) for all \(k,\,i\) (so that \(\overline{W^\alpha }=W^\alpha \), i.e. \(W^\alpha \) is real valued). In the sequel we will write \(\sum _{k\in \mathbb {Z}^d_0} \sum _{i=1}^{d-1}\) simply as \(\sum _{k,i}\). Clearly, a similar expression as (1.9) holds for \(W^{n,\alpha }\) up to restricting the sum on \(|k|\le n\).
1.2 Main results
1.2.1 Stochastic transport equations
We will first consider linear stochastic transport equations on \(\mathbb {T}^d\), \(d\ge 2\):
with initial data \(f_0\in L^2\). From here on, we will adopt shortcut notations for the function spaces we use, for which we refer the reader to the notations introduced in Sect. 1.4.
We assume b to be a vector field in the Krylov–Röckner class (see [63]); namely, \(b\in L^q_t L^p_x\) for some parameters \(p,\,q\in [2,\infty ]\) satisfying
For simplicity of exposition, we will additionally impose b to be divergence-free; the condition can be slightly weakened, depending on the results in consideration, see respectively Assumptions 2.5 and 3.1. Under the above conditions, strong existence and pathwise uniqueness holds for (1.10); moreover we have the solution formula \(f^n_t(x)=f_0\big ((\varphi ^n_t)^{-1} (x)\big )\), where \(\{\varphi ^n_t\}_{t\ge 0}\) is the stochastic flow associated to the underlying SDE and \(\{(\varphi ^n_t)^{-1} \}_{t\ge 0}\) denotes its inverse.
The skeleton equation (1.4) in this setting reads
where g is an element of the Cameron-Martin space associated to \(W^\alpha \), namely \(g\in L^2_t \mathcal {H}^\alpha \). Observe that since \(\alpha \in (0,d/2)\), \(\mathcal {H}^\alpha \) does not embed in \(L^\infty \), implying that \(b+g\) does not belong to \(L^q_t L^p_x\) with \(p,\, q\) satisfying (1.11); this is sometimes referred as a supercritical drift.
Treating equations with supercritical drift, especially in connection with SDEs and stochastic transport equations, has been the subject of several recent papers, see [31, 79, 94]. An earlier important contribution, addressing the conditional uniqueness of Fokker–Plack equations with drift \(b\in L^2_t L^2_x\), is due to Porretta [80], who also established renormalizability of such solutions (assuming they exist). Here we show that Eq. (1.12) is wellposed for any \(f_0\in L^2\) and any divergence free \(g\in L^2_{t,x}\), see Propositions 2.8 and 2.9.
While working on the current manuscript, we became aware of the recent work [7], which contains a comprehensive study of such advection–diffusion equations, see Sect. 3 therein. Their results are comparable to ours, although the derivations are quite different; the authors in [7] mostly employ commutator estimates in the style of Di Perna–Lions theory, while we make use of classical tools from parabolic theory like maximal regularity, Lions–Magenes lemma and duality techniques. Propositions 2.8 and 2.9 below have the advantage of providing several stability results, both in strong and weak topologies, which are needed for our purposes; moreover they allow for non-divergence free vector fields.
Having established well-posedness and stability for the skeleton equation (1.12), we are able to rigorously prove a LDP for the sequence \(\{f^n \}_n\).
Theorem 1.1
Let \(f_0\in L^2\) and b be a divergence free drift in the Krylov–Röckner class; then, for any \(\delta >0\), the sequence \(\{f^n \}_n\) of solutions to (1.10) satisfy a LDP in \(C^0_t H^{-\delta }\), with rate function
In fact, we will prove a slightly stronger statement, namely a Laplace Principle in \(C^0_t H^{-\delta }\), uniformly over compact sets of \(f_0\in L^2\), see Theorem 2.16. The restriction \(\delta >0\) is necessary, as it is known that the sequence \(f^n\) does not converge, in the topology of \(L^2_{t,x}\), to the solution \(\bar{f}\) of \(\partial _t \bar{f} +b\cdot \nabla \bar{f}=\Delta \bar{f}\), thus a LDP therein cannot hold.
Theorem 1.1 is not just a direct application of the aforementioned weak convergence approach to large deviations. Indeed, the stability results needed for it to work only provide an LDP for \(f_0\in L^\infty \), see Proposition 2.15; once this is established, we can develop additional arguments, based on the linearity of the equation and the use of \(\Gamma \)-convergence, to transfer the LDP to general initial data \(f_0\in L^2\), see the proof of Theorem 2.16.
Regarding the CLT, Eq. (1.6) in this case reads
We cannot expect to make sense of (1.13) in the classical way. Indeed, \(W^\alpha \) enjoys at most spatial regularity \(C^{\alpha -d/2-}\); once (1.13) is written in the mild form, even assuming \(\bar{f}\) smooth, the regularity of \(\int _0^t P_{t-r}(\textrm{d}W^\alpha _r\cdot \nabla \bar{f}_r)\) (and thus of \(X_t\)) can be at most \(C^{\alpha +1-d/2-}\). In turn this implies \(\nabla X_t\in C^{\alpha -d/2-}\), which makes the product \(b\cdot \nabla X\) ill-defined.
The solution to the problem comes from a duality formulation of (1.13) (see Definition 3.2), close in spirit to a martingale problem formulation, which makes the equation well posed (Proposition 3.4). Furthermore, setting \(X^n:= (f^n-\bar{f})/\sqrt{\varepsilon _n}\), we can show strong convergence of \(X^n\) to X with an explicit rate:
Theorem 1.2
Let \(f_0\in L^2\), \(X^n\) defined as above and X solution to (1.13). Then there exists an exponent \(\beta >0\) such that, for any \(\varepsilon >0\), it holds
In particular, the exponent can be chosen as
The statement is a particular subcase of Theorem 3.7 from Sect. 3.1; we do not know whether the exponent \(\beta \) is sharp.
1.2.2 Stochastic 2D Euler equations
Next, we consider the vorticity form of stochastic 2D Euler equation driven by transport noise:
Here \(\xi ^n\) stands for the vorticity and K is the Biot-Savart kernel on \(\mathbb {T}^2\), thus \(K*\xi ^n\) is the fluid velocity. The initial data \(\xi _0\) is assumed to satisfy \(\int _{\mathbb {T}^2} \xi _0(x)\, \textrm{d}x=0\), a property which is preserved at all subsequent times.
By [12, Theorem 2.10], Eq. (1.14) admits a strong, pathwise unique solution for any \(\xi _0\in L^\infty \); moreover it is of the form \(\xi ^n_t(x)=\xi _0\big ((\varphi ^n_t)^{-1}(x) \big )\), where \(\{\varphi ^n_t \}\) is the unique associated measure preserving stochastic flow, see Theorem 2.15 therein. Instead, for any \(\xi _0\in L^2\), we only have the existence of probabilistically weak solutions \(\xi ^n\), satisfying the \(\mathbb {P}\)-a.s. pathwise bound \(\sup _{t\in [0,T]} \Vert \xi ^n_t \Vert _{L^2} \le \Vert \xi _0\Vert _{L^2}\) (see [37, Theorem 2.2]); their uniqueness is an open problem.
We always interpret the equation analytically in a weak sense: an \(\mathcal {F}_t\) adapted process \(\xi ^n\) solves (1.14) if for any \(\varphi \in C^\infty \), \(\mathbb {P}\)-a.s. it holds
where we have passed to the corresponding Itô form, giving rise to the term \(\Delta \varphi \). By the properties of Biot-Savart kernel, estimate (1.7) and the pathwise bounds on \(\xi ^n\), it is easy to check that all the integrals appearing above are finite.
Given \(\xi _0\in L^2\), it was first shown in [37] that as \(n\rightarrow \infty \), \(\xi ^n\) converge in law to \(\bar{\xi }\), which is the unique solution to the deterministic 2D Navier–Stokes equation in vorticity form:
The skeleton equation (1.4) in this case reads
Again we are able to show well-posedness of (1.16), at least for \(\xi _0\in L^\infty \), see Lemma 2.17. In turn, this allows to prove a LDP for the family \(\{\xi ^n \}_n\):
Theorem 1.3
Let \(\xi _0\in L^\infty \); then, for any \(\delta >0\), the sequence \(\{\xi ^n \}_n\) of solutions to (1.14) satisfy a LDP in \(C^0_t H^{-\delta }\), with rate function
In fact, we will obtain a slightly stronger statement, concerning the Laplace principle on a suitable Polish space \(\mathcal {E}^{T,R}\), uniformly over compact sets of \(\xi _0\in \mathcal {E}^R_0\), see Theorem 2.20 for more details. The restriction to \(\xi _0\in L^\infty \) is needed in order to apply the results from [12] and [15]; it is an open problem to understand whether the LDP can be extended to the case \(\xi _0\in L^2\), as accomplished for linear transport equations.
Next, we pass to study the behaviour of the fluctuation \(\Xi ^n = (\xi ^n -\bar{\xi })/\sqrt{\varepsilon _n}\). In this case we allow \(\xi _0\in L^2\), so that we are dealing with probabilistically weak solutions. This means that, in order to be rigorous, the stochastic basis \((\Omega , \mathcal {F}_t, \mathbb {P}; W^\alpha )\) should depend on n, but let us drop such dependence for notational simplicity. Uniqueness in law for \(\xi ^n\) is not known, but the results presented below will hold for any sequence \(\{\xi ^n \}_n\) of weak solutions to (1.14) satisfying the \(\mathbb {P}\)-a.s. pathwise bound \(\sup _{t\in [0,T]} \Vert \xi ^n_t\Vert _{L^2} \le \Vert \xi _0\Vert _{L^2}\).
We expect \(\Xi ^n\) converges to \(\Xi \), which solves the equivalent of Eq. (1.6), namely
Contrary to the approach we adopted to treat equation (1.13), here we are able to give an analytical meaning to (1.17) once it is written in the mild form, see Proposition 3.9. Also in this case, we can establish explicit rates of convergence:
Theorem 1.4
Let \(\xi _0\in L^2\), \(\{\xi ^n \}_n\) be a sequence of weak solutions to (1.14), \(\Xi ^n\) defined as above and \(\Xi \) solving (1.17). Then there exists a \(\beta >0\) such that, for any \(\varepsilon >0\), it holds
In particular, the exponent can be chosen as \(\beta =\alpha (1-\alpha )\).
The result follows from the more general Theorem 3.12 and Corollary 3.13. Let us finally remark that Theorem 1.4 implies that
and thus it improves [40, Theorem 1.1-(i)] and shows that the latter is almost sharp, at least in the special case of the noises \(\{W^{n,\alpha }\}_n\) considered in this work.
Remark 1.5
As mentioned above, we excluded from our analysis the choice of the noise adopted in [44]; it corresponds in the abstract setting of (1.1) to \(\tilde{W}^n= \sqrt{\nu \varepsilon _n}\, W^n\), for \(W^n\) with associated covariance \(Q^n = \tilde{\Pi }_n (-\Delta )^{-\alpha } \Pi \), where now \(\tilde{\Pi }_n\) denotes the operator that acts as a Fourier multiplier by \(\tilde{\Pi }_n e_k = e_k \mathbbm {1}_{n\le |k|\le 2n}\). At a technical level this does not create any particular issue, but since now the operators \(Q^n\) converge weakly to 0, the corresponding LDP and CLT become degenerate. Specifically, the candidate skeleton equation (1.4) now must be replaced by equation (1.2), regardless the choice of g, so that the resulting rate function \(I_{f_0}\) assigns value 0 to the unique solution f to (1.2) with initial value \(f_0\) and \(+\infty \) to any other function. Similarly in the CLT, instead of the SPDE (1.6), one obtains the corresponding PDE without stochastic forcing, whose solution is necessarily 0 due to linearity and the prescribed initial condition 0.
Remark 1.6
Since our LDPs come from a zero noise limit, they can be considered as Freidlin–Wentzell type. It is thus natural to wonder whether one could give a more direct proof, based on a Schilder-type LDP for the sequence \(\{\sqrt{\varepsilon _n}\, W^{n,\alpha }\}_n\) and the contraction principle, instead of employing the weak convergence approach from [14, 15]. The first ingredient is already available: by our assumptions, \(\varepsilon _n\rightarrow 0\) and \(W^{n,\alpha }\rightarrow W^\alpha \), thus [3, Theorem 1.1] ensures that \(\{\sqrt{\varepsilon _n}\, W^{n,\alpha }\}_n\) satisfies an LDP with speed \(\varepsilon _n^{-1}\) and rate \(I(g)= \frac{1}{2} \Vert g\Vert _{L^2_t \mathcal {H}^\alpha }^2\); observe that this is in perfect agreement with the rate functions from Theorems 1.1 and 1.3 and a potential application of the contraction principle. The main obstacle however comes from the latter, which rigorously would require the continuity of the solution map from the noise to the solution of the SPDE. In the finite dimensional setting, this can be accomplished by the theory of rough paths, see the monographs [50, 51]. Specifically, [51, Theorem 13.42] provides a Schilder type theorem for the rough path enhancement of Brownian motion, which in conjunction with the continuity of the Itô-Lyons map and the contraction principle readily recovers many classical LDP results, cf. [51, Section 19] and the references therein. In our setting, however, this strategy currently does not seem feasible. Although for fixed n, each \(W^{n,\alpha }\) can be regarded as finite dimensional, their support in Fourier space gets bigger with n and they eventually converge to the truly infinite-dimensional noise \(W^\alpha \); as such, we would need continuity of the Itô-Lyons map for an infinite dimensional noise of the form (1.9). Given the classical regularity requirements for solving Brownian RDEs, one would likely have to impose something like
for some \(\varepsilon >0\). Unfortunately, condition (1.18) substantially clashes with the constraint \(\alpha <d/2\), under which the scaling limit of (1.1) to (1.2) can be performed; in fact, the scaling limit holds exactly because the noise becomes irregular. We currently lack a sufficiently nice theory of flows generated by rough Kraichnan-type fields, which seems to be needed in order to implement the strategy outlined above.
1.3 Relations with the existing literature
Let us discuss here some links between our work and previous contributions, organized by different topics.
1.3.1 Stochastic fluid dynamics and turbulence
An idealised description of the effects of small, possibly turbulent, fluid scales by means of a white-in-time, coloured-in-space noise (in the style of \(W^\alpha \)) was first proposed by Kraichnan in the context of passive scalar turbulence (namely eq. (1.10)), see the works [61, 62], as well as the reviews [19, 30]; the value \(\alpha =d/2+2/3\) corresponds to Kolmogorov’s K41 theory of turbulence, see [49]. The noise \(W^\alpha \) in consideration here belongs to the class of measure preserving, isotropic Brownian flows as defined in [65], which have been studied in detail in [4, 67] and later revisited [68, 69]. Early mathematical attempts to incorporate transport noise in nonlinear fluid dynamics equations go back to Inoue and Funaki [60]; their idea, based on a variational principle, has been later substantially revisited by Holm [57] and expanded to several classes of equations, see [22, 28] and the references therein. A different, more Lagrangian-flavoured approach was proposed in [9, 10], where Brzézniak et al. derived stochastic Navier–Stokes equations with transport noise by computing the stochastic material derivative along the trajectories of fluid particles. More complete studies of such models were then presented by Mikulevicius and Rozovskii [77, 78], establishing the well-posedness of the stochastic Navier–Stokes equations. Yet another model for turbulent fluid dynamical equations, incorporating transport noise, has been proposed by Mémin in [76]. In all of the above cases, the adoption of Stratonovich noise is physically justified by the Wong–Zakai principle [87], which is known to hold also for SPDEs, see e.g. [11]. An heuristic argument for the introduction of transport noise, based on a separation of scales, can be found in [44], which has been made rigorous by Flandoli and Pappalettera [47, 48] using methods of stochastic model reduction; see [24] for more general results. Recently, advection–diffusion equations with Stratonovich transport noise have been derived by homogenization techniques in [33].
1.3.2 Regularisation by noise
It was first shown in [41] that Stratonovich transport noise can improve the well-posedness theory of transport equations; this phenomenon, nowadays referred to regularisation by noise, has been treated extensively also in the context of nonlinear SPDE; see [36] for an (incomplete) survey. Already in [41, Section 6.2] the authors realised that too simple noise cannot regularise nonlinear PDEs like Euler equations; however more complicated, space-dependent noise can be more promising, like in [42] where it is shown to (slightly) regularise the dynamics of point vortices. In the aforementioned works [38, 44], we were able to exploit the scaling limit of (1.1) to (1.2) to show that for a large class of models transport noise can delay or even suppress blow-up with high probability. Similar techniques have been recently applied to averaged Navier–Stokes systems in [66] and reaction diffusion equations in [1]; let us also mention that [1] discusses a nice and natural interpretation of the scaling of (1.1) to (1.2) in the context of homogenization.
1.3.3 Large deviations for SPDEs
The weak convergence approach to large deviations developed in [14, 15] is nowadays a very popular method for establishing LDPs for the laws of solutions to SPDEs. Among the first applications in stochastic fluid dynamics there is the work of Sritharan and Sundar [83] for 2D Navier–Stokes equations driven by multiplicative noise. Subsequent applications include: a Boussinesq model for the Bénard convection under random influences as in [29]; a class of abstract nonlinear stochastic models, covering 2D Navier–Stokes equations, 2D MHD models and shell models of turbulence in [21]; stochastic models of incompressible second grade fluids in [89]; 3D stochastic primitive equations in [26]; stochastic porous media equations in [90]. Bessaih and Millet [6] proved a LDP for the solution of 2D stochastic Navier–Stokes equations with vanishing viscosity and noise intensity proportional to the square root of the viscosity; Cerrai and Debussche [18] instead considered 2D Navier–Stokes equation with Gaussian random forcing, establishing LDPs in the regime where the strength of the noise and its correlation are correctly tuned and both vanishing; observe the analogy with our setting, where the Fourier cutoff in the definition of \(Q^n\) may be thought of as measuring the correlation scale of the noise. Further interesting applications of the weak convergence approach to SPDEs (outside of fluid dynamics) include [13, 17, 27]. On other remarkable works on (possibly singular) SPDEs in the style of [18], where one cannot naively apply the weak convergence approach, but which require a fine tuning of the correlations of the noise (as measured e.g. by a mollification parameter \(\delta \)) and its intensity (and possibly keep track of the renormalization constants), let us mention Hairer and Weber [55] for Allen–Cahn equations, Mariani [75] for stochastic conservation laws and Gess and Fehrman [34] for stochastic porous-media equations.
1.3.4 Central limit theorems for SPDEs
A classical reference proving CLTs for various interacting particle systems is the work of Holley and Stroock [56], who also introduced the theory of generalized Ornstein–Uhlenbeck processes. Several CLTs for fluid dynamics models with multiplicative noise can be found in the literature, including: 2D Navier–Stokes [85], 2D primitive equations [91] and stochastic reaction-diffusion equations [88]. The aforementioned works also employ the weak convergence approach to LDP to establish moderate deviation principles (MDP); we expect an MDP to hold also in our setting, up to readapting the proofs. Another class of CLTs for parabolic SPDEs with multiplicative noise can be found in [20, 58, 59]. All of the above works however do not include the case of multiplicative transport noise; in this sense, a much closer paper to our setting is the one by Slavík [82], proving an LDP, MDP and CLT for stochastic 3D viscous primitive equations. At the same time the equation considered in [82] is truly parabolic, while our setting is of hyperbolic nature with conservative noise, which makes it closer to the results obtained in [25] (resp. [53]), treating conservative local (resp. nonlocal) SPDEs. Like here, [82] and [25] establish strong convergence for the fluctuations, while [53] even provides a rate of convergence which is shown to be optimal. An alternative pathwise approach to CLTs for SPDEs is being developed in [54], in the context of Landau-Lifschitz equation. Let us conclude by mentioning the nice analogy of our setting to that of McKean-Vlasov particle systems, like those treated classically in [84]: therein the empirical measure \(\mu ^N=N^{-1} \sum _{i=1}^N \delta _{X^i}\) can be shown to solve an SPDE, which is of the form (1.14) up to replacing our noise \(\sqrt{\varepsilon _n}\circ \textrm{d}W^{n,\alpha } \cdot \nabla \xi ^n = \sqrt{\varepsilon _n}\, \nabla \cdot (\xi ^n \circ \textrm{d}W^{n,\alpha })\) with the random current
Similarly to our hyperbolic setting, the empirical measures \(\mu ^N\) do not improve their regularity over time, yet they converge as \(N\rightarrow \infty \) to the solution \(\bar{\mu }\) of a deterministic parabolic Fokker–Plack PDE. In this setting, it can be shown that the currents \(J^N\) converge in law to a non-trivial limit as \(N\rightarrow \infty \) and that the fluctuations \(\sqrt{N}(\mu ^N-\bar{\mu })\) converge in law to an Ornstein–Uhlenbeck process; see the work of Fernandez and Méléard [35] for regular interaction kernels and more recently Wang, Zhao and Zhu [86] for singular kernels.
1.4 Notations and conventions
Throughout the paper, we fix a \(T>0\) and assume the functional spaces have time variable \(t\in [0,T]\). The notation \(x\lesssim y\) stands for \(x\le C y\) for some constant \(C>0\); we write \(x \lesssim _\lambda y\) to stress the dependence \(C=C(\lambda )\) and \(x\sim y\) if \(x\lesssim y\) and \(y\lesssim x\). We shall write \(x\cdot y\) to denote inner product on \(\mathbb {R}^d\), \(|x|^2= x\cdot x\); \(\langle \cdot , \cdot \rangle \) stands for the inner product in \(L^2\) or the duality between functions and distributions.
For \(m\ge 1\), \(p,q\in [1,\infty ]\), we write \(L^q_t L^p_x\) for the space \(L^q(0,T; L^p(\mathbb {T}^d, \mathbb {R}^m))\), with norm
If \(p=q\) then we will simply write \(L^p_{t,x}\) with norm \(\Vert \cdot \Vert _{L^p_{t,x}}\); instead, \(L^p\) and \(L^p_x\) will be used as a shortcut for \(L^p(\mathbb {T}^d, \mathbb {R}^m)\) with norm \(\Vert \cdot \Vert _{L^p}\). As already mentioned, \(H^s=H^s(\mathbb {T}^d, \mathbb {R}^m)\, (s\in \mathbb {R})\) will denote standard fractional Sobolev spaces, while \(C^\beta =C^\beta (\mathbb {T}^d, \mathbb {R}^m)\, (\beta \ge 0)\) will denote Hölder spaces, with respective norms \(\Vert \cdot \Vert _{H^s}\) and \(\Vert \cdot \Vert _{C^\beta }\). Given a Banach space E, \(\beta \in (0,1)\), we set \(C^\beta _t E:= C^\beta ([0,T];E)\) endowed with
Similarly, we consider \(C^0 _tE\) endowed with the supremum norm and \(L^q_t E\) with
Such definitions apply for the above choices of E, allowing to define \(L^2_t \mathcal {H}^\alpha \), \(C^\beta _t C^1\), \(C^0_t H^s\), etc. Finally, we write \(P_t\) for the heat semigroup \(e^{t\Delta },\, t\ge 0\).
1.4.1 Structure of the paper
Section 2 is devoted to the proofs of the large deviation principles. More specifically, we first recall briefly the weak convergence approach for LDP in Sect. 2.1, then we prove LDPs for solutions to stochastic linear transport equations (Sect. 2.2) and to stochastic 2D Euler equations (Sect. 2.3); finally, we discuss further generalizations in Sect. 2.4. Section 3 instead revolves around the study of the Gaussian fluctuations; strong convergence results with explicit rates, for the same equations, are proved respectively in Sects. 3.1 and 3.2. Some concluding remarks are given in Sect. 3.3. In “Appendix A” we collect some technical results used in the paper.
2 Large deviation principles
This section consists of four parts. In Sect. 2.1, we recall the abstract framework of weak convergence approach for LDPs. We then establish in Sect. 2.2 a LDP for solutions to stochastic transport equations in three steps: (i) check well-posedness of skeleton equation; (ii) prove a LDP for \(L^\infty \)-initial data by weak convergence method; (iii) transfer it to \(L^2\)-initial data by \(\Gamma \)-convergence arguments. Similar techniques are applied in Sect. 2.3 to prove a LDP for solutions to (1.14) with \(L^\infty \)-initial vorticity. Finally, Sect. 2.4 contains some further remarks and possible future problems.
2.1 Weak convergence approach for LDPs
We recall here several results from [15, Section 2], which gives an abstract framework of LDP; see also [83, Section 3] for a concise introduction.
Let \(\big (\Omega , \mathcal {F}, \{\mathcal {F}_t\}_{t\in [0,T]}, \mathbb {P}\big )\) be a stochastic basis satisfying the usual conditions. Let U be a Hilbert space and Q a positive definite, symmetric, trace class operator on U; the subspace \(U_0 = Q^{1/2}(U)\), endowed with the inner product
is also a Hilbert space; we write the norm in \(U_0\) as \(|\cdot |_0\). Let \(\{W(t) \}_{t\in [0,T]}\) be a Q-Wiener process on U; then it is a cylindrical Wiener process on \(U_0\). Define
which is a Polish space when endowed with the weak topology; for any \(v\in S^M\), we shall write \(\text {Int}(v)(\cdot )= \int _0^\cdot v(s)\,\textrm{d}s\). We denote by \(\mathcal {P}_2(U_0)\) the class of \(U_0\)-valued \(\mathcal {F}_t\)-predictable processes u such that \(\int _0^T |u(s)|^2_0\, \textrm{d}s<\infty \) \(\mathbb {P}\)-a.s. and set
In the following, \(\mathcal {E}\) and \(\mathcal {E}_0\) denote Polish spaces.
Definition 2.1
A function \(I: \mathcal {E}\rightarrow [0,\infty ]\) is called a rate function if for any \(M<\infty \), the level set \(\{f\in \mathcal {E}: I(f)\le M\}\) is a compact subset of \(\mathcal {E}\). A family of rate functions \(I_x\) on \(\mathcal {E}\), parametrized by \(x\in \mathcal {E}_0\), is said to have compact level sets on compacts if for all compact subsets \(\mathcal K\) of \(\mathcal {E}_0\) and each \(M<\infty \), \(\cup _{x\in \mathcal K} \{f\in \mathcal {E}: I_x(f)\le M\}\) is a compact subset of \(\mathcal {E}\).
Let I be a rate function on \(\mathcal {E}\); for any Borel set \(A\in \mathcal {B}(\mathcal {E})\), set \(I(A):=\inf _{f\in A} I(f)\). Recall that a family \(\{X^\varepsilon \}\) of \(\mathcal {E}\)-valued random variables is said to safisfy a large deviation principle (LDP) with speed \(\varepsilon \) and rate function I if
where \(A^\circ \) and \(\bar{A}\) denote respectively the interior and closure of A. A classical result in large deviations theory is that on Polish spaces the LDP is equivalent to the Laplace principle, see [15, Theorem 1].
In practical cases, the random variables \(X^\varepsilon \) are often strong solutions to some S(P)DEs driven by \(\sqrt{\varepsilon }W\) with initial data \(x\in \mathcal {E}_0\), so that they can be represented as \(X^{\varepsilon ,x}= \mathcal G^\varepsilon (x, \sqrt{\varepsilon }W)\) for some family of measurable maps \(\mathcal G^\varepsilon : \mathcal {E}_0\times C^0_t U \rightarrow \mathcal {E}\). In these cases, rather than establishing directly an LDP for \(\{X^{\varepsilon ,x}\}_\varepsilon \) for fixed \(x\in \mathcal {E}_0\), it is natural to investigate the following stronger version of Laplace principle (see [15, Definition 5]).
Definition 2.2
Let \(I_x\) be a family of rate functions on \(\mathcal {E}\) parameterized by \(x\in \mathcal {E}_0\) and assume that this family has compact level sets on compacts. The family \(\{X^{\varepsilon ,x}\}\) is said to satisfy the Laplace principle on \(\mathcal {E}\) with rate function \(I_x\), uniformly on compacts, if for all compact subsets \(\mathcal K\) of \(\mathcal {E}_0\) and all bounded continuous functions G mapping \(\mathcal {E}\) into \(\mathbb {R}\), one has
In [15], the authors provide practical assumptions in order to verify the validity of (2.3).
Hypothesis 2.3
There exists a measurable \(\mathcal G^0: \mathcal {E}_0\times C^0_t U \rightarrow \mathcal E\) such that:
-
1.
For any \(M<\infty \) and compact set \(\mathcal K\subset \mathcal {E}_0\), \(\Gamma _{\mathcal K, M}:= \big \{\mathcal {G}^0 (x, \text {Int}(v) ): v\in S^M,\, x\in \mathcal K \big \}\) is a compact subset of \(\mathcal {E}\).
-
2.
Consider \(M<\infty \) and families \(\{x^\varepsilon \}\subset \mathcal {E}_0,\, \{u^\varepsilon \}\subset \mathcal {P}^M_2\) such that, as \(\varepsilon \rightarrow 0\), \(x^\varepsilon \rightarrow x\) and \(u^\varepsilon \) converge in law to u as \(S^M\)-valued random elements. Then \(\mathcal G^\varepsilon \big (x^\varepsilon , \sqrt{\varepsilon }\, W + \text {Int}(v^\varepsilon ) \big )\) converges in law to \(\mathcal {G}^0 (x, \text {Int}(v) )\) in the topology of \(\mathcal {E}\).
Theorem 2.4
([15], Theorem 5) Let \(X^{\varepsilon ,x} = \mathcal {G}^\varepsilon (x, \sqrt{\varepsilon }W)\) and suppose that Hypothesis 2.3 holds. For \(x\in \mathcal {E}_0\) and \(f\in \mathcal {E}\), define
with the convention that \(\inf \emptyset = \infty \). Assume that for all \(f\in \mathcal {E}\), \(x\mapsto I_x(f)\) is a lower semicontinuous map from \(\mathcal {E}_0\) to \([0,\infty ]\). Then for all \(x\in \mathcal {E}_0\), \(f\mapsto I_x(f)\) is a rate function on \(\mathcal {E}\) and the family \(\{I_x\}_{x\in \mathcal {E}_0}\) of rate functions has compact level sets on compacts. Furthermore, the family \(\{ X^{\varepsilon ,x} \}\) satisfies the Laplace principle on \(\mathcal {E}\), with the rate functions \(\{I_x\}\), uniformly on compact subsets of \(\mathcal {E}_0\).
2.2 Stochastic transport equation
The purpose of this section is to prove a LDP for the solutions to stochastic transport equations:
where we recall that the noise \(W^{n,\alpha }\) is defined as in Sect. 1.1 and \(\circ \textrm{d}\) denotes Stratonovich differential. We will enforce the following:
Assumption 2.5
There exists parameters \((q,p)\in [2,\infty ]\) such that
moreover there exists \(r\in \big (\frac{2d}{d+2},\infty \big ]\) such that Footnote 1
Under Assumption 2.5, for any given \(f_0\in L^2\) and \(n\in \mathbb {N}\), there exists a unique, analytically weak, probabilistically strong solution to (2.5), which is of the form \(f^n_t(x)=f_0\big ((X^n_t)^{-1}(x) \big )\), where \(\{X^n_t \}_{t\in [0,T]}\) denotes the stochastic flow associated to the underlying Stratonovich SDEautoedited,:Footnote 2
Noting that \(\sigma _{k,i} \cdot \nabla \sigma _{k,i} \equiv 0\) due to our choice of vector fields \(\{\sigma _{k,i} \}\), the SDE has the same Itô form whose noise has constant covariance matrix. Moreover since \(\sigma _{k,i}\) are divergence free, for any \(p\in [1,\infty ]\), \(f^n\) satisfies the pathwise bound
As mentioned in the introduction, Eq. (2.5) has equivalent Itô form
The solutions \(\{f^n\}_n\) converge weakly to the unique solution f of the advection–diffusion equation:
Our aim is to establish a LDP for the laws of \(\{f^n \}_n\) using the weak convergence method recalled in the last section. The rest of this section consists of two parts: in Sect. 2.2.1, we study the well posedness of the skeleton equation and introduce the rate functions; we then provide in Sect. 2.2.2 the proof of the LDP, first establishing it for \(L^\infty \)-initial data by the weak convergence method, and then transferring it to the \(L^2\)-setting via a \(\Gamma \)-convergence argument.
2.2.1 Study of the skeleton equation and rate function
In order to carry out the weak convergence approach to LDP, a key role is played by the well-posedness and stability properties of the skeleton equation
ranging over \(g\in L^2_t \mathcal {H}^\alpha \), while keeping b fixed, with suitable initial data \(f_0\).
It actually turns out to be useful to take a slightly more general perspective and study the family of equations
for \(h:[0,T]\times \mathbb {T}^d\rightarrow \mathbb {R}^d\), \(c:[0,T]\times \mathbb {T}^d\rightarrow \mathbb {R}\) satisfying the following:
Assumption 2.6
There exists a parameter \(r> \frac{2d}{d+2}\) such that
Remark 2.7
Allowing for the presence of c, we can also treat Fokker–Planck equations by choosing \(c=\nabla \cdot h\). Observe that equation (2.8) is of the form (2.9) for \(c\equiv 0\), \(h=-b-g\); in particular, since b satisfies Assumption 2.5 and \(g\in L^2_t \mathcal {H}^\alpha \), Assumption 2.6 holds as well.
Proposition 2.8
For any \(f_0\in L^\infty \), (h, c) satisfying Assumption 2.6, there exists a unique weak solution \(f\in L^\infty _{t,x}\) to (2.9), belonging to \(C^0_t L^2_x \cap L^2_t H^1_x\); moreover, given two solutions \(f^i\) associated to data \(f_0^i,\, h^i,\, c^i\), there exists a constant \(C=C(\Vert \nabla \cdot h^i\Vert _{L^1\,L^\infty \cap L^2\,L^r}, \Vert c^i\Vert _{L^1\,L^\infty \cap L^2\,L^r})\) such that
Finally, given sequences \(f^n_0{\mathop {\rightharpoonup }\limits ^{*}} f_0\) in \(L^\infty \), \((h^n,c^n) \rightharpoonup (h,c)\) in \(L^2_t L^2_x \times L^2_t L^r_x\), satisfying uniform bounds in the norms appearing in Assumption 2.6, the associated solutions \(f^n\) converge weakly-\(*\) in \(L^{\infty }_{t,x}\) to f, as well as strongly in \(L^2_{t,x}\cap C^0_t H^{-\delta }_x\) for any \(\delta >0\).
Proof
Existence of solutions satisfying the \(L^\infty \)-bound follows from usual compactness arguments and the maximum principle (alternatively, Feynman-Kac formula), since for smooth coefficients we have the estimate
Under our assumptions, \(h\cdot \nabla f + c f = \nabla \cdot (h f) + (c-\nabla \cdot h) f\) is a well defined distribution and there is no problem in taking the weak-\(*\) limit in the compactness argument.
Observe that, if \(f\in L^\infty _{t,x}\) is a weak solution, then by Assumption 2.6 and Sobolev embeddings \(\nabla \cdot (h f)\in L^2_t H^{-1}_x\), \((c-\nabla \cdot h) f\in L^2_t L^r_x \hookrightarrow L^2_t H^{-1}_x\), so that \(f=(\partial _t-\Delta )^{-1} g\) for some \(g\in L^2_t H^{-1}\). Maximal regularity for parabolic equations implies that \(f\in L^2_t H^1_x\), \(\partial _t f\in L^2_t H^{-1}_x\).
Assume now we are given two solutions \(f^i\) as above, then setting \(\xi :=f^1-f^2\) it holds \(\xi \in L^2_t H^1_x\cap L^\infty _{t,x}\), \(\partial _t \xi \in L^2_t H^{-1}_x\) and
Given the regularity of \(\xi \), we are allowed to apply the Lions-Magenes lemma (see [70, Chap. 1, Theorem 3.1] or [64, Lemma 2.1.5]); arguing by approximation, we can also extend the relation \(2\langle \varphi _s\cdot \nabla \psi _s, \psi _s\rangle = -\langle \nabla \cdot \varphi _s, \psi _s^2\rangle \) (for a.e. \(s\in [0,T]\)) to any \(\varphi \in L^2_t L^2_x\) such that \(\nabla \cdot \varphi \in L^1_t L^\infty _x\) and any \(\psi \in L^\infty _{t,x} \cap L^2_t H^1_x\). Thus by integration by parts we obtain
Cauchy’s inequality implies
An application of Gronwall’s lemma, together with (2.11), readily yields
which is exactly (2.10); this also establishes uniqueness of solutions.
It remains to prove the claim concerning stability in the weak topology. Having established uniqueness, we know that any solution satisfies the bound (2.11). Moreover, applying again maximal regularity theory, one has the uniform bounds
Given \(f^n_0\ {\mathop {\rightharpoonup }\limits ^{*}} f_0\) in \(L^\infty \), \((h^n,c^n)\rightharpoonup (h,c)\) in \(L^2_t L^2_x \times L^2_t L^r_x\) as in the assumptions, the associated solutions \(f^n\) satisfy uniform bounds in \(C^{1/2}_t H^{-1}_x \cap C^0_t L^2_x \cap L^2_t H^1_x\); one can deduce by the Aubin-Lions lemma that \(\{f^n\}_n\) is sequentially compact in \(C^0_t H^{-\delta }_x \cap L^2_{t,x}\) for any \(\delta >0\).
From here, standard arguments allow to show that any limit point must be a weak \(L^\infty _{t,x}\) solution to (2.9). For instance, combining \(f^n\rightarrow f\) in \(L^2_{t,x}\), \(\sup _n \Vert f^n\Vert _{L^\infty _{t,x}}<\infty \) and \(c^n\rightharpoonup c\) in \(L^2_t L^r_x\), it is easy to check that \(c^n f^n \rightharpoonup c f\) in \(L^1_{t,x}\). Similarly, since \(h^n\rightharpoonup h\) in the sense of distributions, so do \(\nabla \cdot h^n\rightharpoonup \nabla \cdot h\), which combined with the uniform \(L^2_t L^r_x\) bound implies weak convergence in the latter space as well. A similar argument as the one for weak convergence of \(c^n f^n\) then shows that
where the above weak convergence is understood in the sense of distributions. Overall this proves the claim that f is a weak \(L^\infty _{t,x}\) solution to (2.9), thus necessarily the unique one. But then the whole sequence \(f^n\) must converge weakly-\(*\) in \(L^\infty _{t,x}\) to the unique solution f associated to \((h,c,f_0)\). \(\square \)
We can build on the previous result to extend the well-posedness theory for (2.9) to \(f_0\in L^2\).
Proposition 2.9
For any \(f_0\in L^2\), (h, c) satisfying Assumption 2.6, there exists a unique weak solution \(f\in L^\infty _t L^2_x\cap L^2_t H^1_x\) to (2.9); moreover, given two solutions associated to the data \(f_0^i,\, h^i\, c^i\), there exists a constant \(C=C(\Vert \nabla \cdot h^i\Vert _{L^1\,L^\infty }, \Vert c^i\Vert _{L^1\,L^\infty }, \Vert c^i-\nabla h^i\Vert _{L^2\,L^r})\) such that
Finally, given sequences \(f^n_0\rightharpoonup f_0\) in \(L^2\), \((h^n,c^n) \rightharpoonup (h,c)\) in \(L^2_t L^2_x \times L^2_t L^r_x\), satisfying uniform bounds in the norms appearing in Assumption 2.6, the associated solutions \(f^n\) converge weakly to f in \(L^2_t H^1_x\), as well as strongly in \(L^2_{t,x}\cap C^0_t H^{-\delta }_x\) for any \(\delta >0\).
Proof
The proof is similar to that of Proposition 2.8, so we mostly sketch it. Formally testing the solution f against equation (2.9) and applying Gronwall’s lemma, one obtains the a priori estimate
Together with compactness arguments, this allows to construct weak solutions satisfying (2.13) (the bound on \(L^2_t H^1_x\)-norm, together with Sobolev embedding, shows that \(h\cdot \nabla f+ c f\in L^1_{t,x}\), so that the weak formulation is meaningful). Uniqueness can be shown by linearity and estimates similar to those yielding (2.12), thus we will only focus on proving the latter starting from any two solutions \(f^i\) satisfying (2.13). Setting \(\xi :=f^1-f^2\), in a weak sense it holds
Now for any \(\varphi \in L^\infty \) and \(t\in (0,T]\), let \(\{g_s \}_{s\in [0,t]}\) be the unique weak solution in \(L^\infty \) to the backward equation
which can be constructed in the same way as in Proposition 2.8 (since \((h^1,c^1)\) satisfy Assumption 2.6, so do \((h^1,c^1-\nabla \cdot h^1)\)); g satisfies \(\Vert g_s\Vert _{L^\infty } \lesssim \Vert \varphi \Vert _{L^\infty }\) for all \(s\in [0,t]\).
Testing g against the equation for \(\xi \) (to be rigorous, one should argue by approximation or by mollifying g and proving that the commutators vanish in the limit; we omit the details here since the arguments are standard) and integrating over [0, t], we obtain
where in the last passage we used the Sobolev embedding \(L^2_t H^1_x \hookrightarrow L^2_t L^{r'}_x\) and estimate (2.13) with \(f= f^2\). Taking the supremum over all \(\varphi \in L^\infty \) with \(\Vert \varphi \Vert _{L^\infty }=1\) in the above expression, by duality one readily obtains (2.12).
The proof of the statement involving weak convergence follows the same line of arguments as in Proposition 2.8; the only part which needs a bit more attention is the uniform bound in \(C^\alpha _t H^{-s}_x\) for suitable \(\alpha \) and s, which is required in order to apply the Aubin-Lions Lemma. Since by assumption \(r>2d/(d+2)\), by Sobolev embeddings there exists \(a\in (0,1)\) such that \(H^a_x \hookrightarrow L^{r'}_x\) and by interpolation it holds \(\Vert f_t\Vert _{L^{r'}} \lesssim \Vert f_t\Vert _{L^2}^{1-a} \Vert f_t\Vert _{H^1}^a\). Therefore, for any fixed t, we have
Taking \(\delta = (1-a)/(1+a)>0\), so that \(a(1+\delta )/(1-\delta )=1\), by Hölder’s inequality it holds
This implies \((c - \nabla \cdot h) f \in L^{1+\delta }_t H^{-s}_x\) for \(s>d/2\). Since \(f\in L^\infty _t L^2_x\), one has \(hf\in L^2_t L^1_x \hookrightarrow L^2_t H^{-s}_x\) and thus \(\nabla \cdot (h f)\in L^2_t H^{-s-1}_x\). Combining these facts with \(\Delta f\in L^2_t H^{-1}_x\), we conclude that
in particular, \(f\in C^\alpha _t H^{-s-1}_x\) for \(\alpha =\delta /(\delta +1)\). All the above estimates are uniform when dealing with a sequence \((b^n,c^n,f^n)\), so that we can apply the Aubin-Lions lemma.
Furthermore, convergence of \(f^n\) in \(L^2_{t,x}\) combined with a uniform bound in \(L^2_t H^1_x\) implies convergence in \(L^2_t L^{r'}_x\); together with the assumption \((b^n,c^n)\rightharpoonup (b,c)\) in \(L^2_t L^2_x\times L^2_t L^r_x\), the uniform boundedness in the norms appearing in Assumption 2.6 and a similar argument as in the proof of Proposition 2.8, this allows to show that \((c^n-\nabla \cdot b^n)f^n\rightharpoonup (c-\nabla \cdot b)f\) in the sense of distributions. Combining all these facts proves that the weak limit of \(f^n\) is still a solution to (2.9) satisfying (2.13) and thus allows to conclude. \(\square \)
In light of Proposition 2.9 and Remark 2.7, for fixed b satisfying Assumption 2.5 we can define the solution map \(\mathcal G^0(f_0, \textrm{Int}(g))\), which to any \(f_0\in L^2_x\) and \(g\in L^2_t\mathcal {H}^\alpha \) associates the unique solution \(f\in L^2_t H^1_x\cap L^\infty _t L^2_x\) to (2.8) (if \(f_0\in L^\infty \), we further know that \(f\in L^\infty _{t,x}\cap C^0_t L^2_x\)).
We can define the corresponding candidate rate function
with the convention \(\inf \emptyset =+\infty \). Clearly, the notation for \(\mathcal {G}^0\) and \(I_{f_0}\) comes from Sect. 2.1.
We shall take
which is a Polish space. Observe that if \(f_0\in L^2\) and \(I_{f_0}(f)<\infty \), then f is a solution to (2.8), implying that it satisfies the energy bound (2.13) with \(c\equiv 0\) and \(h=-b-g\); in particular, we can restrict the definition of \(I_{f_0}\) to the Polish space
For reasons that will become clear later, we need to study the dependence \(f_0\mapsto I_{f_0}\), where \(f_0\in L^2\) and \(I_{f_0}\) is regarded as a map on \(\mathcal {E}\); we will employ the notion of \(\Gamma \)-convergence, see [8] for a complete account on the topic.
Definition 2.10
Let E be a Polish space, F, \(F_n:E\rightarrow (-\infty ,+\infty ]\) a family of functionals; we say that \(F_n\) \(\Gamma \)-converge to F if:
-
(i)
lower bound: for any sequence \(x_n\rightarrow x\) it holds \(F(x)\le \liminf F_n(x_n)\);
-
(ii)
upper bound: for any x there exists a sequence \(x_n\rightarrow x\) such that \(F(x)\ge \limsup F_n(x_n)\).
Let us recall the following facts: i) if \(F_n\) \(\Gamma \)-converge to F and G is a continuous bounded function, then \(F_n+G\) also \(\Gamma \)-converge to \(F+G\); ii) if \(F_n\) \(\Gamma \)-converge to F and they are mildly equicoercive, i.e. there exists a compact set \(\mathcal K\subset E\) such that \(\inf _{x\in E} F_n(x)=\inf _{x\in \mathcal K} F_n(x)\) for all n, then convergence of the minima holds:
Lemma 2.11
Let \(f^n_0\rightharpoonup f_0\) in \(L^2\) and set \(F_n = I_{f_0^n}\), \(F=I_{f_0}\); then \(F_n\) \(\Gamma \)-converges to F.
Proof
Let us first make a few observations on the properties of the functions \(F_n\).
The last assertion of Proposition 2.9 implies that \(\mathcal {G}^0(f_0,\textrm{Int} (g))\) is continuous in \(f_0\in L^2_x\) and \(g\in L^2_t \mathcal {H}^\alpha \) in the weak topologies; moreover, the set \(E_M:=\big \{g\in L^2_t \mathcal {H}^\alpha : \Vert g\Vert _{L^2_t \mathcal {H}^\alpha }^2 \le 2\,M \big \}\) is compact in the weak topology of \(L^2_t \mathcal {H}^\alpha \) for any \(M>0\). By the direct method in the calculus of variations (see [23]), the infimum defining \(F_n(f)= I_{f^n_0}(f)\) is always realized as a minimum.
Next, we claim that the family of maps \(\{F_n\}\) is mildly equicoercive; the same proof, applied at fixed \(n\in \mathbb {N}\), shows that each \(F_n\) is lower semicontinuous. By the definition of \(F_n\) and its realization as a minimum, for any \(M>0\) it holds
for the choice \(A=\{f^n_0:n\in \mathbb {N}\}\subset L^2\). Since by assumption \(f^n_0\rightharpoonup f_0\) in \(L^2\), A is precompact in the weak topology and so is \(A\times E_M\); overall we conclude that, for any \(M>0\), \(\Gamma _M\) is precompact in \(C^0_t H^{-\delta }\), implying the claim.
We now pass to the proof of \(\Gamma \)-convergence, starting with the lower bound. Given \(f^n\rightarrow f\) in \(\mathcal {E}\), without loss of generality we may assume that \(\liminf F_n(f^n)<\infty \). As a consequence, there exists \(M<\infty \) and a sequence \(g^n\in L^2_t \mathcal {H}^\alpha \) such that \(\Vert g^n\Vert _{L^2\,H^\alpha }^2 \le 2\,M\), \(f^n=\mathcal {G}^0(f^n_0,\textrm{Int} (g^n))\). By weak compactness, up to extracting a subsequence, we may assume that \(g^n\rightharpoonup g\) in \(L^2 \mathcal {H}^\alpha \) for some \(g\in L^2_t\mathcal {H}^\alpha \); but then by Proposition 2.9 we deduce that \(f^n=\mathcal {G}^0(f^n_0,\textrm{Int} (g^n))\rightarrow \mathcal {G}^0(f_0,\textrm{Int} (g))=f\) in \(\mathcal {E}\). By lower semicontinuity of strong norms in the weak convergence we get
Next we give the proof of the upper bound. We can assume \(I_{f_0}(f)<\infty \), so that there exists \(g\in L^2_t \mathcal {H}^\alpha \) such that \(f=\mathcal {G}^0(f_0, Int (g))\) and \(\Vert g\Vert _{L^2_t H^\alpha }^2 = 2 I_{f_0}(f)\). Let \(f_n:=\mathcal {G}^0(f^n_0, Int (g))\), then by Proposition 2.9, \(f_n\) converge to f in \(\mathcal E\) and it holds
for all \(n\in \mathbb {N}\), so that the same holds taking the \(\limsup \) on the left-hand side. \(\square \)
2.2.2 Proofs of large deviation principles
As explained before, we will first employ the abstract weak convergence approach to establish in Proposition 2.15 an LDP for bounded initial data \(f_0\in L^\infty _x\) and then use the structure of the SPDE to further extend the result to general \(f_0\in L^2_x\) (see Theorem 2.16). Recall that solutions \(f^n\) to (2.5) satisfy the pathwise bound (2.6), in particular \(\sup _{t\in [0,T]} \Vert f^n_t\Vert _{L^\infty } \le \Vert f_0\Vert _{L^\infty }\) \(\mathbb {P}\)-a.s.
Let us define the spaces
where the subscript w now means weak-\(*\) continuity in time. We endow them respectively with the topologies of \(H^{-\delta }\) and \(C^0_t H^{-\delta }\) for some \(\delta >0\), which makes them Polish spaces (the topology being independent of the choice of \(\delta >0\)); see Lemma A.1 for a short proof of the first claim, the second one being similar.
The spaces \(\mathcal E^R_0\) and \(\mathcal E^{T,R}\) will play respectively the roles of \(\mathcal {E}_0\) and \(\mathcal {E}\) in Hypothesis 2.3. Finally, for \(M>0\), recall the spaces \(S^M(\mathcal {H}^\alpha )\) and \(\mathcal {P}^M_2(\mathcal {H}^\alpha )\) as defined in (2.1), (2.2).
With a slight abuse of notation, we will still use the notation \((f_0,g)\mapsto \mathcal {G}^0(f_0,\textrm{Int}(g))\), introduced in the previous section, to denote the restriction of the solution map associated to (2.8) for initial data \(f_0\in L^\infty _x\); in this case, for any fixed \(R>0\), we may consider \(\mathcal {G}^0\) as a well defined map from \(\mathcal {E}^R_0\times L^2_t\mathcal {H}^\alpha \) to \(\mathcal {E}^{T,R}\).
Thanks to Proposition 2.8, \(\mathcal {G}^0\) is a continuous map in the weak topologies, which implies the validity of Condition 1 in Hypothesis 2.3 (continuous image of a compact set is compact).
Lemma 2.12
For any \(M>0\) and compact subset \(\mathcal K\subset \mathcal E^R_0\), the set
is compact in the space \(\mathcal E^{T,R}\).
In order to check Condition 2 in Hypothesis 2.3, we need a few preparations. For any \(f_0\in L^\infty \) and \(g\in \mathcal P_2^M(\mathcal {H}^\alpha )\), consider now the equation
Arguing as for (2.5), under Assumption 2.5, it admits a unique solution \(f^n\) for any initial data \(f_0\in L^\infty \), which moreover satisfies the pathwise bound (2.6); in particular, \(\mathbb {P}\)-a.s. \(\sup _{t\in [0,T]} \Vert f^n_t \Vert _{L^\infty } \le \Vert f_0 \Vert _{L^\infty }\). Equation (2.16) has the corresponding Itô form
We shall denote the unique solution by \(f^n = \mathcal G^n\big (f_0, \sqrt{\varepsilon _n}\, W^\alpha + Int (g)\big )\); our next aim is to prove the following result.
Lemma 2.13
Let \(\{g^n\}_n \subset \mathcal P_2^M(\mathcal {H}^\alpha )\) and \(\{f^n_0 \}_n \subset \mathcal E^R_0\). Assume that \(f^n_0 {\mathop {\rightharpoonup }\limits ^{*}} f_0\) in \(L^\infty \) and \(g^n\) converge in law, as \(S^M(\mathcal {H}^\alpha )\)-valued random elements, to g as \(n\rightarrow \infty \). Then the convergence
holds in law, in the topology of \(\mathcal E^{T,R}\).
Before presenting the proof, we need to establish some uniform control on the martingale part of the equation (2.17), given by
Lemma 2.14
For any \(p\in [1,\infty ), \beta >1+d/2\) and \(\gamma <1/2\), there exists a constant \(C>0\), independent of \(n\ge 1\), such that
Proof
The proof is similar to those given in [38, Proposition 3.6] and [40, Section 2.2], so we will mostly sketch it. Denote by \([ M^n]_\beta \) the quadratic variation associated to \(\Vert \cdot \Vert _{H^{-\beta }}\), i.e. the unique increasing process such that \(\Vert M^n (t)\Vert _{H^{-\beta }}^2 -[M^n]_\beta (t)\) is a martingale; due to our choice of \(B^{k,i}\), it holds
As \(\sigma _{k,i}\) are divergence free, \(\sigma _{k,i}\cdot \nabla f^n_t= \nabla \cdot (\sigma _{k,i}\, f^n_t)\); thus, for any \(i\in \{1,\ldots , d-1\}\),
As a result, \(\mathbb {P}\)-a.s. it holds
where the last step is due to \(\Vert f^n_t\Vert _{L^2}\lesssim \Vert f^n_0 \Vert _{L^2} \le R\). With the above estimate at hand, applying Burkholder-Davis-Gundy inequality in Hilbert spaces, for any \(p\in [1,\infty )\) it holds
estimate (2.18) then readily follows from Kolmogorov continuity theorem. \(\square \)
Now we are ready to present the
Proof of Lemma 2.13
The argument is as usual by compactness. To conclude, it suffices to check that any subsequence of \(\{f^n\}_n\) converges to a weak \(L^\infty _{t,x}\) solution f of (2.8) associated to \((f_0, g)\); indeed by Proposition 2.8, uniqueness holds in this class, so that the limit is given by \(\mathcal {G}^0(f_0,\textrm{Int}(g))\).
By Assumption 2.5 and the pathwise estimate (2.6), up to choosing large \(\beta >0\), it holds
combining this with Lemma 2.14 and interpolating with the uniform \(L^2\)-bound, we can deduce from classical compact embedding results (cf. [81, Corollary 9, p. 90]) that the laws of \(\{f^n\}_n\) are tight in \(C^0_t H^{-\delta }\), for any \(\delta >0\). Applying the Prohorov theorem and Skorohod’s representation theorem, and extracting a subsequence if necessary, we can assume that \(f^n\) converge \(\mathbb {P}\)-a.s., in the topology of \(C^0_t H^{-\delta }\) (thus also in \(\mathcal {E}^{T,R}\)), to some limit process f, satisfying \(\Vert f \Vert _{L^\infty _{t,x}} \le \Vert f_0 \Vert _{L^\infty }\) \(\mathbb {P}\)-a.s.
On the other hand, we know by assumption that \(g^n\rightarrow g\) in law in the topology of \(S^M(\mathcal {H}^\alpha )\), namely in the weak topology of \(L^2_t H^\alpha _x\). To conclude that the limit point f is a weak solution to (2.8), by (2.17) with \(g=g^n\), it suffices to check: (i) the martingale part \(\textrm{d}M^n:= \textrm{d}\Pi _n \big (\sqrt{\varepsilon _n}\, W^\alpha \big ) \cdot \nabla f^n\) vanishes as \(n\rightarrow \infty \); (ii) \(\Pi _n(g^n)\cdot \nabla f^n\) converge to \(g \cdot \nabla f\) in the sense of distributions.
Claim (i) follows immediately from estimates (2.18), since \(\varepsilon _n\rightarrow 0\). Concerning (ii), first observe that \(\Pi _n(g^n)\cdot \nabla f^n= \nabla \cdot ( \Pi _n(g^n) f^n)\), so we only need to show that \(\Pi _n(g^n) f^n\rightharpoonup g f\) in the sense of distributions; since \(g^n\rightharpoonup g\) in \(L^2_t \mathcal {H}^\alpha \), by standard properties of Fourier projections \(\Pi _n(g^n)\rightharpoonup g\) in the same space as well, thus \(\Pi _n(g^n) f \rightharpoonup g f\) in \(L^2_{t,x}\).
To conclude, it remains to show that \(\Pi _n(g^n) (f^n-f)\rightharpoonup 0\) in the sense of distributions; this is the main point where the condition \(\alpha >0\) enters crucially and the reason why we restrict ourselves to the noise \(W^\alpha \) as given in Sect. 1.1. For any \(\varphi \in C^\infty \), it holds \(\Pi _n(g^n) \varphi \in L^2_t H^{\alpha }_x\) and \(\Vert \Pi _n(g^n) \varphi \Vert _{L^2_t H^{\alpha }_x} \lesssim \Vert \Pi _n(g^n) \Vert _{L^2_t H^{\alpha }_x} \Vert \varphi \Vert _{C^{\alpha +\varepsilon }_x} \le M \Vert \varphi \Vert _{C^{\alpha +\varepsilon }_x}\) as \(g^n \in S^M(\mathcal {H}^\alpha )\); therefore,
and the last term converges to 0, thus completing the proof of claim (ii).
From these arguments we conclude that f is a weak \(L^\infty _{t,x}\) solution to \(\partial _t f + (b+g)\cdot \nabla f = \Delta f\) with initial condition \(f_0\); by Proposition 2.8, \(f= \mathcal G^0( f_0, Int (g))\), completing the proof. \(\square \)
Now we can state and prove a preliminary LDP result.
Proposition 2.15
The solutions \(\{f^n= \mathcal G^n(f_0, \sqrt{\varepsilon _n} W^\alpha ) \}_{n\ge 1, f_0\in \mathcal E^R_0}\) of (2.5) satisfy the uniform Laplace principle with the rate function
where \(f_0\in \mathcal E^R_0\) and \(f\in \mathcal E^{T,R}\).
Proof
By Lemmas 2.12, 2.13 and Theorem 2.4, it suffices to show that for any fixed \(f\in \mathcal {E}^{T,R}\), the map \(f_0 \mapsto I_{f_0}(f)\) from \(\mathcal {E}^R_0\) to \([0,\infty ]\) is lower semicontinuous; but this has been shown in the proof of Lemma 2.11. \(\square \)
Now we will transfer the uniform Laplace principle from Proposition 2.15 to the case of \(L^2\)-initial data; the main tools allowing to do so are the linear structure of the equation and the \(\Gamma \)-convergence result from Lemma 2.11. Recall that here we take \(\mathcal {E}_0= L^2\) and \(\mathcal {E}=C^0_t H^{-s}\), both endowed with strong topologies. The exact value of \(s>0\) is not important.
Theorem 2.16
The solutions \(\{f^n \}_n\) of (2.5) with initial data \(f_0\in L^2\) satisfy the Laplace principle on \(C^0_t H^{-s}\), with rate function \(I_{f_0}\), uniformly on compact subsets of \(L^2\). In particular, they satisfy the LDP with the same rate function.
Proof
It is enough to verify (2.3) for any uniformly continuous, bounded \(G:\mathcal {E}\rightarrow \mathbb {R}\), so that it admits a modulus of continuity \(\omega _G\); once this is done, the case of general G follows by standard approximation arguments (alternatively, arguing as in the proof of Lemma 2.13, one can show that \(f^n\) belong to \(C^\gamma _t H^{-s+\varepsilon }_x\) for some \(\gamma ,\varepsilon >0\) and thus to a compact subset \(\mathcal K_T\) of \(C^0_t H^{-s}_x\), so that G restricted to \(\mathcal K_T\) is automatically uniformly continuous).
Let us make some preliminary observations. Firstly, for any fixed n, given any two solutions \(f^{n},\, \tilde{f}^n\) associated to initial data \(f_0,\,\tilde{f}_0\), by linearity of the transport equation and the pathwise estimate (2.6), we have the \(\mathbb {P}\)-a.s. bound \(\Vert \tilde{f}^{n} - f^n\Vert _{L^\infty L^2} \le C_b \Vert \tilde{f}_0 - f_0\Vert _{L^2}\) for \(C_b=\Vert \nabla \cdot b\Vert _{L^1\,L^\infty }\).
Secondly, for any (uniformly) continuous \(G:\mathcal {E}\rightarrow \mathbb {R}\) and \(f_0\in L^2_x\), let us set
Lemma 2.11 and the two facts mentioned above imply that \(I_{f^n_0}(G)\rightarrow I_{f_0}(G)\) as \(n\rightarrow \infty \) whenever \(f^n_0\rightarrow f_0\) in \(L^2\).
Now let \(\mathcal K\) be a compact subset of \(L^2\) and fix \(\delta >0\); let \(\rho _\delta \) be a standard mollifier and set \(f^\delta _0= \rho _\delta *f_0\). From now on, we will use the notation \(f^{n,\delta }\) to denote the solution to (2.5) with initial data \(f^\delta _0\), i.e. \(f^{n,\delta }= \mathcal G^n(f^\delta _0, \sqrt{\varepsilon _n}\, W^\alpha )\). For fixed \(\delta >0\), we set \(\mathcal K^\delta :=\{ f^\delta _0: f_0\in \mathcal K\}\) which is a compact set in \(L^\infty \).
By the \(\mathbb {P}\)-a.s. estimate \(|G(f^n)-G(f^{n,\delta })| \le \omega _G(\Vert f^n-f^{n,\delta }\Vert _{L^\infty L^2}) \le \omega _G(C_b \Vert f_0-f^\delta _0\Vert _{L^2})\) and simple algebraic computations, it holds
as a consequence, we obtain
For fixed \(\delta >0\), since \(\mathcal K^\delta \) is compact in \(L^\infty \), we can apply the uniform Laplace principle coming from Proposition 2.15 to the family \(\{f^{n,\delta }:f_0^\delta \in \mathcal K^\delta \}\); therefore
In order to conclude, it then suffices to show that
Let us show that \(\sup _{f_0\in \mathcal K} \Vert f_0-f_0^\delta \Vert _{L^2}\rightarrow 0\) as \(\delta \rightarrow 0\), which implies convergence of the first quantity in (2.20). Suppose by contradiction this is not true, then there exist sequences \(f_0^n\subset \mathcal K\), \(\delta _n\rightarrow 0\) such that \(\big \Vert f_0^{n,\delta _n}-f^n_0 \big \Vert _{L^2}\ge c>0\). Since \(\mathcal K\) is compact, we can extract a subsequence (not relabelled for simplicity) such that \(\Vert f_0^n- f_0\Vert _{L^2}\rightarrow 0\); by properties of mollifiers, \( \big \Vert f^{n,\delta _n}_0 - f^{\delta _n}_0 \big \Vert _{L^2} \le \Vert f^n_0-f_0\Vert _{L^2}\) and \(\Vert f^{\delta _n}_0-f_0\Vert _{L^2}\rightarrow 0\). But then it holds
as \(n\rightarrow \infty \), yielding a contradiction. The verification that \(\sup _{f_0\in \mathcal K} \big |I_{f_0^\delta } (G) - I_{f_0}(G) \big | \rightarrow 0\) as \(\delta \rightarrow 0\) comes from a similar argument, based on the fact that \(I_{f^n_0}(G)\rightarrow I_{f_0}(G)\) whenever \(f^n_0\rightarrow f_0\) in \(L^2\). \(\square \)
2.3 Stochastic 2D Euler equations
In this section we establish a LDP for solutions to the vorticity form of stochastic 2D Euler equations with transport noise. Let us shortly recall the setting: we consider
with equivalent Itô form
In the current section, we will restrict to the case \(\xi _0 \in L^\infty \), in which Eq. (2.21) is well posed with probabilistically strong solutions; thus we can define a solution map \(\xi ^n= \mathcal G^n(\xi _0, \sqrt{\varepsilon _n}\, W^\alpha ),\, n\ge 1\). As in Sect. 2.2, in order to establish a LDP for \(\{\xi ^n \}_n\), we need to check Conditions 1 and 2 in Hypothesis 2.3; we consider the same spaces \(\mathcal E^R_0\) and \(\mathcal E^{T,R}\) as defined in (2.15).
We start by showing the well posedness of the skeleton equation
The following lemma is the analogue of Proposition 2.8.
Lemma 2.17
For any \(\xi _0\in L^\infty \) and any \(g\in L^2_t \mathcal {H}\), there exists a unique weak solution \(\xi \in L^\infty _{t,x}\) to (2.23). Moreover, given two solutions \(\xi ^i\) associated to data \(\xi ^i_0\) and \(g^i\in L^2_t \mathcal {H}\), it holds
Finally, given sequences \(\xi ^n_0 {\mathop {\rightharpoonup }\limits ^{*}} \xi _0\) in \(L^\infty \) and \(g^n \rightharpoonup g\) in \(L^2_t \mathcal {H}\), the corresponding solutions \(\xi ^n\) converge weakly-\(*\) in \(L^{\infty }_{t,x}\) to \(\xi \), as well as strongly in \(L^2_{t,x}\cap C^0_t H^{-\delta }_x\) for any \(\delta >0\).
Proof
The existence of solutions with uniform \(L^\infty \)-bound follows again from the classical maximum principle and approximation arguments. Arguing as in the proof of Proposition 2.8, thanks to the \(L^\infty \)-bound and the properties of the Biot-Savart kernel, it is easy to check that \((g+ K*\xi )\cdot \nabla \xi \in L^2_t H^{-1}_x\) and so that by maximal regularity \(\xi \in L^2_t H^1_x\).
Now assume we are given two \(L^\infty _{t,x}\)-solutions to (2.23) and set \(v=\xi ^1-\xi ^2\); we can apply the Lions-Magenes lemma and the divergence free property of g to deduce that
Note that
hence
Together with the fact that \(\xi ^2\in L^\infty _{t,x}\) and Gronwall’s lemma, this readily yields uniqueness; similar estimates, together with the bound \(\Vert \xi ^2\Vert _{L^\infty _{t,x}}\le \Vert \xi ^2_0\Vert _{L^\infty }\), then yields (2.24).
The last assertion can be proved in the same way as that of Proposition 2.8. \(\square \)
Lemma 2.17 allows us to define the solution map \(\xi := \mathcal G^0(\xi _0, Int (g))\) associated to (2.23) for \(\xi _0\in L^\infty \) and \(g\in L^2_t \mathcal {H}^\alpha \). With these preparations at hand, we see that Condition 1 in Hypothesis 2.3 holds, similarly to Lemma 2.12.
Lemma 2.18
For any \(M>0\) and compact subset \(\mathcal K\subset \mathcal E^R_0\), the set
is compact in the space \(\mathcal E^{T,R}\).
Next, in order to verify Condition 2 in Hypothesis 2.3, we consider stochastic 2D Euler equations with some extra drift term \(g\in L^2_t \mathcal {H}^\alpha \):
the equivalent Itô form is
Due to the projection \(\Pi _n\), the noise part has only finitely many Brownian motions, hence it clearly satisfies Condition 2.3 in [12]; similarly, for fixed \(n\ge 1\), \(\textrm{d}\Pi _n ( Int (g) ) = \Pi _n g\,\textrm{d}t\) is smooth in the space variable, thus it can be regarded as a smooth perturbation of the equation. One can follow the approach in [12] Footnote 3 to show that these equations enjoy pathwise unique, probabilistically strong solutions \(\xi ^n\) satisfying \(\mathbb {P}\)-a.s., \(\Vert \xi ^n_t \Vert _{L^\infty } \le \Vert \xi _0 \Vert _{L^\infty }\) for all \(t\in [0,T]\); in particular, we can define the solution map
Recall the families \(S^M(\mathcal {H}^\alpha )\) and \(\mathcal P_2^M(\mathcal {H}^\alpha )\) defined in (2.1), (2.2); the next result verifies Condition 2 in Hypothesis 2.3.
Proposition 2.19
Let \(\{g^n \}_n \subset \mathcal P_2^M(\mathcal {H}^\alpha )\) and \(\{\xi ^n_0 \}_n \subset \mathcal E^R_0\). Assume that \(\xi ^n_0 {\mathop {\rightharpoonup }\limits ^{*}} \xi _0\) in \(L^\infty \) and \(g^n\) converge in law, as \(S^M(\mathcal {H}^\alpha )\) valued random elements, to g as \(n\rightarrow \infty \). Then the convergence
holds in law, in the topology of \(\mathcal E^{T,R}\).
Proof
For given sequences \(\{g^n \}_n \subset \mathcal P_2^M(\mathcal {H}^\alpha )\) and \(\{\xi ^n_0 \}_n \subset \mathcal E^R_0\), we denote the corresponding solutions by
For any \(\delta >0\), thanks to the uniform \(L^\infty \)-bound (so that we also have weak-\(*\) convergence in \(L^\infty _{t,x}\)) and the estimate on the martingale part coming from Lemma 2.14, one can check as usual the tightness of the sequence \(\{\xi ^n \}_n\) in \(C^0_t H^{-\delta }_x\).
Using the weak convergence of \(g^n\) to g, it is then not difficult to check that (up to extracting a non-relabelled subsequence) \(\xi ^n\) converge in law to a weak \(L^\infty \)-solution \(\xi \) of the skeleton equation (2.23). More precisely, the convergence of \(\Pi _n(g^n)\cdot \nabla \xi ^n\) follows the same proof of Lemma 2.13, while the convergence of the nonlinear term \((K*\xi ^n) \cdot \nabla \xi ^n\) can be treated in the same way as the proof of [37, Theorem 2.2]; the martingale terms \(M^n\) vanish as \(n\rightarrow \infty \) due to estimate (2.18).
Lemma 2.17 finally allows to deduce that \(\xi = \mathcal G^0\big (\xi _0, Int (g) \big )\). \(\square \)
Now we can state the main result of this section.
Theorem 2.20
The solutions \(\{\xi ^n =\mathcal G^n(\xi _0, \sqrt{\varepsilon _n}\, W^\alpha ) \}_{n\ge 1,\, \xi _0\in \mathcal E^R_0} \) of (2.21) satisfy the uniform Laplace principle with the rate function
where \(\xi _0\in \mathcal E^R_0\) and \(\xi \in \mathcal E^{T,R}\).
Proof
By Theorem 2.4 and Lemmas 2.18 and 2.19, it suffices to show the lower semicontinuity of \(\xi _0\mapsto I_{\xi _0}(\xi )\), which follows the same line of arguments as those of Lemma 2.11. \(\square \)
2.4 Further remarks and future directions
We present here some consequences of the results presented above, together with possible problems to explore in the future. We start by some simple lower bounds on the rate functions, which can be deduced by the stability estimates presented in Sect. 2.2.1.
Lemma 2.21
Let \(f_0\in L^2\setminus \{0\}\), \(I_{f_0}\) be defined as in (2.14) and \(\bar{f}=\mathcal {G}^0(f_0,0)\), i.e. the solution to (2.8) with \(g=0\); then for any \(\delta > d/2\) it holds
If additionally \(f_0\in L^\infty \), then
Proof
Given \(f_0\) as above, suppose \(f=\mathcal {G}^0(f_0,Int (g))\) for some \(g\in L^2_t \mathcal {H}^\alpha \); then clearly \(f\in C^0_t H^{-\delta }\). Moreover by Proposition 2.9 (for the choice \(c^i=0\), \(h^1=b+g\) and \(h^2=b\)) and Sobolev embeddings it holds
inverting the inequalities we obtain
from which (2.27) follows by taking the infimum over g. The proof of (2.28) is similar, only observe that in this case if \(f=\mathcal {G}^0(f_0,Int (g))\), then necessarily \(f\in C^0_t L^2\cap L^\infty _{t,x}\) and estimate (2.10) is available. \(\square \)
Remark 2.22
For simplicity we only considered the cases \(f_0\in L^2\) and \(f_0\in L^\infty \), but several variants of the above estimates are available for \(p\in (2,\infty )\). Indeed, one can derive suitable stability estimates in the style of (2.10), (2.12), using the information that the initial \(L^p\) integrability is propagated over time; in turn this provides estimates of the form (2.27) where the parameter \(\delta \) belongs to an interval determined by Sobolev embeddings.
Corollary 2.23
Let \(f_0\in L^2\), \(f^n= \mathcal {G}^n(f_0,\sqrt{\varepsilon _n} W^\alpha )\) and \(\bar{f}= \mathcal {G}^0(f_0,0)\) for the maps \(\mathcal {G}^n\), \(\mathcal {G}^0\) as defined in Sect. 2.2.2. Then for any \(\delta > d/2\) and any \(R>0\) there exists a constant \(C>0\) such that
If additionally \(f_0\in L^\infty \), then an estimate of the form (2.29) holds for any \(\delta >0\), up to replacing \(\Vert f_0\Vert _{L^2}\) by \(\Vert f_0\Vert _{L^\infty }\).
Proof
By the definition of LDP and Lemma 2.21, it holds
which gives (2.29); similarly in the case \(f_0\in L^\infty \). \(\square \)
The same technique can be applied in the case of 2D Euler equations; to avoid unnecessary repetitions, we give the statement without proof.
Corollary 2.24
Let \(\xi _0\in L^\infty {\setminus }\{0\}\), \(I_{\xi _0}\) be given by (2.26) and \(\bar{\xi }=\mathcal {G}^0(\xi _0,0)\), where \(\mathcal {G}^0\) is defined as in Sect. 2.3; then it holds
As a consequence, setting \(\xi ^n =\mathcal {G}^n(\xi _0,\sqrt{\varepsilon _n} W^\alpha )\), for any \(\delta > 0\) and any \(R>0\) there exists a constant \(C>0\) such that
The interest in results like Corollaries 2.23 and 2.24 comes from applications in the suppression of blow-up phenomena presented in [38]. To discuss this, let us turn to an abstract setting similar to that from the introduction; namely let us consider an SPDE of the form
The equation is now truly parabolic and due to the presence of an additional parameter \(\nu >0\), it has corresponding Itô form
For a large class of nonlinearities F (e.g. those satisfying Hypothesis 1.2 from [38]), equation (2.32) admits pathwise existence and strong uniqueness of maximal local solutions, which might however blow up in finite time, just like the deterministic counterpart of (2.32). However, it was shown in [38] that if the parameters \(\nu ,\, n\) are chosen correctly, then the probability of blow-up for (2.32) occurring before a fixed time \(T>0\) can be made arbitrarily small.
Establishing an LDP for the small noise limit of (2.33), combined with estimates like those in Corollaries 2.23 and 2.24, would provide a more precise information on the asymptotics of this small blow-up probability, which is expected to decay exponentially as a function of n. Indeed, the proof provided in [38] roughly speaking follows three main steps:
-
(i)
Choose \(\nu >0\) sufficiently large so that the limit \(\bar{u}\) of \(u^n\), solving the equation with enhanced viscosity
$$\begin{aligned} \partial _t \bar{u} = (1+\nu )\Delta \bar{u} + F(\bar{u}) \end{aligned}$$does not blow up before time T and it satisfies \(\Vert \bar{u}\Vert _{H^{-\delta }} \le R\) for some appropriately chosen parameters \(\delta , R>0\).
-
(ii)
Instead of considering (2.32), look at the equation with cutoff
$$\begin{aligned} \textrm{d}\tilde{u}^n + \sqrt{\nu \varepsilon _n}\, \circ \textrm{d}W^{n,\alpha }\cdot \nabla \tilde{u}^n = [\Delta \tilde{u}^n + \rho (\tilde{u}^n) F(\tilde{u}^n)] \textrm{d}t; \end{aligned}$$(2.34)the cutoff function \(\rho (\tilde{u}^n)=\rho (\Vert \tilde{u}^n\Vert _{H^{-\delta }})\) is devised in such a way that: a) global existence of solutions to (2.34) always holds; b) as long as \(\Vert \tilde{u}^n\Vert _{H^{-\delta }} \le 2R\), \(\rho (\tilde{u}^n)=1\) so that \(\tilde{u}^n\) is also a solution to the Eq. (2.32) without cutoff.
-
(iii)
Show that \(\tilde{u}^n\rightarrow \bar{u}\) as \(n\rightarrow \infty \) in \(C^0_t H^{-\delta }\); in particular, if \(\Vert \tilde{u}^n-\bar{u}\Vert _{C^0\,H^{-\delta }} \le R\), then \(\tilde{u}^n = u^n\), so that the probability of blow-up happening can be bounded by
$$\begin{aligned} \mathbb {P}\big ( \Vert \tilde{u}^n_t \Vert _{H^{-\delta }}>2R \text{ for } \text{ some } t\le T \big ) \le \mathbb {P}\big (\Vert \tilde{u}^n-\bar{u}\Vert _{C^0 H^{-\delta }} >R \big ). \end{aligned}$$(2.35)
The results from [38] only establish that the right hand side of (2.35) converges to 0 as \(n\rightarrow \infty \); see [40, Theorem 1.5] for more quantitative, polynomial type of estimates in the specific case of the 2D Keller–Segel system.
As the quantity on the right hand side of (2.35) is exactly of the same form as those appearing in (2.29), (2.31), in order to establish its exponential decay it would be enough to show that \(\tilde{u}^n\) satisfy an LDP with a rate function I satisfying suitable lower bounds.
However, we warn the reader that this task might be far from obvious and different PDEs (i.e. different choices of the nonlinearity F) might require case-by-case treatment. Recall that one of the key ingredients in establishing the LDP is the study of the skeleton equation
where the function g is divergence free and only enjoys regularity \(L^2_t \mathcal {H}^\alpha \), so that the Prodi-Serrin condition does not hold. In particular, resorting to the mild formulation of the problem is not sufficient to solve it, while the presence of the nonlinearity F might complicate the analysis presented in Sect. 2.2.1. A crucial tool in establishing the well-posedness of the nonlinear skeleton equation (2.23) was its transport structure, allowing to derive a priori estimates in \(L^\infty _t L^p_x\), which are then crucial in order for the proof of Lemma 2.17 to work. Different nonlinearities F might not allow to derive similar estimates and thus the techniques presented here might not necessarily work.
3 Central limit theorems
We provide here the proofs of the CLTs, by treating first the case of stochastic transport equations in Sect. 3.1 and then stochastic 2D Euler equations in Sect. 3.2. In both cases, we provide explicit rates of strong convergence, see Theorems 3.7 and 3.12 respectively. Finally we discuss in Sect. 3.3 possible generalizations of these results.
3.1 Stochastic transport equation
We recall the stochastic transport equation (2.7) for the reader’s convenience:
Throughout this section, we will always impose the following assumption on the drift b.
Assumption 3.1
The drift b satisfies \(\nabla \cdot b\in L^1_t L^\infty _x\) and there exist \((p,q)\in (2,\infty ]\) such that
In this case, we always have strong existence and uniqueness of solutions \(f^n\) to (3.1). Let f be the solution to
Then \(X^n:= (f^n-f)/\sqrt{\varepsilon _n}\) solves
It is natural to expect that the family \(\{X^n \}_n\) converges as \(n\rightarrow \infty \) to the solution X of
At this stage, Eq. (3.5) is only heuristical, as we cannot expect to give it meaning in a classical sense; instead, we will adopt the following definition.
Definition 3.2
We say that a process X with trajectories in \(C^0_t H^{-\beta }\) for some \(\beta >0\) is a solution to (3.5) if for any \(\tau \in [0,T]\) and \(\varphi \in C^\infty \) it holds
where \(g\in L^2_t C^1_x\) is any solution to the backward equation
Observe that, since we are imposing \(g\in L^2_t C^1_x\), the stochastic integral appearing in (3.6) is meaningful, since
Let us stress however that the existence of such a g is part of the above definition. The well-posedness of (3.7) follows from Theorem A.6 in “Appendix A”, where more general equations are treated (up to time reversal); we summarize here some results which will be frequently used in this section.
Lemma 3.3
Under Assumption 3.1, for any \(\varphi \in L^\infty \), Eq. (3.7) has a unique solution of the form \(g_t = P_{\tau -t} \varphi + v_t\), where \(v\in C^0_t C^0_x\) satisfying \(v_\tau =0\) and \(\sup _{t\le \tau } (\tau -t)^{\frac{\gamma }{2}} \Vert v_t \Vert _{C^1} \lesssim _b \Vert \varphi \Vert _{L^\infty }\). Moreover, we can define a two-parameter solution operator \(S_{\tau , t} \varphi :=g_t,\, 0\le t\le \tau \le T\), such that
-
(i)
\(S_{\tau ,t}= P_{\tau -t} + R_{\tau ,t}\), where \(R_{\tau ,t}\) is a linear operator satisfying
$$\begin{aligned} \Vert R_{\tau ,t}\varphi \Vert _{C^\delta } \lesssim _\delta (\tau -t)^{(1-\gamma -\delta )/2} \Vert \varphi \Vert _{L^\infty } \quad \text{ for } \text{ any } \delta \in [0,2-\gamma ); \end{aligned}$$ -
(ii)
for any \(\varepsilon >0\), \(\Vert S_{\tau ,\cdot }\varphi \Vert _{L^2_t C^1} \lesssim _\varepsilon \Vert \varphi \Vert _{C^\varepsilon }\);
-
(iii)
S enjoys the semigroup property: \(S_{\tau ,s}= S_{t,s}\circ S_{\tau ,t}\) for any \(0\le s<t<\tau \le T\).
Now we can establish the well-posedness of (3.5).
Proposition 3.4
Let b satisfy Assumption 3.1, then for any \(f_0\in L^2\) there exists a unique solution X to (3.5), in the sense of Definition 3.2. Moreover X is a Gaussian process; up to modification, for any \(\delta \in (0,1-\gamma )\) and \(\varepsilon >0\), it has trajectories in \(C^{\delta /2-\varepsilon }_t H^{-d/2-\delta -\varepsilon }_x\).
Proof
We start by showing uniqueness. Assume there exist two processes \(X^1\) and \( X^2\), defined on the same stochastic basis \((\Omega ,\mathbb {P},\mathcal {F}_t,W^\alpha )\). By Lemma 3.3, for any \(\tau \in [0,T]\) and any \(\varphi \in C^\infty \), there exists a unique solution g to (3.7) satisfying \(g\in L^2_t C^1_x\). Similarly, under Assumption 3.1, equation (3.3) has a unique solution f (see [52, Lemma 1]), which is the limit of \(\{f^n \}_n\). Therefore it must hold \(\langle X^1_\tau -X^2_\tau , \varphi \rangle = 0\) \(\mathbb {P}\)-a.s. for any fixed \(\tau \in [0,T]\) and any \(\varphi \in C^\infty \); standard arguments based on countable quantifiers imply that \(X^1\equiv X^2\).
Now we turn to the existence part. Under Assumption 3.1, by Lemma 3.3, uniqueness of regular solutions holds for (3.7). Specifically, if we fix \(\varepsilon >0\), then for any \(\varphi \in C^\varepsilon \) and any \(t\in [0,T]\), the solution \(g_\cdot = S_{t,\cdot }\varphi \in C^0_{s,x} \cap L^2_s C^1_x\), and the identity (3.6) can be rewritten as
We can actually use expression (3.8) to define a Gaussian random field X, which will then automatically be a solution to (3.5), in the sense of Definition 3.2, adapted to the filtration generated by \(W^\alpha \).
Below we discuss the space-time regularity of X. In order to show the claim, it suffices to check that for any such \(\delta \) and any \(\varepsilon >0\) it holds
Indeed, by hypercontractivity of Gaussian variables, it then holds
which implies the conclusion by standard arguments, based on Kolmogorov continuity type theorems (and possibly a relabelling of the parameter \(\varepsilon \)). By formula (3.8), it holds
Let us denote the two integrals appearing in the last line by \(J^1,\, J^2\). By Lemma 3.3,
where in the last step we have used \(1-e^{-a} \le a^\delta \) for any \(a\ge 0\) and \(\delta<1-\gamma <1\). On the other hand, for any \(\varepsilon >0\) such that \(\delta +\varepsilon <1-\gamma \), it holds
Combining the above bounds yields the desired claim (3.9) and thus the conclusion. \(\square \)
Remark 3.5
Expression (3.8) also allows to derive a somewhat explicit formula for the covariance of X: for any \(s,t\in [0,T]\) and \(\varphi ,\psi \in C^\infty \) it holds
where \(Q^\alpha = \Pi (-\Delta )^{-\alpha } \Pi \) denotes the covariance operator associated to \(W^\alpha \).
Before proving the main result of this subsection, we need an explicit estimate on the rate of convergence of \(f^n\) to f. A partially similar result can be found in [40, Theorem 1.7] for the special case \(b\equiv 0\).
Proposition 3.6
Let b satisfy Assumption 3.1; for any \(\delta \in (0,d/2]\) and any \(\varepsilon >0\), it holds
Proof
The idea of proof is similar to that of Proposition 3.4. It suffices to show that, for any \(\varepsilon >0\), it holds
indeed, the general case follows, up to possibly redefining \(\varepsilon \), from the interpolation inequality \(\Vert \cdot \Vert _{H^{-\theta s}} \lesssim \Vert \cdot \Vert _{H^{-s}}^{\theta } \,\Vert \cdot \Vert _{L^2}^{1-\theta }\) and the \(\mathbb {P}\)-a.s. bound \(\Vert f^n_t-f_t\Vert _{L^2}\lesssim \Vert f_0\Vert _{L^2}\).
Since \(f^n\) is a weak solution to (3.1), for any \(t\in [0,T]\) and any smooth \(\psi :[0,t]\times \mathbb {T}^d\rightarrow \mathbb {R}\), it holds
Now given \(\varphi \in C^\infty (\mathbb {T}^d)\), consider the solution \(\{S_{t,r} \varphi \}_{r\in [0,t]}\) to the backward equation (3.7); arguing by smooth approximations, it is not hard to check that \(\mathbb {P}\)-a.s. it holds
Similarly, the limit f satisfies \(\langle f_t, \varphi \rangle = \langle f_0, S_{t,0}\varphi \rangle \); therefore, taking \(\varphi =e_k\), we get
where \(Q_n^\alpha \) is the covariance operator of \(W^{n,\alpha }\). Therefore,
By Lemma 3.3,
implying \(\mathbb {E}\big [ |\langle f^n_t -f_t, e_k\rangle |^2 \big ] \lesssim \varepsilon _n\, \Vert f_0\Vert _{L^2}^2\). Since \(\varepsilon _n\sim n^{2\alpha -d}\), for any \(\varepsilon >0\) it holds
which yields the conclusion. \(\square \)
Theorem 3.7
Let b satisfy Assumption 3.1, \(X^n\) and X solutions respectively to (3.4), (3.5) for some \(f_0\in L^2\). Then for any \(0<\delta <\alpha \wedge (1-\gamma )\) and any \(\varepsilon >0\) it holds
Proof
Similarly to the case of X, we may test \(X^n\) against the solutions of (3.7): for any \(\varphi \in C^\infty \) and \(t\in [0,T]\), one has
Therefore, for any \(l\in \mathbb {Z}^d_0\) it holds
Let us denote the two terms above by \(I^{l,1}_t\) and \(I^{l,2}_t\). By the trivial estimate \(|k|^{-\alpha }\le n^{-\alpha }\) and the orthogonality of \(\{\sigma _{k,i} \}\), it holds
where \(\Vert S_{t,\cdot } e_l \Vert _{L^2 C^1}\) can be estimated as at the end of the proof of Proposition 3.6.
Concerning the second term, fix \(\delta \) as in the statement and choose \(\varepsilon >0\) such that \(\delta +\varepsilon < \alpha \wedge (1-\gamma )\). Let us recall the following fact: for any \(\psi \in C^{\delta +\varepsilon } \) and \( \chi \in H^{-\delta }\), it holds \(\psi \chi \in H^{-\delta }\) with \(\Vert \psi \chi \Vert _{H^{-\delta }} \lesssim \Vert \psi \Vert _{C^{\delta +\varepsilon }} \Vert \chi \Vert _{H^{-\delta }}\). Combining it with \(\Vert \psi \chi \Vert _{H^{-\alpha }} \le \Vert \psi \chi \Vert _{H^{-\delta }}\), we obtain
Now we can apply again Lemma 3.3, as well as Proposition 3.6, to get
where in the first step we have used item i) in Lemma 3.3:
since \(\gamma + \delta +\varepsilon <1\). Observe that, since we are imposing \(\delta <\alpha \), the estimate for \(I^{l,2}_t\) is worse than the one for \(I^{l,1}_t\); combining all the above estimate we arrive at
From here, standard computations like those in Proposition 3.6 allow to reach (3.11) (up to possibly relabelling the parameter \(\varepsilon \)). \(\square \)
3.2 Stochastic 2D Euler equations
Recall the setting: using the notation \(W^{n,\alpha }\), the Itô form of Eq. (1.14) is given by
as \(n\rightarrow \infty \), \(\xi ^n\rightarrow \xi \) solution to the deterministic 2D Navier–Stokes equation in vorticity form:
Let us set \(\Xi ^n= (\xi ^n-\xi )/\sqrt{\varepsilon _n}\), which satisfy in a weak sense the equation
Letting \(n\rightarrow \infty \), any limit point of \(\Xi ^n\) is expected to solve
where \(\xi \) is the unique solution to (3.13).
We will first show the well posedness of (3.15) and then prove the convergence of \(\Xi ^n\) to \(\Xi \). We will follow an alternative approach different from the one in Sect. 3.1; indeed, instead of adopting an analogue of Definition 3.2, we interpret equation (3.15) in its mild form:
To solve this equation, we need some information on the regularity of the stochastic convolution
Lemma 3.8
For any \(\beta \in (0,\alpha )\) and \(p\in [1,\infty )\), it holds \( \mathbb {E}\big [ \Vert Z_t \Vert _{C^0\,H^{\beta -1}}^p \big ] < +\infty \).
The proof follows closely that of [40, Lemma 2.5] and is thus postponed to the “Appendix”.
In view of Lemma 3.8, we can turn to the study of the analytic equation
where \(\xi _0\in L^2\) is given, \(\xi \) is the associated unique solution to (3.13), z is a given element of \(C^0_t H^{\beta -1}\) for some \(\beta \in (0,\alpha )\) and y is the unknown.
Proposition 3.9
Let \(\xi _0\in L^2\) be fixed, \(\xi \) be the unique associated solution to (3.13), \(\beta >0\). Then for any \(z\in C^0_t H^{\beta -1}\), there exists a unique solution \(y\in C^0_t H^{\beta -1}\) to (3.17). Moreover, the solution map \(z\mapsto y=:Sz\) is a linear bounded operator and there exists \(C>0\) such that
Proof
Let us define \(a(t):=\int _0^t \big (\Vert \xi _s\Vert _{H^1}^2 + \Vert \xi _s\Vert _{L^2}^2 \big )\, \textrm{d}s\); endow \(C^0_t H^{\beta -1}_x\) with the equivalent norm
for a suitable \(\lambda >0\) to be chosen later. Define a map \(\Gamma \) on \(C^0 H^{\beta -1}\) by
We are going to show that \(\Gamma \) is a contraction on \((C^0_t H^{\beta -1}, \Vert \cdot \Vert _\lambda )\) for some large \(\lambda >0\), which immediately implies existence and uniqueness of solutions to (3.17); since \(\Gamma \) is an affine map, the same computation shows that indeed \(\Gamma y\in C^0_t H^{\beta -1}\) whenever y does so.
Given \(y^1,\, y^2\in C^0_t H^{\beta -1}\), set \(v=y^1-y^2\), then by Lemma A.2 it holds
Applying Lemma A.4-(ii) with \(b=1-\beta >0\), we get
next, applying Lemma A.4-(i) with \(a=1,\, b=1-\beta \) leads to
Combining the above estimates, multiplying both sides by \(e^{-2\lambda a(t)}\) and taking the supremum over \(t\in [0,T]\), we obtain the existence of a constant \(C>0\) independent of \(\lambda \) such that
contractivity follows by choosing \(\lambda \) large enough.
Linearity of \(z\mapsto Sz\) follows from the affine structure of (3.17), so we are left with proving (3.18); the proof is very similar to the one above, based on several applications of Lemmas A.2 and A.4. Indeed if y solves (3.17), then for any \(t\in [0,T]\) it holds
Estimate (3.18) readily follows from an application of Gronwall’s lemma and the well known bound \(\Vert \xi _t\Vert _{L^2}^2 + \int _0^t \Vert \nabla \xi _s\Vert _{L^2}^2 \textrm{d}s \le \Vert \xi _0\Vert _{L^2}^2\). \(\square \)
Corollary 3.10
Let \(\xi _0\in L^2\) be fixed, \(\xi \) be the unique associated solution to (3.13). Then there exists a unique solution \(\Xi \) to (3.16), which is given by \(\Xi =S Z\). In particular \(\Xi \) is a Gaussian field which satisfies \(\mathbb {E}\big [\Vert \Xi \Vert _{C^0\,H^{\beta -1}}^p \big ]<\infty \) for all \(p\in [1,\infty )\) and \(\beta \in (0,\alpha )\).
Proof
Strong existence and pathwise uniqueness immediately follow from Proposition 3.9, while the moment bounds follow from Lemma 3.8 and estimate (3.18). \(\Xi \) being Gaussian follows from it being a linear image of the Gaussian field Z. \(\square \)
Before showing the convergence of \(\Xi ^n\) to \(\Xi \), we need to discuss a technical matter. As already mentioned in the introduction, for \(L^2\)-initial data \(\xi _0\), equation (3.12) is known to have only probabilistically weak solutions, which might not be unique nor strong. This means that, for any \(\xi _0\in L^2\) and \(n\in \mathbb {N}\), we can construct a tuple \((\Omega , \mathcal {F}, (\mathcal {F}_t), \mathbb {P}; W^{\alpha }, \xi ^n)\), where \(\big (\Omega , \mathcal {F}, (\mathcal {F}_t), \mathbb {P}\big )\) is a filtered probability space, \(W^{\alpha }\) is a \(Q^\alpha \)-Wiener process on \(L^2\) with respect to the filtration \(\mathcal {F}_t\) and \(\xi ^n\) is an \(\mathcal {F}_t\)-adapted process with trajectories in \(L^\infty _t L^2_x\) such that (3.12) (for \(W^{n,\alpha }=\Pi _n W^\alpha \)) holds in the weak sense. Since \(\xi \) is deterministic, \(\Xi ^n= (\xi ^n -\xi )/\sqrt{\varepsilon _n}\) lives on the same space.
As the limit equation (3.15) admits a pathwise unique solution, \(\Xi \) can be defined on the given stochastic basis \(\big (\Omega , \mathcal {F}, (\mathcal {F}_t), \mathbb {P}; W^\alpha \big )\); in other words, we can deal with the difference \(\Xi ^n - \Xi \), at fixed n. However, we cannot consider the difference of \(\Xi ^n\) and \(\Xi ^m\) for \(n\ne m\).
Before proceeding further, let us recall the following useful estimate, which is a particular subcase of [40, Theorem 1.1].
Proposition 3.11
Let \(\xi _0\in L^2\), \(\xi \) be the unique solution to (3.13); then for any \(p\in [1\,\infty )\), any \(\delta \in (0,1)\) and any \(\varepsilon \in (0,\delta /2)\), there exists a constant \(C=C(\Vert \xi _0\Vert _{L^2}, T, \delta , \varepsilon , p)\) such that, for any \(n\in \mathbb {N}\) and any weak solution \(\xi ^n\) to (3.12), it holds
We can now give an explicit estimate on the speed of convergence of \(\Xi ^n\) to \(\Xi \).
Theorem 3.12
Let \(\xi _0\in L^2\) be given, \(n\in \mathbb {N}\) and \(\xi ^n\) be a weak solution to (3.12); define the correponding \(\Xi ^n,\,\Xi \) in the way described above. Let \(\beta \in (0,\alpha )\) and set \(\gamma :=\beta \wedge (\alpha -\beta )\). Then for any \(\varepsilon >0\) and any \(T>0\) there exists a constant \(C=C(\varepsilon ,T,\Vert \xi _0\Vert _{L^2},\alpha ,\beta )\) such that
Proof
As before, writing the equations (3.14) and (3.15) in mild form yields
Therefore, for any \(t\in [0,T]\),
where
We will estimate the terms one-by-one, starting with the first two. By Lemma A.2 and Lemma A.4-(ii), it holds
Next, we apply Lemmas A.2 and A.4-(i) with \(a=1\) and \(b=1-\beta \), which gives
Combining the above estimates yields
and so by Gronwall’s lemma we find
To estimate \(I^n_3(t)\), let us fix \(\delta _1\) such that \(\delta _1<\beta \wedge (1-\beta )\) and \(\varepsilon \) small enough such that \(\delta _1+\varepsilon <1-\beta \); by Lemma A.3-(i) it holds
Next, by Lemma A.4-(iii) with \(a=\beta ,\, b=\delta _1\),
where in the last passage we used the Cauchy inequality and the fact that \(\beta +\delta _1+\varepsilon <1\). Applying Corollary 3.10 and estimate (3.19), overall we obtain
It remains to estimate \(I^n_4(t)\), which is the term requiring the most work. We split it in two parts: \(I^n_4(t)\lesssim J^n_1(t) + J^n_2(t)\) where
First, recalling the expression of \(W^{n,\alpha }_r\), the properties of \(\{B^k\}_k\) and the fact that \(\xi \) is deterministic, by Itô’s isometry on Hilbert spaces we have
for small \(\varepsilon >0\). Noting that \(\sigma _k = \frac{k^\perp }{|k|} e_k\) is divergence free, for any \(s\in \mathbb {R}\) it holds
Therefore, by Lemma A.3, it holds
with uniform estimate over \(t\in [0,T]\). Now take \(\delta _2>0\) such that \(\delta _2<\alpha -\beta \) and choose \(\varepsilon >0\) in the previous estimate small enough so that \(\delta _2+\varepsilon <\alpha -\beta \), and thus \(\beta +\varepsilon<\alpha <1\); then
Note that the last sum can be written as \(\langle a,b*c\rangle _{\ell ^2}\), where \(a_k = |k|^{-2(\alpha -\delta _2)},\, b_k = |k|^{-2(1-\beta -\varepsilon )}\) and \(c_k = |\langle \xi _r, e_{k}\rangle |^2,\, k\in \mathbb {Z}^2_0\). We have \(c\in \ell ^1(\mathbb {Z}^2_0)\) with \(\Vert c \Vert _{\ell ^1}= \Vert \xi _r \Vert _{L^2}^2\); moreover, we can find \(p\in [1,\infty ]\) such that \(\alpha -\delta _2>1/p>\beta +\varepsilon \), so that \(a\in \ell ^p(\mathbb {Z}^2_0),\, b\in \ell ^{p'}(\mathbb {Z}^2_0)\), where \(p'\) is the conjugate number of p. By Hölder’s inequality and Young’s inequality for convolution, one has
and so overall we obtain
We turn to estimating \(J^n_2\); to this end, let us introduce the notation \(\tilde{\xi }^n=\xi ^n-\xi \). Applying as before the Itô isometry on Hilbert spaces, the structure of \(W^{n,\alpha }\), as well as estimates of the form (3.23), for any \(\varepsilon >0\) it holds
Now take \(\delta _3\) such that \(\delta _3<\alpha -\beta \) and choose \(\varepsilon \) small accordingly so that \(\delta _3+\varepsilon <\alpha -\beta \); then
where in the third step we applied Lemma A.5 from the “Appendix”. By estimate (3.19), for any \(\varepsilon >0\) it holds
Combining estimates (3.21), (3.22), (3.24) and (3.25), we obtain
Using the facts that \(\varepsilon _n\sim n^{2\alpha -2} \gg n^{-2}\) and \(\alpha -\beta <1-\beta \), by a few algebraic manipulations and the conditions on \(\delta _i\), one can finally check that the best possible rate coming from (3.26) is indeed the one given by (3.20). \(\square \)
Corollary 3.13
Under the assumptions of Theorem 3.12, for any \(\varepsilon >0\) there exists a constant \(C=(\Vert \xi _0\Vert _{L^2}, T,\alpha ,\varepsilon )\) such that
Proof
The statement follows from Theorem 3.12, the trivial estimate \(\Vert \cdot \Vert _{H^{-1}}\le \Vert \cdot \Vert _{H^{\beta -1}}\) and the choice \(\beta =\alpha /2\), which yields \(2\gamma =\alpha \). \(\square \)
Next, we can formulate a result which does not involve the specific tuple \((\Omega ,\mathcal {F}_t,\mathbb {P}; \xi ^n,W^\alpha )\) in consideration, but only the law of \(\Xi ^n\) and \(\Xi \), in terms of Wasserstein distances. To this end, given two probability measures \(\mu ,\,\nu \in \mathcal {P}(L^2_t H^{-1})\) we denote by \(d_2\) their 2-Wasserstein distance as defined by
where \(\mathcal C(\mu ,\nu )\) denotes the set of all possible couplings of \(\mu ,\nu \).
Corollary 3.14
Let \(\xi _0\in L^2\), \(n\in \mathbb {N}\) and \(\xi ^n\) be a weak solution to (3.12); set \(\mu ^n=Law(\Xi ^n)\) for the correponding \(\Xi ^n=(\xi ^n-\xi )/\sqrt{\varepsilon _n}\) and \(\mu =Law(\Xi )\). Then for any \(\varepsilon >0\) it holds
where C is the same constant appearing in Corollary 3.13.
Proof
Since strong existence and uniqueness holds for (3.15), we can construct \(\Xi \) on the same stochastic basis \((\Omega ,\mathcal {F}_t,\mathbb {P};W^\alpha )\) where \(\xi ^n\) is defined; as a consequence, the joint law of the pair \((\Xi ^n,\Xi )\) is a coupling of \((\mu ^n,\mu )\). Estimate (3.28) then immediately follows from the definition of \(d_2\) and Corollary 3.13. \(\square \)
3.3 Concluding remarks
Let us recall here the abstract setting considered in the introduction, namely for
We have shown in the previous sections the rigorous convergence of \((u^n-u)/\sqrt{\varepsilon _n}\) to a Gaussian variable U, satisfying in a suitable sense the equation
in two special cases of interest, i.e. for \(F(u)=-b\cdot \nabla u\) and \(F(u)=-(K*u)\cdot \nabla u\).
The results have been accomplished by two alternative techniques:
-
(i)
As done in Sect. 3.1, one can study the well-posedness and regularity theory for the backward dual equation
$$\begin{aligned} \partial _s g +\Delta g= - (DF_{u})^*g, \quad s\le t,\ g_{t}=\varphi \end{aligned}$$(3.30)where \((DF_{u})^*\) denotes the dual of \(DF_{u}\) as a linear operator; denoting by \(S_{t,r}\) the corresponding solution operator, it then holds (for g regular enough)
$$\begin{aligned} \langle U_t, \varphi \rangle = \int _0^t \langle u_r \nabla S_{t,r}\varphi , \textrm{d}W^\alpha _r \rangle . \end{aligned}$$ -
(ii)
As done in Sect. 3.2, one can write the equation in the corresponding mild form
$$\begin{aligned} U_t = \int _0^t P_{t-s} DF_{u_s} (U_s)\, \textrm{d}s - \int _0^t P_{t-s} (\textrm{d}W^\alpha _s \cdot \nabla u_s) \end{aligned}$$(3.31)and try to solve it directly using heat kernel and functional estimates.
Both methods when applicable yield well-posedness for U, information on its space-time regularity and rates of convergence for the moments of \(U^n-U\). Remarkably, this also happens in situations where the well-posedness in law of the original nonlinear SPDE for u is not known, like in the case of 2D Euler equations with \(L^2\) initial vorticity.
As the equation for U is always of linear type, we expect the same techniques to be successful for a large variety of SPDEs; however since both equations (3.30) and (3.31) depend crucially on the nonlinearity F, each different choice might require a separate study. In particular, in order to obtain explicit rates of convergence, uniform estimates on \(u^n\) (e.g. \(L^\infty _t L^2_x\)-type of bounds) might be needed, which depend on the structure of the nonlinearity.
Below we outline some possible generalizations of these CLT-type results; we keep the discussion at an heuristic level, without formulating exactly the necessary assumptions or giving rigorous statements.
So far we have considered for simplicity only the case \(u^n_0=u_0\) for all \(n\in \mathbb {N}\). This can be generalized to \(u^n_0=u_0+\sqrt{\varepsilon _n}\, v_0\) for some \(v_0\in L^2\); similarly, rather than studying \(U^n=(u^n-u)/\sqrt{\varepsilon _n}\), one might look at the convergence of \(\tilde{U}^n=(u^n-\mathbb {E}[u^n])/\sqrt{\varepsilon _n}\). Assuming one has shown convergence of \(\tilde{U}^n\) to \(\tilde{U}\), since the function u is deterministic it holds
moreover \(\tilde{U}\) must now solve in a suitable sense the equation
Since the stochastic integral is a martingale, by linearity of the equation, \(\psi :=\mathbb {E}[\tilde{U}]\) solves \(\partial _t \psi = DF_u(\psi ) + \Delta \psi \) with initial condition \(\psi \vert _{t=0} =v_0\). As a consequence, \(U=\tilde{U}-\mathbb {E}[\tilde{U}]\) solves
Namely, U is exactly the same solution that was studied in the previous sections, and the correct asymptotics in this case are given by \(u^n \approx \mathbb {E}[u^n] + \sqrt{\varepsilon _n}\, U \approx u + \sqrt{\varepsilon _n} (\psi + U)\).
Recall that, as explained in the introduction, the limit equation for \(U^n:= (u^n - u)/\sqrt{\varepsilon _n}\) can be formally derived by imposing the expansion \(u^n\approx u + \sqrt{\varepsilon _n}\, U + o(\sqrt{\varepsilon _n})\) inside (3.29). In the same spirit, one could try to derive higher order expansions by imposing
and assuming F is regular enough to expand it as
In this way, we recover \(U=U^{(1)}\), while for instance the resulting equation for \(U^{(2)}\) would be
Equation (3.32) is still linear in \(U^{(2)}\), with the same linear part \(\mathcal {L}_t=\Delta + DF_{u_t}(\cdot )\) as in the equation for \(U^{(1)}\), but the term \(D^{(2)}_u F(U^{(1)}, U^{(1)})\, \textrm{d}t - \textrm{d}W^\alpha \cdot \nabla U^{(1)}\) is nonlinear, thus the resulting solution will not be a Gaussian field.
Establishing well-posedness of (3.32), not to mention convergence of \((u^n-u-\sqrt{\varepsilon _n} \, U^{(1)}) /\varepsilon _n\) to \(U^{(2)}\), might be much more challenging than for \(U^{(1)}\), even in the case \(F\equiv 0\). Indeed, the regularity estimates available for \(U^{(1)}\) are worse than those for u, making the stochastic integral term difficult to define. Let us only point out that, for \(F\equiv 0\), one would expect the iterated mild formulation
which might still be meaningful in some weak sense. We leave the rigorous investigation of the well-posedness of (3.32) and the higher order expansion of \(u^n\) for the future.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
The condition \(\nabla \cdot b\in L^2_t L^r_x\) is non-standard and we believe it might be removed, at the price of slightly more technical proofs. However, the main applications we have in mind for our models come from fluid dynamics, where often \(\nabla \cdot b\equiv 0\), so that this additional constraint is automatically satisfied.
We have not found a direct reference for the above result, which appears to be quite sparse in the literature. The existence of a flow \(\{X^n_t\}\) associated to SDE follows from [93, Theorem 1.:1] while the proof that \(f^n_t\) as defined above is a weak solution to the transport equation comes from [92, Proposition 2.3]. Equation (2.2) from the same paper allows to derive the pathwise bound (2.6), although technically the author established its validity under stronger requirements on b; this issue can be solved by an approximation argument. Uniqueness for sufficiently regular \(f_0\) has been shown in [32], but for general integrable initial data one would need to readapt the commutators approach from [41]. An alternative route based on a flow transformation, which fits the assumptions on our coefficients, is sketched in [5, Section 1.9].
This can be accomplished directly by carrying the same computations as in [12], or more elegantly by applying the flow transformation outlined in Sect. 7 therein to reduce the problem to the deterministic one; indeed for finite n, since \(\Pi _n(g)\) and \(\Pi _n(W^\alpha )\) are spatially smooth, the SDE \(\textrm{d}X_t = \Pi _n(g)(X_t) \textrm{d}t + \circ \textrm{d}\Pi _n(W^\alpha )(X_t)\) admits a smooth stochastic flow \(\psi \).
References
Agresti, A.: Delayed blow-up and enhanced diffusion by transport noise for systems of reaction–diffusion equations. arXiv:2207.08293 (2022)
Agresti, A., Veraar, M.: Reaction–diffusion equations with transport noise and critical superlinear diffusion: local well-posedness and positivity. arXiv:2209.14759
Baldi, P.: Tightness and exponential tightness of Gaussian probabilities. ESAIM Probab. Stat. 24, 113–126 (2020)
Baxendale, P., Harris, T.E.: Isotropic stochastic flows. Ann. Probab. 14(4), 1155–1179 (1986)
Beck, L., Flandoli, F., Gubinelli, M., Maurelli, M.: Stochastic ODEs and stochastic linear PDEs with critical drift: regularity, duality and uniqueness. Electron. J. Probab. 24, 1–72 (2019)
Bessaih, H., Millet, A.: Large deviations and the zero viscosity limit for 2D stochastic Navier–Stokes equations with free boundary. SIAM J. Math. Anal. 44(3), 1861–1893 (2012)
Bonicatto, P., Ciampa, G., Crippa, G.: On the advection-diffusion equation with rough coefficients: weak solutions and vanishing viscosity. J. Math. Pures Appl. (9) 167, 204–224 (2022)
Braides, A.: Gamma-Convergence for Beginners, vol. 22. Clarendon Press (2002)
Brzeźniak, Z., Capiński, M., Flandoli, F.: Stochastic partial differential equations and turbulence. Math. Models Methods Appl. Sci. 1(1), 41–59 (1991)
Brzeźniak, Z., Capiński, M., Flandoli, F.: Stochastic Navier–Stokes equations with multiplicative noise. Stoch. Anal. Appl. 10(5), 523–532 (1992)
Brzeźniak, Z., Flandoli, F.: Almost sure approximation of Wong–Zakai type for stochastic partial differential equations. Stoch. Process. Appl. 55(2), 329–358 (1995)
Brzeźniak, Z., Flandoli, F., Maurelli, M.: Existence and uniqueness for stochastic 2D Euler flows with bounded vorticity. Arch. Ration. Mech. Anal. 221(1), 107–142 (2016)
Brzeźniak, Z., Goldys, B., Jegaraj, T.: Large deviations and transitions between equilibria for stochastic Landau–Lifshitz–Gilbert equation. Arch. Ration. Mech. Anal. 226(2), 497–558 (2017)
Budhiraja, A., Dupuis, P.: A variational representation for positive functionals of infinite dimensional Brownian motion. Probab. Math. Stat. 20(1), 39–61 (2000). (Acta Univ. Wratislav. No. 2246)
Budhiraja, A., Dupuis, P., Maroulas, V.: Large deviations for infinite dimensional stochastic dynamical systems. Ann. Probab. 36(4), 1390–1420 (2008)
Carigi, G., Luongo, E.: Dissipation properties of transport noise in the two-layer quasi-geostrophic model. J. Math. Fluid Mech. 25(2), 28 (2023)
Cerrai, S., Debussche, A.: Large deviations for the dynamic \(\Phi ^{2n}_d\) model. Appl. Math. Optim. 80(1), 81–102 (2019)
Cerrai, S., Debussche, A.: Large deviations for the two-dimensional stochastic Navier–Stokes equation with vanishing noise correlation. Ann. Inst. Henri Poincaré Probab. Stat. 55(1), 211–236 (2019)
Chaves, M., Gawedzki, K., Horvai, P., Kupiainen, A., Vergassola, M.: Lagrangian dispersion in Gaussian self-similar velocity ensembles. J. Stat. Phys. 113(5), 643–692 (2003)
Chen, L., Khoshnevisan, D., Nualart, D., Pu, F.: Central limit theorems for parabolic stochastic partial differential equations. Ann. Inst. Henri Poincaré Probab. Stat. 58(2), 1052–1077 (2022)
Chueshov, I., Millet, A.: Stochastic 2D hydrodynamical type systems: well posedness and large deviations. Appl. Math. Optim. 61(3), 379–420 (2010)
Crisan, D., Holm, D.D., Leahy, J.M., Nilssen, T.: Variational principles for fluid dynamics on rough paths. Adv. Math. 404, Paper No. 108409 (2022)
Dacorogna, B.: Direct Methods in the Calculus of Variations, vol. 78. Springer (2007)
Debussche, A., Pappalettera, U.: Second order perturbation theory of two-scale systems in fluid dynamics. arXiv:2206.07775
Dirr, N., Fehrman, B., Gess, B.: Conservative stochastic PDE and fluctuations of the symmetric simple exclusion process. arXiv:2012.02126 (2020)
Dong, Z., Zhai, J., Zhang, R.: Large deviation principles for 3D stochastic primitive equations. J. Differ. Equ. 263(5), 3110–3146 (2017)
Dong, Z., Wu, J.L., Zhang, R., Zhang, T.: Large deviation principles for first-order scalar conservation laws with stochastic forcing. Ann. Appl. Probab. 30(1), 324–367 (2020)
Drivas, T.D., Holm, D.D.: Circulation and energy theorem preserving stochastic fluids. Proc. R. Soc. Edinb. Sect. A 150(6), 2776–2814 (2020)
Duan, J., Millet, A.: Large deviations for the Boussinesq equations under random influences. Stoch. Process. Appl. 119(6), 2052–2081 (2009)
Falkovich, G., Gawedzki, K., Vergassola, M.: Particles and fields in fluid turbulence. Rev. Mod. Phys. 73(4), 913–975 (2001)
Fedrizzi, E., Neves, W., Olivera, C.: On a class of stochastic transport equations for \(L^2_{loc}\) vector fields. Ann. Sc. Norm. Super. Pisa 18(2), 397–419 (2018)
Fedrizzi, E., Flandoli, F.: Noise prevents singularities in linear transport equations. J. Funct. Anal. 264(6), 1329–1354 (2013)
Fehrman, B.: Stochastic homogenization with space-time ergodic divergence-free drift. arXiv:2207.14555 (2022)
Fehrman, B., Gess, B.: Non-equilibrium large deviations and parabolic-hyperbolic PDE with irregular drift. arXiv:1910.11860v3 (2022)
Fernandez, B., Méléard, S.: A Hilbertian approach for fluctuations on the McKean–Vlasov model. Stoch. Process. Appl. 71(1), 33–53 (1997)
Flandoli, F.: Random Perturbation of PDEs and Fluid Dynamic Models: École d’été de Probabilités de Saint-Flour XL-2010. Springer (2011)
Flandoli, F., Galeati, L., Luo, D.: Scaling limit of stochastic 2D Euler equations with transport noises to the deterministic Navier–Stokes equations. J. Evol. Equ. 21(1), 567–600 (2021)
Flandoli, F., Galeati, L., Luo, D.: Delayed blow-up by transport noise. Commun. Partial Differ. Equ. 46(9), 1757–1788 (2021)
Flandoli, F., Galeati, L., Luo, D.: Eddy heat exchange at the boundary under white noise turbulence. Philos. Trans. R. Soc. A 380(2219), Paper No. 20210096 (2022)
Flandoli, F., Galeati, L., Luo, D.: Quantitative convergence rates for scaling limit of SPDEs with transport noise. arXiv:2104.01740v2
Flandoli, F., Gubinelli, M., Priola, E.: Well-posedness of the transport equation by stochastic perturbation. Invent. Math. 180(1), 1–53 (2010)
Flandoli, F., Gubinelli, M., Priola, E.: Full well-posedness of point vortex dynamics corresponding to stochastic \(2\)D Euler equations. Stoch. Process. Appl. 121(7), 1445–1463 (2011)
Flandoli, F., Hofmanová, M., Luo, D., Nilssen, T.: Global well-posedness of the 3D Navier–Stokes equations perturbed by a deterministic vector field. Ann. Appl. Probab. 32(4), 2568–2586 (2022)
Flandoli, F., Luo, D.: High mode transport noise improves vorticity blow-up control in 3D Navier–Stokes equations. Probab. Theory Relat. Fields 180(1–2), 309–363 (2021)
Flandoli, F., Luo, D., Luongo, E.: 2D Smagorinsky type large eddy models as limits of stochastic PDEs. arXiv:2302.13614
Flandoli, F., Luongo, E.: Heat diffusion in a channel under white noise modeling of turbulence. Math. Eng. 4(4), 1–21 (2022)
Flandoli, F., Pappalettera, U.: 2D Euler equations with Stratonovich transport noise as a large-scale stochastic model reduction. J. Nonlinear Sci. 31(1), Paper No. 24 (2021)
Flandoli, F., Pappalettera, U.: From additive to transport noise in 2D fluid dynamics. Stoch. Partial Differ. Equ. Anal. Comput. 10(3), 964–1004 (2022)
Frisch, U.: Turbulence: The Legacy of A.N. Kolmogorov. Cambridge University Press (1995)
Friz, P.K., Hairer, M.: A Course on Rough Paths: With an Introduction to Regularity Structures, 2nd edn. Springer (2020)
Friz, P.K., Victoir, N.B.: Multidimensional Stochastic Processes as Rough Paths: Theory and Application. Cambridge University Press (2010)
Galeati, L.: On the convergence of stochastic transport equations to a deterministic parabolic one. Stoch. Partial Differ. Equ. Anal. Comput. 8(4), 833–868 (2020)
Gess, B., Gvalani, R.S., Konarovskyi, V., Conservative SPDEs as fluctuating mean field limits of stochastic gradient descent. arXiv:2207.05705 (2022)
Gussetti, E.: Pathwise Central Limit Theorem and Moderate Deviations via Rough Paths for a Class of Itô–Lyons Maps. In preparation
Hairer, M., Weber, H.: Large deviations for white-noise driven, nonlinear stochastic PDEs in two and three dimensions. Ann. Fac. Sci. Toulouse Math. (6) 24(1), 55–92 (2015)
Holley, R., Stroock, D.W.: Central limit phenomena of various interacting systems. Ann. Math. 110(2), 333–393 (1979)
Holm, D.D.: Variational principles for stochastic fluid dynamics. Proc. R. Soc. A Math. Phys. Eng. Sci. 471(2176), 20140963 (2015)
Hu, S., Li, R., Wang, X.: Central limit theorem and moderate deviations for a class of semilinear stochastic partial differential equations. Acta Math. Sci. Ser. B (Engl. Ed.) 40(5), 1477–1494 (2020)
Huang, J., Nualart, D., Viitasaari, L., Zheng, G.: Gaussian fluctuations for the stochastic heat equation with colored noise. Stoch. Partial Differ. Equ. Anal. Comput. 8(2), 402–421 (2020)
Inoue, A., Funaki, T.: On a new derivation of the Navier–Stokes equation. Commun. Math. Phys. 65(1), 83–90 (1979)
Kraichnan, R.H.: Small-scale structure of a scalar field convected by turbulence. Phys. Fluids 11(5), 945–953 (1968)
Kraichnan, R.H.: Anomalous scaling of a randomly advected passive scalar. Phys. Rev. Lett. 72(7), 1016–1019 (1994)
Krylov, N.V., Röckner, M.: Strong solutions of stochastic equations with singular time dependent drift. Probab. Theory Relat. Fields 131(2), 154–196 (2005)
Kuksin, S., Shirikyan, A.: Mathematics of Two-Dimensional Turbulence. Cambridge Tracts in Mathematics, vol. 194. Cambridge University Press, Cambridge (2012)
Kunita, H.: Stochastic Flows and Stochastic Differential Equations, vol. 24. Cambridge University Press (1997)
Lange, T.: Regularization by noise of an averaged version of the Navier–Stokes equations. arXiv:2205.14941 (2022)
Le Jan, Y.: On isotropic Brownian motions. Z. Wahrsch. Verw. Gebiete 70(4), 609–620 (1985)
Le Jan, Y., Raimond, O.: Integration of Brownian vector fields. Ann. Probab. 30(2), 826–873 (2002)
Le Jan, Y., Raimond, O.: Flows, coalescence and noise. Ann. Probab. 32(2), 1247–1315 (2004)
Lions, J.L., Magenes, E.: Non-homogeneous Boundary Value Problems and Applications, vol. I. Springer-Verlag, NewYork (1972)
Luo, D.: Convergence of stochastic 2D inviscid Boussinesq equations with transport noise to a deterministic viscous system. Nonlinearity 34(12), 8311–8330 (2021)
Luo, D., Wang, D.: Well posedness and limit theorems for a class of stochastic dyadic models. Siam J. Math. Anal. (2023), to appear, see also arXiv:2207.09631
Luo, D., Saal, M.: A scaling limit for the stochastic mSQG equations with multiplicative transport noises. Stoch. Dyn. 20(6), 2040001 (2020)
Luo, D., Tang, D.: Stochastic inviscid Leray-\(\alpha \) model with transport noise: convergence rates and CLT. arXiv:2210.16733
Mariani, M.: Large deviations principles for stochastic scalar conservation laws. Probab. Theory Relat. Fields 147(3), 607–648 (2010)
Mémin, E.: Fluid flow dynamics under location uncertainty. Geophys. Astrophys. Fluid Dyn. 108(2), 119–146 (2014)
Mikulevicius, R., Rozovskii, B.L.: Stochastic Navier–Stokes equations for turbulent flows. SIAM J. Math. Anal. 35(5), 1250–1310 (2004)
Mikulevicius, R., Rozovskii, B.L.: Global \(L^2\)-solutions of stochastic Navier–Stokes equations. Ann. Probab. 33(1), 137–176 (2005)
Neves, W., Olivera, C.: Stochastic transport equations with unbounded divergence. J. Nonlinear Sci. 32(4), Paper No. 60 (2022)
Porretta, A.: Weak solutions to Fokker–Planck equations and mean field games. Arch. Ration. Mech. Anal. 216(1), 1–62 (2015)
Simon, J.: Compact sets in the space \(L^p(0, T; B)\). Ann. Mat. Pura Appl. 146, 65–96 (1987)
Slavík, J.: Large and moderate deviations principles and central limit theorem for the stochastic 3D primitive equations with gradient-dependent noise. J. Theor. Probab. 35, 1736–1781 (2022)
Sritharan, S.S., Sundar, P.: Large deviations for the two-dimensional Navier–Stokes equations with multiplicative noise. Stoch. Process. Appl. 116(11), 1636–1659 (2006)
Tanaka, H.: Limit theorems for certain diffusion processes with interaction. In: Stochastic Analysis, North-Holland Mathematical Library, vol. 32, pp. 469–488. Elsevier (1984)
Wang, R., Zhai, J., Zhang, T.: A moderate deviation principle for 2-D stochastic Navier–Stokes equations. J. Differ. Equ. 258(10), 3363–3390 (2015)
Wang, Z., Zhao, X., Zhu, R.: Gaussian fluctuations for interacting particle systems with singular kernels. arXiv:2105.13201 (2021)
Wong, E., Zakai, M.: On the relation between ordinary and stochastic differential equations. Int. J. Eng. Sci. 3(2), 213–229 (1965)
Xiong, J., Zhang, R.: Semilinear stochastic partial differential equations: central limit theorem and moderate deviations. Math. Methods Appl. Sci. 44(8), 6808–6838 (2021)
Zhai, J., Zhang, T.: Large deviations for stochastic models of two-dimensional second grade fluids. Appl. Math. Optim. 75(3), 471–498 (2017)
Zhang, R.: Large deviations for stochastic porous media equations. Electron. J. Probab. 25, Paper No. 151 (2020)
Zhang, R., Zhou, G., Guo, B.: Stochastic 2D primitive equations: central limit theorem and moderate deviation principle. Comput. Math. Appl. 77(4), 928–946 (2019)
Zhang, X.: Stochastic flows of SDEs with irregular coefficients and stochastic transport equations. Bull. Sci. Math. 134(4), 340–378 (2010)
Zhang, X.: Stochastic homeomorphism flows of SDEs with singular drifts and Sobolev diffusion coefficients. Electron. J. Probab. 16, 1096–1116 (2011)
Zhang, X., Zhao, G.: Stochastic Lagrangian path for Leray’s solutions of 3D Navier–Stokes equations. Commun. Math. Phys. 381(2), 491–525 (2021)
Acknowledgements
LG was funded by the DFG under Germany’s Excellence Strategy - GZ 2047/1, project-id 390685813, as well as by the SNSF Grant 182565 and by the Swiss State Secretariat for Education, Research and Innovation (SERI) under Contract Number M822.00034. DL is grateful to the financial supports of the National Key R &D Program of China (No. 2020YFA0712700), the National Natural Science Foundation of China (Nos. 11931004, 12090014), and the Youth Innovation Promotion Association, CAS (Y2021002). Both authors thank Massimo Sorella for pointing out the reference [7].
Funding
Open access funding provided by EPFL Lausanne
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interest to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Some technical lemmas
A Some technical lemmas
Lemma A.1
Given \(R>0\), let \(\mathcal E_R=\{f\in L^\infty : \Vert f\Vert _{L^\infty } \le R\}\). Then for any \(\alpha >0\), \(\mathcal E_R\) endowed with the distance \(d(f,g)=\Vert f-g\Vert _{H^{-\alpha }}\) is a Polish space. Moreover, the weak-\(*\) topology of \(\mathcal E_R\) is equivalent to that induced from \(H^{-\alpha }\).
Proof
We provide a short proof for the reader’s convenience. Let \(\{f_n\}_n \subset \mathcal E_R\) be a sequence such that \(f_n\rightarrow f\) in \(H^{-\alpha }\); since \(\mathcal {E}_R\) is weakly-\(*\) compact, we can always extract a (not relabelled) subsequence \(f_n {\mathop {\rightharpoonup }\limits ^{*}} \hat{f}\in L^\infty \), \(\hat{f}\in \mathcal {E}_R\). As this also implies that \(f_n\rightharpoonup \hat{f}\) in \(H^{-\alpha }\), and the reasoning holds for any possible subsequence, we conclude that \(\hat{f}=f\), \(f_n{\mathop {\rightharpoonup }\limits ^{*}} f\) and that \(\mathcal {E}_R\) is closed in \(H^{-\alpha }\). Since \(\mathcal {E}_R\) is a closed subset of a Polish space, it is Polish as well.
The above argument shows that convergence in \(H^{-\alpha }\cap \mathcal {E}_R\) implies weak-\(*\) convergence in \(L^\infty \); conversely, if a sequence \(f_n {\mathop {\rightharpoonup }\limits ^{*}} f\), then by the compact embedding \(L^\infty \hookrightarrow H^{-\alpha }\) it follows that \(f_n\rightarrow f\) in \(H^{-\alpha }\), showing the desired equivalence. \(\square \)
The next two lemmas concern some well known heat kernel properties (see [40, Lemma 2.3] for a proof of the first one).
Lemma A.2
For any \(s\in \mathbb {R}\) and any \(f\in L^2_t H^s\), it holds
Lemma A.3
Let \(u\in H^a\), \(a \in \mathbb {R}\). Then:
-
(i)
for any \(\rho \ge 0\), it holds \(\Vert e^{t\Delta } u \Vert _{H^{a+ \rho }} \le C_{\rho }\, t^{-\rho /2} \Vert u\Vert _{H^a}\) for some constant increasing in \(\rho \);
-
(ii)
for any \(\rho \in [0,2]\), it holds \(\Vert (I-e^{t\Delta }) u\Vert _{H^{a-\rho }}\lesssim t^{\rho /2} \Vert u\Vert _{H^a}\).
Next we recall some simple estimates on the transport term which are frequently used in the paper.
Lemma A.4
Let \(V\in L^2(\mathbb {T}^2,\mathbb {R}^2)\) be a divergence free vector field.
-
(i)
Let \(0<b< a\le 1,\, V\in H^{1+ a}\) and \(f\in H^{-b}\), then
$$\begin{aligned} \Vert V\cdot \nabla f\Vert _{H^{-1-b}} \lesssim _{a, b} \Vert V \Vert _{H^{1+a}} \Vert f \Vert _{H^{-b}}. \end{aligned}$$ -
(ii)
Let \(b\in (0,1),\, V\in H^{1-b}\) and \(f\in L^2\), then
$$\begin{aligned} \Vert V\cdot \nabla f\Vert _{H^{-1-b}} \lesssim _{b} \Vert V \Vert _{H^{1-b}} \Vert f \Vert _{L^2}. \end{aligned}$$ -
(iii)
Let \(0<b\le a< 1,\,\varepsilon >0, V\in H^a,\,f\in H^{-b}\), then
$$\begin{aligned} \Vert V\cdot \nabla f\Vert _{H^{-2-b -\varepsilon }} \lesssim _{a, b,\varepsilon } \Vert V \Vert _{H^a} \Vert f \Vert _{H^{-b}}. \end{aligned}$$
Proof
Estimates (i), (ii) come from [40, Lemma 2.1], so we only need to show (iii). First observe that, since V is divergence free, \(\Vert V\cdot \nabla f\Vert _{H^{-2- b-\varepsilon }}\le \Vert V f\Vert _{H^{-1-b -\varepsilon }}\). Next, since \(a\ge b\), for any \(\varphi \in H^{1+b+\varepsilon }\hookrightarrow C^{b+\varepsilon }\), the product \(\varphi \, V\) belongs to \(H^b\) and we have the inequalities
by duality, this readily implies assertion (iii). \(\square \)
We provide here the proof of Lemma 3.8; as already mentioned, it is very similar to those from [40], the main difference being that the exact expression \(\theta _k=|k|^{-\alpha }\) allows to derive slightly better regularity estimates.
Proof of Lemma 3.8
Fix \(\varepsilon \in (0, \alpha - \beta )\); by Burkholder-Davis-Gundy’s inequality, we have
where in the last step we used Lemma A.3-(i). Now we follow the treatment of \(J^n_1\) in the proof of Theorem 3.12. Similarly to (3.23), \(\Vert \sigma _k \cdot \nabla \xi _s \Vert _{H^{\beta -2+\varepsilon }} \lesssim \Vert e_k \, \xi _s\Vert _{H^{\beta -1+\varepsilon }}\) and thus
Note that the right-hand side can be written as \(\langle a,b*c\rangle _{\ell ^2}\), where \(a_k = |k|^{-2\alpha },\, b_k = |k|^{-2(1-\beta -\varepsilon )}\) and \(c_k = |\langle \xi _s, e_{k}\rangle |^2,\, k\in \mathbb {Z}^2_0\); \(c\in \ell ^1(\mathbb {Z}^2_0)\) with \(\Vert c \Vert _{\ell ^1}= \Vert \xi _s \Vert _{L^2}^2\) and for any \(p\in (1/\alpha , 1/(\beta +\varepsilon ))\), one has \(a\in \ell ^p(\mathbb {Z}^2_0),\, b\in \ell ^{p'}(\mathbb {Z}^2_0)\), where \(p'\) is the conjugate number of p. By Hölder’s inequality and Young’s inequality for convolution,
Substituting this estimate into the the above inequality yields
A similar computation gives us
Next, observing that by construction Z satisfies \(Z_t = P_{t-s} Z_s + \int _s^t P_{t-r}(\textrm{d}W^{\alpha }_r\cdot \nabla \xi _r)\), by Lemma A.3-(ii) we obtain
Taking expectation and applying the previous estimates we arrive at
Choosing \(p > 1/\varepsilon \) and applying Kolmogorov’s continuity criterion, we obtain the desired result, up to renaming \(\beta -\varepsilon \) as \(\beta \). \(\square \)
The following lemma was used to derive (3.25).
Lemma A.5
Let \(a,b>0\) such that \(a+b >d\), \(\delta \in (0, a\wedge b\wedge (a+b-d))\). Then
Proof
It is sufficient to deal with \(j\in \mathbb {Z}^d_0\) with |j| big, say \(|j|\ge 10\). First observe that, for any positive pair \((\tilde{a}, \tilde{b})\) with \(\tilde{a}+\tilde{b}> d\), by Hölder’s inequality it holds
uniformly over \(j\in \mathbb {Z}^d_0\), as soon as we choose \(p\in (1,\infty )\) such that
which is always possible since \(\tilde{a}+\tilde{b}> d\). We have
We denote the two terms by \(A_1, A_2\). For the first one, we have \(|j-l| \ge |j|-|l|\ge |j|/2\), thus
where we used the observation at the beginning of the proof and the fact that \(a+b -\delta >d\). The second term is similar:
Summing up these estimates we obtain the desired result. \(\square \)
Before presenting the next results, let us define the following seminorm: for \(\gamma \in (0,1)\) and \(v:[0,T]\times \mathbb {T}^d \rightarrow \mathbb {R}\), set
Theorem A.6
Consider the PDE
where \(b,\,c\in L^q_t L^p_x\) for parameters \((p,q)\in (2,\infty ]\) satisfying
Then for any \(h_0\in L^\infty \) there exists a weak solution to (A.1), which is of the form \(h_t = P_t h_0 + v_t\) with \(v\in C^0_t C^0_x\) satisfying \(v_0=0\) and
Moreover, h is unique in the class of such solutions and for any \(\delta \in [0,2-\gamma )\) it holds
in particular, \(v\in L^\infty _t C^\delta _x\) for any \(\delta \in [0,1-\gamma ]\) and \(v\in L^2_t C^\delta _x\) for any \(\delta <2-\gamma \).
Remark A.7
By time reversal, similar results hold if we considered the backward equation \((\partial _t + \Delta ) h = b\cdot \nabla h + c\,h\) with given terminal condition \(h_T\in L^\infty \). Choosing \(c=\nabla \cdot b\), the statements apply to forward and backward Fokker–Planck equations \((\partial _t\pm \Delta h)=\nabla \cdot (bh)\).
Proof
Regarding the first part of the statement, it suffices to prove property (A.3) in the case of smooth coefficients \(b,\,c,\,h_0\); existence will then follow from the uniform estimates and standard compactness arguments, while uniqueness by the linearity of the equation. In the smooth setting, the unique solution h satisfies the mild formulation associated to (A.1), and so \(h_t=P_t h_0 + v_t\) with v satisfying
Denote the two terms by \(I^1_t\) and \(I^2_t\); by standard heat kernel estimates we obtain
as well as
Noting that \(\gamma <1\), combining these estimates and Hölder’s inequality gives us
where \(q'\) is the conjugate number of q. The integral appearing in the last term is finite due to \(\gamma <1\); we can compute it by the change of variable \(\tilde{s} = s/t\):
Hence, multiplying both sides of the estimate above by \(t^{\frac{\gamma }{2}}\) and taking supremum on \(t\in [0,\tau ]\), we arrive at
for some constant C. Choosing \(\tau \) sufficiently small so that \(C(\Vert b\Vert _{L^q(0,\tau ; L^p)}+\Vert c\Vert _{L^q(0,\tau ; L^p)})<1/2\), we can conclude that \(\llbracket v\rrbracket _{\gamma ,\tau } \le \Vert h_0\Vert _{L^\infty }\); the estimate can then be extended to the whole interval [0, T] by a standard iteration procedure, which proves (A.3).
The proof of (A.4) is similar, based again on applying heat kernel estimates on the terms \(I^1,\, I^2\), this time knowing that (A.3) holds. For notational simplicity, we show the estimate only for the term \(I^2_t\) and in the case \(c\equiv 0\). We have
where the integral in the second line is finite for \(q'(\delta +d/p)<2\), namely \(\delta \in (0,2-\gamma )\).
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
Galeati, L., Luo, D. LDP and CLT for SPDEs with transport noise. Stoch PDE: Anal Comp 12, 736–793 (2024). https://doi.org/10.1007/s40072-023-00292-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40072-023-00292-y
Keywords
- Large deviation principle
- Central limit theorem
- Transport noise
- Stochastic transport equation
- Stochastic 2D Euler equation