Skip to main content

Theory and Modern Applications

Long-time behavior of stochastic reaction–diffusion equation with multiplicative noise


In this paper, we study the dynamical behavior of the solution for the stochastic reaction–diffusion equation with the nonlinearity satisfying the polynomial growth of arbitrary order \(p\geq2\) and any space dimension N. Based on the inductive principle, the higher-order integrability of the difference of the solutions near the initial data is established, and then the (norm-to-norm) continuity of solutions with respect to the initial data in \(H_{0}^{1}(U)\) is first obtained. As an application, we show the existence of \((L^{2}(U),L^{p}(U))\) and \((L^{2}(U),H_{0}^{1}(U))\)-pullback random attractors, respectively.

1 Introduction

We consider the following stochastic reaction–diffusion equation with multiplicative noise:

$$ \left \{ \textstyle\begin{array}{l} \frac{\partial u}{\partial t}-\Delta u+f(u)=g(x)+bu\circ\frac{dW}{dt}, \quad x\in U, t\geq0,\\ [-1pt] u(t)|_{\partial U}=0,\quad t\geq0,\\ u(x,0)=u_{0}(x),\quad x\in U, \end{array}\displaystyle \right . $$

where \(U\subset\mathbb{R}^{N}\) (\(N\geq3\)) is a bounded smooth domain, b is a positive constant and \(g\in L^{2}(U)\). “” denotes the Stratonovich product and \(W(t)\) is a two-sided real-valued Wiener process on a probability space which will be specified later. The nonlinearity \(f\in C^{1}(\mathbb{R},\mathbb{R})\) satisfies the following conditions:

$$\begin{aligned}& f(0)=0,\qquad f'(s)\geq-l, \end{aligned}$$
$$\begin{aligned}& -c_{2}+c_{1} \vert s \vert ^{p}\leq f(s)s, \end{aligned}$$


$$ \bigl\vert f(s_{1})-f(s_{2}) \bigr\vert \leq c_{3} \vert s_{1}-s_{2} \vert \bigl(1+ \vert s_{1} \vert ^{p-2}+ \vert s_{2} \vert ^{p-2}\bigr), $$

where \(c_{1}\), \(c_{2}\), \(c_{3}\), l are some positive constants and \(p\in[2,\infty)\).

As an important mathematical model, stochastic differential equations can describe many different physical phenomena when random spatio-temporal forcing term is taken into account. Some of the key problem for this kind of equation are to establish the existence and regularity of random attractors. The concept of random attractor was introduced in [1, 2], with notable development given in [314]. As applications, most other authors extensively investigated the existence of random attractors for some stochastic reaction–diffusion equations; see [1532] and the references therein.

For instance, provided that \(g\equiv0\) in (1.1), some significant results have been achieved. For instance, Coaraballo and Langa [24] obtained the existence of finite dimensional random attractor in \(L^{2}(U)\) when \(f(u)=-\beta u+u^{3}\). Li et al. [25] used the quasi-continuity and omega-limit compactness introduced in [15] to obtain the \((L^{2}(U),L^{p}(U))\)-random attractor for the problem (1.1), where \(f(u)\) is a polynomial of odd degree with a positive leading coefficient. Assuming that \(f(u)=-\beta u+u^{3}\) and \(b=h(t)\) in (1.1), Fan and Chen [27] gave a new method (without transformations) to study the existence of an \(L^{2}(U)\)-random attractor. When the nonlinearity \(f(u)\) satisfies the polynomial growth of arbitrary order \(p\geq2\), Wang and Tang [29] showed the existence of \((L^{2}(U),H^{1}_{0}(U))\)-random attractor for the problem (1.1) exploiting the method of the deterministic systems introduced in [33]. When \(g\neq0\), Zhao [28] proved the existence of \(H^{1}_{0}(U)\)-random attractors for (1.1) by using the quasi-continuity ([15]) along with the compactness of an omega-limit set.

Inspired by the above papers, we will continue studying the asymptotic behavior for the stochastic reaction–diffusion equation with multiplicative noise. Especially, we are interested in understanding the integrability and continuity of the solutions of Eq. (1.1) with the forcing term \(g\neq0\).

On the one hand, we know that obtaining certain higher-order integrability and regularity are significant for better understanding the dynamical systems. When \(b\equiv0\) and the forcing term g belongs to \(L^{2}(U)\) or \(H^{-1}(U)\), the solutions of the equation in the deterministic system are at most in \(H^{2}(U)\cap L^{2p-2}(U)\) or \(H^{1}_{0}(U)\cap L^{p}(U)\) and have no regularities. As regards the stochastic system, if the initial data \(u_{0}\) and forcing term g belong to \(L^{2}(U)\), then the solution u with the initial data \(u(0)=u_{0}\) belongs to \(L^{2}(U)\cap H^{1}_{0}(U)\cap L^{p}(U)\) only and has no higher regularity because of the random noise term. Compared with the case \(g\equiv0\) mentioned above (from [25]), the case \(g\neq0\) is even more complicated. The reason is that the regularity and integrability of the solutions depend not only on the growth exponent p, but also on the regularity and integrability of g. Therefore, a natural question is: can we get some higher integrability when \(g\neq0\)?

On the other hand, comparing with verifying the (norm-to-norm) continuity and asymptotic compactness, it is easy to check the quasi-continuity and the flattening conditions for most of the dynamical systems, especially in the space \(H^{1}_{0}(U)\) and \(L^{p}(U)\) (\(p>2\)); see [34, 35] for details. For the deterministic autonomous reaction diffusion equations, the authors [36] first proved the continuity of solutions in \(H^{1}_{0}(U)\) for any space dimension N and any growth exponent \(p\geq2\) by the method of differentiating the equation. However, for the stochastic case, since the Wiener processes \(W(t)\) are continuous but are not differentiable functions in \(\mathbb{R}\), we cannot use such a method to obtain the continuity in \(H^{1}_{0}(U)\). Thus, for any space dimension N and any growth exponent \(p\geq2\), we address the question whether or not we can obtain the continuity of solutions in \(H^{1}_{0}(U)\) by some new kinds of estimates.

In order to answer the above two problems, we follow the ideas from [21] to obtain our main results, in which the authors investigated the high-order integrability of difference of solutions and existence of random attractors for the reaction–diffusion equations with additive noise.

The remainder article is arranged as follows. In Sect. 2, we first recall some definitions and known results about the pullback random attractors, then we give the well-posedness of a solution and the existence of random attractors in \(L^{2}(U)\). In Sect. 3, we establish the higher-order integrability of the difference of the solutions near the initial time and get the continuity of solutions in \(H^{1}_{0}(U)\). Furthermore, as an application of above continuity and higher-order integrability results of solutions, we show \((L^{2}(U),L^{p}(U))\) and \((L^{2}(U),H^{1}_{0}(U))\)\(\mathcal {D}\)-pullback random attractors for the problem (1.1).

2 Preliminaries

Throughout the paper, we denote the norm of a Banach space X by \(\| \cdot\|_{X}\). For the sake of convenience, we denote the norm of \(L^{r}(U)\) (\(r\geq1\), \(r\neq2\)) by \(\|\cdot\|_{L^{r}(U)}\). The inner product and norm of \(L^{2}(U)\) will be written as \((\cdot,\cdot)\) and \(\|\cdot\| \), respectively.

2.1 Random dynamical system

In this subsection, we collect some definitions and known results regarding pullback attractors for random dynamical systems from [15, 7, 8, 17, 18, 21, 37].

Next, let \((X,\|\cdot\|_{X})\) be a separable Banach space with Borel σ-algebra \(\mathcal{B}(X)\). We use \((\varOmega,\mathcal{F},\mathbb {P})\) and \((X,d)\) to denote a probability space and a completely separable metric space, respectively. If Y and Z are two nonempty subsets of X, then we use \(\operatorname{dist}_{X}(Y,Z)\) to denote their Hausdorff semi-distance, i.e., \(\operatorname{dist}_{X}(Y,Z)=\sup_{y\in Y}\inf_{z\in Z}\|y-z\|_{X}\) for any \(Y\subset X\), \({Z\subset X}\).

Definition 2.1

Let \(\theta:\mathbb{R}\times\varOmega \rightarrow\varOmega\) be a \((\mathcal{B}(\mathbb{R})\times\mathcal {F},\mathcal{F})\)-measurable mapping. We say \((\varOmega,\mathcal {F},\mathbb{P},(\theta_{t})_{t\in\mathbb{R}})\) is a metric dynamical system if \(\theta_{0}\) is the identity on Ω, \(\theta_{s+t}=\theta _{t}\circ\theta_{s}\) for all \(t,s\in\mathbb{R}\), and \(\theta_{t}\mathbb {P}=\mathbb{P}\) for all \(t\in\mathbb{R}\).

Definition 2.2

Let \((\varOmega,\mathcal{F},\mathbb {P},(\theta_{t})_{t\in\mathbb{R}})\) be a metric dynamical system. If the cocycle mapping \(\varPhi:\mathbb{R}^{+}\times\varOmega\times X\rightarrow X\) satisfies the following properties:

  1. (i)

    \(\varPhi:\mathbb{R}^{+}\times\varOmega\times X\rightarrow X\) satisfies \((\mathcal{B}(\mathbb{R}^{+})\times\mathcal{F}\times \mathcal{B}(X),\mathcal{B}(X) )\)-measurable;

  2. (ii)

    \(\varPhi(0,\omega,x)=x\), \(\forall\omega\in\varOmega\), \(x\in X\);

  3. (iii)

    \(\varPhi(t,\theta_{s}\omega,\varPhi(s,\omega,x))=\varPhi(t+s,\omega ,x)\), \(\forall s, t\in\mathbb{R}^{+}\), \(x\in X\), \(\omega\in\varOmega\),

then Φ is called a random dynamical system. Furthermore, Φ is called a continuous random dynamical system if Φ is continuous with respect to x for \(t\geqslant0\) and \(\omega\in\varOmega\).

Definition 2.3

A set-valued map \(K:\varOmega\rightarrow 2^{X}\) is called a random set in X if the mapping \(\omega\mapsto \operatorname{dist}(x,K(\omega))\) is \((\mathcal{F},\mathcal{B}(\mathbb{R}))\) measurable for all \(x\in X\). A random set \(K:\varOmega\rightarrow2^{X}\) is called a random closed set if \(K(\omega)\) is closed, nonempty for each \(\omega\in\varOmega\).

Definition 2.4

A random set \(K:\varOmega\rightarrow2^{X}\) is called a bounded random set if there is a random variable \(r(\omega )\geq0\), \(\omega\in\varOmega\) such that

$$\operatorname{diam}\bigl(K(\omega)\bigr)=\sup\bigl\{ \Vert x \Vert _{X}: x\in K(\omega)\bigr\} \leq r(\omega),\quad \text{for all } \omega \in\varOmega. $$

A bounded random set \(\mathcal{K}:=\{K(\omega)\}_{\omega\in\varOmega}\) is said to be tempered \((\varOmega,\mathcal{F},\mathbb{P},(\theta_{t})_{t\in \mathbb{R}})\) if for \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\),

$$\lim_{t\rightarrow+\infty}e^{-\beta t}\operatorname{diam}\bigl(K( \theta_{-t}\omega)\bigr)=0,\quad \text{for all } \beta>0. $$

Definition 2.5

Let \(\mathcal{D}\) be a collection of random sets in X. Then a random set \(K\in\mathcal{D}\) is called a \(\mathcal{D}\)-pullback absorbing set for a random dynamical system \((\theta,\varPhi)\) if for any random set \(D\in\mathcal{D}\) and \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\), there exists \(T=T_{D}(\omega)>0\) such that

$$\varPhi\bigl(t,\theta_{-t}\omega,D(\theta_{-t}\omega) \bigr)\subseteq K(\omega),\quad \text{for all } t\geq T. $$

Definition 2.6

Let \(\mathcal{D}\) be a collection of random sets in X. Then Φ is said to be \(\mathcal{D}\)-pullback asymptotically compact in X if for all \(\mathbb{P}\)-a.e. \(\omega\in \varOmega\), the sequence

$$\bigl\{ \varPhi(t_{n},\theta_{-t_{n}}\omega,x_{n}) \bigr\} ^{\infty}_{n=1} \text{ has a convergent subsequence in }X $$

whenever \(t_{n}\rightarrow\infty\) and \(x_{n}\in K(\theta_{-t_{n}}\omega)\) with \(K(\omega)\in\mathcal{D}\).

Definition 2.7

Let \(\mathcal{D}\) be a collection of some families of nonempty subsets of X. Then \(A=\{A(\omega)\}_{\omega \in\varOmega}\in\mathcal{D}\) is called a \(\mathcal{D}\)-pullback attractor for a random dynamical system Φ if the following conditions (i)–(iii) are fulfilled:

  1. (i)

    A is a compact random set, that is, \(\omega\mapsto \operatorname{dist}(x,A(\omega))\) is measurable for every \(x\in X\) and \(A(\omega)\) is nonempty and compact in X for \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\);

  2. (ii)

    A is invariant, that is, \(\varPhi(t,\omega,A(\omega))=A(\theta _{t}\omega)\), for \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\) and every \(t>0\);

  3. (iii)

    for every \(D=\{D(\omega)\}_{\omega\in\varOmega}\in\mathcal{D}\),

    $$\lim_{t\rightarrow+\infty}\operatorname{dist}_{X}\bigl( \varPhi\bigl(t,\theta_{-t}\omega,D(\theta _{-t}\omega) \bigr),A(\omega)\bigr)=0,\quad \mathbb{P}\text{-almost surely}, $$

    where \(\operatorname{dist}_{X}\) is Hausdorff semi-metric given by \(\operatorname{dist}_{X}(Y,Z)=\sup_{y\in Y}\inf_{z\in Z}\|y-z\|_{X}\) for any \(Y\subseteq X\) and \(Z\subseteq X\).

Theorem 2.8


Let\(\mathcal{D}\)be an inclusion-closed collection of some families of nonempty subsets ofX. Suppose thatΦbe a continuous random dynamical system onXover\((\varOmega,\mathcal{F},\mathbb{P},\{\theta _{t}\}_{t\in\mathbb{R} })\). If there exists a closed random absorbing set\(K\in\mathcal{D}\)andΦis\(\mathcal{D}\)-pullback asymptotically compact inX, thenΦhas a unique\(\mathcal{D}\)-random attractor\(A\in\mathcal{D}\),

$$A(\omega)=\bigcap_{s\geq0}\overline{\bigcup _{t\geq s}\varPhi\bigl(t,\theta _{-t}\omega,K( \theta_{-t}\omega)\bigr)},\quad \omega\in\varOmega. $$

2.2 Well-posedness of random dynamical system generated by (1.1)

We consider the probability space \((\varOmega,\mathcal{F},\mathbb{P})\), where

$$\varOmega=\bigl\{ \omega\in C(\mathbb{R},\mathbb{R}), \omega(0)=0\bigr\} . $$

\(\mathcal{F}\) a is Borel σ-algebra induced by the compact-open topology of Ω and \(\mathbb{P}\) is the corresponding Wiener measure. Then we will identify \(\omega(t)\) with \(W(t)\), that is,

$$W(t)=W(t,\omega)=\omega(t),\quad t\in\mathbb{R}. $$

The time shift is simply defined by

$$\theta_{t}\omega(\cdot)=\omega(\cdot+t)-\omega(t),\quad \text{for all } \omega \in\varOmega, t\in\mathbb{R}, $$

then \((\varOmega,\mathcal{F},\mathbb{P},\{\theta_{t}\}_{t\in\mathbb{R}})\) is a metric dynamical system.

Now we convert the problem (1.1) into a deterministic system with a random parameter. For this purpose, we consider the Ornstein–Uhlenbeck process

$$z(\theta_{t}\omega)=- \int_{-\infty}^{0}e^{\tau}( \theta_{t}\omega) (\tau)\,d\tau,\quad t\in\mathbb{R}, $$

and it solves the Itô equation

$$\begin{aligned} dz+z\,dt=dW(t). \end{aligned}$$

