Abstract
The long time behavior of Wong–Zakai approximations of 2D as well as 3D non-autonomous stochastic convective Brinkman–Forchheimer (CBF) equations with non-linear diffusion terms on some bounded and unbounded domains is discussed in this work. To establish the existence of pullback random attractors, the concept of asymptotic compactness (AC) is used. In bounded domains, AC is proved via compact Sobolev embeddings. In unbounded domains, due to the lack of compact embeddings, the ideas of energy equations and uniform tail-estimates are exploited to prove AC. In the literature, CBF equations are also known as Navier–Stokes equations (NSE) with damping, and it is interesting to see that the modification in NSE by linear and nonlinear damping provides better results than that available for NSE in 2D and 3D. The presence of linear damping term helps to establish the results in the whole space \(\mathbb {R}^d\). The nonlinear damping term supports to obtain the results in 3D and to cover a large class of nonlinear diffusion terms also. In addition, we prove the existence of a unique pullback random attractor for stochastic CBF equations driven by additive white noise. Finally, for additive as well as multiplicative white noise cases, we establish the convergence of solutions and upper semicontinuity of pullback random attractors for Wong–Zakai approximations of stochastic CBF equations towards the pullback random attractors for stochastic CBF equations when the correlation time of colored noise converges to zero.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Literature Survey and Motivations
In this article, we are interested in the long time behavior of Wong–Zakai approximations of stochastic convective Brinkman–Forchheimer (CBF) equations with non-autonomous forcing term (deterministic term) and nonlinear diffusion term. The analysis of CBF equations gained its attention for the past few years as it is considered as a regularized model for the well-known Navier–Stokes equations (NSE), see [1, 26, 30, 43, 44], etc. This mathematical model describes the motion of incompressible fluid flows in a saturated porous medium (cf. [43]). The CBF equations apply to flows when the velocities are sufficiently high and porosities are not too small, that is, when the Darcy law for a porous medium does not hold. Due to the lack of Darcy’s law, it is sometimes referred as non-Darcy model also (cf. [43]). Given \(\mathfrak {s}\in \mathbb {R}\), we consider the non-autonomous stochastic CBF equations in \(\mathcal {O}\subseteq \mathbb {R}^d\ (d=2,3)\) as
where \(\varvec{u}(x,t): {\mathcal {O}}\times (\mathfrak {s},\infty )\rightarrow \mathbb {R}^d\) denotes the velocity field, \(p(x,t): \mathcal {O}\times (\mathfrak {s},\infty )\rightarrow \mathbb {R}\) represents the pressure field, \(\varvec{f}(x,t): \mathcal {O}\times (\mathfrak {s},\infty )\rightarrow \mathbb {R}^d\) is an external body force, \(S(t,x,\varvec{u})\) is a nonlinear diffusion term (cf. Sects. 3–5), the symbol \(\circ \) means that the stochastic integral should be understood in the sense of Stratonovich integral and \(\textrm{W}=\textrm{W}(t,\omega )\) is an one-dimensional two-sided Wiener process defined on a probability space \((\Omega ,\mathscr {F},\mathbb {P})\). Here \(\Omega \) is given by \( \Omega =\{\omega \in \textrm{C}(\mathbb {R};\mathbb {R}):\omega (0)=0\}, \) \(\mathscr {F}\) is the Borel sigma-algebra induced by the compact-open topology of \(\Omega \), and \(\mathbb {P}\) is the two-sided Gaussian measure on \((\Omega ,\mathscr {F})\). Consequently, \(\textrm{W}\) has a form \(\textrm{W}(t,\omega )=\omega (t)\). On \((\Omega ,\mathscr {F},\mathbb {P})\), consider Wiener shift operator \(\{\vartheta _{t}\}_{t\in \mathbb {R}}\) defined by
It is well-known from [2] that the Gaussian measure \(\mathbb {P}\) is ergodic and invariant for \(\vartheta _{t}\). Hence, \((\Omega ,\mathscr {F},\mathbb {P},\{\vartheta _{t}\}_{t\in \mathbb {R}})\) is a metric dynamical system (cf. [2]). Moreover, \(\varvec{u}(\cdot ,\cdot )\) satisfies: \(\varvec{u}={\textbf {0}}\ \text { on }\ \partial \mathcal {O}\times (\mathfrak {s},\infty )\ \text { or }\ |\varvec{u}(x,\mathfrak {s})|\rightarrow 0\ \ \text { as }\ \ |x|\rightarrow \infty ,\) when \(\mathcal {O}\subset \mathbb {R}^d\) with smooth boundary \(\partial \mathcal {O}\) or \(\mathcal {O}=\mathbb {R}^d\), respectively. The positive constants \(\mu ,\alpha , \beta >0\) are the Brinkman (effective viscosity), Darcy (permeability of porous medium) and Forchheimer (proportional to the porosity of the material) coefficients, respectively. The absorption exponent \(r\in [1,\infty )\), \(r=3\) is called the critical exponent and the model (1.1) with \(r>3\) is referred as CBF equations with fast growing nonlinearites ([30]). The system (1.1) is also known as damped NSE (cf. [27]) because it becomes classical NSE for \(\alpha =\beta =0\). Moreover, it is proved in [26] (cf. Proposition 1.1, [26]) that CBF equations ((1.1) with \(S(t,x,\varvec{u})={\textbf {0}}\)) have the same scaling as NSE only when \(r=3\) and \(\alpha =0\) but no scale invariance property for other values of \(\alpha \) and r, therefore it is sometimes called NSE modified by an absorption term ([1]) or tamed NSE ([50]).
A good number of works are available in the literature on the solvability results for the system (1.1) and related models (cf. [7, 39,40,41, 45, 51], etc.). In particular, 3D NSE with a Brinkman–Forchheimer type term subject to an anisotropic viscosity driven by multiplicative noise and stochastic tamed 3D NSE on the whole space is considered in [7, 51], respectively. An improvement of the work [51] for a slightly simplified system is done in [11]. On bounded domains, the existence of martingale solutions and strong solutions (in the probabilistic sense) for stochastic CBF equations are established in [39, 45], respectively. The existence of a unique pathwise strong solution to 3D stochastic NSE is a well-known open problem, and the same is open for 3D stochastic CBF equations with \(r\in [1,3)\) (cf. [45]) also. In the sequel, if we write \(r\in [1,3),\) then it indicates that the two-dimensional case is considered.
In [9, 16], authors introduced the concept of random attractors for stochastic partial differential equations (SPDEs) having compact random dynamical systems (RDS) and applied it to some fluid flow models including 2D stochastic NSE. Later, this concept is used to establish the existence of random attractors for several fluid flow models (cf. [20, 24, 34, 72] etc. and references therein). In unbounded domains, due to the absence of compact Sobolev embeddings, RDS are no more compact. In the deterministic case, the difficulty discussed above was resolved by different methods, see [4, 46, 52, 59], etc. for autonomous case and [12, 13, 37], etc. for non-autonomous case. For SPDEs, the methods available in the deterministic case have also been generalized by several authors (cf. [5, 6, 10, 60], etc.). The concept of an asymptotically compact cocycle was introduced in [12] and the authors proved the existence of attractors for 2D non-autonomous NSE. Later, several authors used this method to prove the existence of random attractors on unbounded domains, see for example [5, 6, 32, 60], etc. Two of the methods used to prove asymptotic compactness without Sobolev embeddings are as follows: the method of energy equations (cf. [23, 32, 61], etc.) and the method of uniform tail-estimates (cf. [59, 63, 67], etc.).
For the existence of a unique random attractor (dynamics of almost all sample paths), it is required to define RDS or random cocycle through the solution operator of the Eq. (1.1). To the best our knowledge, it is still an open problem to define RDS for (1.1), when \(S(t,x,\varvec{u})\) is a general nonlinear diffusion term. In this direction, when \(S(t,x,\varvec{u})\) is a nonlinear diffusion term, the concept of weak pullback mean random attractors was introduced in [64] and this theory was applied to several physical models (cf. [22, 35, 65] etc.). On the other hand, using random transformations, SPDEs can generate RDS for either \(S(t,x,\varvec{u})=\varvec{u}\) or \(S(t,x,\varvec{u})\) is independent of \(\varvec{u}\). Indeed, the existence of a unique random attractor for (1.1) is available for such \(S(t,x,\varvec{u})\) only (see [33, 34] for bounded domains and [32, 37] for unbounded domains).
1.2 Wong–Zakai Approximations of Stochastic CBF Eq. (1.1)
In [70, 71], Wong and Zakai introduced the concept of approximating stochastic differential equations (SDEs) by random differential equations, where they have approximated one-dimensional Brownian motion. Later, this work was extended to SDEs in higher dimensions, see for example [29, 31, 54] etc., and references therein. In particular, the Wong–Zakai approximations results for stochastic CBF equations on bounded domains have been studied in [36]. Due to the lack of differentiability of sample paths of Wiener process \(\textrm{W}(\cdot )\), the authors in [58, 69] first introduced the Ornstein–Uhlenbeck process (or colored noise) to approximate \(\textrm{W}(\cdot )\). The Wong–Zakai approximations (with the help of colored noise) can be used to analyze the pathwise random dynamics of (1.1) with nonlinear diffusion term. The approach through approximations obeys the well-known framework given by Wong and Zakai [70, 71]. Despite of analyzing the corresponding random versions of (1.1) acquired by random transformations, we will rather analyze a system obtained by the Wong–Zakai approximations of (1.1) with nonlinear diffusion term. With reference to the nonlinear diffusion term, the idea of Wong–Zakai approximations for pullback random attractors is used for a wide class of physically admissible models, see [24, 25, 42, 53, 72] etc., for bounded domains, [23, 48, 66, 67] etc., for unbounded domains and [68, 73] etc., for discrete systems.
Let us now consider the following random partial differential equations as Wong–Zakai approximations of (1.1) for \(\mathfrak {s}\in \mathbb {R}\) and \(\delta \in \mathbb {R}\backslash \{0\}\):
where \(\mathcal {Z}_{\delta }(\vartheta _{t}\omega )\) is defined in Lemma 2.12 below. Also, \(\varvec{u}(x,t)\) satisfies \(\varvec{u}={\textbf {0}}\) on \(\partial \mathcal {O}\times (\mathfrak {s},\infty )\) or \(\varvec{u}(x,\mathfrak {s})\rightarrow 0\) as \(|x|\rightarrow \infty ,\) when \(\mathcal {O}\subset \mathbb {R}^d\) with smooth boundary \(\partial \mathcal {O}\) or \(\mathcal {O}=\mathbb {R}^d\), respectively. Firstly, we establish the existence of pullback random attractors for the system (1.3) on bounded domains, the whole space \(\mathbb {R}^d\) and the unbounded Poincaré domain under the appropriate assumptions on nonlinear diffusion and non-autonomous forcing terms. Next, we prove the existence of pullback random attractors for the system (1.1) on the whole space when \(S(t,x,\varvec{u})\) is independent of \(\varvec{u}\) (additive noise case). From the work [37], we infer that there exists a unique pullback random attractor for the system (1.1) on the whole space when \(S(t,x,\varvec{u})=\varvec{u}\) (multiplicative noise case). Finally, for additive and multiplicative white noise cases we prove the upper semicontinuity of pullback random attractors for the system (1.3) towards the pullback random attractor of the system (1.1) when \(\delta \rightarrow 0\). In appendix, we discuss the existence of pullback random attractors for 2D random NSE on unbounded Poincaré domains (the system (1.3) with \(d=2\) and \(\alpha =\beta =0\), where \(\mathcal {O}\) is unbounded Poincaré domain).
1.3 Difficulties and Approaches
In bounded domains, as we are using compact Sobolev embeddings to get our required results, we assume that the nonlinear diffusion term \(S(t,x,\varvec{u})\) satisfies the following assumption (for the functional settings, refer to Sect. 2).
Assumption 1.1
We assume that the nonlinear diffusion term
where \((t,x,\varvec{u})\in \mathbb {R}\times \mathbb {R}^d\times \mathbb {V}\), \(\sigma \ge 0, \ \kappa \ge 0\) and \(\varvec{h}\in \mathbb {H}\). Also, \(\mathcal {S}:\mathbb {V}\rightarrow \mathbb {H}\) is a continuous function satisfying
where \(s_1,\ldots ,s_4\) are non-negative constants and \(s_5\in [0,1)\).
Example 1.2
Let us discuss an example for such a nonlinear diffusion term which satisfies the above conditions. Let \(\mathcal {S}:\mathbb {V}\rightarrow \mathbb {H}\) be a nonlinear operator defined by \(\mathcal {S}(\varvec{u})=\sin \varvec{u}+\textrm{B}({\textbf {g}}_1,\varvec{u})\) for all \(\varvec{u}\in \mathbb {V}\), where \({\textbf {g}}_1\in \textrm{D}(\textrm{A})\) is a fixed element and operator \(\textrm{B}\) is the bilinear operator defined in Sect. 2.4. It is easy to verify that \(\mathcal {S}\) satisfies (1.4)–(1.6) (cf. [24]).
Due to the absence of compact Sobolev embeddings in unbounded domains, we prove asymptotic compactness of RDS via method of energy equations (by [4]) or method of uniform tail-estimates (by [59]), which require a stronger assumption than Assumption 1.1 on \(S(t,x,\varvec{u})\). We observe that, in order to prove the results on some unbounded domains (\(\mathbb {R}^d\) or unbounded Poincaré domains), the assumptions on \(S(t,x,\varvec{u})\) which are required to use the method of energy equations and the method of uniform tail-estimates, are different and cover different classes of functions. Therefore we prove the results of this work using both the above discussed methods. In order to apply the method of energy equations, we need the following assumption on \(S(t,x,\varvec{u})\).
Assumption 1.3
We assume that the nonlinear diffusion term
where \((t,x,\varvec{u})\in \mathbb {R}\times \mathbb {R}^d\times \mathbb {V}\), \(\sigma \ge 0, \kappa \ge 0\) and \(\varvec{h}\in \mathbb {H}\). Also, \(\mathcal {S}:\mathbb {V}\rightarrow \mathbb {H}\) is a continuous function satisfying (1.4)–(1.5) and
Note that the condition (1.6) is much weaker than (1.7) and for \(s_3=s_4=0\) in (1.6), one can obtain (1.7).
Example 1.4
Let us discuss some examples for such nonlinear diffusion terms, which satisfy the above Assumption. Let \(\mathcal {S}:\mathbb {V}\rightarrow \mathbb {H}\) be a nonlinear operator defined by \(\mathcal {S}(\varvec{u})=\textrm{B}({\textbf {g}}_2,\varvec{u})\) for all \(\varvec{u}\in \mathbb {V}\), where \({\textbf {g}}_2\) is a fixed element of \(\textrm{D}(\textrm{A})\) and \(\mathcal {S}\) satisfies (1.4)–(1.5) and (1.7), see [8, 23]. Hence \(S(t,x,\varvec{u})=e^{\sigma t}\left[ \kappa {u}+\textrm{B}({\textbf {g}}_2,{u})+\varvec{h}(x)\right] \) satisfies Assumption 1.3 but not Assumption 1.5.
Note that \(\mathcal {S}(\varvec{u})=\textrm{B}({\textbf {g}}_2,\varvec{u})\) is a noise coefficient which is linear in \(\varvec{u}\). In this case, for \(S(t,x,\varvec{u})=e^{\sigma t}\big [\kappa \varvec{u}+\textrm{B}({\textbf {g}}_2,\varvec{u})+\varvec{h}(x)\big ]\), the existence of pullback random attractors for the stochastic equations (1.1) is unknown. But as we will prove in this paper, the random equations (1.3) have a unique tempered pullback random attractor in \(\mathbb {H}\).
It is worth mentioning here that this kind of noise has a physical background as well (see [8]). For example, in the classical derivation of NSE, the crucial point is the computation of the material derivative \(\frac{\textrm{D}\varvec{u}}{\textrm{D}t}\), which gives NSE of the form
where \(\nu >0\) is the kinematic viscosity. The material derivative results from considering the acceleration of the fluid particle whose position will be denoted by X(t), that is,
and
Since, in the context of random perturbations, X(t) should be treated as a stochastic process satisfying the following SDE:
where \(\varvec{b}(\cdot )\) is a given vector field which is independent of the white noise. Therefore, the stochastic material derivative is computed as follows:
Observe that the noise coefficient is nothing but \((\varvec{b}\cdot \nabla )\varvec{u}\) which satisfies Assumption 1.3.
In order to apply the method of uniform tail-estimates while working on the whole space \(\mathbb {R}^3\), we need the following assumption on \(S(\cdot ,\cdot ,\cdot )\).
Assumption 1.5
Let \(S:\mathbb {R}\times \mathbb {R}^3\times \mathbb {R}^3\rightarrow \mathbb {R}^3\) be a continuous function such that for all \(t\in \mathbb {R}\) and \(x,y\in \mathbb {R}^3\),
with \(1\le q<\min \{6,r+1\}\), \(\mathcal {S}_1\in \textrm{L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{\frac{r+1}{r+1-q}}(\mathbb {R}^3)\cap \mathbb {L}^{\frac{6(r+1)}{3r+5-2q}}(\mathbb {R}^3)\cap \mathbb {L}^{\frac{6}{6-q}}(\mathbb {R}^3))\) and \(\mathcal {S}_2\in \textrm{L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{2}(\mathbb {R}^3)\cap \dot{\mathbb {H}}^{-1}(\mathbb {R}^3))\). Furthermore, we assume that S(t, x, y) is locally Lipschitz continuous with respect to the third variable.
Example 1.6
Let us discuss some examples for such nonlinear diffusion terms, which satisfy the above Assumption.
-
1.
Take \(S(t,x,\varvec{u})=\mathcal {S}_1(t,x)|\varvec{u}|\), where \(\mathcal {S}_1\in \mathbb {L}^{\frac{r+1}{r-1}}(\mathbb {R}^3)\cap \mathbb {L}^{\frac{6(r+1)}{3r+1}}(\mathbb {R}^3)\cap \mathbb {L}^{\frac{3}{2}}(\mathbb {R}^3)\) for \(r>1\).
-
2.
Take \(S(t,x,\varvec{u})=\mathcal {S}_1(t,x)\sin (\varvec{u})\) which satisfies Assumption 1.5 for \(q=1\). Then we have
$$\begin{aligned} |S(t,x,y)|\le |\mathcal {S}_1(t,x)|. \end{aligned}$$(1.9)As the left hand side of (1.9) is independent of y, we can consider \(\mathcal {S}_1\in \textrm{L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{2}(\mathbb {R}^3)\cap \dot{\mathbb {H}}^{-1}(\mathbb {R}^3))\) for \(r\ge 1\).
Hence \(S(t,x,\varvec{u})\) satisfies Assumption 1.5 but not Assumption 1.3.
Let \(\mathcal {O}\subset \mathbb {R}^d\) \((d=2,3)\) be a domain satisfying the following assumption:
Assumption 1.7
Let \(\mathcal {O}\) be an open and connected subset of \(\mathbb {R}^d\) \((d=2,3)\), the boundary of which is uniformly of class \(\textrm{C}^3\) (cf. [28]). For the domain \(\mathcal {O}\), we also assume that, there exists a positive constant \(\lambda \) such that the following Poincaré inequality is satisfied:
Remark 1.8
A domain in which Poincaré inequality is satisfied, we call it as a Poincaré domain (cf. [57, p. 306] and [49, p. 117]). It can be easily seen that if \(\mathcal {O}\) is bounded in some direction, then the Poincaré inequality holds. For example, in two-dimensions, if \(x=(x_1,x_2)\in \mathbb {R}^2\), then one can take \(\mathcal {O}\) is included in a region of the form \(0<x_1<L\).
In order to apply the method of uniform tail-estimates while working on a Poincaré domain \(\mathcal {O}\) satisfying Assumption 1.7, we consider the following assumption on \(S(\cdot ,\cdot ,\cdot )\):
Assumption 1.9
Let \(\mathcal {O}\subset \mathbb {R}^d\) satisfies Assumption 1.7. Let \(S:\mathbb {R}\times \mathcal {O}\times \mathbb {R}^d\rightarrow \mathbb {R}^d\) be a continuous function such that for all \(t\in \mathbb {R}\), \(x\in \mathcal {O}\) and \(y\in \mathbb {R}^d\),
with \(1\le q<r+1\), where \(\mathcal {S}_1\in \textrm{L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{\frac{r+1}{r+1-q}}(\mathcal {O}))\), \(\mathcal {S}_2\in \textrm{L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{\frac{r+1}{r}}(\mathcal {O}))\). Furthermore, we assume that S(t, x, y) is locally Lipschitz continuous with respect to the third variable.
Remark 1.10
Similar functions in Example 1.6 will work for Assumption 1.9 also. One can consider \(\mathcal {S}_2\in \textrm{L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{2}(\mathcal {O}))\) instead of \(\mathcal {S}_2\in \textrm{L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{\frac{r+1}{r}}(\mathcal {O}))\) in Assumption 1.9.
The Examples 1.4 and 1.6 show that Assumptions 1.3 and 1.5 (or Assumption 1.9) cover different classes of functions.
When we use the idea of uniform tail-estimates to obtain the asymptotic compactness of RDS associated with (1.3), we use a cut-off technique to prove that solutions to (1.3) are sufficiently small in \(\mathbb {L}^2(\mathcal {O}^c_k)\) when k is large enough, where \(\mathcal {O}_{k}=\{x\in \mathbb {\mathbb {R}}^d:|x|\le k\}\) and \(\mathcal {O}^{c}_{k}=\mathbb {R}^d\setminus \mathcal {O}_{k}\). Unlike the parabolic or hyperbolic equations considered in [59, 66, 67], etc., the fluid equations like (1.1) (NSE also) contain the pressure term p as well. When we derive these uniform tail-estimates using cut-off technique, the pressure p does not vanish simply. However, by taking the divergence in (1.1) and using the incompressibility condition, we obtain a rigorous expression of the pressure term
in the weak sense, which is the most difficult term to handle in an appropriate way. Then it is possible to obtain these uniform tail-estimates with the help of the continuous embedding \(\dot{\mathbb {H}}^{1}(\mathbb {R}^3)\hookrightarrow \mathbb {L}^{6}(\mathbb {R}^3)\) of the homogeneous Sobolev spaces in the whole space \(\mathbb {R}^3\) (see Remark 2.4 below). Since there is no such embedding available in the case of \(\mathbb {R}^2\), we are not able to prove the existence of pullback random attractors of (1.1) under Assumption 1.5. Moreover, we observe that if we restrict ourselves to the Poincaré domain \(\mathcal {O}\), we can prove the existence of pullback random attractors under a more general assumption than Assumption 1.5 (see Assumption 1.9). It is also remarked that we are not able to use the idea of energy equations to prove the asymptotic compactness under Assumptions 1.5 or 1.9.
It is well-known that passing limit in nonlinear terms is not an easy task in any analysis. In this work, while proving the pullback asymptotic compactness of solutions of the system (6.1) (Lemma 6.8) or establishing the uniform compactness of random attractors of the system (6.2) (Lemma 6.14) via energy equations method, it is necessary to show the convergence of the nonlinear terms appearing in the corresponding energy equations. In our model, we have two nonlinear terms given by \((\varvec{u}\cdot \nabla )\varvec{u}\) and \(\beta |\varvec{u}|^{r-1}\varvec{u}\). The required convergence is obtained by breaking down the integral containing nonlinear terms into two parts such that one part is defined in a bounded domain \(\mathcal {O}_k\) with radius k, and another part is defined in the complement of \(\mathcal {O}_k\). We then show that the nonlinear term is convergent in \(\mathcal {O}_k\) and its tail on the complement of \(\mathcal {O}_k\) is uniformly small when k is sufficiently large, from which the required convergence follows (see Corollaries 6.5 and 6.6 for handling the terms \((\varvec{u}\cdot \nabla )\varvec{u}\) and \(\beta |\varvec{u}|^{r-1}\varvec{u}\), respectively).
1.4 Aims and Novelties of the Work
The major aims and novelties of this work are:
-
(i)
Existence of a unique pullback random attractor for the system (1.3) under Assumption 1.1on bounded domains for the following three cases:
-
(ii)
Existence of a unique pullback random attractor for the system (1.3) under Assumption 1.3on the whole space for three cases given in Table 1.
-
(iii)
Existence of a unique pullback random attractor for the system (1.3) under Assumption 1.5on the whole space \(\mathbb {R}^3\) for the two cases given in Table 1for \(d=3\) including \(d=r=3\) with \(2\beta \mu =1\).
-
(iv)
Existence of a unique pullback random attractor for the system (1.3) under Assumption 1.9on the Poincaré domain \(\mathcal {O}\subset \mathbb {R}^d\) satisfying Assumption 1.7for the three cases given in Table 1including \(d=r=3\) with \(2\beta \mu =1\).
-
(v)
Existence of a unique pullback random attractor for the system (1.1) with \(S(t,x,\varvec{u})=e^{\sigma t}{} {\textbf {g}}(x)\), for given \(\sigma \ge 0\) and \({\textbf {g}}\in \textrm{D}(\textrm{A})\) (additive white noise) on the whole space for the three cases given in Table 1including \(d=r=3\) with \(2\beta \mu =1\) and excluding \(d=2\) with \(r=1\). Moreover, for \(S(t,x,\varvec{u})=e^{\sigma t}{} {\textbf {g}}(x)\), we demonstrate the convergence of solutions and upper semicontinuity of pullback random attractors for (1.3) towards the pullback random attractor for (1.1) as \(\delta \rightarrow 0\).
-
(vi)
For \(S(t,x,\varvec{u})=\varvec{u}\), convergence of solutions and upper semicontinuity of pullback random attractors for (1.3) towards the pullback random attractor for (1.1) as \(\delta \rightarrow 0\) for the three cases given in Table 1including \(d=r=3\) with \(2\beta \mu =1\).
-
(vii)
Existence of a unique pullback random attractor of the system (1.3) in two dimensions with \(\alpha =\beta =0\) (cf. 2D random NSE (A.1) below) under Assumption 1.9for \(r=1\) on Poincaré domains.
As it is discussed earlier that Assumptions 1.3 and 1.5 (or Assumption 1.9) cover different class of functions (cf. Examples 1.4 and 1.6). Moreover, both assumptions need different types of treatment to establish the results of this work. We use method of energy equations and method of uniform tail-estimates under Assumptions 1.3 and 1.5 (or Assumption 1.9), respectively. Also, note that the existence of pullback random attractors for the random NSE (system (1.3) when \(\alpha =\beta =0\)) with Assumption 1.9 for \(r=1\) on \(S(t,x,\varvec{u})\), has not been considered in the literature till now due to the difficulty in estimating the pressure term
which we resolve here.
1.5 Advantages of Damping Term
CBF equations are also known as NSE with damping (cf. [27]). The damping arises from the resistance to the motion of the flow or by friction effects. Due to the presence of the damping term \(\alpha \varvec{u}+\beta |\varvec{u}|^{r-1}\varvec{u}\), we are able to establish better results than which are available for NSE. In particular, in this work, linear damping \(\alpha \varvec{u}\) helps us to obtain results on the whole space and the nonlinear damping \(\beta |\varvec{u}|^{r-1}\varvec{u}\) (for \(r>1\)) helps us to cover a large class of nonlinearity on \(S(t,x,\varvec{u})\) (see Sect. 4.2). The authors in [23] established the existence of a unique pullback random attractor for 2D NSE on Poincaré domains with \(S(t,x,\varvec{u})=e^{\sigma t}{} {\textbf {g}}(x)\), for given \(\sigma >0\) and \({\textbf {g}}\in \textrm{D}(\textrm{A})\), based on the following assumption on \({\textbf {g}}(\cdot )\):
Assumption 1.11
(cf. Section 3, [23]) Assume that the function \({\textbf {g}}(\cdot )\) satisfies the following condition: there exists a strictly positive constant \(\aleph \) such that
We also point out that the requirement of Assumption 1.11 is not necessary for \(r>1\) (\({\textbf {g}}\in \textrm{D}(\textrm{A})\) is enough). For \(r=1\), one gets linear damping, and the existence of a random attractors for the system (6.1) and upper semicontinuity of random attractors for the system (6.2) can be proved on the whole space via same arguments as it has been done for 2D stochastic NSE on Poincaré domains in [23] under Assumption 1.11. For \(r>1\), due to the presence of nonlinear damping term \(\beta |\varvec{u}|^{r-1}\varvec{u}\), we provide a different treatment to avoid Assumption 1.11 on \({\textbf {g}}\) (cf. Lemma 6.4).
1.6 Outline
The remaining sections are organized as follows. In the next section, we provide the necessary function spaces required to establish the results of this work, and we define linear operator, bilinear operator and nonlinear operator to obtain an abstract formulation of the system (1.3). Furthermore, we recall some well-known inequalities, properties of operators, and some properties of white and colored noises. Finally, we discuss the solvability of the system (1.3) in the same section. In Sect. 3, we prove the existence of a unique pullback random attractor for the system (1.3) under Assumption 1.1 on bounded domains (cf. Theorem 3.9) in which we prove the pullback asymptotic compactness using compact Sobolev embeddings (cf. Lemma 3.6). In Sect. 4, we prove the existence of a unique pullback random attractor for the system (1.3) under Assumptions 1.3 (for \(\mathbb {R}^2\) and \(\mathbb {R}^3\)) and 1.5 (for \(\mathbb {R}^3\) only) on the whole space (cf. Theorems 4.5 and 4.15) in which we prove the pullback asymptotic compactness using the idea of energy equations and asymptotic compactness, for Assumptions 1.3 and 1.5, respectively (cf. Lemmas 4.3 and 4.14). In Sect. 5, we prove the existence of a unique pullback random attractor for the system (1.3) under Assumptions 1.9 on Poincaré domains (cf. Theorem 5.3) in which we prove the pullback asymptotic compactness using the idea of uniform tail-estimates. Section 6 is devoted for the stochastic CBF equations (1.1) perturbed by additive white noise (that is, when \(S(t,x,\varvec{u})=e^{\sigma t}{} {\textbf {g}}(x)\) with given \(\sigma >0\) and \({\textbf {g}}\in \textrm{D}(\textrm{A})\)). Firstly, we prove the existence of a unique pullback random attractor for stochastic CBF equations driven by additive white noise (cf. Theorem 6.9). Next, we demonstrate the convergence of solutions and upper semicontinuity of pullback random attractors for Wong–Zakai approximations of stochastic CBF equations towards the solution and the pullback random attractor of stochastic CBF equations, respectively, as the correlation time \(\delta \) converges to zero, using the fundamental theory introduced in [62] (cf. Lemma 6.12 and Theorem 6.15, respectively). Since the existence of a unique pullback random attractor for stochastic CBF equations driven by linear multiplicative noise is established in [37], we prove only the convergence of solutions and upper semicontinuity of pullback random attractors for its Wong–Zakai approximations towards its solution and pullback random attractor, respectively, as the correlation time \(\delta \rightarrow 0\) (cf. Lemma 7.3 and Theorem 7.5, respectively) in Sect. 7. In Appendix A, we establish the existence of a unique pullback random attractor for the system (A.1) under Assumption A.1 on Poincaré domains (bounded or unbounded) (Theorem A.4).
2 Mathematical Formulation
In this section, first we provide the necessary function spaces needed to obtain the results of this work. Next, we define some operators to set up an abstract formulation. Finally, we recall some properties of white noise as well as colored noise. We fix \(\mathcal {O}\) as either a bounded subset of \(\mathbb {R}^d\) with \(\textrm{C}^2\)-boundary or the whole space \(\mathbb {R}^d\) or unbounded Poincaré domain \(\mathcal {O}\subset \mathbb {R}^d\) with \(\textrm{C}^3\)-boundary.
2.1 Function Spaces
We define the space \(\mathcal {V}:=\{\varvec{u}\in \textrm{C}_0^{\infty }(\mathcal {O};\mathbb {R}^d):\nabla \cdot \varvec{u}=0\},\) where \(\textrm{C}_0^{\infty }(\mathcal {O};\mathbb {R}^d)\) denotes the space of all infinite times differentiable functions (\(\mathbb {R}^d\)-valued) with compact support in \(\mathbb {R}^d\). Let \(\mathbb {H}\), \(\mathbb {V}\) and \(\widetilde{\mathbb {L}}^p\) denote the completion of \(\mathcal {V}\) in \(\textrm{L}^2(\mathcal {O};\mathbb {R}^d)\), \(\textrm{H}^1(\mathcal {O};\mathbb {R}^d)\) and \(\textrm{L}^p(\mathcal {O};\mathbb {R}^d)\), \(p\in (2,\infty )\), norms, respectively. The space \(\mathbb {H}\) is endowed with the norm \(\Vert \varvec{u}\Vert _{\mathbb {H}}^2:=\int _{\mathcal {O}}|\varvec{u}(x)|^2\textrm{d}x,\) the norm on the space \(\widetilde{\mathbb {L}}^{p}\) is defined by \(\Vert \varvec{u}\Vert _{\widetilde{\mathbb {L}}^p}^p:=\int _{\mathcal {O}}|\varvec{u}(x)|^p\textrm{d}x,\) for \(p\in (2,\infty )\) and the norm on the space \(\mathbb {V}\) is given by \(\Vert \varvec{u}\Vert ^2_{\mathbb {V}}=\int _{\mathcal {O}}|\varvec{u}(x)|^2\textrm{d}x+\int _{\mathcal {O}}|\nabla \varvec{u}(x)|^2\textrm{d}x.\) The inner product in the Hilbert space \(\mathbb {H}\) is denoted by \(( \cdot , \cdot )\). The duality pairing between the spaces \(\mathbb {V}\) and \(\mathbb {V}'\), and \(\widetilde{\mathbb {L}}^p\) and its dual \(\widetilde{\mathbb {L}}^{\frac{p}{p-1}}\) is represented by \(\langle \cdot ,\cdot \rangle .\) It should be noted that \(\mathbb {H}\) can be identified with its own dual \(\mathbb {H}'\). We endow the space \(\mathbb {V}\cap \widetilde{\mathbb {L}}^{p}\) with the norm \(\Vert \varvec{u}\Vert _{\mathbb {V}}+\Vert \varvec{u}\Vert _{\widetilde{\mathbb {L}}^{p}},\) for \(\varvec{u}\in \mathbb {V}\cap \widetilde{\mathbb {L}}^p\) and its dual \(\mathbb {V}'+\widetilde{\mathbb {L}}^{p'}\) (cf. [19, Subsection 2.1]) with the norm
Moreover, we have the following continuous embedding also:
One can define equivalent norms on \(\mathbb {V}\cap {\widetilde{\mathbb {L}}}^{p}\) and \(\mathbb {V}'+{\widetilde{\mathbb {L}}}^{\frac{p}{p-1}}\) as (cf. [19, Subsection 2.1])
Remark 2.1
It is remarkable that the norms \(\int _{\mathcal {O}}\left[ |\varvec{u}(x)|^2+|\nabla \varvec{u}(x)|^2\right] \textrm{d}x\) and \(\int _{\mathcal {O}}|\nabla \varvec{u}(x)|^2\textrm{d}x\) are equivalent on the space \(\mathbb {V}\) if the Poincaré inequality (1.10) satisfied.
Let us provide some useful definition and results which hold on the whole space \(\mathbb {R}^d\) and we use them in the sequel.
Definition 2.2
([3, Definition 1.31]) Let \(s\in \mathbb {R}\). The homogeneous Sobolev space \(\dot{\mathbb {H}}^{s}(\mathbb {R}^d)\) is the space of tempered distributions \(\varvec{v}\) over \(\mathbb {R}^d\), the Fourier transform of which belongs to \(\mathbb {L}^1_{\textrm{loc}}(\mathbb {R}^d)\) and satisfies
Theorem 2.3
([3, Theorem 1.38]) If \(s\in [0,\frac{d}{2})\), then the space \(\dot{\mathbb {H}}^{s}(\mathbb {R}^d)\) is continuously embedded in \(\mathbb {L}^{\frac{2d}{d-2s}}(\mathbb {R}^d)\).
Remark 2.4
For \(d=3\) and \(s=1\), we have the embedding \(\dot{\mathbb {H}}^{1}(\mathbb {R}^3)\hookrightarrow \mathbb {L}^{6}(\mathbb {R}^3)\) is continuous. This implies that the embedding of the dual spaces \(\mathbb {L}^{\frac{6}{5}}(\mathbb {R}^3)\hookrightarrow \dot{\mathbb {H}}^{-1}(\mathbb {R}^3)\) is continuous.
2.2 Projection Operator
Let \(\mathcal {P}_\mathcal {P}: \mathbb {L}^\mathcal {P}(\mathcal {O}) \rightarrow \widetilde{\mathbb {L}}^\mathcal {P}\) be the Helmholtz–Hodge (or Leray) projection (cf. [21, 47], etc.). For \(p=2\), \(\mathcal {P}:=\mathcal {P}_2\) becomes an orthogonal projection ([38]) and for \(2<p<\infty \), it is a bounded linear operator.
2.3 Linear Operator
We define the Stokes operator
where \(\mathbb {H}^2(\mathcal {O}):=\textrm{H}^2(\mathcal {O};\mathbb {R}^d)\) is the second order Sobolev space.
Remark 2.5
\({\textbf {Case\ I:}}\) When \(\mathcal {O}\) is a bounded subset of \(\mathbb {R}^d\) with \(\textrm{C}^2\)-boundary. Since \(\mathcal {O}\) has \(\textrm{C}^2\)-boundary, \(\mathcal {P}\) maps \(\mathbb {H}^1(\mathcal {O})\) into itself (cf. Remark 1.6, [55]).
\({\textbf {Case\ II:}}\) When \(\mathcal {O}=\mathbb {R}^d\). The projection operator \(\mathcal {P}:\mathbb {L}^2(\mathbb {R}^d) \rightarrow \mathbb {H}\) can be expressed in terms of the Riesz transform (cf. [47]). Moreover, \(\mathcal {P}\) and \(\Delta \) commutes, that is, \(\mathcal {P}\Delta =\Delta \mathcal {P}\).
\({\textbf {Case\ III:}}\) When \(\mathcal {O}\subset \mathbb {R}^d\) satisfying Assumption 1.7. Since the boundary of \(\mathcal {O}\) is uniformly of class \(\textrm{C}^3\), we infer that \(\textrm{D}(\textrm{A})=\mathbb {V}\cap \mathbb {H}^2(\mathcal {O})\) and \(\Vert \textrm{A}\varvec{u}\Vert _{\mathbb {H}}\) defines a norm in \(\textrm{D}(\textrm{A}),\) which is equivalent to the one in \(\mathbb {H}^2(\mathcal {O})\) (cf. [28, Lemma 1]). Above argument implies that \(\mathcal {P}:\mathbb {H}^2(\mathcal {O})\rightarrow \mathbb {H}^2(\mathcal {O})\) is a bounded operator.
2.4 Bilinear Operator
Let us define the trilinear form \(b(\cdot ,\cdot ,\cdot ):\mathbb {V}\times \mathbb {V}\times \mathbb {V}\rightarrow \mathbb {R}\) by
If \(\varvec{u}, \varvec{v}\) are such that the linear map \(b(\varvec{u}, \varvec{v}, \cdot ) \) is continuous on \(\mathbb {V}\), the corresponding element of \(\mathbb {V}'\) is denoted by \(\textrm{B}(\varvec{u}, \varvec{v})\). We also denote \(\textrm{B}(\varvec{u}) = \textrm{B}(\varvec{u}, \varvec{u})=\mathcal {P}[(\varvec{u}\cdot \nabla )\varvec{u}]\). An integration by parts gives
Remark 2.6
The following estimate on \(b(\cdot ,\cdot ,\cdot )\) is helpful in the sequel (cf. [56, Chapter 2, Section 2.3]). For all \(\varvec{u}, \varvec{v}, \varvec{w}\in \mathbb {V}\),
Remark 2.7
Note that \(\langle \textrm{B}(\varvec{v},\varvec{u}-\varvec{v}),\varvec{u}-\varvec{v}\rangle =0\) and it implies that
2.5 Nonlinear Operator
Consider the nonlinear operator \(\mathcal {C}(\varvec{u}):=\mathcal {P}(|\varvec{u}|^{r-1}\varvec{u})\). It is immediate that \(\langle \mathcal {C}(\varvec{u}),\varvec{u}\rangle =\Vert \varvec{u}\Vert _{\widetilde{\mathbb {L}}^{r+1}}^{r+1}\) and the map \(\mathcal {C}(\cdot ):\mathbb {V}\cap \widetilde{\mathbb {L}}^{r+1}\rightarrow \mathbb {V}'+\widetilde{\mathbb {L}}^{\frac{r+1}{r}}\). For all \(\varvec{u}\in \widetilde{\mathbb {L}}^{r+1}\), the map is Gateaux differentiable with Gateaux derivative
for all \(\varvec{v}\in \mathbb {V}\cap \widetilde{\mathbb {L}}^{r+1}\). Moreover, for any \(r\in [1, \infty )\) and \(\varvec{u}_{{\varvec{1}}}, \varvec{u}_{{\varvec{2}}} \in \mathbb {V}\cap \widetilde{\mathbb {L}}^{r+1}\), we have (cf. [45, Subsection 2.4])
Remark 2.8
Since \(\mathcal {P}\) and \(\Delta \) commute on the whole space, we deduce
2.6 Inequalities
The following inequalities are frequently used in the paper.
Lemma 2.9
(Hölder’s inequality) Assume that \(\frac{1}{p}+\frac{1}{p'}=1\) with \(1\le p,p'\le \infty \), \(\varvec{u}_{{\varvec{1}}}\in \mathbb {L}^{p}(\mathcal {O})\) and \(\varvec{u}_{{\varvec{2}}}\in \mathbb {L}^{p'}(\mathcal {O})\). Then we get \(\varvec{u}_{{\varvec{1}}}\varvec{u}_{{\varvec{2}}}\in \mathbb {L}^1(\mathcal {O})\) and
Lemma 2.10
(Interpolation inequality) Assume \(1\le p_1\le p\le p_2\le \infty \), \(\theta \in (0,1)\) such that \(\frac{1}{p}=\frac{a}{p_1}+\frac{1-a}{p_2}\) and \(\varvec{u}\in \mathbb {L}^{p_1}(\mathcal {O})\cap \mathbb {L}^{p_2}(\mathcal {O})\), then we have
Lemma 2.11
(Young’s inequality) For all \(a,b,\varepsilon >0\) and for all \(1<p,p'<\infty \) with \(\frac{1}{p}+\frac{1}{p'}=1\), we obtain
2.7 White Noise and Colored Noise
In this subsection, we recall some properties of white and colored noises.
Lemma 2.12
(Lemma 2.1, [23]) Assume that the correlation time \(\delta \in (0,1]\). There exists a \(\{\vartheta _t\}_{t\in \mathbb {R}}\)-invariant subset \(\widetilde{\Omega }\subseteq \Omega \) of full measure, such that for \(\omega \in \widetilde{\Omega }\),
-
(i)
$$\begin{aligned} \lim \limits _{t\rightarrow \pm \infty }\frac{|\omega (t)|}{|t|}=0; \end{aligned}$$(2.7)
-
(ii)
the mapping
$$\begin{aligned} (t,\omega )\mapsto \mathcal {Z}_{\delta }(\vartheta _t\omega )=-\frac{1}{\delta ^2}\int _{-\infty }^{0}e^{\frac{\xi }{\delta }}\vartheta _t\omega (\xi )\textrm{d}\xi \end{aligned}$$(2.8)is a stationary solution (also called a colored noise or an Ornstein–Uhlenbeck process) of one-dimensional stochastic differential equation
with continuous trajectories satisfying
$$\begin{aligned}&\lim \limits _{t\rightarrow \pm \infty }\frac{\left| \mathcal {Z}_{\delta }(\vartheta _t\omega )\right| }{|t|}=0,\quad \text { for every } 0<\delta \le 1, \end{aligned}$$(2.9)$$\begin{aligned}&\lim \limits _{t\rightarrow \pm \infty }\frac{1}{t}\int _0^t\mathcal {Z}_{\delta }(\vartheta _{\xi }\omega )\textrm{d}\xi =\mathbb {E}[\mathcal {Z}_{\delta }]=0, \quad \text { uniformly for } 0<\delta \le 1; \end{aligned}$$(2.10)
and
-
(iii)
for arbitrary \(T>0,\)
$$\begin{aligned} \lim _{\delta \rightarrow 0}\int _{0}^{t}\mathcal {Z}_{\delta }(\vartheta _{\xi }\omega )\textrm{d}\xi =\omega (t) \ \text { uniformly for } \ t\in [\mathfrak {s},\mathfrak {s}+T]. \end{aligned}$$(2.11)
Remark 2.13
For convenience, we use \(\Omega \) itself in place of \(\widetilde{\Omega }\) throughout the work.
2.8 Abstract Formulation
In this subsection, we describe an abstract formulation and solution of (1.3). Taking orthogonal projection \(\mathcal {P}\) to the first equation of (1.3), we obtain
Strictly speaking, one has to write \(\mathcal {P}\varvec{f}\) for \(\varvec{f}\) and \(\mathcal {P}S(t,x,\varvec{u})\) for \(S(t,x,\varvec{u})\) in (2.12).
Definition 2.14
Let us assume that \(\mathfrak {s}\in \mathbb {R},\) \( \omega \in \Omega ,\) \( \varvec{u}_{\mathfrak {s}}\in \mathbb {H}\), \({\varvec{f}}\in \text {L}^2_{loc }(\mathbb {R};\mathbb {V}')\), \(T>0\) be any fixed time. Then, the function \(\varvec{u}(\cdot ;\mathfrak {s},\omega ,\varvec{u}_{\mathfrak {s}}):=\varvec{u}(\cdot )\) is called a solution (in the weak sense) of the system (2.12) on time interval \([\mathfrak {s},\mathfrak {s}+T]\), if
with \( \partial _t\varvec{u}\in \textrm{L}^{2}(\mathfrak {s},\mathfrak {s}+T;\mathbb {V}')+\textrm{L}^{\frac{r+1}{r}}(\mathfrak {s},\mathfrak {s}+T;\widetilde{\mathbb {L}}^{\frac{r+1}{r}})\) satisfying:
-
(i)
for any \(\psi \in \mathbb {V}\cap \widetilde{\mathbb {L}}^{r+1},\)
$$\begin{aligned} (\varvec{u}(t), \psi )&= (\varvec{u}_{\mathfrak {s}}, \psi ) - \mu \int \limits _{\mathfrak {s}}^{\mathfrak {s}+T}(\nabla \varvec{u}(\xi ),\nabla \psi )\textrm{d}\xi -\int \limits _{\mathfrak {s}}^{\mathfrak {s}+T}b(\varvec{u}(\xi ),\varvec{u}(\xi ),\psi )\textrm{d}\xi \\&\quad -\,\alpha \int \limits _{\mathfrak {s}}^{\mathfrak {s}+T}(\varvec{u}(\xi ),\psi )\textrm{d}\xi \\&\quad -\,\beta \int \limits _{\mathfrak {s}}^{\mathfrak {s}+T}\left\langle |\varvec{u}(\xi )|^{r-1}\varvec{u}(\xi ) +\varvec{f}(\xi ) , \psi \right\rangle \textrm{d}\xi + \int \limits _{\mathfrak {s}}^{\mathfrak {s}+T}\langle S(\xi ,x,\varvec{u}(s))\mathcal {Z}_{\delta }(\vartheta _{\xi }\omega ), \psi \rangle \textrm{d}\xi , \end{aligned}$$for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T]\),
-
(ii)
the initial data is satisfied in the following sense:
$$\begin{aligned} \lim \limits _{t\downarrow \mathfrak {s}}\int _{\mathcal {O}}\varvec{u}(t,x)\psi (x)\textrm{d}x=\int _{\mathcal {O}}\varvec{u}_{\mathfrak {s}}(x)\psi (x)\textrm{d}x, \end{aligned}$$for all \(\psi \in \mathbb {H}\).
By a standard Faedo–Galerkin method (cf. [44, 45, 51]), one can obtain that if any one of Assumptions 1.1 (with \(\varvec{f}{\in }\textrm{L}^2_{\text {loc}}(\mathbb {R};\mathbb {V}')\)), 1.3 (with \(\varvec{f}{\in }\textrm{L}^2_{\text {loc}}(\mathbb {R};\mathbb {V}')\)), 1.5 (with \(\varvec{f}{\in }\textrm{L}^2_{\text {loc}}(\mathbb {R};\mathbb {H})\)), 1.9 (with \(\varvec{f}{\in } \textrm{L}^2_{\text {loc}}(\mathbb {R};\mathbb {H})\)) is fulfilled. Then for all \(t>\mathfrak {s}, \ \mathfrak {s}{\in }\mathbb {R},\) and for every \(\varvec{u}_{\mathfrak {s}}\in \mathbb {H}\) and \(\omega \in \Omega \), (2.12) has a unique solution in the sense of Definition 2.14. In addition, it follows from [14, Chapter II, Theorem 1.8] that \(\varvec{u}\in \textrm{C}([\mathfrak {s},\mathfrak {s}+T];\mathbb {H})\) which gives that \(\varvec{u}\) satisfies the energy equality:
for all \(t\in [\mathfrak {s},\mathfrak {s}+T]\). Furthermore, \(\varvec{u}(t;\mathfrak {s},\omega ,\varvec{u}_{\mathfrak {s}})\) is continuous with respect to the initial data \(\varvec{u}_{\mathfrak {s}}\) (cf. Lemmas 3.4, 4.1 and 4.9) and \((\mathscr {F},\mathscr {B}(\mathbb {H}))\)-measurable in \(\omega \in \Omega .\)
Now, we define a cocycle \(\Phi :\mathbb {R}^+\times \mathbb {R}\times \Omega \times \mathbb {H}\rightarrow \mathbb {H}\) for the system (2.12) such that for given \(t\in \mathbb {R}^+, \mathfrak {s}\in \mathbb {R}, \omega \in \Omega \) and \(\varvec{u}_{\mathfrak {s}}\in \mathbb {H}\), let
Then \(\Phi \) is a continuous cocycle on \(\mathbb {H}\) over \((\Omega ,\mathscr {F},\mathbb {P},\{\vartheta _{t}\}_{t\in \mathbb {R}})\), where \(\{\vartheta _t\}_{t\in \mathbb {R}}\) is given by (1.2), that is,
Assume that \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R},\omega \in \Omega \}\) is a family of non-empty subsets of \(\mathbb {H}\) satisfying, for every \(c>0, \mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
where \(\Vert D\Vert _{\mathbb {H}}=\sup \limits _{\varvec{x}\in D}\Vert \varvec{x}\Vert _{\mathbb {H}}.\) Let \(\mathfrak {D}\) be the collection of all tempered families of bounded non-empty subsets of \(\mathbb {H}\), that is,
3 Pullback Random Attractors for Wong–Zakai Approximations: Bounded Domain
In this section, we prove the existence of a unique \(\mathfrak {D}\)-pullback random attractor for the system (2.12) on bounded domains with nonlinear diffusion term \(S(t,x,\varvec{u})\) satisfying Assumption 1.1. Throughout the section, we assume that \(\mathcal {O}\) is a bounded subset of \(\mathbb {R}^d\) with \(\textrm{C}^2\)-boundary. In the sequel, the following assumptions are needed on the non-autonomous external forcing term \(\varvec{f}\).
Assumption 3.1
For the external forcing term \(\varvec{f}\in \textrm{L}^{2}_{\textrm{loc}}(\mathbb {R};\mathbb {V}')\), there exists a number \(\gamma \in [0,\alpha )\) such that for every \(c>0\),
A direct consequence of the above Assumption 3.1 is as follows.
Proposition 3.2
(Proposition 4.2, [37]) Assume that Assumption 3.1 holds. Then
where \(\gamma \) is the same as in (3.1).
Example 3.3
Take \(\varvec{f}(\cdot ,t)=t^{p}\varvec{f}_1\), for any \(p\ge 0\) and \(\varvec{f}_1\in \mathbb {H}\). Note that the conditions (3.2)–(3.1) do not need \(\varvec{f}\) to be bounded in \(\mathbb {H}\) at \(\pm \infty \).
Lemma 3.4
For all the cases given in Table 1, let Assumptions 1.1 and 3.1 be satisfied. Then, the solution of (2.12) is continuous in the initial data \(\varvec{u}_{\mathfrak {s}}.\)
Proof
Let \(\varvec{u}_{{\varvec{1}}}(\cdot )\) and \(\varvec{u}_{{\varvec{2}}}(\cdot )\) be two solutions of (2.12). Then \(\mathfrak {X}(\cdot )=\varvec{u}_{{\varvec{1}}}(\cdot )-\varvec{u}_{{\varvec{2}}}(\cdot )\) with \(\mathfrak {X}|_{t=\mathfrak {s}}=\varvec{u}_{{\varvec{1}}}|_{t=\mathfrak {s}}-\varvec{u}_{{\varvec{2}}}|_{t=\mathfrak {s}}\) satisfies
in \(\mathbb {V}'+\widetilde{\mathbb {L}}^{\frac{r+1}{r}}\), for a.e. \(t\in [0,T]\). Taking the inner product with \(\mathfrak {X}(\cdot )\) to the first equation in (3.3), we obtain
for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T] \text { with } T>0\). By (1.5), we get
Case I: When \(d=2\) and \(r\ge 1\). Using (2.2), (2.3) and Lemma 2.11, we obtain
and from (2.5), we have
Making use of (3.5)–(3.7) in (3.4), we get
for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T]\) and an application of Gronwall’s inequality completes the proof.
Case II: When \(d= 3\) and \(r>3\). The nonlinear term \(|(\textrm{B}(\mathfrak {X},\mathfrak {X}),\varvec{u}_{{\varvec{2}}})|\) is estimated using Lemmas 2.9 and 2.11 as
Combining (3.4), (3.5), (3.7) and (3.8), we complete the proof using Gronwall’s inequality.
Case III: When \(d=3\) and \(r=3\) with \(2\beta \mu >1\). Since \(2\beta \mu >1\), there exists \(0<\theta <1\) such that
Using (2.2) and (2.3), we have
where \(\theta \) is the same as in (3.9). Again by (1.5), we obtain
Using (3.7), (3.10) and (3.11) in (3.4) and applying Gronwall’s inequality, one can conclude the proof. \(\square \)
Next result supports us to show the existence of \(\mathfrak {D}\)-pullback random absorbing set for continuous cocycle \(\Phi \).
Lemma 3.5
Let all the assumptions of Lemma 3.4 be satisfied. Then for every \(0<\delta \le 1\), \(\mathfrak {s}\in \mathbb {R},\) \( \omega \in \Omega \) and \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D},\) there exists \(\mathcal {T}=\mathcal {T}(\delta , \mathfrak {s}, \omega , D)>0\) such that for all \(t\ge \mathcal {T}\) and \(\tau \ge \mathfrak {s}-t\), the solution \(\varvec{u}\) of the system (2.12) with \(\omega \) replaced by \(\vartheta _{-\mathfrak {s}}\omega \) satisfies
where \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\), \(s_6=\frac{2}{\alpha }\Vert \varvec{h}\Vert ^2_{\mathbb {H}}\), \(s_7=s_4(1-s_5)\left[ \frac{4s_4(1+s_5)}{\min \{\mu ,\alpha \}}\right] ^{\frac{1+s_5}{1-s_5}}\) and, \(s_3, s_4\) and \(s_5\) are the constants appearing in (1.6).
Proof
From the first equation of the system (2.12), we obtain
where we have used (2.1), (1.6), Lemmas 2.9 and 2.11, and the constants \(s_6=\frac{2}{\alpha }\Vert \varvec{h}\Vert ^2_{\mathbb {H}}\) and \(s_7=s_4(1-s_5)\left[ \frac{4s_4(1+s_5)}{\min \{\mu ,\alpha \}}\right] ^{\frac{1+s_5}{1-s_5}}\). We rewrite (3.13) as
Making use of variation of constant formula in (3.14), replacing \(\omega \) by \(\vartheta _{-\mathfrak {s}}\omega \) and using change of variable technique, we get
Now, we need to estimate each term on the right hand side of (3.15). Depending on \(\sigma \), there are two possible cases.
Case I: When \(\sigma =0\). By (2.10), we have
Since \(\gamma <\alpha \) (see Assumption 3.1), from (3.16), we infer that there exists \(\xi _0=\xi _0(\delta ,\omega )<0\) such that for all \(\xi \le \xi _0\),
Taking (3.2) and (3.17) into account, we obtain
and similarly from (2.9) and (3.17), we get
Case II: When \(\sigma >0\). From (2.9), we get
therefore, there exists \(\zeta _0=\zeta _0(\mathfrak {s},\delta ,\omega )<0\) such that for all \(\zeta \le \zeta _0\),
and similarly by (2.9) and (3.20), it is easy to obtain
It follows from (3.18)–(3.19) and (3.21)–(3.22) that for any \(\sigma \ge 0\),
Finally, since \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(D\in \mathfrak {D}\), making use of (3.17) and (3.20), we have for \(\sigma \ge 0\),
as \(t\rightarrow \infty \), there exists \(\mathcal {T}=\mathcal {T}(\delta ,\mathfrak {s},\omega ,D)>0\) such that for all \(t\ge \mathcal {T}\),
From (3.15) along with (3.23)–(3.24), one can conclude the proof. \(\square \)
Now, we prove \(\mathfrak {D}\)-pullback asymptotic compactness using compact Sobolev embeddings on bounded domains in the next lemma.
Lemma 3.6
Let all the assumptions of Lemma 3.4 be satisfied. Then for every \(0<\delta \le 1, \omega \in \Omega , \mathfrak {s}\in \mathbb {R}\) and \(t>\mathfrak {s}\), the solution \(\varvec{u}(t;\mathfrak {s},\omega ,\cdot ):\mathbb {H}\rightarrow \mathbb {H}\) is compact, that is, for every bounded set B in \(\mathbb {H}\), the image \(\varvec{u}(t;\mathfrak {s},\omega ,B)\) is precompact in \(\mathbb {H}\).
Proof
Consider the solution \(\varvec{u}(\tau ;\mathfrak {s},\omega ,\cdot )\) of (2.12) for \(\tau \in [\mathfrak {s},\mathfrak {s}+T]\), where \(T>0\). Assume that the sequence \(\{\varvec{u}_{0,n}\}_{n\in \mathbb {N}}\subset B\). We know that (see the proof of Lemma 3.5)
From (1.4) along with (3.25), we obtain
We also have
and
It follows from (3.25)–(3.28) and (2.12) that
Since \(\textrm{L}^2(\mathfrak {s},\mathfrak {s}+T;\mathbb {V}')+\textrm{L}^{\frac{r+1}{r}}(\mathfrak {s},\mathfrak {s}+T;\widetilde{\mathbb {L}}^{\frac{r+1}{r}})\subset \textrm{L}^{\frac{r+1}{r}}(\mathfrak {s},\mathfrak {s}+T;\mathbb {V}'+\widetilde{\mathbb {L}}^{\frac{r+1}{r}})\), the above sequence is bounded in \(\textrm{L}^{\frac{r+1}{r}}(\mathfrak {s},\mathfrak {s}+T;\mathbb {V}'+\widetilde{\mathbb {L}}^{\frac{r+1}{r}})\). Note also that \(\mathbb {V}\cap \widetilde{\mathbb {L}}^{\frac{r+1}{r}}\subset \mathbb {V}\subset \mathbb {H}\subset \mathbb {V}'\subset \mathbb {V}'+\widetilde{\mathbb {L}}^{\frac{r+1}{r}}\) and the embedding of \(\mathbb {V}\subset \mathbb {H}\) is compact. By the Aubin-Lions compactness lemma, there exists a subsequence (keeping as it is) and \(\varvec{v}\in \textrm{L}^2(\mathfrak {s},\mathfrak {s}+T;\mathbb {H})\) such that
Along a further subsequence (again not relabeling), we infer from (3.29) that
Since \(\mathfrak {s}<t<\mathfrak {s}+T\), we obtain from (3.30) that there exists \(\tau \in (\mathfrak {s},t)\) such that (3.30) holds true for this particular \(\tau \). Then by Lemma 3.4, we obtain
which completes the proof. \(\square \)
In fact, Lemma 3.6 helps us to prove the \(\mathfrak {D}\)-pullback asymptotic compactness of \(\Phi \) in \(\mathbb {H}\) on bounded domains.
Corollary 3.7
Let all the assumptions of Lemma 3.4 be satisfied. Then for every \(0<\delta \le 1\), \(\mathfrak {s}\in \mathbb {R},\) \(\omega \in \Omega ,\) \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R},\omega \in \Omega \}\in \mathfrak {D}\) and \(t_n\rightarrow \infty ,\) \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), the sequence \(\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\) of solutions of the system (2.12) has a convergent subsequence in \(\mathbb {H}\).
Proof
From Lemma 3.5 with \(\tau =\mathfrak {s}-1\), we have that there exists \(\mathcal {T}=\mathcal {T}(\delta ,\mathfrak {s},\omega ,D)>0\) such that for all \(t\ge \mathcal {T}\) and \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t, \vartheta _{-t}\omega )\),
Since \(t_n\rightarrow \infty \) and \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), from (3.31), we infer that there exists \(N_1=N(\delta ,\mathfrak {s},\omega ,D)>0\) such that
Hence, by (3.32) and Lemma 3.6, we conclude that the sequence
has a convergent subsequence in \(\mathbb {H}\), which completes the proof. \(\square \)
3.1 Existence of a Unique \(\mathfrak {D}\)-pullback Random Attractor
In this subsection, we start with the result on the existence of a \(\mathfrak {D}\)-pullback random absorbing set in \(\mathbb {H}\) for the non-autonomous RDS associated with the system (2.12). Then, we prove the main result of this section, that is, the existence of a unique \(\mathfrak {D}\)-pullback random attractor for the non-autonomous RDS associated with the system (2.12).
Lemma 3.8
Under the assumptions of Lemma 3.4, there exists a closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\mathcal {K}=\{\mathcal {K}(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D}\) for the continuous cocycle \(\Phi \) associated with the system (2.12).
Proof
Let us denote, for given \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \), \(\mathcal {K}(\mathfrak {s},\omega )=\{\varvec{u}\in \mathbb {H}:\Vert \varvec{u}\Vert ^2_{\mathbb {H}}\le \mathcal {L}(\mathfrak {s},\omega )\}\) where
Since \(\mathcal {L}(\mathfrak {s},\cdot ):\Omega \rightarrow \mathbb {R}\) is \((\mathscr {F},\mathscr {B}(\mathbb {R}))\)-measurable for every \(\mathfrak {s}\in \mathbb {R}\), \(\mathcal {K}(\mathfrak {s},\cdot ):\Omega \rightarrow 2^{\mathbb {H}}\) is a measurable set-valued mapping. Furthermore, we have from Lemma 3.5 that for each \(\mathfrak {s}\in \mathbb {R}\), \(\omega \in \Omega \) and \(D\in \mathfrak {D}\), there exists \(\mathcal {T}=\mathcal {T}(\delta ,\mathfrak {s},\omega ,D)>0\) such that for all \(t\ge \mathcal {T}\),
Now, in order to complete the proof, we only need to prove that \(\mathcal {K}\in \mathfrak {D}\), that is, for every \(c>0\), \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \)
For every \(c>0\), \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
Taking into account of (2.7)–(2.8) and following the same steps applied in the proof of Lemma 2.6, [23], we obtain that there exists a \(\mathcal {T}_1=\mathcal {T}_1(\omega )>0\) such that for \(\xi \le 0\), \(\sigma >0\), \(\kappa >0\), \(0<\delta \le 1\) with \(\sigma \delta \ne 1\) and \(t\le -\mathcal {T}_1\),
where \(c_0=\min \left\{ \alpha -\gamma ,\frac{c}{4\kappa }\right\} \).
Let \(c_1=\min \left\{ \frac{c}{2},\gamma +\sigma \right\} .\) It implies from (3.34) to (3.35) that, \(\sigma >0\), \(\kappa >0\), \(0<\delta \le 1\) with \(\sigma \delta \ne 1\) and \(t\le -\mathcal {T}_1\),
Using (2.9), one can easily find that
Taking (3.1) and (3.37) into account, along with (3.36), we find that \( \lim _{t\rightarrow -\infty }e^{ct}\Vert \mathcal {K}(\mathfrak {s} +t,\vartheta _{t}\omega )\Vert ^2_{\mathbb {H}}=0. \) Also, in the case when \(\sigma =0\) or \(\kappa =0\) or \(\sigma \delta =1\), the above convergence holds true. In fact, in these particular cases, the proof is easier. \(\square \)
Theorem 3.9
Under the assumptions of Lemma 3.4, there exists a unique \(\mathfrak {D}\)-pullback random attractor \(\mathscr {A}=\{\mathscr {A}(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D},\) for the continuous cocycle \(\Phi \) associated with the system (2.12) in \(\mathbb {H}\).
Proof
The proof follows from Corollary 3.7 (\(\mathfrak {D}\)-pullback asymptotic compactness of \(\Phi \)), Lemma 3.8 (existence of \(\mathfrak {D}\)-pullback random absorbing set) and the abstract theory given in [63, Theorem 2.23]. \(\square \)
4 Pullback Random Attractors for Wong–Zakai Approximations: The Whole space \(\mathbb {R}^d\)
In this section, we prove the existence of a unique \(\mathfrak {D}\)-pullback random attractor for the system (2.12) on the whole space with nonlinear diffusion term \(S(\cdot ,\cdot ,\cdot )\) satisfying either Assumptions 1.3 or 1.5.
4.1 Pullback Random Attractors Under Assumption 1.3
Let us fix \(\mathcal {O}=\mathbb {R}^d\). In this subsection, we prove the existence of a unique \(\mathfrak {D}\)-pullback random attractor under Assumptions 1.3 and 3.1 on the deterministic non-autonomous forcing term \(\varvec{f}(\cdot ,\cdot )\) and the nonlinear diffusion term \(S(\cdot ,\cdot ,\cdot )\), respectively.
Lemma 4.1
For all the cases given in Table 1, let Assumptions 1.3 and 3.1 be satisfied. Then, the solution of (2.12) is continuous in the initial data \(\varvec{u}_{\mathfrak {s}}.\)
Proof
See the proof of Lemma 3.4. \(\square \)
4.1.1 Uniform Estimates and \(\mathfrak {D}\)-pullback Asymptotic Compactness of Solutions
We start by proving uniform estimates for the solutions of (2.12). In order to prove the asymptotic compactness, the method of energy equations was introduced in [4]. Due to the lack of compact Sobolev embeddings in unbounded domains, we prove \(\mathfrak {D}\)-pullback asymptotic compactness of solutions of the system (2.12) on unbounded domains using the idea given in [4]. The following lemma is a particular case of Lemma 3.5.
Lemma 4.2
Let all the assumptions of Lemma 4.1 be satisfied. Then, for every \(0<\delta \le 1\), \(\mathfrak {s}\in \mathbb {R},\) \( \omega \in \Omega \) and \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D},\) there exists \(\mathcal {T}=\mathcal {T}(\delta , \mathfrak {s}, \omega , D)>0\) such that for all \(t\ge \mathcal {T}\) and \(\tau \ge \mathfrak {s}-t\), the solution \(\varvec{u}\) of the system (2.12) with \(\omega \) replaced by \(\vartheta _{-\mathfrak {s}}\omega \) satisfies
where \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(s_6=\frac{2}{\alpha }\Vert \varvec{h}\Vert ^2_{\mathbb {H}}\).
Proof
When \(s_3=s_4=0\), Assumptions (1.7) and (1.6) are the same. Hence, the proof is immediate from Lemma 3.5 by putting \(s_3=s_4=0\). \(\square \)
Now, we establish the \(\mathfrak {D}\)-pullback asymptotic compactness of the solutions of the system (2.12).
Lemma 4.3
Let all the assumptions of Lemma 4.1 be satisfied. Then for every \(0<\delta \le 1\), \(\mathfrak {s}\in \mathbb {R},\) \(\omega \in \Omega ,\) \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R},\omega \in \Omega \}\in \mathfrak {D}\) and \(t_n\rightarrow \infty ,\) \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), the sequence \(\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\) of solutions of the system (2.12) has a convergent subsequence in \(\mathbb {H}\).
Proof
It follows from Lemma 4.2 with \(\tau =\mathfrak {s}\) that there exists \(\mathcal {T}=\mathcal {T}(\delta ,\mathfrak {s},\omega ,D)>0\) such that for all \(t\ge \mathcal {T}\),
where \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega ).\) Since \(t_n\rightarrow \infty \), there exists \(N_0\in \mathbb {N}\) such that \(t_n\ge \mathcal {T}\) for all \(n\ge N_0\). As, it is given that \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), (4.2) implies that for all \(n\ge N_0\),
and hence \(\{\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\}_{n\ge N_0}\subseteq \mathbb {H}\) is a bounded sequence, which implies that there exists \(\tilde{\varvec{u}}\in \mathbb {H}\) and a subsequence (keeping the same label) such that
By the weak lower semicontinuous property of norms and (4.3), we get
In order to get the desired result, we have to prove that \(\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\rightarrow \tilde{\varvec{u}}\) in \(\mathbb {H}\) strongly, that is, we only need to show that
The method of energy equations introduced in [4] will help us to prove (4.5). Applying similar arguments as in [37, Theorem 3.4 and Lemma 5.4] (we are not repeating the calculations here), one can obtain (4.5), which completes the proof. \(\square \)
4.1.2 Existence of \(\mathfrak {D}\)-pullback Random Attractors
Here, we start with the proof of the existence of \(\mathfrak {D}\)-pullback random absorbing set in \(\mathbb {H}\) for the system (2.12). Finally, we prove the main result of this subsection, that is, the existence of a unique \(\mathfrak {D}\)-pullback random attractor for the system (2.12).
Lemma 4.4
Under the assumptions of Lemma 4.1, there exists a closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\widetilde{\mathcal {K}}=\{\widetilde{\mathcal {K}}(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D}\) for the continuous cocycle \(\Phi \) associated with the system (2.12).
Proof
When \(s_3=s_4=0\), assumptions (1.7) and (1.6) are the same. Hence, the proof is same as the proof of Lemma 3.8 by putting \(s_3=s_4=0\). \(\square \)
Now, we are able to provide the main results of this section.
Theorem 4.5
Under the assumptions of Lemma 4.1, there exists a unique \(\mathfrak {D}\)-pullback random attractor \(\widetilde{\mathscr {A}}=\{\widetilde{\mathscr {A}}(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D},\) for the the continuous cocycle \(\Phi \) associated with the system (2.12) in \(\mathbb {H}\).
Proof
The proof follows from Lemma 4.3 (\(\mathfrak {D}\)-pullback asymptotic compactness of \(\Phi \)), Lemma 4.4 (existence of \(\mathfrak {D}\)-pullback random absorbing set) and the abstract theory given in [63, Theorem 2.23]. \(\square \)
Remark 4.6
It is remarkable to note that if we replace (1.5) by
then we can also include the case \(2\beta \mu =1\) for \(d=r=3\) in Lemma 3.4 and hence our main result of Sect. 3 and this subsection, that is, Theorems 3.9 and 4.5 hold true for the case \(d=r=3\) with \(2\beta \mu =1\) also.
4.2 Pullback random attractors under Assumption 1.5
Let us fix \(\mathcal {O}=\mathbb {R}^3\). In this subsection, we prove the existence of a unique \(\mathfrak {D}\)-pullback random attractor under Assumption 1.5 on nonlinear diffusion term \(S(\cdot ,\cdot ,\cdot )\).
In order to prove the results of this subsection, we need the following assumption on non-autonomous forcing term \(\varvec{f}(\cdot ,\cdot )\).
Assumption 4.7
The external forcing term \(\varvec{f}\in \textrm{L}^{2}_{\textrm{loc}}(\mathbb {R};\mathbb {H})\) which satisfies
for every \(c>0\), where \(\alpha >0\) is the Darcy coefficient. We also assume that following integration should be finite:
where \(\alpha >0\) is the Darcy coefficient.
Remark 4.8
The following consequence of (4.7) use in the sequel:
where \(\alpha >0\) is the Darcy coefficient.
Lemma 4.9
For both the cases given in Table 1 for \(d=3\) including \(d=r=3\) with \(2\beta \mu =1\), let Assumptions 1.5 and 4.7 be satisfied. Then, the solution of (2.12) is continuous in the initial data \(\varvec{u}_{\mathfrak {s}}.\)
Proof
Let \(\varvec{u}_{1}(\cdot )\) and \(\varvec{u}_{2}(\cdot )\) be two solutions of (2.12), then \(\mathfrak {X}(\cdot )=\varvec{u}_{1}(\cdot )-\varvec{u}_{2}(\cdot )\) with \(\mathfrak {X}|_{t=\mathfrak {s}}=\varvec{u}_{1}|_{t=\mathfrak {s}}-\varvec{u}_{2}|_{t=\mathfrak {s}}\) satisfies
in \(\mathbb {V}'+\widetilde{\mathbb {L}}^{\frac{r+1}{r}}\). Taking the inner product with \(\mathfrak {X}(\cdot )\) to the Eq. (3.3), we obtain
for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T] \text { with } T>0\). By the locally Lipschitz continuity of the nonlinear diffusion term (cf. Assumption 1.5), we get
From (2.5), we have
The nonlinear term \(\left| \left\langle \textrm{B}\big (\varvec{u}_1\big )-\textrm{B}\big (\varvec{u}_2\big ), \mathfrak {X}\right\rangle \right| \) can be estimated using (2.3), Lemmas 2.9 and 2.11 as
Combining (4.10)–(4.13), we get for \(r\ge 3\) (\(r>3\) with any \(\beta ,\mu >0\) and \(r=3\) with \(2\beta \mu \ge 1\)),
Hence, we conclude the proof by applying Gronwall’s inequality to (4.14). \(\square \)
Next, we prove the existence of \(\mathfrak {D}\)-pullback random absorbing set for continuous cocycle \(\Phi \).
Lemma 4.10
Let all the assumptions of Lemma 4.9 be satisfied. Then for every \(0<\delta \le 1\), \(\mathfrak {s}\in \mathbb {R},\) \( \omega \in \Omega \) and \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D},\) there exists \(\mathscr {T}=\mathscr {T}(\delta , \mathfrak {s}, \omega , D)>0\) such that for all \(t\ge \mathscr {T}\) and \(\tau \in [\mathfrak {s}-1,\mathfrak {s}]\), the solution \(\varvec{u}\) of the system (2.12) with \(\omega \) replaced by \(\vartheta _{-\mathfrak {s}}\omega \) satisfies
where \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(\widetilde{M}\) is a positive constant independent of \(\tau , \mathfrak {s}, \omega \) and D. Moreover, for \(2<k<\infty \), there exists \(\widehat{\mathscr {T}}=\widehat{\mathscr {T}}(\delta ,\mathfrak {s}, \omega , D,k)>0\) such that for all \(t\ge \widehat{\mathscr {T}}\) and \(\tau \in [\mathfrak {s}-1,\mathfrak {s}]\), the solution \(\varvec{u}\) of the system (2.12) with \(\omega \) replaced by \(\vartheta _{-\mathfrak {s}}\omega \) satisfies
where \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(\widehat{M}\) is a positive constant independent of \(\tau , \mathfrak {s}, \omega \) and D.
Finally, for \(\mathfrak {s}\in \mathbb {R}\) and \(t>0\), we obtain
and
Proof
From the first equation of the system (2.12), we obtain
where we have used (2.1), (1.8), Lemmas 2.9 and 2.11, and \(M_1, M_2\) and \(M_3\) are positive constants independent of \(\mathfrak {s},\tau , \omega \) and D. From (4.19), we find
Applying variation of constant formula to (4.20) and replacing \(\omega \) by \(\vartheta _{-\mathfrak {s}}\omega \), we have
where \(M_4\) is a positive constant independent of \(\tau , \mathfrak {s}, \omega \) and D. Second term of the right hand side of (4.21) is finite due to (2.9) and (4.7). Since \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(D\in \mathfrak {D}\), we have
as \(t\rightarrow \infty \), so that there exists \(\mathscr {T}=\mathscr {T}(\delta ,\mathfrak {s},\omega ,D)>0\) such that for all \(t\ge \mathscr {T}\),
From (4.21) along with (4.23), we obtain (4.15). Furthermore, from (4.21), we get for any \(2<k<\infty \),
Second term of the right hand side of (4.24) is finite due to (2.9) and (4.7). Since \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(D\in \mathfrak {D}\), from (4.22), we have that there exists \(\widehat{\mathscr {T}}=\widehat{\mathscr {T}}(\delta ,\mathfrak {s},\omega ,D,k)>0\) such that for all \(t\ge \widehat{\mathscr {T}}\),
which along with (4.24) completes the proof of (4.16).
Our next aim is to prove the (4.17). From the Gagliardo-Nirenberg-Sobolev inequality (Theorem 1, Section 5.6.1, [17]), we have
Using Lemmas 2.9 and 2.11, we obtain
From the first equation of the system (2.12), we obtain for some \(M_4,M_5, M_6>0\)
where we have used the equality (2.6), condition (1.8) of Assumption 1.5, (4.25), and Lemmas 2.9 and 2.11.
Combing (4.25)–(4.27), for \(\varvec{u}(\zeta ):=\varvec{u}(\zeta ;\mathfrak {s}-t,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{\mathfrak {s}-t})\), we reach at
for a.e. \(\zeta >\mathfrak {s}-t\), which implies that
for a.e. \(\zeta \ge \mathfrak {s}-t\). We know that
From (4.29) and (4.30), we infer
where we have used (4.21) which completes the proof of (4.17).
Our final aim is to establish the inequality (4.18). In view of the variation of constants formula with respect to \(\zeta \in (\xi _1,\xi )\) with \(s-t<\xi _1\le \xi \le s\), we find from (4.28)
Integrating (4.32) from \(s-t\) to \(\xi \) with respect to \(\xi _1\) and using (4.21), we obtain
Now from (4.33), we estimate
Since
using (2.9) and the temperedness property of \(\varvec{u}_{\mathfrak {s}-t}\), we deduce (4.18), as required. \(\square \)
Lemma 4.11
Under the assumptions of Lemma 4.9, the continuous cocycle \(\Phi \) associated with the system (2.12) possesses a closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\widehat{\mathcal {K}}\in \mathfrak {D}\) defined for each \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \) by \( \widehat{\mathcal {K}}(\mathfrak {s},\omega )=\{\varvec{u}\in \mathbb {H}:\Vert \varvec{u}\Vert ^2_{\mathbb {H}}\le \widehat{\mathcal {L}}(\mathfrak {s},\omega )\}, \) where
with \(\widetilde{M}\) appearing in (4.15).
Proof
Since \(\widehat{\mathcal {L}}(\mathfrak {s},\cdot ):\Omega \rightarrow \mathbb {R}\) is \((\mathscr {F},\mathscr {B}(\mathbb {R}))\)-measurable for every \(\mathfrak {s}\in \mathbb {R}\), \(\widehat{\mathcal {K}}(\mathfrak {s},\cdot ):\Omega \rightarrow 2^{\mathbb {H}}\) is a measurable set-valued mapping. Moreover, we have from Lemma 4.10 that for each \(\mathfrak {s}\in \mathbb {R}\), \(\omega \in \Omega \) and \(D\in \mathfrak {D}\), there exists \(\mathscr {T}=\mathscr {T}(\delta ,\mathfrak {s},\omega ,D)>0\) such that for all \(t\ge \mathscr {T}\),
It only remains to show that \(\widehat{\mathcal {K}}\in \mathfrak {D}\), that is, for every \(c>0\), \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \) \(\lim \limits _{t\rightarrow -\infty }e^{ct}\Vert \widehat{\mathcal {K}}(\mathfrak {s} +t,\vartheta _{t}\omega )\Vert ^2_{\mathbb {H}}=0.\) For every \(c>0\), \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
Let \(c_2=\min \{c,\alpha \}.\) Consider,
where we have used the fact that \(\int _{-\infty }^{0}e^{c_2\xi }\left[ \left| \mathcal {Z}_{\delta }(\vartheta _{\xi }\omega )\right| ^{\frac{r+1}{r+1-q}}+\left| \mathcal {Z}_{\delta }(\vartheta _{\xi }\omega )\right| ^{2}\right] \textrm{d}\xi <\infty \) due to (2.9). Hence (4.6), (4.36) and (4.37) imply \( \lim \limits _{t\rightarrow -\infty }e^{ct}\Vert \widehat{\mathcal {K}}(\mathfrak {s} +t,\vartheta _{t}\omega )\Vert ^2_{\mathbb {H}}=0,\) as required. \(\square \)
Next lemma plays a pivotal role to prove the \(\mathfrak {D}\)-pullback asymptotic compactness of \(\Phi \) (see Lemma 4.14 below).
Lemma 4.12
Let all the assumptions of Lemma 4.9 be satisfied. Then, for any \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega ),\) where \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D}\), and for any \(\eta >0\), \(\mathfrak {s}\in \mathbb {R}\), \(\omega \in \Omega \) and \(0<\delta \le 1\), there exists \(\mathscr {T}^*=\mathscr {T}^*(\delta ,\mathfrak {s},\omega ,D,\eta )\ge 1\) and \(P^*=P^*(\delta ,\mathfrak {s},\omega ,\eta )>0\) such that for all \(t\ge \mathscr {T}^*\) and \(\tau \in [\mathfrak {s}-1,\mathfrak {s}]\), the solution of (2.12) with \(\omega \) replaced by \(\vartheta _{-\mathfrak {s}}\omega \) satisfy
Proof
Let \(\Psi \) be a smooth function such that \(0\le \Psi (s)\le 1\) for \(s\in \mathbb {R}^+\) and
Then, there exists a positive constant C such that \(|\Psi '(s)|\le C,\) for all \(s\in \mathbb {R}^+\). Formally, taking divergence to the first equation of (1.3), we obtain
which implies that
in the weak sense. Taking the inner product of the first equation of (1.3) with \(\Psi \left( \frac{|x|^2}{k^2}\right) \varvec{u}\) in \(\textrm{L}^2(\mathbb {R}^3;\mathbb {R}^3)\), we have
Let us now estimate each term on right hand side of (4.41). Integration by parts, and Lemmas 2.9 and 2.11 help us to obtain
and
where we have used the Gagliardo–Nirenberg–Sobolev inequality also. Using integration by parts, divergence free condition and (4.40), we find
Using Lemma 2.9, Plancherel’s theorem, and Lemmas 2.10 and 2.11, we get
Applying Lemma 2.9, Plancherel’s theorem, [3, Theorem 1.38] (see Remark 2.4 above), and Lemmas 2.10 and 2.11, we obtain
Applying Lemma 2.9, Plancherel’s theorem, [3, Theorem 1.38] (see Remark 2.4 above), Gagliardo–Nirenberg–Sobolev inequality and Lemma 2.11, we calculate
Finally, we estimate the last two terms of (4.41) as follows:
and
Combining (4.41)–(4.50), we get
Applying Gronwall’s inequality to (4.51) on \((\mathfrak {s}-t,\tau )\) where \(\tau \in [\mathfrak {s}-1,\mathfrak {s}]\) and replacing \(\omega \) by \(\vartheta _{-\mathfrak {s}}\omega \), we obtain that, for \(\mathfrak {s}\in \mathbb {R}, t\ge 1\) and \(\omega \in \Omega \),
where we have used the fact that the assumptions on \(\mathcal {S}_1\) and \(\mathcal {S}_2\) from Assumption 1.5 are satisfied.
Now, we obtain from (4.17)
We also have
which implies
Since \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(D\in \mathfrak {D}\), from (4.22), we find that, for given \(\eta >0,\) there exists \(T_1=T_1(\delta ,\mathfrak {s},\omega ,D,\eta )\ge 1\) such that for all \(t\ge T_1,\)
Since \(\varvec{f}\in \textrm{L}^2_{\textrm{loc}}(\mathbb {R};\mathbb {H})\) satisfies (4.8), for a given \(\eta >0,\) there exists \(P_1=P_1(\delta ,\mathfrak {s},\omega ,\eta )>0\) such that for all \(k\ge P_1\),
from which it follows that, for given \(\eta >0,\) there exists \(P_2=P_2(\delta ,\mathfrak {s},\omega ,\eta )>0\) such that for all \(k\ge P_2\),
and there exists \(P_3=P_3(\delta ,\mathfrak {s},\omega ,\eta )>0\) such that for all \(k\ge P_3\),
Due to (4.15)–(4.18), (4.54), (4.57) and Assumption 4.7, there exists \(T_2=T_2(\delta ,\mathfrak {s},\omega ,D,\eta )>0\) and \(P_4=P_4(\delta ,\mathfrak {s},\omega ,\eta )>0\) such that for all \(t\ge T_2\) and \(k\ge P_4\),
Let \(\mathscr {T}^*=\mathscr {T}^*(\delta ,\mathfrak {s},\omega ,D,\eta )=\max \{T_1,T_2\}, P^*=P^*(\delta ,\mathfrak {s},\omega ,\eta )=\max \{P_1,P_2,P_3,P_4\}\). Then it implies from (4.52) to (4.59) that, for all \(t\ge \mathscr {T}^*\) and \(k\ge P^*\), we obtain that for all \(\tau \in [\mathfrak {s}-1,\mathfrak {s}]\),
which completes the proof. \(\square \)
Lemma 4.13
Let \(\{\varvec{u}(\cdot ;\mathfrak {s},\omega ,\varvec{u}^n)\}_{n\in \mathbb {N}}\) be a bounded sequence of solutions of (2.12) in \(\mathbb {H}\) and all the assumptions of Lemma 4.9 be satisfied. Then for every \(0<\delta \le 1, \omega \in \Omega , \mathfrak {s}\in \mathbb {R}\) and \(t>\mathfrak {s}\), there exists \(\varvec{u}^0\in \textrm{L}^2(\mathfrak {s},\mathfrak {s}+T;\mathbb {H})\) with \(T>0\) and a subsequence \(\{\varvec{u}(\cdot ;\mathfrak {s},\omega ,\varvec{u}^{n_m})\}_{m\in \mathbb {N}}\) of \(\{\varvec{u}(\cdot ;\mathfrak {s},\omega ,\varvec{u}^n)\}_{n\in \mathbb {N}}\) such that \(\varvec{u}(\tau ;\mathfrak {s},\omega ,\varvec{u}^{n_m})\rightarrow \varvec{u}^0(\tau )\) in \(\mathbb {L}^2(\mathcal {O}_k)\) as \(m\rightarrow \infty \) for every \(k\in \mathbb {N}\) and for almost all \(\tau \in (\mathfrak {s},\mathfrak {s}+T)\), where
Proof
Since embedding \(\mathbb {H}^1_0(\mathcal {O}_k)\hookrightarrow \mathbb {L}^2(\mathcal {O}_k)\) is compact, the proof can be completed analogously as in the proof of Lemma 3.6. \(\square \)
The following theorem proves the \(\mathfrak {D}\)-pullback asymptotic compactness of \(\Phi \).
Lemma 4.14
Let all the assumptions of Lemma 4.9 be satisfied. Then for every \(0<\delta \le 1\), \(\mathfrak {s}\in \mathbb {R},\) \(\omega \in \Omega ,\) \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R},\omega \in \Omega \}\in \mathfrak {D}\) and \(t_n\rightarrow \infty ,\) \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), the sequence \(\Phi (t_n,\mathfrak {s}-t_n,\vartheta _{-t_n}\omega ,\varvec{u}_{0,n})\) or \(\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\) of solutions of the system (2.12) has a convergent subsequence in \(\mathbb {H}\).
Proof
Lemma 4.10 implies that there exists \(\mathscr {T}=\mathscr {T}(\delta ,\mathfrak {s},\omega ,D)>0\) and \(R(\mathfrak {s},\omega )\) such that for all \(t\ge \mathscr {T}\),
where \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega ).\) Since \(t_n\rightarrow \infty \), there exists \(N_2\in \mathbb {N}\) such that \(t_n\ge \mathscr {T},\) for all \(n\ge N_2\). Since \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), (4.60) implies that for all \(n\ge N_2\),
and hence
It yields from (4.61) and Lemma 4.13 that there exists \(\tau \in (\mathfrak {s}-1,\mathfrak {s})\), \(\varvec{u}_0\in \mathbb {H}\) and a subsequence (not relabeled) such that for every \(k\in \mathbb {N}\) as \(n\rightarrow \infty \)
Since \(\varvec{u}_0\in \mathbb {H}\), for given \(\eta >0\), there exists \(K_1=K_1(\delta ,\mathfrak {s},\omega ,\eta )>0\) such that for all \(k\ge K_1\),
Also, it follows from Lemma 4.12 that there exists \(N_3=N_3(\delta ,\mathfrak {s},\omega ,D,\eta )\ge 1\) and \(K_2=K_2(\delta ,\mathfrak {s},\omega ,\eta )\ge K_1\) such that for all \(n\ge N_3\) and \(k\ge K_2\),
From (4.62), we have that there exists \(N_4=N_4(\delta ,\mathfrak {s},\omega ,D,\eta )>N_3\) such that for all \(n\ge N_4\),
Finally, Lemma 4.9 implies
Hence, (4.66) along with (4.63)–(4.65) conclude the proof. \(\square \)
The following theorem is the main results of this section, that is, the existence of a unique \(\mathfrak {D}\)-pullback random attractor for \(\Phi \).
Theorem 4.15
Under the assumptions of Lemma 4.9, there exists a unique \(\mathfrak {D}\)-pullback random attractor \(\widehat{\mathscr {A}}=\{\widehat{\mathscr {A}}(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D},\) for the the continuous cocycle \(\Phi \) associated with the system (2.12) in \(\mathbb {H}\).
Proof
Note that Lemmas 4.11 and 4.14 provide the existence of a closed measurable \(\mathfrak {D}\)-pullback random absorbing set for \(\Phi \) and asymptotic compactness of \(\Phi \), respectively. Hence, Lemmas 4.11 and 4.14 together with the abstract theory given in [63, Theorem 2.23] complete the proof. \(\square \)
5 Pullback Random Attractors for Wong–Zakai Approximations: Unbounded Poincaré Domain \(\mathcal {O}\subset \mathbb {R}^d\)
In this section, we prove the existence of a unique \(\mathfrak {D}\)-pullback random attractor for the system (2.12) on the Poincaré domain \(\mathcal {O}\subset \mathbb {R}^d\) satisfying Assumption 1.7 with nonlinear diffusion term \(S(t,x,\varvec{u})\) satisfying Assumption 1.9.
In order to prove the results of this subsection, we need the following assumption on the non-autonomous forcing term \(\varvec{f}(\cdot ,\cdot )\).
Assumption 5.1
The external forcing term \(\varvec{f}\in \textrm{L}^{2}_{\textrm{loc}}(\mathbb {R};\mathbb {H})\) which satisfies
for every \(c>0\), where \(\alpha >0\) is the Darcy coefficient. We also assume that the following integration should be finite:
The proof of the main result of this section is similar to the main result obtained in Sect. 4. Therefore, we provide a proof of the following Lemma, which differ from Lemma 4.12. As we have seen in Sect. 4, we are facing difficulties to prove the uniform tail-estimates due to a non-availability of continuous embedding of first order homogeneous Sobolev space in \(\mathbb {R}^2\) (see Theorem 2.3).
Lemma 5.2
For all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\), let Assumptions 1.7, 1.9 and 5.1 be satisfied. Then, for any \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega ),\) where \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R},\ \omega \in \Omega \}\in \mathfrak {D}\), and for any \(\eta >0\), \(\mathfrak {s}\in \mathbb {R}\), \(\omega \in \Omega \) and \(0<\delta \le 1\), there exists \(\mathscr {T}^*=\mathscr {T}^*(\delta ,\mathfrak {s},\omega ,D,\eta )\ge 1\) and \(P^*=P^*(\delta ,\mathfrak {s},\omega ,\eta )>0\) such that for all \(t\ge \mathscr {T}^*\) and \(\tau \in [\mathfrak {s}-1,\mathfrak {s}]\), the solution of (2.12) with \(\omega \) replaced by \(\vartheta _{-\mathfrak {s}}\omega \) satisfy
Proof
As some estimates of the proof are similar to the proof of Lemma 4.12, we are not repeating here. We provide only those estimates, where the main difference is occurring. For a detailed calculation, see the proof of Lemma 4.12.
Let us now estimate each term on the right hand side of (4.41). Integration by parts, and Lemmas 2.9 and 2.11 help us to obtain
and
where we have used the Gagliardo–Nirenberg–Sobolev inequality also. From (4.44), we have
Estimate of \(\widetilde{S}_1(d,r)\): Using Hölder’s inequality, elliptic regularity, and Ladyzhenskaya’s and Young’s inequalities, respectively, we get
Estimate of \(\widetilde{S}_2(d,r)\): Applying Hölder’s inequality, elliptic regularity (for \(d=2\) with \(r\ge 1\) and \(d=3\) with \(r\in [3,5]\)), the Gagliardo–Nirenberg–Sobolev inequality (for \(d=3\) with \(r>5\)), Sobolev’s embedding (\(\mathbb {H}^1(\mathcal {O})\subset \mathbb {L}^{r+1}(\mathcal {O})\), for \(d=2\) with \(r\ge 1\) and \(d=3\) with \(r\in [3,5]\)), Interpolation inequality (for \(d=3\) with \(r>5\)) and Young’s inequality, we obtain
Estimate of \(\widetilde{S}_3(d,r)\): Applying Hölder’s inequality, elliptic regularity and Young’s inequality, we find
Estimate of \(\widetilde{S}_4(d,r)\): In view of Hölder’s inequality, elliptic regularity, Sobolev’s embedding, and the Gagliardo-Nirenberg-Sobolev, interpolation and Young’s inequalities, we estimate \(\widetilde{S}_4(d,r)\) as follows:
When \(d=2\) with \(r\ge 1\) and \(d=3\) with \(r\in [3,5]\). We get
When \(d=3\) and \(r\in [5,\infty )\). We obtain
For further steps, one can see the proof of Lemma 4.12. \(\square \)
The following theorem is the main result of this section, that is, the existence of a unique \(\mathfrak {D}\)-pullback random attractor for \(\Phi \) under Assumptions 1.9 and 5.1.
Theorem 5.3
For all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\), let Assumptions 1.7, 1.9 and 5.1 be satisfied. Then, there exists a unique \(\mathfrak {D}\)-pullback random attractor for the the continuous cocycle \(\Phi \) associated with the system (2.12) in \(\mathbb {H}\).
6 Convergence of Attractors: Additive White Noise
In this section, we examine the approximations of solutions of the following stochastic CBF equations with additive white noise. For given \(\sigma \ge 0\) and \({\textbf {g}}\in \textrm{D}(\textrm{A})\),
For \(\delta >0\), consider the pathwise random system:
Throughout this section, we prove results for 2D stochastic CBF with \(r>1\) and 3D stochastic CBF with \(r\ge 3\) (\(r>3\) for any \(\beta ,\mu >0\) and \(r=3\) for \(2\beta \mu \ge 1\)). Since, 2D stochastic CBF equations are linear perturbation of 2D stochastic NSE for \(r=1\), one can prove the results of this section for \(d=2\) and \(r=1\) by using the same arguments as it is carried for 2D stochastic NSE on Poincaré domains in [23, Section 3]. In [23], authors imposed an extra condition (Assumption 1.11) on \({\textbf {g}}(\cdot ),\) which was used to prove the existence of a \(\mathfrak {D}\)-pullback random absorbing set. We observe that there is no need to impose Assumption 1.11 on \({\textbf {g}}(\cdot )\) for \(r>1\).
Assumption 6.1
The external forcing term \(\varvec{f}\in \textrm{L}^{2}_{\textrm{loc}}(\mathbb {R};\mathbb {V}')\) satisfies
for every \(c>0\), where \(\alpha >0\) is the Darcy coefficient.
A direct consequence of the above Assumption 6.1 is as follows:
Proposition 6.2
(Proposition 4.2, [37]) Assume that Assumption 6.1 holds. Then
6.1 \(\mathfrak {D}\)-pullback Random Attractors for Stochastic CBF Equations with Additive White Noise
Consider, for some \(\ell >0\)
which is the stationary solution of the one-dimensional Ornstein–Uhlenbeck equation
Let us recall from [15, 18] that there exists a \(\vartheta \)-invariant subset of \(\Omega \) (will be denoted by \(\Omega \) itself) of full measure such that \(\varvec{y}(\vartheta _t\omega )\) is continuous in t for every \(\omega \in \Omega ,\) and
Define
Then, from (6.1), we obtain
For all \(\mathfrak {s}\in \mathbb {R},\) \(t>\mathfrak {s},\) and for every \(\varvec{v}_{\mathfrak {s}}\in \mathbb {H}\) and \(\omega \in \Omega \), (6.8) has a unique solution \(\varvec{v}(\cdot ;\mathfrak {s},\omega ,\varvec{v}_{\mathfrak {s}})\in \textrm{C}([\mathfrak {s},\mathfrak {s}+T];\mathbb {H})\cap \textrm{L}^2(\mathfrak {s}, \mathfrak {s}+T;\mathbb {V})\cap \textrm{L}^{r+1}(\mathfrak {s},\mathfrak {s}+T;\widetilde{\mathbb {L}}^{r+1})\). Moreover, \(\varvec{v}(t;\mathfrak {s},\omega ,\varvec{v}_{\mathfrak {s}})\) is continuous with respect to initial data \(\varvec{v}_{\mathfrak {s}}\) (Lemma 6.3) and \((\mathscr {F},\mathscr {B}(\mathbb {H}))\)-measurable in \(\omega \in \Omega .\) Define a cocycle \(\Phi _0:\mathbb {R}^+\times \mathbb {R}\times \Omega \times \mathbb {H}\rightarrow \mathbb {H}\) for the system (6.1) such that for given \(t\in \mathbb {R}^+, \mathfrak {s}\in \mathbb {R}, \omega \in \Omega \) and \(\varvec{u}_{\mathfrak {s}}\in \mathbb {H}\),
Lemma 6.3
For all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\) and excluding \(d=2\) with \(r=1\), assume that \(\varvec{f}\in \textrm{L}^2_{loc }(\mathbb {R};\mathbb {V}')\). Then, the solution of (6.8) is continuous in initial data \(\varvec{v}_{\mathfrak {s}}.\)
Proof
The proof will go through with similar arguments as in the proof of [32, Theorem 3.9]. \(\square \)
Next, we prove the existence of \(\mathfrak {D}\)-pullback random absorbing set of \(\Phi _0.\)
Lemma 6.4
For all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\) and excluding \(d=2\) with \(r=1\), let the Assumption 6.1 be satisfied. Then \(\Phi _0\) possesses a closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\mathcal {K}_0=\{\mathcal {K}^1_0(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R},\ \omega \in \Omega \}\in \mathfrak {D}\) in \(\mathbb {H}\) given by
where \(\mathcal {R}_0(\mathfrak {s},\omega )\) is defined by
Here \(R_8\) is a positive constant which does not depend on \(\mathfrak {s}\) and \(\omega \).
Proof
We infer from (6.8) that
Applying Lemmas 2.9 and 2.11, we deduce that there exist constants \(R_1,R_2,R_3>0\) such that
Case I: When \(d=2\) and \(r>1\). Using (2.1), Lemmas 2.9 and 2.11, and Sobolev’s inequality, we obtain that there exists a constant \(R_4>0\) such that
Combining (6.12)–(6.16), we finally get
where \(R_5=\max \{2R_1,2R_2,2R_3,2R_4\}\).
Case II: When \(d= 3\) and \(r\ge 3\) (\(r>3\) with any \(\beta ,\mu >0\) and \(r=3\) with \(2\beta \mu \ge 1\)). Using (2.1), Lemmas 2.9, 2.10 and 2.11, we obtain that there exist two constants \(R_6,R_7>0\) such that
and
Combining (6.12)–(6.15) and (6.18)–(6.19), we get
where \(R_8=\max \{2R_1,2R_2,2(R_3+R_6),2(R_3+R_7),R_5\}\). Therefore, for both Cases I and II, we have
Applying the variation of constant formula to (6.21) over \((\mathfrak {s}-t,\tau )\) with \(t\ge 0\), \(\mathfrak {s}\in \mathbb {R}\) and \(\tau \ge \mathfrak {s}-t\), and replacing \(\omega \) by \(\vartheta _{-\mathfrak {s}}\omega \), we obtain
From (6.9), we have
with \(\varvec{v}_{\mathfrak {s}-t}=\varvec{u}_{\mathfrak {s}-t}-e^{\sigma (\mathfrak {s}-t)}\varvec{y}(\vartheta _{-t}\omega ){\textbf {g}}\), \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega )\) and \(D\in \mathfrak {D}\), which together with (6.22) gives
Using (6.4) and (6.6), and arguing similarly as in the proofs of Lemmas 4.10 and 4.11, one can conclude the proof. \(\square \)
The next two Corollaries 6.5 and 6.6 help us to prove the asymptotic compactness of \(\Phi _0\) in this subsection (cf. Lemma 6.8) as well as the uniform compactness of pullback random attractors in the next subsection (cf. Lemma 6.14).
Corollary 6.5
Let \(\{\varvec{v}_m\}_{m\in \mathbb {N}}\subset \textrm{L}^{\infty }(0, T; \mathbb {H})\cap \textrm{L}^2(0, T;\mathbb {V})\cap \textrm{L}^{r+1}(0, T;\widetilde{\mathbb {L}}^{r+1})\) be a bounded sequence and \(\varvec{v}\in \textrm{L}^{\infty }(0, T; \mathbb {H})\cap \textrm{L}^2(0, T;\mathbb {V})\cap \textrm{L}^{r+1}(0, T;\widetilde{\mathbb {L}}^{r+1})\) be such that
Then, for all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\) and excluding \(d=2\) with \(r=1\),
where \(\uprho (t)\) is a continuous function of t on [0, T].
Proof
Since \(\varvec{v}_m, \varvec{v}\in \textrm{L}^{\infty }(0, T; \mathbb {H})\cap \textrm{L}^2(0, T;\mathbb {V})\cap \textrm{L}^{r+1}(0, T;\widetilde{\mathbb {L}}^{r+1})\) and \(\uprho (t)\) is continuous, there exists a constant \(\varpi >0\) such that
Since \({\textbf {g}}\in \textrm{D}(\textrm{A})\), for given \(\varepsilon >0\), we can say that there exists \(k=k(\varepsilon ,{\textbf {g}})>0\) such that
and
where \(\mathcal {O}_k=\{x\in \mathbb {R}^d:|x|<k\}\). Let us consider, for \(\varvec{u},\varvec{v},\varvec{w}\in \mathbb {V}\),
where
Consider,
In order to prove (6.25), it is enough to show that each term on the right hand side of (6.28) converges to 0 as \(m\rightarrow \infty \).
Case I: \(d=2\) and \(r>1\). By (2.2) and (6.26), we obtain
By (2.2) and continuity of \(\uprho (t)\), we have
Case II: \(d= 3\) and \(r\ge 3\) (\(r>3\) with any \(\beta ,\mu >0\) and \(r=3\) with \(2\beta \mu \ge 1\)). By (6.27), Lemmas 2.9 and 2.10, we have
for \(r>3\) and
for \(r=3\). By (2.2) and continuity of \(\uprho (t)\), we have
Calculations similar to (6.29) (for \(d=2\) and \(r>1\)), (6.31) (for \(d=3\) and \(r>3\)) and (6.32) (for \(d=r=3\)), and (6.30) (for \(d=2\) and \(r>1\)) and (6.33) (for \(d=3\) and \(r\ge 3\)), we obtain
and
respectively. For given \(\varepsilon >0\), we infer from (6.30) (for \(d=2\) and \(r>1\)) and (6.33) (for \(d=3\) and \(r\ge 3\)), and (6.35) that there exists \(M(\varepsilon )\in \mathbb {N}\) such that
and
respectively, for all \(m\ge M(\varepsilon ).\) Hence, (6.28), (6.29) (for \(d=2\) and \(r>1\)), (6.31) (for \(d=3\) and \(r>3\)), (6.32) (for \(d=r=3\)), (6.34) and (6.36)–(6.37) imply that, for a given \(\varepsilon >0\), there exists \(M(\varepsilon )\in \mathbb {N}\) such that
for all \(m\ge M(\varepsilon ),\) which completes the proof. \(\square \)
Corollary 6.6
Let \(\{\varvec{v}_m\}_{m\in \mathbb {N}}\subset \textrm{L}^{\infty }(0, T; \mathbb {H})\cap \textrm{L}^2(0, T;\mathbb {V})\cap \textrm{L}^{r+1}(0, T;\widetilde{\mathbb {L}}^{r+1})\) be a bounded sequence and \(\varvec{v}\in \textrm{L}^{\infty }(0, T; \mathbb {H})\cap \textrm{L}^2(0, T;\mathbb {V})\cap \textrm{L}^{r+1}(0, T;\widetilde{\mathbb {L}}^{r+1})\) such that (6.24) be satisfied. Then, for all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\) and excluding \(d=2\) with \(r=1\),
where \(\uprho (t)\) is a continuous function of t on [0, T].
Proof
Since \(\varvec{v}_m, \varvec{v}\in \textrm{L}^{\infty }(0, T; \mathbb {H})\cap \textrm{L}^2(0, T;\mathbb {V})\cap \textrm{L}^{r+1}(0, T;\widetilde{\mathbb {L}}^{r+1})\) and \(\uprho (t)\) is continuous, there exists a constant \(\varpi >0\) such that
Since \({\textbf {g}}\in \textrm{D}(\textrm{A})\), Sobolev’s embeddings (\(\mathbb {V}\subset \widetilde{\mathbb {L}}^{r+1}\) for \(d=2\) and \(\textrm{D}(\textrm{A})\subset \widetilde{\mathbb {L}}^{r+1}\) for \(d=3\)) imply that \({\textbf {g}}\in \widetilde{\mathbb {L}}^{r+1}\), for all \(r\ge 1\). Hence, for given \(\varepsilon >0\), there exists \(k=k(\varepsilon ,{\textbf {g}})>0\) such that
where \(\mathcal {O}_k=\{x\in \mathbb {R}^d:|x|<k\}\). Consider,
From Lemma 2.9 and (6.38), we infer that
Using Taylor’s formula, (2.4) and Lemma 2.9, we achieve
for \( 1<r<3\), and
for \(r\ge 3\), which implies that, for given \(\varepsilon >0\), there exists \(M(\varepsilon )\in \mathbb {N}\) such that
Finally, from (6.39) to (6.41), we infer that, for a given \(\varepsilon >0\), there exists \(M(\varepsilon )\in \mathbb {N}\) such that
for all \(m\ge M(\varepsilon ),\) which completes the proof. \(\square \)
Lemma 6.7
Let all the assumptions of Lemma 6.3 be satisfied. Let \(\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \) and \(\varvec{v}_{\mathfrak {s}}^0, \varvec{v}_{\mathfrak {s}}^n\in \mathbb {H}\) for all \(n\in \mathbb {N}.\) If in \(\mathbb {H}\), then the solution \(\varvec{v}\) of the system (6.8) satisfies the following convergences:
-
(i)
in \(\mathbb {H}\) for all \(\xi \ge \mathfrak {s}\).
-
(ii)
in \(\textrm{L}^2((\mathfrak {s},\mathfrak {s}+T);\mathbb {V})\cap \textrm{L}^{r+1}((\mathfrak {s},\mathfrak {s}+T);\widetilde{\mathbb {L}}^{r+1})\) for every \(T>0\).
-
(iii)
\(\varvec{v}(\cdot ;\mathfrak {s},\omega ,\varvec{v}_{\mathfrak {s}}^n)\rightarrow \varvec{v}(\cdot ;\mathfrak {s},\omega ,\varvec{v}_{\mathfrak {s}}^0)\) in \(\textrm{L}^2((\mathfrak {s},\mathfrak {s}+T);\mathbb {L}^2(\mathcal {O}_k))\) for every \(T>0\) and \(k>0\), where \(\mathcal {O}_k=\{x\in \mathbb {R}^d:|x|<k\}\).
Proof
Using the standard method as in [33] (cf. [33, Lemmas 5.2 and 5.3]), one can complete the proof. Note that, due to compactness of Sobolev embedding in bounded domains, we get the strong convergence in \(\textrm{L}^2((\mathfrak {s},\mathfrak {s}+T);\mathbb {L}^2(\mathcal {O}_k))\). \(\square \)
Lemma 6.8
Let all the assumptions of Lemma 6.4 be satisfied. Then for every \(\mathfrak {s}\in \mathbb {R},\) \(\omega \in \Omega ,\) \(D=\{D(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R},\omega \in \Omega \}\in \mathfrak {D}\) and \(t_n\rightarrow \infty ,\) \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), the sequence \(\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\) of solutions of the system (6.1) has a convergent subsequence in \(\mathbb {H}\).
Proof
We infer from (6.23) that there exists \(\mathfrak {T}=\mathfrak {T}(\mathfrak {s},\omega ,D)>0\) such that for all \(t\ge \mathfrak {T}\), \(\varvec{u}(\mathfrak {s};\mathfrak {s}-t,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{\mathfrak {s}-t})\in \mathbb {H}\) with \(\varvec{u}_{\mathfrak {s}-t}\in D(\mathfrak {s}-t,\vartheta _{-t}\omega ).\) Since \(t_n\rightarrow \infty \), there exists \(N_5\in \mathbb {N}\) such that \(t_n\ge \mathfrak {T}\) for all \(n\ge N_5\). It is given that \(\varvec{u}_{0,n}\in D(\mathfrak {s}-t_n, \vartheta _{-t_{n}}\omega )\), we get \(\{\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\}_{n\ge N_5}\) is a bounded sequence in \(\mathbb {H}\). Due to
with \(\varvec{v}_{0,n}=\varvec{u}_{0,n}-e^{\sigma (\mathfrak {s}-t)}\varvec{y}(\vartheta _{-t}\omega ){\textbf {g}}\), we have that \(\{\varvec{v}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{v}_{0,n})\}_{n\ge N_5}\) is also a bounded sequence in \(\mathbb {H}\), which implies that there exists \(\tilde{\varvec{v}}\in \mathbb {H}\) and a subsequence (not relabeling) such that
which gives
For our purpose, we need to show that \(\varvec{v}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{v}_{0,n})\rightarrow \tilde{\varvec{v}}\) in \(\mathbb {H}\) strongly. Along with the above expression, it is enough to prove that
Now, for a given \(j\in \mathbb {N}\) (\(j\le t_n\)), we have
For each j, let \(N_j\) be sufficiently large such that \(t_n\ge \mathfrak {T}+j\) for all \(n\ge N_j\). From (6.22) with \(\tau =\mathfrak {s}-j\), we have that the sequence \(\{\varvec{v}(\mathfrak {s}-j;\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{v}_{0,n})\}_{n\ge N_j}\) is bounded in \(\mathbb {H}\), for each \(j\in \mathbb {N}\). By a diagonal argument, there exists a subsequence (denoting by same label) and \(\tilde{\varvec{u}}_{j}\in \mathbb {H}\) for each \(j\in \mathbb {N}\) such that
From (6.46) to (6.47) together with Lemma 6.7, we have that for \(j\in \mathbb {N}\),
and
where \(\mathcal {O}_k=\{x\in \mathbb {R}^d:|x|<k\}\). Clearly, (6.43) and (6.48) imply that
From (6.12) we have
Now, following the similar arguments (that is, the method of energy equation) as in Lemma 6.14 below together with the convergence in (6.48)–(6.51), and Corollaries 6.5 and 6.6, we obtain that \(\varvec{v}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{v}_{0,n})\rightarrow \tilde{\varvec{v}}\) strongly in \(\mathbb {H}\). Hence, from (6.42), we infer that \(\varvec{u}(\mathfrak {s};\mathfrak {s}-t_n,\vartheta _{-\mathfrak {s}}\omega ,\varvec{u}_{0,n})\) has a convergent subsequence in \(\mathbb {H}\), as required. \(\square \)
The following theorem demonstrates the existence of a unique \(\mathfrak {D}\)-pullback random attractor for the system (6.1).
Theorem 6.9
Let all the assumptions of Lemma 6.4 be satisfied. Then there exists a unique \(\mathfrak {D}\)-pullback random attractor
for the the continuous cocycle \(\Phi _0\) associated with the system (6.1), in \(\mathbb {H}\).
Proof
The proof follows from Lemmas 4.3, 4.4 and the abstract theory available in [63, Theorem 2.23]. \(\square \)
6.2 Upper Semicontinuity of Pullback Random Attractors for Stochastic CBF Equations with Additive Colored Noise
Consider the random equation driven by colored noise
From (2.9), it is clear that for all \(\omega \in \Omega \), the integral
is finite, and hence \(\varvec{z} _{\delta }:\Omega \rightarrow \mathbb {R}\) is a well defined random variable. Let us recall some properties of \(\varvec{z} _{\delta }\) from [23].
Lemma 6.10
(Lemma 3.2, [23]) Let \(\varvec{z} _{\delta }\) be the random variable given by (6.55). Then the mapping
is a stationary solution of (6.54) with continuous paths. Moreover, \(\mathbb {E}[\varvec{z} _{\delta }]=0\) and for every \(\omega \in \Omega \),
where \(\tilde{\ell }=\min \{1,\frac{1}{2\ell }\}\).
Define
Then, from (6.2), we obtain
For all \(\mathfrak {s}\in \mathbb {R},\) \(t>\mathfrak {s},\) and for every \(\varvec{v}_{\delta ,\mathfrak {s}}\in \mathbb {H}\) and \(\omega \in \Omega \), (6.60) has a unique solution \(\varvec{v}_{\delta }(\cdot ;\mathfrak {s},\omega ,\varvec{v}_{\delta ,\mathfrak {s}})\in \textrm{C}([\mathfrak {s},\mathfrak {s}+T];\mathbb {H})\cap \textrm{L}^2(\mathfrak {s}, \mathfrak {s}+T;\mathbb {V})\cap \textrm{L}^{r+1}(\mathfrak {s},\mathfrak {s}+T;\widetilde{\mathbb {L}}^{r+1})\). Moreover, \(\varvec{v}_{\delta }(t;\mathfrak {s},\omega ,\varvec{v}_{\delta ,\mathfrak {s}})\) is continuous with respect to the initial data \(\varvec{v}_{\delta ,\mathfrak {s}}(x)\) and \((\mathscr {F},\mathscr {B}(\mathbb {H}))\)-measurable in \(\omega \in \Omega .\) Define a cocycle \(\Phi :\mathbb {R}^+\times \mathbb {R}\times \Omega \times \mathbb {H}\rightarrow \mathbb {H}\) for the system (6.2) such that for given \(t\in \mathbb {R}^+, \mathfrak {s}\in \mathbb {R}, \omega \in \Omega \) and \(\varvec{u}_{\delta ,\mathfrak {s}}\in \mathbb {H}\),
Lemma 6.11
Let all the assumptions of Lemma 6.4 be satisfied. Then \(\Phi _\delta \) possesses a closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\mathcal {K}_\delta =\{\mathcal {K}_\delta (\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D}\) in \(\mathbb {H}\) given by
where \(\mathcal {R}_\delta (\mathfrak {s},\omega )\) is defined by
Here \(R_{8}\) is the same as in Lemma 6.4. Furthermore, for every \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
where \(\mathcal {R}_0(\mathfrak {s},\omega )\) is given by (6.11).
Proof
Since, the systems (6.8) and (6.60) have similar terms, the existence of closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\mathcal {K}_\delta (\mathfrak {s},\omega )\) is confirmed from the similar calculations as in Lemma 6.4. Now, it is left to prove (6.64) only.
Using (6.58), we can find \(\xi _0<0\) such that for all \(0<\delta \le \tilde{\ell }\),
From (6.65), we get that for all \(\xi \le \xi _0\) and \(0<\delta \le \tilde{\ell }\),
Consider,
Using (6.57), (6.66) and the Lebesgue Dominated Convergence Theorem, we get
From (6.57), we obtain
Hence, from (6.57), (6.68) and (6.69), we deduce the desired convergence. \(\square \)
Next result demonstrates the convergence of solution of (6.2) to the solution of (6.1) in \(\mathbb {H}\) as \(\delta \rightarrow 0\).
Lemma 6.12
Let all the assumptions of Lemma 6.3 be satisfied. Suppose that \(\{\delta _n\}_{n\in \mathbb {N}}\) be a sequence such that \(\delta _n\rightarrow 0\). Let \(\varvec{u}_{\delta _n}\) and \(\varvec{u}\) be the solutions of (6.2) and (6.1) with initial data \(\varvec{u}_{\delta _n,\mathfrak {s}}\) and \(\varvec{u}_{\mathfrak {s}}\), respectively. If \(\Vert \varvec{u}_{\delta _n,\mathfrak {s}}-\varvec{u}_{\mathfrak {s}}\Vert _{\mathbb {H}}\rightarrow 0\) as \(n\rightarrow \infty \), then for every \(\mathfrak {s}\in \mathbb {R}\), \(\omega \in \Omega \) and \(t>\mathfrak {s}\),
Proof
Let \(\mathfrak {F}=\varvec{v}_{\delta _n}-\varvec{v}\), where \(\varvec{v}_{\delta _n}\) and \(\varvec{v}\) are the solutions of (6.60) and (6.8), respectively. Also, let \(\mathfrak {z}=\varvec{z} _{\delta _n}-\varvec{y},\) where \(\varvec{y}\) is defined in (6.5). Then we get from (6.60) and (6.8) that
From (2.5), we write
Applying Lemmas 2.9 and 2.11, we obtain
and
Case I: \(d= 2\) and \(r>1\). Using (2.2), (2.3), Lemmas 2.9 and 2.11, we get
Again, from (2.2), Lemmas 2.9 and 2.11, we have
Combining (6.70)–(6.78), we obtain
for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T]\), where
Due to continuity of \(e^{\sigma t},\) \(\varvec{y}(\vartheta _{t}\omega )\) and \(\varvec{z} _{\delta _n}(\vartheta _{t}\omega )\), and \(\varvec{v}_{\delta _n}, \varvec{v}\in \textrm{C}([\mathfrak {s},\mathfrak {s}+T];\mathbb {H})\cap \textrm{L}^2(\mathfrak {s}, \mathfrak {s}+T;\mathbb {V})\cap \textrm{L}^{r+1}(\mathfrak {s},\mathfrak {s}+T;\widetilde{\mathbb {L}}^{r+1})\), we infer that
An application of Gronwall’s inequality yields
By (6.7), (6.59) and (6.81), we get
for all \(t\in [\mathfrak {s},\mathfrak {s}+T]\). Hence, due to (6.57) and (6.80), we achieve the required convergence from (6.82).
Case II: \(d= 3\) and \(r\ge 3\) (\(r>3\) with any \(\beta ,\mu >0\) and \(r=3\) with \(2\beta \mu \ge 1\)). Using (2.3), Lemmas 2.9 and 2.11, we get
From (2.2), Lemmas 2.9 and 2.11, we have
Combining (6.70)–(6.73) and (6.83)–(6.87), we obtain
for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T]\), where
and
Hence, arguing similarly as in Case I, we obtain the desired convergence. \(\square \)
Lemma 6.13
Let all the assumptions of Lemma 6.3 be satisfied. Suppose that \(\{\delta _n\}_{n\in \mathbb {N}}\) be a sequence such that \(\delta _n\rightarrow 0\). Let \(\varvec{v}_{\delta _n}\) and \(\varvec{v}\) be the solutions of (6.2) and (6.1) with initial data \(\varvec{v}_{\delta _n,\mathfrak {s}}\) and \(\varvec{v}_{\mathfrak {s}}\), respectively. If in \(\mathbb {H}\) as \(n\rightarrow \infty \), then for every \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
-
(i)
in \(\mathbb {H}\) for all \(\xi \ge \mathfrak {s}\).
-
(ii)
in \(\textrm{L}^2((\mathfrak {s},\mathfrak {s}+T);\mathbb {V})\cap \textrm{L}^{r+1}((\mathfrak {s},\mathfrak {s}+T);\widetilde{\mathbb {L}}^{r+1})\) for every \(T>0\).
-
(iii)
\(\varvec{v}_{\delta _n}(\cdot ;\mathfrak {s},\omega ,\varvec{v}_{\delta _n,\mathfrak {s}})\rightarrow \varvec{v}(\cdot ;\mathfrak {s},\omega ,\varvec{v}_{\mathfrak {s}})\) in \(\textrm{L}^2((\mathfrak {s},\mathfrak {s}+T);\mathbb {L}^2(\mathcal {O}_k))\) for every \(T>0\) and \(k>0\), where \(\mathcal {O}_k=\{x\in \mathbb {R}^d:|x|<k\}\).
Proof
The proof is straightforward, see the proof of [32, Lemmas 4.2 and 4.3]. \(\square \)
The existence of a unique \(\mathfrak {D}\)-pullback random attractor (denote here by \(\mathscr {A}_\delta \)) for continuous cocycle \(\Phi _\delta \) follows from Theorem 4.5. The following Lemma demonstrates the uniform compactness of family of random attractors \(\mathscr {A}_{\delta }\).
Lemma 6.14
Let all the assumptions of Lemma 6.4 be satisfied. Let \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \) be fixed. If \(\delta _n\rightarrow 0\) as \(n\rightarrow \infty \) and \(\varvec{u}_n\in \mathscr {A}_{\delta _n}(\mathfrak {s},\omega )\), then the sequence \(\{\varvec{u}_n\}_{n\in \mathbb {N}}\) has a convergent subsequence in \(\mathbb {H}\).
Proof
Since, \(\delta _n\rightarrow 0\), it follows from (6.64) that for every \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \), there exists \(\mathcal {N}_1=\mathcal {N}_1(\mathfrak {s},\omega )\) such that for all \(n\ge \mathcal {N}_1\),
It is given that \(\varvec{u}_n\in \mathscr {A}_{\delta _n}(\mathfrak {s},\omega )\) and due to the property of attractors, we have that \(\mathscr {A}_{\delta _n}(\mathfrak {s},\omega )\) is a subset of absorbing set, by Lemma 6.11 and (6.89) we have, for all \(n\ge \mathcal {N}_1\),
It is clear that \(\{\varvec{u}_n:n\in \mathbb {N}\}\subset \mathbb {H}\) and therefore, there exists a subsequence (not relabeling) and \(\hat{\varvec{u}}\in \mathbb {H}\) such that
Our next aim to prove that \(\varvec{u}_n\rightarrow \hat{\varvec{u}}\) in \(\mathbb {H}\). Since \(\varvec{u}_n\in \mathscr {A}_{\delta _n}(\mathfrak {s},\omega )\), by the invariance property of \(\mathscr {A}_{\delta _n}(\mathfrak {s},\omega )\), for all \(l\ge 1\), there exists \(\varvec{u}_{n,l}\in \mathscr {A}_{\delta _n}(\mathfrak {s}-l,\vartheta _{-l}\omega )\) such that
Since \(\varvec{u}_{n,l}\in \mathscr {A}_{\delta _n}(\mathfrak {s}-l,\vartheta _{-l}\omega )\) and \(\mathscr {A}_{\delta _n}(\mathfrak {s}-l,\vartheta _{-l}\omega )\subseteq \mathcal {K}_{\delta _n}(\mathfrak {s}-l,\vartheta _{-l}\omega ),\) by Lemma 6.11 and (6.89), we find that for each \(l\ge 1\) and \(n\ge \mathcal {N}_1(\mathfrak {s}-l,\vartheta _{-l}\omega )\),
Due to (6.59), we get
where
From, (6.92) and (6.94), we obtain
Using (6.93) and (6.95), we find that for \(n\ge \mathcal {N}_1(\mathfrak {s}-l,\vartheta _{-l}\omega )\),
Thanks to (6.57) and (6.97), we can find an \(\mathcal {N}_2=\mathcal {N}_2(\mathfrak {s},\omega ,l)\ge \mathcal {N}_1\) such that for every \(l\ge 1\) and \(n\ge \mathcal {N}_2\),
By (6.91) and (6.96) along with (6.57), we get as \(n\rightarrow \infty \),
It follows from (6.97) that for each \(l\ge 1\), the sequence \(\{\varvec{v}_{n,l}\}_{n\in \mathbb {N}}\subset \mathbb {H}\), and hence, we get a subsequence (not relabeling) by a diagonal argument such that for every \(l\ge 1\), there exists \(\tilde{\varvec{v}}_l\in \mathbb {H}\) such that
It yields from Lemma 6.13 and (6.100) that as \(n\rightarrow \infty \),
where \(\mathcal {O}_k=\{x\in \mathbb {R}^d:|x|<k\}\). Now, (6.99) and (6.101) imply
From (6.60) together with (2.1), we obtain
An application of variation of constant formula with \(\omega \) being replaced by \(\vartheta _{-\mathfrak {s}}\omega \) yields
where
and
Similar to (6.107), by (6.8) and (6.105), it can also be obtained that
From (6.98), we have
Similarly, from (6.102), we obtain
and
By (6.57) and (6.102), we have
From (6.103), we infer that
Using (2.1), we obtain
Making use of (6.57) and Corollary 6.5, we get that \(\lim \limits _{n\rightarrow \infty }I_9(n,l)=0\), and hence, by Corollary 6.5, we arrive at
Finally, we have
By (6.57) and Corollary 6.6, we get that \(\lim \limits _{n\rightarrow \infty }I_{11}(n,l)=0\), and hence, by Corollary 6.6, we deduce
Combining (6.107)–(6.115), we obtain
Passing \(l\rightarrow \infty \), we get
which together with (6.99) gives
From (6.57), (6.96), (6.105) and (6.117), we get
as required, and the proof is completed. \(\square \)
The next Theorem demonstrates the upper semicontinuity of \(\mathfrak {D}\)-pullback random attractors as \(\delta \rightarrow 0\), using the abstract theory given in [62, Theorem 3.2].
Theorem 6.15
For \(0<\delta \le 1\), assume that all the assumptions of Lemma 6.4 are satisfied. Then for every \(\omega \in \Omega \) and \(\mathfrak {s}\in \mathbb {R}\),
Proof
By Lemma 6.11, we have for every \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
Consider a sequence \(\delta \rightarrow 0\) and \(\varvec{u}_{n,\mathfrak {s}}\rightarrow \varvec{u}_{\mathfrak {s}}\) in \(\mathbb {H}\). By Lemma 6.12, we get that for every \(t\ge 0, \mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
Hence, by (6.119), (6.120) and Lemma 6.14 together with Theorem 3.2 in [62], one can conclude the proof. \(\square \)
7 Convergence of Attractors: Multiplicative White Noise
In this section, we examine the approximations of solutions of the following stochastic CBF equations with multiplicative white noise,
For \(\delta >0\), consider the pathwise random system:
The existence of a unique \(\mathfrak {D}\)-pullback random attractor for (7.1) and (7.2) is established in [37, Theorem 5.8] and Sect. 3, respectively. In this section, we prove the upper semicontinuity of attractors as \(\delta \rightarrow 0\). Let us denote by \(\widehat{\Phi }_0\) and \(\widehat{\Phi }_{\delta }\), the continuous cocycles for the systems (7.1) and (7.2), respectively, and \(\widehat{\mathscr {A}}_0\) and \(\widehat{\mathscr {A}}_{\delta }\), \(\mathfrak {D}\)-pullback random attractors for the systems (7.1) and (7.2), respectively. Define
Then, from (7.1) and (7.2) (formally), we obtain
For all \(\mathfrak {s}\in \mathbb {R},\) \(t>\mathfrak {s},\) and for every initial data in \(\mathbb {H}\) and \(\omega \in \Omega \), (7.3) and (7.4) have unique solutions in \(\textrm{C}([\mathfrak {s},\mathfrak {s}+T];\mathbb {H})\cap \textrm{L}^2(\mathfrak {s}, \mathfrak {s}+T;\mathbb {V})\cap \textrm{L}^{r+1}(\mathfrak {s},\mathfrak {s}+T;\widetilde{\mathbb {L}}^{r+1}).\) Furthermore, the solution is continuous with respect to the initial data and \((\mathscr {F},\mathscr {B}(\mathbb {H}))\)-measurable in \(\omega \in \Omega .\)
Lemma 7.1
Let Assumption 3.1 holds. Then, for all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\), \(\widehat{\Phi }_0\) possesses a closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\widehat{\mathcal {K}}_0=\{\widehat{\mathcal {K}}_0(\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D}\) in \(\mathbb {H}\) given by
where \(\widehat{\mathcal {R}}_0(\mathfrak {s},\omega )\) is defined by
Proof
Since the existence of \(\mathfrak {D}\)-pullback random absorbing set for \(\widehat{\Phi }_0\) is proved in [37, Lemma 5.6], the rest of the proof follows in a similar way and hence we omit it here. \(\square \)
Lemma 7.2
Let Assumption 3.1 holds. Then, for all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\), \(\widehat{\Phi }_\delta \) possesses a closed measurable \(\mathfrak {D}\)-pullback random absorbing set \(\widehat{\mathcal {K}}_\delta =\{\widehat{\mathcal {K}}_\delta (\mathfrak {s},\omega ):\mathfrak {s}\in \mathbb {R}, \omega \in \Omega \}\in \mathfrak {D}\) in \(\mathbb {H}\) given by
where \(\widehat{\mathcal {R}}_\delta (\mathfrak {s},\omega )\) is defined by
Furthermore, for every \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
Proof
Since the existence of \(\mathfrak {D}\)-pullback random absorbing set \(\widehat{\mathcal {K}}_\delta (\mathfrak {s},\omega )\) for \(\widehat{\Phi }_\delta \) is proved in Lemma 3.8 and the convergence in (7.9) is proved in [24] (cf. [24, Lemma 3.7]), hence we omit the proof here. \(\square \)
Lemma 7.3
For all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\), assume that \(\varvec{f}\in \textrm{L}^2_{loc }(\mathbb {R};\mathbb {V}')\). Suppose that \(\{\delta _n\}_{n\in \mathbb {N}}\) is a sequence such that \(\delta _n\rightarrow 0\). Let \(\varvec{u}_{\delta _n}\) and \(\varvec{u}\) be the solutions of (7.2) and (7.1) with initial data \(\varvec{u}_{\delta _n,\mathfrak {s}}\) and \(\varvec{u}_{\mathfrak {s}}\), respectively. If \(\Vert \varvec{u}_{\delta _n,\mathfrak {s}}-\varvec{u}_{\mathfrak {s}}\Vert _{\mathbb {H}}\rightarrow 0\) as \(n\rightarrow \infty \), then for every \(\mathfrak {s}\in \mathbb {R}\), \(\omega \in \Omega \) and \(t>\mathfrak {s}\),
Proof
Let \(\Upsilon =\varvec{v}_{\delta _n}-\varvec{v}\) and \(\mathfrak {Z}(t)=\int _{0}^{t}\mathcal {Z}_{\delta }(\vartheta _{\xi }\omega )\textrm{d}\xi -\omega (t)\). Then from (7.4) and (7.3), we find
From (2.5), we obtain
Case I: \(d=2\) and \(r\ge 1\). Applying (2.2), Lemmas 2.9 and 2.11, we get
Combining (7.10)–(7.15), we get
for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T]\), where
Case II: \(d= 3\) and \(r\ge 3\) (\(r>3\) with any \(\beta ,\mu >0\) and \(r=3\) with \(2\beta \mu \ge 1\)). An application of Lemmas 2.9 and 2.11 yield
and
Combining (7.10)–(7.11), (7.14)–(7.15) and (7.17)–(7.18), we obtain
for a.e. \(t\in [\mathfrak {s},\mathfrak {s}+T]\), where
Now, applying Gronwall’s inequality in (7.16) and (7.19), and calculating similarly as in Lemma 6.12, one can conclude the proof with the help of the convergence (2.11). \(\square \)
The following result shows the uniform compactness of family of random attractors \(\widehat{\mathscr {A}}_{\delta }\), which can be obtained by similar calculations of Lemma 6.14. In fact, the proof is much easier here and hence we omit here.
Lemma 7.4
Let Assumption 3.1 holds. Let \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \) be fixed. If \(\delta _n\rightarrow 0\) as \(n\rightarrow \infty \) and \(\varvec{u}_n\in \widehat{\mathscr {A}}_{\delta _n}(\mathfrak {s},\omega )\). Then, for all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\), the sequence \(\{\varvec{u}_n\}_{n\in \mathbb {N}}\) has a convergent subsequence in \(\mathbb {H}\).
Finally, we are in the position of giving main result of this section.
Theorem 7.5
For \(0<\delta \le 1\), assume that Assumption 3.1 is satisfied. Then, for all the cases given in Table 1 including \(d=r=3\) with \(2\beta \mu =1\), for every \(\omega \in \Omega \) and \(\mathfrak {s}\in \mathbb {R}\),
Proof
By Lemma 7.2, we have for every \(\mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
Consider a sequence \(\delta \rightarrow 0\) and \(\varvec{u}_{n,\mathfrak {s}}\rightarrow \varvec{u}_{\mathfrak {s}}\) in \(\mathbb {H}\). By Lemma 7.3, we get that for every \(t\ge 0, \mathfrak {s}\in \mathbb {R}\) and \(\omega \in \Omega \),
Hence, by (7.21), (7.22) and Lemma 7.4 together with Theorem 3.2 in [62], we conclude the proof. \(\square \)
References
Antontsev, S.N., de Oliveira, H.B.: The Navier–Stokes problem modified by an absorption term. Appl. Anal. 89(12), 1805–1825 (2010)
Arnold, L.: Random Dynamical Systems. Springer, Berlin (1998)
Bahouri, H., Chemin, J.Y., Danchin, R.: Fourier Analysis and Nonlinear Partial Differential Equations, Fundamental Principles of Mathematical Sciences, vol. 343. Springer, Heidelberg (2011)
Ball, J.M.: Global attractors for damped semilinear wave equations. Discrete Contin. Dyn. Syst. Ser. B 10(1–2), 31–52 (2004)
Bates, P., Lisei, H., Lu, K.: Attractors for stochastic lattice dynamical systems. Stoch. Dyn. 6(1), 1–21 (2006)
Bates, P., Lu, K., Wang, B.: Random attractors for stochastic reaction–diffusion equations on unbounded domains. J. Differ. Equ. 246(2), 845–869 (2009)
Bessaih, H., Millet, A.: On stochastic modified 3D Navier–Stokes equations with anisotropic viscosity. J. Math. Anal. Appl. 462(1), 915–956 (2018)
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.: Pathwise global attractors for stationary random dynamical systems. Probab. Theory Rel. Fields 95(1), 87–102 (1993)
Brzézniak, Z., Caraballo, T., Langa, J.A., Li, Y., Lukaszewicz, G., Real, J.: Random attractors for stochastic 2D Navier–Stokes equations in some unbounded domains. J. Differ. Equ. 255, 3897–3919 (2013)
Brzeźniak, Z., Dhariwal, G.: Stochastic tamed Navier–Stokes equations on \(\mathbb{R} ^3\): the existence and the uniqueness of solutions and the existence of an invariant measure. J. Math. Fluid Mech. 22(2), 54 (2020)
Caraballo, T., Lukaszewicz, G., Real, J.: Pullback attractors for asymptotically compact non-autonomous dynamical systems. Nonlinear Anal. 64(3), 484–498 (2006)
Caraballo, T., Lukaszewicz, G., Real, J.: Pullback attractors for non-autonomous 2D-Navier–Stokes equations in some unbounded domains. C. R. Math. Acad. Sci. Paris 342(4), 263–268 (2006)
Chepyzhov, V.V., Vishik, M.I.: Attractors for Equations of Mathematical Physics. American Mathematical Society, Providence (2002)
Chueshov, I.: Monotone Random Systems Theory and Applications, Lecture Notes in Mathematics, vol. 1779. Springer, Berlin (2002)
Crauel, H., Debussche, A., Flandoli, F.: Random attractors. J. Dyn. Differ. Equ. 9(2), 307–341 (1995)
Evans, L.C.: Partial Differential Equations, 2nd edn. American Mathematical Society, Providence (2010)
Fan, X.: Attractors for a damped stochastic wave equation of the sine-Gordon type with sublinear multiplicative noise. Stoch. Anal. Appl. 24(4), 767–793 (2006)
Farwig, R., Kozono, H., Sohr, H.: An \(L^q\)-approach to Stokes and Navier–Stokes equations in general domains. Acta Math. 195, 21–53 (2005)
Feng, X., You, B.: Random attractors for the two-dimensional stochastic g-Navier–Stokes equations. Stochastics 92(4), 613–626 (2020)
Fujiwara, D., Morimoto, H.: An \(L^r\)-theorem of the Helmholtz decomposition of vector fields. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24(3), 685–700 (1977)
Gu, A.: Weak pullback mean random attractors for non-autonomous \(p\)-Laplacian equations. Discrete Contin. Dyn. Syst. Ser. B 26(7), 3863–3878 (2021)
Gu, A., Guo, B., Wang, B.: Long term behavior of random Navier–Stokes equations driven by colored noise. Discrete Contin. Dyn. Syst. Ser. B 25(7), 2495–2532 (2020)
Gu, A., Lu, K., Wang, B.: Asymptotic behavior of random Navier–Stokes equations driven by Wong–Zakai approximations. Discrete Contin. Dyn. Syst. Ser. B 39(1), 185–218 (2019)
Gu, A., Wang, B.: Asymptotic behavior of random Fitzhugh–Nagumo systems driven by colored noise. Discrete Contin. Dyn. Syst. Ser. B 23(4), 1689–1720 (2018)
Hajduk, K.W., Robinson, J.C.: Energy equality for the 3D critical convective Brinkman–Forchheimer equations. J. Differ. Equ. 263(11), 7141–7161 (2017)
Han, Z., Zhou, S.: Random exponential attractor for the 3D non-autonomous stochastic damped Navier–Stokes equation. J. Dyn. Differ. Equ. 35(2), 1133–1149 (2023)
Heywood, J.G.: The Navier–Stokes equations: on the existence, regularity and decay of solutions. Ind. Univ. Math. J. 29(5), 639–681 (1980)
Ikeda, N., Watanabe, S.: Stochastic Differential Equations and Diffusion Processes, 2nd edn. Noth-Holland (1989)
Kalantarov, V.K., Zelik, S.: Smooth attractors for the Brinkman–Forchheimer equations with fast growing nonlinearities. Commun. Pure Appl. Anal. 11(5), 2037–2054 (2012)
Kelly, D., Melbourne, I.: Smooth approximation of stochastic differential equations. Ann. Probab. 44(1), 479–520 (2016)
Kinra, K., Mohan, M.T.: Random attractors and invariant measures for stochastic convective Brinkman–Forchheimer equations on 2D and 3D unbounded domains. Discrete Contin. Dyn. Syst. Ser. B (2023). https://doi.org/10.3934/dcdsb.2023100
Kinra, K., Mohan, M.T.: Existence and upper semicontinuity of random attractors for the 2D stochastic convective Brinkman–Forchheimer equations in bounded domains. Stochastics 95(6), 1042–1077 (2023)
Kinra, K., Mohan, M.T.: Large time behavior of the deterministic and stochastic 3D convective Brinkman–Forchheimer equations in periodic domains. J. Dyn. Differ. Equ. (2021). https://doi.org/10.1007/s10884-021-10073-7
Kinra, K., Mohan, M.T.: Weak pullback mean random attractors for the stochastic convective Brinkman–Forchheimer equations and locally monotone stochastic partial differential equations. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 25(01), 2250005 (2022)
Kinra, K., Mohan, M.T.: Wong–Zakai approximation and support theorem for 2D and 3D stochastic convective Brinkman–Forchheimer equations. J. Math. Anal. Appl. 515(2), 36 (2022)
Kinra, K., Mohan, M.T.: Existence and upper semicontinuity of random pullback attractors for 2D and 3D non-autonomous stochastic convective Brinkman–Forchheimer equations on whole space. Differ. Integral Equ. 36(5–6), 367–412 (2023)
Ladyzhenskaya, O.A.: The Mathematical Theory of Viscous Incompressible Flow. Gordon and Breach, New York (1969)
Liu, H., Gao, H.: Stochastic 3D Navier–Stokes equations with nonlinear damping: martingale solution, strong solution and small time LDP. In: Interdisciplinary Mathematical Sciences Stochastic PDEs and Modelling of Multiscale Complex System, chapter 2, pp. 9–36 (2019)
Liu, W., Röckner, M.: Local and global well-posedness of SPDE with generalized coercivity conditions. J. Differ. Equ. 254(2), 725–755 (2013)
Liu, W.: Well-posedness of stochastic partial differential equations with Lyapunov condition. J. Differ. Equ. 255(3), 572–592 (2013)
Lu, K., Wang, B.: Wong–Zakai approximations and long term behavior of stochastic partial differential equations. J. Dyn. Differ. Equ. 31(3), 1341–1371 (2019)
Markowich, P.A., Titi, E.S., Trabelsi, S.: Continuous data assimilation for the three-dimensional Brinkman–Forchheimer-extended Darcy model. Nonlinearity 29(4), 1292–1328 (2016)
Mohan, M.T.: On the convective Brinkman–Forchheimer equations (submitted)
Mohan, M.T.: Stochastic convective Brinkman–Forchheimer equations (submitted). arXiv:2007.09376
Mohan, M.T.: The \(\mathbb{H} ^1\)-compact global attractor for the two dimentional convective Brinkman–Forchheimer equations in unbounded domains. J. Dyn. Control Syst. (2021). https://doi.org/10.1007/s10883-021-09545-2
Mohan, M.T., Sritharan, S.S.: Stochastic Euler equations of fluid dynamics with Lévy noise. Asymptot. Anal. 99(1–2), 67–103 (2016)
Qin, L., Ma, D., Shu, J.: Wong–Zakai approximations and attractors for non-autonomous stochastic FitzHugh–Nagumo system on unbounded domains. Stoch. Anal. Appl. 40(5), 854–890 (2022)
Robinson, J.C.: Infinite-Dimensional Dynamical Systems: An Introduction to Dissipative Parabolic PDEs and the Theory of Global Attractors. Cambridge University Press, Cambridge (2001)
Röckner, M., Zhang, X.: Tamed 3D Navier–Stokes equation: existence, uniqueness and regularity. Infin. Dimens. Anal. Quantum Probab. Relat. Top. 12(4), 525–549 (2009)
Röckner, M., Zhang, X.: Stochastic tamed 3D Navier–Stokes equation: existence, uniqueness and ergodicity. Probab. Theory Relat. Fields 145(1–2), 211–267 (2009)
Rosa, R.: The global attractor for the 2D Navier–Stokes flow on some unbounded domains. Nonlinear Anal. 32(1), 71–85 (1998)
Shu, J., Ma, D., Huang, X., Zhang, J.: Wong–Zakai approximations and limiting dynamics of stochastic Ginzburg–Landau equations. Stoch. Dyn. 22(4), 18 (2022)
Sussmann, H.J.: On the gap between deterministic and stochastic ordinary differential equations. Ann. Probab. 6(1), 19–41 (1978)
Temam, R.: Navier–Stokes Equations, Theory and Numerical Analysis. North-Holland, Amsterdam (1977)
Temam, R.: Navier–Stokes Equations and Nonlinear Functional Analysis, 2nd edn, CBMS-NSF Regional Conference Series in Applied Mathematics (1995)
Temam, R.: Infinite-Dimensional Dynamical Systems in Mechanics and Physics, Applied Mathematical Sciences, vol. 68. Springer, Berlin (1988)
Uhlenbeck, G., Ornstein, L.: On the theory of Brownian motion. Phys. Rev. 36(5), 823–841 (1930)
Wang, B.: Attractors for reaction–diffusion equations in unbounded domains. Physica D 128(1), 41–52 (1999)
Wang, B.: Random attractors for the stochastic Benjamin–Bona–Mahony equation on unbounded domains. J. Differ. Equ. 246(6), 2506–2537 (2008)
Wang, B.: Periodic random attractors for stochastic Navier–Stokes equations on unbounded domain. Electron. J. Differ. Equ. 2012(59), 1–18 (2012)
Wang, B.: Existence and upper semicontinuity of attractors for stochastic equations with deterministic non-autonomous terms. Stoch. Dyn. 14(4), 1450009, 31 pp (2014)
Wang, B.: Sufficient and necessary criteria for existence of pullback attractors for non-compact random dynamical systems. J. Differ. Equ. 253(5), 1544–1583 (2012)
Wang, B.: Weak pullback attractors for mean random dynamical systems in Bochner spaces. J. Dyn. Differ. Equ. 31(4), 2177–2204 (2019)
Wang, B.: Weak pullback attractors for stochastic Navier–Stokes equations with nonlinear diffusion terms. Proc. Am. Math. Soc. 147(4), 1627–1638 (2019)
Wang, X., Li, D., Shen, J.: Wong–Zakai approximations and attractors for stochastic wave equations driven by additive noise. Discrete Contin. Dyn. Syst. Ser. B 26(5), 2829–2855 (2021)
Wang, X., Lu, K., Wang, B.: Wong–Zakai approximations and attractors for stochastic reaction–diffusion equations on unbounded domains. J. Differ. Equ. 264(1), 378–424 (2018)
Wang, X., Shen, J., Lu, K., Wang, B.: Wong–Zakai approximations and random attractors for non-autonomous stochastic lattice systems. J. Differ. Equ. 280, 477–516 (2021)
Wang, M.C., Uhlenbeck, G.E.: On the theory of Brownian motion. II. Rev. Modern Phys. 17(2–3), 323–342 (1945)
Wong, E., Zakai, M.: On the relation between ordinary and stochastic differential equations. Int. J. Eng. Sci. 3(2), 213–229 (1965)
Wong, E., Zakai, M.: On the convergence of ordinary integrals to stochastic integrals. Ann. Math. Stat. 36(5), 1560–1564 (1965)
Xu, J., Caraballo, T.: Long time behavior of stochastic nonlocal partial differential equations and Wong–Zakai approximations. SIAM J. Math. Anal. 54(3), 2792–2844 (2022)
Yang, Y., Shu, J., Wang, X.: Wong–Zakai approximations and random attractors of non-autonomous stochastic discrete complex Ginzburg–Landau equations. J. Math. Phys. 62(6), 29 (2021)
Acknowledgements
The authors would like to thank the anonymous referee for the helpful comments. The first author would like to thank the Council of Scientific & Industrial Research (CSIR), India for financial assistance (File No. 09/143(0938)/2019-EMR-I). M. T. Mohan would like to thank the Department of Science and Technology (DST), Govt of India for Innovation in Science Pursuit for Inspired Research (INSPIRE) Faculty Award (IFA17-MA110).
Funding
CSIR, India, 09/143(0938)/2019-EMR-I (K. Kinra), DST, India, IFA17-MA110 (M. T. Mohan).
Author information
Authors and Affiliations
Contributions
All authors have contributed equally.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Pullback Random Attractors for Wong–Zakai Approximations of 2D Stochastic NSE on Unbounded Poincaré Domains
Pullback Random Attractors for Wong–Zakai Approximations of 2D Stochastic NSE on Unbounded Poincaré Domains
In this appendix, we discuss the existence and uniqueness of \(\mathfrak {D}\)-pullback random attractors for Wong–Zakai approximations of 2D stochastic NSE on Poincaré domains \(\mathcal {O}\) (that is, satisfying Assumption 1.7) with nonlinear diffusion term. Consider the Wong–Zakai approximations of 2D NSE on \(\mathcal {O}\) as
where \(\nu \) is the coefficient of kinematic viscosity of the fluid. In the work [23], authors proved the existence of a unique \(\mathfrak {D}\)-pullback random random attractor for the system (A.1) under Assumption 1.3. Here, we assume that the following conditions are satisfied:
Assumption A.1
Let \(S:\mathbb {R}\times \mathcal {O}\times \mathbb {R}^2\rightarrow \mathbb {R}^2\) be a continuous function such that for all \(t\in \mathbb {R}\), \(x\in \mathcal {O}\) and \({\textbf {u}}\in \mathcal {O}\)
where \(1\le q<2\), \(\mathcal {S}_1\in \text {L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{\frac{2}{2-q}}(\mathcal {O}))\) and \(\mathcal {S}_2\in \text {L}^{\infty }_{loc }(\mathbb {R};\mathbb {L}^{2}(\mathcal {O}))\). Furthermore, suppose that \(S(t,x,\varvec{u})\) is locally Lipschitz continuous with respect to \(\varvec{u}\).
Remark A.2
Note that Assumption A.1 is clearly different from Assumption 1.3. Therefore, it is worth to prove the results under Assumption A.1.
Assumption A.3
We assume that the external forcing term \(\varvec{f}\in \text {L}^2_{\text {loc}}(\mathbb {R};\mathbb {L}^2(\mathcal {O}))\) satisfies
and for every \(c>0\)
where \(\lambda \) and \(\nu \) are given in (1.10) and (A.1), respectively.
Since, 2D CBF equations with \(r=1\) is a linear perturbation of 2D NSE, one can prove the next theorem using the same arguments as it is carried for 2D random CBF equations (2.12) with \(d=2\) and \(r=1\) in Sect. 4.2. Moreover, there are only minor changes, hence we omit the proof here.
Theorem A.4
Assume that Assumptions A.1 and A.3 hold true. Then there exists a unique \(\mathfrak {D}\)-pullback random attractor for the system (A.1), in \(\mathbb {L}^2(\mathcal {O})\).
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Kinra, K., Mohan, M.T. Long Term Behavior of 2D and 3D Non-autonomous Random Convective Brinkman–Forchheimer Equations Driven by Colored Noise. J Dyn Diff Equat (2024). https://doi.org/10.1007/s10884-024-10347-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10884-024-10347-w
Keywords
- Wong–Zakai approximations
- Pullback random attractor
- Upper semicontinuity
- Stochastic convective Brinkman–Forchheimer equations