Existence of Random Attractor Family for a Class of Nonlinear Higher-Order Kirchhoff Equations

Guoguang Lin^*, Changqing Zhu

School of Mathematics and Statistics, Yunnan University, Kunming, China.

DOI: 10.4236/ijmnta.2019.82003                

Abstract

The existence of random attractor family for a class of nonlinear nonlocal higher-order Kirchhoff partial differential equations with additive white noise is studied. The weak solution of the equation is established by the Ornstein-Uhlenbeck process to deal with the random term, and a bounded random absorption set is obtained. And then, the existence of the random attractor family is proved by the isomorphism mapping method.

Keywords

Stochastic Dynamical Systems, Random Attractor Family, White Noise, Ornstein-Uhlenbeck Process, Tempered Sets

1. Introduction

In this paper, we consider the following of nonlinear strongly damped stochastic Kirchhoff equations with additive white noise:

$u_{tt}+M\left({\Vert D^{m}u\Vert }^2\right){\left(-\Delta \right)}^{m}u+\beta {\left(-\Delta \right)}^m{u}_t+g\left(x,u_t\right)=q\left(x\right)\stackrel{\dot{}}{W},$ (1)

with the Dirichlet boundary condition

$u\left(x,t\right)=0,\frac{{\partial }^{i}u}{\partial v^i}=0,i=1,2,\cdots ,m-1,x\in \partial \Omega ,t>0,$ (2)

and the initial value conditions

$u\left(x,0\right)=u_0\left(x\right),u_t\left(x,0\right)=u_1\left(x\right),x\in \Omega \subset {\text{R}}^n.$ (3)

where $m>1$ is a positive integer, $\beta$ is a normal number, $\Omega$ is a bounded region with smooth boundary in ${\text{R}}^n$ , M is a general real-valued function, $g\left(x,u_t\right)$ is a nonlinear nonlocal source term, and $q\left(x\right)z\left({\theta }_t\omega \right)$ is a random term. The assumptions about M and g will be given later.

Xintao Li and Lu Xu [1] have studied the following stochastic delay discrete wave equation

$u_{itt}+A{u}_i+u_{it}-f\left(u_{it}\right)=\alpha {\stackrel{\dot{}}{\omega }}_1\left(t\right),$ (4)

$u_{\tau }=u\left(s+\tau \right),s\in \left[-\tau ,0\right],\tau >0.$ (5)

The existence of random attractors for this equation is proved by means of tail-cutting technique and energy estimation under appropriate dissipative conditions.

Ailing Ban [2] have considered the following of stochastic wave equations

$\text{d}{u}_t+\left(-\alpha \Delta u_t+\beta u_t-K\Delta u+f\left(u\right)\right)\text{d}t=g\left(x\right)\text{d}W\left(t\right),$ (6)

with the Dirichlet boundary condition

${u\left(x,t\right)|}_{x\in \partial U}=0,$ (7)

and the initial value conditions

$u\left(x,0\right)=u_0\left(x\right),u_t\left(x,0\right)=u_1\left(x\right).$ (8)

where $u=u\left(x,t\right)$ is the real function on $U\times \left[0,+\infty \right)$ , $\alpha >0$ is the strong damping coefficient, $\beta >0$ is the damping coefficient, and $K>0$ is the dissipation coefficient. In this paper, they mainly discuss the asymptotic behavior of strongly damped stochastic wave equation with critical growth index. By using the weighted norm, they prove that for any positive strong damping coefficient and dissipation coefficient, there is a compact attractor for the stochastic dynamical system determined by the solution of the equation.

Caidi Zhao, Shengfan Zhou [3] studied the sufficient conditions for the existence of global random attractors for a class of binary systems and their applications

${\ddot{u}}_m+{\stackrel{\dot{}}{u}}_m+{\left(Au\right)}_m+{\lambda }_m{u}_m+\beta \sin u_m=f_m+a_m{\stackrel{\dot{}}{w}}_m,m\in {\rm Z},t>0,$ (9)

${\stackrel{\dot{}}{u}}_m\left(0\right)=u_{1m,0},u_m\left(0\right)=u_{m,0}.$ (10)

They first give some sufficient conditions for the existence of global random attractor for general stochastic dynamical systems, and then use these sufficient conditions to give a simple method for finding the global random attractors of the upper bound of Kolmogorov ε-entropy. Finally, these results are applied to stochastic Sin-Gordon equation.

Guoguang Lin, Ling Chen and Wei Wang [4] have studied the existence of random attractors for higher-order nonlinear strongly damped Kirchhoff equations

$\begin{array}{l}\text{d}{u}_t+\left[{\left(-\Delta \right)}^m{u}_t+\varphi \left({\Vert D^{m}u\Vert }^2\right){\left(-\Delta \right)}^{m}u+g\left(u\right)\right]\text{d}t\\ =f\left(x\right)\text{d}t+q\left(x\right)\text{d}W\left(t\right),x\in \Omega ,m>1,\end{array}$ (11)

$u\left(x,t\right)=0,\frac{{\partial }^{i}u}{\partial v^i}=0,i=1,2,\cdots ,m-1,x\in \partial \Omega ,t>0,$ (12)

$u\left(x,0\right)=u_0\left(x\right),u_t\left(x,0\right)=u_1\left(x\right),x\in \Omega \subset {\text{R}}^n.$ (13)

They mainly use the Ornstein-Uhlenbech process to deal with the stochastic term of Equation (11), thus obtain the global well-posedness of the solution, and then prove the existence of the global random attractor.

As we all know, attractors have absorptivity and invariance, and have a clear description of the long-term behavior and the asymptotic stability of the solution of the equation. Because the long-term behavior of the system develops within the overall attractor, and then on this compact set, through the study of the overall behavior characteristics of the system, we can find the most common rules of the system and the basic information of future development. In real life, the evolution of many problems will be disturbed by some uncertain factors. At this time, the deterministic dynamic system can no longer describe these problems. Therefore, it is necessary to study the attractors of stochastic equations with additive noise terms.

