Abstract
This paper is concerned with the asymptotic behavior of solutions to a non-autonomous stochastic wave equation with additive white noise, for which the nonlinear damping has a critical cubic growth rate. By showing the pullback asymptotic compactness of the stochastic dynamic systems, we prove the existence of a random attractor in \(H_{0}^{1}\times L^{2}\).
Similar content being viewed by others
1 Introduction
This paper deals with the existence of random attractors for the following non-autonomous stochastic wave equation with white noise in a bounded domain \(U \subset R^{3}\) with smooth boundary ∂U:
for \((x, t) \in U \times(\tau, +\infty)\) with \(\tau\in R\), where \(h \in H_{0}^{1}(U)\cap H^{2}(U)\) and \(\alpha\geq0\) is the damping coefficient. Here \(u(x, t)\) is a real-valued function on \(U\times[\tau, +\infty)\); \(g(x, \cdot) \in C_{b}(R, H_{0}^{1}(U))\) is a time-dependent driving force; \(C_{b}(R, H_{0}^{1}(U))\) denotes the set of continuous bounded functions from R into \(H_{0}^{1}(U)\); and \(W(t)\) is a two-sided real-valued Wiener processes on the probability space \((\varOmega, \mathcal{F}, {P})\). In addition, the function \(q: R\rightarrow R\) and the nonlinear function f satisfy the following assumptions:
- \((H_{1})\):
The function \(q \in\mathcal{C}^{1}\) is not identically equal to zero, and there exist three constants \(\alpha_{1}\), \(\alpha_{2}\), \(\alpha_{3}\) and \(\alpha_{2}\geq|\alpha_{1}|\) such that
$$\begin{aligned} -\alpha< \alpha_{1} \leq q(s) \leq\alpha_{2} < +\infty,\qquad \bigl\vert q'(s) \bigr\vert \leq\alpha_{3}, \quad\forall s\in R. \end{aligned}$$(4)- \((H_{2})\):
Let \(f(u,x)=f_{1}(u,x)+f_{2}(u,x)\) and \(F_{i}=\int_{0}^{u}f_{i}(r,x)\,dr\), where \(f_{1}(\cdot,x)\in \mathcal{C}^{2}(R,R)\), \(f_{2}(\cdot,x)\in\mathcal{C}^{1}(R,R)\). Furthermore, \(f_{1}\), \(f_{2}\) meet conditions that there exist constants \(c_{1},c_{2},c_{3},c_{4} >0\) and functions \(\phi_{i}(x)\in L^{1}(U)\), \(i = 1,2\), such that
$$\begin{aligned}& f'_{1,u}(0,x)=0, \qquad f_{1}(u,x)u\geq0,\qquad \bigl\vert f''_{1,u}(u,x) \bigr\vert \leq c_{1}\bigl(1+ \vert u \vert \bigr), \end{aligned}$$(5)$$\begin{aligned}& f_{2}(0,x)=0,\qquad \bigl\vert f'_{2,u}(u,x) \bigr\vert \leq c_{2}\bigl(1+ \vert u \vert ^{p} \bigr),\quad 0\leq p\leq2, \end{aligned}$$(6)$$\begin{aligned}& c_{3}u^{4}-\phi_{1}(x)\leq F_{i}(u,x)\leq c_{4}uf_{i}(u,x)+\phi _{2}(x), \quad\forall u\in R, x\in U. \end{aligned}$$(7)
In the deterministic damped wave equation (i.e., \(a=0\)), global attractors have been studied by many authors, such as [1–3] and the reference therein. In addition, uniform attractors and pullback attractors also attracted many experts’ attention, cf. [4–8]. If the function g does not depend on time, (1)–(3) is an autonomous stochastic wave equation, and its random attractors have been explored in [9–13]. For many problems, such as wave propagation through the atmosphere or the ocean, the more realistic models must take the random fluctuation into account. So it is important and interesting to study random attractors. For non-autonomous random dynamical systems, Wang established an efficacious theory about the existence of random attractors [14–17]. Particularly, Li [18] studied the asymptotic dynamics for a stochastic damped wave equation with multiplicative noise defined on unbounded domains and proved the existence of random attractors. For the non-autonomous stochastic strongly damped wave equation, the existence of random attractors is proved in [19–21]. Lv and Wang [10] also studied the existence of random attractors for the stochastic wave equation and showed the upper semicontinuous dependence of the random attractor on parameters. The authors in [22] studied the asymptotic behavior of a class of non-autonomous nonlocal fractional stochastic parabolic equations driven by multiplicative white noise on the entire space \(R^{n}\).
In this paper, (1)–(3) is a non-autonomous stochastic system where the external term g is time-dependent. We shall transform the stochastic wave equation into a deterministic one with random parameter and random initial data through an Ornstein–Uhlenbeck process \(z(\theta_{t}\omega)\), then prove the existence of a random attractor for the random dynamical system generated by (1)–(3). It is well known that the key step in proving the existence of attractors in both deterministic and random systems is to establish the compactness of the system in some sense. Motivated by [23], we will work out this problem.
The paper is arranged as follows. In Sect. 2, we collect some basic concepts and background material about random attractor for the random dynamical system generated by (1)–(3), then the existence and uniqueness of solutions is established in Sect. 3. In Sect. 4, we consider the concrete bounds of the solution and decompose the solution of (12)–(13) into two parts. In Sect. 5, we establish the asymptotic compactness of the random dynamical system and obtain the existence of the random attractor.
2 Random dynamical systems
In this section, we collect some basic definitions and known results about general random dynamical systems (see [17, 24, 25] for details).
Let \((\varOmega,\mathcal{F},{P})\) be a probability space, where \(\varOmega=\{\omega\in C(R,R):\omega(0)=0\}\) is endowed with compact-open topology. \(\mathcal{F}\) is the Borel σ-algebra on Ω and P is the corresponding Wiener measure on \(\mathcal {F}\). For any t, let \((\theta_{t})_{t\in R}\) on Ω via
thus \((\varOmega,\mathcal{F},{P},(\theta_{t})_{t\in R})\) is an ergodic metric dynamical system [24]. In the following, X labels as a Banach or Hilbert space with the Borel σ-algebra \(B(X)\).
Definition 2.1
Let \(\{\theta_{t}\}_{t\in R}\) be a family of \((B({R}\times\mathcal{F}),\mathcal{F})\)-measurable mappings, \(\theta_{t}:R\times\varOmega\rightarrow\varOmega\) such that \(\theta_{0}(\cdot)\) is the identity on Ω, \(\theta_{s+t}(\cdot)=\theta_{t}(\cdot)\circ\theta_{s}(\cdot)\) for all \(t,s\in R\) and \(P\theta_{t}=P\) for all \(t\in R\).
Definition 2.2
Let \((\varOmega,\mathcal{F},P,(\theta _{t})_{t\in R})\) be a parametric dynamical system. A mapping \(\varPhi:R^{+}\times R\times\varOmega\times X\rightarrow X\) is called a continuous cocycle on X over R and \((\varOmega,\mathcal{F},P,(\theta_{t})_{t\in R})\) if, for all \(\tau\in R\), \(\omega\in\varOmega\), and \(t,s \in R^{+}\), the following conditions (i)–(iv) are satisfied:
- (i)
\(\varPhi(\cdot,\tau,\cdot,\cdot):R^{+}\times\varOmega\times X\rightarrow X\) is a \((B(R^{+})\times\mathcal{F}\times B(X), B(X))\)-measurable mapping;
- (ii)
\(\varPhi(0,\tau,\omega,\cdot)\) is the identity on X;
- (iii)
\(\varPhi(t+s,\tau,\omega,\cdot)=\varPhi(t,\tau+s,\theta_{s}\omega ,\cdot)\circ\varPhi(s,\tau,\omega,\cdot)\);
- (iv)
\(\varPhi(t,\tau,\omega,\cdot):X\rightarrow X \) is continuous.
Definition 2.3
-
(1)
Let \(2^{X}\) be the collection of all subsets of X. A set-valued mapping \((\tau,\omega)\rightarrow D(\tau,\omega):R\times\varOmega\rightarrow2^{X}\) is called measurable with respect to \(\mathcal{F}\) in Ω if \(D(\tau,\omega)\) is a (usually closed) nonempty subset of X and the mapping \(\omega\in \varOmega\rightarrow d(x,D(\tau,\omega))\) is \((\mathcal{F,B(R)})\)-measurable for every fixed \(x\in X\) and \(\tau\in R\), then \(D={D(\tau,\omega):\tau\in R, \omega\in\varOmega}\) is called a random set.
-
(2)
Let D be a collection of random sets in a Polish space X. A continuous cocycle Φ is said to be pullback \(\mathcal{D}\)-asymptotically compact \((\mathcal{D}\text{-a.c.})\) in X if, for any \(\tau\in R\), \(\omega\in\varOmega\), \(D\in\mathcal{D}\) and any sequences \(t_{n}\rightarrow+\infty\), \(x_{N}\in D(\tau-t_{n},\theta_{-t_{n}}\omega)\), the sequence \({\varPhi(t_{n},\tau-t_{n},\theta_{-t_{n}}\omega,x_{n})}\) has a convergent subsequence in X.
-
(3)
Let \(K={K(\tau,\omega):\tau\in R,\omega\in\varOmega}\in D\). Then K is called a pullback \(\mathcal{D}\)-absorbing set for Φ if, for all \(\tau\in R\), \(\omega\in\varOmega\) and for every \(D\in \mathcal{D}\), there exists \(t_{0}(K,\tau,\omega)> 0\) such that \(\varPhi(t,\tau-t,\theta_{-t}\omega,D(\tau-t,\theta_{-t}\omega))\subset K(\tau,\omega)\) for any \(t\geq t_{0}\).
-
(4)
A family \(C={C(\tau,\omega):\tau\in R,\omega\in\varOmega}\in \mathcal{D}\) is said to be pullback \(\mathcal{D}\)-attracting if \(\lim_{t\rightarrow +\infty}d(\varPhi(t,\tau-t,\theta_{-t}\omega,D(\tau-t,\theta_{-t}\omega ),C(\tau,\omega)))=0\) for all \(D\in\mathcal{D}\).
-
(5)
A compact set \(A=\{A(\tau,\omega):\tau\in R,\omega\in \varOmega\}\in\mathcal{D}\) is called a pullback \(\mathcal{D}\)-attractor for Φ if A attracts every \(B\in \mathcal{D}\) and A is invariant in the sense that \(\varPhi(t,\tau,\omega,A(\tau,\omega))=A(\tau+ t,\theta_{t}\omega)\) for every \(t\geq0\), \(\tau\in R\), and \(\omega\in\varOmega\).
In addition, if there exists \(T> 0\) such that \(A(\tau+T,\omega)=A(\tau,\omega)\) for any \(\tau\in R\), \(\omega\in \varOmega\), then A is periodic with period T.
Proposition 2.1
LetDbe a neighborhood-closed collection of\((\tau,\omega)\)-parametrized families of nonempty subsets ofXandΦbe a continuous cocycle onXoverRand\((\varOmega,\mathcal{F},P,\{\theta_{t}\}_{t\in R})\). ThenΦhas a pullback D-attractorAinDif and only ifΦis pullback\(\mathcal{D}\)-asymptotically compact inXandΦhas a closed\(\mathcal{F}\)-measurable pullback\(\mathcal{D}\)-absorbing setKinD. The unique pullbackD-attractor\(A={A(\tau,\omega)}\)is given by
Proposition 2.2
LetDbe a neighborhood-closed collection of\((\tau,\omega)\)-parametrized families of nonempty subsets ofX. IfΦis a continuousτ-periodic cocycle with period\(T>0\)onXoverRand\((\varOmega,\mathcal{F},P,\{\theta_{t}\}_{t\in R})\)and ifΦhas a pullback\(\mathcal{D}\)-attractor\(A\in D\), thenAisτ-periodic with periodTif and only ifΦhas a closed\(\mathcal{F}\)-measurable pullback\(\mathcal{D}\)-absorbing set\(K\in D\)with\(K=K(\tau,\omega)\)being periodic inτwith periodTfor each\(\omega\in\varOmega\).
Notation
Set \(E=H_{0}^{1}(U)\times L^{2}(U)\) with its inner product and norm as follows:
for all \(z_{i}=(u_{i},v_{i})^{T}\), \(i=1,2\), and \(z=(u,v)^{T}\) in E.
for all \(u,v\in L^{2}(U)\), and
for all \(u,v\in H_{0}^{1}(U)\). More generally, denote \(E_{s}=W^{s,2}(U)\cap H_{0}^{1}\times W^{s-1,2}(U)\) for \(s\in R\).
The letters c and \(c_{i}\) (\(i = 1, 2,\dots\)) are generic positive constants which do not depend on ω, τ, t, a.
3 Existence and uniqueness of solutions
In this section, motivated by [26, 27], we establish the existence and uniqueness of solutions for Eqs. (1)–(3). Let λ be the first eigenvalue of the operator \(A: = -\Delta\) on U with Dirichlet boundary conditions. Note that \(A : H^{1}_{0}(U)\cap H^{2}(U)\rightarrow L^{2}(U)\), so \(D(A)= H^{1}_{0}(U)\cap H^{2}(U)\). In the following, we convert problem (1)–(3) into a random system without noise terms. Identify \(\omega(t)\) with \(W(t)\), i.e., \(\omega(t)=W(t)\), \(t\in R\), and let \(z(\theta_{t}\omega):= -\int_{-\infty}^{0}e^{s}(\theta_{t}\omega)(s)\,ds\) (\(t\in R\)) be a Ornstein–Uhlenbeck stationary process which solves the Itô equation \(dz+z\,dx=dW(t)\).
Let \(\varepsilon=\frac{(\alpha+\alpha_{1})\lambda_{1}}{2(\alpha+\alpha _{2})^{2}+3\lambda_{1}}\). By the transformation
Equations (1)–(3) are equivalent to the following determined system with random parameters in E:
Then (8)–(11) can also be rewritten as a vector form:
where
and
It is known from [28] that −L is the infinitesimal generator of a \(C^{0}\)-semigroup \(e^{-Lt}\) on E. By assumption \((H_{2})\) and the embedding relation \(H_{0}^{1}(U)\hookrightarrow L^{6}(U)\), the function \(G(\varphi,\theta_{t}\omega,t): E\rightarrow E\) is Lipschitz with respect to φ for t in a bounded interval and \(\omega\in \varOmega\), continuous in \((\varphi,t)\), and measurable in ω w.r.t \(\mathcal{F}\). Thus, by the classical semigroup theory on the local existence and the uniqueness of solutions of evolution differential equations in [25], we have the following theorem.
Theorem 1
Consider the initial value problem (12)–(13), if assumptions\((H_{1})\)and\((H_{2})\)hold, then for each\(\tau\in R\), \(\omega\in\varOmega\)and any\(\varphi_{\tau}\in E\), there exists\(T>0\)such that Eqs. (12)–(13) have a unique mild function\(\varphi(\cdot)=\varphi(\cdot,\tau,\omega,\varphi_{\tau})\in C([\tau,\tau+T);E)\), where\(\varphi(\tau,\tau,\omega,\varphi_{\tau})=\varphi_{\tau}\)and\(\varphi(t)\)satisfies the integral equation
System (12)–(13) generates a continuous random dynamical system over R and \((\varOmega,\mathcal{F},P,(\theta_{t})_{t\in R})\)
where
and
So we have \(\varGamma(t,\tau,\omega,Z_{\tau})=R^{-1}_{\varepsilon,\theta_{t}\omega }\varPhi(t,\tau,\omega,\varphi_{\tau})R_{\varepsilon,\theta_{t}\omega}: Z_{\tau}\rightarrow Z(t+\tau,\tau,\theta_{-\tau}\omega,Z_{\tau})\). Next, we use the transformation
By using
and
Eqs. (1)–(3) can be rewritten as
Thus
where
Since \(R_{\varepsilon,\theta_{t}\omega}:(a,b)^{T}\rightarrow (a,b+\varepsilon a-ah(x)z(\theta_{t}\omega))^{T}\) is an isomorphism of E, then Φ, Γ, Ψ are equivalent to each other in dynamics.
Therefore, the existence of random attractors in any of these stochastic dynamical systems means that random attractors also exist in other dynamical systems. We will consider the existence of a random attractor for RDSΦ in the following.
4 Pullback absorbing set
Let \(\varphi=(\varphi_{1},\varphi_{2})^{T}\) be a solution of system (12)–(13). Rewriting system (12)–(13) as
where
and
we have the following lemmas.
Lemma 1
For any\(\varphi=(\varphi_{1},\varphi_{2})^{T}\in E\), \((Q\varphi,\varphi)_{E}\geq\frac{\varepsilon}{2}\|\varphi\| _{E}^{2}+\frac{\varepsilon}{4}\|\varphi_{1}\|_{H_{1}^{0}} +\frac{\alpha+\alpha_{1}}{2}\|\varphi_{2}\|^{2}_{L^{2}}\).
Lemma 2
If assumptions\((H_{1})\)–\((H_{2})\)hold, then for any\(\tau\in R\), \(\omega\in \varOmega\), there exists a tempered variable\(M_{0}(\omega)\) (independent ofτ) such that, for any set\(B\in D(E)\)and\(\varphi_{\tau-t}(\theta_{-\tau}\omega)\in B(\tau-t,\theta_{-t}\omega)\), there exists\(T=T(\tau,\omega,B)\geq0\)such that, for\(t\geq T\), the solution\(\varphi(\tau,\tau-t, \theta_{-\tau}\omega,\varphi_{\tau-t}(\theta _{-\tau}\omega))\in E\)of (12)–(13) satisfies
Proof
For any \(\tau\in R\), \(\omega\in\varOmega\), let \(\varphi(r)=\varphi(r,\tau-t,\theta_{\tau-t}\omega,\varphi_{\tau-t}(\theta _{-\tau}\omega))=(\varphi_{1},\varphi_{2})^{T}\in E\) (\(r>\tau-t\)) be a solution of (12)–(13) with
Taking the inner product \((\cdot,\cdot)_{E}\) of (12) with \(\varphi(r)\), according to Lemma 1, we have
and
By some simple computations, we obtain
and
where \(\|g\|^{2}=\sup_{r\in R}\|g(\cdot,r)\|^{2}<\infty\), \(\varphi_{2}=u_{t}+\varepsilon u-ah(x)z(\theta_{t}\omega)\).
From assumption \((H_{2})\), it is clear that
With \(u^{4}\leq\frac{1}{c_{2}}F(u,x)+\phi_{1}\) and \(|f(u,x)|\leq c_{3}(1+u^{4})\), we get
here \(\bar{F}(u,x)=\int_{U}F(u,x)\,dx\). By taking (26)–(33) into (25), we have
Let
By choosing δ small enough, we get
where \(y(r)=\|\varphi(r)\|^{2}_{E}+2\bar{F}(u,x)\) and \(\rho= \min \{\frac{\varepsilon+2}{4}, \frac{\alpha+\alpha_{2}+2}{2}, \frac{2\varepsilon}{c_{1}} \}\). By Gronwall’s inequality to Eq. (36), we have
where
and
Thus by (37)–(40), for \(r\geq\tau-t\), we have
Therefore
For any set \(B(\tau,\omega)\in B\in D(E)\),
We have
Taking
which is a tempered random variable, \(B_{0}(\omega)=\{\varphi\in E:\|\varphi\|_{E}\leq M_{0}(\omega)\}\) is a close measurable absorbing ball in \(D(E)\), and there exists \(T(\tau,\omega,B)\geq0\) for all \(t\geq T(\tau,\omega,B)\) such that
\(B_{0}(\omega)\) is the random absorbing set for Φ. The proof is completed. □
5 Decomposition of the equations
In this section, for proving asymptotic compactness of the random dynamical system Φ, we decompose the solution of Eq. (12)–(13) with different initial data into a sum of two parts, one part decays exponentially and another one is bounded in a higher regular space by using the method in [4, 13].
For any \(\tau\in R\) and \(\omega\in\varOmega\), assume that
Let \(\varphi(r)=\varphi(r,\tau-t,\theta_{-\tau}\omega,\varphi_{\tau -t}(\theta_{-\tau}\omega))\) be a solution of system (12)–(13), with \(\varphi_{\tau-t}(\theta_{-\tau}\omega)\in B_{1}(\tau-t,\theta_{-t}\omega)\subseteq B_{0}(\theta_{-t}\omega)\). Thus \(\varphi(r)\in B_{0}(\theta_{r-\tau}\omega)\) for all \(r\geq\tau-t\). We decompose \(\varphi(r)\) into
where \(\varphi_{L}(r)\) and \(\varphi_{N}(r)\) satisfy
and
First, let us estimate the component \(\varphi_{L}\) which decays exponentially.
Lemma 3
Under assumptions\((H_{1})\)–\((H_{2})\), for any\(\tau\in R\), \(\omega\in\varOmega\), \(t\geq0\), \(r\geq\tau-t\), and\(\varphi_{\tau-t}(\theta_{-\tau}\omega)\in B_{0}(\theta_{-t}\omega)\), the solution\(\varphi_{L}(r)=\varphi_{L}(r,\tau-t,\varphi_{L,\tau-t})\)of (46) satisfies that
holds.
Proof
Let \(\varphi_{L}=(\varphi_{L,1},\varphi _{L,2})=(u_{L},v_{L})=(u_{L},u_{L,t}+\varepsilon u)\). Taking the inner product \((\cdot,\cdot)_{E}\) of Eq. (46) with \(\varphi_{L}(r)\), we have
where . By Lemma 1, we see that
By assumption \((H_{2})\), we obtain
Thus, by Eqs. (49)–(51), we have
Hence we can conclude that there exists \(\sigma_{L}=\min\{\frac{2\varepsilon}{C_{4}},\frac{\varepsilon}{2},\frac {\alpha+\alpha_{2}}{2}\}\) such that
where \(y_{L}(r)=\|\varphi_{L}(r)\|^{2}_{E}+2\bar{F_{L}}(u_{L},x)\geq 0\), \(\beta_{L}=2\varepsilon\int_{U}\phi_{2}(x)\,dx\). Since \(\varphi_{\tau-t}(\theta_{-\tau}\omega)+ (0, ah(x)z(\theta_{-t}\omega ))^{T}\in B_{0}(\theta_{-t}\omega)\), we have
Notice that \(\varphi_{L,\tau-t}\) is independent of ω, so replacing ω by \(\theta_{-t}\omega\), then
Applying Gronwall’s inequality to Eq. (53), we have
Next, we consider Eq. (49). Due to \((f_{1}(u_{L},x),u_{L})\geq0\), \(|f_{1}(u_{L}(r),x)|\leq c_{13}(|u_{L}(r)|^{3}+|u_{L}(r)|)\) and assumption \((H_{2})\), according to Sobolev embedding \(H_{0}^{1}(U)\subset L^{4}(U)\subset L^{2}(U)\), there exists \(M_{2}(\omega)>0\) such that
That is, \(\|u_{L}(r)\|^{2}_{1}\geq \frac{1}{M_{2}(\omega)}\bar{F}_{1}(u_{L}(r),x)\). From (49)–(50) and (55), for any \(r\geq\tau-t\), we have
So the inequality
holds, where \(\sigma_{1}=\min\{\frac{\varepsilon}{4},\frac{\varepsilon}{8M_{2}(\omega )}\}>0\). Thus, we get
The proof is completed. □
For the component \(\varphi_{N}\), which is ultimately pullback bounded in a higher regular space, we have the following estimate.
Lemma 4
If assumptions\((H_{1})\)–\((H_{2})\)hold, then for any\(\tau\in R\), \(\omega \in\varOmega\), and\(t\geq0\), there exist a positive constant\(\nu\in(0,\min\{\frac{1}{4},\frac{3-p}{4}\})\)and a positive-value random variable\(M_{N}(\omega)>0\)such that the solution\(\varphi_{N}(r)=(\varphi_{1N}(r),\varphi _{2N}(r))^{T}\)of Eq. (47) satisfies the following:
for\(t\geq0\)and\(\varphi_{\tau-t}(\theta_{-\tau}\omega)\in B_{0}(\theta_{-t}\omega)\).
Proof
Taking the inner product of Eq. (47) in E with
we have
Similar to (50), we get
By some computations, we have
and
where \(\|g\|^{2}_{1}=\sup_{r\in R}\|g(\cdot,r)\|^{2}_{1}<\infty\). Thus, by taking (60)–(63) into (59), we obtain
Let \(\sigma_{2}=\min\{\frac{\varepsilon}{4},\frac{2\varepsilon+\alpha}{4}\}\), then by Hölder’s inequality, we have
for \(r>\tau-t\). We have
and
By putting the above inequalities into (64), we get
That is,
and
It follows from (69) that
Note that \(y_{1}(\tau-t,\tau-t,\theta_{-\tau}\omega,\varphi_{\tau-t}\omega)\leq a^{2}\|A^{\nu}h(x)\|^{2}z^{2}(\theta_{-t}\omega)\), then by applying Gronwall’s inequality to (72) on \([\tau-t,r]\) (\(r\geq \tau-t\)), we have
for
where
and
It follows from above that
where
So we obtain
The proof is completed. □
Lemma 5
For any\(\tau\in R\), \(\omega\in\varOmega\), and\(t>0\), assume that\(B_{\nu}(\tau,\omega)\subseteq B_{1}(\tau,\omega)\subseteq B_{0}(\omega)\)and\(B_{\nu}(\tau,\omega)\in D_{E^{\nu}}\), whereνis as in Lemma 4, then if assumptions\((H_{1})\)–\((H_{2})\)hold, then there exist a random variable\(t_{\nu}(\omega)> 0\)and a tempered random variable\(M_{\nu}(\omega)> 0\)such that, for any\(t\geq t_{\nu}(\omega)\), \(\varphi_{\tau-t}(\theta_{-t}\omega)\subset B_{\nu}(\tau-t,\theta_{-t}\omega)\subseteq B_{0}(\theta_{-t}\omega)\cap D(E^{\nu})\), the solutionφof Eqs. (12)–(13) satisfies
Proof
Taking the inner product of Eqs. (12)–(13) in E with \(A^{2\nu}\varphi=(A^{2\nu}u,A^{2\nu}v)^{T}\), then for any \(r\geq \tau-t\), we have
The same to (75), the following inequality holds:
Similar to (72), by (80) and (81), we get
where
By applying Gronwall’s inequality to (82) on \([\tau-t,r]\), one has
From (81), (83), (85), and \(\varphi_{\tau-t}(\theta_{-\tau}\omega)\in B_{0}(\theta_{-t}\omega)\cap D(E)\), it is clear that as \(t\rightarrow+\infty\),
Taking
then the proof is completed. □
6 Existence of random attractor
Lemma 6
If assumptions\((H_{1})\)–\((H_{2})\)hold, then for any\(\tau\in R\), \(\omega \in \varOmega\), there exist\(T_{\nu}(\omega)\geq0\), a random bounded ball\(\hat{B}_{1}\)ofE, a positive numberρ̂, and a tempered random variable\(\hat{Q}(\omega)\)such that, for any\(t\geq T_{\nu}(\omega)\)and\(\varphi_{\tau-t}(\theta_{-\tau}\omega)\in B_{1}(\tau-t,\theta_{-t}\omega)\), the solutionφof (12)–(13) satisfies
By Lemma 7.6 in [2], Lemma 3, and Lemma 4, one can prove Lemma 6. Since the proof of Lemma 6 is similar to that of Lemma 3.8 in [29], we omit it here. From Lemmas 5 and 6, it is easy to see the existence of a random attractor for the cocycle Φ.
Theorem 2
If assumptions\((H_{1})\)and\((H_{2})\)hold, then the cocycleΦassociated with (12)–(13) possesses a\(D(E)\)-pullback random attractor\(A\in D(E)\)such that, for any\(\tau\in R\), \(\omega\in\varOmega\), \(A(\tau,\omega)\subseteq\hat{B_{1}}(\omega)\cap B_{0}(\omega)\), where\(B_{0}(\omega)\)and\(\hat{B}_{1}(\omega)\)are as in (45) and Lemma 6, respectively.
Proof
For any \(\tau\in R \) and \(\omega\in\varOmega\), by Lemma 6 and the compactness of embedding \(E^{\nu}\rightarrow E\), \(\hat{B}_{1}(\omega)\) is a compact measurable \(D(E)\)-pullback attracting ball in E. By Proposition 2.1, the cocycle Φ has a \(D(E)\)-pullback random attractor \(\mathcal{A}\in D(E)\) such that, for any \(\tau\in R\), \(\omega\in\varOmega\), \(\mathcal{A}(\tau,\omega)\subseteq \hat{B}_{1}(\omega)\cap B_{0}(\omega)\). The proof is completed. □
References
Fall, D., You, Y.: Global attractors for the damped nonlinear wave equation in unbounded domains (2017). arXiv:1801.00104
Ding, P., Yang, Z., Li, Y.: Global attractor of the Kirchhoff wave models with strong nonlinear damping. Appl. Math. Lett. 76, 40–45 (2018)
Wang, M., Huang, J.: Finite dimensionality of the global attractor for a fractional Schrödinger equation on R. Appl. Math. Lett. 98, 432–437 (2019)
Zelik, S.: Asymptotic regularity of solutions of a non-autonomous damped wave equation with a critical growth exponent. Commun. Pure Appl. Anal. 3, 921–934 (2004)
Caraballo, T., Lukaszewicz, G., Real, J.: Pullback attractors for asymptotically compact non-autonomous dynamical systems. Nonlinear Anal., Theory Methods Appl. 64(3), 484–498 (2006)
Yang, L., Zhong, C.K.: Uniform attractor for non-autonomous plate equations with a localized damping and a critical nonlinearity. Nonlinear Anal. 338, 1243–1254 (2008)
Wang, M., Chang, W., Li, X.: Uniform attractor for a non-autonomous parabolic equation with nonlocal diffusion and delay. J. Adv. Appl. Math. 3(2), 50–61 (2018)
Hoang, L.T., Olson, E.J., Robinson, J.C.: Continuity of pullback and uniform attractors. J. Differ. Equ. 264(6), 4067–4093 (2018)
Crauel, H., Debussche, A.: Random attractors. J. Dyn. Differ. Equ. 9, 307–341 (1997)
Lv, Y., Wang, W.: Limiting dynamics for stochastic wave equations. J. Differ. Equ. 244, 1–23 (2008)
Shen, Z., Zhou, S., Shen, W.: One-dimensional random attractor and rotation number of the stochastic damped sine-Gordon equation. J. Differ. Equ. 248, 1432–1457 (2010)
Wang, Z.J., Zhou, S.F., Gu, A.H.: Random attractor for a stochastic damped wave equation with multiplicative noise on unbounded domains. Nonlinear Anal., Real World Appl. 12, 3468–3482 (2011)
Yang, M.H., Duan, J., Kloeden, P.: Asymptotic behavior of solutions for random wave equation with nonlinear damping and white noise. Nonlinear Anal., Real World Appl. 12, 464–478 (2011)
Wang, B.: Asymptotic behavior of stochastic wave equations with critical exponents on \(R^{3}\). Trans. Am. Math. Soc. 363, 3639–3663 (2001)
Wang, B.: Upper semicontinuity of random attractors for non-compact random dynamical systems. Electron. J. Differ. Equ. 2009, Article ID 139 (2009)
Wang, B.: Sufficient and necessary criteria for existence of pullback attractors for non-compact random dynamical systems. J. Differ. Equ. 253, 1544–1583 (2012)
Wang, B.: Random attractors for non-autonomous stochastic wave equations with multiplicative noise. Discrete Contin. Dyn. Syst. 34, 269–298 (2014)
Li, H.Y., You, Y.C., Tu, J.Y.: Random attractors and averaging for non-autonomous stochastic wave equations with nonlinear damping. J. Differ. Equ. 258, 148–190 (2015)
Wang, Z.J., Zhang, L.P.: Finite fractal dimension of random attractor for stochastic non-autonomous strongly damped wave equation. Comput. Math. Appl. 75, 3343–3357 (2018)
Wang, Z., Zhou, S.: Random attractors for non-autonomous stochastic strongly damped wave equation on unbounded domains. J. Appl. Anal. Comput. 5, 363–387 (2015)
Wang, Z.J., Liu, Y.N.: Existence and upper semicontinuity of random attractors for non-autonomous stochastic strongly damped sine-Gordon equation on unbounded domains. Comput. Math. Appl. 73, 1445–1460 (2017)
Lu, H., Qi, J., Wang, B., et al.: Random attractors for non-autonomous fractional stochastic parabolic equations on unbounded domains. Discrete Contin. Dyn. Syst., Ser. A 39, 683–706 (2019)
Zhou, S., Zhao, M.: Random attractors for damped non-autonomous wave equations with memory and white noise. Nonlinear Anal. 120, 202–226 (2015)
Arnold, L.: Random Dynamical Systems. Springer, New York (1998)
Chueshov, I.: Monotone Random Systems Theory and Applications. Springer, New York (2002)
Fan, X.M.: Random attractor for a damped sine-Gordon equation with white noise. Pac. J. Math. 216, 63–76 (2004)
Fan, X.M., Wang, Y.G.: Fractal dimensional of attractors for a stochastic wave equation with nonlinear damping and white noise. Stoch. Anal. Appl. 25, 381–396 (2007)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Zhou, S., Zhao, M.: Fractal dimension of random attractor for non-autonomous random dynamical systems and random attractor for stochastic damped wave equation. Nonlinear Anal. 133, 292–318 (2016)
Acknowledgements
The authors would like to thank the anonymous referees for helpful comments and suggestions that improved the original paper.
Availability of data and materials
No data, models, or code are generated or used during the study.
Funding
The authors are supported by the National Natural Science Foundation of China (11872264).
Author information
Authors and Affiliations
Contributions
HY completed the proofs of the main theorems, the rest of this paper was accomplished by JZ. All authors read and approved the final manuscript.
Corresponding author
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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yao, H., Zhang, J. Random attractors for non-autonomous stochastic wave equations with nonlinear damping and white noise. Adv Differ Equ 2020, 221 (2020). https://doi.org/10.1186/s13662-020-02664-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02664-3