From [16, 38], it is known that the random variable \(z(\omega)\) is tempered, and there exists a \(\theta_{t}\)-invariant set \(\tilde{\varOmega}\subset\varOmega\) of full \(\mathbb{P}\) measure such that for every \(\omega\in\tilde{\varOmega}\), \(t\mapsto z(\theta_{t}{\omega})\) is continuous in t and

$$\begin{aligned} \lim_{t\rightarrow\pm\infty}\frac{ \vert z(\theta_{t}{\omega}) \vert }{ \vert t \vert }=0, \qquad\lim _{t\rightarrow\pm\infty}\frac{1}{t} \int_{0}^{t}z(\theta_{s}{\omega}) \,ds=0. \end{aligned}$$

Furthermore, there is a tempered random variable \(r_{1}(\omega)>0\) such that

$$\begin{aligned} \bigl\vert z(\theta_{t}\omega) \bigr\vert \leq e^{\frac{ \vert t \vert }{2}}r_{1}(\omega). \end{aligned}$$

Setting \(\alpha(\omega)=e^{-bz(\omega)}\), it is clear that both \(\alpha (\omega)\) and \(\alpha^{-1}(\omega)\) are tempered, \(\alpha(\theta _{t}\omega)\) is continuous with respect to t for \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\). Thus, applying Proposition 4.3.3 in [5], we find that there is a \(\frac{\lambda_{1}}{2}\)-slowly varying random variable \(r_{2}(\omega)>0\) such that

$$\begin{aligned} \frac{1}{r_{2}(\omega)}\leq\alpha(\omega)\leq r_{2}( \omega), \end{aligned}$$

where \(r_{2}(\omega)\) satisfies, for \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\),

$$\begin{aligned} e^{-\frac{\lambda_{1}}{2}|t|}r_{2}(\omega)\leq r_{2}(\theta_{t}\omega)\leq e^{\frac{\lambda_{1}}{2}|t|}r_{2}( \omega),\quad t\in\mathbb{R}. \end{aligned}$$

From (2.3)–(2.5), we have

$$\begin{aligned} e^{-\frac{\lambda_{1}}{2}|t|}r_{2}^{-1}(\omega) \leq\alpha(\theta_{t}\omega )\leq e^{\frac{\lambda_{1}}{2}|t|}r_{2}( \omega), \quad\text{for } \mathbb{P}\text{-a.e. } \omega\in\varOmega, t\in \mathbb{R}, \end{aligned}$$

where \(\lambda_{1}\) is the first eigenvalue of −Δ with Dirichlet boundary condition.

Choosing \(r(\omega)=\max\{r_{1}(\omega),r_{2}(\omega)\}\), we will, respectively, convert (2.3) and (2.6) into the forms

$$\begin{aligned} \bigl\vert z(\theta_{t}\omega) \bigr\vert \leq e^{\frac{ \vert t \vert }{2}}r(\omega) \end{aligned}$$


$$\begin{aligned} e^{-\frac{\lambda_{1}}{2}|t|}r^{-1}(\omega)\leq\alpha( \theta_{t}\omega)\leq e^{\frac{\lambda_{1}}{2}|t|}r(\omega),\quad \text{for } \mathbb{P}\text{-a.e. } \omega\in\varOmega, t\in\mathbb{R}, \end{aligned}$$

where \(r(\omega)\) is also tempered.

Next, in order to show that the problem (1.1) generates a random dynamical system, we let \(v(t)=\alpha(\theta_{t}\omega)u(t)\) and \(\alpha (\theta_{t}\omega)=e^{-bz(\theta_{t}\omega)}\). Then, applying (2.1), we will convert (1.1) into the following deterministic equation with random variable:

$$\begin{aligned} \left \{ \textstyle\begin{array}{l} \frac{\partial v}{\partial t}-\Delta v+\alpha(\theta_{t}\omega)f(\alpha ^{-1}(\theta_{t}\omega)v)=\alpha(\theta_{t}\omega)g(x)+bz(\theta_{t}\omega)v,\quad x\in U, t\geq0,\\v(t)|_{\partial U}=0,\quad t\geq0,\\v(0,\omega)=v_{0}(\omega)=\alpha(\omega)u_{0}. \end{array}\displaystyle \right . \end{aligned}$$

From [25], it is well known that for \(\mathbb{P}\)-a.e. \(\omega\in \varOmega\), for all \(v_{0}(\omega)\in L^{2}(U)\) and \(g\in L^{2}(U)\), the problem (2.9) satisfying the condition (1.2)–(1.4) has a unique solution,

$$v(\cdot,\omega,v_{0})\in C\bigl([0,\infty),L^{2}(U)\bigr) \cap L^{p}\bigl([0,\infty),L^{p}(U)\bigr)\cap L^{2}\bigl([0,\infty),H^{1}_{0}(U)\bigr). $$

Furthermore, \(v(t,\omega,v_{0})\) is continuous with respect to \(v_{0}\) in \(L^{2}(U)\) for all \(t>0\) and \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\). Thus, we know that \(u(t)=\alpha^{-1}(\theta_{t}\omega)v(t)\) is a solution of (1.1) with \(u_{0}=\alpha^{-1}(\omega)v_{0}\). Denote the mapping \(\varPhi : \mathbb{R}^{+}\times\varOmega\times L^{2}(U)\rightarrow L^{2}(U)\) by

$$\varPhi(t,\omega,u_{0})=u(t,\omega,u_{0})= \alpha^{-1}(\theta_{t}\omega)v\bigl(t,\omega ,\alpha( \omega)u_{0}\bigr), $$

then \(\varPhi(t,\omega,u_{0})\) satisfies conditions (i)–(iii) in Definition 2.2 and is continuous. Therefore, Φ is a continuous random dynamical system.

2.3 Random attractor in \(L^{2}(U)\)

In this subsection, we give some estimates of solutions to obtain our main results.

Lemma 2.9

Assume that\(g\in L^{2}(U)\)and (1.2)(1.4) hold. Let\(D\in\mathcal{D}\)and\(u_{0}\in D(\omega)\). Then for\(\mathbb{P}\)-a.e. \(\omega\in\varOmega\), there exists\(T_{D}(\omega )>0\)and the tempered functions\(\rho_{i}(\omega)>0\) (\(i=1,2,3\)) such that the solution\(v(t,\omega,v_{0}(\omega))\)of (2.9) with\(v_{0}(\omega)=\alpha(\omega)u_{0}(\omega)\)satisfies, for all\(t>T_{D}(\omega)\),

$$\begin{aligned}& \bigl\Vert v\bigl(t,\theta_{-t} \omega,v_{0}(\theta_{-t}\omega)\bigr) \bigr\Vert ^{2}\leq\rho_{1}(\omega); \end{aligned}$$
$$\begin{aligned}& \int_{t}^{t+1} \bigl\Vert v\bigl(s, \theta_{-t-1}\omega,v_{0}(\theta_{-t-1}\omega) \bigr) \bigr\Vert _{L^{p}(U)}^{p}\,ds\leq \rho_{2}(\omega); \end{aligned}$$


$$\begin{aligned} \int_{t}^{t+1} \bigl\Vert \nabla v\bigl(s, \theta_{-t-1}\omega,v_{0}(\theta_{-t-1}\omega) \bigr) \bigr\Vert ^{2}\,ds\leq\rho_{3}(\omega). \end{aligned}$$


Taking the inner product of (2.9) with v in \(L^{2}(U)\), we find that

$$\begin{aligned} \begin{aligned}[b] \frac{1}{2}\frac{d}{dt} \Vert v \Vert ^{2}+ \Vert \nabla v \Vert ^{2} ={}&{-}\bigl( \alpha(\theta_{t}\omega)f\bigl(\alpha^{-1}( \theta_{t}\omega)v\bigr),v\bigr)+\bigl(\alpha (\theta_{t} \omega)g(x),v\bigr) \\ &+\bigl(bvz(\theta_{t}\omega),v\bigr). \end{aligned} \end{aligned}$$

By using (1.3), we have

$$\begin{aligned} \bigl(\alpha(\theta_{t}\omega)f\bigl( \alpha^{-1}(\theta_{t}\omega)v\bigr),v\bigr)\geq c_{1}\alpha ^{2-p}(\theta_{t}\omega) \Vert v \Vert _{L^{p}(U)}^{p}-c_{2} \vert U \vert \alpha^{2}(\theta_{t}\omega). \end{aligned}$$

At the same time, applying Hölder’s inequality and Young’s inequality, we conclude that

$$\begin{aligned} \bigl(\alpha(\theta_{t}\omega)g(x),v\bigr)\leq \frac{\alpha^{2}(\theta_{t}\omega )}{2\lambda_{1}} \Vert g \Vert ^{2} +\frac{\lambda_{1}}{2} \Vert v \Vert ^{2} \end{aligned}$$


$$\begin{aligned} \bigl\vert \bigl(bvz(\theta_{t}\omega),v\bigr) \bigr\vert \leq b \bigl\vert z(\theta_{t}\omega) \bigr\vert \Vert v \Vert ^{2}, \end{aligned}$$

where \(\lambda_{1}\) is the first eigenvalue of −Δ with Dirichlet boundary value in (2.15).

Thus, (2.13)–(2.16) imply that

$$\begin{aligned} &\frac{d}{dt} \Vert v \Vert ^{2}+2 \Vert \nabla v \Vert ^{2}+2c_{1}\alpha^{2-p}( \theta_{t}\omega) \Vert v \Vert _{L^{p}(U)}^{p} \\ & \quad\leq2c_{2} \vert U \vert \alpha^{2}( \theta_{t}\omega)+\frac{ \Vert g \Vert ^{2}}{\lambda_{1}}\alpha ^{2}( \theta_{t}\omega) +\lambda_{1} \Vert v \Vert ^{2}+2b \bigl\vert z(\theta_{t}\omega) \bigr\vert \Vert v \Vert ^{2}. \end{aligned}$$

Using the Poincaré inequality \(\|\nabla v\|^{2}\geq\lambda_{1}\|v\|^{2}\) in the above result, we have

$$\begin{aligned} &\frac{d}{dt} \Vert v \Vert ^{2}+ \bigl(\lambda_{1}-2b \bigl\vert z(\theta_{t}\omega) \bigr\vert \bigr) \Vert v \Vert ^{2} +2c_{1} \alpha^{2-p}(\theta_{t}\omega) \Vert v \Vert _{L^{p}(U)}^{p} \\ &\quad \leq2c_{2} \vert U \vert \alpha^{2}( \theta_{t}\omega)+\frac{ \Vert g \Vert ^{2}}{\lambda_{1}}\alpha ^{2}( \theta_{t}\omega). \end{aligned}$$

Then, applying Gronwall’s lemma, we get

$$\begin{aligned} \bigl\Vert v\bigl(t,\omega,v_{0}(\omega)\bigr) \bigr\Vert ^{2} \leq{}& e^{2b\int_{0}^{t} \vert z(\theta_{\tau}\omega) \vert \,d\tau-\lambda_{1} t} \Vert v_{0} \Vert ^{2} \\ &+2c_{2} \vert U \vert \int_{0}^{t}e^{2b\int_{s}^{t} \vert z(\theta_{\tau}\omega) \vert \,d\tau+\lambda_{1} (s-t)} \alpha^{2}(\theta_{s}\omega)\,ds \\ &+\frac{ \Vert g \Vert ^{2}}{\lambda_{1}} \int_{0}^{t}e^{2b\int_{s}^{t} \vert z(\theta_{\tau}\omega ) \vert \,d\tau+\lambda_{1} (s-t)} \alpha^{2}(\theta_{s}\omega)\,ds. \end{aligned}$$

Substituting ω by \(\theta_{-t}\omega\) for above inequality and using (2.8), we find that

$$\begin{aligned} \bigl\Vert v\bigl(t,\theta_{-t}\omega,v_{0}( \theta_{-t}\omega)\bigr) \bigr\Vert ^{2}\leq{}& e^{2b\int _{0}^{t} \vert z(\theta_{\tau-t}\omega) \vert \,d\tau-\lambda_{1} t} \bigl\Vert v_{0}(\theta _{-t} \omega) \bigr\Vert ^{2} \\ &+2c_{2} \vert U \vert \int_{0}^{t}e^{2b\int_{s}^{t} \vert z(\theta_{\tau-t}\omega) \vert \,d\tau+\lambda _{1} (s-t)} \alpha^{2}(\theta_{s-t}\omega)\,ds \\ &+\frac{ \Vert g \Vert ^{2}}{\lambda_{1}} \int_{0}^{t}e^{2b\int_{s}^{t} \vert z(\theta_{\tau -t}\omega) \vert \,d\tau+\lambda_{1} (s-t)} \alpha^{2}(\theta_{s-t}\omega)\,ds \\ \leq{}&e^{2b\int_{-t}^{0} \vert z(\theta_{\tau}\omega) \vert \,d\tau-\lambda_{1} t} \bigl\Vert v_{0}(\theta_{-t} \omega) \bigr\Vert ^{2} \\ &+\biggl(2c_{2} \vert U \vert +\frac{ \Vert g \Vert ^{2}}{\lambda_{1}} \biggr)r^{2}(\omega) \int_{-\infty}^{0}e^{2b\int_{s}^{0} \vert z(\theta_{\tau}\omega) \vert \,d\tau}\,ds. \end{aligned}$$

It is obvious that \(e^{2b\int_{-t}^{0}|z(\theta_{\tau}\omega)|\,d\tau}\) is tempered, that is, there exists a random variable \(r_{3}(\omega)\) such that \(e^{2b\int_{-t}^{0}|z(\theta_{\tau}\omega)|\,d\tau}\leq r_{3}(\omega)\). In fact,

$$e^{-\beta t}e^{2b\int_{-t}^{0}|z(\theta_{\tau}\omega)|\,d\tau}=e^{-\beta t}e^{2bt\cdot\frac{1}{-t}\int_{0}^{-t}|z(\theta_{\tau}\omega)|\,d\tau}\leq e^{-\beta t}e^{2bt\cdot\frac{\beta}{4b}}= e^{-\frac{\beta t}{2}} $$

from (2.2) and \(z(\theta_{t}\omega)\) is tempered, where β is a positive constant. Notice that \(D(\omega)\in\mathcal{D}\) is tempered, then \(v_{0}(\theta_{-t}\omega)\in D(\theta_{-t}\omega)\) is also tempered. Moreover, it follows from the properties of the Ornstein–Uhlenbeck process that

$$\int_{-\infty}^{0}e^{2b\int_{s}^{0}|z(\theta_{\tau}\omega)|\,d\tau}\,ds< \infty. $$

Hence, combining with the above results, we set

$$\rho_{1}(\omega)=e^{-\lambda_{1} t}r_{3}(\omega) \bigl\Vert v_{0}(\theta_{-t}\omega) \bigr\Vert ^{2}+\biggl(2c_{2} \vert U \vert + \frac{ \Vert g \Vert ^{2}}{\lambda_{1}}\biggr)r^{2}(\omega) \int_{-\infty}^{0}e^{2b\int_{s}^{0} \vert z(\theta_{\tau}\omega) \vert \,d\tau}\,ds, $$

then (2.10) holds.

Next, we will prove that (2.11) holds. Integrating (2.17) over \([t,t+1]\) with respect to t and replacing ω by \(\theta _{-t-1}\omega\), we obtain

$$\begin{aligned} & \int_{t}^{t+1}\alpha^{2-p}( \theta_{s-t-1}\omega) \bigl\Vert v(s) \bigr\Vert _{L^{p}(U)}^{p}\,ds \\ &\quad \leq\frac{1}{2c_{1}} \biggl( \bigl\Vert v(t) \bigr\Vert ^{2} +\biggl(2c_{2} \vert U \vert + \frac{ \Vert g \Vert ^{2}}{\lambda_{1}}\biggr) \int_{t}^{t+1}\alpha^{2}(\theta _{s-t-1}\omega)\,ds \biggr) \\ &\quad \leq\frac{1}{2c_{1}} \biggl( \int_{t}^{t+1}\bigl(\lambda_{1}+2b \bigl\vert z(\theta _{s-t-1}\omega) \bigr\vert \bigr) \bigl\Vert v(s) \bigr\Vert ^{2}\,ds \biggr). \end{aligned}$$


