Abstract
In the present paper we study the convergence of the solution of the two dimensional (2-D) stochastic Leray-\(\alpha \) model to the solution of the 2-D stochastic Navier–Stokes equations. We are mainly interested in the rate, as \(\alpha \rightarrow 0\), of the following error function
where \(\mathbf {u}^\alpha \) and \(\mathbf {u}\) are the solution of stochastic Leray-\(\alpha \) model and the stochastic Navier–Stokes equations, respectively. We show that when properly localized the error function \(\varepsilon _\alpha \) converges in mean square as \(\alpha \rightarrow 0\) and the convergence is of order \(O(\alpha )\). We also prove that \(\varepsilon _\alpha \) converges in probability to zero with order at most \(O(\alpha )\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Navier–Stokes system is the most used model in turbulence theory. In recent years, various regularization models were introduced as an efficient subgrid model scale of the Navier–Stokes equations (NSE), see for eg. [9, 11–13, 16, 26, 27, 29, 30, 32]. Moreover, numerical analyses in [14, 28, 29, 31, 34, 35, 37, 38] seem to confirm that these models can capture remarkably well the physical phenomenon of turbulence in fluid flows at a lower computational cost. Among them are the Navier–Stokes-\(\alpha \), Leray-\(\alpha \), modified Leray-\(\alpha \), Clark-\(\alpha \) to name just a few.
Another tool used to tackle the closure problem in turbulent flows is to introduce a stochastic forcing that will mimic all the terms that can’t be handled. This approach is basically motivated by Reynolds’ work which stipulates that hydrodynamic turbulence is composed of slow (deterministic) and fast (stochastic) components. This approach was used in [36] to derive a stochastic Navier–Stokes equations with gradient and nonlinear diffusion coefficient.
It is worth emphasizing that the presence of the stochastic term (noise) in the model often leads to qualitatively new types of behavior, which are very helpful in understanding real processes and is also often more realistic. In particular, for the 2d Navier–Stokes equations, some ergodic properties are proved when adding a random perturbation,
There is an extensive literature about the convergence of \(\alpha \)-models to the Navier–Stokes equations, see for eg. [1, 7, 8, 17, 21–24, 27]. However, only a few papers deal with the rate of convergence, see [10, 15]. In [10] the rates of convergence of four \(\alpha \)-models (NS-\(\alpha \) model, Leray-\(\alpha \) model, modified Leray-\(\alpha \) model, and simplified Bardina model) in the two-dimensional (2D) case, subject to periodic boundary conditions on the periodic box \([0, L]^2\) are studied. The authors of [10] mainly showed that all the four \(\alpha \)-models have the same order of convergence and error estimates; that is, the convergences in the \(\mathbb {L}^2\)-norms are all of the order \(O(\frac{\alpha }{L} (\log (\frac{L}{\alpha }) )^\frac{1}{2} )\) as \( \frac{\alpha }{L}\) tends to zero, while in [15] the rate of convergence of order \(O(\alpha )\) is obtained in a mixed \(L^1-L^2\) time-space norm with small initial data in Besov-type function spaces.
Despite the numerous papers, there are only very few addressing the convergence of stochastic \(\alpha \)-models to the stochastic Navier–Stokes. It is proved in [17] that the stochastic Leray-\(\alpha \) model has a unique invariant measure which converges to the stationary solution (unique invariant measure) of 3-D (resp. 2-D) stochastic Navier–Stokes equations. In [21, 22] Deugoué and Sango proved that one can find a sequence of weak martingales of the 3-D stochastic Navier–Stokes-\(\alpha \) and Leray-\(\alpha \) model respectively which converges in distribution to the weak martingale solution of the 3-D stochastic Navier–Stokes equations.
Here in this paper, we are interested in the analysis of the rate of convergence of the two-dimensional stochastic Leray-\(\alpha \) model to the stochastic Navier–Stokes equations. More precisely we consider the Leray-\(\alpha \) model with multiplicative stochastic perturbation on a periodic domain \(\mathcal {O}=[0,L]^2\), \(L>0\), given by the following system
where W is a cylindrical Wiener process on a separable Hilbert space \(\mathrm {K}\), A is the Stokes operator and B is the well-known bilinear map in the mathematical theory of the Navier–Stokes equations. We refer to Sect. 2 for the functional setting.
Our main goal in the present paper is to study the convergenve of the solution \(\mathbf {u}^\alpha \) to [SubEquationDirect](1.1a) to the solution of the stochastic Navier–Stokes equations given by
To the best of our knowledge it seems that the investigation of the rate of convergence of the stochastic \(\alpha \)-model to the stochastic Navier–Stokes has never been done before. In this paper we initiate this direction of research by studying the rate of convergence of the error function for \(t\in [0,T]\)
as \(\alpha \) tends to zero. Here \(|\cdot |\) denotes the \(\mathbb {L}^2(\mathcal {O})\)-norm. By deriving several important uniform estimates for the sequence of stochastic processes \(\mathbf {u}^\alpha \) we can prove that for an appropriate family of stopping times \(\{\tau _R; R>0\}\) the stopped error function \(\varepsilon _\alpha (t\wedge \tau _R)\) converges to 0 in mean square as \(\alpha \) goes to zero and the convergence is of order \(O(\alpha )\). In particular, this shows that when the error function \(\varepsilon _\alpha \) is properly localized then the order of convergence in the stochastic case is better than the one in the deterministic case. In this paper, we also prove that the convergence in probability (see for example [39] for the definition) of \(\varepsilon _\alpha \) is also of order \(O(\alpha )\). These results can be found in Theorems 4.1 and 4.2. We mainly combine the approaches used in [4, 10].
In Sect. 2 we introduce the notations and some frequently used lemmata. In Sect. 3, we introduce the main assumptions on the diffusion coefficient. Moreover, several important uniform estimates which are the backbone of our analysis will be derived. In Sect. 4, we state and prove our main results; we mainly show that when properly localized the error function \(\varepsilon _\alpha \) converges in mean square to zero as \(\alpha \) tend to zero. Owing to the uniform estimates obtained in Sect. 3, we also show in Sect. 4 that it converges in probability with order \(O(\alpha )\) as \(\alpha \) tends to zero.
Throughout the paper C, c denote some unessential constants which do not depend on \(\alpha \) and may change from one place to the next one.
2 Notations
In this section we introduce some notations that are frequently used in this paper. We will mainly follow the presentation of Cao and Titi [10].
Let \(\mathcal {O}\) be a bounded subset of \(\mathbb {R}^2\). For any \(p\in [1,\infty )\) and \(k\in \mathbb {N}\), \(\mathbb {L}^p(\mathcal {O})\) and \(\mathbb {W}^{k,p}(\mathcal {O})\) are the well-known Lebesgue and Sobolev spaces, respectively, of \(\mathbb {R}^2\)-valued functions. The corresponding spaces of scalar functions we will denote by standard letter, e.g. \({W}^{k,p}(\mathcal {O})\). The usual scalar product on \(\mathbb {L}^{2}(\mathcal {O})\) is denoted by \(\langle u,v\rangle \) for \(u,v\in \mathbb {L}^{2}(\mathcal {O})\). Its associated norm is \(|u|\), \(u\in \mathbb {L}^2(\mathcal {O})\).
Let \(L>0\) and \(\mathcal {P}\) be the set of (periodic) trigonometric polynomials of two variables defined on the periodic domain \(\mathcal {O}=[0,L]^2\) and with zero spatial average; that is, for every \(\phi \in \mathcal {P}\), \(\int _\mathcal {O}\phi (x) dx=0\). We also set
We endow the spaces \(\mathbf {H}\) with the scalar product and norm of \(\mathbb {L}^2\). We equip the space \(\mathbf {V}\) with the scalar product \((( \mathbf {u}, \mathbf {v})):=\int _\mathcal {O}\nabla \mathbf {u}(x) \cdot \nabla \mathbf {v}(x) dx \) which is equivalent to the \(\mathbb {H}^1(\mathcal {O})\)-scalar product on \(\mathbf {V}\). The norm corresponding to the scalar product \(((\cdot , \cdot ))\) is denoted by \(\Vert \cdot \Vert \).
Let \(\Pi : \mathbb {L}^2(\mathcal {O}) \rightarrow \mathbf {H}\) be the projection from \(\mathbb {L}^2(\mathcal {O})\) onto \(\mathbf {H}\). We denote by \(\mathrm {A}\) the Stokes operator defined by
Note that in the space-periodic case
The operator \(\mathrm {A}\) is a self-adjoint, positive definite, and a compact operator on \(\mathbf {H}\) (see, for instance, [20, 41]). We will denote by \(\lambda _1\le \lambda _2\le \cdots \) the eigenvalues of \(\mathrm {A}\); the correspoding eigenfunctions \(\{\Psi _i: i=1, 2, \ldots \}\) form an orthonormal basis of \(\mathbf {H}\) and an orthogonal basis of \(\mathbf {V}\). For any positive integer \(n\in \mathbb {N}\) we set
and we denote by \(P_n\) the orthogonal projection onto \(\mathbf {H}_n\) defined by
We also recall that in the periodic case we have \(D(\mathrm {A}^\frac{n}{2})=\mathbb {H}^n(\mathcal {O})\cap \mathbf {H}\), for \(n>0\) (see, for instance, [20, 41]). In particular we have \(\mathbf {V}=D(\mathrm {A}^\frac{1}{2})\).
For every \(\mathbf {w}\in \mathbf {V}\), we have the following Poincaré inequality
Also, there exists \(c>0\) such that
Thanks to (2.4) the norm \(\Vert \cdot \Vert \) of \(\mathbf {V}\) is equivalent to the usual \(\mathbb {H}^1(\mathcal {O})\)-norm. Recall that the following estimate, valid for all \(\mathbf {w}\in \mathbb {H}^1\) (or \(\mathbf {w}\in H^1\)), is a special case of Gagliardo-Nirenberg’s inequalities:
The inequality (2.5) can be written in the spirit of the continuous embedding
Next, for avery \(\mathbf {w}_1,\mathbf {w}_2\in \mathcal {V}\) we define the bilinear operator
In the following lemma we recall some properties of the bilinear operator B.
Lemma 2.1
The bilinear operator B defined in (2.7) satisfies the following
-
(i)
B can be extended as a continuous bilinear map \(B:\mathbf {V}\times \mathbf {V}\rightarrow \mathbf {V}^*\), where \(\mathbf {V}^*\) is the dual space of \(\mathbf {V}\). In particular, the following properties hold for all \(\mathbf {u},\mathbf {v}, \mathbf {w}\in \mathbf {V}\):
$$\begin{aligned} |\langle B(\mathbf {u},\mathbf {v}),\mathbf {w}\rangle |\le&c \vert \mathbf {u}\vert ^\frac{1}{2} \Vert \mathbf {u}\Vert ^\frac{1}{2} \Vert \mathbf {v}\Vert \vert \mathbf {w}\vert ^\frac{1}{2} \Vert \mathbf {w}\Vert ^\frac{1}{2}, \end{aligned}$$(2.8)$$\begin{aligned} \langle B(\mathbf {u},\mathbf {v}),\mathbf {w}\rangle =&-\langle B(\mathbf {u},\mathbf {w}), \mathbf {v}\rangle . \end{aligned}$$(2.9)As consequence of (2.9) we have
$$\begin{aligned} \langle B(\mathbf {u},\mathbf {v}),\mathbf {v}\rangle =0 \end{aligned}$$(2.10)for all \(\mathbf {u}, \mathbf {v}\in \mathbf {V}\).
-
(ii)
In the 2D periodic boundary condition case, we have
$$\begin{aligned} \langle B(\mathbf {u},\mathbf {u}),\mathrm {A}\mathbf {u}\rangle =0, \end{aligned}$$(2.11)for every \(\mathbf {u}\in D(\mathrm {A})\).
Proof
Part (i) is very classical and can be found in any reference related to Navier–Stokes equations, for instance in [20, 41]. Part (ii) can be found in [40, Lemma 3.1]. \(\square \)
We also recall the following lemma.
Lemma 2.2
For every \(\mathbf {u}\in D(\mathrm {A})\) and \(\mathbf {v}\in \mathbf {V}\), we have
Proof
For the proof we refer to [10, Lemma 2.2]. \(\square \)
3 A Priori Estimates for the Stochastic Navier–Stokes Equations and the Stochastic Leray-\(\alpha \) Model
The stochastic Leray-\(\alpha \) model (1.1) and the stochastic Navier–Stokes equations (1.2) have been extensively studied. Their well posedness are established in several mathematical papers. In this section we just recall the most recent results which are very close to our purpose. Most of these results were obtained from Galerkin approximation and energy estimates. However, the estimates derived in previous papers are not sufficient for our analysis. Therefore, we will also devote this section to derive several important estimates which are the backbone of our analysis.
We consider a prescribed complete probability system \((\Omega , \mathcal {F}, \mathbb {P})\) equipped with a filtration \(\mathbb {F}:=\{\mathcal {F}_t; t \ge 0\}\). We assume that the filtration satisfies the usual condition, that is, the family \(\mathbb {F}\) is increasing, right-continuous and \(\mathcal {F}_0\) contains all null sets of \(\mathcal {F}\). Let \(\mathrm {K}\) be a separable Hilbert space. On the filtered probability space \((\Omega , \mathcal {F}, \mathbb {F}, \mathbb {P})\) we suppose that we are given a cylindrical Wiener process W on \(\mathrm {K}\).
For two Banach spaces X and Y, we denote by \(\mathcal {L}(X,Y)\) the space of all bounded linear maps \(L: X\rightarrow Y\). The space of all Hilbert–Schmidt operators \(L:X\rightarrow Y\) is denoted by \(\mathcal {L}_2(X,Y)\). The Hilbert-Schmidt norm of \(L\in \mathcal {L}_2(X,Y)\) is denoted by \(\Vert L\Vert _{\mathcal {L}_2(X,Y)}\). When \(X=Y\) we just write \(\mathcal {L}_2(X):=\mathcal {L}_2(X,X)\).
Now, we can introduce the standing assumptions of the paper.
Assumption 3.1
Throughout this paper we assume that \(Q:D(\mathrm {A}^\frac{1}{2} ) \rightarrow \mathcal {L}(\mathrm {K},D(\mathrm {A}^\frac{1}{2})) \) satisfies:
-
(i)
there exists \(\ell _0>0\) such that for any \(\mathbf {u}_1, \mathbf {u}_2\in D(\mathrm {A}^\frac{1}{2})\) we have
$$\begin{aligned} \Vert Q(\mathbf {u}_1)-Q(\mathbf {u}_2)\Vert _{\mathcal {L}_2(\mathrm {K},\mathbf {H})}\le \ell _0 |\mathbf {u}_1-\mathbf {u}_2|, \end{aligned}$$ -
(ii)
there exists \(\ell _1>0\) such that for any \(\mathbf {u}_1, \mathbf {u}_2\in D(\mathrm {A}^\frac{1}{2})\) we have
$$\begin{aligned} \left\Vert\mathrm {A}^\frac{1}{2}\big [Q(\mathbf {u}_1)-Q(\mathbf {u}_2)\big ]\right\Vert_{\mathcal {L}_2(\mathrm {K},\mathbf {H})}\le \ell _1 \left|\mathrm {A}^\frac{1}{2}\mathbf {u}_1-\mathrm {A}^\frac{1}{2}\mathbf {u}_2\right|. \end{aligned}$$
Remark 3.1
Assumption 3.1 implies in particular that
-
(1)
there exists \(\ell _2>0\) such that for any \(\mathbf {u}\in D(\mathrm {A}^\frac{1}{2})\) we have
$$\begin{aligned} \Vert Q(\mathbf {u})\Vert _{\mathcal {L}_2(\mathrm {K},\mathbf {H})}\le \ell _2 (1+ |\mathbf {u}|), \end{aligned}$$ -
(2)
there exists \(\ell _3>0\) such that for any \(\mathbf {u}\in D(\mathrm {A}^\frac{1}{2})\) we have
$$\begin{aligned} \left\Vert\mathrm {A}^\frac{1}{2}Q(\mathbf {u})\right\Vert_{\mathcal {L}_2(\mathrm {K},\mathbf {H})}\le \ell _3 \left( 1+ |\mathrm {A}^\frac{1}{2}\mathbf {u}|\right) , \end{aligned}$$
3.1 A Priori Estimates for the Navier–Stokes Equations
The study of stochastic Navier–Stokes equations was pioneered by Bensoussan and Temam in [3]. Since then, an intense investigation about the qualitative and quantitative properties of this model has generated an extensive literature, see e.g. [2, 5, 6, 18, 25, 36].
The following definition of solution is mainly taken from [18] (see also [2, 25]).
Definition 3.1
A weak solution to (1.2) is a stochastic process \(\mathbf {u}\) such that
-
(1)
\(\mathbf {u}\) is progressively measurable,
-
(2)
\(\mathbf {u}\) belongs to \(C([0,T];\mathbf {H})\cap L^2(0,T,\mathbf {V})\) almost surely,
-
(3)
for all \(t\in [0,T]\), almost surely
$$\begin{aligned}&(\mathbf {u}(t), \phi )+\nu \int \langle \mathrm {A}^\frac{1}{2}\mathbf {u}(s), \mathrm {A}^\frac{1}{2}\phi \rangle ds+\int _0^t \langle B(\mathbf {u}(s),\mathbf {u}(s)), \phi \rangle ds \\&\quad =\mathbf {u}_0 +\int _0^t\langle \phi ,Q(\mathbf {u}(s))dW(s)\rangle , \end{aligned}$$for any \(\phi \in \mathbf {V}\).
We state the following theorem which was proved in [18, Theorem 2.4], see also [2, 25].
Theorem 3.2
Let \(\mathbf {u}_0\) be a \(\mathbf {H}\)-valued \(\mathcal {F}_0\)-measurable such that \(\mathbb {E}|\mathbf {u}_0|^4<\infty \). Assume that (3.1) holds. Then (1.2) has a unique solution \(\mathbf {u}\) in the sense of the above definition. Moreover, for any \(p\in \{2,4\}\) and \(T>0\) there exists \(C>0\) such that
3.2 A Priori Estimates for the Leray-\(\alpha \) Model
The Leray-\(\alpha \) model was introduced and analyzed in [16]. Since, then it has been extensively studied; we refer to [10] and references therein for a brief historical description and review of results. It is worth noticing that the Leray-\(\alpha \) model is a particular example of a more general regularization used by Leray in his seminal work, [33], in the context of establishing the existence of solutions for the 2D and 3D NSE.
The stochastic Leray-\(\alpha \) model was studied in [18, 19, 22]. For the inviscid case, we refer to the recent work [1] where the uniqueness of solutions were investigated. The following definition of solutions to (1.1) is taken from [22] (see also [18]).
Definition 3.3
A weak solution to (1.1) is a stochastic process \(\mathbf {u}^\alpha \) such that
-
(1)
\(\mathbf {u}^\alpha \) is progressively measurable,
-
(2)
\(\mathbf {v}^\alpha \), with \(\mathbf {v}^\alpha :=(I+\alpha ^2 \mathrm {A}) \mathbf {u}^\alpha \), belongs to \(C([0,T];\mathbf {H})\cap L^2(0,T,\mathbf {V})\) almost surely,
-
(3)
for all \(t\in [0,T]\), almost surely
$$\begin{aligned}&(\mathbf {v}^\alpha (t), \phi )+\nu \int \langle \mathrm {A}^\frac{1}{2}\mathbf {v}^\alpha (s), \mathrm {A}^\frac{1}{2}\phi \rangle ds+\int _0^t \langle B(\mathbf {u}^\alpha (s),\mathbf {v}^\alpha (s)), \phi \rangle ds\\&\quad =\mathbf {v}^\alpha _0 +\int _0^t\langle \phi ,Q(\mathbf {u}^\alpha (s))dW(s)\rangle , \end{aligned}$$for any \(\phi \in \mathbf {V}\).
Again, we refer to [18, Theorem 2.4] for the statement of the result below. See also [22].
Theorem 3.4
Let \(\mathbf {u}_0\) be a \(D(\mathrm {A})\)-valued \(\mathcal {F}_0\)-measurable such that \(\mathbb {E}|\mathrm {A}\mathbf {u}_0|^4<\infty \). Assume that (3.1) holds. Then for any \(\alpha >0\) the system (1.1) has a unique solution \(\mathbf {u}^\alpha \) in the sense of the above definition. Moreover, for any \(p\in \{2,4\}\) and \(T>0\) there exists \(C>0\) such that
As stated in [22], the constant C above depends on \(\alpha \) and may explode as \(\alpha \) tends to zero. The uniform estimates, with respect to \(\alpha \), obtained in [22] are not helpful for our analysis. Our aim in this subsection is to derive several a priori estimates for the stochastic Leray-\(\alpha \) model (1.1). These estimates summarized in the following two propositions, will be used in Sect. 4 to derive a rate of convergence of the stochastic Leray-\(\alpha \) model to the stochastic Navier–Stokes equations.
We start with some estimates in the weak norms of the solution \(\mathbf {u}^\alpha \), these are refinements of estimates obtained in [22].
Proposition 3.5
Let \(\mathbf {u}_0\) be a \(\mathcal {F}_0\)-measurable random variable such that \(\mathbb {E}|\mathbf {u}_0+\mathrm {A}\mathbf {u}_0|^4<\infty .\) Assume that the set of hypotheses stated in Assumption 3.1 holds. Then, there exists a constant \(C>0\) such that for any \(\alpha \in (0,1)\) we have
where
Proof
For any positive integer \(n\in \mathbb {N}\), we will consider the Galerkin approximation of (1.1) which is a system of SDEs in \(\mathbf {H}_n\)
where \(\mathbf {u}_{0n}=P_n \mathbf {u}_0\). Let \(\Psi (\cdot )\) be a mapping defined on \(\mathbf {H}_n\) defined by \(\Psi (\cdot ):=|\cdot |^4\). The mapping \(\Psi (\cdot )\) is twice Fréchet differentiable with first and second derivative defined by
for any \(\mathbf {u}, \mathbf {f}, \mathbf {g} \in \mathbf {H}_n\). In particular, the last identity implies that
for any \(\mathbf {u}, \mathbf {f}\in \mathbf {H}_n\). Therefore by Itô’s formula to \(\Psi (\mathbf {v}^\alpha _n):=|\mathbf {v}^\alpha _n(t)|^4 \) we obtain
By using the identity (2.10), the Cauchy’s inequality and Assumption 3.1-(i) along with Remark 3.1-(1) we infer the existence of a constant \(c>0\) such that
Since, by definition of \(\mathbf {v}^\alpha \), \(|\mathbf {u}^\alpha |\le c |\mathbf {v}^\alpha |\) we deduce from Assumption 3.1-(i) that
Now, using Burkholder–Davis–Gundy and Cauchy–Schwarz inequalities, we deduce that
From this last estimate and (3.9) we derive that there exists \(C>0\) such that
Since \(\langle \mathrm {A}\mathbf {v}^\alpha _n(s),\mathbf {v}^\alpha _n(s)\rangle =|\mathrm {A}^\frac{1}{2}\mathbf {v}^\alpha _n(s)|^2\) is nonnegative, and using Gronwall’s lemma, we deduce that
Since \(\alpha \) tend to 0, we can assume that \(\alpha \in (0,1)\). Therefore, by lower semicontinuity of the norm and the fact that \(|\mathbf {v}^\alpha (0)|^4\le |\mathbf {u}_0+\mathrm {A}\mathbf {u}_0|^4\), we infer that as \(n\rightarrow \infty \)
where \(\mathfrak {K}_0:=(2\mathbb {E}|\mathbf {u}_0+\mathrm {A}\mathbf {u}_0|^4+CT )(1+Ce^{CT})\). Since
we deduce from (3.10) that the five estimates (3.3)–(3.7) hold. \(\square \)
As a consequence of the estimate (3.4) and the Gagliardo–Nirenberg’s inequality
we state the following corollary.
Corollary 3.6
Under the assumptions of Proposition 3.5 there exists \(C>0\) such that for any \(\alpha \in (0,1)\) we have
Now we state several important estimates for the norm of \(\mathbf {u}^\alpha \) in stronger norms.
Proposition 3.7
Let Assumption 3.1 holds and let \(\mathbf {u}_0\) be a \(\mathcal {F}_0\)-measurable random variable such that \(\mathbb {E}(\vert \mathrm {A}^\frac{1}{2}\mathbf {u}_0|^2+\vert \mathrm {A}\mathbf {u}_0\vert ^2)^2<\infty \). Then, there exists a generic constant \(K_0>0\) such that for any \(\alpha \in (0,1)\) we have
where
Proof
As in the proof of Proposition 3.5 we still consider the solution \(\mathbf {v}^\alpha _n\) (or \(\mathbf {u}^\alpha _n\)) of the n-th Galerkin approximation of (1.1) defined by the system of SDEs (3.8). Let \(\mathrm {N}_\alpha \) be the self-adjoint and positive definite operator defined by \(\mathrm {N}_\alpha \mathbf {v}=({{\mathrm{I}}}+\alpha ^2 \mathrm {A})^{-1}\mathbf {v}\) for any \(\mathbf {v}\in \mathbf {H}\). It is well-known that \(\mathrm {N}_\alpha ^{-1}\) with domain \(D(\mathrm {A})\) is also positive definite and self-adjoint on \(\mathbf {H}\). Thus, the fractional powers \(\mathrm {N}_\alpha ^\frac{1}{2} \) and \(\mathrm {N}_\alpha ^{-\frac{1}{2}}\) are also self-adjoint. Since \(\mathbf {v}^\alpha =\mathrm {N}_\alpha ^{-1}\mathbf {u}^\alpha \) it follows from (3.8a) that
Let \(\Phi :D(\mathrm {A})\rightarrow [0,\infty )\) be the mapping defined by \(\Phi (\mathbf {v})=\langle \mathrm {A}\mathbf {v}, \mathrm {N}_\alpha ^{-1}\mathbf {v}\rangle \) for any \(\mathbf {v}\in D(\mathrm {A})\). It is not difficut to show that \(\Phi (\cdot )\) is twice Fréchet differentiable and its first and second derivatives satisfy
for any \(\mathbf {f}, \mathbf {g} \in D(A)\). In particular, the last identity and \(\mathrm {A}^\frac{1}{2}\) and \(\mathrm {N}_\alpha ^{-\frac{1}{2}}\) being self-adjoint imply that
Therefore, using the Itô formula for \(\Phi (\mathbf {u}^\alpha _n)\) and (3.17), we derive that there exists \(c>0\)
Referring to the equation for \(\Phi ^\prime (\mathbf {u}^\alpha )[\cdot ]\) we see that
and
Hence
First, we estimate the term \(\langle \mathrm {A}\mathbf {u}_n^\alpha (t), d\mathbf {v}^\alpha _n(t)\rangle \). We derive from (3.8a) that
Recalling the definition of \(\mathbf {v}^\alpha _n\) we derive that
Owing to the definition of \(\mathbf {v}^\alpha _n\), (2.10) and (2.11) we have
Therefore we derive from (3.19)–(3.20) that
Second, we treat the term \(\langle \mathbf {v}^\alpha _n(t), d\mathrm {A}\mathbf {u}_n^\alpha (t)\rangle \), but before proceeding further we observe that
from which it follows that
where (2.9) was used to derive the last line. Since \(\mathbf {v}^\alpha _n=\mathrm {N}_\alpha ^{-1} \mathbf {u}_n^\alpha \), we obtain that
Owing to this last identity, (2.9)–(2.11) we infer that
Since
it follows by invoking (3.22) and using the definition of \(\mathbf {v}^\alpha _n\) that
From this latter identity we easily derive that
Plugging (3.21) and (3.23) in (3.18) implies that
where we have used the fact that
By the Burkholder–Davis–Gundy, Cauchy–Schwarz, Cauchy inequalities and Assumption 3.1-(i) along with Remark 3.1-(2) we derive that
Since \(\mathrm {N}_\alpha ^\frac{1}{2} \) is self-adjoint and \(\Vert \mathrm {N}_\alpha \Vert _{\mathcal {L}(H)}\le 1\) we infer that
Thus, it follows from Assumption 3.1-(ii) along with Remark 3.1-(2)
Hence, the calculations between (3.24) and (3.27) yield
Since \(\alpha \in (0,1)\) we derive from the last estimate that for any \(\alpha \in (0,1)\) and \(n \in \mathbb {N}\)
Now it follows from Gronwall’s lemma that there exists \(C>0\) such that for any \(\alpha \in (0,1)\) and \(n \in \mathbb {N}\) we have
As \(n\rightarrow \infty \), by lower semicontinuity we deduce that
where
Now, let \(y^\alpha _n (t)=|\mathrm {A}^\frac{1}{2}\mathbf {u}_n^\alpha (t)|^2 +\alpha ^2 |\mathrm {A}\mathbf {u}_n^\alpha (t)|^2\). Observing that
we see that \([y^\alpha _n(t)]^2=[\Phi (\mathbf {u}_n^\alpha (t))]^2\). Therefore, from Itô’s formula and (3.26) we deduce that
From this last inequality we infer that
Thanks to Remark 3.1-(2) we easily derive that
Now, arguing as in the proof of (3.25) and using this last inequality we obtain the following estimates
Taking the latter estimate and (3.30) into (3.29)
Applying Gronwall’s lemma and (3.28) imply that there exists \(C>0\) such that
where
Recalling the definition of \(y^\alpha _n\) and by lower semicontinuity we infer from the last estimate that as \(n\rightarrow \infty \)
By straightforward calculations we easily derive from (3.31) and (3.32) the set of estimates (3.12)–(3.16) stated in Proposition 3.7. \(\square \)
4 Rate of Convergence of the Sequence \(\mathbf {u}^\alpha \) to \(\mathbf {u}\)
In this section we consider a sequence \(\{\alpha _n; n \in \mathbb {N}\}\subset (0,1)\) such that \(\alpha _n \rightarrow 0\) as \(n \nearrow \infty \). For each \(n\in \mathbb {N}\) let \(\mathbf {u}^{\alpha _n}\) be the unique solution to (1.1) and for each \(R\in \mathbb {R}\) define a family of stopping times \(\tau _R^n\) by
Let \(\mathbf {u}\) be the solution of the stochastic Navier–Stokes equations; that is, \(\mathbf {u}\) solves (1.2). In the following theorem we will show that by localization procedure the sequence \(\mathbf {u}^{\alpha }\) converges strongly in \(L^2(\Omega ,L^\infty (0,T;\mathbf {H}))\) and \(L^2(\Omega ,L^2(0,T;\mathbf {V}))\) and the strong speed of convergence is of order \(O(\alpha )\).
Theorem 4.1
Let Assumption 3.1 holds and let \(\mathbf {u}_0\) be a \(\mathcal {F}_0\)-measurable random variable such that \(\mathbb {E}(\vert \mathrm {A}^\frac{1}{2}\mathbf {u}_0|^2+\vert \mathrm {A}\mathbf {u}_0\vert ^2)^2<\infty .\) Then there exists \(C>0\), \(\kappa _0 (T)>0\) such that for any \(R>0\) and \(n\in \mathbb {N}\) we have
where \(C(T):= c(1+T)\), \(\beta (R):=1+CRe^{CR}\) and
Proof
Let us fix \(n\in \mathbb {N}\) and let \(\mathbf {u}^{\alpha _n}\) be the unique solution to (1.1). Let \(\mathbf {u}\) be the unique solution to (1.2). Let us also fix \(R>0\) and let \(\tau ^n_R\) be the stopping time defined above. For sake of simplicity we set \(\tau =t\wedge \tau ^n_R\) for any \(t\in [0,T]\) and \(\alpha :=\alpha _n\) for any \(n \in \mathbb {N}\). Let \(\delta =\mathbf {u}-\mathbf {u}^\alpha \). The stochastic process \(\delta (t)\) with initial condition \(\delta (0)=0\) solves
Equivalently,
From Itô’s formula we infer that
where
Using the well-known fact
the Cauchy–Schwarz inequality, the Gagliardo–Nirenberg inequality and the Young inequality we obtain the chain of inequalities
By using the definition \(\mathbf {v}^\alpha =\mathbf {u}^\alpha +\alpha ^2 \mathrm {A}\mathbf {u}^\alpha \) we see that
From the last line along with the Cauchy–Schwarz inequality, the embedding \(\mathbb {H}^2\subset \mathbb {L}^\infty \), (3.26), and (2.3) it follows that
Applying the Cauchy inequality in the last estimate implies that
Thus,
Invoking [10, Lemma 4.1] we infer that
from which along Cauchy–Schwarz, the embedding \(\mathbb {H}^1(\mathcal {O})\subset \mathbb {L}^4(\mathcal {O})\), (2.3) and the Cauchy inequality we derive that
Hence
Since
we infer that
Since \(Q{(\mathbf {u}(t))} -\mathrm {N}_\alpha Q{(\mathbf {u}(t))} =\alpha ^2 \mathrm {A}\mathrm {N}_\alpha Q{(\mathbf {u}(t))} \) we easily check that
Owing to Assumption 3.1-(ii) altogether with Remark 3.1-(2) we obtain that
It follows from the last estimate and [10, ProofofLemma4.1] that
Now to estimate \(J_{4,2}\) we use the fact that \(\Vert \mathrm {N}_\alpha \Vert _{\mathcal {L}(\mathbf {H})}\le 1\) and Assumption 3.1-(i) and derive that
Thus, the two estimates (4.7) and (4.8) yield that
It follows from (4.4), (4.5), (4.6) and (4.9) that
where
Note that using the definition of \(\tau ^\alpha _R\) it is not difficult to see that
Note also that it follows from Gronwall’s lemma that
Hence taking the mathematical expectation in (4.10) we obtain that
Owing to the definition of \(\mathfrak {Y}\) and Proposition 3.7 we derive that
Now we deal with the estimation of \(\mathbb {E}\mathfrak {Z}(t)\). By the Burkholder–Davis–Gundy inequality we deduce that
Thus, by the last estimate, the inequality (4.9) and the defintion of \(\mathfrak {Z}(t)\) we derive that
Therefore, we derive from (1.2), (4.11), (4.12) and (4.13) that
where \(C(T):= c(1+T)\), \(\beta (R):=1+CRe^{CR}\) and
Applying Gronwall’s lemma into (4.14) implies that
where the positive constant \(\beta (R) \kappa _0 e^{C(T)\beta (R)T}\) does not depend on n and the sequence \(\alpha _n\). \(\square \)
For every \(R>0\), \(t\in [0,T]\) and any integer \(n\ge 1\), let
This definition shows that \(\Omega _R^n(t)\subset \Omega _R^n(s)\) for \(s\le t\) and that \(\Omega _R^n(t)\in {\mathcal F}_t\) for any \(t\in [0,T]\). Let \(\tau ^n_R\) be the stopping time defined in (4.1). It is not difficult to show that \(\tau _R^n=T\) on the set \(\Omega _R^n(T)\).
Owing to the intermediate estimate we obtained in the proof of Theorem 4.1 we derive the following result which tells us about the rate of convergence in probability of \(\mathbf {u}^\alpha \) to \(\mathbf {u}\).
Theorem 4.2
Let the assumptions of Theorem 4.1 be satisfied. For any integer \(n\ge 1\) let \(\varepsilon _n(T)\) denote the error term defined by
Then \(\varepsilon _n(T)\) converges to 0 in probability and the convergence is of order \(O(\alpha _n)\). To be precise, for any sequence \(\big (\Gamma _n\big )_{n=1}^\infty \) converging to \(\infty \),
Therefore, the sequence \(\mathbf {u}^\alpha \) converges to u in probability in \(\mathbf {H}\) and the rate of convergence is of order \(O(\alpha )\).
Proof
First from the definition of \(\Omega _R^n(T)\) and Corollary 3.6 we can show that for each n
In fact, it follows by Markov’s inequality and (3.11) that
as \(R\rightarrow \infty \).
Now let \(\{\Gamma _n; n\in \mathbb {N}\}\) be a sequence of positive numbers such that \(\Gamma _n\rightarrow \infty \) as \(n\rightarrow \infty \). By straightforward calculation we deduce that
Using Markov’s inequality and (4.2) in the last inequality implies that
where \(C(T), \beta (R),\kappa _0\) are previously defined.
Note that \(\beta (R)\le C e^{2 CR}\) for any \(R>0\). Hence there exist positive constants \(C>0\) and C(T) such that for all \(n\in \mathbb {N}\) we have
Let \(\{\Gamma _n; n\in \mathbb {N}\}\) be a sequence such that \(\Gamma _n\rightarrow \infty \) as \(n\rightarrow \infty \) and
As \(n\rightarrow \infty \) we see that \(R(n)\rightarrow \infty \). Thus, since there exists \(c>0\) such that \(\log \left( \log (\Gamma _n)\right) \le c \Gamma _n\) for n large enough, it follows from (4.18) and (4.19) that
as \(n\rightarrow \infty \); this concludes the proof. \(\square \)
References
Barbato, D., Bessaih, H., Ferrario, B.: On a stochastic Leray-\(\alpha \) model of Euler equations. Stoch. Process. Appl. 124(1), 199–219 (2014)
Bensoussan, A.: Stochastic Navier–Stokes equations. Acta Appl. Math. 38, 267–304 (1995)
Bensoussan, A., Temam, R.: Equations Stochastiques du Type Navier–Stokes. J. Funct. Anal. 13, 195–222 (1973)
Brzeźniak, Z., Bessaih, H., Millet, M.: Splitting up method for the 2D stochastic Navier–Stokes equations. SPDEs Anal. Comput. 2(4), 433–470 (2014)
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., Peszat, S.: Strong local and global solutions for stochastic Navier–Stokes equations. Infinite Dimensional Stochastic Analysis (Amsterdam, 1999). Verh. Afd. Natuurkd. 1. Reeks. K. Ned. Akad. Wet., vol. 52, pp. 85–98. Royal Netherlands Academy of Arts and Sciences, Amsterdam (2000)
Caraballo, T., Márquez-Durán, A.M., Real, J.: Asymptotic behaviour of the three-dimensional \(\alpha \)-Navier–Stokes model with delays. J. Math. Anal. Appl. 340(1), 410–423 (2008)
Caraballo, T., Real, J., Taniguchi, T.: On the existence and uniqueness of solutions to stochastic three-dimensional Lagrangian averaged Navier–Stokes equations. Proc. R. Soc. Lond. Ser. A 462(2066), 459–479 (2006)
Cao, Y., Lunasin, E.M., Titi, E.S.: Global well-posedness of three-dimensional viscous and inviscid simplified Bardina turbulence models. Commun. Math. Sci. 4, 823–848 (2006)
Cao, Y., Titi, E.S.: On the rate of convergence of the two-dimensional \(\alpha \)-models of turbulence to the Navier–Stokes equations. Numer. Funct. Anal. Optim. 30(11–12), 1231–1271 (2009)
Chen, S., Foias, C., Holm, D.D., Olson, E., Titi, E.S., Wynne, S.: Camassa-Holm equations as a closure model for turbulent channel and pipe flow. Phys. Rev. Lett. 81, 5338–5341 (1998)
Chen, S., Foias, C., Holm, D.D., Olson, E., Titi, E.S., Wynne, S.: A connection between the Camassa-Holm equations and turbulent flows in channels and pipes. Phys. Fluid. 11, 2343–2353 (1999)
Chen, S., Foias, C., Holm, D.D., Olson, E., Titi, E.S., Wynne, S.: The Camassa-Holm equations and turbulence. Phys. D 133, 49–65 (1999)
Chen, S., Holm, D.D., Margolin, L.G., Zhang, R.: Direct numerical simulations of the Navier–Stokes alpha model. Phys. D 133, 66–83 (1999)
Chen, L., Guenther, R.B., Thomann, E.A., Waymire, E.C.: A rate of convergence for the LANS\(\alpha \) regularization of Navier–Stokes. J. Math. Anal. Appl. 348, 637–649 (2008)
Cheskidov, A., Holm, D.D., Olson, E., Titi, E.S.: On a Leray-\(\alpha \) model of turbulence. Roy. Soc. A 461, 629–649 (2005)
Chueshov, I., Kuksin, S.: Stochastic 3D Navier–Stokes equations in a thin domain and its \(\alpha \)-approximation. Phys. D 237(10–12), 1352–1367 (2008)
Chueshov, I., Millet, A.: Stochastic two-dimensional hydrodynamical systems: Wong-Zakai approximation and support theorem. Stoch. Anal. Appl. 29(4), 570–611 (2011)
Chueshov, I., Millet, A.: Stochastic 2D hydrodynamical type systems: well posedness and large deviations. Appl. Math. Optim. 61(3), 379–420 (2010)
Constantin, P., Foias, C.: Navier–Stokes Equations. The University of Chicago Press, Chicago (1988)
Deugoue, G., Sango, M.: Weak solutions to stochastic 3D Navier–Stokes-\(\alpha \) model of turbulence: \(\alpha \)-asymptotic behavior. J. Math. Anal. Appl. 384(1), 49–62 (2011)
Deugoue, G., Sango, M.: On the strong solution for the 3D Stochastic Leray-\(\alpha \) model. Bound. Value Probl. (2010). doi:10.1155/2010/723018
Deugoue, G., M. Sango, M.: On the stochastic 3D Navier–Stokes-\(\alpha \) model of fluids turbulence. Abstr. Appl. Anal. (2009)
Deugoué, G., Razafimandimby, P.A., Sango, M.: On the 3-D stochastic magnetohydrodynamic-\(\alpha \) model. Stoch. Process. Appl. 122(5), 2211–2248 (2013)
Flandoli, F., Gatarek, G.: Martingale and stationary solutions for stochastic Navier–Stokes equations. Probab. Theory Relat. Fields 102, 367–391 (1995)
Foias, C., Holm, D.D., Titi, E.S.: The Navier–Stokes-\(\alpha \) model of fluid turbulence. Phys. D 152, 505–519 (2001)
Foias, C., Holm, D.D., Titi, E.S.: The three dimensional viscous Camassa-Holm equations, and their relation to the Navier–Stokes equations and turbulence theory. J. Dyn. Differ. Equ. 14, 1–35 (2002)
Geurts, B., Holm, D.D.: Leray and LANS-\(\alpha \) modeling of turbulent mixing. J. Turbul. 7, 1–33 (2006)
Holm, D.D., Titi, E.S.: Computational models of turbulence: the LANS-\(\alpha \) model and the role of global analysis. SIAM News 38(7) (2005)
Ilyin, A., Lunasin, E.M., Titi, E.S.: A modified-Leray-\(\alpha \) subgrid scale model of turbulence. Nonlinearity 19, 879–897 (2006)
Layton, W., Lewandowski, R.: A high accuracy Leray-deconvolution model of turbulence and its limiting behavior. Anal. Appl. 6, 23–49 (2008)
Layton, W., Lewandowski, R.: On a well-posed turbulence model. Discret. Contin. Dyn. Syst. B 6, 111–128 (2006)
Leray, J.: Essai sur le mouvement d’un fluide viqueux remplissant l’espace. Acta Math. 63, 193–248 (1934)
Lunasin, E.M., Kurien, S., Titi, E.S.: Spectral scaling of the Leray-\(\alpha \) model for two-dimensional turbulence. J. Phys. A 41, 344014 (2008)
Lunasin, E.M., Kurien, S., Taylor, M., Titi, E.S.: A study of the Navier–Stokes-\(\alpha \) model for two-dimensional turbulence. J. Turbul. 8, 1–21 (2007)
Mikulevicius, R., Rozovskii, B.L.: Stochastic Navier–Stokes equations and turbulent flows. SIAM J. Math. Anal. 35(5), 1250–1310 (2004)
Mohseni, K., Kosović, B., Schkoller, S., Marsden, J.E.: Numerical simulations of the Lagrangian averaged Navier–Stokes equations for homogeneous isotropic turbulence. Phys. Fluid. 15, 524–544 (2003)
Nadiga, B., Skoller, S.: Enhancement of the inverse-cascade of energy in the two-dimensional Lagrangian-averaged Navier–Stokes equations. Phys. Fluid. 13, 1528–1531 (2001)
Printems, J.: On the discretization in time of parabolic stochastic partial differential equations. Math. Model. Numer. Anal. 35, 1055–1078 (2001)
Temam, R.: Navier–Stokes equations and nonlinear functional analysis, 2nd edn. In: CBMS-NSF Regional Conference Series in Applied Mathematics, 66. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA (1995)
Temam, R.: Navier–Stokes Equations. North-Holland, Amsterdam (1979)
Acknowledgments
Paul Razafimandimby’s research was funded by the FWF-Austrian Science Fund through the Project M1487. Hakima Bessaih was supported in part by the Simons Foundation Grant #283308 and the NSF Grants DMS-1416689 and DMS-1418838. The research on this paper was initiated during the visit of Paul Razafimandimby at University of Wyoming in November 2013 and was finished while Paul Razafimandimby and Hakima Bessaih were visiting KAUST. They are both very grateful to both institutions for the warm and kind hospitality and great scientific atmosphere.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bessaih, H., Razafimandimby, P.A. On the Rate of Convergence of the 2-D Stochastic Leray-\(\alpha \) Model to the 2-D Stochastic Navier–Stokes Equations with Multiplicative Noise. Appl Math Optim 74, 1–25 (2016). https://doi.org/10.1007/s00245-015-9303-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00245-015-9303-7
Keywords
- Navier–Stokes equations
- Leray-\(\alpha \) model
- Rate of convergence in mean square
- Rate of convergence in probability
- Turbulence models
- Navier–Stokes-\(\alpha \)