In recent years, stochastic attractors for stochastic nonlinear equations with white noise have been favored by many scholars, and many scholars have done a lot of research on these problems and obtained good results. Xiaoming Fan, Donghong Cai and Jianjun Ye [5] studied stochastic attractors for dissipative KdV equations with multiplicative noise; Fuqi Yin, Shengfan Zhou, Hongyan Li and Hongjuan Hao [6] [7] by introducing weighted norm and orthogonal decomposition of linear operators corresponding to the first-order evolution equation with respect to time, the existence of stochastic attractors for stochastic Sine-Gordon equation with strong damping is proved. More research on stochastic Kirchhoff equation with white noise is detailed in reference [8] [9] [10] [11] [12] .

The structure of this paper is as follows: in Section 2, some basic assumptions and knowledge of dynamical system required in this paper are introduced; in Section 3, the existence of random attractor family subfamilies is proved by using the isomorphism mapping method.

2. Basic Hypothesis and Elementary Knowledge

In this section, some symbols, definitions and assumptions about Kirchhoff type stress term $M\left(s\right)$ and nonlinear nonlocal source term $g\left(x,u_t\right)$ are given. In addition, some basic definitions of stochastic dynamical systems are also introduced.

For narrative convenience, we introduce the following symbols:

$\nabla =D,H=L^2\left(\Omega \right),H_0^m\left(\Omega \right)=H^m\left(\Omega \right)\cap H_0^1\left(\Omega \right),$

$H_0^{m+k}\left(\Omega \right)=H^{m+k}\left(\Omega \right)\cap H_0^1\left(\Omega \right),E_k=H_0^{m+k}\left(\Omega \right)\times H_0^k\left(\Omega \right),\left(k=0,1,2,\cdots ,m\right).$

And definition

$\left(y_1,y_2\right)=\left(D^{m+k}{u}_1,D^{m+k}{u}_2\right)+\left(D^k{v}_1,D^k{v}_2\right),\forall y_i=\left(u_i,v_i\right)\in E_k,i=1,2.$

It is assumed that the Kirchhoff type stress term $M\left(s\right)$ and the nonlinear non-local source term $g\left(x,u_t\right)$ satisfy the following conditions, respectively:

A1) $M\in C^2\left(\Omega \right)$ ; and $1+\epsilon <{\delta }_0\le M\left(s\right)\le {\delta }_1$ , where ${\delta }_0,{\delta }_1$ is a constant;

A2) $g\left(x,\cdot \right)\in C^1\left(\Omega \right)$ is Lipschitz continuous and satisfies

i) $g\left(x,0\right)=0$ for any $x\in \text{R}$ ;

ii) There exists a constant $L_g>0$ , such that for any $x\in \text{R}$ , have

$\Vert D^k\left(g\left(x,u_t\right)-g\left(x,v_t\right)\right)\Vert \le L_g\Vert D^k\left(u_t-v_t\right)\Vert .$

The following will introduce some basic knowledge about random attractor.

Let $\left(B\left({\text{R}}^{+}\right)\times F\times B\left(X\right),B_k\left(\omega \right)\subset D\left(\omega \right)\right)$ be a probabilistic space and define a family of transformations of the sum and ergodic of a family of measures preserving $\left\{{\theta }_t,t\in \text{R}\right\}$

${\theta }_t\omega (\cdot )=\omega \left(\cdot +t\right)-\omega \left(t\right),$

Then $\left(\Omega ,F,P,{\left({\theta }_t\right)}_{t\in \text{R}}\right)$ is an orbiting metric dynamical system.

Let $\left(X,{\Vert \cdot \Vert }_X\right)$ be a complete separable metric space and $B\left(X\right)$ be a Borel $\sigma$ -algebra on.

Definition 1 (Following as [12] ) Let $\left(\Omega ,F,P,{\left({\theta }_t\right)}_{t\in \text{R}}\right)$ be a metric dynamical system, suppose that the mapping

$S:{\text{R}}^{+}\times \Omega \times X\mapsto X,\text{}\left(t,w,x\right)\mapsto S\left(t,w,x\right),$

is $\left(B\left({\text{R}}^{+}\right)\times F\times B\left(X\right),B\left(X\right)\right)$ -measurable mapping and satisfies the following properties:

1) The mapping $S\left(t,\omega \right):=S\left(t,\omega ,\cdot \right)$ satisfies

$S\left(0,\omega \right)=id,S\left(t+s,\omega \right)=S\left(t,{\theta }_s\omega \right)\circ S\left(s,\omega \right);$

for any $s,t\ge 0,\omega \in \Omega$ .

2) $\left(t,w,x\right)\mapsto S\left(t,w,x\right)$ is continuous, for any $\omega \in \Omega$ .

Then $S$ is a continuous stochastic dynamical system on $\left(\Omega ,F,P,{\left({\theta }_t\right)}_{t\in \text{R}}\right)$ .

Definition 2 (Following as [12] ) It is said that random set $B\left(\omega \right)\subset X$ is tempered, for $\omega \in \Omega$ , $\beta \ge 0$ , we have

$\underset{\left|s\right|\to \infty }{\lim }\inf {\text{e}}^{-\beta s}d\left(B\left({\theta }_{-s}\omega \right)\right)=0,$

where $d\left(B\right)=\underset{x\in B}{\sup }{\Vert x\Vert }_X$ , for any $x\in X$ .

Definition 3 (Following as [12] ) Let $D\left(\omega \right)$ be the set of all random sets on X, and random set $B_k\left(\omega \right)$ is called the suction collection on $D\left(\omega \right)$ , if for any $B_k\left(\omega \right)\subset D\left(\omega \right)$ and $P-a.e.\omega \in \Omega$ , there exists $T_B\left(\omega \right)>0$ such that

$S\left(t,{\theta }_{-t}\omega \right)\left(B\left({\theta }_{-t}\omega \right)\right)\subset B_0\left(\omega \right).$

