^{1}

^{*}

^{1}

The existence of random attractor family for a class of nonlinear high-order Kirchhoff equation stochastic dynamical systems with white noise is studied. The Ornstein-Uhlenbeck process and the weak solution of the equation are used to deal with the stochastic terms. The equation is transformed into a general stochastic equation. The bounded stochastic absorption set is obtained by estimating the solution of the equation and the existence of the random attractor family is obtained by isomorphic mapping method. Temper random compact sets of random attractor family are obtained.

In this paper, we study the random attractor family of solutions to the strongly damped stochastic Kirchhoff equation with white noise:

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

with the Dirichlet boundary condition

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

and the initial value conditions

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

where m > 1 is a positive integer; β > 0 is a constant; Ω is a bounded region with smooth boundary in R n . Δ is the Laplacian with respect to the variable to variable x ∈ Ω . M is a general real-valued function; g ( x , u ) is a non-linear and non-local source term. W is derivative of a one-dimensional two-valued Wiener process W ( t ) and q ( x ) W ˙ formally describes white noise.

B.L. Guo and X.K. Pu described in detail the related concepts and theories of infinite dimensional stochastic dynamical systems, and discussed in detail the existence and uniqueness, attractor and inertial manifold of some nonlinear evolution equations and wave equation solutions in [

D.H. Cai and X.M. Fan [

d u = ( a u x x x x + u x x + β u u x x + r u ) d t = f ( x ) d t + b u d W ( t ) , x ∈ D , t > 0. (1.4)

By transforming the equation into a stochastic KDV-type equation without white noise, the existence of stochastic attractors for dynamic systems determined by the original equation is proved by discussing the dynamic absorptivity and asymptotic property determined by the new equation.

Yin et al. [

d u t + α u t d t − β u x t d t − γ u x x d t + i u x + f ( | u | 2 ) u d t = u ⋅ d W ( t ) . (1.5)

Stochastic dynamic system has compact random attractors in space E 0 = H 1 × L 2 .

Xu et al. [

u t t − Δ u − α Δ u t − β u t t + h ( u ) u t + λ u + f ( x , u ) = g ( x , t ) u + ε u ⋅ d W d t . (1.6)

The existence of random attractors for non-autonomous stochastic wave equations with product white noise is obtained by using the uniform estimation of solutions and the technique of decomposing solutions in a region.

Lin et al. [

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

The O-U process is mainly used to deal with the stochastic terms, and the existence of stochastic attractors is obtained.

Qin et al. [

u t t + Δ 2 u + Δ 2 u t + ( p − | ∇ u | 2 ) Δ u + b u + + f ( u ) = q ( x ) W ˙ . (1.8)

Kirchhoff stress term ( p − | ∇ u | 2 ) Δ u and dissipation term b u + are treated. It is assumed that the non-linear term f ( u ) satisfies the growth and dissipation conditions.

For more relevant studies, it can be referred to references in [

On the basis of some random attractors of Kirchhoff equation with white noise studied by predecessors, the existence and uniqueness of solutions of stochastic higher-order Kirchhoff equation with strong damping of white noise, nonlinear and non-local source terms and the existence of attractors of stochastic Kirchhoff equation are discussed. This paper is organized as follows. In Section 2, some basic assumptions and basic concepts related to random attractor for general random dynamical system are presented. Section 3 deals with random term and proof the existence of random attractor family by using the isomorphism mapping method.

In this section, some symbols are made and assumption Kirchhoff Stress term M ( s ) satisfying condition (a) and Nonlinear term g ( x , u ) satisfies condition (b). In addition, some basic definitions of stochastic dynamical systems are also introduced.

For narrative convenience, we introduce the following symbols:

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

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 ) = ( ∇ m + k u 1 , ∇ m + k u 2 ) + ( ∇ k v 1 , ∇ k v 2 ) , ∀ y i = ( u i , v i ) ∈ E k , i = 1 , 2. (2.1)

Kirchhoff Stress term M ( s ) satisfies condition (a):

a) M ( s ) is locally bounded and measurable, M ( s ) ∈ C 2 ( Ω ) and 1 + ε ≤ σ 0 ≤ M ( s ) ≤ σ 1 where σ 1 , σ 2 is a constant;

Nonlinear term g ( x , u ) satisfies condition (b):

b) Let g ( x , u ) be nonnegative nonlocal bounded and measurable, g ( x , u ) ∈ C 2 ( Ω ) , g ( x , u ) ≤ a ( x ) ( 1 + | u | P ) , 0 < a ( x ) and a ( x ) ∈ C 1 ;

Here are some basics about random attractors.

Let ( B ( R + ) × F × B ( X ) , B k ( w ) ⊂ D ( w ) ) be a probabilistic space and define a family of transformation { θ t , t ∈ R } preserving measures and ergodicity:

θ t w ( ⋅ ) = w ( ⋅ + t ) − w ( t ) , (2.2)

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

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

Definition 2.1. ( [

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

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

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

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

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

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

Definition 2.2. ( [

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

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

Definition 2.3. ( [

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

Definition 2.4. ( [

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

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

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

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

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

Definition 2.5. ( [

1) Random set B k ( w ) is a closed set on Hilbert space X.

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

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

The Ornstein-Uhlenbeck process [

Let z ( θ t w ) = − α ∫ − ∞ 0 e α t θ t w ( τ ) d τ , where t ∈ R . For any t ≥ 0 , the stochastic process z ( θ t w ) satisfies the Ito equation

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

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

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

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 w ) ‖ + ‖ z ( θ t w ) ‖ 2 ≤ r ( θ t w ) ≤ r ( w ) e α 2 t ; (2.11)

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

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

In this section, we consider the existence of random attractor family. To deal with the random term we need to transform the problem (1.1) - (1.3) into a general stochastic problem. It is proved that there exists a bounded stochastic absorption set for stochastic dynamical systems. The stochastic dynamical system exists stochastic attractor family and a slowly increasing stochastic compact set.

For convenience, Equation (1.1) - (1.3) can be transformed into

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

where A = − Δ .

Let ϕ = ( u , y ) T , y = u t + ε u . Then the problem (3.1) can be simplified to:

{ d ϕ + L ϕ d t = F ( θ t ω , ϕ ) ϕ 0 ( ω ) = ( u 0 , u 1 + ε u 0 ) T (3.2)

where

ϕ = ( u y ) , L = ( ε I − I ( M ( ‖ A m 2 u ‖ 2 − β ε ) A m + ε 2 ) I ( β A m − ε ) I ) ,

F ( θ t ω , ϕ ) = ( 0 − g ( x , u ) + q ( x ) d W ( t ) ) .

Let v = y − q ( x ) δ ( θ t ω ) , then the question (3.2) can be written as:

{ d φ + L φ d t = F ¯ ( θ t ω , φ ) φ 0 ( ω ) = ( u 0 , u 1 + ε u 0 − q ( x ) δ ( θ t ω ) ) T ′ (3.3)

where

φ = ( u v ) , L = ( ε I − I ( M ( ‖ A m 2 u ‖ 2 − β ε ) A m + ε 2 ) I ( β A m − ε ) I ) ,

F ¯ ( θ t ω , φ ) = ( q ( x ) δ ( θ t ω ) − g ( x , u ) − ( β A m + ε + 1 ) q ( x ) δ ( θ t ω ) ) .

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

( L y , y ) E k ≥ k 1 ‖ y ‖ E k 2 + k 2 ‖ ∇ m + k y 2 ‖ 2 , (3.4)

where k 1 = min { β ε + ε − ε 2 λ 1 − m 2 β ， β λ 1 m − β ε 2 − 2 ε 2 } , k 2 = β ( 1 − β ε + ε ) 2 β .

Proof: For any y = ( y 1 , y 2 ) T , according to hypothesis (a), we have

( L y , y ) E k = ( ∇ m + k ( ε y 1 − y 2 ) , ∇ m + k y 1 ) + ( ∇ k M ( ‖ A m 2 u ‖ 2 ) A m y 1 − β ε A m y 1 + ε 2 y 1 + β A m y 2 − ε y 2 , ∇ k y 2 ) = ε ‖ ∇ m + k y 1 ‖ 2 − ( ∇ m + k y 1 , ∇ m + k y 2 ) + M ( ‖ A m 2 u ‖ 2 ) ( ∇ m + k y 1 , ∇ m + k y 2 ) − β ε ( ∇ m + k y 1 , ∇ m + k y 2 ) + ε 2 ( ∇ k y 1 , ∇ k y 2 ) + β ( ∇ m + k y 2 , ∇ m + k y 2 ) − ε ( ∇ k y 2 , ∇ k y 2 )

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

≥ ε ‖ ∇ m + k y 1 ‖ 2 − ( β ε − ε ) 2 β ‖ ∇ m + k y 1 ‖ 2 − β ( β − 1 ) ε 2 ‖ ∇ m + k y 2 ‖ 2 − ε 2 2 β ‖ ∇ k y 1 ‖ 2 − β ε 2 2 ‖ ∇ k y 2 ‖ + β ‖ ∇ m + k y 2 ‖ 2 − ε ‖ ∇ k y 2 ‖ 2 = 2 β ε − β ε + ε 2 β ‖ ∇ m + k y 1 ‖ 2 − β − β 2 ε + β ε 2 β ‖ ∇ m + k y 2 ‖ 2 − ε 2 2 β ‖ ∇ k y 1 ‖ 2 + β 2 ‖ ∇ m + k y 2 ‖ 2 − β ε 2 + 2 ε 2 ‖ ∇ k y 2 ‖ ≥ β ε + ε 2 β ‖ ∇ m + k y 1 ‖ 2 + β ( 1 − β ε + ε ) 2 β ‖ ∇ m + k y 2 ‖ 2 − ε 2 λ 1 − m 2 β ‖ ∇ m + k y 1 ‖ 2

+ β λ 1 m − β ε 2 − 2 ε 2 ‖ ∇ k y 2 ‖ 2 = β ε + ε − ε 2 λ 1 − m 2 β ‖ ∇ m + k y 1 ‖ 2 + β ( 1 − β ε + ε ) 2 β ‖ ∇ m + k y 2 ‖ 2 + β λ 1 m − β ε 2 − 2 ε 2 ‖ ∇ k y 2 ‖ 2 ≥ k 1 ( ‖ ∇ m + k y 1 ‖ 2 + ‖ ∇ k y 2 ‖ 2 ) + k 2 ‖ ∇ m + k y 2 ‖ 2 ≥ k 1 ‖ y ‖ E k 2 + k 2 ‖ ∇ m + k y 2 ‖ 2 . (3.5)

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

Lemma 3.1 is proved.

Lemma 3.2. Let ϕ be a solution of the problem (3.2), then there exists a bounded random compact set B ¯ 0 k ( ω ) ∈ D ( E k ) , so that for any random set B ¯ 0 k ( ω ) ∈ D ( E k ) , there exists a random variable T B k ( ω ) > 0 , such that

ϕ ( t , θ t ω ) B k ( θ − t ω ) ⊂ B ¯ 0 k ( ω ) , ∀ t ≥ T B k ( ω ) , ω ∈ Ω . (3.6)

Proof: Let φ be a solution of the problem (3.3), by taking the inner product of two sides of the Equation (3.3) is obtained by using φ = ( u , v ) T ∈ E k ,

1 2 d d t ‖ φ ‖ E k 2 + ( L φ , φ ) E k = ( F ¯ ( θ t ω , φ ) , φ ) . (3.7)

From Lemma 1, we have

( L φ , φ ) ≥ k 1 ‖ φ ‖ E k 2 + k 2 ‖ ∇ m + k v ‖ 2 . (3.8)

According to the inner product defined on E k .

( F ¯ ( θ t ω , φ ) , φ ) = ( ∇ m + k q ( x ) δ ( θ t ω ) , ∇ m + k u ) + ( ∇ k ( − g ( x , u ) + ( ε + 1 − β A m ) q ( x ) δ ( θ t ω ) ) , ∇ k v ) . (3.9)

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

( ∇ m + k q ( x ) δ ( θ t ω ) , ∇ m + k u ) ≤ λ 1 − m 2 ε ‖ A m + m 2 q ( x ) δ ( θ t ω ) ‖ 2 + ε 2 ‖ ∇ m + k u ‖ 2 . (3.10)

( ∇ m + k ( 1 − β A m ) q ( x ) δ ( θ t ω ) , ∇ k v ) ≤ 1 2 ε ( ‖ ∇ k q ( x ) δ ( θ t ω ) ‖ 2 + β 2 ‖ A m + m 2 q ( x ) ‖ 2 ) | δ ( θ t ω ) | 2 + ε λ 1 − m 2 ‖ ∇ m + k v ‖ 2 . (3.11)

( ∇ k ε q ( x ) δ ( θ t ω ) , ∇ k v ) ≤ ε 2 ‖ ∇ k q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + ε λ 1 − m 2 ‖ ∇ m + k v ‖ 2 . (3.12)

According to hypothesis (b), we have

( − ∇ k g ( x , u ) , ∇ k v ) ≤ | g ( x , u ) , ∇ 2 k v | ≤ ∫ Ω | a ( x ) ( 1 + | u | p ) ∇ 2 k v | d x ≤ ‖ a ( x ) ‖ ∞ ∫ Ω ( 1 + | u | p d x ) 1 2 ‖ ∇ 2 k v ‖ ≤ C 1 ‖ ∇ 2 k v ‖ ≤ β ε 2 λ 1 − ( m − k ) 2 ‖ ∇ m + k v ‖ 2 + C 1 2 2 β ε 2 . (3.13)

Combining (3.8)-(3.13) yields, we have

1 2 d d t ‖ φ ‖ E k 2 + k 1 ‖ φ ‖ E k 2 + k 2 ‖ ∇ m + k v ‖ 2 ≤ λ 1 − m 2 ε ‖ A m + m 2 q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + ε 2 ‖ ∇ m + k u ‖ 2 + ε λ 1 − m 2 ‖ ∇ m + k v ‖ 2 + 1 2 ε ‖ ∇ k q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + β 2 2 ε ‖ A m + m 2 q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + ε λ 1 − m 2 ‖ ∇ m + k v ‖ 2 + ε 2 ‖ ∇ k q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + β ε 2 λ 1 − ( m − k ) 2 ‖ ∇ m + k v ‖ 2 + C 1 2 2 β ε 2 . (3.14)

Then

d d t ‖ φ ‖ E k 2 + 2 k 1 ‖ φ ‖ E k 2 + ( 2 k 2 - 2 ε λ 1 − m - β ε 2 λ 1 − ( m − k ) ) ‖ ∇ m + k v ‖ 2 ≤ ε ‖ ∇ m + k u ‖ 2 + C 1 2 2 β ε 2 + β 2 ε ‖ A m + m 2 q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + λ 1 − m ε ‖ A m + m 2 q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + ( ε + 1 ε ) ‖ ∇ k q ( x ) ‖ 2 | δ ( θ t ω ) | 2 . (3.15)

Taking η = 2 k 1 ,

P 1 = β 2 ε ‖ A m + m 2 q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + λ 1 − m ε ‖ A m + m 2 q ( x ) ‖ 2 | δ ( θ t ω ) | 2 + ( ε + 1 ε ) ‖ ∇ k q ( x ) ‖ 2 | δ ( θ t ω ) | 2 .

we have

d d t ‖ φ ‖ E k 2 + η ‖ φ ‖ E k 2 ≤ C 2 + P 1 ‖ δ ( θ t ω ) ‖ 2 . (3.16)

By the Gronwall inequality, P − a . e . ω ∈ Ω then

‖ φ ( t , ω ) ‖ E k 2 ≤ e − η t ‖ φ 0 ( ω ) ‖ E k 2 + ∫ 0 t e − η ( t − r ) ( C 2 + P 1 ‖ δ ( θ r ω ) ‖ 2 ) d r . (3.17)

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

| δ ( θ t ω ) | 2 ≤ r 1 ( θ t ω ) ≤ e η 2 t r 1 ( ω ) . (3.18)

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

‖ φ ( t , θ − t ω ) ‖ E k 2 ≤ e − η t ‖ φ 0 ( θ − t ω ) ‖ E k 2 + ∫ 0 t e − η ( t − r ) ( C 2 + p 1 | δ ( θ t ω ) | 2 ) d r , (3.19)

where ( r − t = τ )

∫ 0 t e − η ( t − r ) ( C 2 + p 1 | δ ( θ r − t ω ) | 2 ) d r = ∫ − t 0 e η τ ( C 2 + p 1 | δ ( θ τ ω ) | 2 ) d r ≤ C 2 η + 2 η p 1 r 1 ( ω ) . (3.20)

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

R 0 2 ( ω ) = C 2 η + 2 η p 1 r 1 ( ω ) . (3.21)

Then R 0 2 ( ω ) is also temper, 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 ) δ ( θ − t ω ) ) T ) − ( 0 , q ( x ) δ ( θ − t ω ) ) T . (3.22)

So let

B ^ 0 k ( ω ) = { φ ∈ E k : ‖ φ ‖ E k ≤ R 0 ( w ) + ‖ ∇ k q ( x ) δ ( w ) ‖ = R ¯ 0 ( w ) } . (3.23)

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

Thus, the whole proof is proved.

Lemma 3.3. When k = m , for any B m ( ω ) ∈ D ( E m ) , Let ϕ ( t ) is a solution of the Equation (3.2) with the be initial value ϕ 0 = ( u 0 , u 1 + ε u 0 ) T ∈ B m , it can be decompose ϕ = ϕ 1 + ϕ 2 , where ϕ 1 , ϕ 2 satisfy

{ d ϕ 1 + L ϕ 1 d t = 0 ϕ 10 = ϕ 0 = ( u 0 , u 1 + ε u 0 ) T (3.24)

{ d ϕ 2 + L ϕ 2 d t = F ( ω , ϕ ) ϕ 20 = 0 (3.25)

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

‖ ϕ 2 ( t , θ − t ω ) ‖ E m 2 ≤ R 1 ( ω ) . (3.26)

Proof: Let φ = φ 1 + φ 2 = ( u 1 , u 1 t + ε u 1 ) T + ( u 2 , u 2 t + ε u 2 − q ( x ) δ ( θ t ω ) ) T is a solution of Equation (3.3), then according to the Equation (3.24) and (3.25), we can see that φ 1 , φ 2 meet separately

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

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

By taking the inner product of equation within E m , we have

1 2 d d t ‖ φ 1 ‖ E m 2 + ( L φ 1 , φ 1 ) E m = 0. (3.29)

According to lemma 1 and Gronwall inequality,

‖ φ 1 ( t , ω ) ‖ E m 2 ≤ e − 2 k 1 t ‖ φ 0 ( ω ) ‖ E m 2 . (3.30)

Replacing ω by θ − t ω in (3.30), because δ ( θ − t ω ) ∈ B m is tempered, then

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

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

d d t ‖ φ 2 ‖ E m 2 + η ‖ φ 2 ‖ E m 2 ≤ C 3 + P 2 | δ ( θ t ω ) | 2 . (3.32)

where η = 2 k 1 , P 2 = β 2 ε ‖ A 3 m 2 q ( x ) ‖ 2 + λ 1 − m ε ‖ A 3 m 2 q ( x ) ‖ 2 + ( ε + 1 ε ) ‖ ∇ k q ( x ) ‖ 2 .

Replacing ω by θ − t ω in (3.32) and from Gronwall inequality, we have

‖ ϕ 2 ( t , θ − t ω ) ‖ E m 2 ≤ e − η t ‖ ϕ 20 ( θ − t ω ) ‖ E m 2 + ∫ 0 t e − η ( t − r ) ( C 2 + P 1 | δ ( θ r − t ω ) | 2 ) d r ≤ C 3 η + 2 η P 2 r 1 ( ω ) . (3.33)

So there is exist a temper random radius

R 1 2 ( ω ) ≤ C 3 η + 2 η P 2 r 1 ( ω ) . (3.34)

For any ω ∈ Ω ,

‖ φ 2 ( t , θ − t ω ) ‖ E m ≤ R 1 ( ω ) . (3.35)

This completes the proof of Lemma 3.3.

Lemma 3.4. The Stochastic Dynamic System { S ( t , ω ) , t ≥ 0 } , while t = 0 , P − a . e . ω ∈ Ω determined by Equation (3.2) has a compact attracting set K ( ω ) ⊂ E k .

Proof: Let K ( ω ) be a closed ball with radius R 1 ( ω ) in space E k . According to the embedding relation E k ⊂ E 0 , then K ( ω ) is a compact set in E k . for any temper random set B k ( ω ) , for any ∀ φ ( t , θ t ω ) ∈ B k , according to Lemma 3.1, φ 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 ( ω ) ‖ φ ( t , θ − t ω ) − ϑ ( t ) ‖ E k 2 ≤ ‖ φ ( t , θ − t ω ) ‖ E k 2 ≤ e − η t ‖ φ 0 ( θ − t ω ) ‖ E k 2 → 0 , ( t → ∞ ) (3.36)

So, the whole proof is complete.

According to Lemma 3.1 - Lemma 3.4, there are the following theorems.

Theorem 3.1. Random dynamical system { S ( t , ω ) , t ≥ 0 } has a family of random attractors A k ( ω ) ⊂ K ( ω ) ⊂ E k , ω ∈ Ω , and there exists a slowly increasing random set K ( Ω ) ,

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

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

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

Lin, G.G. and Li, Z.X. (2019) Random Attractor Family for the Kirchhoff Equation of Higher Order with White Noise. Advances in Pure Mathematics, 9, 404-414. https://doi.org/10.4236/apm.2019.94018