$$\begin{aligned} \int_{t}^{t+1}\alpha^{2-p}( \theta_{s-t-1}\omega) \bigl\Vert v(s) \bigr\Vert _{L^{p}(U)}^{p}\,ds & = \int_{-1}^{0}\alpha^{2-p}( \theta_{s}\omega) \bigl\Vert v(s+t+1) \bigr\Vert _{L^{p}(U)}^{p}\,ds \\ & \geq r^{2-p}(\omega) \int_{-1}^{0}e^{\frac{(p-2)\lambda_{1}}{2}s} \bigl\Vert v(s+t+1) \bigr\Vert _{L^{p}(U)}^{p}\,ds \\ & \geq \bigl(r(\omega)e^{\frac{\lambda_{1}}{2}} \bigr)^{2-p} \int_{t}^{t+1} \bigl\Vert v(s) \bigr\Vert _{L^{p}(U)}^{p}\,ds, \end{aligned}$$

we can get

$$\begin{aligned} & \int_{t}^{t+1} \bigl\Vert v(s) \bigr\Vert _{L^{p}(U)}^{p}\,ds \\ &\quad \leq\frac{ (r(\omega)e^{\frac{\lambda_{1}}{2}} )^{p-2}}{2c_{1}} \biggl( \bigl\Vert v(t) \bigr\Vert ^{2}+\biggl(2c_{2} \vert U \vert + \frac{ \Vert g \Vert ^{2}}{\lambda_{1}}\biggr) \int_{-1}^{0}\alpha^{2}( \theta_{s}\omega )\,ds \biggr) \\ & \qquad+\frac{ (r(\omega)e^{\frac{\lambda_{1}}{2}} )^{p-2}}{2c_{1}} \biggl(\lambda_{1} \int_{t}^{t+1} \bigl\Vert v(s) \bigr\Vert ^{2}\,ds +2b \int_{-1}^{0} \bigl\vert z( \theta_{s}\omega) \bigr\vert \bigl\Vert v(s+t+1) \bigr\Vert ^{2}\,ds \biggr) \\ & \quad\leq\frac{ (r(\omega)e^{\frac{\lambda_{1}}{2}} )^{p-2}}{2c_{1}} \biggl(\bigl(1+\lambda_{1} +2be^{\frac{1}{2}}r(\omega)\bigr)\rho_{1}(\omega) + \biggl(2c_{2} \vert U \vert +\frac{ \Vert g \Vert ^{2}}{\lambda_{1}} \biggr)e^{\lambda_{1}}r^{2}(\omega) \biggr), \end{aligned}$$

by using (2.7), (2.8), (2.10) and combining (2.20) with (2.21). So (2.11) holds if we choose

$$\rho_{2}(\omega)=\frac{ (r(\omega) e^{\frac{\lambda_{1}}{2}} )^{p-2}}{2c_{1}} \biggl(\bigl(1+ \lambda_{1} +2be^{\frac{1}{2}}r(\omega)\bigr)\rho_{1}( \omega) +\biggl(2c_{2} \vert U \vert +\frac{ \Vert g \Vert ^{2}}{\lambda_{1}} \biggr)e^{\lambda_{1}}r^{2}(\omega) \biggr). $$

Finally, taking \(t\geq T_{D}(\omega)\) and \(s\in(t,t+1)\), integrating (2.17) from s to \(t+1\), it follows that

$$\begin{aligned} & \bigl\Vert v(t+1) \bigr\Vert ^{2}+2 \int_{s}^{t+1} \bigl\Vert \nabla v(\tau) \bigr\Vert ^{2}\,d\tau \\ &\quad \leq \bigl\Vert v(s) \bigr\Vert ^{2}+\biggl(2c_{2} \vert U \vert +\frac{ \Vert g \Vert ^{2}}{\lambda_{1}}\biggr) \int_{s}^{t+1}\alpha^{2}( \theta_{\tau}\omega)\,d\tau \\ & \qquad+\lambda_{1} \int_{s}^{t+1} \bigl\Vert v(\tau) \bigr\Vert ^{2}\,d\tau +2b \int_{s}^{t+1} \bigl\vert z( \theta_{\tau}\omega) \bigr\vert \bigl\Vert v(\tau) \bigr\Vert ^{2}\,d\tau. \end{aligned}$$

Again integrating (2.22) over \([t,t+1]\) with respect to s and replacing ω by \(\theta_{-t-1}\omega\), we infer that

$$\begin{aligned} \int_{t}^{t+1} \bigl\Vert \nabla v(\tau) \bigr\Vert ^{2}\,d\tau\leq{}&\frac{1}{2} \int_{t}^{t+1} \bigl\Vert v(s) \bigr\Vert ^{2}\,ds +\biggl(c_{2} \vert U \vert + \frac{ \Vert g \Vert ^{2}}{2\lambda_{1}}\biggr) \int_{t}^{t+1}\alpha^{2}( \theta_{\tau-t-1}\omega)\,d\tau \\ &+\frac{\lambda_{1}}{2} \int_{t}^{t+1} \bigl\Vert v(\tau) \bigr\Vert ^{2}\,d\tau +b \int_{t}^{t+1} \bigl\vert z( \theta_{\tau-t-1}\omega) \bigr\vert \bigl\Vert v(\tau) \bigr\Vert ^{2}\,d\tau \\ \leq{}&\frac{1}{2} \int_{t}^{t+1} \bigl\Vert v(s) \bigr\Vert ^{2}\,ds+\biggl(c_{2} \vert U \vert + \frac{ \Vert g \Vert ^{2}}{2\lambda_{1}}\biggr) \int_{-1}^{0}\alpha^{2}( \theta_{\tau}\omega )\,d\tau \\ &+\frac{\lambda_{1}}{2} \int_{t}^{t+1} \bigl\Vert v(\tau) \bigr\Vert ^{2}\,d\tau +b \int_{-1}^{0} \bigl\vert z( \theta_{\tau}\omega) \bigr\vert \bigl\Vert v(\tau+t+1) \bigr\Vert ^{2}\,d\tau \\ \leq{}& \biggl(\frac{1+\lambda_{1}}{2} +2be^{\frac{1}{2}}r(\omega) \biggr) \rho_{1}(\omega) +\biggl(c_{2} \vert U \vert + \frac{ \Vert g \Vert ^{2}}{2\lambda_{1}}\biggr)e^{\lambda_{1}}r^{2}(\omega) \end{aligned}$$

by using (2.7), (2.8) and (2.10). Thus, let

$$\rho_{3}(\omega)= \biggl(\frac{1+\lambda_{1}}{2}+2be^{\frac{1}{2}}r( \omega ) \biggr)\rho_{1}(\omega)+\biggl(c_{2} \vert U \vert +\frac{ \Vert g \Vert ^{2}}{2\lambda_{1}}\biggr)e^{\lambda_{1}}r^{2}(\omega), $$

then (2.12) holds. □

Lemma 2.10

Assume that\(g\in L^{2}(U)\)and (1.2)(1.4) hold. Let\(D\in\mathcal{D}\)and\(u_{0}(\omega)\in \mathcal{D}\). Then for\(\mathbb{P}\)-a.e. \(\omega\in\varOmega\), we have\(T_{D}(\omega)>0\)such that the solution\(u(t,\omega,u_{0}(\omega))\)of (1.1) satisfies, for all\(t>T_{D}(\omega)\),

$$\begin{aligned} \bigl\Vert u\bigl(t,\theta_{-t} \omega,u_{0}(\theta_{-t}\omega)\bigr) \bigr\Vert ^{2}\leq r^{2}(\omega)\rho _{1}(\omega) \end{aligned}$$


$$\begin{aligned} \bigl\Vert \nabla u\bigl(t,\theta_{-t} \omega,u_{0}(\theta_{-t}\omega)\bigr) \bigr\Vert ^{2}\leq\rho _{4}(\omega). \end{aligned}$$


Combining (2.10) with \(v(t,\omega,v_{0}(\omega ))=\alpha(\theta_{t}\omega)u(t,\omega,u_{0}(\omega))\), we have

$$\bigl\Vert u\bigl(t,\theta_{-t}\omega,u_{0}( \theta_{-t}\omega)\bigr) \bigr\Vert ^{2}= \bigl\Vert \alpha^{-1}(\omega )v\bigl(t,\theta_{-t} \omega,v_{0}(\theta_{-t}\omega)\bigr) \bigr\Vert ^{2} \leq r^{2}(\omega)\rho_{1}(\omega). $$

Now, multiplying (2.9) by \(-\Delta v\) and integrating over U, we find that

$$\begin{aligned} &\frac{1}{2}\frac{d}{dt} \Vert \nabla v \Vert ^{2}+ \Vert \Delta v \Vert ^{2}+\bigl(\alpha( \theta _{t}\omega)f\bigl(\alpha^{-1}(\theta_{t} \omega)v(t)\bigr),-\Delta v\bigr) \\ & \quad=\bigl(\alpha(\theta_{t}\omega)g(x),-\Delta v\bigr)+(bzv,-\Delta v). \end{aligned}$$

By using (1.2), Hölder’s inequality and Young’s inequality, we have

$$\begin{aligned}& \bigl(\alpha(\theta_{t}\omega)f\bigl( \alpha^{-1}(\theta_{t}\omega)v(t)\bigr),-\Delta v\bigr) \geq -l \Vert \nabla v \Vert ^{2}, \end{aligned}$$
$$\begin{aligned}& \bigl\vert \bigl(\alpha(\theta_{t}\omega)g(x),- \Delta v\bigr) \bigr\vert \leq\frac{\alpha^{2}(\theta _{t}\omega)}{4} \Vert g \Vert ^{2}+ \Vert \Delta v \Vert ^{2}, \end{aligned}$$


$$\begin{aligned} \bigl\vert (bzv,-\Delta v) \bigr\vert \leq b \vert z \vert \Vert \nabla v \Vert ^{2}. \end{aligned}$$

Thus, it follows from (2.25)–(2.28) that

$$\begin{aligned} \frac{d}{dt} \Vert \nabla v \Vert ^{2} \leq2l \Vert \nabla v \Vert ^{2}+2b \vert z \vert \Vert \nabla v \Vert ^{2}+\frac{\alpha^{2}(\theta_{t}\omega)}{2} \Vert g \Vert ^{2}. \end{aligned}$$

Now, taking \(t\geq T_{D}(\omega)\) and \(s\in(t,t+1)\), integrating (2.29) from s to \(t+1\), we get

$$\begin{aligned} \bigl\Vert \nabla v(t+1) \bigr\Vert ^{2}\leq{}&2l \int_{s}^{t+1} \bigl\Vert \nabla v(\tau) \bigr\Vert ^{2}\,d\tau+2b \int _{s}^{t+1} \bigl\vert z( \theta_{\tau}{\omega}) \bigr\vert \bigl\Vert \nabla v(\tau) \bigr\Vert ^{2}\,d\tau \\ &+\frac{ \Vert g \Vert ^{2}}{2} \int_{s}^{t+1}\alpha^{2}( \theta_{\tau}\omega)\,d\tau+ \bigl\Vert \nabla v(s) \bigr\Vert ^{2}. \end{aligned}$$

Integrating (2.30) over \([t,t+1]\) with respect to s and replacing ω by \(\theta_{-t-1}\omega\), we deduce that

$$\begin{aligned} & \bigl\Vert \nabla v\bigl(t+1,\theta_{-t-1}\omega,v_{0}( \theta_{-t-1}\omega)\bigr) \bigr\Vert ^{2} \\ &\quad \leq(1+2l) \int_{t}^{t+1} \bigl\Vert \nabla v\bigl(s, \theta_{-t-1}\omega,v_{0}(\theta _{-t-1}\omega) \bigr) \bigr\Vert ^{2}\,ds \\ &\qquad +\frac{ \Vert g \Vert ^{2}}{2} \int_{t}^{t+1}\alpha^{2}( \theta_{\tau-t-1}\omega)\,d\tau \\ &\qquad +2b \int_{t}^{t+1} \bigl\vert z( \theta_{\tau-t-1}\omega) \bigr\vert \bigl\Vert \nabla v\bigl(\tau, \theta _{-t-1}\omega,v_{0}(\theta_{-t-1}\omega) \bigr) \bigr\Vert ^{2}\,d\tau \\ &\quad \leq(1+2l)\rho_{3}(\omega)+\frac{ \Vert g \Vert ^{2}}{2} \int_{-1}^{0}\alpha ^{2}( \theta_{\tau}\omega)\,d\tau \\ &\qquad +2b \int_{-1}^{0} \bigl\vert z( \theta_{\tau}\omega) \bigr\vert \bigl\Vert \nabla v\bigl(\tau+t+1, \theta_{-t-1}\omega ,v_{0}(\theta_{-t-1}\omega) \bigr) \bigr\Vert ^{2}\,d\tau \\ & \quad\leq\bigl(1+2l+2b\sqrt{e}r(\omega)\bigr)\rho_{3}(\omega)+ \frac{e^{\lambda _{1}}}{2}r^{2}(\omega) \Vert g \Vert ^{2} \end{aligned}$$

by using (2.7), (2.8) and (2.12). Choosing

$$\rho_{4}(\omega)=\bigl(1+2l+2b\sqrt{e}r(\omega)\bigr) \rho_{3}(\omega)+\frac{e^{\lambda_{1}}}{2}r^{2}(\omega) \Vert g \Vert ^{2}, $$

and combining with

$$v(t)=\alpha(t)u(t), $$

we complete the proof. □

Combining the boundedness of solutions in \(H^{1}_{0}(U)\) given in Lemma 2.10 with the Sobolev compact embedding \(H^{1}_{0}(U)\hookrightarrow L^{2}(U)\), it is easy to obtain the compactness of solutions in \(L^{2}(U)\). Thus, by Theorem 2.8 we obtain the following result.

Lemma 2.11

Assume that\(g\in L^{2}(U)\)and (1.2)(1.4) hold. Then the continuous random dynamical systemΦgenerated by (1.1) has a unique\(\mathcal{D}\)-random attractorA, that is, for\(\mathbb{P}\)-a.e. \(\omega\in\varOmega\), Ais nonempty, compact, invariant and\(\mathcal{D}\)-pullback attracting in the topology of\(L^{2}(U)\).

3 Uniform estimates of solutions

In this section, the estimates on the higher order integrability for the difference of solutions near initial time will be given. At the same time, we also prove other corresponding results. For the sake of convenience, we choose C as the positive constant which may be different from line to line or in the same line in our paper.

3.1 Higher order integrability near initial time

Theorem 3.1

Assume that (1.2)(1.4) hold, and\(b>0\)and\(u_{0i}\in D(\omega)\) (\(i=1,2\)) is the initial data. Then, for any\(T>0\), any\(k=1,2,\ldots\)and\(\mathbb{P}\)-a.e. \(\omega\in \varOmega\), there exist positive constants\(M_{k}(\omega)=M(l, k, b, N, T, r(\omega), r_{3}(\omega), \lambda, \|u_{0i}\|)\), such that

$$t^{\frac{N}{N-2}} \bigl\Vert t^{b_{k}}\bar{u}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k}}(U)}^{2(\frac{N}{N-2})^{k}}\leq M_{k}(\omega), \quad\textit{for all } t\in[0,T], $$


$$\int^{T}_{0}\biggl( \int_{U} \bigl\vert t^{b_{k+1}}\bar{u}(t) \bigr\vert ^{2(\frac {N}{N-2})^{k+1}}\,dx\biggr)^{\frac{N-2}{N}}\,dt \leq M_{k}(\omega), $$


$$\begin{aligned} b_{1}=1+\frac{1}{2},\qquad b_{2}=1+\frac{1}{2}+1 \quad\textit{and}\quad b_{k+1} =b_{k}+\frac{1+\frac{N}{N-2}}{2(\frac{N}{N-2})^{k+1}} \quad\textit{for } k=2,3,\ldots. \end{aligned}$$


We see that \(\bar{u}(t)\) satisfies the equation