Definition 4 (Following as [12] ) Random set $A\left(\omega \right)$ is called the random attractor of continuous stochastic dynamical system $S\left(t\right)$ on $X$ , if random set $A\left(\omega \right)$ satisfies the following conditions:

1) $A\left(\omega \right)$ is a random compact set;

2) $A\left(\omega \right)$ is the invariant set $D\left(\omega \right)$ , that is, for any $t>0$ , we have $S\left(t,\omega \right)A\left(\omega \right)=A\left({\theta }_t\omega \right)$ ;

3) $A\left(\omega \right)$ attracts all sets on $D\left(\omega \right)$ , that is, for any $B\left(\omega \right)\in D\left(\omega \right)$ and $P-a.e.\omega \in \Omega$ , with the following limit:

$\underset{t\to \infty }{\lim }d\left(S\left(t,{\theta }_{-t}\omega \right)B\left({\theta }_{-t}\omega \right),A\left(\omega \right)\right)=0,$

where $d\left(A,B\right)=\underset{x\in A}{\sup }\underset{y\in B}{\inf }{\Vert x-y\Vert }_H$ is Hausdorff half distance. (There $A,B\subseteq H$ ).

Definition 5 (Following as [12] ) Let random set $B_k\left(\omega \right)\subset D\left(\omega \right)$ be a random suction set for stochastic dynamical system ${\left(S\left(t,\omega \right)\right)}_{t\ge 0}$ , and random set $B_k\left(\omega \right)$ satisfies the following conditions:

1) Random set $B_k\left(\omega \right)$ is a closed set on Hilbert space $X$ ;

2) For $P-a.e.\omega \in \Omega$ , random set $B_k\left(\omega \right)$ satisfies for any sequence $x_n\in S\left(t_n,{\theta }_{-t_n}\omega \right)B_0\left({\theta }_{-t_n}\omega \right)$ , there is a convergence subsequence in space $X$ , when $t_n\to +\infty$ . Then stochastic dynamical system ${\left(S\left(t,\omega \right)\right)}_{t\ge 0}$ has a unique global attractor

$A_k\left(\omega \right)=\underset{\tau \ge t_k\left(\omega \right)}{\cap }\overline{\underset{t\ge \tau }{\cup }S\left(t,{\theta }_{-t}\omega \right)B_0\left({\theta }_{-t}\omega \right)}.$

The Ornstein-Uhlenbeck process [12] is given as follows:

Let $z\left({\theta }_t\omega \right)=-\alpha {\displaystyle {\int }_{-\infty }^0{\text{e}}^{\alpha \tau }{\theta }_t\omega \left(\tau \right)\text{d}\tau }$ , where $t\in \text{R}$ . It can be seen that for any $t\ge 0$ , the stochastic process $z\left({\theta }_t\omega \right)$ satisfies the Ito equation

$\text{d}z+\alpha z\text{d}t=\text{d}W\left(t\right).$

According to the nature of the O-U process, there exists a probability measure $P$ , ${\theta }_t$ -invariant set, and the above stochastic process

$z\left({\theta }_t\omega \right)=-\alpha {\displaystyle {\int }_{-\infty }^0{\text{e}}^{\alpha \tau }{\theta }_t\omega \left(\tau \right)\text{d}\tau }$

satisfies the following properties:

1) The mapping $S\to z\left({\theta }_s\omega \right)$ is a continuous mapping, for any given $\omega \in {\Omega }_0$ ;

2) The random variable $\Vert z\left(\omega \right)\Vert$ is tempered;

3) There exist a tempered set $r\left(\omega \right)>0$ , such that

$\Vert z\left({\theta }_t\omega \right)\Vert +{\Vert z\left({\theta }_t\omega \right)\Vert }^2\le r\left({\theta }_t\omega \right)\le r\left(\omega \right){\text{e}}^{\frac{\alpha }{2}\left|t\right|}$ ;

4) $\underset{t\to \infty }{\lim }\frac{1}{t}{\displaystyle {\int }_0^t{\left|z\left({\theta }_t\omega \right)\right|}^2}\text{d}\tau =\frac{1}{2\alpha }$ ;

5) $\underset{t\to \infty }{\lim }\frac{1}{t}{\displaystyle {\int }_0^t\left|z\left({\theta }_t\omega \right)\right|\text{d}\tau }=\frac{1}{\sqrt{\text{π}\alpha }}$ .

3. Existence of Random Attractor Family

In this section, we mainly consider the existence of random attractor family of problem (1)-(3). At first, Young inequality and Holder inequality are used to prove the positive definiteness of operator $L$ ; and then the weak solution of the equation is established by Ornstein-Uhlenbeck process to deal with the random term, thus a bounded random absorption collection is obtained. Finally, the existence of random attractor family of this problem is proved by isomorphism mapping method.

The problem (1)-(3) can be rewritten to

$\{\begin{array}{l}\text{d}u=u_t\text{d}t,\\ \text{d}{u}_t+\left[M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)A^{m}u+\beta A^m{u}_t+g\left(x,u_t\right)\right]\text{d}t=q\left(x\right)\text{d}W\left(t\right),t\in \left[0,+\infty \right),\\ u\left(x,0\right)=u_0\left(x\right),u_t\left(x,0\right)=u_1\left(x\right),x\in \Omega .\end{array}$ (14)

where $A=-\Delta$ .

Let $\phi ={\left(u,v\right)}^{\text{T}},v=u_t+\epsilon u$ , then the question (14) can be simplified to

$\{\begin{array}{l}\text{d}\phi +L\phi \text{d}t=F\left({\theta }_t\omega ,\phi \right),\\ {\phi }_0\left(\omega \right)={\left(u_0,u_1+\epsilon u_0\right)}^{\text{T}}.\end{array}$ (15)

where

$L=\left(\begin{array}{cc}\epsilon I& -I\\ \left(\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\beta \epsilon \right)A^m+{\epsilon }^2\right)I& \left(\beta A^m-\epsilon \right)I\end{array}\right)$ , $F\left({\theta }_t\omega ,\phi \right)=\left(\begin{array}{c}0\\ -g\left(x,u_t\right)+q\left(x\right)\text{d}W\left(t\right)\end{array}\right)$ .

