^{1}

^{*}

^{1}

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.

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

u t t + M ( ‖ D m u ‖ 2 ) ( − Δ ) m u + β ( − Δ ) m u t + g ( x , u t ) = q ( x ) W ˙ , (1)

with the Dirichlet boundary condition

u ( x , t ) = 0 , ∂ i u ∂ v i = 0 , i = 1 , 2 , ⋯ , m − 1 , x ∈ ∂ Ω , t > 0 , (2)

and the initial value conditions

u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) , x ∈ Ω ⊂ R n . (3)

where m > 1 is a positive integer, β is a normal number, Ω is a bounded region with smooth boundary in R n , M is a general real-valued function, g ( x , u t ) is a nonlinear nonlocal source term, and q ( x ) z ( θ t ω ) is a random term. The assumptions about M and g will be given later.

Xintao Li and Lu Xu [

u i t t + A u i + u i t − f ( u i t ) = α ω ˙ 1 ( t ) , (4)

u τ = u ( s + τ ) , s ∈ [ − τ , 0 ] , τ > 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 [

d u t + ( − α Δ u t + β u t − K Δ u + f ( u ) ) d t = g ( x ) d W ( t ) , (6)

with the Dirichlet boundary condition

u ( x , t ) | x ∈ ∂ U = 0 , (7)

and the initial value conditions

u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) . (8)

where u = u ( x , t ) is the real function on U × [ 0 , + ∞ ) , α > 0 is the strong damping coefficient, β > 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 [

u ¨ m + u ˙ m + ( A u ) m + λ m u m + β sin u m = f m + a m w ˙ m , m ∈ Ζ , t > 0 , (9)

u ˙ m ( 0 ) = u 1 m , 0 , u m ( 0 ) = 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 [

d u t + [ ( − Δ ) m u t + ϕ ( ‖ D m u ‖ 2 ) ( − Δ ) m u + g ( u ) ] d t = f ( x ) d t + q ( x ) d W ( t ) , x ∈ Ω , m > 1 , (11)

u ( x , t ) = 0 , ∂ i u ∂ v i = 0 , i = 1 , 2 , ⋯ , m − 1 , x ∈ ∂ Ω , t > 0 , (12)

u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) , x ∈ Ω ⊂ 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 [

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.

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

For narrative convenience, we introduce the following symbols:

∇ = D , H = L 2 ( Ω ) , H 0 m ( Ω ) = H m ( Ω ) ∩ H 0 1 ( Ω ) ,

H 0 m + k ( Ω ) = H m + k ( Ω ) ∩ H 0 1 ( Ω ) , E k = H 0 m + k ( Ω ) × H 0 k ( Ω ) , ( k = 0 , 1 , 2 , ⋯ , m ) .

And definition

( y 1 , y 2 ) = ( D m + k u 1 , D m + k u 2 ) + ( D k v 1 , D k v 2 ) , ∀ y i = ( u i , v i ) ∈ E k , i = 1 , 2.

It is assumed that the Kirchhoff type stress term M ( s ) and the nonlinear non-local source term g ( x , u t ) satisfy the following conditions, respectively:

A1) M ∈ C 2 ( Ω ) ; and 1 + ε < δ 0 ≤ M ( s ) ≤ δ 1 , where δ 0 , δ 1 is a constant;

A2) g ( x , ⋅ ) ∈ C 1 ( Ω ) is Lipschitz continuous and satisfies

i) g ( x , 0 ) = 0 for any x ∈ R ;

ii) There exists a constant L g > 0 , such that for any x ∈ R , have

‖ D k ( g ( x , u t ) − g ( x , v t ) ) ‖ ≤ L g ‖ D k ( u t − v t ) ‖ .

The following will introduce some basic knowledge about random attractor.

Let ( B ( R + ) × F × B ( X ) , B k ( ω ) ⊂ D ( ω ) ) be a probabilistic space and define a family of transformations of the sum and ergodic of a family of measures preserving { θ t , t ∈ R }