$$\begin{aligned} \left \{ \textstyle\begin{array}{ll} \frac{\partial\bar{u}}{\partial t}-\Delta\bar {u}+f(u_{1}(t))-f(u_{2}(t))=b\bar{u}\circ\frac{dW}{dt},\quad (x,t)\in U\times (0,T),\\ \bar{u}(t)|_{\partial U}=0,\quad t\geq0,\\ \bar{u}(0,\omega)=u_{01}(\omega)-u_{02}(\omega), \end{array}\displaystyle \right . \end{aligned}$$

where \(u_{i}(t)=\varPhi(t,\omega,u_{0i}(\omega))\) (\(i=1,2\)) is the solution of Eq. (1.1) with initial data \(u_{0i}\).

Due to \(v(t)=\alpha(\theta_{t}\omega)u(t)\) with \(\alpha(\theta_{t}\omega )=e^{-bz(\theta_{t}\omega)}\), we convert Eq. (3.2) into the equation

$$\begin{aligned} \left \{ \textstyle\begin{array}{ll} \frac{\partial\bar{v}}{\partial t}-\Delta\bar{v}+\alpha(\theta_{t}\omega )(f(u_{1}(t))-f(u_{2}(t)))=bz\bar{v},\quad (x,t)\in U\times(0,T),\\ \bar{v}(t)|_{\partial U}=0,\quad t\geq0,\\ \bar{v}(0,\omega)=v_{01}(\omega)-v_{02}(\omega). \end{array}\displaystyle \right . \end{aligned}$$

Our proof will be completed in two steps.

We can justify the following estimates by means of the Faedo–Galerkin approximation procedure.

• For the case \(k=1\). Taking the inner product of (3.3) with in \(L^{2}(U)\), we find that

$$\begin{aligned} \frac{1}{2}\frac{d}{dt} \Vert \bar{v} \Vert ^{2}+ \Vert \nabla\bar{v} \Vert ^{2} ={}&{-}\bigl( \alpha(\theta_{t}\omega) \bigl(f\bigl(u_{1}(t)\bigr)-f \bigl(u_{2}(t)\bigr)\bigr),\bar{v}\bigr) +b \vert z \vert \Vert \bar{v} \Vert ^{2},\quad t\in(0,T). \end{aligned}$$

By using (1.2), we have the following estimate:

$$\begin{aligned} -\bigl(\alpha(\theta_{t}\omega) \bigl(f \bigl(u_{1}(t)\bigr)-f\bigl(u_{2}(t)\bigr)\bigr),\bar{v} \bigr)\leq l \Vert \bar{v} \Vert ^{2}. \end{aligned}$$

It follows from (3.4) and (3.5) that

$$\frac{d}{dt} \Vert \bar{v} \Vert ^{2}+2 \Vert \nabla \bar{v} \Vert ^{2}\leq2l \Vert \bar{v} \Vert ^{2}+2b \vert z \vert \Vert \bar{v} \Vert ^{2}. $$

By Gronwall’s lemma, we conclude

$$\begin{aligned} \bigl\Vert \bar{v}(t) \bigr\Vert ^{2}\leq e^{2lt}e^{2b\int_{0}^{t} \vert z(\theta_{\tau}\omega) \vert \,d\tau} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}. \end{aligned}$$

It is obvious that \(e^{2b\int_{0}^{t}|z(\theta_{\tau}\omega)|\,d\tau}\) is tempered, that is, there exists a random variable \(r_{4}(\omega)\) such that \(e^{2b\int_{0}^{t}|z(\theta_{\tau}\omega)|\,d\tau}\leq r_{4}(\omega)\). In fact,

$$e^{-\beta t}e^{2b\int_{0}^{t}|z(\theta_{\tau}\omega)|\,d\tau}=e^{-\beta t}e^{2bt\cdot\frac{1}{t}\int_{0}^{t}|z(\theta_{\tau}\omega)|\,d\tau}\leq e^{-\beta t}e^{2bt\cdot\frac{\beta}{4b}}= e^{-\frac{\beta t}{2}}, $$

from (2.2), where β is a proper positive constant.

Then, (3.6) is equivalent to the following form:

$$\begin{aligned} \bigl\Vert \bar{v}(t) \bigr\Vert ^{2}\leq r_{4}(\omega)e^{2lt} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2},\quad \forall t\in[0,T]. \end{aligned}$$


$$\begin{aligned} & \int_{0}^{T} \bigl\Vert \nabla\bar{v}(s) \bigr\Vert ^{2}\,ds \\&\quad\leq\frac{1}{2} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2} +l \int_{0}^{T} \bigl\Vert \bar{v}(s) \bigr\Vert ^{2}\,ds+b \int_{0}^{T} \vert z \vert \bigl\Vert \bar{v}(s) \bigr\Vert ^{2}\,ds \\ &\quad \leq\frac{1}{2} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}+lr_{4}(\omega) \int_{0}^{T}e^{2ls} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}\,ds+br(\omega)r_{4}(\omega) \int_{0}^{T}e^{\frac{s}{2}}e^{2ls} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}\,ds \\ &\quad \leq\frac{1}{2} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}+lr_{4}(\omega)\frac{e^{2lT}-1}{2l} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}+br(\omega)r_{4}(\omega) \frac{e^{(2l+1)T}-1}{2l+1} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2} \\ &\quad =C\bigl(l,b,T,r(\omega),r_{4}(\omega)\bigr) \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}. \end{aligned}$$

And then it follows from \(\|\bar{v}\|_{L^{\frac{2N}{N-2}}(U)}\leq c\| \nabla\bar{v}\|\) (c is the embedding constant) that

$$\begin{aligned} \int_{0}^{T} \bigl\Vert \bar{v}(s) \bigr\Vert ^{2}_{L^{\frac{2N}{N-2}}(U)}\,ds\leq cC\bigl(l,b,T,r(\omega ),r_{4}(\omega)\bigr) \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}. \end{aligned}$$


$$\begin{aligned} \int_{0}^{T} \bigl\Vert s^{b_{1}} \bar{v}(s) \bigr\Vert ^{2}_{L^{\frac{2N}{N-2}}(U)}\,ds &= \int_{0}^{T}s^{2b_{1}} \bigl\Vert \bar{v}(s) \bigr\Vert ^{2}_{L^{\frac{2N}{N-2}}(U)}\,ds \\ &\leq T^{2b_{1}} \int_{0}^{T} \bigl\Vert \bar{v}(s) \bigr\Vert ^{2}_{L^{\frac {2N}{N-2}}(U)}\,ds \\ &\leq C\bigl(l,b,c,b_{1},T,r(\omega),r_{4}(\omega) \bigr) \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}. \end{aligned}$$

Taking the inner product of (3.3) with \(|\bar{v}|^{\frac {2N}{N-2}-2}\cdot\bar{v}\) in \(L^{2}(U)\) again, we obtain

$$\begin{aligned} &\frac{N-2}{2N}\frac{d}{dt} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac {2N}{N-2}} +\frac{\frac{2N}{N-2}-1}{(\frac{N}{N-2})^{2}} \int_{U} \bigl\vert \nabla \bigl\vert \bar{v}(t) \bigr\vert ^{\frac{N}{N-2}} \bigr\vert ^{2}\,dx \\ &\quad \leq\bigl(l+b \vert z \vert \bigr) \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}}, \end{aligned}$$

it follows that

$$\begin{aligned} &\frac{d}{dt} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}} +\frac{2(N+2)}{N} \int_{U} \bigl\vert \nabla \bigl\vert \bar{v}(t) \bigr\vert ^{\frac{N}{N-2}} \bigr\vert ^{2}\,dx \\ &\quad \leq\frac{2N(l+b \vert z \vert )}{N-2} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}}. \end{aligned}$$

Multiplying both sides of (3.11) with \(t^{\frac{3N}{N-2}}\), for a.e. \(t\in(0,T)\), yields

$$\begin{aligned} &t^{\frac{3N}{N-2}}\frac{d}{dt} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} +t^{\frac{3N}{N-2}}\frac{2(N+2)}{N} \int_{U} \bigl\vert \nabla \bigl\vert \bar{v}(t) \bigr\vert ^{\frac {N}{N-2}} \bigr\vert ^{2}\,dx \\ &\quad \leq t^{\frac{3N}{N-2}}\frac{2N(l+b \vert z \vert )}{N-2} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}}. \end{aligned}$$

At the same time, we see that

$$\begin{aligned} \frac{d}{dt} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac {2N}{N-2}}&=\frac{d}{dt} \int_{U}t^{\frac{3N}{N-2}} \bigl\vert \bar{v}(t) \bigr\vert ^{\frac{2N}{N-2}}\,dx \\ &=t^{\frac{3N}{N-2}}\frac{d}{dt} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} +\frac{3N}{N-2}t^{\frac{3N}{N-2}-1} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}}. \end{aligned}$$

Therefore, for a.e. \(t\in(0,T)\), we have

$$\begin{aligned} &\frac{d}{dt} \bigl\Vert t^{b_{1}} \bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac {2N}{N-2}}+\frac{2(N+2)}{N} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{1}}\bar{v}(t) \bigr\vert ^{\frac{N}{N-2}} \bigr\vert ^{2}\,dx \\ &\quad \leq\frac{2N(l+b \vert z \vert )}{N-2} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} +\frac{3N}{N-2}t^{-1} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} \\ & \quad\leq C(l,N,b) \bigl(1+ \bigl\vert z(\theta_{t}\omega) \bigr\vert +t^{-1}\bigr) \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}} \\ &\quad \leq C(l,N,b) \bigl(1+e^{\frac{t}{2}}r(\omega)+t^{-1}\bigr) \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}}, \end{aligned}$$

where \(C(l,N,b)=\max\{\frac{2Nl}{N-2},\frac{2Nb}{N-2},\frac{3N}{N-2}\} \). Thus, for a.e. \(t\in(0,T)\),

$$\begin{aligned} t\frac{d}{dt} \bigl\Vert t^{b_{1}} \bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac {2N}{N-2}}\leq{}& C(l,N,b) \bigl(t+te^{\frac{t}{2}}r(\omega)+1\bigr) \bigl\Vert t^{b_{1}} \bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}} \\ \leq{}&C(l,N,b) \bigl(T+Te^{\frac{T}{2}} r(\omega)+1\bigr) \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}} \end{aligned}$$


$$\begin{aligned} t\frac{d}{dt} \bigl\Vert t^{b_{1}} \bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{2}&=t\frac{d}{dt} \biggl( \int_{U} \bigl\vert t^{b_{1}}\bar{v}(t) \bigr\vert ^{\frac{2N}{N-2}}\,dx \biggr)^{\frac {N-2}{N}} \\ & =t\frac{N-2}{N} \biggl( \int_{U} \bigl\vert t^{b_{1}}\bar{v}(t) \bigr\vert ^{\frac {2N}{N-2}}\,dx \biggr)^{\frac{N-2}{N}-1} \frac{d}{dt} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac {2N}{N-2}} \\ & \leq\frac{N-2}{N} \biggl( \int_{U} \bigl\vert t^{b_{1}}\bar{v}(t) \bigr\vert ^{\frac {2N}{N-2}}\,dx \biggr)^{\frac{N-2}{N}-1} \\ & \quad\cdot C(l,N,b) \bigl(T+Te^{\frac{T}{2}}r(\omega)+1\bigr) \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} \\ & \leq C(l,N,b) \bigl(T+Te^{\frac{T}{2}}r(\omega)+1\bigr) \frac{N-2}{N} \bigl\Vert t^{b_{1}}\bar {v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{2}. \end{aligned}$$

For any fixed \(t\in(0,T)\), integrating (3.14) from 0 to t, we have

$$\begin{aligned} \int_{0}^{t}s\frac{d}{ds} \bigl\Vert s^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{2} \,ds={}&t \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{2}- \int_{0}^{t} \bigl\Vert s^{b_{1}} \bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{2}\,ds \\ \leq{}&C(l,N,b) \bigl(T+Te^{\frac{T}{2}}r(\omega)+1\bigr)\frac{N-2}{N} \\ &\cdot \int_{0}^{t} \bigl\Vert s^{b_{1}} \bar{v}(s) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{2}\,ds. \end{aligned}$$

Then, using (3.10), we have

$$\begin{aligned} t \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{2} \leq{}& \bigl(C(l,N,b) \bigl(T+Te^{\frac{T}{2}}r(\omega)+1\bigr)+1 \bigr) \\ &\cdot \int_{0}^{T} \bigl\Vert s^{b_{1}} \bar{v}(s) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{2}\,ds \\ \leq{}&\bigl(C(l,N,b) \bigl(T+Te^{\frac{T}{2}}r(\omega)+1\bigr)+1\bigr) \\ &\cdot C\bigl(l,b,c,b_{1},T,r(\omega),r_{4}(\omega) \bigr) \bigl\Vert \bar{v}(0) \bigr\Vert ^{2} \end{aligned}$$


$$\begin{aligned} t^{\frac{N}{N-2}} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac {2N}{N-2}}\leq M_{1}^{\prime}( \omega), \end{aligned}$$


$$\begin{aligned} M_{1}^{\prime}(\omega) ={}&\bigl(C(l,N,b) \bigl(T+Te^{\frac{T}{2}}r(\omega)+1\bigr)+1\bigr)^{\frac{N}{N-2}} \\ &\cdot\bigl(C\bigl(l,b,T,c,b_{1},r(\omega),r_{4}( \omega)\bigr)\bigr)^{\frac{N}{N-2}} \bigl\Vert \bar {v}(0) \bigr\Vert ^{\frac{2N}{N-2}}. \end{aligned}$$

Hence, for a.e. \(t\in(0,T)\), we get

$$\begin{aligned} t^{\frac{N}{N-2}} \bigl\Vert t^{b_{1}}\bar{u}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}} ={}&t^{\frac{N}{N-2}} \bigl\Vert t^{b_{1}}\alpha^{-1}(\theta_{t}\omega)\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} \\ \leq{}&\bigl(\alpha(\theta_{t}\omega)\bigr)^{-\frac{2N}{N-2}}M_{1}^{\prime}( \omega ) \\ \leq{}&\bigl(e^{\frac{\lambda}{2}T}r(\omega)\bigr)^{\frac{2N}{N-2}}M_{1}^{\prime}( \omega )=M_{1}^{\prime\prime}(\omega) \end{aligned}$$

from (2.8), (3.15) and \(\bar{v}(t)=\alpha(\theta_{t}\omega )\bar{u}(t)\).

Multiplying (3.12) by \(t^{\frac{2N}{N-2}}\) and combining with (3.15), we have

$$\begin{aligned} &t^{\frac{2N}{N-2}}\frac{d}{dt} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} +t^{\frac{2N}{N-2}}\frac{2(N+2)}{N} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{1}}\bar {v}(t) \bigr\vert ^{\frac{N}{N-2}} \bigr\vert ^{2}\,dx \\ &\quad =t^{\frac{2N}{N-2}}\frac{d}{dt} \bigl\Vert t^{b_{1}} \bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} +\frac{2(N+2)}{N} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{1}+1}\bar{v}(t) \bigr\vert ^{\frac {N}{N-2}} \bigr\vert ^{2}\,dx \\ &\quad \leq C(l,N,b) \bigl(t^{\frac{N}{N-2}}+t^{\frac{N}{N-2}}e^{\frac {t}{2}}r( \omega) +t^{\frac{N}{N-2}-1}\bigr)t^{\frac{N}{N-2}} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac {2N}{N-2}}(U)}^{\frac{2N}{N-2}} \\ & \quad\leq C(l,N,b) \bigl(t^{\frac{N}{N-2}}+t^{\frac{N}{N-2}}e^{\frac {t}{2}}r( \omega)+t^{\frac{N}{N-2}-1}\bigr)M_{1}^{\prime}(\omega). \end{aligned}$$

Integrating (3.17) over \([0,T]\) with respect to t, we see that