Let $y=v-q\left(x\right)z\left({\theta }_t\omega \right)$ , Then the question (14) may read as follows:

$\{\begin{array}{l}{\psi }_t+L\psi =\bar{F}\left({\theta }_t\omega ,\psi \right),\\ {\psi }_0\left(\omega \right)={\left(u_0,u_1+\epsilon u_0-q\left(x\right)\delta \left({\theta }_t\omega \right)\right)}^{\text{T}}.\end{array}$ (16)

where $\psi ={\left(u,z\right)}^{\text{T}}$ ,

$L=\left(\begin{array}{cc}\epsilon I& -I\\ \left(\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\beta \epsilon \right){)}^m+{\epsilon }^2\right)I& \left(\beta A^m-\epsilon \right)I\end{array}\right)$ , $\bar{F}\left({\theta }_t\omega ,\psi \right)=\left(\begin{array}{c}q\left(x\right)z\left({\theta }_t\omega \right)\\ -g\left(x,u_t\right)+\left(\epsilon +1-\beta A^m\right)q\left(x\right)z\left({\theta }_t\omega \right)\end{array}\right)$ .

Lemma 1 Let $E_k=H_0^{m+k}\left(\Omega \right)\times H_0^k\left(\Omega \right),\left(k=0,1,2,\cdots ,m\right)$ , for any $y={\left(y_1,y_2\right)}^{\text{T}}\in E_k$ , if $0<\epsilon \le \frac{2}{\beta -1+{\lambda }_1^{-m}}$ , we have

${\left(Ly,y\right)}_{E_k}\ge k_1{\Vert y\Vert }_{E_k}^2+k_2{\Vert D^{m+k}{y}_2\Vert }^2\ge k_1{\Vert y\Vert }_{E_k}^2+k_3{\Vert D^k{y}_2\Vert }^2,$

where $k_1=\min \left\{\epsilon -\frac{\beta -1}{2}{\epsilon }^2-\frac{{\epsilon }^2}{2}{\lambda }_1^{-m},\frac{\beta {\lambda }_1^m}{4}-\frac{{\epsilon }^2}{2}-\epsilon \right\},k_2=\frac{\beta +1}{2},k_3=k_2{\lambda }_1^m$ .

Proof: For any $y={\left(y_1,y_2\right)}^{\text{T}}$ , we have

$\begin{array}{c}Ly=\left(\begin{array}{cc}\epsilon I& -I\\ \left(\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\beta \epsilon \right)A^m+{\epsilon }^2\right)I& \left(\beta A^m-\epsilon \right)I\end{array}\right)\left(\begin{array}{c}{y}_1\\ y_2\end{array}\right)\\ =\left(\begin{array}{c}\epsilon y_1-y_2\\ \left(\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\beta \epsilon \right)A^m+{\epsilon }^2\right)y_1+\left(\beta A^m-\epsilon \right)y_2\end{array}\right).\end{array}$ (17)

$\begin{array}{l}{\left(Ly,y\right)}_{E_k}\\ =\left(D^{m+k}\left(\epsilon y_1-y_2\right),D^{m+k}{y}_1\right)\end{array}$

$\begin{array}{l}+\left(D^k\left(\left(\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\beta \epsilon \right)A^m+{\epsilon }^2\right)y_1+\left(\beta A^m-\epsilon \right)y_2\right),D^k{y}_2\right)\\ =\epsilon {\Vert D^{m+k}{y}_1\Vert }^2-\left(D^{m+k}{y}_2,D^{m+k}{y}_1\right)+\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\beta \epsilon \right)\left(A^m{y}_1,A^k{y}_2\right)\\ +{\epsilon }^2\left(D^k{y}_1,D^k{y}_2\right)+\beta {\Vert D^{m+k}{y}_2\Vert }^2-\epsilon {\Vert D^k{y}_2\Vert }^2,\end{array}$ (18)

From hypothesis (A1), we have

$\begin{array}{l}\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\beta \epsilon \right)\left(A^m{y}_1,A^k{y}_2\right)\\ =\left(M\left({\Vert A^{\frac{m}{2}}u\Vert }^2\right)-\epsilon \right)\left(D^{m+k}{y}_1,D^{m+k}{y}_2\right)+\left(\epsilon -\beta \epsilon \right)\left(D^{m+k}{y}_1,D^{m+k}{y}_2\right)\\ \ge \left(D^{m+k}{y}_1,D^{m+k}{y}_2\right)-\frac{\beta -1}{2}{\epsilon }^2{\Vert D^{m+k}{y}_1\Vert }^2-\frac{\beta -1}{2}{\Vert D^{m+k}{y}_2\Vert }^2,\end{array}$ (19)

So

$\begin{array}{l}{\left(Ly,y\right)}_{E_k}\\ \ge \epsilon {\Vert D^{m+k}{y}_1\Vert }^2-\frac{\beta -1}{2}{\epsilon }^2{\Vert D^{m+k}{y}_1\Vert }^2-\frac{\beta -1}{2}{\Vert D^{m+k}{y}_2\Vert }^2\\ +{\epsilon }^2\left(D^k{y}_1,D^k{y}_2\right)+\beta {\Vert D^{m+k}{y}_2\Vert }^2-\epsilon {\Vert D^k{y}_2\Vert }^2\\ \ge \epsilon {\Vert D^{m+k}{y}_1\Vert }^2-\frac{\beta -1}{2}{\epsilon }^2{\Vert D^{m+k}{y}_1\Vert }^2-\frac{\beta -1}{2}{\Vert D^{m+k}{y}_2\Vert }^2\\ -\frac{{\epsilon }^2}{2}{\lambda }_1^{-m}{\Vert D^{m+k}{y}_1\Vert }^2-\frac{{\epsilon }^2}{2}{\Vert D^k{y}_2\Vert }^2+\beta {\Vert D^{m+k}{y}_2\Vert }^2-\epsilon {\Vert D^k{y}_2\Vert }^2\end{array}$

