Skip to main content

The asymptotic behavior of the stochastic coupled Kuramoto–Sivashinsky and Ginzburg–Landau equations


The stochastic coupled Kuramoto–Sivashinsky and Ginzburg–Landau equations (KS-GL) perturbed by additive noises is investigated in this paper. By making careful analysis, we first consider the existence and uniqueness of the solution with initial-boundary condition, and then we establish a random attractor for the stochastic KS–GL equations in \(X=L^{2} \times H^{-1}\).

1 Introduction

The coupled Kuramoto–Sivashinsky and Ginzburg–Landau (KS–GL) equation comes from the nonlinear evolution of the coupled long-scale oscillatory and monotonic instabilities of a uniformly propagating combustion wave governed by a sequential chemical reaction, having two flame fronts corresponding to two reaction zones with a finite separation distance between them. They describe the interaction between the excited monotonic mode and the excited or damped oscillatory mode (see [14]). In fact, the actual chemical kinetics governing the structure of flames can be quite complex and leads to qualitative behavior of flames which cannot be accounted for by a one-stage kinetic model. A number of papers were devoted to the investigation of the propagation of flame fronts [511]. A simplified model called the coupled system of KS–GL equations for the Marangoni convection is of the form:

$$\begin{gathered} \partial_{t} A-\mu A-\partial_{x}^{2} A+k \vert A \vert ^{2}A=Ah, \\ \partial_{t} h+m\partial_{x}^{2} h+\nu \partial_{x}^{4} h=\alpha \partial_{x}^{2} \bigl( \vert A \vert ^{2}\bigr),\end{gathered} $$

where \(A(x, t)\) is the rescaled complex amplitude for the Marangoni convective mode, the real function \(h(x, t)\) is the interface deformation, the constant α is called “Marangoni coefficient”, and the parameters k, ν, μ, m are all real-valued constants with \(k>0\), \(\nu>0\).

The periodic initial–boundary problem of the KS–GL equations has been studied by a couple of authors. If taking the coefficient \(\mu=\nu =m=1\), the global unique solvability of the periodic initial–boundary value problem was established in [1214]. Furthermore, as was shown in [15], the problem has a global solution for any value of the coupling constant and a minimal global attractor in the case of Dirichlet boundary conditions for certain values of the parameters. However, some perturbations may neglect in the derivation of this ideal model, and one often represents the microeffects by random perturbations in the dynamics of the macro observables. Thus, it is interesting to consider stochastic effect in KS–GL equation. So far, we only know that the stochastic version of KS–GL type model for the Marangoni convection with the periodic initial–boundary problem has a unique solution \(A\in C([0,T], H_{\mathrm{per}}^{2})\cap L^{2}([0,T], H_{\mathrm{per}}^{3})\), \(h\in C([0,T], H_{\mathrm{per}}^{2})\cap L^{2}([0,T], H_{\mathrm{per}}^{4})\) under the condition \(0<\alpha<2\) in [16].

In this paper, we focus on the existence of random attractor for the following stochastic KS–GL (SKS–GL) equations with additive noises:

$$\begin{aligned}& \partial_{t} A-\mu A-\partial_{x}^{2} A+k \vert A \vert ^{2}A=Ah+\varPhi_{1} \dot{W}_{1}, \end{aligned}$$
$$\begin{aligned}& \partial_{t} h+m\partial_{x}^{2} h+\nu\partial _{x}^{4} h=\alpha\partial_{x}^{2} \bigl( \vert A \vert ^{2}\bigr)+\varPhi_{2} \dot{W}_{2}, \end{aligned}$$

under the initial value conditions

$$ A(x,0)=A_{0}(x),\qquad h(x,0)=h_{0}(x),\quad x \in(0,l) $$

and the boundary value conditions

$$\begin{aligned}& A(0,t)=A(l,t)=0,\quad t>0, \end{aligned}$$
$$\begin{aligned}& h(0,t)=h(l,t)=\partial_{x}^{2} h(0,t)= \partial _{x}^{2} h(l,t)=0,\quad t>0. \end{aligned}$$

The random process \(W_{i}=\sum_{j=1}^{\infty}\beta_{j}^{i}(t,\omega)e_{j}(x)\) (\(i=1,2\)) is a two-sided in time cylindrical Wiener process on \(L^{2}(0,l)\) associated to a complete probability space \((\varOmega, \mathbb {F}, P)\), where \(\{\beta_{j}^{i}(t,\omega)\}_{j=1}^{\infty}\) is a family of mutually independent, identically distributed standard Brownian motions and \(\{e_{j}(x)\}_{j=1}^{\infty}\) is an orthonormal basis of \(L^{2}(0,l)\). The function \(\varPhi_{i}\) is a Hilbert–Schmidt operator.

The notion of random attractors for a stochastic dynamical system has been introduced in [1719]. Random attractors are compact invariant sets, however, they are not fixed, depend on chance and move with time. It seems to be a generalization of the classical concept of global attractors for deterministic dynamical systems and has been successfully applied to many infinite-dimensional stochastic dynamical systems [17, 18, 20]. To investigate the equations (SKS–GL), we first establish the global unique solvability of the problem without the restriction of α as done in [15]. Then we assume that \(\nu\lambda_{1}-m>0\) for \(\alpha>0\) and \(\nu\lambda_{1}-m>\frac{16|\alpha |}{k}\) for \(\alpha<0\) (where \(\lambda_{1}=(\frac{\pi}{l})^{2}\) is the first eigenvalue of the problem \(-\psi^{\prime\prime}=\lambda\psi\) for \(x\in (0,l)\) with \(\psi(0)=\psi(l)=0\)), and establish the random attractors for the stochastic KS–GL equations in \(X=L^{2} \times H^{-1}\). So, our results supplement the results of [16].

This paper is organized as follows. In the next section, we briefly give some basic and important concepts related to random dynamical systems (RDS). In Sect. 3, we establish a prior estimates for the solutions to the initial problem (1)–(5). Although the results are similar to the deterministic equations, the proof is more complicated due to the random perturbations. In Sect. 4, we conclude the main result by studying the long time behavior of the studied equation.

2 Notations and preliminaries

2.1 Notations

For the mathematical setting of the problem, we introduce the Sobolev space \(H^{k}\) with the norm \(\|\cdot\|_{H^{k}}\) and the Banach space \(L^{p}\) with the norm \(\|\cdot\|_{L^{p}}\). Especially, we denote \((\cdot,\cdot)\) the inner product in \(L^{2}\), where

$$(u,v)=\operatorname{Re} \int_{0}^{l} u(x)\bar{v}(x)\,dx. $$

Let \(\{e_{n}\}\) be the orthonormal basis in \(L^{2}\), which themselves are the eigenvectors with the corresponding eigenvalues \(\lambda_{n}>0\) and \(\lambda_{n}\nearrow\infty\) as \(n\mapsto\infty\). For the first eigenvalue, we have the inequality \(\lambda_{1}\|u\|_{L^{2}}^{2}\leq\|u\| _{H^{1}}^{2}\). Throughout this paper, \(\epsilon_{i}\) (\(i=1,2,\dots, 6\)) and C denote positive constants which depend on the coefficients of equations (1)–(2).

Given two separable Hilbert space H and K, we define \(L_{2}^{0}(H,K)\) to be the space of Hilbert operators from H to K with the norm

$$\Vert \varPhi \Vert _{L_{2}^{0}(H, K)}^{2}=\sum _{k\in\mathbb{N}} \vert \varPhi e_{k} \vert _{K}^{2}, $$

where \(\{e_{k}\}_{k\in\mathbb{N}}\) is any orthonormal basis of H. In particular, when \(H=L^{2}\), \(K=H^{1}\), we rewrite the norm in a simpler form:

$$\Vert \varPhi \Vert _{L_{2}^{0}(L^{2}, H^{1})}^{2}= \Vert \varPhi \Vert _{L_{2}^{0,1}}^{2}. $$

2.2 Preliminary results on RDS

We now recall some concepts and well-known results related to random attractors for RDS. For further details, the readers are referred to [17] and [18].

Definition 2.1