$$\begin{aligned} &\frac{2(N+2)}{N} \int_{0}^{T} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{1}+1}\bar {v}(t) \bigr\vert ^{\frac{N}{N-2}} \bigr\vert ^{2}\,dx\,dt \\ &\quad \leq\frac{2N}{N-2} \int_{0}^{T}t^{\frac{2N}{N-2}-1} \bigl\Vert t^{b_{1}}\bar{v}(t) \bigr\Vert _{L^{\frac{2N}{N-2}}(U)}^{\frac{2N}{N-2}}\,dt \\ & \qquad+C(l,N,b)M_{1}^{\prime}(\omega) \int_{0}^{T}\bigl(t^{\frac{N}{N-2}}+t^{\frac {N}{N-2}}e^{\frac{t}{2}}r( \omega)+t^{\frac{N}{N-2}-1}\bigr)\,dt \\ &\quad \leq\frac{2N}{N-2}M_{1}^{\prime}(\omega) \int_{0}^{T}t^{\frac{N}{N-2}-1}\,dt \\ & \qquad+C(l,N,b)M_{1}^{\prime}(\omega) \int_{0}^{T}\bigl(t^{\frac{N}{N-2}} +t^{\frac{N}{N-2}}e^{\frac{t}{2}}r(\omega)+t^{\frac {N}{N-2}-1}\bigr)\,dt \\ &\quad \leq C\bigl(l,N,b,T,r(\omega)\bigr)M_{1}^{\prime}( \omega). \end{aligned}$$

At the same time, combining with \(\|\bar{v}\|_{L^{\frac {2N}{N-2}}(U)}\leq c\|\nabla\bar{v}\|\) with (3.18), we conclude

$$\begin{aligned} \int_{0}^{T} \biggl( \int_{U}\bigl( \bigl\vert t^{b_{2}}\bar{v}(t) \bigr\vert ^{\frac{N}{N-2}}\bigr)^{\frac {2N}{N-2}}\,dx \biggr) ^{\frac{N-2}{N}}\,dt\leq{}&c \int_{0}^{T} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{1}+1}\bar {v}(t) \bigr\vert ^{\frac{N}{N-2}} \bigr\vert ^{2}\,dx\,dt \\ \leq{}&C\bigl(l,N,b,T,c,r(\omega)\bigr)M_{1}^{\prime}( \omega). \end{aligned}$$

Hence, for a.e. \(t\in(0,T)\), we get

$$\begin{aligned} & \int_{0}^{T} \biggl( \int_{U}\bigl( \bigl\vert t^{b_{2}}\bar{u}(t) \bigr\vert ^{\frac{N}{N-2}}\bigr) ^{\frac{2N}{N-2}}\,dx \biggr)^{\frac{N-2}{N}}\,dt \\ &\quad = \int_{0}^{T}\bigl(\alpha(\theta_{t} \omega)\bigr)^{-\frac{2N}{N-2}} \biggl( \int _{U}\bigl( \bigl\vert t^{b_{2}}\bar{v}(t) \bigr\vert ^{\frac{N}{N-2}}\bigr) ^{\frac{2N}{N-2}}\,dx \biggr)^{\frac{N-2}{N}}\,dt \\ &\quad \leq\bigl(e^{\lambda_{1} T}r^{2}(\omega)\bigr)^{\frac{N}{N-2}}C \bigl(l,N,b,T,c,r(\omega )\bigr)M_{1}^{\prime}(\omega) \\ &\quad \leq C\bigl(l,N,b,T,c,\lambda_{1},r(\omega)\bigr)M_{1}^{\prime}( \omega )=M_{1}^{\prime\prime\prime}(\omega) \end{aligned}$$

from (2.8), (3.19) and \(\bar{v}(t)=\alpha(\theta_{t}\omega )\bar{u}(t)\).

Set \(M_{1}(\omega)=\max\{M_{1}^{\prime\prime}(\omega),M_{1}^{\prime\prime\prime}(\omega)\}\), we show that \((A_{1})\) and \((B_{1})\) hold from (3.16) and (3.20).

• Assume that \((A_{k})\) and \((B_{k})\) hold for \(k\geq2\). Next, we will prove that \((A_{k+1})\) and \((B_{k+1})\) hold.

Taking the inner product of (3.3) with \(|\bar{v}|^{2(\frac {N}{N-2})^{k+1}-2}\cdot\bar{v}\), we find that

$$\begin{aligned} &\frac{1}{2} \biggl(\frac{N-2}{N} \biggr)^{k+1} \frac{d}{dt} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k+1}} +\frac{2(\frac{N}{N-2})^{k+1}-1}{ (\frac{N}{N-2} )^{2(k+1)}} \int_{U} \bigl\vert \nabla \bigl\vert \bar {v}(t) \bigr\vert ^{(\frac{N}{N-2})^{k+1}} \bigr\vert ^{2}\,dx \\ &\quad \leq\bigl(l+b \vert z \vert \bigr) \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k+1}}, \end{aligned}$$

that is, for a.e. \(t\in(0,T)\)

$$\begin{aligned} &\frac{d}{dt} \Vert \bar{v} \Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k+1}}+2\frac{2(\frac{N}{N-2})^{k+1}-1}{ (\frac {N}{N-2} )^{k+1}} \int_{U} \bigl\vert \nabla \bigl\vert \bar{v}(t) \bigr\vert ^{(\frac{N}{N-2})^{k+1}} \bigr\vert ^{2}\,dx \\ & \quad\leq\frac{2(l+b \vert z \vert )}{ (\frac{N-2}{N} )^{k+1}} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}} . \end{aligned}$$

Multiplying both sides of (3.21) with \(t^{2(\frac {N}{N-2})^{k+1}\cdot b_{k+1}}\), it follows that

$$\begin{aligned} &\frac{d}{dt} \bigl(t^{2(\frac{N}{N-2})^{k+1}\cdot b_{k+1}} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}} \bigr) +2\frac{2(\frac{N}{N-2})^{k+1}-1}{ (\frac{N}{N-2} )^{k+1}} \int _{U} \bigl\vert \nabla \bigl\vert t^{b_{k+1}}\bar{v}(t) \bigr\vert ^{({\frac{N}{N-2})^{k+1}}} \bigr\vert ^{2}\,dx \\ &\quad \leq\frac{2(l+b \vert z \vert )}{ (\frac{N-2}{N} )^{k+1}} \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k+1}} \\ & \qquad+2 \biggl(\frac{N}{N-2} \biggr)^{k+1} b_{k+1}t^{2(\frac {N}{N-2})^{k+1}\cdot b_{k+1}-1} \bigl\Vert \bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}}, \end{aligned}$$

that is,

$$\begin{aligned} &\frac{d}{dt} \bigl\Vert t^{b_{k+1}} \bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}}+2\frac{2(\frac{N}{N-2})^{k+1}-1}{ (\frac{N}{N-2} )^{k+1}} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{k+1}}\bar {v}(t) \bigr\vert ^{(\frac{N}{N-2})^{k+1}} \bigr\vert ^{2}\,dx \\ & \quad\leq C(l,N,k,b) \bigl(1+ \bigl\vert z(\theta_{t}\omega) \bigr\vert +t^{-1}\bigr) \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}}, \end{aligned}$$

where \(C(l,N,k,b)=\max\{\frac{2l}{ (\frac{N-2}{N} )^{k+1}},\frac{2b}{ (\frac{N-2}{N} )^{k+1}},2 (\frac {N}{N-2} )^{k+1} b_{k+1}\}\).

Firstly, from (3.22) we deduce that, for all \(t\in[0,T]\),

$$\begin{aligned} &t\frac{d}{dt} \bigl\Vert t^{b_{k+1}} \bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k}} \\&\quad=t\frac{d}{dt} \biggl( \int_{U} \bigl\vert t^{b_{k+1}}\bar{v}(t) \bigr\vert ^{2(\frac{N}{N-2})^{k+1}}\,dx \biggr)^{\frac{N-2}{N}} \\ &\quad =t\frac{N-2}{N} \biggl( \int_{U} \bigl\vert t^{b_{k+1}}\bar{v}(t) \bigr\vert ^{2(\frac {N}{N-2})^{k+1}} \biggr) ^{\frac{N-2}{N}-1}\frac{d}{dt} \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}} \\ &\quad \leq C(l,N,k,b) \bigl(T+Te^{\frac{T}{2}}+1\bigr) \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k}}. \end{aligned}$$

Integrating (3.23) over \([0,t]\), for all \(t\in[0,T]\), we have

$$\begin{aligned} t \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k}}\leq{}& \bigl(C(l,N,k,b) \bigl(T+Te^{\frac{T}{2}}+1 \bigr)+1 \bigr) \\ &\cdot \int_{0}^{T} \bigl\Vert t^{b_{k+1}} \bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k}}\,dt. \end{aligned}$$

Using (2.8) and \((B_{k})\), we also find that

$$\begin{aligned} & \int_{0}^{T} \bigl\Vert t^{b_{k+1}} \bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k}}\,dt \\ &\quad = \int_{0}^{T}\bigl(\alpha(\theta_{s} \omega)\bigr)^{-2(\frac{N}{N-2})^{k}} \bigl\Vert t^{b_{k+1}}\bar{u}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k}}\,dt \\ &\quad \leq \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{(\frac {N}{N-2})^{k}} \int_{0}^{T} \bigl\Vert t^{b_{k+1}} \bar{u}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k}}\,dt \\ &\quad \leq \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{(\frac {N}{N-2})^{k}}M_{k}( \omega). \end{aligned}$$

So, from (3.24)–(3.25) we obtain

$$\begin{aligned} t \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k}}\leq{}& \bigl(C(l,N,k,b) \bigl(T+Te^{\frac{T}{2}}+1 \bigr)+1 \bigr) \\ &\cdot \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{(\frac {N}{N-2})^{k}}M_{k}( \omega). \end{aligned}$$

In addition, we can get

$$\begin{aligned} & \bigl(e^{-\lambda_{1} T}r^{-2}(\omega) \bigr)^{(\frac{N}{N-2})^{k}}t \bigl\Vert t^{b_{k+1}}\bar{u}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k}} \\ & \quad\leq t \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k}} \end{aligned}$$

by using (2.8) and \(\bar{v}(t)=\alpha(\theta_{t}\omega)\bar{u}(t)\). Thus, from (3.26) and (3.27), we arrive at

$$\begin{aligned} t \bigl\Vert t^{b_{k+1}}\bar{u}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k}} \leq{}& \bigl(C(l,N,k,b) \bigl(T+Te^{\frac{T}{2}}+1\bigr)+1 \bigr) \\ &\cdot \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{2(\frac {N}{N-2})^{k}}M_{k}( \omega), \end{aligned}$$

which implies that

$$\begin{aligned} &t^{\frac{N}{N-2}} \bigl\Vert t^{b_{k+1}}\bar{u} \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}} \\ & \quad\leq \bigl[ \bigl(C(l,N,k,b) \bigl(T+Te^{\frac{T}{2}}+1\bigr)+1 \bigr) \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{2(\frac{N}{N-2})^{k}}M_{k} \bigr]^{\frac{N}{N-2}} \\ &\quad =M_{k+1}^{\prime\prime}(\omega). \end{aligned}$$

Secondly, after obtaining (3.28), we will prove \((B_{k+1})\) by (3.22). Multiplying both sides of (3.22) by \(t^{1+\frac {N}{N-2}}\), we find that

$$\begin{aligned} &t^{1+\frac{N}{N-2}}\frac{d}{dt} \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}} \\ &\qquad+2\frac{2(\frac{N}{N-2})^{k+1}-1}{ (\frac{N}{N-2} )^{k+1}} \int _{U} \bigl\vert \nabla \bigl\vert t^{b_{k+1}+\frac{1+\frac{N}{N-2}}{2(\frac {N}{N-2})^{k+1}}}\bar{v}(t) \bigr\vert ^{(\frac{N}{N-2})^{k+1}} \bigr\vert ^{2}\,dx \\ & \quad\leq C(l,N,k,b) \bigl(t+t \bigl\vert z(\theta_{t}\omega) \bigr\vert +1\bigr)t^{\frac{N}{N-2}} \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac {N}{N-2})^{k+1}}. \end{aligned}$$

Then, applying (2.8), (3.28) and the definition of \(b_{k+2}\), we obtain

$$\begin{aligned} &t^{1+\frac{N}{N-2}}\frac{d}{dt} \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k+1}}(U)} ^{2(\frac{N}{N-2})^{k+1}} \\ &\qquad+2\frac{2(\frac{N}{N-2})^{k+1}-1}{ (\frac{N}{N-2} )^{k+1}} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{k+2}}\bar {v}(t) \bigr\vert ^{(\frac{N}{N-2})^{k+1}} \bigr\vert ^{2}\,dx \\ &\quad \leq C(l,N,k,b) \bigl(t+te^{\frac{t}{2}}r(\omega)+1\bigr) \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{(\frac{N}{N-2})^{k+1}}M_{k+1}^{\prime\prime}( \omega). \end{aligned}$$

Integrating (3.30) over \([0,T]\) and applying (3.28), we obtain that

$$\begin{aligned} &2\frac{2(\frac{N}{N-2})^{k+1}-1}{ (\frac{N}{N-2} )^{k+1}} \int _{0}^{T} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{k+2}}\bar{v}(t) \bigr\vert ^{(\frac {N}{N-2})^{k+1}} \bigr\vert ^{2}\,dx\,dt \\ &\quad \leq C(l,N,k,b) \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{(\frac {N}{N-2})^{k+1}}M_{k+1}^{\prime\prime}(\omega) \int_{0}^{T}\bigl(t+te^{\frac{t}{2}}r(\omega )+1\bigr)\,dt \\ & \qquad+\frac{2N-2}{N-2} \int_{0}^{T}t^{\frac{N}{N-2}} \bigl\Vert t^{b_{k+1}}\bar{v}(t) \bigr\Vert _{L^{2(\frac{N}{N-2})^{k+1}}(U)}^{2(\frac{N}{N-2})^{k+1}}\,dt \\ &\quad \leq C(l,N,k,b) \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{(\frac {N}{N-2})^{k+1}} \bigl(T^{2}+T+\bigl(2Te^{T}+4 \bigr)r(\omega) \bigr)M_{k+1}^{\prime\prime}(\omega ) \\ & \qquad+\frac{2N-2}{N-2}T \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{(\frac {N}{N-2})^{k+1}}M_{k+1}^{\prime\prime}(\omega) \\ & \quad\leq C\bigl(l,N,k,b,\lambda_{1},T,r(\omega)\bigr)M_{k+1}^{\prime\prime}( \omega), \end{aligned}$$

which, combining with \((\int_{U}|\bar{v}|^{\frac{2N}{N-2}}\,dx )^{\frac{N-2}{N}}\leq c\int_{U}|\nabla\bar{v}|^{2}\,dx\), leads to

$$\begin{aligned} \int_{0}^{T} \biggl( \int_{U} \bigl\vert t^{b_{k+2}}\bar{v}(t) \bigr\vert ^{2(\frac {N}{N-2})^{k+2}}\,dx \biggr)^{\frac{N}{N-2}}\,dt & \leq c \int_{0}^{T} \int_{U} \bigl\vert \nabla \bigl\vert t^{b_{k+2}}\bar{v}(t) \bigr\vert ^{(\frac {N}{N-2})^{k+1}} \bigr\vert ^{2}\,dx\,dt \\ & \leq C\bigl(l,N,k,b,\lambda_{1},T,c,r(\omega) \bigr)M_{k+1}^{\prime\prime}(\omega). \end{aligned}$$

Similar to (3.20), from (3.31) we also obtain

$$\begin{aligned} & \int_{0}^{T} \biggl( \int_{U} \bigl\vert t^{b_{k+2}}\bar{u}(t) \bigr\vert ^{2(\frac {N}{N-2})^{k+2}}\,dx \biggr)^{\frac{N}{N-2}}\,dt \\ &\quad = \int_{0}^{T}\alpha^{-2(\frac{N}{N-2})^{k+1}}( \theta_{t}\omega) \biggl( \int_{U} \bigl\vert t^{b_{k+2}}\bar{v}(t) \bigr\vert ^{2(\frac{N}{N-2})^{k+2}}\,dx \biggr)^{\frac{N}{N-2}}\,dt \\ &\quad \leq \bigl(e^{\lambda_{1} T}r^{2}(\omega) \bigr)^{ (\frac {N}{N-2} )^{k+1}}C \bigl(l,N,k,b,\lambda_{1},T,c,r(\omega )\bigr)M_{k+1}^{\prime\prime}( \omega). \end{aligned}$$