$\begin{array}{l}\ge \left(\epsilon -\frac{\beta -1}{2}{\epsilon }^2--\frac{{\epsilon }^2}{2}{\lambda }_1^{-m}\right){\Vert D^{m+k}{y}_1\Vert }^2+\left(\frac{\beta {\lambda }_1^m}{4}-\frac{{\epsilon }^2}{2}-\epsilon \right){\Vert D^{m+k}{y}_2\Vert }^2\\ +\frac{\beta +1}{2}{\Vert D^k{y}_2\Vert }^2,\end{array}$ (20)

where $0<\epsilon \le \frac{2}{\beta -1+{\lambda }_1^{-m}}$ .

Choose $k_1=\min \left\{\epsilon -\frac{\beta -1}{2}{\epsilon }^2-\frac{{\epsilon }^2}{2}{\lambda }_1^{-m},\frac{\beta {\lambda }_1^m}{4}-\frac{{\epsilon }^2}{2}-\epsilon \right\},k_2=\frac{\beta +1}{2},k_3=k_2{\lambda }_1^m$ , then we have

${\left(Ly,y\right)}_{E_k}\ge k_1{\Vert y\Vert }_{E_k}^2+k_2{\Vert D^{m+k}{y}_2\Vert }^2\ge k_1{\Vert y\Vert }_{E_k}^2+k_3{\Vert D^k{y}_2\Vert }^2.$ (21)

Therefore, Lemma 1 is proved.

Lemma 2 Let $\phi$ is a solution of the problem (15), then there is a bounded random compact set ${\tilde{B}}_{0k}\left(\omega \right)\in D\left(E_k\right)$ , such that for any random set $B_k\left(\omega \right)\in D\left(E_k\right)$ , existence a random variable $T_{B_k\left(\omega \right)}>0$ , so that

$\phi \left(t,{\theta }_t\omega \right)B_k\left({\theta }_{-t}\omega \right)\subset {\tilde{B}}_{0k}\left(\omega \right),\forall t\ge T_{B_k\left(\omega \right)},\omega \in \Omega$ .

Proof: Let $\psi$ is a solution of the problem (16), taking inner product of two sides of the Equation (15) is obtained by using $\psi ={\left(u,y\right)}^{\text{T}}\in E_k$ in $E_k$ , we have

$\frac{1}{2}\frac{\text{d}}{\text{d}t}{\Vert \psi \Vert }_{E_k}^2+{\left(L\psi ,\psi \right)}_{E_k}=\left(\bar{F}\left({\theta }_t\omega ,\psi \right),\psi \right),$ (22)

where

$\begin{array}{l}\left(\bar{F}\left({\theta }_t\omega ,\psi \right),\psi \right)\\ =\left(D^{m+k}q\left(x\right)z\left({\theta }_t\omega \right),D^{m+k}u\right)\\ +\left(D^k\left(-g\left(x,u_t\right)+\left(\epsilon +1-\beta A^m\right)q\left(x\right)z\left({\theta }_t\omega \right)\right),D^{k}z\right).\end{array}$ (23)

From Lemma 1, we have

${\left(L\psi ,\psi \right)}_{E_k}\ge k_1{\Vert \psi \Vert }_{E_k}^2+k_3{\Vert D^{k}y\Vert }^2,$ (24)

According to Holder inequality, Young inequality and Poincare inequality, we have

$\left(D^{m+k}q\left(x\right)z\left({\theta }_t\omega \right),D^{m+k}u\right)\le \frac{1}{2}{\Vert D^{m+k}u\Vert }^2+\frac{1}{2}{\Vert D^{m+k}q\left(x\right)\Vert }^2{\left|z\left({\theta }_t\omega \right)\right|}^2,$ (25)

$\left(\epsilon D^{k}q\left(x\right)z\left({\theta }_t\omega \right),D^{k}y\right)\le \frac{k_3}{4}{\Vert D^{k}y\Vert }^2+\frac{{\epsilon }^2}{k_3}{\Vert D^{k}q\left(x\right)\Vert }^2{\left|z\left({\theta }_t\omega \right)\right|}^2,$ (26)

$\begin{array}{l}\left(\left(1-\beta A^m\right)D^{k}q\left(x\right)z\left({\theta }_t\omega \right),D^{k}y\right)\\ \le \frac{k_3}{4}{\Vert D^{k}y\Vert }^2+\frac{1}{k_3}{\Vert D^{k}q\left(x\right)\Vert }^2{\left|z\left({\theta }_t\omega \right)\right|}^2+\frac{{\beta }^2}{k_3}{\Vert A^{m+\frac{k}{2}}q\left(x\right)\Vert }^2{\left|z\left({\theta }_t\omega \right)\right|}^2,\end{array}$ (27)

from assumption (A2), we have

$\begin{array}{l}\left(-D^{k}g\left(x,u_t\right),D^{k}y\right)\\ \le \Vert D^k\left(g\left(x,u_t\right)-g\left(x,0\right)\right)\Vert \Vert D^{k}y\Vert \le L_g\Vert D^k{u}_t\Vert \Vert D^{k}y\Vert \\ =L_g\Vert D^k\left(y-\epsilon u+q\left(x\right)z\left({\theta }_t\omega \right)\right)\Vert \Vert D^{k}y\Vert \\ \le L_g\left(\Vert D^{k}y\Vert +\epsilon \Vert D^{k}u\Vert +\Vert D^{k}q\left(x\right)\Vert \left|z\left({\theta }_t\omega \right)\right|\right)\Vert D^{k}y\Vert \\ \le \left(L_g+\frac{k_3}{4}\right){\Vert D^{k}y\Vert }^2+\frac{{\epsilon }^2{L}_g^2}{k_3}{\lambda }_1^{-m}{\Vert D^{m+k}u\Vert }^2+\frac{L_g^2}{k_3}{\Vert D^{k}q\left(x\right)\Vert }^2{\left|z\left({\theta }_t\omega \right)\right|}^2.\end{array}$ (28)