We call \((\varOmega,\mathcal{F},P,(\theta_{t})_{t\in \mathbb{R}})\) a metric dynamical system if \(\theta_{\cdot}:\mathbb {R}\times\varOmega\rightarrow\varOmega\) is a \((\mathcal{B}(\mathbb{R})\times\mathcal{F}\rightarrow\mathcal {F})\)-measurable mapping on a probability space \((\varOmega,\mathcal {F},P)\) satisfying \(\theta_{0}=\mathit{id}\), \(P\circ\theta_{t}^{-1}=P\) and \(\theta _{t+s}=\theta_{t}\circ\theta_{s}\) for all \(s,t\in\mathbb{R}\).

Definition 2.2

A continuous RDS on a Polish space \((X, d)\) with Borel σ-algebra \(\mathcal{F}\) over θ on \((\varOmega, \mathcal{F}, P)\) is a measurable mapping

$$\phi: \mathbb{R^{+}}\times\varOmega\times X \rightarrow X,\quad (t, \omega, x)\rightarrow \phi(t, \omega)x, $$

which is \((\mathcal{B}(\mathbb{R^{+}})\times\mathcal{F}\times\mathcal {B}(X),\mathcal{B}(X))\)-measurable and satisfies P-a.s.

  1. (1)

    \(\phi(0, \omega)= \mathit{id}\) on X;

  2. (2)

    \(\phi(t+s,\omega)=\phi(t,\theta_{s} \omega)\circ\phi(s,\omega)\) for all \(t,s\in\mathbb{R^{+}}\) (cocycle property);

  3. (3)

    \(\phi(t,\omega): X\rightarrow X\) is continuous for all \(t\in\mathbb {R^{+}}\).

Definition 2.3

A random compact set \(K(\omega)_{\omega\in\varOmega }\) is a family of compact sets indexed by ω such that for each \(x\in X\) the map \(\omega\rightarrow d(x, K(\omega))\) is measurable with respect to \(\mathcal{F}\).

Definition 2.4

Let \(\mathcal{A}(\omega)\) be a random set and \(B\subset X\), one says \(\mathcal{A}(\omega)\) attracts B if

$$\lim_{t\rightarrow\infty}\operatorname{dist}\bigl(\phi(t,\theta_{-t} \omega)B, \mathcal{A}\bigr)=0\quad \mathrm{a.s.} $$

Definition 2.5

A random set \(\mathcal{A}(\omega)\) is said to be a random attractor for the RDS ϕ if P-a.s.

  1. (1)

    \(\mathcal{A}(\omega)\) is a random compact set;

  2. (2)

    \(\mathcal{A}(\omega) \) is invariant, i.e., \(\phi(t,\omega)\mathcal {A}(\omega) =\mathcal{A}(\theta_{t}\omega)\), for all \(t>0\);

  3. (3)

    \(\mathcal{A}(\omega) \) attracts all deterministic bounded sets \(B\subset X\).

Theorem 2.6

If there exists a random compact set absorbing every bounded set\(B\subset X\), then the RDSϕpossesses a random attractor\(\mathcal{A}(\omega)=\overline{\bigcup_{B\subset X}\varLambda _{B}(\omega)}\), where\(\varLambda_{B}(\omega):=\bigcap_{s\geq0}\overline {\bigcup_{t\geq s}\phi(t,\theta_{-t}\omega)B}\)is the omega-limit set ofB.

3 Existence and uniqueness of solutions

In this section, we establish a priori estimates for the solutions of the initial–boundary problem (1)–(5). Firstly, we consider two linear stochastic problems:

$$\begin{aligned}& dW_{A}=\partial_{x}^{2} W_{A}\,dt+\varPhi_{1}\,dW_{1},\quad W_{A}(0)=0, \end{aligned}$$
$$\begin{aligned}& dW_{h}=-\nu\partial_{x}^{4} W_{h}\,dt+\varPhi_{2}\,dW_{2},\quad W_{h}(0)=0, \end{aligned}$$

under the boundary value conditions:

$$W_{A}(0,t)=W_{A}(l,t)=0,\quad t>0, $$


$$W_{h}(0,t)=W_{h}(l,t)=\partial_{x}^{2} W_{h}(0,t)=\partial_{x}^{2} W_{h}(l,t)=0,\quad t>0. $$

We assume that \(\varPhi_{i}\in L_{2}^{0,1}\) (\(i=1,2\)) and recall from [21, 22] that the solutions \(W_{A}(t)\) and \(W_{h}(t)\) given by problems (6)–(7) are well defined. They have paths in \(C([0,\infty], H_{0}^{1})\) and \(C([0,\infty], H^{2}\cap H_{0}^{1})\), respectively. Moreover, for any t, s,

$$W_{i}(t, \theta_{s} \omega)=W_{i}(t+s, \omega),\quad i=A, h, \mathrm{a.s.} $$

Since \(W_{i}\) (\(i=A, h\)) is Gaussian, it follows that for any \(q, r\geq1\), there exists a constant \(M(q,r)\) independent of t such that

$$ E\bigl( \Vert W_{i} \Vert _{L^{q}}^{r} \bigr)< M(q,r). $$


$$ u(t)=A(t)-W_{A}(t),\qquad v(t)=h(t)-W_{h}(t),\quad t\geq0. $$

Note that by (1) and (2), we have

$$\begin{aligned}& dA=\bigl(\mu A+\partial_{x}^{2} A-k \vert A \vert ^{2}A+Ah\bigr)\,dt+\varPhi_{1}\,d{W}_{1}, \end{aligned}$$
$$\begin{aligned}& dh=\bigl(-m\partial_{x}^{2} h-\nu \partial_{x}^{4} h+\alpha\partial_{x}^{2} \bigl( \vert A \vert ^{2}\bigr)\bigr)\, dt+\varPhi_{2}\,d{W}_{2}. \end{aligned}$$

Inserting (6)–(7) and (10)–(11) into (9) and noticing that the noise disappears, we obtain that functions \(u(t)\), \(v(t)\) satisfy

$$\begin{aligned}& \partial_{t} u-\mu(u+W_{A})- \partial_{x}^{2} u+k \vert u+W_{A} \vert ^{2}(u+W_{A})=(u+W_{A}) (v+W_{h}), \end{aligned}$$
$$\begin{aligned}& \partial_{t} v+m\partial_{x}^{2} (v+W_{h})+\nu \partial_{x}^{4} v=\alpha \partial_{x}^{2}\bigl( \vert u+W_{A} \vert ^{2}\bigr), \end{aligned}$$

as well as the initial value conditions:

$$ u(x,0)=A_{0}(x),\qquad v(x,0)=h_{0}(x),\quad x \in(0,l) $$

and the boundary value conditions:

$$\begin{aligned}& u(0,t)=u(l,t)=0,\quad t>0, \end{aligned}$$
$$\begin{aligned}& v(0,t)=v(l,t)=\partial_{x}^{2} v(0,t)= \partial _{x}^{2} v(l,t)=0,\quad t>0. \end{aligned}$$

Theorem 3.1

Assume that\(\varPhi_{i}\in L_{2}^{0,1}\) (\(i=1,2\)). For any\(\mathcal{F}_{0}\)-measurable\(A_{0}\in L^{2}(0,l)\)and\(h_{0}\in H^{-1}(0,l)\), and for given\(T>0\), there exists a unique weak solution

$$\begin{gathered} u\in C\bigl(0,T; L^{2}(0,l)\bigr)\cap L^{2} \bigl(0,T;H_{0}^{1}(0,l)\bigr), \\ v\in C\bigl(0,T; H^{-1}(0,l)\bigr)\cap L^{2} \bigl(0,T;H_{0}^{1}(0,l)\bigr),\end{gathered} $$

satisfying (12)(16) in the distributional sense with\((u,v) |_{t=0}=(A_{0},h_{0})\). Moreover, the mapping\((u_{0},v_{0})\mapsto (u,v)\)is continuous in\(E=L^{2}(0,l)\times H^{-1}(0,l)\).


Let \(P^{2}\) be the inverse of the operator \(L=-\frac{d^{2}}{dx^{2}}\) with the domain \(D(L)=H^{2}(0,l)\cap H_{0}^{1}(0,l)\). Applying the operator \(P^{2}\) to both sides of equation (13), we obtain