$$M_{k+1}(\omega)=\max\bigl\{ M_{k+1}^{\prime\prime}, \bigl(e^{\lambda_{1} T}r^{2}(\omega ) \bigr)^{ (\frac{N}{N-2} )^{k+1}} C \bigl(l,N,k,b,\lambda_{1},T,c,r(\omega)\bigr)M_{k+1}^{\prime\prime} \bigr\} . $$

Therefore, (3.28) and (3.32) show that \((A_{k+1})\) and \((B_{k+1})\) hold, respectively. We finished the proof. □

Theorem 3.2

(\((L^{2},L^{2+\delta})\) attraction)

Assume that (1.2)(1.4) hold and\(b>0\). \(A\in\mathcal{D}\)is the\((L^{2},L^{2})\)\(\mathcal{D}\)-pullback random attractor obtained in Lemma 2.11. Then the random set\(A\in\mathcal{D}\)is also\(\mathcal{D}\)-pullback attracting in the topology of\(L^{2+\delta}\)for any\(\delta\in[0,\infty)\), that is, for every random set\(D\in\mathcal{D}\),

$$\begin{aligned} \lim_{t\rightarrow+\infty}\operatorname{dist}_{L^{2+\delta}} \bigl(\phi\bigl(t,\theta_{-t}\omega ,D(\theta_{-t} \omega)\bigr),A(\omega)\bigr)=0, \quad\mathbb{P}\textit{-almost surely}, \end{aligned}$$

where\(\operatorname{dist}_{L^{\delta+2}}\)means that

$$\operatorname{dist}_{L^{2+\delta}}(A,B)=\sup_{a\in A}\inf _{b\in B} \Vert a-b \Vert _{L^{2+\delta}} $$

for any two subsetA, Bin\(L^{2}(U)\).


The proof is similar to the proof of Theorem 4.5 (from [21]), so we omit it. □

3.2 \(L^{p}\)-Pullback attracting set

In this subsection, we will make uniform estimates for the solutions of Eq. (1.1) so that we prove the existence of a bounded random absorbing set in \(L^{p}(U)\) (\(p\geq2\)).

Lemma 3.3

(Random absorbing set in \(L^{p}\))

Assume that (1.2)(1.4) hold and\(b>0\). Then there exists a random absorbing set\(B\in\mathcal{D}\)such that for any random set\(D\in\mathcal{D}\)and\(\mathbb{P}\)-a.e. \(\omega\in\varOmega\), we have\(T^{1}_{D}(\omega)>T_{D}(\omega)\)such that

$$\begin{aligned} \varPhi\bigl(t,\theta_{-t}\omega,D( \theta_{-t}\omega)\bigr)\subset B(\omega), \quad\textit {for all } t\geq T^{1}_{D}(\omega), \end{aligned}$$


$$B(\omega)\textit{ is bounded in } L^{p}(U). $$


Taking the inner product of (2.9) with \(|v|^{p-2}v\) in \(L^{2}(U)\), we find that

$$\begin{aligned} &\frac{1}{p}\frac{d}{dt} \Vert v \Vert _{L^{p}(U)}^{p}+(p-1) \int_{U} \vert v \vert ^{p-2} \vert \nabla v \vert ^{2}\,dx \\ &\quad =-\bigl(\alpha(\theta_{t}\omega)f\bigl(\alpha^{-1}( \theta_{t}\omega )v\bigr), \vert v \vert ^{p-2}v\bigr)+ \bigl(bvz, \vert v \vert ^{p-2}v\bigr) \\ &\qquad +\bigl(\alpha(\theta_{t}\omega)g(x), \vert v \vert ^{p-2}v\bigr). \end{aligned}$$

Using (1.3), Hölder’s inequality and Young’s inequality, we have

$$\begin{aligned} \bigl(\alpha(\theta_{t}\omega)f\bigl( \alpha^{-1}(\theta_{t}\omega)v\bigr), \vert v \vert ^{p-2}v\bigr)\geq c_{4}\alpha^{2-p}( \theta_{t}\omega) \Vert v \Vert _{L^{2p-2}(U)}^{2p-2}-c_{5} \vert U \vert \alpha ^{p}(\theta_{t}\omega), \end{aligned}$$

where \(c_{4}\), \(c_{5}\) are positive constants, and

$$\begin{aligned} \bigl(\alpha(\theta_{t}\omega)g(x), \vert v \vert ^{p-2}v\bigr)\leq\frac{1}{2c_{4}}\alpha^{p} ( \theta_{t}\omega) \Vert g \Vert ^{2}+ \frac{c_{4}}{2}\alpha^{2-p} (\theta_{t}\omega) \Vert v \Vert ^{2p-2}_{L^{2p-2}(U)} \end{aligned}$$


$$\begin{aligned} \bigl(bvz, \vert v \vert ^{p-2}v\bigr)\leq b \vert z \vert \Vert v \Vert _{L^{p}(U)}^{p}. \end{aligned}$$

From (3.35)–(3.38), we get

$$\begin{aligned} \frac{d}{dt} \Vert v \Vert _{L^{p}(U)}^{p}+ \frac{c_{4}}{2}\alpha^{2-p}(\theta_{t}\omega) \Vert v \Vert ^{2p-2}_{L^{2p-2}(U)}\leq{}& c_{5}p \vert U \vert \alpha^{p}(\theta_{t}\omega) + \frac{p}{2c_{4}}\alpha^{p}(\theta_{t}\omega) \Vert g \Vert ^{2} \\ &+bp \vert z \vert \Vert v \Vert _{L^{p}(U)}^{p}. \end{aligned}$$