θ t ω ( ⋅ ) = ω ( ⋅ + t ) − ω ( t ) ,

Then ( Ω , F , P , ( θ t ) t ∈ R ) is an orbiting metric dynamical system.

Let ( X , ‖ ⋅ ‖ X ) be a complete separable metric space and B ( X ) be a Borel σ -algebra on.

Definition 1 (Following as [

S : R + × Ω × X ↦ X , ( t , w , x ) ↦ S ( t , w , x ) ,

is ( B ( R + ) × F × B ( X ) , B ( X ) ) -measurable mapping and satisfies the following properties:

1) The mapping S ( t , ω ) : = S ( t , ω , ⋅ ) satisfies

S ( 0 , ω ) = i d , S ( t + s , ω ) = S ( t , θ s ω ) ∘ S ( s , ω ) ;

for any s , t ≥ 0 , ω ∈ Ω .

2) ( t , w , x ) ↦ S ( t , w , x ) is continuous, for any ω ∈ Ω .

Then S is a continuous stochastic dynamical system on ( Ω , F , P , ( θ t ) t ∈ R ) .

Definition 2 (Following as [

lim | s | → ∞ inf e − β s d ( B ( θ − s ω ) ) = 0 ,

where d ( B ) = sup x ∈ B ‖ x ‖ X , for any x ∈ X .

Definition 3 (Following as [

S ( t , θ − t ω ) ( B ( θ − t ω ) ) ⊂ B 0 ( ω ) .

Definition 4 (Following as [

1) A ( ω ) is a random compact set;

2) A ( ω ) is the invariant set D ( ω ) , that is, for any t > 0 , we have S ( t , ω ) A ( ω ) = A ( θ t ω ) ;

3) A ( ω ) attracts all sets on D ( ω ) , that is, for any B ( ω ) ∈ D ( ω ) and P − a . e . ω ∈ Ω , with the following limit:

lim t → ∞ d ( S ( t , θ − t ω ) B ( θ − t ω ) , A ( ω ) ) = 0 ,

where d ( A , B ) = sup x ∈ A inf y ∈ B ‖ x − y ‖ H is Hausdorff half distance. (There A , B ⊆ H ).

Definition 5 (Following as [

1) Random set B k ( ω ) is a closed set on Hilbert space X ;

2) For P − a . e . ω ∈ Ω , random set B k ( ω ) satisfies for any sequence x n ∈ S ( t n , θ − t n ω ) B 0 ( θ − t n ω ) , there is a convergence subsequence in space X , when t n → + ∞ . Then stochastic dynamical system ( S ( t , ω ) ) t ≥ 0 has a unique global attractor

A k ( ω ) = ∩ τ ≥ t k ( ω ) ∪ t ≥ τ S ( t , θ − t ω ) B 0 ( θ − t ω ) ¯ .

The Ornstein-Uhlenbeck process [

Let z ( θ t ω ) = − α ∫ − ∞ 0 e α τ θ t ω ( τ ) d τ , where t ∈ R . It can be seen that for any t ≥ 0 , the stochastic process z ( θ t ω ) satisfies the Ito equation

d z + α z d t = d W ( t ) .

According to the nature of the O-U process, there exists a probability measure P , θ t -invariant set, and the above stochastic process

z ( θ t ω ) = − α ∫ − ∞ 0 e α τ θ t ω ( τ ) d τ

satisfies the following properties:

1) The mapping S → z ( θ s ω ) is a continuous mapping, for any given ω ∈ Ω 0 ;

2) The random variable ‖ z ( ω ) ‖ is tempered;

3) There exist a tempered set r ( ω ) > 0 , such that

‖ z ( θ t ω ) ‖ + ‖ z ( θ t ω ) ‖ 2 ≤ r ( θ t ω ) ≤ r ( ω ) e α 2 | t | ;

4) lim t → ∞ 1 t ∫ 0 t | z ( θ t ω ) | 2 d τ = 1 2 α ;

5) lim t → ∞ 1 t ∫ 0 t | z ( θ t ω ) | d τ = 1 π α .

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

{ d u = u t d t , d u t + [ M ( ‖ A m 2 u ‖ 2 ) A m u + β A m u t + g ( x , u t ) ] d t = q ( x ) d W ( t ) , t ∈ [ 0 , + ∞ ) , u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) , x ∈ Ω . (14)

where A = − Δ .

Let φ = ( u , v ) T , v = u t + ε u , then the question (14) can be simplified to

{ d φ + L φ d t = F ( θ t ω , φ ) , φ 0 ( ω ) = ( u 0 , u 1 + ε u 0 ) T . (15)

where

L = ( ε I − I ( ( M ( ‖ A m 2 u ‖ 2 ) − β ε ) A m + ε 2 ) I ( β A m − ε ) I ) , F ( θ t ω , φ ) = ( 0 − g ( x , u t ) + q ( x ) d W ( t ) ) .

Let y = v − q ( x ) z ( θ t ω ) , Then the question (14) may read as follows:

{ ψ t + L ψ = F ¯ ( θ t ω , ψ ) , ψ 0 ( ω ) = ( u 0 , u 1 + ε u 0 − q ( x ) δ ( θ t ω ) ) T . (16)

where ψ = ( u , z ) T ,

L = ( ε I − I ( ( M ( ‖ A m 2 u ‖ 2 ) − β ε ) ) m + ε 2 ) I ( β A m − ε ) I ) , F ¯ ( θ t ω , ψ ) = ( q ( x ) z ( θ t ω ) − g ( x , u t ) + ( ε + 1 − β A m ) q ( x ) z ( θ t ω ) ) .

Lemma 1 Let E k = H 0 m + k ( Ω ) × H 0 k ( Ω ) , ( k = 0 , 1 , 2 , ⋯ , m ) , for any y = ( y 1 , y 2 ) T ∈ E k , if 0 < ε ≤ 2 β − 1 + λ 1 − m , we have

( L y , y ) E k ≥ k 1 ‖ y ‖ E k 2 + k 2 ‖ D m + k y 2 ‖ 2 ≥ k 1 ‖ y ‖ E k 2 + k 3 ‖ D k y 2 ‖ 2 ,

where k 1 = min { ε − β − 1 2 ε 2 − ε 2 2 λ 1 − m , β λ 1 m 4 − ε 2 2 − ε } , k 2 = β + 1 2 , k 3 = k 2 λ 1 m .

Proof: For any y = ( y 1 , y 2 ) T , we have

L y = ( ε I − I ( ( M ( ‖ A m 2 u ‖ 2 ) − β ε ) A m + ε 2 ) I ( β A m − ε ) I ) ( y 1 y 2 ) = ( ε y 1 − y 2 ( ( M ( ‖ A m 2 u ‖ 2 ) − β ε ) A m + ε 2 ) y 1 + ( β A m − ε ) y 2 ) . (17)

( L y , y ) E k = ( D m + k ( ε y 1 − y 2 ) , D m + k y 1 )

+ ( D k ( ( ( M ( ‖ A m 2 u ‖ 2 ) − β ε ) A m + ε 2 ) y 1 + ( β A m − ε ) y 2 ) , D k y 2 ) = ε ‖ D m + k y 1 ‖ 2 − ( D m + k y 2 , D m + k y 1 ) + ( M ( ‖ A m 2 u ‖ 2 ) − β ε ) ( A m y 1 , A k y 2 ) + ε 2 ( D k y 1 , D k y 2 ) + β ‖ D m + k y 2 ‖ 2 − ε ‖ D k y 2 ‖ 2 , (18)

From hypothesis (A1), we have

( M ( ‖ A m 2 u ‖ 2 ) − β ε ) ( A m y 1 , A k y 2 ) = ( M ( ‖ A m 2 u ‖ 2 ) − ε ) ( D m + k y 1 , D m + k y 2 ) + ( ε − β ε ) ( D m + k y 1 , D m + k y 2 ) ≥ ( D m + k y 1 , D m + k y 2 ) − β − 1 2 ε 2 ‖ D m + k y 1 ‖ 2 − β − 1 2 ‖ D m + k y 2 ‖ 2 , (19)

So

( L y , y ) E k ≥ ε ‖ D m + k y 1 ‖ 2 − β − 1 2 ε 2 ‖ D m + k y 1 ‖ 2 − β − 1 2 ‖ D m + k y 2 ‖ 2 + ε 2 ( D k y 1 , D k y 2 ) + β ‖ D m + k y 2 ‖ 2 − ε ‖ D k y 2 ‖ 2 ≥ ε ‖ D m + k y 1 ‖ 2 − β − 1 2 ε 2 ‖ D m + k y 1 ‖ 2 − β − 1 2 ‖ D m + k y 2 ‖ 2 − ε 2 2 λ 1 − m ‖ D m + k y 1 ‖ 2 − ε 2 2 ‖ D k y 2 ‖ 2 + β ‖ D m + k y 2 ‖ 2 − ε ‖ D k y 2 ‖ 2

≥ ( ε − β − 1 2 ε 2 − − ε 2 2 λ 1 − m ) ‖ D m + k y 1 ‖ 2 + ( β λ 1 m 4 − ε 2 2 − ε ) ‖ D m + k y 2 ‖ 2 + β + 1 2 ‖ D k y 2 ‖ 2 , (20)

where 0 < ε ≤ 2 β − 1 + λ 1 − m .

Choose k 1 = min { ε − β − 1 2 ε 2 − ε 2 2 λ 1 − m , β λ 1 m 4 − ε 2 2 − ε } , k 2 = β + 1 2 , k 3 = k 2 λ 1 m , then we have

( L y , y ) E k ≥ k 1 ‖ y ‖ E k 2 + k 2 ‖ D m + k y 2 ‖ 2 ≥ k 1 ‖ y ‖ E k 2 + k 3 ‖ D k y 2 ‖ 2 . (21)

Therefore, Lemma 1 is proved.

Lemma 2 Let φ is a solution of the problem (15), then there is a bounded random compact set B ˜ 0 k ( ω ) ∈ D ( E k ) , such that for any random set B k ( ω ) ∈ D ( E k ) , existence a random variable T B k ( ω ) > 0 , so that

φ ( t , θ t ω ) B k ( θ − t ω ) ⊂ B ˜ 0 k ( ω ) , ∀ t ≥ T B k ( ω ) , ω ∈ Ω .

Proof: Let ψ is a solution of the problem (16), taking inner product of two sides of the Equation (15) is obtained by using ψ = ( u , y ) T ∈ E k in E k , we have

1 2 d d t ‖ ψ ‖ E k 2 + ( L ψ , ψ ) E k = ( F ¯ ( θ t ω , ψ ) , ψ ) , (22)

where

( F ¯ ( θ t ω , ψ ) , ψ ) = ( D m + k q ( x ) z ( θ t ω ) , D m + k u ) + ( D k ( − g ( x , u t ) + ( ε + 1 − β A m ) q ( x ) z ( θ t ω ) ) , D k z ) . (23)

From Lemma 1, we have

( L ψ , ψ ) E k ≥ k 1 ‖ ψ ‖ E k 2 + k 3 ‖ D k y ‖ 2 , (24)

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

( D m + k q ( x ) z ( θ t ω ) , D m + k u ) ≤ 1 2 ‖ D m + k u ‖ 2 + 1 2 ‖ D m + k q ( x ) ‖ 2 | z ( θ t ω ) | 2 , (25)

( ε D k q ( x ) z ( θ t ω ) , D k y ) ≤ k 3 4 ‖ D k y ‖ 2 + ε 2 k 3 ‖ D k q ( x ) ‖ 2 | z ( θ t ω ) | 2 , (26)

( ( 1 − β A m ) D k q ( x ) z ( θ t ω ) , D k y ) ≤ k 3 4 ‖ D k y ‖ 2 + 1 k 3 ‖ D k q ( x ) ‖ 2 | z ( θ t ω ) | 2 + β 2 k 3 ‖ A m + k 2 q ( x ) ‖ 2 | z ( θ t ω ) | 2 , (27)

from assumption (A2), we have

( − D k g ( x , u t ) , D k y ) ≤ ‖ D k ( g ( x , u t ) − g ( x , 0 ) ) ‖ ‖ D k y ‖ ≤ L g ‖ D k u t ‖ ‖ D k y ‖ = L g ‖ D k ( y − ε u + q ( x ) z ( θ t ω ) ) ‖ ‖ D k y ‖ ≤ L g ( ‖ D k y ‖ + ε ‖ D k u ‖ + ‖ D k q ( x ) ‖ | z ( θ t ω ) | ) ‖ D k y ‖ ≤ ( L g + k 3 4 ) ‖ D k y ‖ 2 + ε 2 L g 2 k 3 λ 1 − m ‖ D m + k u ‖ 2 + L g 2 k 3 ‖ D k q ( x ) ‖ 2 | z ( θ t ω ) | 2 . (28)

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

d d t ‖ ψ ‖ E k 2 + 2 k 1 ‖ ψ ‖ E k 2 ≤ C 1 + ( 2 ( L g 2 + ε 2 + 1 ) k 3 ‖ D k q ( x ) ‖ 2 + ‖ D m + k q ( x ) ‖ 2 + 2 β 2 k 3 ‖ A m + k 2 q ( x ) ‖ 2 ) | z ( θ t ω ) | 2 . (29)

Taking N 1 = 2 ( L g 2 + ε 2 + 1 ) k 3 ‖ D k q ( x ) ‖ 2 + ‖ D m + k q ( x ) ‖ + 2 β 2 k 3 ‖ A m + k 2 q ( x ) ‖ 2 ,

we have

d d t ‖ ψ ‖ E k 2 + 2 k 1 ‖ ψ ‖ E k 2 ≤ C 1 + N 1 | z ( θ t ω ) | 2 . (30)

From Gronwal inequality P a . e . w ∈ Ω , then

‖ ψ ( t , ω ) ‖ E k 2 ≤ e − 2 k 1 t ‖ ψ ( 0 , ω ) ‖ E k 2 + ∫ 0 t e − 2 k 1 ( t − s ) ( C 1 + N 1 | z ( θ s ω ) | 2 ) d s . (31)

And because z ( θ t ω ) is tempered, and z ( θ t ω ) is continuous about t, so according to reference [

| z ( θ t ω ) | 2 ≤ r 1 ( θ t ω ) ≤ e k 1 t r 1 ( ω ) . (32)

Replace ω in Equation (30) with θ − t ω , we can obtain that

‖ ψ ( t , θ − t ω ) ‖ E k 2 ≤ e − 2 k 1 t ‖ ψ ( 0 , θ − t ω ) ‖ E k 2 + ∫ 0 t e − 2 k 1 ( t − s ) ( C 1 + N 1 | z ( θ s − t ω ) | 2 ) d s , (33)

Available from (32)

∫ 0 t e − 2 k 1 ( t − s ) ( C 1 + N 1 | z ( θ s − t ω ) | 2 ) d s = ∫ − t 0 e 2 k 1 τ ( C 1 + N 1 | z ( θ τ ω ) | 2 ) d τ ≤ C 1 2 k 1 + 1 3 k 1 N 1 r 1 ( ω ) . (34)

Therefore

‖ ψ ( t , θ − t ω ) ‖ E k 2 ≤ C 1 2 k 1 + 1 3 k 1 N 1 r 1 ( ω ) . (35)

Because φ ( θ − t ω ) ∈ B k ( θ − t ω ) is tempered, and | z ( θ − t ω ) | is also tempered, so we can let

R 0 2 ( ω ) = C 1 2 k 1 + 1 3 k 1 N 1 r 1 ( ω ) . (36)

then R 0 2 ( ω ) is also tempered, put B ^ 0 k = { ξ ∈ E k | ‖ ψ ‖ E k ≤ R 0 ( ω ) } is a random absorb set, and because of

S ˜ ( t , θ − t ω ) ψ ( 0 , θ − t ω ) = φ ( t , θ − t ω ) ( ψ ( 0 , θ − t ω ) + ( 0 , q ( x ) z ( θ − t ω ) ) T ) − ( 0 , q ( x ) z ( θ − t ω ) ) T , (37)

So let

B ˜ 0 k ( ω ) = { φ ∈ E k | ‖ φ ‖ E k ≤ R 0 ( ω ) + ‖ D k q ( x ) δ ( ω ) ‖ = R ¯ 0 ( ω ) } , (38)

then B ˜ 0 k ( ω ) is a random absorb set of φ ( t , ω ) , and B ˜ 0 k ( ω ) ∈ D ( E k ) .

Thus, the whole proof is complete.

It is shown below that there exists a compact suction collection for stochastic dynamical system S ( t , ω ) .

Lemma 3 When k = m , for any B m ( ω ) ∈ D ( E m ) , let φ ( t ) is a solution of the Equation (15) with the initial value φ 0 = ( u 0 , u 1 + ε u 0 ) T ∈ B m , and it can decompose φ = φ 1 + φ 2 , where φ 1 , φ 2 satisfy

{ d φ 1 + L φ 1 d t = 0 , φ 10 ( ω ) = ( u 0 , u 1 + ε u 0 ) T . (39)

{ d φ 2 + L φ 2 d t = F ( ω , φ ) , φ 20 ( ω ) = 0. (40)

then ‖ φ 1 ( t , θ − t ω ) ‖ E m 2 → 0 , ( t → ∞ ) , for any φ 0 ( θ − t ω ) ∈ B m ( θ − t ω ) , there exists a temper random radius R 1 ( ω ) , such that

‖ φ 2 ( t , θ − t ω ) ‖ E m ≤ R 1 ( ω ) , for any ω ∈ Ω .

Proof: When k = m , let ψ = ψ 1 + ψ 2 = ( u 1 , u 1 t + ε u 1 ) T + ( u 2 , u 2 t + ε u 2 − q ( x ) z ( θ t ω ) ) T is a solution of Equation (16), then according to Equation (39) and Equation (40), we know ψ 1 , ψ 2 meet separately

{ ψ 2 t + L ψ 1 = 0 , ψ 10 = ( u 0 , u 1 + ε u 0 − q ( x ) z ( θ t ω ) ) T . (41)

{ ψ 2 t + L ψ 2 = F ¯ ( θ t ω , ψ 2 ) , ψ 20 = 0. (42)

Taking inner product Equation (41) with ψ 1 = ( u 1 , u 1 t + ε u 1 ) T in E m , we have

1 2 d d t ‖ ψ 1 ‖ E m 2 + ( L ψ 1 , ψ 1 ) E m = 0 , (43)

From Lemma 1 and Gronwall inequality, we have

‖ ψ 1 ( t , ω ) ‖ E m 2 ≤ e − 2 k 1 t ‖ ψ 1 ( 0 , ω ) ‖ E m 2 , (44)

substituting ω by θ − t ω in (43), and because z ( θ − t ω ) ∈ B m is tempered, then

‖ ψ 1 ( t , θ − t ω ) ‖ E m 2 ≤ e − 2 k 1 t ‖ ψ 0 ( θ − t ω ) ‖ E m 2 → 0 , ( t → ∞ ) , ∀ ψ 0 ( θ − t ω ) ∈ B m . (45)

Taking inner product (42) with ψ 2 = ( u 2 , u 2 t + ε u 2 − q ( x ) z ( θ t ω ) ) T in E m , and from Lemma 1 and Lemma 2, we have

d d t ‖ ψ 2 ‖ E m 2 + 2 k 1 ‖ ψ 2 ‖ E m 2 ≤ C 1 + N 2 | z ( θ t ω ) | 2 , (46)

where N 2 = 2 ( L g 2 + ε 2 + 1 ) k 3 ‖ D m q ( x ) ‖ 2 + ‖ D 2 m q ( x ) ‖ 2 + 2 β 2 k 3 ‖ A 3 m 2 q ( x ) ‖ 2 .

Substituting ω by θ − t ω in (46) and from Gronwall’s Inequality and (32), we have

‖ ψ 2 ( t , θ − t ω ) ‖ E m 2 ≤ e − 2 k 1 t ‖ ψ 2 ( 0 , θ − t ω ) ‖ E m 2 + ∫ 0 t e − 2 k 1 ( t − s ) ( C 2 + N 2 | z ( θ s − t ω ) | 2 ) d s ≤ C 2 2 k 1 + 1 3 k 1 N 2 r 1 ( ω ) . (47)

So there exists a temper random radius

R 1 2 ( ω ) = C 2 2 k 1 + 1 3 k 1 N 2 r 1 ( ω ) , (48)

such that

‖ φ 2 ( t , θ − t ω ) ‖ E m ≤ R 1 ( ω ) , for any ω ∈ Ω . (49)

This completes the Proof of Lemma 3.

Lemma 4 The stochastic dynamical system { S ( t , ω ) , t ≥ 0 } , while t = 0 , P a . e . w ∈ Ω determined by Equation (15) has a compact attracting set K ( ω ) ⊂ E k .

Proof: Let K ( ω ) be a closed sphere in space E k with a radius of R 1 ( ω ) . According to embedding relation E k ⊂ E 0 , then K ( ω ) is a compact set in E k , for any temper random set B k ( ω ) ∈ E k , for ∀ ψ ( t , θ − t ω ) ∈ B k , according to Lemma 3, ψ 2 = ψ − ψ 1 ∈ K ( ω ) , so for any ∀ t ≥ T B k ( ω ) > 0 , we have

d E k ( S ( t , θ − t ω ) B k ( θ − t ω ) , K ( ω ) ) = inf ϑ ( t ) ∈ K ( w ) ‖ ψ ( t , θ − t ω ) − ϑ ( t ) ‖ E k 2 ≤ ‖ ψ 1 ( t , θ − t ω ) ‖ E k 2 ≤ e − 2 k 1 t ‖ ψ 10 ( t , θ − t ω ) ‖ E k 2 → 0 , ( t → ∞ ) . (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 { S ( t , ω ) , t ≥ 0 } has a random attractor family A k ( ω ) ⊂ K ( ω ) ⊂ E k , for any ω ∈ Ω , and there exists a temper random set K ( ω ) , such that

A k ( ω ) = ∩ t ≥ 0 , τ ≥ t ∪ S ( t , θ − τ ω , K ( θ − τ ω ) ) ¯ ,

and

S ( t , ω ) A k ( ω ) = A k ( θ t ω ) .

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 ( t , ω ) has a attractor family A k ( k = 1 , 2 , ⋯ , m ) .

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.

The authors declare no conflicts of interest regarding the publication of this paper.

Lin, G.G. and Zhu, C.Q (2019) Existence of Random Attractor Family for a Class of Nonlinear Higher-Order Kirchhoff Equations. International Journal of Modern Nonlinear Theory and Application, 8, 41-52. https://doi.org/10.4236/ijmnta.2019.82003