$$\begin{aligned}& \partial_{t} u-\mu(u+W_{A})- \partial_{x}^{2} u+k \vert u+W_{A} \vert ^{2}(u+W_{A})=(u+W_{A}) (v+W_{h}), \end{aligned}$$
$$\begin{aligned}& P^{2} \partial_{t} v-m(v+W_{h})- \nu\partial_{x}^{2} v=-\alpha\bigl( \vert u+W_{A} \vert ^{2}\bigr), \end{aligned}$$
$$\begin{aligned}& u(x,0)=A_{0}(x),\qquad v(x,0)=h_{0}(x),\quad x \in(0,l), \end{aligned}$$
$$\begin{aligned}& u(0,t)=u(l,t)=0,\qquad v(0,t)=v(l,t)=0,\quad t>0. \end{aligned}$$

Multiplying (17) by ū, integrating with respect to x over \((0,l)\), and taking the real part, we obtain

$$ \begin{aligned}[b]&\frac{d}{dt} \Vert u \Vert _{L^{2}}^{2}-2\mu \Vert u \Vert _{L^{2}}^{2}+2 \Vert \partial _{x} u \Vert _{L^{2}}^{2} \\ &\quad= 2 \operatorname{Re} \int_{0}^{l} \bar{u}\bigl[\mu W_{A}-k \vert u+W_{A} \vert ^{2}(u+W_{A})+(u+W_{A}) (v+W_{h})\bigr]\,dx \\ &\quad= I_{1}+I_{2}+I_{3}. \end{aligned} $$

To estimate the terms on the RHS of (21), we have

$$ \begin{aligned} I_{1}=2 \operatorname{Re} \int_{0}^{l} \bar{u}\mu W_{A}\,dx& \leq 2 \vert \mu \vert \Vert u \Vert _{L^{2}} \Vert W_{A} \Vert _{L^{2}}\leq\epsilon_{1} \Vert u \Vert _{L^{2}}^{2}+C\bigl(\epsilon _{1}, \vert \mu \vert \bigr) \Vert W_{A} \Vert _{L^{2}}^{2}, \end{aligned} $$


$$ \begin{aligned}[b]I_{2}&=-2k \operatorname{Re} \int_{0}^{l} \bar {u} \vert u+W_{A} \vert ^{2}(u+W_{A})\,dx \\ &=-2k \operatorname{Re} \int_{0}^{l} \bar {u}\bigl[ \vert u \vert ^{2}+uW_{A}+\bar{u}W_{A}+W_{A}^{2} \bigr](u+W_{A})\,dx \\ &\leq -2k \Vert u \Vert _{L^{4}}^{4}+6k \int_{0}^{l} \vert u \vert ^{3} \vert W_{A} \vert \,dx+6k \int_{0}^{l} \vert u \vert ^{2} \vert W_{A} \vert ^{2}\, dx+2k \int_{0}^{l} \vert u \vert \vert W_{A} \vert ^{3}\,dx \\ &\leq-2k \Vert u \Vert _{L^{4}}^{4}+6k \Vert u \Vert _{L^{4}}^{3} \Vert W_{A} \Vert _{L^{4}}+6k \Vert u \Vert _{L^{4}}^{2} \Vert W_{A} \Vert _{L^{4}}^{2}+2k \Vert u \Vert _{L^{4}} \Vert W_{A} \Vert _{L^{4}}^{3} \\ &\leq-2k \Vert u \Vert _{L^{4}}^{4}+ \frac{k}{2} \Vert u \Vert _{L^{4}}^{4}+C( k) \Vert W_{A} \Vert _{L^{4}}^{4}. \end{aligned} $$


$$ \begin{aligned}[b]I_{3}&=2 \operatorname{Re} \int_{0}^{l} \bar{u}(u+W_{A}) (v+W_{h})\, dx \\ &\leq2 \int_{0}^{l}\bigl( \vert u \vert ^{2}v+ \vert u \vert ^{2} \vert W_{h} \vert + \vert u \vert \vert v \vert \vert W_{A} \vert + \vert u \vert \vert W_{A} \vert \vert W_{h} \vert \bigr)\,dx \\ &\leq2 \int_{0}^{l} \vert u \vert ^{2}v \,dx+2 \Vert u \Vert _{L^{4}}^{2} \Vert W_{h} \Vert _{L^{2}}+ \Vert u \Vert _{L^{4}} \Vert v \Vert _{L^{2}} \Vert W_{A} \Vert _{L^{4}}+ \Vert u \Vert _{L^{2}} \Vert W_{A} \Vert _{L^{4}} \Vert W_{h} \Vert _{L^{4}}\hspace{-12pt} \\ &\leq 2 \int_{0}^{l} \vert u \vert ^{2}v \,dx+\frac{k}{2} \Vert u \Vert _{L^{4}}^{4}+ \epsilon_{1} \Vert u \Vert _{L^{2}}^{2}+ \epsilon_{2} \Vert v \Vert _{L^{2}}^{2}+C( \epsilon_{1},\epsilon_{2}) \bigl( \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{4}}^{4}\bigr). \end{aligned} $$

Combining (22)–(24) with (21), we have

$$ \begin{aligned}[b]&\frac{d}{dt} \Vert u \Vert _{L^{2}}^{2}-2(\mu+\epsilon_{1}) \Vert u \Vert _{L^{2}}^{2}+2 \Vert \partial_{x} u \Vert _{L^{2}}^{2}+k \Vert u \Vert _{L^{4}}^{4} \\ &\quad\leq2 \int _{0}^{l} \vert u \vert ^{2}v \,dx+\epsilon_{2} \Vert v \Vert _{L^{2}}^{2}+C \bigl(\epsilon_{1},\epsilon_{2}, \vert \mu \vert ,k \bigr) \bigl( \Vert W_{A} \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{4}}^{4}\bigr). \end{aligned} $$

Similarly, multiplying (18) by v, we get the equality

$$ \begin{aligned}[b]&\frac{d}{dt} \Vert Pv \Vert _{L^{2}}^{2}-2m \Vert v \Vert _{L^{2}}^{2}+2\nu \Vert \partial_{x} v \Vert _{L^{2}}^{2} \\ &\quad= 2m \int_{0}^{l} vW_{h}\,dx-2\alpha \int _{0}^{l}v \vert u+W_{A} \vert ^{2}\,dx=I_{4}+I_{5}. \end{aligned} $$

For the RHS of (26), we find that

$$ I_{4}=2m \int_{0}^{l} vW_{h}\,dx\leq \frac{\epsilon_{2}}{2} \Vert v \Vert _{L^{2}}^{2}+C( \epsilon _{2}) \Vert W_{h} \Vert _{L^{2}}^{2} $$


$$ \begin{aligned}[b] I_{5}&=-2\alpha \int_{0}^{l}v \vert u+W_{A} \vert ^{2}\,dx=-2\alpha \int_{0}^{l}v\bigl( \vert u \vert ^{2}+\bar {u}W_{A}+uW_{A}+W_{A}^{2} \bigr)\,dx \\ &\leq-2\alpha \int_{0}^{l} \vert u \vert ^{2}v \,dx+4 \vert \alpha \vert \Vert u \Vert _{L^{4}} \Vert W_{A} \Vert _{L^{4}} \Vert v \Vert _{L^{2}}+2 \vert \alpha \vert \Vert v \Vert _{L^{2}} \Vert W_{A} \Vert _{L^{4}}^{2} \\ &\leq-2\alpha \int_{0}^{l} \vert u \vert ^{2}v \,dx+\epsilon_{3} \Vert u \Vert _{L^{4}}^{4}+ \frac {\epsilon_{2}}{2} \Vert v \Vert _{L^{2}}^{2}+C\bigl( \epsilon_{2},\epsilon_{3}, \vert \alpha \vert \bigr) \Vert W_{A} \Vert _{L^{4}}^{4}. \end{aligned} $$

Taking \(\epsilon_{3}=\frac{k}{2}\), from (26)–(28), we get