Now, choosing \(t\geq T_{D}(\omega)\) (\(T_{D}(\omega)\) to be the positive number in Lemma 2.9 and integrating (3.39) over \((s,t+1)\) with respect to t, we obtain

$$\begin{aligned} \bigl\Vert v\bigl(t+1,\omega,v_{0}(\omega)\bigr) \bigr\Vert _{L^{p}(U)}^{p} \leq{}& \bigl\Vert v\bigl(s, \omega,v_{0}(\omega)\bigr) \bigr\Vert _{L^{p}(U)}^{p} \\ &+\biggl(c_{5}p \vert U \vert +\frac{p \Vert g \Vert ^{2}}{2c_{4}}\biggr) \int_{s}^{t+1}\alpha^{p}( \theta_{\tau}\omega)\,d\tau \\ &+bp \int_{s}^{t+1} \bigl\vert z( \theta_{\tau}\omega) \bigr\vert \bigl\Vert v\bigl(\tau, \omega,v_{0}(\omega)\bigr) \bigr\Vert _{L^{p}(U)}^{p} \,d\tau. \end{aligned}$$

Next, integrating (3.40) over \((t,t+1)\) with respect to s, we have

$$\begin{aligned} \bigl\Vert v\bigl(t+1,\omega,v_{0}(\omega)\bigr) \bigr\Vert _{L^{p}(U)}^{p}\leq{}& \int_{t}^{t+1} \bigl\Vert v\bigl(s,\omega ,v_{0}(\omega)\bigr) \bigr\Vert _{L^{p}(U)}^{p} \,ds \\ &+\biggl(c_{5}p \vert U \vert +\frac{p \Vert g \Vert ^{2}}{2c_{4}}\biggr) \int_{t}^{t+1}\alpha^{p}( \theta_{\tau}\omega)\,d\tau \\ &+bp \int_{t}^{t+1} \bigl\vert z( \theta_{\tau}\omega) \bigr\vert \bigl\Vert v\bigl(\tau, \omega,v_{0}(\omega)\bigr) \bigr\Vert _{L^{p}(U)}^{p} \,d\tau. \end{aligned}$$

Replacing ω by \(\theta_{-t-1}\omega\) and using (2.8) and (2.11), we conclude that

$$\begin{aligned} \begin{aligned} &\|v(t+1,\theta_{-t-1}\omega,v_{0}(\theta_{-t-1} \omega)\|_{L^{p}(U)}^{p} \\&\quad \leq \int_{t}^{t+1} \bigl\Vert v\bigl(s, \theta_{-t-1}\omega,v_{0}(\theta_{-t-1}\omega) \bigr) \bigr\Vert _{L^{p}(U)}^{p}\,ds \\ &\qquad +\biggl(c_{5}p \vert U \vert +\frac{p \Vert g \Vert ^{2}}{2c_{4}}\biggr) \int_{-1}^{0}\alpha^{p}( \theta_{\tau }\omega)\,d\tau \\ & \qquad+bp \int_{-1}^{0} \bigl\vert z( \theta_{\tau}\omega) \bigr\vert \bigl\Vert v\bigl(\tau+t+1,\theta _{-t-1}\omega,v_{0}(\theta_{-t-1}\omega)\bigr) \bigr\Vert _{L^{p}(U)}^{p}\,d\tau \\ &\quad \leq\rho_{2}(\omega)+\biggl(c_{5}p \vert U \vert +\frac{p \Vert g \Vert ^{2}}{2c_{4}}\biggr)r^{p}(\omega) \int _{-1}^{0}e^{-\frac{p\lambda_{1}}{2}\tau}\,d\tau \\ &\qquad +bpe^{\frac{1}{2}}r(\omega) \int_{t}^{t+1} \bigl\Vert v\bigl(\tau, \theta_{-t-1}\omega ,v_{0}(\theta_{-t-1}\omega) \bigr) \bigr\Vert _{L^{p}(U)}^{p}\,d\tau \\ & \quad\leq\rho_{2}(\omega)+\biggl(c_{5}p \vert U \vert +\frac{p \Vert g \Vert ^{2}}{2c_{4}}\biggr)\frac{2}{p\lambda _{1}}e^{-\frac{p\lambda_{1}}{2}}r^{p}( \omega)+bpe^{\frac{1}{2}}r(\omega)\rho _{2}(\omega),\end{aligned} \end{aligned}$$

that is,

$$\begin{aligned} \|v(t+1,\theta_{-t-1}\omega,v_{0}( \theta_{-t-1}\omega)\|_{L^{p}(U)}^{p}\leq \rho_{4}(\omega). \end{aligned}$$

Then, from (3.41), for \(t\geq T^{1}_{D}(\omega)\geq T_{D}(\omega)\),

$$\begin{aligned} &\|u(t+1,\theta_{-t-1}\omega,u_{0}(\theta_{-t-1} \omega)\|_{L^{p}(U)}^{p} \\ & \quad=\|\alpha^{-1}(\theta_{-1}\omega)v(t+1, \theta_{-t-1}\omega,v_{0}(\theta _{-t-1}\omega) \|_{L^{p}(U)}^{p} \\& \quad\leq e^{\frac{p\lambda_{1}}{2}}r^{p}(\omega)\rho_{4}( \omega), \end{aligned}$$

where \(\rho_{5}(\omega)=e^{\frac{p\lambda_{1}}{2}}r^{p}(\omega)\rho_{4}(\omega )\), that is, for \(\omega\in\varOmega\),

$$\begin{aligned} B(\omega)=\bigl\{ u\in L^{p}(U): \Vert u \Vert _{L^{p}(U)}^{p}\leq\rho_{5}(\omega)\bigr\} . \end{aligned}$$

Therefore, \(B(\omega)\) is a random absorbing set for Φ in \(L^{p}(U)\). □

Theorem 3.4

Assume that (1.2)(1.4) hold. The\((L^{2},L^{2})\)\(\mathcal{D}\)-pullback random attractor\(A\in\mathcal{D}\)is also a\((L^{2},L^{p})\)\(\mathcal{D}\)-pullback random attractor, that is, \(A(\omega)\)is compact in\(L^{p}(U)\)for\(\mathbb{P}\)-a.e. \(\omega\in \varOmega\), AisΦ-invariant and\(\mathcal{D}\)-pullback attracting every random set\(D\in\mathcal{D}\)in the topology of\(L^{p}(U)\).


Using the interpolation inequality, Theorem 3.1, (2.4), (2.8) and (3.7), we have the following inequality:

$$\begin{aligned} &\|\varPhi(t,\omega,u_{n}(\omega)-\varPhi(t,\omega,u_{0}( \omega)\|_{L^{P}(U)}^{2} \\ &\quad \leq\|\varPhi(t,\omega,u_{n}(\omega)-\varPhi(t, \omega,u_{0}(\omega)\|^{2-2\theta }_{L^{2(\frac{N}{N-2})^{k_{0}}}(U)} \\ & \qquad\cdot\|\varPhi(t,\omega,u_{n}(\omega)-\varPhi(t, \omega,u_{0}(\omega)\|^{2\theta } \\ & \quad\leq\frac{M^{\frac{2-2\theta}{2(\frac{N}{N-2})^{k_{0}}}}_{k}(\omega )}{t^{(2-2\theta)+\frac{2-2\theta}{2(\frac{N}{N-2})^{k_{0}-1}}}} \cdot e^{\lambda_{1}\theta t}r^{2\theta}( \omega)r^{\theta}_{4}(\omega )e^{2l\theta t} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2\theta} \\ & \quad\leq\frac{\tilde{M}_{k}(\omega)}{t^{r_{0}}}\cdot e^{(2l+\lambda _{1})t}r^{4\theta}( \omega)r^{\theta}_{4}(\omega) \bigl\Vert u_{n}(\omega)-u_{0}(\omega) \bigr\Vert ^{2\theta}, \end{aligned}$$

where \(r_{0}\) is given by Theorem 3.5.

From the above result and Lemma 3.3, it is obvious that the \((L^{2}(U),L^{2}(U))\)\(\mathcal{D}\)-pullback random attractor \(A\in\mathcal {D}\) is compact in \(L^{p}(U)\) for \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\). □

3.3 Continuity of solutions in \(H_{0}^{1}(U)\)

Theorem 3.5

Assume that (1.2)(1.4) hold. If\(\{u_{n}(\omega)\}_{n}^{\infty}\)are bounded in\(L^{p}(U)\)and\(u_{n}(\omega )\rightarrow u_{0}(\omega)\)in\(L^{2}(U)\)as\(n\rightarrow\infty\), then, \(\mathbb{P}\)-a.e. \(\omega\in\varOmega\), for any\(t>0\),

$$\begin{aligned} \varPhi\bigl(t,\omega,u_{n}(\omega)\bigr) \rightarrow\varPhi\bigl(t,\omega,u_{0}(\omega)\bigr), \quad\textit{in }H_{0}^{1}(U)\textit{ as }n\rightarrow\infty. \end{aligned}$$

That is, the following estimate holds:

$$\begin{aligned} & \bigl\Vert \varPhi\bigl(t,\omega,u_{n}( \omega)\bigr)-\varPhi\bigl(t,\omega,u_{0}(\omega)\bigr) \bigr\Vert ^{2}_{H_{0}^{1}(U)} \\ &\quad \leq e^{\lambda_{1} t}r^{2}(\omega)C\bigl(c_{3},p, \theta,t,r_{0},\lambda_{1},\rho _{1}(\omega), \tilde{M}(\omega),M_{k_{0}},r_{3}(\omega), \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2}\bigr) , \end{aligned}$$

where\(\theta\in(0,1)\)is the exponent of the interpolation inequality\(\|\cdot\|_{L^{4p-6}}\leq\|\cdot\|_{1-\theta}^{L^{2(\frac {N}{N-2})^{k_{0}}}}\|\cdot\|\)with\(k_{0}\in\mathbb{N}\)satisfying\(2(\frac {N}{N-2})^{k_{0}}>4p-6\), and\(r_{0}=(\frac{N}{N-2})\frac{2-2\theta}{2(\frac {N}{N-2})^{k_{0}}}+(2-2\theta)b_{k_{0}}\).


If we set \(\bar{u}_{n}(t)=\varPhi(t,\omega,u_{n}(\omega))-\varPhi (t,\omega,u_{0}(\omega))\) (\(n=1,2,\ldots\)), then \(\bar{u}_{n}(t)\) satisfies the following equation:

$$ \left \{ \textstyle\begin{array}{ll} \frac{\partial\bar{u}_{n}}{\partial t}-\Delta\bar {u}_{n}+f(u_{n}(t))-f(u(t))=b\bar{u}_{n}(t)\circ\frac{dW}{dt},\quad (x,t)\in U\times(0,t),\\ \bar{u}_{n}(t)|_{\partial U}=0,\quad t\geq0,\\ \bar{u}_{n}(0)=u_{n}(\omega)-u_{0}(\omega), \end{array}\displaystyle \right . $$

where \(u_{n}(t)=\varPhi(t,\omega,u_{n}(\omega))\) (\(n=1,2\)) and \(u(t)=\varPhi (t,\omega,u_{0}(\omega))\).

Thanks to \(v_{n}(t)=\alpha(\theta_{t}\omega)u_{n}(t)\) and \(\alpha(\theta _{t}\omega)=e^{-bz(\theta_{t}\omega)}\), we may convert Eq. (3.44) into the following equation:

$$ \left \{ \textstyle\begin{array}{ll} \frac{\partial\bar{v}_{n}}{\partial t}-\Delta\bar{v}_{n}+\alpha(\theta _{t}\omega)(f(\alpha^{-1}(\theta_{t}\omega)v_{n}(t))-f(\alpha^{-1}(\theta _{t}\omega)v(t)))=bz\bar{v}_{n},\\ \quad(x,t)\in U\times(0,t),\\ \bar{v}_{n}(t)|_{\partial U}=0,\quad t\geq0,\\ \bar{v}_{n}(0)=v_{n}(\omega)-v_{0}(\omega), \end{array}\displaystyle \right . $$

where \(v_{n}(t)=\varPhi(t,\omega,v_{n}(\omega))\) (\(n=1,2\)) and \(v(t)=\varPhi (t,\omega,v_{0}(\omega))\).

Firstly, it follows from (3.39) and (3.41) that

$$\begin{aligned} &\frac{c_{4}}{2} \int_{0}^{t}\alpha^{2-p}( \theta_{s}\omega) \bigl\Vert v_{n}(s) \bigr\Vert ^{2p-2}_{L^{2p-2}(U)}\,ds \\ & \quad\leq \bigl\Vert v_{n}(0) \bigr\Vert _{L^{p}(U)}^{p}+ \biggl(\frac{p}{2c_{4}} \Vert g \Vert ^{2}+c_{5}p \vert U \vert \biggr) \int_{0}^{t}\alpha^{p}( \theta_{s}\omega)\,ds \\ &\qquad +bp \int_{0}^{t} \bigl\vert z(\theta_{s} \omega) \bigr\vert \bigl\Vert v_{n}(s) \bigr\Vert _{L^{p}(U)}^{p}\,ds \\ &\quad \leq \bigl\Vert v_{n}(0) \bigr\Vert _{L^{p}(U)}^{p}+ \biggl(\frac{p}{2c_{4}} \Vert g \Vert ^{2}+c_{5}p \vert U \vert \biggr)\frac{2e^{\lambda_{1} t}}{\lambda_{1}}r^{p}(\omega) \\ & \qquad+bpe^{\frac{t}{2}}r(\omega)\rho_{4}(\omega). \end{aligned}$$

Combining (3.46) with the inequality

$$\begin{aligned} &\frac{c_{4}}{2} \bigl(e^{-\frac{\lambda_{1}}{2}t}r^{-1}(\omega) \bigr)^{p-2} \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert ^{2p-2}_{L^{2p-2}(U)}\,ds \\ & \quad\leq\frac{c_{4}}{2} \int_{0}^{t}\alpha^{2-p}( \theta_{s}\omega) \bigl\Vert v_{n}(s) \bigr\Vert ^{2p-2}_{L^{2p-2}(U)}\,ds, \end{aligned}$$

we obtain

$$\begin{aligned} & \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert ^{2p-2}_{L^{2p-2}(U)}\,ds \\ &\quad \leq C\bigl(p,c_{4},c_{5},t,\lambda_{1}, \vert U \vert , \Vert g \Vert ^{2}\bigr) \bigl( \bigl\Vert v_{n}(0) \bigr\Vert _{L^{p}(U)}^{p}+r^{p}( \omega)\bigr). \end{aligned}$$

Therefore, we also obtain a similar estimate about \(v(t)\), that is, we have the following result:

$$\begin{aligned} \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert ^{2p-2}_{L^{2p-2}(U)}\,ds+ \int_{0}^{t} \bigl\Vert v(s) \bigr\Vert ^{2p-2}_{L^{2p-2}(U)}\,ds\leq\tilde{M}(\omega), \end{aligned}$$

where \(\tilde{M}(\omega)\) depends on p, \(c_{4}\), \(c_{5}\), t, \(\lambda_{1}\), \(|U|\), \(r(\omega)\), \(\|g\|^{2}\), \(\|v_{n}(0)\|_{L^{p}(U)}^{p}\).

In addition, using (3.7), we get

$$\begin{aligned} \int_{0}^{t} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2}\,ds\leq\frac{e^{2lt}-1}{2l}r_{4}( \omega) \bigl\Vert \bar {v}_{n}(0) \bigr\Vert ^{2},\quad \forall t\geq0. \end{aligned}$$

Using (3.8), for all \(t\geq0\),

$$\begin{aligned} \int_{0}^{t} \bigl\Vert \nabla\bar{v}(s) \bigr\Vert ^{2}\,ds\leq\frac{1}{2} \bigl\Vert \bar{v}(0) \bigr\Vert ^{2}+l \int _{0}^{t} \bigl\Vert \bar{v}(s) \bigr\Vert ^{2}\,ds+b \int_{0}^{t} \bigl\vert z(\theta_{t} \omega) \bigr\vert \bigl\Vert \bar{v}(s) \bigr\Vert ^{2}\,ds. \end{aligned}$$

Next, taking the inner product of (3.45) with \(-\Delta\bar{v}_{n}\), we find that

$$\begin{aligned} \frac{1}{2}\frac{d}{dt} \Vert \nabla \bar{v}_{n} \Vert ^{2}+ \Vert \Delta \bar{v}_{n} \Vert ^{2} ={}&{-}\bigl(\alpha( \theta_{t}\omega) \bigl(f\bigl(\alpha^{-1}( \theta_{t}\omega)v_{n}(t)\bigr)+(bz\bar {v}_{n},-\Delta\bar{v}_{n}) \\ &-f\bigl(\alpha^{-1}(\theta_{t}\omega)v(t)\bigr)\bigr), \Delta\bar{v}_{n}\bigr). \end{aligned}$$

Using the conditions (1.2)–(1.4), the Hölder inequality and the Young inequality, we have

$$\begin{aligned} & \bigl\vert \bigl(\alpha(\theta_{t}\omega) \bigl(f\bigl(\alpha^{-1}(\theta_{t}\omega)v_{n}(t) \bigr)-f\bigl(\alpha ^{-1}(\theta_{t}\omega)v(t)\bigr) \bigr),\Delta\bar{v}_{n}\bigr) \bigr\vert \\ & \quad\leq c_{3} \int_{U} \vert \bar{v}_{n} \vert \vert \Delta\bar{v}_{n} \vert \bigl(1+ \bigl\vert \alpha ^{-1}v_{n} \bigr\vert ^{p-2}+ \bigl\vert \alpha^{-1}v \bigr\vert ^{p-2}\bigr)\,dx \\ &\quad \leq c_{3} \bigl(e^{\frac{\lambda_{1}}{2}t}r(\omega) \bigr)^{p-2} \int _{U} \vert \bar{v}_{n} \vert \vert \Delta\bar{v}_{n} \vert \bigl(1+ \vert v_{n} \vert ^{p-2}+ \vert v \vert ^{p-2}\bigr)\,dx \\ & \quad\leq c_{3} \bigl(e^{\frac{\lambda_{1}}{2}t}r(\omega) \bigr)^{p-2} \Vert \bar {v}_{n} \Vert _{L^{4p-6}} \Vert \Delta\bar{v}_{n} \Vert C(p) \bigl(1+ \Vert v_{n} \Vert _{L^{2p-3}}^{p-2}+ \Vert v \Vert _{L^{2p-3}}^{p-2}\bigr) \\ & \quad\leq c^{2}_{3} \bigl(e^{\frac{\lambda_{1}}{2}t}r(\omega) \bigr)^{2p-4}\frac {C^{2}(p)}{2}\bigl( \Vert v_{n} \Vert _{L^{2p-3}}^{2p-4}+ \Vert v \Vert _{L^{2p-3}}^{2p-4}\bigr) \Vert \bar {v}_{n} \Vert _{L^{4p-6}}^{2} \\ &\qquad +\frac{ \Vert \Delta\bar{v}_{n} \Vert ^{2}}{2} \end{aligned}$$


$$\begin{aligned} \bigl\vert (bz\bar{v}_{n},-\Delta \bar{v}_{n}) \bigr\vert \leq\frac{b^{2} \vert z \vert ^{2}}{2} \Vert \bar{v}_{n} \Vert ^{2}+\frac{ \Vert \Delta\bar{v}_{n} \Vert ^{2}}{2}. \end{aligned}$$

From (3.51)–(3.53), we obtain

$$\begin{aligned} \frac{d}{dt} \Vert \nabla\bar{v}_{n} \Vert ^{2}\leq{}& c^{2}_{3} \bigl(e^{\frac{\lambda _{1}}{2}t}r(\omega) \bigr)^{2p-4}C^{2}(p) \Vert v_{n} \Vert _{L^{2p-3}(U)}^{2p-4} \Vert \bar{v}_{n} \Vert _{L^{4p-6}(U)}^{2} \\ &+c^{2}_{3} \bigl(e^{\frac{\lambda_{1}}{2}t}r(\omega) \bigr)^{2p-4}C^{2}(p) \Vert v \Vert _{L^{2p-3}(U)}^{2p-4} \Vert \bar{v}_{n} \Vert _{L^{4p-6}(U)}^{2} \\ &+b^{2} \vert z \vert ^{2} \Vert \bar{v}_{n} \Vert ^{2}. \end{aligned}$$

Due to \(2(\frac{N}{N-2})^{k}\rightarrow\infty\) as \(k\rightarrow\infty\), we set \(k_{0}=[\log_{\frac{N}{N-2}}(2p-3)]+1\in\mathbb{N}\) such that

$$2\biggl(\frac{N}{N-2}\biggr)^{k_{0}}>4p-6. $$

Exploiting the interpolation inequality, we have

$$\Vert \bar{v}_{n} \Vert _{L^{4p-6}} \leq \Vert \bar{v}_{n} \Vert _{L^{2(\frac{N}{N-2})^{k_{0}}}(U)}^{1-\theta} \Vert \bar {v}_{n} \Vert ^{\theta}, $$

where \(\theta\in(0,1)\) depends on p, \(k_{0}\).

Thus, we conclude that

$$\begin{aligned} \frac{d}{dt} \Vert \nabla\bar{v}_{n} \Vert ^{2}\leq{}& c^{2}_{3} \bigl(e^{\frac{\lambda _{1}}{2}t}r(\omega) \bigr)^{2p-4}C^{2}(p) \bigl( \Vert v_{n} \Vert _{L^{2p-3}(U)}^{2p-4}+ \Vert v \Vert _{L^{2p-3}(U)}^{2p-4}\bigr) \\ &\cdot \Vert \bar{v}_{n} \Vert _{L^{2(\frac{N}{N-2})^{k_{0}}}(U)}^{2-2\theta} \Vert \bar {v}_{n} \Vert ^{2\theta}+b^{2} \vert z \vert ^{2} \Vert \bar{v}_{n} \Vert ^{2}, \quad\text{for a.e. }(0,t). \end{aligned}$$


$$r_{0}=\biggl(\frac{N}{N-2}\biggr)\frac{2-2\theta}{2(\frac{N}{N-2})^{k_{0}}}+(2-2 \theta)b_{k_{0}}. $$

Multiplying both sides of (3.55) with \(t^{r_{0}}\), we get

$$\begin{aligned} t^{r_{0}}\frac{d}{dt} \Vert \nabla \bar{v}_{n} \Vert ^{2}\leq{}&c^{2}_{3} \bigl(e^{\frac{\lambda _{1}}{2}t}r(\omega) \bigr)^{2p-4}C^{2}(p) \bigl( \Vert v_{n} \Vert _{L^{2p-3}(U)}^{2p-4}+ \Vert v \Vert _{L^{2p-3}(U)}^{2p-4}\bigr) \\ &\cdot \bigl(t^{\frac{N}{N-2}} \bigl\Vert t^{b_{k_{0}}} \bar{v}_{n} \bigr\Vert _{L^{2(\frac {N}{N-2})^{k_{0}}}(U)}^{2(\frac{N}{N-2})^{k_{0}}} \bigr)^{\frac{2-2\theta }{2(\frac{N}{N-2})^{k_{0}}}} \Vert \bar{v}_{n} \Vert ^{2\theta} \\ &+t^{r_{0}}b^{2} \vert z \vert ^{2} \Vert \bar{v}_{n} \Vert ^{2}, \end{aligned}$$

where \(b_{k_{0}}\) is given by (3.1).

Moreover, due to Theorem 3.1, we know that there exists a constant \(M_{k_{0}}(\omega)\) such that

$$\begin{aligned} & \bigl(s^{\frac{N}{N-2}} \bigl\Vert s^{b_{k_{0}}} \bar{v}_{n}(s) \bigr\Vert _{L^{2(\frac {N}{N-2})^{k_{0}}}(U)}^{2(\frac{N}{N-2})^{k_{0}}} \bigr)^{\frac{2-2\theta }{2(\frac{N}{N-2})^{k_{0}}}} \\ &\quad \leq\bigl(e^{\frac{\lambda_{1} s}{ 2}}r(\omega)M_{k_{0}}(\omega) \bigr)^{2-2\theta },\quad n=1,2,\ldots, s\in[0,t]. \end{aligned}$$

So, for \(n=1,2,\dots\), from (3.56)–(3.57) we obtain the following estimate:

$$\begin{aligned} s^{r_{0}}\frac{d}{ds} \bigl\Vert \nabla \bar{v}_{n}(s) \bigr\Vert ^{2} & \leq c^{2}_{3}\bigl(e^{\lambda_{1} s}r^{2}( \omega)\bigr)^{p-\theta -1}C^{2}(p)M_{k_{0}}^{2-2\theta} \bigl\Vert v_{n}(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4} \bigl\Vert \bar {v}_{n}(s) \bigr\Vert ^{2\theta} \\ &\quad +c^{2}_{3}\bigl(e^{\lambda_{1} s}r^{2}( \omega)\bigr)^{p-\theta -1}C^{2}(p)M_{k_{0}}^{2-2\theta} \bigl\Vert v(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4} \bigl\Vert \bar {v}_{n}(s) \bigr\Vert ^{2\theta} \\ &\quad +s^{r_{0}}b^{2} \bigl\vert z(\theta_{s} \omega) \bigr\vert ^{2} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2}. \end{aligned}$$

Next, multiplying both sides of (3.58) with s, for a.e. \(s\in [0,t]\), we find that

$$\begin{aligned} s^{1+r_{0}}\frac{d}{ds} \bigl\Vert \nabla \bar{v}_{n}(s) \bigr\Vert ^{2} & \leq c_{3}^{2}\bigl(e^{\lambda_{1} t}r^{2}( \omega)\bigr)^{p-\theta -1}C^{2}(p)M_{k_{0}}^{2-2\theta}t \bigl\Vert v_{n}(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4} \bigl\Vert \bar {v}_{n}(s) \bigr\Vert ^{2\theta} \\ & \quad+c_{3}^{2}\bigl(e^{\lambda_{1} t}r^{2}( \omega)\bigr)^{p-\theta -1}C^{2}(p)M_{k_{0}}^{2-2\theta}t \bigl\Vert v(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4} \bigl\Vert \bar {v}_{n}(s) \bigr\Vert ^{2\theta} \\ &\quad +t^{1+r_{0}}b^{2} \bigl\vert z(\theta_{s} \omega) \bigr\vert ^{2} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2}. \end{aligned}$$

Integrating (3.59) over \([0,t]\) with respect to s, for \(n=1,2,\dots\), we have

$$\begin{aligned} &t^{1+r_{0}} \bigl\Vert \nabla\bar{v}_{n}(t) \bigr\Vert ^{2} \\ & \quad\leq c_{3}^{2}\bigl(e^{\lambda_{1} t}r^{2}( \omega)\bigr)^{p-\theta -1}C^{2}(p)M_{k_{0}}^{2-2\theta}t \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2\theta }\,ds \\ & \qquad+c_{3}^{2}\bigl(e^{\lambda_{1} t}r^{2}( \omega)\bigr)^{p-\theta -1}C^{2}(p)M_{k_{0}}^{2-2\theta}t \int_{0}^{t} \bigl\Vert v(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2\theta }\,ds \\ & \qquad+(1+r_{0})t^{r_{0}} \int_{0}^{t} \bigl\Vert \nabla \bar{v}_{n}(s) \bigr\Vert ^{2}\,ds +t^{1+r_{0}}b^{2}e^{t}r^{2}(\omega) \int_{0}^{t} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2}\,ds \\ &\quad =I_{1}+I_{2}+I_{3}. \end{aligned}$$

Note that we can obtain that

$$\begin{aligned} & \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert ^{2p-4}_{L^{2p-3}(U)} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2\theta }\,ds \\ &\quad \leq \biggl( \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert ^{2p-3}_{L^{2p-3}(U)}\,ds \biggr)^{\frac {2p-4}{2p-3}} \biggl( \int_{0}^{t} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2\theta(2p-3)}\,ds \biggr)^{\frac{1}{2p-3}} \end{aligned}$$

by the Hölder inequality for \(I_{1}\). Combining with (3.48), (3.49), (3.61) and the interpolation inequality, we have

$$\begin{aligned} & \int_{0}^{t}\bigl( \bigl\Vert v_{n}(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4}+ \bigl\Vert v(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-4}\bigr) \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2\theta}\,ds \\ & \quad\leq \biggl( \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-3}\,ds+ \int_{0}^{t} \bigl\Vert v(s) \bigr\Vert _{L^{2p-3}(U)}^{2p-3}\,ds \biggr)^{\frac{2p-4}{2p-3}} \\ & \qquad\cdot \biggl( \int_{0}^{t} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2\theta(2p-3)}\,ds \biggr)^{\frac {1}{2p-3}} \\ & \quad\leq \biggl( \int_{0}^{t} \bigl\Vert v_{n}(s) \bigr\Vert _{L^{2p-2}(U)}^{(1-\theta)(2p-3)} \bigl\Vert v_{n}(s) \bigr\Vert ^{\theta(2p-3)}\,ds \\ &\qquad + \int_{0}^{t} \bigl\Vert v(s) \bigr\Vert _{L^{2p-2}(U)}^{(1-\theta)(2p-3)} \bigl\Vert v(s) \bigr\Vert ^{\theta (2p-3)}\,ds \biggr)^{\frac{2p-4}{2p-3}} \\ & \qquad\cdot\frac{e^{2l\theta(2p-3)t}-1}{2l\theta(2p-3)}r_{4}(\omega) \bigl\Vert \bar {v}_{n}(0) \bigr\Vert ^{2\theta} \\ & \quad\leq C\bigl(p,\theta,\rho_{1}(\omega),\tilde{M}( \omega),r_{4}(\omega)\bigr)\frac {e^{2l\theta(2p-3)t}-1}{2l\theta(2p-3)} \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2\theta} . \end{aligned}$$