Combining (22)-(28) yields, we have

$\begin{array}{l}\frac{\text{d}}{\text{d}t}{\Vert \psi \Vert }_{E_k}^2+2k_1{\Vert \psi \Vert }_{E_k}^2\\ \le C_1+\left(\frac{2\left(L_g^2+{\epsilon }^2+1\right)}{k_3}{\Vert D^{k}q\left(x\right)\Vert }^2+{\Vert D^{m+k}q\left(x\right)\Vert }^2+\frac{2{\beta }^2}{k_3}{\Vert A^{m+\frac{k}{2}}q\left(x\right)\Vert }^2\right){\left|z\left({\theta }_t\omega \right)\right|}^2.\end{array}$ (29)

Taking $N_1=\frac{2\left(L_g^2+{\epsilon }^2+1\right)}{k_3}{\Vert D^{k}q\left(x\right)\Vert }^2+\Vert D^{m+k}q\left(x\right)\Vert +\frac{2{\beta }^2}{k_3}{\Vert A^{m+\frac{k}{2}}q\left(x\right)\Vert }^2$ ,

we have

$\frac{\text{d}}{\text{d}t}{\Vert \psi \Vert }_{E_k}^2+2k_1{\Vert \psi \Vert }_{E_k}^2\le C_1+N_1{\left|z\left({\theta }_t\omega \right)\right|}^2.$ (30)

From Gronwal inequality $P_{a.e.w}\in \Omega$ , then

${\Vert \psi \left(t,\omega \right)\Vert }_{E_k}^2\le {\text{e}}^{-2k_{1}t}{\Vert \psi \left(0,\omega \right)\Vert }_{E_k}^2+{\displaystyle {\int }_0^t{\text{e}}^{-2k_1\left(t-s\right)}}\left(C_1+N_1{\left|z\left({\theta }_s\omega \right)\right|}^2\right)\text{d}s.$ (31)

And because $z\left({\theta }_t\omega \right)$ is tempered, and $z\left({\theta }_t\omega \right)$ is continuous about t, so according to reference [3] , we can get a temper random variable $r_1:\Omega \to R^{+}$ , so that for any $t\in R,\omega \in \Omega$ , we have

${\left|z\left({\theta }_t\omega \right)\right|}^2\le r_1\left({\theta }_t\omega \right)\le {\text{e}}^{k_{1}t}{r}_1\left(\omega \right).$ (32)

Replace $\omega$ in Equation (30) with ${\theta }_{-t}\omega$ , we can obtain that

${\Vert \psi \left(t,{\theta }_{-t}\omega \right)\Vert }_{E_k}^2\le {\text{e}}^{-2k_{1}t}{\Vert \psi \left(0,{\theta }_{-t}\omega \right)\Vert }_{E_k}^2+{\displaystyle {\int }_0^t{\text{e}}^{-2k_1\left(t-s\right)}}\left(C_1+N_1{\left|z\left({\theta }_{s-t}\omega \right)\right|}^2\right)\text{d}s,$ (33)

Available from (32)

$\begin{array}{l}{\displaystyle {\int }_0^t{\text{e}}^{-2k_1\left(t-s\right)}}\left(C_1+N_1{\left|z\left({\theta }_{s-t}\omega \right)\right|}^2\right)\text{d}s\\ ={\displaystyle {\int }_{-t}^0{\text{e}}^{2k_1\tau }}\left(C_1+N_1{\left|z\left({\theta }_{\tau }\omega \right)\right|}^2\right)\text{d}\tau \le \frac{C_1}{2k_1}+\frac{1}{3k_1}{N}_1{r}_1\left(\omega \right).\end{array}$ (34)

Therefore

${\Vert \psi \left(t,{\theta }_{-t}\omega \right)\Vert }_{E_k}^2\le \frac{C_1}{2k_1}+\frac{1}{3k_1}{N}_1{r}_1\left(\omega \right).$ (35)

Because $\phi \left({\theta }_{-t}\omega \right)\in B_k\left({\theta }_{-t}\omega \right)$ is tempered, and $\left|z\left({\theta }_{-t}\omega \right)\right|$ is also tempered, so we can let

$R_0^2\left(\omega \right)=\frac{C_1}{2k_1}+\frac{1}{3k_1}{N}_1{r}_1\left(\omega \right).$ (36)

then $R_0^2\left(\omega \right)$ is also tempered, put ${\hat{B}}_{0k}=\left\{\xi \in E_k|{\Vert \psi \Vert }_{E_k}\le R_0\left(\omega \right)\right\}$ is a random absorb set, and because of

$\begin{array}{l}\tilde{S}\left(t,{\theta }_{-t}\omega \right)\psi \left(0,{\theta }_{-t}\omega \right)\\ =\phi \left(t,{\theta }_{-t}\omega \right)\left(\psi \left(0,{\theta }_{-t}\omega \right)+{\left(0,q\left(x\right)z\left({\theta }_{-t}\omega \right)\right)}^{\text{T}}\right)-{\left(0,q\left(x\right)z\left({\theta }_{-t}\omega \right)\right)}^{\text{T}},\end{array}$ (37)

So let

${\tilde{B}}_{0k}\left(\omega \right)=\left\{\phi \in E_k|{\Vert \phi \Vert }_{E_k}\le R_0\left(\omega \right)+\Vert D^{k}q\left(x\right)\delta \left(\omega \right)\Vert ={\bar{R}}_0\left(\omega \right)\right\}$ , (38)

then ${\tilde{B}}_{0k}\left(\omega \right)$ is a random absorb set of $\phi \left(t,\omega \right)$ , and ${\tilde{B}}_{0k}\left(\omega \right)\in D\left(E_k\right)$ .

Thus, the whole proof is complete.

It is shown below that there exists a compact suction collection for stochastic dynamical system $S\left(t,\omega \right)$ .

Lemma 3 When $k=m$ , for any $B_m\left(\omega \right)\in D\left(E_m\right)$ , let $\phi \left(t\right)$ is a solution of the Equation (15) with the initial value ${\phi }_0={\left(u_0,u_1+\epsilon u_0\right)}^{\text{T}}\in B_m$ , and it can decompose $\phi ={\phi }_1+{\phi }_2$ , where ${\phi }_1,{\phi }_2$ satisfy

$\{\begin{array}{l}\text{d}{\phi }_1+L{\phi }_1\text{d}t=0,\\ {\phi }_{10}\left(\omega \right)={\left(u_0,u_1+\epsilon u_0\right)}^{\text{T}}.\end{array}$ (39)

$\{\begin{array}{l}\text{d}{\phi }_2+L{\phi }_2\text{d}t=F\left(\omega ,\phi \right),\\ {\phi }_{20}\left(\omega \right)=0.\end{array}$ (40)

then ${\Vert {\phi }_1\left(t,{\theta }_{-t}\omega \right)\Vert }_{E_m}^2\to 0,\left(t\to \infty \right)$ , for any ${\phi }_0\left({\theta }_{-t}\omega \right)\in B_m\left({\theta }_{-t}\omega \right)$ , there exists a temper random radius $R_1\left(\omega \right)$ , such that

${\Vert {\phi }_2\left(t,{\theta }_{-t}\omega \right)\Vert }_{E_m}\le R_1\left(\omega \right),$ for any $\omega \in \Omega$ .

Proof: When $k=m$ , let $\psi ={\psi }_1+{\psi }_2={\left(u_1,u_{1t}+\epsilon u_1\right)}^{\text{T}}+{\left(u_2,u_{2t}+\epsilon u_2-q\left(x\right)z\left({\theta }_t\omega \right)\right)}^{\text{T}}$ is a solution of Equation (16), then according to Equation (39) and Equation (40), we know ${\psi }_1,{\psi }_2$ meet separately

$\{\begin{array}{l}{\psi }_{2t}+L{\psi }_1=0,\\ {\psi }_{10}={\left(u_0,u_1+\epsilon u_0-q\left(x\right)z\left({\theta }_t\omega \right)\right)}^{\text{T}}.\end{array}$ (41)

$\{\begin{array}{l}{\psi }_{2t}+L{\psi }_2=\bar{F}\left({\theta }_t\omega ,{\psi }_2\right),\\ {\psi }_{20}=0.\end{array}$ (42)

Taking inner product Equation (41) with ${\psi }_1={\left(u_1,u_{1t}+\epsilon u_1\right)}^{\text{T}}$ in $E_m$ , we have

$\frac{1}{2}\frac{\text{d}}{\text{d}t}{\Vert {\psi }_1\Vert }_{E_m}^2+{\left(L{\psi }_1,{\psi }_1\right)}_{E_m}=0,$ (43)

From Lemma 1 and Gronwall inequality, we have

${\Vert {\psi }_1\left(t,\omega \right)\Vert }_{E_m}^2\le {\text{e}}^{-2k_{1}t}{\Vert {\psi }_1\left(0,\omega \right)\Vert }_{E_m}^2,$ (44)

substituting $\omega$ by ${\theta }_{-t}\omega$ in (43), and because $z\left({\theta }_{-t}\omega \right)\in B_m$ is tempered, then

${\Vert {\psi }_1\left(t,{\theta }_{-t}\omega \right)\Vert }_{E_m}^2\le {\text{e}}^{-2k_{1}t}{\Vert {\psi }_0\left({\theta }_{-t}\omega \right)\Vert }_{E_m}^2\to 0,\left(t\to \infty \right),\forall {\psi }_0\left({\theta }_{-t}\omega \right)\in B_m.$ (45)

Taking inner product (42) with ${\psi }_2={\left(u_2,u_{2t}+\epsilon u_2-q\left(x\right)z\left({\theta }_t\omega \right)\right)}^{\text{T}}$ in $E_m$ , and from Lemma 1 and Lemma 2, we have

$\frac{\text{d}}{\text{d}t}{\Vert {\psi }_2\Vert }_{E_m}^2+2k_1{\Vert {\psi }_2\Vert }_{E_m}^2\le C_1+N_2{\left|z\left({\theta }_t\omega \right)\right|}^2,$ (46)

where $N_2=\frac{2\left(L_g^2+{\epsilon }^2+1\right)}{k_3}{\Vert D^{m}q\left(x\right)\Vert }^2+{\Vert D^{2m}q\left(x\right)\Vert }^2+\frac{2{\beta }^2}{k_3}{\Vert A^{\frac{3m}{2}}q\left(x\right)\Vert }^2$ .

Substituting $\omega$ by ${\theta }_{-t}\omega$ in (46) and from Gronwall’s Inequality and (32), we have

$\begin{array}{c}{\Vert {\psi }_2\left(t,{\theta }_{-t}\omega \right)\Vert }_{E_m}^2\le {\text{e}}^{-2k_{1}t}{\Vert {\psi }_2\left(0,{\theta }_{-t}\omega \right)\Vert }_{E_m}^2+{\displaystyle {\int }_0^t{\text{e}}^{-2k_1\left(t-s\right)}}\left(C_2+N_2{\left|z\left({\theta }_{s-t}\omega \right)\right|}^2\right)\text{d}s\\ \le \frac{C_2}{2k_1}+\frac{1}{3k_1}{N}_2{r}_1\left(\omega \right).\end{array}$ (47)

So there exists a temper random radius

$R_1^2\left(\omega \right)=\frac{C_2}{2k_1}+\frac{1}{3k_1}{N}_2{r}_1\left(\omega \right),$ (48)

such that

${\Vert {\phi }_2\left(t,{\theta }_{-t}\omega \right)\Vert }_{E_m}\le R_1\left(\omega \right),$ for any $\omega \in \Omega$ . (49)

This completes the Proof of Lemma 3.

Lemma 4 The stochastic dynamical system $\left\{S\left(t,\omega \right),t\ge 0\right\},$ while $t=0,P_{a.e.w}\in \Omega$ determined by Equation (15) has a compact attracting set $K\left(\omega \right)\subset E_k$ .

Proof: Let $K\left(\omega \right)$ be a closed sphere in space $E_k$ with a radius of $R_1\left(\omega \right)$ . According to embedding relation $E_k\subset E_0$ , then $K\left(\omega \right)$ is a compact set in $E_k$ , for any temper random set $B_k\left(\omega \right)\in E_k$ , for $\forall \psi \left(t,{\theta }_{-t}\omega \right)\in B_k$ , according to Lemma 3, ${\psi }_2=\psi -{\psi }_1\in K\left(\omega \right)$ , so for any $\forall t\ge T_{B_k\left(\omega \right)}>0$ , we have

$\begin{array}{l}{d}_{E_k}\left(S\left(t,{\theta }_{-t}\omega \right)B_k\left({\theta }_{-t}\omega \right),K\left(\omega \right)\right)\\ =\underset{\vartheta \left(t\right)\in K\left(w\right)}{\inf }{\Vert \psi \left(t,{\theta }_{-t}\omega \right)-\vartheta \left(t\right)\Vert }_{E_k}^2\le {\Vert {\psi }_1\left(t,{\theta }_{-t}\omega \right)\Vert }_{E_k}^2\\ \le {\text{e}}^{-2k_{1}t}{\Vert {\psi }_{10}\left(t,{\theta }_{-t}\omega \right)\Vert }_{E_k}^2\to 0,\left(t\to \infty \right).\end{array}$ (50)

So, the whole proof is complete.

According to Lemma 1 to Lemma 4, there are the following theorems

Theorem 1 The stochastic dynamical system $\left\{S\left(t,\omega \right),t\ge 0\right\}$ has a random attractor family $A_k\left(\omega \right)\subset K\left(\omega \right)\subset E_k$ , for any $\omega \in \Omega$ , and there exists a temper random set $K\left(\omega \right)$ , such that

$A_k\left(\omega \right)=\underset{t\ge 0,\tau \ge t}{{\displaystyle \cap }}\overline{\cup S\left(t,{\theta }_{-\tau }\omega ,K\left({\theta }_{-\tau }\omega \right)\right)}$ ,

and

$S\left(t,\omega \right)A_k\left(\omega \right)=A_k\left({\theta }_t\omega \right)$ .

4. Conclusion

In this paper, starting from the positive definiteness of the operator, the weak solution of the equation established by O-U process is used to deal with the stochastic term, and a bounded stochastic absorption set is obtained, thus tempered random set is obtained. Then, the isomorphic mapping method is used to prove that the stochastic dynamical system $S\left(t,\omega \right)$ has a attractor family $A_k\left(k=1,2,\cdots ,m\right)$ .

Acknowledgements

The authors express their sincere thanks to the scholars who have provided references, and to the anonymous reviewer for his/her careful reading of the paper, giving valuable comments and suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Li, X.T. and Xu, L. (2014) Existence of Random Attractors for Stochastic Delay Discrete Wave Equations. Journal of Jilin University (Science Edition), 52, 261-262.
[2]	Ban, A.L. (2018) Asymptotic Behavior of a Class of Stochastic Wave Equations. Journal of Anhui Normal University (Natural Science Edition), 41, 329-334.
[3]	Zhao, C.D. and Zhou, S.F. (2009) Sufficient Conditions for the Existence of Global Random Attractors for Stochastic Lattice Dynamical Systems and Applications. Journal of Mathematical Analysis and Applications, 354, 78-95. https://doi.org/10.1016/j.jmaa.2008.12.036
[4]	Lin, G.G., Chen, L. and Wang, W. (2017) Random Attractors of the Stochastic Strongly Damped for the Higher-Order Nonlinear Kirchhoff-Type Equation. International Journal of Modern Nonlinear Theory and Application, 6, 59-69. https://doi.org/10.4236/ijmnta.2017.62005
[5]	Cai, D.H., Fan, X.M. and Ye, J.J. (2014) The Random Attractor of Dissipative KDV Type Equation with Multiplicative Noise Is Considered. Journal of Southwest University for Nationalities (Natural Science Edition), 40, 900-904.
[6]	Yin, F.Q., Zhou, S.F. and Li, H.Y. (2006) Existence of Stochastic Attractors for Stochastic Sine-Gordon Equation with Strong Damping. Journal of Shanghai University (Natural Science Edition), 12, 260-265.
[7]	Hao, H.J. and Zhou, S.F. (2010) Existence of Random Attractors for Strongly Damped Stochastic Sine-Gordon Equations, Journal of Shanghai Normal University (Natural Science Edition), 2, 121-127.
[8]	Yin, J.Y., Li, Y.R. and Zhao, H.J. (2013) Random Attractor of Dissipative Hamiltonian Amplitude Modulated Waves with Multiplicative White Noise. Journal of Southwest Normal University (Natural Science Edition), 38, 44-48.
[9]	Wang, R. and Li, Y.R. (2012) Random Attractor of Generalized Ginzburg-Landau Equation with Multiplicable White Noise. Journal of Southwest University (Natural Science Edition), 34, 92-95.
[10]	Cheng, Y.Y. and Li, Y.R. (2012) Random Attractor of Generalized Kuramoto-Sivashinsky Equation with Multiplicative White Noise. Journal of Southwest Normal University (Natural Science Edition), 37, 27-30.
[11]	Xu, G.G., Wang, L.B. and Lin, G.G. (2017) Random Attractors for Nonautonomous Stochastic Wave Equations with Dispersive and Dissipative Terms. Journal of Applied Functional Analysis, 19, 131-149.
[12]	Qin, C.L., Du, J.J. and Lin, G.G. (2017) Random Attractors for the Kirchhoff-Type Suspension Bridge Equations with Strong Damping and White Noises. International Journal of Modern Nonlinear Theory and Application, 6, 134-147. https://doi.org/10.4236/ijmnta.2017.64012