$$ \begin{aligned}[b] &\frac{d}{dt} \Vert Pv \Vert _{L^{2}}^{2}-(2m+\epsilon_{2}) \Vert v \Vert _{L^{2}}^{2}+2\nu \Vert \partial _{x} v \Vert _{L^{2}}^{2} \\ &\quad\leq -2\alpha \int_{0}^{l} \vert u \vert ^{2}v \,dx+\frac{k}{2} \Vert u \Vert _{L^{4}}^{4}+C \bigl(\epsilon _{2},k, \vert \alpha \vert \bigr) \bigl( \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{2}}^{2}\bigr). \end{aligned} $$

Combining (25) with (29), we have

$$ \begin{aligned}[b] &\frac{d}{dt}\bigl( \Vert u \Vert _{L^{2}}^{2}+ \Vert Pv \Vert _{L^{2}}^{2} \bigr)+2 \Vert \partial_{x} u \Vert _{L^{2}}^{2}+ \frac{k}{2} \Vert u \Vert _{L^{4}}^{4}+2\nu \Vert \partial_{x} v \Vert _{L^{2}}^{2} \\ &\quad\leq2(\mu+\epsilon_{1}) \Vert u \Vert _{L^{2}}^{2}+(2m+2 \epsilon_{2}) \Vert v \Vert _{L^{2}}^{2}+2(1- \alpha ) \int_{0}^{l} \vert u \vert ^{2}v \,dx+g_{1}(t), \end{aligned} $$


$$g_{1}(t)=C\bigl(\epsilon_{1},\epsilon_{2},k, \vert \mu \vert , \vert \alpha \vert \bigr) \bigl( \Vert W_{A} \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{2}}^{2}+ \Vert W_{h} \Vert _{L^{4}}^{4}\bigr). $$

On the other hand, we notice that

$$ \begin{aligned} 2(1-\alpha) \int_{0}^{l} \vert u \vert ^{2}v \,dx\leq\frac{k}{4} \Vert u \Vert _{L^{4}}^{4}+ \frac {4(1-\alpha)^{2}}{k} \Vert v \Vert _{L^{2}}^{2} \end{aligned} $$


$$ \begin{aligned} \Vert v \Vert _{L^{2}}^{2}= \bigl(P^{-1}v,Pv\bigr)\leq \bigl\Vert P^{-1}v \bigr\Vert _{L^{2}}^{2} \Vert Pv \Vert _{L^{2}}^{2} \leq \epsilon_{4} \Vert \partial_{x} v \Vert _{L^{2}}^{2}+C(\epsilon_{4}) \Vert Pv \Vert _{L^{2}}^{2}. \end{aligned} $$

Taking \(\epsilon_{4}=\nu/[2|m|+2\epsilon_{2}+4(1-\alpha)^{2}/k]\), we have

$$ \begin{aligned}[b] &\frac{d}{dt}\bigl( \Vert u \Vert _{L^{2}}^{2}+ \Vert Pv \Vert _{L^{2}}^{2}\bigr)+2 \Vert \partial_{x} u \Vert _{L^{2}}^{2}+\frac{k}{4} \Vert u \Vert _{L^{4}}^{4}+\nu \Vert \partial_{x} v \Vert _{L^{2}}^{2} \\ &\quad\leq2\bigl( \vert \mu \vert +\epsilon_{1}\bigr) \Vert u \Vert _{L^{2}}^{2}+C\bigl(\nu,\alpha,\epsilon_{2},k, \vert m \vert \bigr) \Vert Pv \Vert _{L^{2}}^{2}+g_{1}(t). \end{aligned} $$

Applying Gronwall’s inequality and (8), we deduce that for \(t\in[0,T]\),

$$ E\bigl( \Vert u \Vert _{L^{2}}^{2}+ \Vert Pv \Vert _{L^{2}}^{2}\bigr)\leq e^{dt}E \biggl( \Vert u_{0} \Vert _{L^{2}}^{2}+ \Vert Pv_{0} \Vert _{L^{2}}^{2}+ \int_{0}^{t}g_{1}(s)\,ds \biggr), $$

where \(d=\max\{2|\mu|+2\epsilon_{1},C(\nu,\alpha,\epsilon_{2},k,|m|)\}\). Furthermore, integrating and taking the expectation in (30), we can get from (31) that

$$ \begin{aligned}[b] &E\biggl( \int_{0}^{t} \Vert \partial_{x} u \Vert _{L^{2}}^{2}\,ds\biggr), E\biggl( \int_{0}^{t} \Vert u \Vert _{L^{4}}^{4}\,ds\biggr), E\biggl( \int_{0}^{t} \Vert \partial_{x} v \Vert _{L^{2}}^{2}\,ds\biggr)\\ &\quad\leq C\bigl(\nu,\alpha,k, \vert m \vert , \vert \mu \vert ,\epsilon_{1}, \epsilon_{2},t\bigr). \end{aligned} $$

Based on the estimates (31)–(32), we use the standard argument to prove the existence of a global solution of the problem (12)–(16) on the interval \([0,T]\). As done in [15], the uniqueness of the solution can be obtained, which implies that the solution \((u(t),v(t))\) is continuous with respect to \((u_{0},v_{0})\) for all \(t\in[0,T]\). □

4 Random attractors

By the same proof as Theorem 3.1, we can show that for P-a.s. \(\omega \in\varOmega\) and linear operator \(\varPhi_{i}\in L_{2}^{0,1}\) (\(i=1,2\)), the following statements hold:

  1. (1)

    For any \(t_{0}\in R\), \(u(t_{0})\in L^{2}\), \(v(t_{0})\in H^{-1}\), there exists a unique solution \(u\in C(t_{0},T; L^{2}(0,l))\cap L^{2}(t_{0},T;H_{0}^{1}(0,l))\), \(v\in C(t_{0},T; H^{-1}(0,l))\cap L^{2}(t_{0},T;H^{1}(0,l))\) of (12)–(13) satisfying the initial value conditions \(u(x,t_{0})=A(t_{0})-W_{A}(t_{0})\), \(v(x,t_{0})=h(t_{0})-W_{h}(t_{0})\) and the boundary value conditions (15)–(16) for \(t>t_{0}\).

  2. (2)

    The mapping \(\phi(t_{0})\mapsto\phi(t)\) from \(L^{2}\times H^{-1}\) to \(L^{2}\times H^{-1}\) is continuous for all \(t\geq t_{0}\).

    Hence, the solution mapping \(\phi(t_{0})\mapsto\phi(t,\omega,\phi(t_{0}))=(u(t,\omega,u(t_{0})),v(t,\omega ,v(t_{0})))\) generates a continuous RDS, where \(\phi(t_{0})=(u(t_{0}),v(t_{0}))\).

In order to prove the existence of a compact absorbing set at time \(t=-1\) in \(L^{2}\times H^{-1}\), we give the following estimates.

Lemma 4.1

There exists a random radius\(r(\omega)\)such that for all\(\rho>0\)there exists\(\bar{t}\leq-1\)such that for all\(t_{0}\leq\bar{t}\)with\(|\alpha|\|A(t_{0})\|_{L^{2}}^{2}+\|Ph(t_{0})\| _{L^{2}}^{2}\leq\rho^{2}\), the solutions of (17)(20) over\([t_{0},\infty)\)satisfy the inequality

$$\vert \alpha \vert \bigl\Vert u\bigl(-1,\omega,A(t_{0})-W_{A}(t_{0}) \bigr) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert Pv\bigl(-1, \omega ,Ph(t_{0})-PW_{h}(t_{0})\bigr) \bigr\Vert _{L^{2}}^{2}\leq r^{2}(\omega) \quad\mathrm{a.s.} $$


We consider two cases and begin with the case \(\alpha>0\). Taking \(\epsilon_{3}=\frac{k\alpha}{2}\) in (28), we find that (29) becomes

$$ \begin{aligned}[b] &\frac{d}{dt} \Vert Pv \Vert _{L^{2}}^{2}-(2m+\epsilon_{2}) \Vert v \Vert _{L^{2}}^{2}+2\nu \Vert \partial _{x} v \Vert _{L^{2}}^{2} \\ &\quad\leq -2\alpha \int_{0}^{l} \vert u \vert ^{2}v \,dx+\frac{k\alpha}{2} \Vert u \Vert _{L^{4}}^{4}+C( \epsilon _{2},k,\alpha) \bigl( \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{2}}^{2}\bigr). \end{aligned} $$

Multiplying (25) by α and putting it into (33), we have

$$ \begin{aligned}[b] &\frac{d}{dt}\bigl(\alpha \Vert u \Vert _{L^{2}}^{2}+ \Vert Pv \Vert _{L^{2}}^{2}\bigr)+2\alpha \Vert \partial_{x} u \Vert _{L^{2}}^{2}+\frac{k\alpha}{2} \Vert u \Vert _{L^{4}}^{4}+2\nu \Vert \partial_{x} v \Vert _{L^{2}}^{2} \\ &\quad\leq2\alpha(\mu+\epsilon_{1}) \Vert u \Vert _{L^{2}}^{2}+ \bigl(2m+(\alpha +1)\epsilon_{2}\bigr) \Vert v \Vert _{L^{2}}^{2}+g_{2}(t), \end{aligned} $$


$$g_{2}(t)=\alpha C\bigl(\epsilon_{1}, \epsilon_{2}, \vert \mu \vert ,k\bigr) \bigl( \Vert W_{A} \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{4}}^{4}\bigr)+C( \epsilon_{2},k,\alpha) \bigl( \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{2}}^{2}\bigr), $$

and \(h(t)\) has at most polynomial growth as \(t\mapsto\infty\), for P-a.s. \(\omega\in\varOmega\).

By Poincaré inequality, we get

$$\begin{aligned}& \begin{aligned} 2\alpha \Vert \partial_{x} u \Vert _{L^{2}}^{2}\geq2\alpha \lambda_{1} \Vert u \Vert _{L^{2}}^{2}, \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned}[b] 2\nu \Vert \partial_{x} v \Vert _{L^{2}}^{2}-\bigl(2m+(\alpha+1) \epsilon_{2}\bigr) \Vert v \Vert _{L^{2}}^{2}& \geq \bigl(2\nu\lambda_{1}-2m-(\alpha+1)\epsilon_{2}\bigr) \Vert v \Vert _{L^{2}}^{2} \\ &\geq\lambda_{1} \gamma_{0} \Vert Pv \Vert _{L^{2}}^{2}+\gamma_{0} \Vert v \Vert _{L^{2}}^{2}. \end{aligned} \end{aligned}$$

We take \(\epsilon_{2}={{\nu\lambda_{1}-m}\over {\alpha+1}}\) and \(2\gamma _{0}=2\nu\lambda_{1}-2m-(\alpha+1)\epsilon_{2}\) provided \(\nu\lambda_{1}-m>0\). Using Cauchy inequality, we find

$$ \begin{aligned} 2\alpha(\mu+\epsilon_{1}) \Vert u \Vert _{L^{2}}^{2}\leq\frac{k\alpha}{4} \Vert u \Vert _{L^{4}}^{4}+\frac{4\alpha l(\mu+\epsilon_{1})^{2}}{k}. \end{aligned} $$

From (34)–(37), we obtain the following inequality:

$$ \begin{aligned} [b]&\frac{d}{dt}\bigl(\alpha \Vert u \Vert _{L^{2}}^{2}+ \Vert Pv \Vert _{L^{2}}^{2}\bigr)+2\alpha\lambda_{1} \Vert u \Vert _{L^{2}}^{2}+\lambda_{1} \gamma_{0} \Vert Pv \Vert _{L^{2}}^{2}+ \frac{k\alpha}{4} \Vert u \Vert _{L^{4}}^{4}+ \gamma_{0} \Vert v \Vert _{L^{2}}^{2} \\ &\quad\leq\frac{4\alpha l(\mu+\epsilon_{1})^{2}}{k}+g_{2}(t)=g_{3}(t). \end{aligned} $$

Denoting \(d=\lambda_{1} \min\{2, \gamma_{0}\}\) and applying Gronwall’s inequality, we have

$$ \begin{aligned} \alpha \bigl\Vert u(t) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert Pv(t) \bigr\Vert _{L^{2}}^{2}\leq\bigl(\alpha \bigl\Vert u(s) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert Pv(s) \bigr\Vert _{L^{2}}^{2}\bigr)e^{-d(t-s)}+ \int_{s}^{t}g_{3}( \tau)e^{-d(t-\tau)}\,d\tau, \end{aligned} $$

for all \(t_{0}\leq s\leq t\). For \(t=-1\), \(s=t_{0}\), we get

$$ \begin{aligned} &\alpha \bigl\Vert u(-1) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert Pv(-1) \bigr\Vert _{L^{2}}^{2} \\ &\quad\leq\bigl(\alpha \bigl\Vert u(t_{0}) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert Pv(t_{0}) \bigr\Vert _{L^{2}}^{2}\bigr)e^{d(1+t_{0})}+ \int_{t_{0}}^{-1}g_{3}(\tau )e^{d(1+\tau)}\,d\tau \\ &\quad\leq\bigl(\alpha \bigl\Vert A(t_{0}) \bigr\Vert _{L^{2}}^{2}+\alpha \bigl\Vert W_{A}(t_{0}) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert Ph(t_{0}) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert PW_{h}(t_{0}) \bigr\Vert _{L^{2}}^{2}\bigr)e^{d(1+t_{0})} \\ &\qquad+ \int_{-\infty }^{-1}g_{3}( \tau)e^{d(1+\tau)}\,d\tau. \end{aligned} $$


$$r_{1}^{2}(\omega)=1+\sup_{t_{0}\leq-1}\bigl( \alpha \bigl\Vert W_{A}(t_{0}) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert PW_{h}(t_{0}) \bigr\Vert _{L^{2}}^{2}\bigr)e^{d(1+t_{0})}+ \int_{-\infty}^{-1}g_{3}( \tau)e^{d(1+\tau )}\,d\tau, $$

which is finite P-a.s. since \(\|W_{A}(t_{0})\|_{L^{2}}^{2}\), \(\|PW_{h}(t_{0})\| _{L^{2}}^{2}\) and \(g_{3}(\tau,\omega)\) have at most polynomial growth for \(t_{0}\) and τ, respectively, as they tend to −∞. Given \(\rho >0\) such that \(\alpha\|A(t_{0})\|_{L^{2}}^{2}+\|Ph(t_{0})\|_{L^{2}}^{2}\leq\rho ^{2}\), there exists such that \(e^{d(1+t_{0})}\rho^{2}\leq1\).

For the second case \(\alpha<0\), we take \(\alpha_{1}=-\alpha>0\). Letting \(\epsilon_{3}=\frac{k\alpha_{1}}{2}\), we observe that (29) becomes

$$ \begin{aligned}[b] &\frac{d}{dt} \Vert Pv \Vert _{L^{2}}^{2}-(2m+\epsilon_{2}) \Vert v \Vert _{L^{2}}^{2}+2\nu \Vert \partial _{x} v \Vert _{L^{2}}^{2} \\ &\quad\leq -2\alpha \int_{0}^{l} \vert u \vert ^{2}v \,dx+\frac{k\alpha_{1}}{2} \Vert u \Vert _{L^{4}}^{4}+C( \epsilon _{2},k,\alpha_{1}) \bigl( \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{2}}^{2}\bigr). \end{aligned} $$

Multiplying (25) by \(\alpha_{1}\) and putting it into (39), we get

$$ \begin{aligned}[b] &\frac{d}{dt}\bigl( \alpha_{1} \Vert u \Vert _{L^{2}}^{2}+ \Vert Pv \Vert _{L^{2}}^{2}\bigr)+2\alpha_{1} \Vert \partial _{x} u \Vert _{L^{2}}^{2}+ \frac{k\alpha_{1}}{2} \Vert u \Vert _{L^{4}}^{4}+2\nu \Vert \partial_{x} v \Vert _{L^{2}}^{2} \\ &\quad\leq2\alpha_{1}(\mu+\epsilon_{1}) \Vert u \Vert _{L^{2}}^{2}+(2m+\epsilon _{2}+ \epsilon_{2}\alpha_{1}) \Vert v \Vert _{L^{2}}^{2}+4\alpha_{1} \int_{0}^{l} \vert u \vert ^{2}v \,dx+g_{4}(t), \end{aligned} $$


$$g_{4}(t)=\alpha_{1} C\bigl(\epsilon_{1}, \epsilon_{2}, \vert \mu \vert \bigr) \bigl( \Vert W_{A} \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{4}}^{4}\bigr)+C( \epsilon_{2},k,\alpha_{1}) \bigl( \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{2}}^{2}\bigr). $$

We choose a positive number \(k_{1}< k\) such that the following inequalities hold:

$$ \begin{aligned} 2\alpha_{1}(\mu+ \epsilon_{1}) \Vert u \Vert _{L^{2}}^{2}\leq \frac{k_{1}\alpha_{1}}{4} \Vert u \Vert _{L^{4}}^{4}+ \frac{4\alpha_{1} l(\mu+\epsilon_{1})^{2}}{k_{1}} \end{aligned} $$


$$ \begin{aligned} 4\alpha_{1} \int_{0}^{l} \vert u \vert ^{2}v \,dx\leq\frac{k_{1}\alpha_{1}}{4} \Vert u \Vert _{L^{4}}^{4}+ \frac {16\alpha_{1}}{k_{1}} \Vert v \Vert _{L^{2}}^{2}. \end{aligned} $$

Applying Poincaré inequality once again, we have

$$ \begin{aligned}[b] &2\nu \Vert \partial_{x} v \Vert _{L^{2}}^{2}-\biggl(2m+\epsilon_{2}+ \epsilon_{2}\alpha_{1}+\frac {16\alpha_{1}}{k_{1}}\biggr) \Vert v \Vert _{L^{2}}^{2} \\ &\quad\geq\biggl(2\nu\lambda_{1}-2m-\epsilon _{2}- \epsilon_{2}\alpha_{1}-\frac{16\alpha_{1}}{k_{1}}\biggr) \Vert v \Vert _{L^{2}}^{2} \\ &\quad\geq \lambda_{1} \gamma_{1} \Vert Pv \Vert _{L^{2}}^{2}+\gamma_{1} \Vert v \Vert _{L^{2}}^{2}. \end{aligned} $$

We take \(2\epsilon_{2}(1+\alpha_{1})=2\nu\lambda_{1}-2m-\frac{16\alpha _{1}}{k_{1}}\) and \(2\gamma_{1}=2\nu\lambda_{1}-2m-\epsilon_{2}(1+\alpha_{1})-\frac {16\alpha_{1}}{k_{1}}\), provided \(2\nu\lambda_{1}-2m-\frac{16\alpha _{1}}{k_{1}}>0\). Combining (41)–(43) with (40) yields

$$ \begin{aligned} &\frac{d}{dt}\bigl(\alpha_{1} \Vert u \Vert _{L^{2}}^{2}+ \Vert Pv \Vert _{L^{2}}^{2}\bigr)+\alpha_{1} \lambda_{1} \Vert u \Vert _{L^{2}}^{2}+ \lambda_{1}\gamma_{1} \Vert P v \Vert _{L^{2}}^{2}+\frac{(k-k_{1})\alpha_{1}}{2} \Vert u \Vert _{L^{4}}^{4}+\gamma_{1} \Vert v \Vert _{L^{2}}^{2} \\ &\quad\leq\frac{4\alpha_{1}l(\mu+\epsilon_{1})^{2}}{k_{1}}+g_{4}(t)\triangleq g_{5}(t). \end{aligned} $$

In a similar way to the first case, we have

$$r_{2}^{2}(\omega)=1+\sup_{t_{0}\leq-1}\bigl( \alpha_{1} \bigl\Vert W_{A}(t_{0}) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert PW_{h}(t_{0}) \bigr\Vert _{L^{2}}^{2}\bigr)e^{\tilde{d}(1+t_{0})}+ \int_{-\infty}^{-1}g_{5}(\tau )e^{\tilde{d}(1+\tau)}\,d\tau, $$

where \(\tilde{d}=\lambda_{1}\min\{1,\gamma_{1}\}\) is such that \(\alpha_{1}\|u(-1)\|_{L^{2}}^{2}+\|Pv(-1)\|_{L^{2}}^{2}\leq r_{2}^{2}(\omega)\). Therefore, we can take \(r(\omega)=\max\{r_{1}(\omega),r_{2}(\omega)\}\) as a desired random radius. □

Lemma 4.2

There exist random variables\(c_{i}(\omega)\) (\(i=1,2,3,4\)) and a fixed time\(\bar{t}\leq-1\)such that for all\(\rho >0\)and\(t_{0}\leq\bar{t}\)with\(|\alpha|\|A(t_{0})\|_{L^{2}}^{2}+\|Ph(t_{0})\| _{L^{2}}^{2}\leq\rho^{2}\), the solutions of (17)(20) satisfy

$$\int_{-1}^{0} \bigl\Vert u(s) \bigr\Vert _{L^{4}}^{4}\,ds\leq c_{1}(\omega),\qquad \int_{-1}^{0} \bigl\Vert v(s) \bigr\Vert _{L^{2}}^{2}\,ds\leq c_{2}(\omega), $$


$$\int_{-1}^{0} \bigl\Vert \partial_{x} u(s) \bigr\Vert _{L^{2}}^{2}\,ds\leq c_{3}( \omega),\qquad \int _{-1}^{0} \bigl\Vert \partial_{x} v(s) \bigr\Vert _{L^{2}}^{2}\,ds \leq c_{4}(\omega). $$


We only consider the case \(\alpha>0\), and the other case \(\alpha<0\) can be proved similarly. Integrating (38) over \([-1,0]\), we have

$$ \begin{aligned}[b] & \int_{-1}^{0} \biggl[\frac{k\alpha}{4} \bigl\Vert u(s) \bigr\Vert _{L^{4}}^{4}+\gamma_{0} \bigl\Vert v(s) \bigr\Vert _{L^{2}}^{2}+\alpha \bigl\Vert \partial_{x} u(s) \bigr\Vert _{L^{2}}^{2}+ \nu \bigl\Vert \partial_{x} v(s) \bigr\Vert _{L^{2}}^{2} \biggr]\,ds \\ &\quad\leq\alpha \bigl\Vert u(-1) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert Pv(-1) \bigr\Vert _{L^{2}}^{2}+ \int _{-1}^{0}g_{3}(\tau)\,d\tau. \end{aligned} $$

Then the desired estimates follow immediately from Lemma 4.1. □

Next we consider the absorption in \(H^{1}\times L^{2}\) at time \(t=0\).

Lemma 4.3

There exist a random radius\(r_{3}(\omega)\)and a fixed time\(\bar{t}\leq-1\)such that for all\(\rho>0\)and\(t_{0}\leq\bar {t}\)with\(|\alpha|\|A(t_{0})\|_{L^{2}}^{2}+\|Ph(t_{0})\|_{L^{2}}^{2}\leq\rho^{2}\), the solutions of (17)(20) satisfy the inequality

$$\bigl\Vert \partial_{x} u\bigl(0,\omega,A(t_{0})-W_{A}(t_{0}) \bigr) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert v\bigl(0, \omega ,h(t_{0})-W_{h}(t_{0})\bigr) \bigr\Vert _{L^{2}}^{2}\leq r_{3}^{2}( \omega). $$


Multiplying (17) by \(-\partial_{x}^{2} u\), integrating with respect to x over \((0,l)\), and taking the real part, we obtain

$$ \begin{aligned}[b]&\frac{d}{dt} \Vert \partial_{x} u \Vert _{L^{2}}^{2}-2\mu \Vert \partial_{x} u \Vert _{L^{2}}^{2}+2 \bigl\Vert \partial_{x}^{2} u \bigr\Vert _{L^{2}}^{2} \\ &\quad= -2 \operatorname{Re} \int _{0}^{l} \partial_{x}^{2} \bar{u} \bigl[\mu W_{A}-k \vert u+W_{A} \vert ^{2}(u+W_{A})+(u+W_{A}) (v+W_{h}) \bigr]\,dx=I_{6}+I_{7}. \end{aligned} $$

Then we can estimate the terms on the RHS of (44) as follows:

$$ \begin{aligned}[b]I_{6}&=-2 \operatorname{Re} \int_{0}^{l} \partial_{x}^{2} \bar {u}\bigl[\mu W_{A}-k \vert u+W_{A} \vert ^{2}(u+W_{A})\bigr]\,dx \\ &\leq2 \int_{0}^{l} \bigl\vert \partial_{x}^{2} \bar {u} \bigr\vert \bigl[ \vert \mu \vert \vert W_{A} \vert +k\bigl( \vert u \vert ^{3}+3 \vert u \vert ^{2} \vert W_{A} \vert +3 \vert u \vert \vert W_{A} \vert ^{2}+ \vert W_{A} \vert ^{3}\bigr) \bigr]\, dx \\ &\leq2 \vert \mu \vert \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert W_{A} \Vert _{L^{2}}+2k \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert u \Vert _{L^{6}}^{3}+2k \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert u \Vert _{L^{6}}^{2} \Vert W_{A} \Vert _{L^{6}} \\ & +2k \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert u \Vert _{L^{6}} \Vert W_{A} \Vert _{L^{6}}^{2} +2k \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert W_{A} \Vert _{L^{6}}^{3} \\ &\leq\epsilon_{5} \bigl\Vert \partial _{x}^{2}u \bigr\Vert _{L^{2}}^{2}+C\bigl(\epsilon_{5}, \vert \mu \vert \bigr) \bigl( \Vert u \Vert _{L^{6}}^{6}+ \Vert W_{A} \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{6}}^{6}\bigr) \\ &\leq\epsilon_{5} \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}}^{2}+C\bigl(\epsilon _{5}, \vert \mu \vert ,\tilde{c}\bigr) \bigl( \Vert \partial_{x} u \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{6}}^{6}\bigr), \end{aligned} $$

where the last inequality in (45) can be obtained by the interpolation inequality below and Theorem 3.1, while

$$ \begin{aligned} \Vert u \Vert _{L^{6}}^{6}\leq c \Vert \partial_{x} u \Vert _{L^{2}}^{2} \Vert u \Vert _{L^{2}}^{4} \leq\tilde{c} \Vert \partial_{x} u \Vert _{L^{2}}^{2}. \end{aligned} $$

Furthermore, for the last term of (44), we obtain

$$ \begin{aligned}[b]I_{7}&=-2 \operatorname{Re} \int_{0}^{l} \partial_{x}^{2} \bar {u}(u+W_{A}) (v+W_{h})\,dx \\ &\leq2 \int_{0}^{l} \bigl\vert \partial_{x}^{2} \bar {u} \bigr\vert \bigl( \vert u \vert \vert v \vert + \vert u \vert \vert W_{h} \vert + \vert v \vert \vert W_{A} \vert + \vert W_{A} \vert \vert W_{h} \vert \bigr)\,dx \\ &\leq2 \Vert v \Vert _{L^{\infty}} \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert u \Vert _{L^{2}}+2 \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert u \Vert _{L^{4}} \Vert W_{h} \Vert _{L^{4}} \\ &\quad +2 \Vert v \Vert _{L^{\infty}} \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert W_{A} \Vert _{L^{2}}+2 \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}} \Vert W_{A} \Vert _{L^{4}} \Vert W_{h} \Vert _{L^{4}} \\ &\leq \epsilon_{5} \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}}^{2}+C(\epsilon_{5}) \bigl[ \Vert v \Vert _{L^{\infty }}^{2}\bigl( \Vert u \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{2}}^{2}\bigr)+ \Vert u \Vert _{L^{4}}^{4}+ \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{4}}^{4} \bigr] \\ &\leq\epsilon_{5} \bigl\Vert \partial_{x}^{2}u \bigr\Vert _{L^{2}}^{2}+C(\epsilon_{5}, \tilde{c}) \bigl( \Vert \partial_{x} v \Vert _{L^{2}}^{2}+ \Vert u \Vert _{L^{4}}^{4}+ \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{4}}^{4}\bigr). \end{aligned} $$

Taking \(\epsilon_{5}=1/2\), from (45)–(47), we observe that (44) becomes

$$ \begin{aligned}&\frac{d}{dt} \Vert \partial_{x} u \Vert _{L^{2}}^{2}+ \bigl\Vert \partial_{x}^{2} u \bigr\Vert _{L^{2}}^{2} \leq C\bigl( \vert \mu \vert ,\tilde{c} \bigr) \bigl( \Vert \partial_{x} u \Vert _{L^{2}}^{2}+ \Vert \partial_{x} v \Vert _{L^{2}}^{2}+ \Vert u \Vert _{L^{4}}^{4}+g_{6}(t)\bigr), \end{aligned} $$


$$g_{6}(t)= \Vert W_{A} \Vert _{L^{2}}^{2}+ \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{A} \Vert _{L^{6}}^{6}+ \Vert W_{h} \Vert _{L^{4}}^{4}. $$

On the other hand, multiplying (18) by \(-\partial_{x}^{2} v\) and integrating with respect to x over \((0,l)\), we get

$$ \begin{aligned}&\frac{d}{dt} \Vert v \Vert _{L^{2}}^{2}-2m \Vert \partial_{x} v \Vert _{L^{2}}^{2}+2\nu \bigl\Vert \partial_{x}^{2}v \bigr\Vert _{L^{2}}^{2} =-2 \int_{0}^{l}\bigl(mW_{h}-\alpha \vert u+W_{A} \vert ^{2}\bigr)\partial_{x}^{2}v \,dx=I_{8}+I_{9}. \end{aligned} $$

By Hölder and Cauchy inequalities, the RHS of (49) can be estimated as

$$ \begin{aligned}I_{8}=-2m \int_{0}^{l}W_{h} \partial_{x}^{2}v\,dx\leq\epsilon_{6} \bigl\Vert \partial_{x}^{2}v \bigr\Vert _{L^{2}}^{2}+C\bigl(\epsilon_{6}, \vert m \vert \bigr) \Vert W_{h} \Vert _{L^{2}}^{2}, \end{aligned} $$


$$ \begin{aligned}[b]I_{9}&=2\alpha \int_{0}^{l} \vert u+W_{A} \vert ^{2}\partial_{x}^{2}v\,dx\leq 2 \vert \alpha \vert \int_{0}^{l}\bigl( \vert u \vert ^{2}+2 \vert u \vert \vert W_{A} \vert + \vert W_{A} \vert ^{2}\bigr) \bigl\vert \partial_{x}^{2}v \bigr\vert \,dx \\ &\leq\epsilon_{6} \bigl\Vert \partial_{x}^{2}v \bigr\Vert _{L^{2}}^{2}+C\bigl(\epsilon_{6}, \vert \alpha \vert \bigr) \bigl( \Vert u \Vert _{L^{4}}^{4}+ \Vert W_{A} \Vert _{L^{4}}^{4}\bigr). \end{aligned} $$

Taking \(\epsilon_{6}=\nu/2\) and putting above estimates into (49), we have

$$ \begin{aligned}&\frac{d}{dt} \Vert v \Vert _{L^{2}}^{2}+\nu \bigl\Vert \partial_{x}^{2}v \bigr\Vert _{L^{2}}^{2}\leq C\bigl(\nu, \vert \alpha \vert , \vert m \vert \bigr) \bigl( \Vert u \Vert _{L^{4}}^{4}+ \Vert \partial_{x} v \Vert _{L^{2}}^{2}+g_{7}(t) \bigr), \end{aligned} $$


$$g_{7}(t)= \Vert W_{A} \Vert _{L^{4}}^{4}+ \Vert W_{h} \Vert _{L^{2}}^{2}. $$

Combining (48) with (50), we obtain

$$ \begin{aligned}\frac{d}{dt}\bigl( \Vert \partial_{x} u \Vert _{L^{2}}^{2}+ \Vert v \Vert _{L^{2}}^{2}\bigr)\leq C\bigl( \Vert u \Vert _{L^{4}}^{4}+ \Vert \partial_{x} u \Vert _{L^{2}}^{2}+ \Vert \partial_{x} v \Vert _{L^{2}}^{2}+g_{6}(t)+g_{7}(t) \bigr), \end{aligned} $$