$$\begin{aligned} I_{1}\leq{}& c_{3}^{2}t \bigl(e^{\lambda_{1} t}r^{2}(\omega)\bigr)^{p-\theta -1}C^{2}(p)M_{k_{0}}^{2-2\theta} C\bigl(p,\theta,\rho_{1}(\omega),\tilde{M}(\omega),r_{4}( \omega)\bigr) \\ &\cdot\frac{e^{2l\theta(2p-3)t}-1}{2l\theta(2p-3)} \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2\theta}. \end{aligned}$$

For the estimates of \(I_{2}\), \(I_{3}\), applying (3.49)–(3.50), we deduce that

$$\begin{aligned} I_{2}\leq{}&(1+r_{0})t^{r_{0}} \biggl(\frac{1}{2} \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2}+\bigl(l+be^{\frac {T}{2}}r(\omega)\bigr) \int_{0}^{t} \bigl\Vert \bar{v}_{n}(s) \bigr\Vert ^{2}\,ds \biggr) \\ \leq{}&(1+r_{0})t^{r_{0}} \biggl(\frac{1}{2} \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2}+ \bigl(l+be^{\frac {T}{2}}r(\omega)\bigr) \frac{e^{2lt}-1}{2l}r_{4}( \omega) \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2} \biggr) \end{aligned}$$


$$\begin{aligned} I_{3}\leq t^{1+r_{0}}b^{2}e^{t}r^{2}( \omega)\frac{e^{2lt}}{2l}r_{4}(\omega) \bigl\Vert \bar {v}_{n}(0) \bigr\Vert ^{2}. \end{aligned}$$

Thus it follows from (3.62)–(3.64) that (3.60) holds. That is,

$$\begin{aligned} \bigl\Vert \nabla\bar{v}_{n}(t) \bigr\Vert ^{2}\leq C\bigl(c_{3},p,\theta,t,r_{0}, \lambda_{1},\rho _{1}(\omega),\tilde{M}(\omega), M_{k_{0}},r_{4}(\omega), \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2}\bigr). \end{aligned}$$

Applying \(\bar{v}_{n}(t)=\alpha(\theta_{t}\omega)\bar{u}_{n}(t)\) and (3.65), we can get

$$\begin{aligned} \bigl\Vert \nabla\bar{u}_{n}(t) \bigr\Vert ^{2}={}& \bigl\Vert \nabla\bigl(\alpha^{-1}(\theta_{t}\omega)\bar {v}_{n}(t)\bigr) \bigr\Vert ^{2}\leq e^{\lambda_{1} t}r^{2}(\omega) \bigl\Vert \nabla \bar{v}_{n}(t) \bigr\Vert ^{2} \\ \leq{}& e^{\lambda_{1} t}r^{2}(\omega)C\bigl(c_{3},p, \theta,t,r_{0},\lambda_{1},\rho _{1}( \omega),\tilde{M}(\omega),M_{k_{0}},r_{4}(\omega), \bigl\Vert \bar{v}_{n}(0) \bigr\Vert ^{2}\bigr) . \end{aligned}$$

Thus, we finish the proof of (3.43), which implies that (3.42) holds. □

Theorem 3.6

(\((L^{2},H^{1}_{0})\) attraction)

Assume that (1.2)(1.4) hold. \(A\in\mathcal{D}\)is the\((L^{2},L^{2})\)\(\mathcal{D}\)-pullback random attractor obtained in Lemma 2.11. Then, the random set\(A\in\mathcal{D}\)is also\(\mathcal{D}\)-pullback attracting in the topology of\(H^{1}_{0}(U)\), that is, for every random set\(D\in\mathcal{D}\),

$$\begin{aligned} \lim_{t\rightarrow+\infty}\operatorname{dist}_{H^{1}_{0}}\bigl(\phi \bigl(t,\theta _{-t}\omega,D(\theta_{-t}\omega)\bigr),A( \omega)\bigr)=0, \quad\mathbb{P}\textit{-almost surely}. \end{aligned}$$


Based on Theorem 3.1 and Theorem 3.5, we can utilize the same approach with Theorem 5.5 of [21] and obtain this result. So we omit it. □

Combining Theorem 3.5 with Theorem 3.6 and the existence of the absorbing set (Lemma 2.10) in \(H^{1}_{0}(U)\), we easily find the existence of a \((L^{2},H^{1}_{0})\)\(\mathcal {D}\)-pullback random attractor.

Theorem 3.7

The\((L^{2},L^{2})\)\(\mathcal{D}\)-pullback random attractorAis also a\((L^{2},H_{0}^{1})\)\(\mathcal{D}\)-pullback random attractor.


  1. Schmalfuß, B.: Backward cocycle and attractors of stochastic differential equations. In: Reitmann, V., Riedrich, T., Koksch, N. (eds.) International Seminar on Applied Mathematics Nonlinear Dynamics: Attractors Approximation and Global Behavior, Technische Universität, Dresden, pp. 185–192 (1992)

    Google Scholar 

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

    MATH  Google Scholar 

  3. Flandoli, F., Schmalfuß, B.: Random attractors for the 3D stochastic Navier–Stokes equation with multiplicative noise. Stochastics 59(1), 21–45 (1996)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  5. Arnold, L.: Random Dynamical Systems. Springer, New York (1998)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  7. Crauel, H.: Random point attractors versus random set attractors. J. Lond. Math. Soc. 63(2), 413–427 (2001)

    MATH  Google Scholar 

  8. Chueshov, I.: Monotone Random Systems Theory and Applications. Springer, Berlin (2002)

    MATH  Google Scholar 

  9. Robinson, J.C.: Stability of random attractors under perturbation and approximation. J. Differ. Equ. 186(2), 652–669 (2002)

    MATH  Google Scholar 

  10. Langa, J.A.: Fractal dimension of a random invariant set. J. Math. Pures Appl. 85(2), 269–294 (2006)

    MATH  Google Scholar 

  11. Kloeden, D.E., Langa, J.A.: Flattening, squeezing and the existence of random attractors. Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 463(2077), 163–181 (2007)

    MATH  Google Scholar 

  12. Wang, G., Guo, B.L., Li, Y.R.: The asymptotic behavior of the stochastic Ginzburg–Landau equation with additive noise. Appl. Math. Comput. 198, 849–857 (2008)

    MATH  Google Scholar 

  13. Wang, B.X.: Random attractors for non-autonomous stochastic wave equations with multiplicative noise. Discrete Contin. Dyn. Syst. 34(1), 269–300 (2014)

    MATH  Google Scholar 

  14. Zhou, S.F., Zhao, M.: Fractal dimension of random attractor for stochastic damped wave equation with multiplicative noise. Discrete Contin. Dyn. Syst. 36(5), 2887–2914 (2016)

    MATH  Google Scholar 

  15. Li, Y., Guo, B.L.: Random attractors for quasi-continuous random dynamical systems and application to stochastic reaction–diffusion equations. J. Differ. Equ. 245(7), 1775–1880 (2008)

    MATH  Google Scholar 

  16. Bates, P.W., Lu, K.N., Wang, B.X.: Random attractors for stochastic reaction–diffusion equations on unbounded domains. J. Differ. Equ. 246(2), 845–869 (2009)

    MATH  Google Scholar 

  17. Crauel, H., Kloeden, P.E., Yang, M.: Random attractors of stochastic reaction–diffusion equations on variable domains. Stoch. Dyn. 11(2–3), 301–314 (2011)

    MATH  Google Scholar 

  18. Wang, B.X.: Sufficient and necessary criteria for existence of pullback attractors for non-compact random dynamical systems. J. Differ. Equ. 253(5), 1544–1583 (2012)

    MATH  Google Scholar 

  19. Zhao, W.Q., Li, Y.R.: \((L^{2},L^{p})\)-Random attractors for stochastic reaction–diffusion equation on unbounded domains. Nonlinear Anal. 75, 845–869 (2012)

    Google Scholar 

  20. Zhao, W.Q.: \(H^{1}\)-Random attractors for stochastic reaction diffusion equations with additive noise. Nonlinear Anal. 84, 61–72 (2013)

    MATH  Google Scholar 

  21. Cao, D.M., Sun, C.Y., Yang, M.H.: Dynamics for a stochastic reaction–diffusion equation with additive noise. J. Differ. Equ. 259(3), 838–872 (2015)

    MATH  Google Scholar 

  22. You, Y.C.: Random dynamics of stochastic reaction–diffusion systems with additive noise. J. Dyn. Differ. Equ. 29(1), 83–112 (2017)

    MATH  Google Scholar 

  23. Li, D.S., Lu, K.N., Wang, B.X., Wang, X.H.: Limiting behavior of dynamics for stochastic reaction–diffusion equations with additive noise on thin domains. Discrete Contin. Dyn. Syst. 38(1), 187–208 (2018)

    MATH  Google Scholar 

  24. Coaraballo, T., Langa, J.A., Robinson, J.C.: Stability and random attractors for a reaction–diffusion equation with multiplicative noise. Discrete Contin. Dyn. Syst. 6(4), 875–892 (2000)

    MATH  Google Scholar 

  25. Li, J., Li, Y.R., Wang, B.: Random attractors of stochastic reaction–diffusion equations with multiplicative noise in \(L^{p}\). Appl. Math. Comput. 215, 3399–3407 (2010)

    MATH  Google Scholar 

  26. Wang, Z.J., Zhou, S.F.: Random attractor for stochastic reaction–diffusion equation with multiplicative noise on unbounded domains. J. Math. Anal. Appl. 384(1), 160–172 (2011)

    MATH  Google Scholar 

  27. Fan, X.M., Chen, H.T.: Attractors for the stochastic reaction–diffusion equation driven by linear multiplicative noise with a variable coefficient. J. Math. Anal. Appl. 398(2), 715–728 (2013)

    MATH  Google Scholar 

  28. Zhao, W.Q.: \(H^{1}\)-Random attractors and random equilibria for stochastic reaction–diffusion equations with multiplicative noise. Commun. Nonlinear Sci. Numer. Simul. 18(10), 2707–2721 (2013)

    MATH  Google Scholar 

  29. Wang, G., Tang, Y.B.: Random attractors for stochastic reaction–diffusion equations with multiplicative noise in \(H_{0}^{1}\). Math. Nachr. 287(14–15), 1774–1791 (2014)

    MATH  Google Scholar 

  30. Wang, B.X.: Existence and upper semi continuity of attractors for stochastic equations with deterministic non-autonomous terms. Stoch. Dyn. 14, Article ID 1450009 (2014)

    MATH  Google Scholar 

  31. Zhou, S.F., Tian, Y.X., Wang, Z.J.: Fractal dimension of random attractors for stochastic non-autonomous reaction–diffusion equations. Appl. Math. Comput. 276, 80–95 (2016)

    MATH  Google Scholar 

  32. Wang, X.H., Lu, K.N., Wang, B.X.: Wong–Zakai approximations and attractors for stochastic reaction–diffusion equations on unbounded domains. J. Differ. Equ. 264(1), 378–424 (2018)

    MATH  Google Scholar 

  33. Song, H.T.: Pullback attractors of non-autonomous reaction–diffusion equations in \(H_{0}^{1}\). J. Differ. Equ. 249, 2357–2376 (2010)

    MATH  Google Scholar 

  34. Robinson, J.C.: Infinite-Dimensional Dynamical Systems: An Introducion to Dissipative Parabolic PDEs and the Theory of Global Attractors. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  35. Zhong, C.K., Yang, M.H., Sun, C.Y.: The existence of global attractors for the norm-to-weak continuous semigroup and application to the nonlinear reaction–diffusion equations. J. Differ. Equ. 223(2), 367–399 (2006)

    MATH  Google Scholar 

  36. Trujillo, T., Wang, B.: Continuity of strong solutions of reaction–diffusion equation in initial data. Nonlinear Anal. 69(8), 2525–2532 (2008)

    MATH  Google Scholar 

  37. Cheban, D., Kloeden, P.E., Schmalfuß, B.: The relationship between pullback, forwards and global attractors of non-autonomous dynamical systems. Nonlinear Dyn. Syst. Theory 2, 125–144 (2002)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

Download references


The authors would like to thank the reviewers and the editors for their valuable suggestions and comments.

Availability of data and materials

Not applicable.


This work was supported by the National Natural Science Foundation of China (Grant No. 11961059, 11561064, 11761062).

Author information

Authors and Affiliations



All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Qiaozhen Ma.

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

Wang, J., Ma, Q. & Liu, T. Long-time behavior of stochastic reaction–diffusion equation with multiplicative noise. Adv Differ Equ 2020, 281 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: