Abstract
The limit from an Euler-type system to the 2D Euler equations with Stratonovich transport noise is investigated. A weak convergence result for the vorticity field and a strong convergence result for the velocity field are proved. Our results aim to provide a stochastic reduction of fluid-dynamics models with three different time scales.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This work deals with the 2D Euler equations in vorticity form on the two-dimensional torus \({\mathbb {T}}^{2}={\mathbb {R}}^{2}/{\mathbb {Z}}^{2}:\)
where \(\xi : {\mathbb {T}}^2 \rightarrow {\mathbb {R}}\) is the vorticity field and
is the solenoidal velocity vector field reconstructed from \(\xi \) using the Biot–Savart kernel K:
Simulations of this ideal model, as well as observations of roughly two-dimensional physical systems like certain layers of the atmosphere, show a superposition of vortex structures of different size. The basic idea behind this work is that with a great degree of approximation, one could describe the motion of large-scale structures by a stochastic version of 2D Euler equations, where the noise replaces part of the influence of small-scale structures on large-scale ones. This fits with the general idea of stochastic model reduction (Majda et al. 2001; Franzke et al. 2005; Franzke and Majda 2006; Jain et al. 2015; Franzke et al. 2019), but the precise formulation given here is new to our knowledge.
Mathematically speaking, we present a convergence result from a system of two, coupled, Euler-type equations to a single stochastic Euler equation with transport-type Stratonovich noise. Behind the theoretical statement, there is a heuristic motivation based on three time scales, carefully described in Sect. 2.
Let us start with the mathematical result. The system of two, coupled, Euler-type equations we consider in this work is the following:
Here, \(\epsilon >0\) is a scaling parameter and \(\left( W_{t}\right) _{t\ge 0}\) is a space-dependent Brownian motion of the form:
where the family \(\{\beta ^{k}\}_{k\in {\mathbb {N}}}\) is made of independent standard Brownian motions and the coefficients \(\theta _{k}\) are solenoidal, periodic and zero mean, sufficiently regular and decrease sufficiently fast with respect to k, in a suitable sense to be determined later.
The subscripts in the two components \(\left( \xi _{\text {L}}^{\epsilon } ,\xi _{\text {S}}^{\epsilon }\right) \) refer to large scales and small scales. For the sake of simplicity, we take the initial condition \(\xi _{\text {S}}^{0,\epsilon }\) to be distributed as the invariant measure of the linear part of the equation for \(\xi _{\text {S}}^{\epsilon }\) (see Sect. 3 for details), but a more general initial condition in the small-scale dynamics can be easily handled.
Our main result is the following, the precise meaning of solution to (E) being given by Proposition 6.1:
Theorem 1.1
Let \(T>0\) and suppose we are given a zero-mean \(\xi _0 \in L^\infty ({\mathbb {T}}^2)\). Denote \(B_{t}(x)=-K*W_{t}(x)\), and let \(\xi _{\text {L}}\) be the unique solution of the stochastic equation
Then, under suitable assumptions on the coefficients \(\theta _{k}\), the process \(\xi _{\text {L}}^{\epsilon }\) solution of (E) converges as \(\epsilon \rightarrow 0\) to \(\xi _{\text {L}}\) in the following sense: for every \(f\in L^{1}({\mathbb {T}}^{2})\):
as \(\epsilon \rightarrow 0\), for every fixed \(t\in [0,T]\) and in \(L^{p}([0,T])\) for every finite p. Under the same assumptions on the coefficients \(\theta _{k}\), the velocity field \(u_{\text {L}}^{\epsilon }=K*\xi _{\text {L} }^{\epsilon }\) converges as \(\epsilon \rightarrow 0\), in mean value, to \(u_{\text {L}}=K*\xi _{\text {L}}\), as variables in \(C([0,T],L^{1} ({\mathbb {T}}^{2},{\mathbb {R}}^{2}))\).
Equations of fluid mechanics with Stratonovich transport noise like (3) received great attention in recent years. Precursors already appeared several years ago, see, for instance, (Brzeźniak et al. 1991, 1992; Mikulevicius and Rozovskii 2004, 2005). Then, it was observed, for particular models (see, for instance, Flandoli et al. 2010; Maurelli 2011; Flandoli et al. 2014; Barbato et al. 2014; Bianchi 2013; Beck et al. 2014; Flandoli 2010; Bianchi and Flandoli 2020 and others) that such noise has sometimes rich regularizing properties, typically in terms of improved uniqueness results or blow-up control. This also contributed to additional investigations on such random perturbation. More recently, the problem of which precise Stratonovich transport-advection noise should be considered was understood by Holm (2015) by the development of a stochastic geometric approach based on a variational principle; concerning this important issue, let us mention that the correct noise term for the vorticity equation in three dimensions has the form \(\nabla \xi _{\text {L}}\circ \mathrm{{d}}B-\xi _{\text {L}}\circ d\nabla B\), which reduces in 2D to \(\nabla \xi _{\text {L}}\circ \mathrm{{d}}B\), the noise used in the theorem above (see, for instance, Crisan et al. 2019 for a rigorous result in the 3D case). Our result here, therefore, adds further motivation for the use of this kind of random perturbations; see also (Cotter et al. 2017; Gay-Balmaz and Holm 2018) for a justification of this noise from a viewpoint that has certain conceptual similarities with our one here.
In Sect. 2, we describe in detail why a system for \(\left( \xi _{\text {L}}^{\epsilon },\xi _{\text {S}}^{\epsilon }\right) \) like (E) above may arise in applications. It is not only a question of splitting the global vorticity field in two parts; a central detail, responsible for the final result, is the precise scaling \(\epsilon ^{-2}\xi _{\text {S}}^{\epsilon }dt+\epsilon ^{-2}\mathrm{{d}}W\). It is not obvious, a priori, why this scaling should appear, since the usual stochastic equations with a scaling parameter that appear in the literature have the form \(\epsilon ^{-2}\xi _{\text {S}}^{\epsilon }\mathrm{{d}}t+\epsilon ^{-1}\mathrm{{d}}W\). But when there are three time scales in the system, with the features outlined in Sect. 2, the special scaling of our model is natural. See Majda et al. (2001) and subsequent works for similar arguments that were the basis of our research, although other aspects are basically different—in particular the finite dimensionality of the limit models in those works. As remarked in Sect. 2, one issue over others is critical in the approximations: the inverse cascade is not properly captured by this model. This is, however, a general open problem in the realm of stochastic model reduction.
Our final result looks like a particular issue of the general Wong–Zakai approximation principle Wong and Zakai (1965). For the Euler system, it seems the first result in this direction. In the case of Navier–Stokes equations, other forms are already known, see (Hofmanová et al. 2019; Hofmanova et al. 2019) based on rough path theory; for different equations, we mention among others the results contained in Brzeźniak et al. (1988), Twardowska (1993), Tessitore and Zabczyk (2006).
Our proof is based on a probabilistic argument for the Lagrangian dynamics associated with the problem (E): in fact, the formulation itself—the meaning of solution—adopted here is the Lagrangian one. For the deterministic Euler equations, the Lagrangian approach is classical, see, for instance, Marchioro and Pulvirenti (1994) where it is also used to prove existence and uniqueness of a solution of class \(\xi \in L^{\infty }\left( \left[ 0,T\right] ,L^{\infty }\left( {\mathbb {T}} ^{2}\right) \right) \) for bounded measurable zero-mean initial vorticity. For the stochastic case, we rely on similar results proved in Brzeźniak et al. (2016).
In the present work, we prove in the first place a convergence result for the Lagrangian particle trajectories, or characteristics. Then, relying on the measure-preserving property of characteristics, we are able to prove convergence of the vorticity fields in the sense of Theorem 1.1. We would like to stress the following technical issue: the equation of characteristics contains the velocity field itself as drift, and a careful analysis of the Biot–Savart kernel is required to overcome this difficulty. We hope that our method can be generalized to other equations in dimension two similar to Euler, such as modified surface quasi-geostrophic equations Chae et al. (2011). Three-dimensional models might also be included, possibly requiring a regularization of the nonlinearity as in Cheskidov et al. (2005).
The paper is organized as follows. In Sect. 2, we present the main motivations behind this work; in particular, we justify the interest in the asymptotics as \(\epsilon \rightarrow 0\) of system (E). In Sect. 3, we introduce a rigorous mathematical setting and give a reformulation of the convergence \(\xi _{\text {L}}^{\epsilon }\rightarrow \xi _{\text {L}}\) in terms of the convergence of the characteristics, see below for details; here, we introduce a simplified version of system (E), which is more convenient to capture the main mathematical features of the original system without obscuring them behind heavy calculations. Subsequent Sect. 4 is devoted to the convergence of characteristics, which relies on an argument similar to those contained in Ikeda and Watanabe (1989) as well as some classical estimates on the Biot–Savart kernel K. In Sect. 5, we see how the convergence of the vorticity fields (in the sense of Theorem 1.1) can be deduced from the convergence at the level of characteristics. Finally, in Sect. 6, we transpose the results concerning the simplified system introduced in Sect. 3 back to the original system (E). In the appendix, we prove the equivalence between the Lagrangian notion of solution and the distributional notion of solution to (E), in a sense to be specified later, thus further broadening the scope of our results.
2 Motivations
In this section, we discuss the motivations that justify our interest for the asymptotical behaviour as \(\epsilon \rightarrow 0\) of \(\xi ^\epsilon _{\text {L}}\) solution to (E).
First of all, we clarify from the beginning that the theory illustrated in this work applies to systems with three time scales, this sentence to be understood as explained below.
We need a small time scale \({\mathcal {T}}_{\text {S}}\) at which we observe variations, fluctuations, of the main fields (here the vorticity field). We need an intermediate scale \({\mathcal {T}}_{\text {M}}\) at which the previous fluctuations look random, but not like a white noise, just random with a typical time of variation of order \({\mathcal {T}}_{\text {S}}\) (small with respect to \({\mathcal {T}}_{\text {M}}\)). Then, we need a third, large, time scale \({\mathcal {T}}_{\text {L}}\), where, as a result of the theory, the small-scale fluctuations will appear as a white noise, of multiplicative type in the present work. The following relation will play a role:
We illustrate this framework of three time scales by means of an admittedly phenomenological model. We think of a fluid which develops small-scale fluctuations at the time scale of 1 s: think to wind, roughly two dimensional to fit with our mathematical result, which flows over an irregular ground producing small-scale vortices and perturbations. The small-scale \({\mathcal {T}}_{\text {S}}\) has the order of 1 s. The intermediate scale has the order of 1 min: in a minute, the fluctuations we observe appear as random, with a typical fluctuation time of 1 s. The large time scale will be of the order of 1 h: at such scale, the fluctuations will look as a white noise.
An example, always ideal, may be the atmospheric fluid over a large region, limited to the lower layer, the one that interacts with the irregularities of the ground (like the mountains). Not aiming to a precise description of such a complex physical system, but just to visualize certain ideas, let us idealize such fluid by means of 2D Euler equations with forcing, written in vorticity form:
where f represents the production of small-scale perturbations by the irregularities of hills and mountain profiles, for instance. For long run investigations, it is necessary to include other realistic terms, like a small friction \(-\alpha \xi \) and an even smaller dissipation \(\nu \Delta \xi \), for some coefficients \(1 \gg \alpha \gg \nu >0\), in order to dissipate the energy introduced by f, but it is not essential to discuss such facts here.
2.1 Human Scale: Seconds
By human scale, we mean the system observed by us, humans, who observe distances in meters and appreciate variations over time spans of seconds. The key quantity here is \({\mathcal {T}}_{\text {S}} = 1\) s. Velocity \(u\left( t,x\right) \) is measured in m/s and vorticity \(\xi \left( t,x\right) \) in \(s^{-1}\).
Assume we split the initial conditions according to some reasonable rule (geometric, spectral...), in large and small scales
Small scales describe the wind fluctuations at space distances of \(1-10\) m, and large scales are those which impact at the regional level (national, continental), namely with structures of size \(10-1000\) km. We assume this separation of scales at time \(t=0\).
Having in mind (5), and the previous splitting of the vorticity field in large and small scales, we consider the following system for the evolution of \(\xi _{\text {L}}\), \(\xi _{\text {S}}\):
where \(u_{\text {L}} = K *\xi _{\text {L}}\), \(u_{\text {S}} = K *\xi _{\text {S}}\) and \(f_{\text {S}}\) incorporates the small-scale inputs due to ground irregularities. We assume that \(f_{\text {S}}\) includes variations at distances of \(1-10\) m, with changes in time in a range of order of 1 s.
It is easy to check that the splitting (6) is consistent with (5), in the sense that if \((\xi _{\text {L}}, \xi _{\text {S}})\) is a solution of (6), then \(\xi = \xi _{\text {L}}+\xi _{\text {S}}\) is a solution of (5). We point out, however, that (6) can not be deduced from (5) and the separation of scales at time \(t=0\), but rather it is a modelling hypothesis.
2.2 Intermediate Scale: Minutes
Let us observe the same system from the viewpoint of a recording device which keeps memory of the wind, but with a time scale of minutes: \({\mathcal {T}}_{\text {M}} = 1\) min. At such time scale, the fluctuations described in the previous subsection look random, the spatial scale being the same as above: \(1-10\) m.
This motivates our main modelling assumption, see also (Penland and Matrosova 1994; Majda et al. 2001; Boffetta and Ecke 2012). We replace the small scales by a stochastic equation, Gaussian conditionally to the large scales:
with
in the unit of measure of minutes.
Remark 1
We cannot introduce this modelling assumption at the human scale, and it is too unrealistic. If we could, the value of the constant \(\tau \) would be \(\tau _{\text {S}}=1\), in the unit of measure of seconds.
Heuristically speaking, in order to understand the phenomenology of the second equation, let us drop the term \( u_{\text {L}} \cdot \nabla \xi _{\text {S}}\), let us think to \(W_{\text {S}}\) as a one dimensional Brownian motion, and realize that the stochastic process defined as
which is a caricature of the true process \(\xi _{\text {S}}\), converges very fast (on the time scale of minutes) to a stationary process, and—similarly—it takes roughly \(\tau _{\text {M}}=\frac{1}{60}\) min to go back to equilibrium after a fluctuation. Thus, at the intermediate time scale \({\mathcal {T}}_{\text {M}}\), the small-scale process looks random, with visible variations every \(\frac{1}{60}\) units of time. Its intensity is (essentially) independent of \(\tau _{\text {M}}\) and given by \(\sigma \): the variance of the stochastic integral in the previous formula is \(\int _{0}^{t}e^{-\frac{2}{\tau _{\text {M}}}\left( t-s\right) }\frac{\sigma ^{2}}{\tau _{\text {M}}}\mathrm{{d}}s\). When the noise is space-dependent, the intensity is also modulated in space, so \(\sigma \) is a sort of global, mean order of magnitude.
The replacement just discussed of the true small-scale equation by a stochastic equation has some natural motivations, discussed above, but it also has flaws. One of them is related to the inverse cascade, which dominates the energy transfer between scales in 2D, see Kraichnan (1967). Inverse cascade is mostly discarded in this model, having replaced the transfer mechanism due to the term \(u_{\text {S}}\cdot \nabla \xi _{\text {S}}\) by a Gaussian term with no Fourier exchange. We do not know how to remedy this drawback. Let us only mention that generally speaking, the problem of a correct energy transfer between scales in stochastic parametrization and stochastic model reduction theories is the most important essentially open problem; our work is not a contribution to the solution of this extremely difficult problem but only the description of a particular stochastic model reduction procedure, different from others previously introduced in the literature.
2.3 Regional Scale: Hours
By this, we mean the same system, lower atmospheric layer over a large region, observed by a satellite. The unit of measure of time is \({\mathcal {T}}_{\text {L}} =1\) h, and the unit of measure of space may be \(10-1000\) km, that is, now different from the spatial scale of meters proper of human and intermediate points of view. We have chosen this scales having in mind, for instance, weather prediction.
How does it look like the system above seen at this space-time scale? If there is no noise term, the formulae are the same as above with
But this rescaling, correct for the term \(-\frac{1}{\tau _{\text {L}}} \xi _{\text {S}}\), does not hold true for the stochastic term \(\frac{\sigma }{\sqrt{\tau }}W_{\text {S} }^{\prime }\). Let us see more closely the correct rescaling.
Remark 2
We start to see here how the final result depends on the precise procedure described in this section. If we had imposed the stochastic structure of small scales from the very beginning, namely at the human level, then the intermediate step would be unessential, since a single rescaling to the regional level would give the same result. But the result of this alternative procedure would not be the one described in this work, it would be different. It is essential that the passage from human to intermediate scale is based on the rules of deterministic calculus, while the passage from the intermediate to the regional scales is based on the rules of stochastic calculus. Only in this way we get the scaling factors characteristic of the theory described in this work.
In order to avoid trivial mistakes in the rescaling from intermediate to regional scale, let us formalize in more detail the change of unit of measure. The space and time variables at intermediate level will be denoted by x, t and those at regional level by X, T. Essential is that the unit of measure of t is minutes and the one of T is hours, differing by the factor
Less essential here is the role of the unit of measures of x and X. We assume they differ by a factor \(\epsilon _{x}^{-1}\), namely
The only place relevant for applications where it will appear is in the modification of the space-covariance of the noise, which, however, is not our main concern here.
Denote by \(u\left( t,x\right) \) and \(U\left( T,X\right) \) the velocities in the intermediate and regional scale, respectively, and similarly by \(\xi \left( t,x\right) \) and \(\Xi \left( T,X\right) \) for the vorticities. We adopt the same notation for their large-scale components \(u_{\text {L}}\), \(U_{\text {L}}\), \(\xi _{\text {L}}\), \(\Xi _{\text {L}}\) and their small-scale components \(u_{\text {S}}\), \(U_{\text {S}}\), \(\xi _{\text {S}}\), \(\Xi _{\text {S}}\). We have
and thus
Notice that the material derivative preserves its structure under unit measure change, here up to the factor \(\epsilon ^{-2}\):
Similar identities hold for “mixed” material derivatives, like \(U_{\text {S}} \cdot \nabla _{X}\Xi _{\text {L}}\) and \(U_{\text {L}}\cdot \nabla _{X}\Xi _{\text {S}}\).
Now, let us write Eq. (7) from the viewpoint of the satellite:
Notice that we still have \(\tau _{\text {M}}\) in these equations. Let us elaborate the term on the right-hand side of the second equation. First,
having defined
Second, working with finite increments which is more clear when we deal with Brownian motion, we have
for an auxiliary Brownian motion \({\widetilde{W}}_{\text {S}}\), namely
and therefore
Hence, the equation for \(U_{\text {S}}\) reads
The distance at which we still may feel a correlation of the noise \({\widetilde{W}}_{\text {S}}^{\prime }\left( T,\frac{X}{\epsilon _{x}}\right) \) is of the order \(\epsilon _{x}\), rescaled with respect to the intermediate level.
Recall now condition (4). Translated into the new constant it corresponds to what we have tacitly assumed, namely that \(\epsilon =\tau _{\text {M}}\). This implies \(\tau _{\text {L}}=\epsilon ^{2}\), and thus
which is the form of our starting model of the rigorous theory (with different notation).
3 Notation and Preliminaries
For any \(p \in [1,\infty ]\) denote \(L^p_0({\mathbb {T}}^2)\) the space of p-integrable zero-mean real functions on the two-dimensional torus \({\mathbb {T}}^2\). For the sake of a clear and effective presentation, we decide to study in the first place the following simplified 2D Euler system:
where \(\xi _{0} \in L_0^\infty ({\mathbb {T}}^2)\) is the (deterministic) initial condition, K is the Biot–Savart kernel on the two-dimensional torus \({\mathbb {T}}^2\), \(\sigma _k = K *\theta _k : {\mathbb {T}}^2 \rightarrow {\mathbb {R}}^2\) and \(\eta ^{\epsilon ,k}\) is a Ornstein–Uhlenbeck process:
The family \(\beta = \{\beta ^{k}\}_{k \in {\mathbb {N}}}\) is made of independent standard Brownian motions on a given filtered probability space \((\Omega ,\{{\mathcal {F}}_t\}_{t \ge 0},{\mathbb {P}})\), and the initial conditions \(\{\eta ^{\epsilon ,k}_0\}_{k \in {\mathbb {N}}}\) are measurable with respect to \({\mathcal {F}}_0\), so that the processes \(\{\eta ^{\epsilon ,k}\}_{k \in {\mathbb {N}}}\) are progressively measurable with respect to the filtration \(\{{\mathcal {F}}_t\}_{t \ge 0}\). Moreover, up to a possible enlargement of the filtration \(\{{\mathcal {F}}_t\}_{t \ge 0}\), to simplify our discussion we take independent initial conditions \(\{\eta ^{\epsilon ,k}_0\}_{k \in {\mathbb {N}}}\), also independent of \(\beta \), and distributed as centred Gaussian variables with variance equal to \(\epsilon ^{-2}/2\). In this way, the processes \(\{\eta ^{\epsilon ,k}\}_{k \in {\mathbb {N}}}\) are stationary, and \(\eta ^{\epsilon ,k}\) is independent of \(\eta ^{\epsilon ,h}\) for \(k \ne h\).
Remark 3
Notice that the process \(\sum _k \sigma _k \eta ^{\epsilon ,k}\) is nothing but a rough approximation for the small-scale vorticity \(\xi _{\text {S}}^\epsilon \), obtained by simply dropping the nonlinear term in the second equation of (E). This simplified formulation of (E) clarifies why we expect a Wong–Zakai result to be true for the large-scale vorticity: indeed, for every \(k \in {\mathbb {N}}\) the process \(\eta ^{\epsilon ,k}\) formally converges to a white-in-time noise, because of the following computation:
We make the following assumption on the coefficients \(\sigma _k\):
- (A1):
-
\(\sigma _k \in C^2({\mathbb {T}}^2,{\mathbb {R}}^2)\) for every \(k \in {\mathbb {N}}\) and \(\sum _{k \in {\mathbb {N}}} \Vert \nabla ^2 \sigma _k \Vert _{L^\infty ({\mathbb {T}}^2,{\mathbb {R}}^8)} < \infty \),
where \(\nabla ^2 \sigma _k\) is the second spatial derivative of \(\sigma _k\) and is understood as a vector field taking values in \({\mathbb {R}}^8\):
Assumption (A1) above is immediately translated in the equivalent assumption on the coefficients \(\theta _k\) of (2):
- (A1):
-
\(\theta _k \in L^2_0({\mathbb {T}}^2) \cap C^1({\mathbb {T}}^2,{\mathbb {R}})\) for every \(k \in {\mathbb {N}}\) and \(\sum _{k \in {\mathbb {N}}} \Vert \nabla \theta _k \Vert _{L^\infty ({\mathbb {T}}^2,{\mathbb {R}}^2)} < \infty \).
As an example, one can take, for \({\mathbf {k}} \in {\mathbb {Z}}^2 \setminus \{(0,0)\}\) and \(e_{\mathbf {k}}(x) = \exp (2\pi i{\mathbf {k}}\cdot x)\),
In order to study well-posedness of the system (sE), we first need to specify what is the notion of solution we are going to study. We give the following definitions:
Definition 3.1
We say that a measurable map \(\varphi : \Omega \times [0,T] \times {\mathbb {T}}^2 \rightarrow {\mathbb {T}}^2\) is a stochastic flow of homeomorphisms if:
-
For almost every \(\omega \in \Omega \), \(\varphi (\omega ,t):{\mathbb {T}}^2 \rightarrow {\mathbb {T}}^2\) is a homeomorphism for every \(t \in [0,T]\);
-
For every \(x \in {\mathbb {T}}^2\), \(\varphi (x): \Omega \times [0,T] \rightarrow {\mathbb {T}}^2\) is progressively measurable with respect the filtration \(\{{\mathcal {F}}_t\}_{t \in [0,T]}\).
Definition 3.2
A process \(\xi \in L^\infty (\Omega \times [0,T] \times {\mathbb {T}}^2)\) is said to be weakly progressively measurable if for every test function \(f \in L^1({\mathbb {T}}^2)\) the process
is progressively measurable with respect to the filtration \(\{{\mathcal {F}}_t\}_{t \ge 0}\).
The notion of solution to (sE) we adopt hereafter is the following Lagrangian formulation:
Definition 3.3
Let \(\epsilon >0\) and \(\xi _0 \in L^\infty ({\mathbb {T}}^2)\). We say that a weakly progressively measurable process \(\xi ^\epsilon \) is a solution to (sE) if it is given by the transportation of the initial vorticity \(\xi _0\) along the particle trajectories, in formulae:
where \(\varphi ^{\epsilon }_t : {\mathbb {T}}^2 \rightarrow {\mathbb {T}}^2\) is a stochastic flow of homeomorphisms which satisfies for every \(x \in {\mathbb {T}}^2\):
We adopt the same terminology, mutatis mutandis, for equations and systems similar to (sE).
In fact, we shall prove that in this setting there exists an unique triple \((\xi ^{\epsilon },u^{\epsilon },\varphi ^{\epsilon })\) such that \(u^\epsilon = K *\xi ^\epsilon \), (8), and (9) hold simultaneously for every \(t \in [0,T]\), see Proposition 3.4.
The maps \({\mathbb {T}}^2 \ni x \mapsto \varphi _t(x)\), \(t \in [0,T]\) are usually called the characteristics associated with (sE), since they describe the trajectory of an ideal fluid particle with initial position \(x_0=x\).
Proposition 3.4
Assume (A1). Then, for every \(\epsilon >0\) and \(\xi _0 \in L^\infty ({\mathbb {T}}^2)\) there exists a unique stochastic flow of homeomorphisms \(\varphi ^\epsilon \) such that (9) holds with \(u^{\epsilon }_t = K *\xi ^{\epsilon }_t \) and
as variables in \(L^\infty ({\mathbb {T}}^2)\). In particular, system (sE) is well posed in the sense of Definition 3.3.
Moreover, for a.e. \(\omega \in \Omega \), the map \(\varphi ^\epsilon _t :{\mathbb {T}}^2 \rightarrow {\mathbb {T}}^2\) is measure-preserving with respect to the Lebesgue measure on \({\mathbb {T}}^2\) for every \(t \in [0,T]\):
The proof of the previous proposition is omitted, being easily reconstructed from the proof of the analogous result for the characteristics of the full system (E), see Proposition 6.1. Thanks to this proposition, we can finally define our notion of solution.
The presumed limit equation for \(\xi ^{\epsilon }\) is
where \(\circ d\beta ^{k}_t\) stands for the Stratonovich integral. In (Brzeźniak et al. 2016, Section 7), it is proved that for \(C^2\) coefficients \(\sigma _k\), equation (10) admits an unique weakly progressively measurable solution given by
as variables in \(L^\infty ({\mathbb {T}}^2)\), where \(\varphi _{t}\) is the stochastic flow of measure-preserving homeomorphisms solution to the SDE
3.1 Reformulation of the Problem
Recall that, since both \(\varphi _{t}^{\epsilon }\) and \(\varphi _{t}\) are measure-preserving maps of the torus \({\mathbb {T}}^2\), for every test function \(f \in L^1({\mathbb {T}}^2)\) we have the following identities:
This motivates, in view of the meaning of convergence \(\xi ^{\epsilon }\rightarrow \xi \) (in a suitable sense), to investigate instead the convergence of characteristics \(\varphi ^{\epsilon }\rightarrow \varphi \), where the characteristics \(\varphi ^{\epsilon }\), \(\varphi \) are stochastic flows of measure-preserving homeomorphisms that solve:
keeping in mind, however, that \(u^{\epsilon }\) and u are not given functions, but they depend on the other variables; in particular, they are random. Indeed, we do not know a priori that \( u^{\epsilon }\rightarrow u\) in some sense, but this information is part of the problem (cfr. Corollary 4.9).
3.2 Properties of the Biot–Savart Kernel
Here, we briefly recall some useful properties of the Biot–Savart kernel K. We refer to Brzeźniak et al. (2016) for details and proofs.
First of all, recall that the convolution \(K *\xi \) is well defined for every \(\xi \in L^p({\mathbb {T}}^2)\), \(p \in [1,\infty ]\) and the following estimate holds: for every \(p \in [1,\infty ]\), there exists a constant C such that for every \(\xi \in L^p({\mathbb {T}}^2)\)
For \(p \in (1,\infty )\) and \(\xi \in L^p_0({\mathbb {T}}^2)\), the convolution with K actually represents the Biot–Savart operator:
which, to every \(\xi \in L^p_0({\mathbb {T}}^2)\), associates the unique zero-mean, divergence-free velocity vector field \(u \in W^{1,p}({\mathbb {T}}^2,{\mathbb {R}}^2)\) such that
Moreover, for every \(p \in (1,\infty )\), there exist constants c, C such that for every \(\xi \in L^p_0({\mathbb {T}}^2)\)
Let \(r \ge 0\). Denote \(\gamma \) the concave function:
The following two lemmas are proved in Brzeźniak et al. (2016).
Lemma 3.5
There exists a positive constant C such that:
for every \(x,x' \in {\mathbb {T}}^2\).
Lemma 3.6
Fix \(T>0\) and let \(\lambda >0\), \(z_0 \in [0,\exp (1-2e^{\lambda T})]\) be constants. Denote z the unique solution of the following ODE:
Then, for every \(t \in [0,T]\), the following estimate holds:
Hereafter, the symbol \(\lesssim \) will be used to indicate an inequality up to a multiplicative constant C which depends only of the data of the problem (e.g. T, \(\xi _0\), \(\theta _k\) etc.). However, for the sake of clarity, we always try to show in the calculations where assumption (A1) comes into play.
4 Convergence of Characteristics
For a given \(y \in {\mathbb {T}}^2\), denote |y| the geodesic distance on the flat two-dimensional torus of the point y from \((0,0) \in {\mathbb {T}}^2\). To keep the notation as simple as possible, we define, for a measurable map \(\varphi \) from \({\mathbb {T}}^2 \) to itself, the following quantity:
We adopt this notation because of the similarity with the norm of the Banach space \(L^1({\mathbb {T}}^2,{\mathbb {R}}^2)\), although \(\left\| \cdot \right\| _{L^1({\mathbb {T}}^2,{\mathbb {T}}^2)}\) is not a norm on the space of measurable maps \({\mathbb {T}}^2 \rightarrow {\mathbb {T}}^2\); in particular, it is not positively homogeneous. In a similar fashion, we define \(\left\| \cdot \right\| _{L^\infty ({\mathbb {T}}^2,{\mathbb {T}}^2)}\) as
In this section, we prove the following result, concerning convergence of the characteristics \(\varphi ^\epsilon \) of the simplified system (sE) towards the characteristics \(\varphi \) of system (10).
Proposition 4.1
Assume (A1). Let \(\varphi ^\epsilon \) be the solution of (9), and let \(\varphi \) be the solution of (12). Then, for every \(T>0\), the following convergence holds as \(\epsilon \rightarrow 0\):
The strategy of the proof is the following and is taken from Ikeda and Watanabe (1989), see also Assing et al. (2020). The idea is to discretize the time interval [0, T] into subintervals of the form \([n\delta _\epsilon ,(n+1)\delta _\epsilon ]\), for a suitable choice of the mesh \(\delta _\epsilon \). Then, we adapt an argument in Ikeda and Watanabe (1989) that gives a control of the noisy part of the equations for the characteristics \(\varphi ^\epsilon \), \(\varphi \) in the regime \(\delta _\epsilon ^2/\epsilon ^3 \rightarrow 0\), \(\delta _\epsilon /\epsilon ^2 \rightarrow \infty \). The nonlinear drift is controlled by Lemma 3.5. Finally, Lemma 3.6 gives the convergence (13).
4.1 Estimates on the Increments
In this paragraph, we give some preliminary estimates on the increments of the characteristics \(\varphi ^\epsilon \), \(\varphi \). We will make use of the following lemma on the supremum of the Ornstein–Uhlenbeck process, which can be found in Jia and Zhao (2020).
Lemma 4.2
Let \(T>0\), \(p\ge 1\). Then, for every \(k \in {\mathbb {N}}\):
Hereafter, we absorb every factor \(\log (1+\epsilon ^{-2})\) coming from Lemma 4.2 in the symbol \(\lesssim \). Since we are only interested in the limit \(\epsilon \rightarrow 0\), the reader can readily check that doing so does not affect the correctness of our next computations.
The first lemma we prove is the following: it permits to control small-time excursions of the characteristics \(\varphi ^\epsilon \), in terms of the time increment \(\Delta \) and the parameter \(\epsilon \).
Lemma 4.3
Let \(T>0\), \(p\ge 1\), \(\Delta >0\). Then,
Proof
The increment \(\varphi ^\epsilon _{t+\delta }(x) - \varphi ^\epsilon _{t}(x)\) can be written as:
therefore, since \(\Vert u^\epsilon _s\Vert _{L^\infty ({\mathbb {T}}^2,{\mathbb {R}}^2)} \lesssim \Vert \xi _0\Vert _{L^\infty ({\mathbb {T}}^2)}\), we have
The thesis follows by Lemma 4.2. \(\square \)
The previous lemma can be slightly improved by the following:
Lemma 4.4
For every \(T>0\), \(p\ge 1\) and fixed \(n=0,\dots ,T/\delta _\epsilon -1\), we have
Proof
The increment \(\varphi ^\epsilon _{(n+1)\delta _\epsilon }(x) - \varphi ^\epsilon _{n\delta _\epsilon }(x)\) can be written as:
The first term is easy and can be controlled as in Lemma 4.3. The second one is bounded in \(L^\infty ({\mathbb {T}}^2,{\mathbb {T}}^2)\) uniformly in n by
and by Hölder inequality with exponent \(q>1\)
The third term is bounded in \(L^\infty ({\mathbb {T}}^2,{\mathbb {R}}^2)\) by
where \(\beta ^{\epsilon ,k}_t\) stands for the integrated Ornstein–Uhlenbeck process:
Using
and Lemma 4.2 we get
\(\square \)
Next, we move to the analogous estimate for the limiting characteristics \(\varphi \). Denote by \(c:{\mathbb {T}}^2 \rightarrow {\mathbb {R}}^2\), the following Stratonovich corrector:
which allows to rewrite (12) in the following Itō form:
Lemma 4.5
Let \(T>0\), \(p\ge 1\), \(\Delta >0\). Then, for every fixed \(n=0,\dots ,T/\delta _\epsilon -1\):
Proof
The increment \(\varphi _{n\delta _\epsilon +\delta }(x) - \varphi _{n\delta _\epsilon }(x)\) can be written as:
The first two terms are easy and can be handled as usual. On the other hand, using Burkholder–Davis–Gundy inequality, for fixed n and k, the last term is controlled by
hence, for fixed n and for \(\alpha =1-1/p\), Hölder inequality with exponent p gives
\(\square \)
4.2 The Nakao Method
The argument presented in this paragraph is due to Nakao and can be found, for instance, in Ikeda and Watanabe (1989). Roughly speaking, it allows to exploit the discretization of the equation to show the closeness, in a certain sense to be specified, between the Stratonovich corrector and the iterated integral of the Ornstein–Uhlenbeck process.
First, we need some preparation. For any \(n=0,\dots ,T/\delta _\epsilon -1\), consider the following decomposition:
We further decompose
Regarding the limiting Stratonovich integral, we can rewrite:
Lemma 4.6
The following inequalities hold:
In particular, all the quantities above go to zero as \(\epsilon \rightarrow 0\), under the condition \(\delta _\epsilon ^2/\epsilon ^3 \rightarrow 0\), \(\delta _\epsilon /\epsilon ^2 \rightarrow \infty \).
Proof
Consider first \(I^\epsilon _1(n)\). Using \(\Vert u^\epsilon _r\Vert _{L^\infty ({\mathbb {T}}^2,{\mathbb {R}}^2)} \lesssim \Vert \xi _0 \Vert _{L^\infty ({\mathbb {T}}^2)}\) for every \(r \in [0,T]\), we get
For the term \(I^\epsilon _{2a}(n)\), Lemma 4.3 gives:
The term \(I^\epsilon _{4}(n)\) is treated after a discrete integration by parts, in order to have a better control of the time increment: indeed, Lemma 4.4 gives
For the remaining terms \(J^\epsilon _1(n)\) and \(J^\epsilon _3(n)\), we have by Lemma 4.5
and similarly
\(\square \)
Lemma 4.7
(Nakao) The following inequality holds:
Proof
By the very definition of \(I^\epsilon _{2c}(n)\), \(J^\epsilon _4(n)\), one has
Therefore, one can decompose the quantity under investigation as follows:
where \(\delta _{h,k}\) is the Kronecker delta function and
Notice that \(c_{h,k}^n(\delta _\epsilon ,\epsilon ) \) is measurable with respect to \({\mathcal {F}}_{(n+1)\delta _\epsilon }\) and has conditional expectation
where we have used the mild formulation of \(\eta ^{\epsilon }\):
An elementary computation gives:
Since the quantity
is a \(L^2({\mathbb {T}}^2,{\mathbb {R}}^2)\)-valued martingale with respect to the filtration \(({\mathcal {F}}_{n\delta _\epsilon })_{n \in {\mathbb {N}}}\) (crf. Pisier 2016), by Doob maximal inequality and martingale property we have the following:
The conditional expectation is a \(L^2(\Omega )\)-projection, thus for every \(n,h,k \in {\mathbb {N}}\)
and therefore
Moreover, the process
satisfies
which is an easy consequence of (15). By (14) and Hölder inequality, we get
\(\square \)
We conclude this paragraph with the following result.
Lemma 4.8
The following estimates hold:
Proof
The first estimate is an easy consequence of Burkholder–Davis–Gundy inequality. For the second estimate, one can argue as in Lemma 4.7 to replace the quantity \(I^\epsilon _{2b}(n)\) with:
up to a correction that is infinitesimal as \(\epsilon \rightarrow 0\). For the latter quantity, the desired inequality is immediate. \(\square \)
4.3 Proof of Proposition 4.1
We are ready to prove the main result of this section. Recall
Since \(\varphi ^\epsilon : {\mathbb {T}}^2 \rightarrow {\mathbb {T}}^2\) is measure-preserving, for Lebesgue a.e. \(x \in {\mathbb {T}}^2\):
and therefore, we have the following integral formulation for (9)
and similarly for (12)
Proof of Proposition 4.1
For the difference \(Z^\epsilon _t(x) = \varphi ^\epsilon _t(x)-\varphi _t(x)\), we have:
Using the estimates given by Lemma 4.3 and Lemma 4.5, we can approximate the latter two integrals in the expression above with their discretized versions, computed in a point \(n\delta _\epsilon \) such that \(t \in [n\delta _\epsilon ,(n+1)\delta _\epsilon )\), up to a correction that is infinitesimal as \(\epsilon \rightarrow 0\). Then, in the regime \(\delta _\epsilon ^2/\epsilon ^3 \rightarrow 0\), \(\delta _\epsilon /\epsilon ^2 \rightarrow \infty \), using the results of subsection 4.2, Lemma 3.5 and the concavity of \(\gamma \), we arrive to
where \(r^\epsilon _T\) is a remainder coming from the discretization procedure, Lemma 4.6 and Lemma 4.7, and it goes to zero as \(\epsilon \rightarrow 0\). By Lemma 3.6, we conclude that
and therefore \(Z^\epsilon \rightarrow 0\) in mean value as a variable in \(C([0,T],L^1({\mathbb {T}}^2,{\mathbb {T}}^2))\). \(\square \)
Lemma 3.5 and the same calculations as above yield the following convergence at the velocity level:
Corollary 4.9
Assume (A1), and let \(u^{\epsilon } = K *\xi ^{\epsilon }\) (resp. \(u= K *\xi \)) be the velocity field associated with the characteristics \(\varphi ^\epsilon \) (resp. \(\varphi \)). Then, as \(\epsilon \rightarrow 0\):
5 Convergence of the Vorticity Process
In this brief section, we discuss the consequences of the convergence of the characteristics at the level of the vorticity process. Recall that we have proved:
as \(\epsilon \rightarrow 0\). We have the following:
Theorem 5.1
The vorticity process \(\xi ^\epsilon \) solution of the simplified system (sE) converges to \(\xi \) solution of (10) as \(\epsilon \rightarrow 0\) in the following sense: for every \(f \in L^1({\mathbb {T}}^2)\):
as \(\epsilon \rightarrow 0\), for every fixed \(t \in [0,T]\) and in \(L^p([0,T])\) for every finite p.
Proof
By (8) and the fact that \(\varphi ^\epsilon : {\mathbb {T}}^2 \rightarrow {\mathbb {T}}^2\) is measure-preserving, a change of variable leads to
for every \(t \in [0,T]\) and \(f \in L^1({\mathbb {T}}^2)\). Similarly,
Since \(f \in L^1({\mathbb {T}}^2)\), then by Lusin theorem (Rudin 1970, Theorem 2.23) for every \(\delta >0\), there exists a continuous function \(f_\delta \in C({\mathbb {T}}^2)\) and a compact set \(C_\delta \) such that f coincides with \(f_\delta \) on \(C_\delta \) and \(meas({\mathbb {T}}^2 \setminus C_\delta ) < \delta \). Therefore,
Since \(|f| \in L^1({\mathbb {T}}^2)\) and \(\varphi ^\epsilon _t\), \(\varphi _t\) are measure-preserving, absolute continuity of Lebesgue integral gives: for every \(\delta '>0\) there exists \(\delta >0\) such that, for every \(\epsilon >0\), \(t \in [0,T]\) and a.e. \(\omega \in \Omega \):
It remains to study the quantity
Since \(f_\delta \) is continuous, one can argue as in (Brzeźniak et al. 2016, Proposition 6.2) to get
as \(\epsilon \rightarrow 0\), for every fixed \(t \in [0,T]\) and in \(L^p([0,T])\) for every finite p. Putting all together, the proof is complete. \(\square \)
6 Back to 2D Euler Equations
In this section, we focus back to the full 2D Euler system (E)
Recall that the Brownian motion W(t, x) is given by
where the coefficients \(\theta _k\) satisfy assumption (A1):
Let \(\Theta ^\epsilon (t,x) = \sum _{k \in {\mathbb {N}}} \theta _k(x) \eta ^{\epsilon ,k}_t\) be the Ornstein–Uhlenbeck process solution of
with initial condition \(\xi _{\text {S}}^{0,\epsilon }\). For simplicity, take \(\xi _{\text {S}}^{0,\epsilon }\) as in Sect. 3, so that \(\Theta ^\epsilon \) is a stationary process, progressively measurable with respect to the filtration \(\{{\mathcal {F}}_t\}_{t \ge 0}\), and \(\eta ^{\epsilon ,k}\) is independent of \(\eta ^{\epsilon ,h}\) for \(k \ne h\). Notice that the regularity of \(\Theta ^\epsilon \) is the same of W. In particular, under assumption (A1), \(\Theta ^\epsilon \) takes a.s. values in \(C([0,T],W^{1,\infty }({\mathbb {T}}^2))\) and
Define the difference process:
which solves the equation
We consider also the following auxiliary process
which solves the same equation without damping:
By (Kunita 1997, Theorem 6.1.6) the problem above admits formally an unique solution:
where \(\phi ^\epsilon \) is defined by
Recalling the equality \({\tilde{\zeta }}^\epsilon _t = e^{\epsilon ^{-2}t}\zeta ^\epsilon _t\), the equation above becomes
By difference, we recover the small-scale vorticity \(\xi _{\text {S}}^{\epsilon }\) and we can plug it into the equation for the large-scale vorticity \(\xi _{\text {L}}^{\epsilon }\) to obtain:
This is a (highly nonlinear) transport equation with random coefficients. It is worth noticing that we have obtained equation (18) above by a formal application of (17), somewhat in the same spirit of formal integration-by-parts performed when dealing with weak solutions of certain PDEs. Well-posedness, in the Lagrangian sense—that is, the analogous of Definition 3.3—of (18) is the content of the following:
Proposition 6.1
For every \(\epsilon >0\), equation (18) admits a unique weakly progressively measurable solution \(\xi ^\epsilon _L\), given by the transportation of the initial vorticity \(\xi _0 \) along the characteristics \(\psi ^\epsilon \) defined below. Moreover, the characteristics \(\psi ^\epsilon \) of the full Eq. (18) converge to the characteristics (12) as \(\epsilon \rightarrow 0\) in the following sense:
Proof
Consider the following system of characteristics:
Notice that the only unknown of the system above is the characteristic \(\psi ^\epsilon \), the other quantities being uniquely determined \(\omega \)-wise by the former, see (Brzeźniak et al. 2016, Section 3). We prove path-by-path well-posedness of the system (C) in the class of flows of measure-preserving homeomorphisms. The argument is similar to that of the proof of (Brzeźniak et al. 2016, Theorem 3.4).
Let \({\mathcal {M}}_T\) be the space
The proof relies on a Picard iteration with fixed \(\omega \). Let \(G:{\mathcal {M}}_T \mapsto {\mathcal {M}}_T\) be the map that at every \(\psi \) associates the solution \(G(\psi )\) of the equation:
where \(u=u^\psi \), \(\zeta =\zeta ^\psi \) are computed from \(\psi \) and not from \(G(\psi )\), so that the \(G(\psi )\) is well defined for every \(\psi \in {\mathcal {M}}_T\) (see Brzeźniak et al. 2016, Lemma 3.1 for the analogous result for Euler equations). For any \(\psi , \psi ' \in {\mathcal {M}}_T\), a computation similar to that of the proof of Proposition 4.1 yields the key inequality
which guarantees the a.s. convergence of the Picard iteration towards a solution of the system (C) on the time interval \([0,T_1]\), where \(0<T_1\le T\) may depend on \(\omega \). However, for any fixed \(\omega \), one can iterate this procedure with the same time step \(T_1\), to obtain existence on [0, T] after \(N=N(\omega )\) iterations of the argument. In addition, having care to initialize the iteration scheme with a \({\mathcal {F}}_0\) measurable random element of \({\mathcal {M}}_T\) (take for instance \(\psi ^0_t(x)=x\) for every t), we also obtain progressively measurability of the solution so constructed with respect to the filtration \(\{{\mathcal {F}}_t\}_{t \in [0,T]}\). Uniqueness is obtained applying the same Picard scheme to two solutions \(\psi , \psi ' \in {\mathcal {M}}_T\). We omit the remaining details, which are contained in Brzeźniak et al. (2016).
Let us now investigate the convergence of characteristics \(\psi ^\epsilon \rightarrow \varphi \). The proof is the same as Proposition 4.1. We do not repeat it here, and we limit ourselves to notice that since \(\sup _{t \in [0,T]} \Vert \xi ^\epsilon _L (t)\Vert _{L^\infty ({\mathbb {T}}^2)} \le \Vert \xi _0 \Vert _{L^\infty ({\mathbb {T}}^2)}\), we have
By (16), the expected value of this quantity is infinitesimal as \(\epsilon \rightarrow 0\) and therefore does not affect the argument of Proposition 4.1. \(\square \)
In virtue of the previous proposition, we deduce the analogous of Theorem 5.1 and Corollary 4.9 for the full 2D Euler system (E), that is Theorem 1.1 in Introduction, whose precise formulation is the following:
Theorem 6.2
Assume (A1), and let \(\xi _{\text {L}}^{\epsilon }\) be the large-scale process solution of (E) in the sense of Proposition 6.1, \(\xi _{\text {L}}\) be the solution of (10). Then, \(\xi _{\text {L}}^{\epsilon }\) converges as \(\epsilon \rightarrow 0\) to \(\xi _{\text {L}}\) in the following sense: for every \(f \in L^1({\mathbb {T}}^2)\):
as \(\epsilon \rightarrow 0\), for every fixed \(t \in [0,T]\) and in \(L^p([0,T])\) for every finite p. Moreover, the large-scale velocity process \(u_{\text {L}}^{\epsilon } = K *\xi _{\text {L}}^{\epsilon }\) converges towards \(u_{\text {L}} = K *\xi _{\text {L}}\) as \(\epsilon \rightarrow 0\), in mean value, as variables in \(C([0,T],L^{1}({\mathbb {T}}^{2},{\mathbb {R}}^2)) \).
References
Assing, S., Flandoli, F., Pappalettera, U.: Stochastic model reduction: convergence and applications to climate equations, arXiv:2010.05216, (2020)
Barbato, D., Bessaih, H., Ferrario, B.: On a stochastic Leray-\(\alpha \) model of Euler equations. Stochastic Process. Appl. 124(1), 199–219 (2014)
Beck, L., Flandoli, F., Gubinelli, M., Maurelli, M.: Stochastic ODEs and stochastic linear PDEs with critical drift: regularity, duality and uniqueness. Electr. J. of Probab., page arXiv:1401.1530, (2014)
Bianchi, L.A., Flandoli, F.: Stochastic Navier–Stokes equations and related models. Milan J. Math. 88(1), 225–246 (2020)
Bianchi, L.A.: Uniqueness for an inviscid stochastic dyadic model on a tree. Electron. Commun. Probab. 18(8), 12 (2013)
Boffetta, G., Ecke, R.E.: Two-dimensional turbulence. Ann. Rev. Fluid Mech. 44(1), 427–451 (2012)
Brzeźniak, Z., Capiński, M., Flandoli, F.: A convergence result for stochastic partial differential equations. Stochastics 24(4), 423–445 (1988)
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. Stochastic Anal. Appl. 10(5), 523–532 (1992)
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)
Chae, D., Constantin, P., Wu, J.: Inviscid models generalizing the two-dimensional Euler and the Surface Quasi-geostrophic equations. Arch. Ration. Mech. Anal. 202, 35–62 (2011)
Cheskidov, A., Holm, D.D., Olson, E., Titi, E.S.: On a Leray-\(\alpha \) model of turbulence. Proc. R. Soc. A. 461, 629–649 (2005)
Cotter, C.J., Gottwald, G.A., Holm, D.D.: Stochastic partial differential fluid equations as a diffusive limit of deterministic lagrangian multi-time dynamics. Proc. R. Soc. A. 473, 20170388 (2017)
Crisan, D., Flandoli, F., Holm, D.D.: Solution properties of a 3d stochastic Euler fluid equation. J. Nonlinear Sci. 29(3), 813–870 (2019)
Flandoli, F., Gubinelli, M., Priola, E.: Well-posedness of the transport equation by stochastic perturbation. Invent. Math. 180(1), 1–53 (2010)
Flandoli, F.: Random perturbation of PDEs and fluid dynamic models. Lecture Notes in Mathematics. Springer, Heidelberg, 2011. Lectures from the 40th Probability Summer School held in Saint-Flour, École d’Été de Probabilités de Saint-Flour (2010)
Flandoli, F., Maurelli, M., Neklyudov, M.: Noise prevents infinite stretching of the passive field in a stochastic vector advection equation. J. Math. Fluid Mech. 16(4), 805–822 (2014)
Franzke, C.L.E., Oliver, M., Rademacher, J.D.M., Badin, G.: Multi-scale methods for geophysical flows. In: Eden, C., Iske, A. (eds.) Energy Transfer in Atmosphere and Ocean, pp. 1–52. Springer, Berlin (2019)
Franzke, C., Majda, A.J.: Low-order stochastic mode reduction for a prototype atmospheric GCM. J. Atmos. Sci. 63(2), 457–479 (2006)
Franzke, C., Majda, A.J., Vanden-Eijnden, E.: Low-order stochastic mode reduction for a realistic barotropic model climate. J. Atmos. Sci. 62(6), 1722–1745 (2005)
Gay-Balmaz, F., Holm, D.D.: Stochastic geometric models with non-stationary spatial correlations in lagrangian fluid flows. J. Nonlinear Sci. 28(3), 873–904 (2018)
Hofmanová, M., Leahy, J., Nilssen, T.: On the Navier-Stokes equation perturbed by rough transport noise. J. Evol. Equ. 19, 203–247 (2019)
Hofmanova, M., Leahy, James-Michael, N., Torstein: On a rough perturbation of the navier-stokes system and its vorticity formulation, (2019)
Holm, D.D.: Variational principles for stochastic fluid dynamics. Proc. R. Soc. A. 471, 20140963 (2015)
Ikeda, N., Watanabe, S.: Stochastic Differential Equations and Diffusion Processes. North-Holland Mathematical Library. North-Holland Publishing Co., second edition, (1989)
Jain, A., Timofeyev, I., Vanden-Eijnden, E.: Stochastic mode-reduction in models with conservative fast sub-systems. Commun. Math. Sci. 13(2), 297–314 (2015)
Jia, C., Zhao, G.: Moderate maximal inequalities for the Ornstein-Uhlenbeck process. Proc. Am. Math. Soc. (2020). https://doi.org/10.1090/proc/14804
Kraichnan, R.H.: Inertial ranges in two-dimensional turbulence. Phys. Fluids 10(7), 1417–1423 (1967)
Kunita, H.: Stochastic Flows and Stochastic Differential Equations. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1997)
Majda, A.J., Timofeyev, I., Eijnden, E.V.: A mathematical framework for stochastic climate models. Commun. Pure Appl. Math. 54(8), 891–974 (2001)
Marchioro, C., Pulvirenti, M.: Mathematical theory of incompressible nonviscous fluids. Applied Mathematical Sciences, vol. 96. Springer, New York (1994)
Maurelli, M.: Wiener chaos and uniqueness for stochastic transport equation. C. R. Math. Acad. Sci. Paris 349(11–12), 669–672 (2011)
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)
Penland, C., Matrosova, L.: A balance condition for stochastic numerical models with application to the El Niño-Southern oscillation. J. Climate 7(9), 1352–1372 (1994)
Pisier, G.: Martingales in Banach Spaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2016)
Tessitore, G., Zabczyk, J.: Wong–Zakai approximations of stochastic evolution equations. J. Evolut. Equa. 6(4), 621–655 (2006)
Twardowska, K.: Approximation theorems of Wong-Zakai type for stochastic differential equations in infinite dimensions. Dissertationes Math. (Rozprawy Mat.), 325, (1993)
Rudin, W.: Real and complex analysis. MGH, (1970)
Wong, E., Zakai, M.: On the convergence of ordinary integrals to stochastic integrals. Ann. Math. Statist. 36(5), 1560–1564 (1965)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Lydia Bieri.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Convergence of Weak Solutions
Appendix A. Convergence of Weak Solutions
Throughout the paper, we have used the Lagrangian formulation of Euler equations and, more generally, of transport-type equations. This point of view turns out to be really effective to investigate the convergence of the large-scale component of the system (E) as \(\epsilon \rightarrow 0\), since the nonlinear term in the equation of characteristics has been widely studied before.
In this section, we aim to link the Lagrangian point of view on Euler equations and other equations of transport type with the analytically weak point of view.
To fix the ideas, take first 2D Euler equations in vorticity form (1). Both Lagrangian formulation and weak formulation aim to give a notion of solution to (1) which does not require the regularity needed for classical solution. In the case of Lagrangian formulation, the space derivative of the solution is formally cancelled out by the composition with the characteristics:
In the weak formulation, the derivatives of the solution are formally eliminated by an integration-by-parts formula for the product of the solution against regular test functions: to be precise, a weak solution of (1) is given by a function \(\xi \in L^\infty ([0,T],L^\infty ({\mathbb {T}}^2))\) such that, for every test function \(f \in C^1({\mathbb {T}}^2)\), it holds for every \(t \in [0,T]\):
In the case of 2D Euler equations in vorticity form, the Lagrangian point of view and the analytically weak point of view are equivalent, that is, every Lagrangian solution of (1) is also a weak solution, and every weak solution of (1) is given by the transportation of the initial datum \(\xi _0\) along characteristics. The proof of this classical fact under the assumption \(\xi _{0} \in L_0^\infty ({\mathbb {T}}^2)\) can be found in Marchioro and Pulvirenti (1994).
In Brzeźniak et al. (2016) a similar statement is proved for the limiting process (10):
with \(u_t=K*\xi _t\). In this case, for every initial datum \(\xi _{0} \in L_0^\infty ({\mathbb {T}}^2)\), the Lagrangian formulation of (10), which has been used in the present work, is equivalent to the following distributional formulation (see Brzeźniak et al. 2016, Theorem 2.14 and Proposition 5.3).
Definition A.1
A weakly progressively measurable process \(\xi \in L^\infty (\Omega \times [0,T] \times {\mathbb {T}}^2 )\) is said to be a \(L^\infty \) distributional solution to (10) if for every test function \(f \in C^\infty ({\mathbb {T}}^2)\) it holds \({\mathbb {P}}\)-a.s.: for every \(t \in [0,T]\)
Following Brzeźniak et al. (2016), we define an analogous notion of \(L^\infty \) distributional solution to (18). Recall the definition of the Ornstein–Uhlenbeck process:
Definition A.2
A weakly progressively measurable process \(\xi ^\epsilon \in L^\infty (\Omega \times [0,T] \times {\mathbb {T}}^2 )\) is said to be a \(L^\infty \) distributional solution to (18) if for every test function \(f \in C^\infty ({\mathbb {T}}^2)\) it holds \({\mathbb {P}}\)-a.s.: for every \(t \in [0,T]\)
where \(u^{\epsilon }(t,x)=(K *\xi ^{\epsilon })(t,x)\) and \(\zeta ^\epsilon \) is given by
As for equations (1) and (10), the notion of \(L^\infty \) distributional solution to (18) is indeed equivalent to the notion of Lagrangian solution used throughout the paper. This is the content of the forthcoming:
Proposition A.3
The unique Lagrangian solution \(\xi ^\epsilon \) to (18) given by Proposition 6.1 is also a \(L^\infty \) distributional solution. Conversely, every \(L^\infty \) distributional solution to (18) is also a Lagrangian solution.
Proof
Step 1. We first prove that the Lagrangian solution to (18) is also a \(L^\infty \) distributional solution. Let \(\psi ^\epsilon \) be the unique stochastic flow of homeomorphism solution of the system of characteristics (C). By the representation formula \(\xi ^\epsilon _t = \xi _0 \circ (\psi ^\epsilon _t)^{-1}\), one immediately has \(\xi ^\epsilon \in L^\infty (\Omega \times [0,T] \times {\mathbb {T}}^2)\). By the a.s. measure-preserving property of \(\psi ^\epsilon \), one gets, for any \(f \in L^1({\mathbb {T}}^2)\) :
Since for every \(x \in {\mathbb {T}}^2\) the process \(t \mapsto \psi ^\epsilon _t(x)\) is progressively measurable, one can deduce from (19) that \(\xi ^\epsilon \) is weakly progressively measurable.
Let now \(f \in C^\infty ({\mathbb {T}}^2)\) be a given test function. Define
Using
multiplying per \(\xi _0\), integrating in time and space, and using (19) one obtains that \(\xi ^\epsilon \) is a \(L^\infty \) distributional solution to (18).
Step 2. We prove that every \(L^\infty \) distributional solution to (18) is also a Lagrangian solution, i.e. it is given by the transportation of the initial vorticity \(\xi _0\) along characteristics.
A weakly progressively measurable process \(\xi ^\epsilon \in L^\infty ([0,T] \times {\mathbb {T}}^2 \times \Omega )\) being a \(L^\infty \) distributional solution to (18) corresponds to: for every test function \(f \in C^\infty ({\mathbb {T}}^2)\) it holds \({\mathbb {P}}\)-a.s.: for every \(t \in [0,T]\)
Let \(\rho \in C^\infty ({\mathbb {R}}^2)\) be a non-negative even function, supported in \([-1,1]^2\), with \(\int _{{\mathbb {R}}^2} \rho (x)\mathrm{{d}}x=1\). For every \(\delta \in (0,1/2)\), denote \(\rho _\delta (x)=\delta ^{-2} \rho (x/\delta )\) and
In the integral above, the function \(\xi ^\epsilon _t: {\mathbb {T}}^2 \rightarrow {\mathbb {R}}\) is interpreted as a periodic function \(\xi ^\epsilon _t: {\mathbb {R}}^2 \rightarrow {\mathbb {R}}\) on the full space. The mollified vorticity \(\xi ^{\epsilon ,\delta }_t\) is smooth and periodic in space; therefore, the process \(\xi ^{\epsilon ,\delta }\) has a.s. trajectories in
Using that \(\xi ^\epsilon \) is a \(L^\infty \) distributional solution to (18) in the equivalent formulation (20) with \(f=\rho _\delta (x-\cdot )\), one has for every fixed \(x \in {\mathbb {T}}^2\) the a.s. property: for every \(t \in [0,T]\)
Notice that, by a.s. space regularity of the process \(\xi ^{\epsilon ,\delta }\), one can find a full-measure set \(\Omega ' \subset \Omega \) such that for every \(\omega \in \Omega '\) the property above holds simultaneously for every \(x \in {\mathbb {T}}^2\). Arguing as in Brzeźniak et al. (2016), for \(\psi ^\epsilon \) solving
one can prove a.s. the following: for every \(x \in {\mathbb {T}}^2\) and \(t \in [0,T]\)
The commutator above is defined for fixed divergence-free \(v \in W^{1,p}({\mathbb {T}}^2,{\mathbb {R}}^2)\), \(p\in [1,\infty )\), and \(w \in L^\infty ({\mathbb {T}}^2)\) by
and satisfies (see Brzeźniak et al. 2016, Lemma 5.2)
By measure-preserving property of \(\psi ^\epsilon \), integrating (21) in space yields
Using (22) and (23) with \(p=1\), the bound
and Lebesgue dominated convergence theorem, one obtains a.s. the convergence: for every fixed \(t \in [0,T]\), as \(\delta \rightarrow 0\):
By the fact of \(\xi ^{\epsilon }\) being a.s. with trajectories in \(L^\infty ({\mathbb {T}}^2)\) and \(\psi ^\epsilon \) being a.s. measure-preserving, one also has a.s. the convergence: for every fixed \(t \in [0,T]\), as \(\delta \rightarrow 0\):
and similarly
We remark that the previous statement asserts the possibility of finding a full-measure set \(\Omega '' \subset \Omega \) such that for every \(\omega \in \Omega ''\) the convergences above hold for every fixed \(t \in [0,T]\). Putting all together, we finally obtain a.s. the identity: for every \(t \in [0,T]\), \(\xi ^{\epsilon }_t(\psi ^\epsilon _{t}(\cdot )) = \xi _0\) as variables in \(L^1({\mathbb {T}}^2)\), that is for Lebesgue-a.e. \(x \in {\mathbb {T}}^2\). By boundedness, the identity can be understood as variables in \(L^\infty ({\mathbb {T}}^2)\) as well. \(\square \)
Proposition A.3 gives well-posedness of (18) in distributional formulation: indeed, the Lagrangian solution given by Proposition 6.1 is a \(L^\infty \) distributional solution, giving existence; for uniqueness, it suffices to invoke uniqueness of characteristics and the fact that every \(L^\infty \) distributional solution is also a Lagrangian solution. In terms of convergence, one can therefore restate Theorem 6.2 with the \(L^\infty \) distributional notion of solution.
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
Flandoli, F., Pappalettera, U. 2D Euler Equations with Stratonovich Transport Noise as a Large-Scale Stochastic Model Reduction. J Nonlinear Sci 31, 24 (2021). https://doi.org/10.1007/s00332-021-09681-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-021-09681-w