where \(C=C(\mu|,\tilde{c},\nu,|\alpha|, |m|)\). Integrating over an arbitrary interval \([s,0]\), we get

$$ \begin{aligned} \bigl\Vert \partial_{x} u(0) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert v(0) \bigr\Vert _{L^{2}}^{2}&\leq \bigl\Vert \partial_{x} u(s) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert v(s) \bigr\Vert _{L^{2}}^{2}+C \int_{s}^{0}\bigl( \bigl\Vert u(\tau) \bigr\Vert _{L^{4}}^{4}+ \bigl\Vert \partial_{x} u(\tau) \bigr\Vert _{L^{2}}^{2} \\ &\quad + \bigl\Vert \partial_{x} v(\tau) \bigr\Vert _{L^{2}}^{2}+g_{6}(\tau)+g_{7}( \tau)\bigr)\,d\tau. \end{aligned} $$

Integrating again with respect to s over \([-1,0]\), we finally have

$$ \begin{aligned} \bigl\Vert \partial_{x} u(0) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert v(0) \bigr\Vert _{L^{2}}^{2}&\leq \int _{-1}^{0}\bigl( \bigl\Vert \partial_{x} u(s) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert v(s) \bigr\Vert _{L^{2}}^{2}\bigr)\,ds+C \int _{-1}^{0}\bigl( \bigl\Vert u(\tau) \bigr\Vert _{L^{4}}^{4} \\ & \quad+ \bigl\Vert \partial_{x} u(\tau) \bigr\Vert _{L^{2}}^{2}+ \bigl\Vert \partial_{x} v(\tau) \bigr\Vert _{L^{2}}^{2}+g_{6}( \tau)+g_{7}(\tau)\bigr)\,d\tau. \end{aligned} $$

Then Lemma 4.3 follows from Lemma 4.2. □

In the end, using Lemma 4.3 and applying Theorem 2.6, we have the following claim.

Theorem 4.4

Assume that\(\nu(\frac{\pi}{l})^{2}-m>0\)for\(\alpha >0\)and\(\nu(\frac{\pi}{l})^{2}-m>\frac{16|\alpha|}{k}\)for\(\alpha<0\). Then the RDS generated by the stochastic KS–GL equations (1)(2) with initial–boundary conditions possesses a global random attractor\(\mathcal{A}(\omega)\)in\(L^{2}(0,l)\times H^{-1}(0,l)\).

Remark 4.5

We would like to indicate that \(\epsilon_{3}\) is specified in (28) to simplify the calculus, and the condition in Theorem 4.4 for \(\alpha<0\) may be improved without the specification of \(\epsilon_{3}\) there.


  1. Buckmaster, J.D., Ludford, G.S.S.: Theory of Laminar Flames. Cambridge University Press, Cambridge (1982)

    Book  Google Scholar 

  2. Golovin, A.A., Matkowsky, B.J., Bayliss, A., Nepomnyashchy, A.A.: Coupled KS-CGL and coupled Burgers-CGL equations for flames governed by a sequential reaction. Physica D 129, 253–298 (1999)

    Article  MathSciNet  Google Scholar 

  3. Olagunju, D.O., Matkowsky, B.J.: Coupled complex Ginzburg–Landau type equations in gaseous combustion. Stab. Appl. Anal. Contin. Media 2, 31–42 (1992)

    Google Scholar 

  4. Sivashinsky, G.I.: Nonlinear analysis of hydrodynamic instability in laminar flames I. Derivation of basic equations. Acta Astronaut. 4, 1177–1206 (1977)

    Article  MathSciNet  Google Scholar 

  5. Berman, V.S., Ryazantsev, I.U.S.: Asymptotic analysis of stationary propagation of the front of a two-stage exothermic reaction in a gas. J. Appl. Math. Mech. 37, 1049–1058 (1973)

    Article  Google Scholar 

  6. Joulin, G., Clavin, P.: Asymptotic analysis of a premixed laminar flame governed by a two-step reaction. Combust. Flame 25, 389–392 (1975)

    Article  Google Scholar 

  7. Khaikin, B.I., Filonenko, A.K., Khudyaev, S.I.: Flame propagation in the presence of two successive gas phase reactions. Combust. Explos. Shock Waves 4, 343–348 (1968)

    Article  Google Scholar 

  8. Kapila, A., Ludford, G.S.S.: Two-step sequential reactions for large activation energies. Combust. Flame 29, 167–176 (1977)

    Article  Google Scholar 

  9. Margolis, S.B., Matkowsky, B.J.: Steady and pulsating modes of sequential flame propagation. Combust. Sci. Technol. 27, 193–213 (1982)

    Article  Google Scholar 

  10. Pelaez, J., Linan, A.: Structure and stability of flames with two sequential reactions. SIAM J. Appl. Math. 45, 503–522 (1985)

    Article  MathSciNet  Google Scholar 

  11. Pelaez, J.: Stability of premixed flames with two thin reaction layers. SIAM J. Appl. Math. 47, 781–799 (1987)

    Article  MathSciNet  Google Scholar 

  12. Duan, J., Bu, C., Gao, H.J., Taboada, M.: On coupled Kuramoto–Sivashinski and Ginzburg–Landau type model for the Marangony convection. J. Math. Phys. 38, 2465–2474 (1997)

    Article  MathSciNet  Google Scholar 

  13. Gao, H.J., Duan, J.: A remark on the coupled Kuramoto–Sivashinsky and Ginzburg–Landau equations. Commun. Appl. Nonlinear Anal. 5, 83–90 (1998)

    MathSciNet  MATH  Google Scholar 

  14. Kalantarov, V.K.: Global solution of coupled Kuramoto–Sivashinsky and Ginzburg–Landau equations. Trans. Acad. Sci. Azerb. Ser. Phys.-Tech. Math. Sci. 20, 50–54 (2000)

    MathSciNet  MATH  Google Scholar 

  15. Kalantarov, V.K.: Global solution of coupled Kuramoto–Sivashinsky and Ginzburg–Landau equations. In: Nonlinear Problems in Mathematical Physics and Related Topics, vol. II. Int. Math. Ser., pp. 213–227. Chapman & Hall, New York (2002)

    Chapter  Google Scholar 

  16. Wu, W., Cui, S.B., Duan, J.: Global well-posedness of a stochastic coupled Kuramoto–Sivashinsky and Ginzburg–Landau-type model for the Marangoni convection. J. Math. Phys. 53, Article ID 033710 (2012)

    Article  MathSciNet  Google Scholar 

  17. Crauel, H., Flandoli, F.: Attractors for random dynamical systems. Probab. Theory Relat. Fields 100, 365–393 (1994)

    Article  MathSciNet  Google Scholar 

  18. Crauel, H., Debussche, A., Flandoli, F.: Random attractors. J. Dyn. Differ. Equ. 9, 307–341 (1992)

    Article  MathSciNet  Google Scholar 

  19. Schmalfuss, B.: Invariant attracting sets of nonlinear stochastic differential equations. In: Markov Processes and Control Theory, pp. 217–228. Akademie-Verlag, Berlin (1989)

    Google Scholar 

  20. Debussche, A.: Hausdorff dimension of random invariant set. J. Math. Pures Appl. 77, 967–988 (1998)

    Article  MathSciNet  Google Scholar 

  21. Da Prato, G., Zabczyk, J.: Stochastic Equations in Infinite Dimensions. Cambridge University Press, Cambridge (1992)

    Book  Google Scholar 

  22. Da Prato, G., Zabczyk, J.: Ergodicity for Infinite Dimensional Systems. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

Download references


The authors are grateful to the anonymous referees and Prof. Hongjun Gao for their valuable comments which improve this paper much.

Availability of data and materials

Not applicable.


This work is supported by National Natural Science Foundation of China (No.11901302) and Academic Discipline Project of Shanghai Dianji University (No. 16JCXK02).

Author information

Authors and Affiliations



The authors contributed equally in this article. They have all read and approved the final manuscript.

Corresponding author

Correspondence to Lin Lin.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lin, L., Li, M. The asymptotic behavior of the stochastic coupled Kuramoto–Sivashinsky and Ginzburg–Landau equations. Bound Value Probl 2020, 74 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: