Existence and Upper Semi-Continuity of Random Attractors for Nonclassical Diffusion Equation with Multiplicative Noise on Rn

Abstract

This paper is concerned with the existence and upper semi-continuity of random attractors for the nonclassical diffusion equation with arbitrary polynomial growth nonlinearity and multiplicative noise in H1(Rn). First, we study the existence and uniqueness of solutions by a noise arising in a continuous random dynamical system and the asymptotic compactness is established by using uniform tail estimate technique, and then the existence of random attractors for the nonclassical diffusion equation with arbitrary polynomial growth nonlinearity. As a motivation of our results, we prove an existence and upper semi-continuity of random attractors with respect to the nonlinearity that enters the system together with the noise.

Share and Cite:

Mosa, F. , Dafallah, A. , Ma, Q. , Ahmed, E. and Bakhet, M. (2022) Existence and Upper Semi-Continuity of Random Attractors for Nonclassical Diffusion Equation with Multiplicative Noise on Rn. Journal of Applied Mathematics and Physics, 10, 3898-3919. doi: 10.4236/jamp.2022.1012257.

1. Introduction

In this paper, we investigate the asymptotic behavior of solution to the following stochastic nonclassical diffusion equations with arbitrary polynomial growth nonlinearity and multiplicative noise defined in the entire space n :

d u + ( α u Δ u Δ u t ) d t = ( g ( u ) + f ( x ) ) d t + b u d W ( t ) , (1.1)

with the initial value condition

u ( x ,0 ) = u 0 ( x ) , x n , (1.2)

where Δ is the Laplacian operator with respect to the variable x n , u = u ( x , t ) is a real function of x n and t 0 ; α , b are proper positive constants; f L 2 ( n ) ; g is a nonlinear function satisfying certain conditions; W ( t ) is a two-sided real-valued Wiener process on a probability space ( Ω , F , ) , where Ω = { ω C ( , ) : ω ( 0 ) = 0 } , F is the Borel σ -algebra induced by the compact-open topology of Ω , and is the corresponding Wiener measure on F ; denotes the Stratonovich sense in the stochastic term. We identify ω ( t ) with W ( t ) , i.e., W ( t ) = W ( t , ω ) = ω ( t ) , t .

The nonclassical diffusion equation is an important mathematical model which depicts such physical phenomena as non-Newtonian flows, solid mechanics, and heat conduction, where the viscidity, the elasticity and the pressure of medium are taken into account. Equations (1.1) is known as the nonclassical diffusion equation when ( α > 0 ) and the reaction-diffusion equation when ( α = 0 ), Equations (1.1) this kind of equation has been studied by many researchers and several excellent results have been obtained in the recent twenty years, see Refs. [1] [2] [3] [4].

Since Equations (1.1) contains the term Δ u t , it’s different from the usual reaction-diffusion equation essentially. For example, the reaction-diffusion equation has some smoothing effect, e.g., although the initial data only belongs to a weaker topology space, the solution with initial conditions will belong to a stronger topology space with higher regularity. The existence, long-time behavior and regularity of solutions of Equations (1.1) have been considered by some recent related works [5] - [16] and the references therein. However, for Equations (1.1), if the initial data u 0 belongs to H 1 ( n ) , then the solution u ( x , t ) is always in H 1 ( n ) and has no higher regularity because of Δ u t . There are a great number of results concerning the existence of random attractor involving stochastic partial differential equations, we refer the readers to [17] - [32]. In [20], the author has proved the existence of random attractor for the nonclassical diffusion equation with memory in M 1 = D ( A 1 2 ) × L μ 2 ( + , D ( A 1 2 ) ) on bounded domain.

In the case of unbounded domains established the existence of pullback attractor for the stochastic nonclassical diffusion equation in [17], and existence of random attractor with additive noise in [18]. For the upper semicontinuity of corresponding attractors between autonomous and perturb non-autonomous systems, we can refer to [16] [22] [23]. However, there are fewer results on the existence and upper semi-continuity of pullback attractors for stochastic nonclassical diffusion equation with multiplicative noise on unbounded domain also gives some difficulties since the embedding is no longer compact. Consequently, for Equations (1.1), we cannot use the compact Sobolev embedding to verify the asymptotic compactness of the solutions. Most recently, by using the tail-estimates method, and some omega-limit compactness argument and useful estimates of nonlinearity of the random dynamical system, which shows that the solutions are uniformly asymptotically small when space and time variables approach infinity, the reader can refer to [23] [24] [25] [26].

This paper is organized as follows. In Section 2, we recall some basic concepts and properties for general random dynamics system. In Section 3, we provide some basic settings about Equations (1.1) and show that it generates a random dynamical system on H 1 ( n ) . In Section 4, we prove the uniform estimates of solutions, which include the uniform estimates on the tails of solutions. In Section 5, we first establish the asymptotic compactness of the solution operator by given uniform estimates on the tails of solutions, and then prove the existence of a random attractor. The existence and upper semicontinuity (in H 1 ( n ) ) of random attractors are given in the last section.

2. Preliminaries

As mentioned in the introduction, our main purpose is to prove the existence of the random attractor. For that matter, first, we will recapitulate basic concepts related to random attractors for stochastic dynamical systems. The reader is referred to [19] [22] [26] [29] for more details. Let ( X , X ) be separable Hilbert space with the Borel σ -algebra B ( X ) , and ( Ω , F , ) be a probability space, in the sequel, we use and ( , ) to denote the norm and inner product of L 2 ( n ) , respectively.

Definition 2.1 ( Ω , F , , ( ϑ t ) t ) is called a metric dynamical system if ϑ : × Ω Ω is ( B ( ) × F , F ) -measurable, ϑ 0 is the identity on Ω , ϑ s + t = ϑ t ϑ s for all s , t and ϑ t P = P for all t .

Definition 2.2 A continuous random dynamical system (RDS) on X over a metric dynamical system ( Ω , F , , ( ϑ t ) t ) is a mapping

ϕ : + × Ω × X X , ( t , ω , x ) ϕ ( t , ω , x ) ,

which is ( B ( + ) × F × B ( X ) , B ( X ) ) -measurable and satisfies, for -a.e. ω Ω ,

1) ϕ ( 0, ω , ) is the identity on X,

2) ϕ ( t + s , ω , ) = ϕ ( t , ϑ s ω , ) ϕ ( s , ω , ) for all t , s + ,

3) ϕ ( t , ω , ) : X X is continuous for all t + .

Hereafter, we always assume that ϕ is continuous RDS on X over ( Ω , F , , ( ϑ t ) t ) .

Definition 2.3 A set-valued mapping { D ( ω ) } : Ω 2 X , ω D ( ω ) , is said to be a random set if the mapping ω d ( u , D ( ω ) ) is measurable for every u X . If D ( ω ) is also closed (compact) for each ω Ω , { D ( ω ) } is called a random closed (compact) set. A random set { D ( ω ) } is said to be bounded if there exist u 0 X and a random variable R 1 ( ω ) > 0 such that D ( ω ) { u X : u u 0 X R 1 ( ω ) } for all ω Ω .

Definition 2.4 A random bounded set { D ( ω ) } is called tempered provided for -a.e, ω Ω ,

lim t + e β t d ( D ( ϑ t ω ) ) = 0 for all β > 0 ,

where d ( D ) = sup { b X : b D } .

Definition 2.5 Let D be a collection of random subset of X and { K ( ω ) } D . Then { K ( ω ) } is called a random absorbing set for ϕ in D for every D D and -a.e, ω Ω , there exist t 0 ( ω ) such that ϕ ( t , ϑ t ω , D ( ϑ t ω ) ) K ( ω ) for all t t 0 ( ω ) .

Definition 2.6 A random set { K 1 ( ω ) } is said to be a random attracting set if for every tempered random set { D ( ω ) } , and -a.e, ω Ω , we have

l i m t + d H ( ϕ ( t , ϑ t ω , D ( ϑ t ω ) , K 1 ( ω ) ) ) = 0,

where d H is the Hausdorff semi-distance given by d H ( E , F ) = sup u E inf v F u v X for every E , F X .

Definition 2.7 Let D be the set of all random tempered sets in X. Then ϕ is said to be asymptotically compact in X if for -a.e. ω Ω , { ϕ ( t n , ϑ t n ω , X n ) } n = 1 has a convergent subsequence in X whenever t n , and X n B ( ϑ t n ω ) with { B ( ω ) } D .

Definition 2.8 A random compact set { A ( ω ) } is said to be a random attractor if it is a random attracting set and ϕ ( t , ω , A ( ω ) ) = A ( ϑ t ω ) for -a.e. ω Ω and all t 0 .

Theorem 2.9 Let ϕ be a continuous random dynamical system on X over ( Ω , F , , ( ϑ t ) t ) . If there is a closed random tempered absorbing set { K ( ω ) } of ϕ and ϕ is asymptotically compact in X, then { A ( ω ) } is a random attractor of ϕ , where

A ( ω ) = t > 0 τ t ϕ ( τ , ϑ τ ω , K ( ϑ τ ω ) ) ¯ , ω Ω .

Moreover, { A ( ω ) } is the unique attractor of ϕ .

Lemma 2.10 ( [21]) Let ( X , X ) be a Banach space and ϕ 0 be an autonomous dynamical system with the global attractor A 0 in X. Given b > 0 , suppose that ϕ 0 is the perturbed random dynamical system with a random attractor A b D and a random absorbing set E b D . Then for -a.e. ω Ω ,

dist ( A b ( ω ) , A 0 ) 0, as b 0

if the following conditions are satisfied:

1) For -a.e. ω Ω , t 0 , b n 0 , and x n , x X with x n x , it hold that lim n ϕ b n ( t , ω ) x n = ϕ 0 ( t ) x ;

2) There exists some deterministic constant c such that, for -a.e. ω Ω ,

lim sup b 0 + E b ( ω ) X c ,

where E b ( ω ) X = sup x E b ( ω ) x X ;

3) There exists a b 0 > 0 such that, for -a.e. ω Ω , 0 < b < b 0 A b ( ω ) is precompact in X.

3. Random Dynamical System

In this section, we show that there is a continuous random dynamical system generated by the stochastic nonclassical diffusion equation defined on n with arbitrary polynomial growth nonlinearity and multiplicative noise:

d u + ( α u Δ u Δ u t ) d t = ( g ( u ) + f ( x ) ) d t + b u d W ( t ) , (3.1)

with the initial value condition

u ( x ,0 ) = u 0 ( x ) , x n , (3.2)

where α , b are proper positive constants, f L 2 ( n ) and g ( u ) is a nonlinear function satisfying the following conditions are the same as those in [24]:

β 2 | s | p δ 2 | s | 2 g ( s ) s β 1 | s | p + δ 1 | s | 2 for s and p 2, (3.3)

β 4 | s | p 1 δ 4 | s | g ( s ) β 3 | s | p 1 + δ 3 | s | for s and p 2, (3.4)

g ( s ) L for s , (3.5)

where L , β i , δ i ( i = 1 , 2 , 3 , 4 ) are a non-negative constant.

To model the random noise in Equation (3.1), we need to define a shift operator { ϑ t } t on Ω (where Ω is defined in the introduction) by

ϑ t ω ( ) = ω ( + t ) ω ( t ) , t , (3.6)

then ( Ω , F , , ( ϑ t ) t ) is an ergodic metric dynamical system, see [20] [24].

For our purpose, it is convenient to convert Equation (3.1) into a deterministic system with a random parameter, and then show that it generates a random dynamical system.

We now introduce an Ornstein-Uhlenbeck process given by the Brownian motion. Put

z ( ϑ t ω ) : = 0 e s ( ϑ t ω ) ( s ) d s , t , (3.7)

which is called the Ornstein-Uhlenbeck process and solves the Itô equation

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

From [19] [25] [27] [28], it is known that the random variable z ( ω ) is tempered, and there is a ϑ t -invariant set Ω ˜ Ω of full measure such that for

every ω Ω ˜ , t z ( ϑ t ω ) is continuous in t; lim t ± | z ( ϑ t ω ) | | t | = 0 ; and lim t ± 1 t 0 t z ( ϑ s ω ) d s = 0 .

To show that Equation (3.1) generates a random dynamical system, we let

v ( t ) = e b z ( ϑ t ω ) u ( t ) , (3.9)

where u is a solution of Equation (3.1). Then we can consider the following evolution equation with random coefficients but without white noise:

d v d t + α v Δ v Δ v t = e b z ( ϑ t ω ) ( g ( e b z ( ϑ t ω ) v ) + f ( x ) ) + b z ( ϑ t ω ) v , (3.10)

with the initial value condition

v ( x , 0 ) = v 0 ( x ) = e b z ( ϑ t ω ) u 0 ( x ) , x n . (3.11)

Definition 3.1. A function υ is called a weak solution of Equations (3.10) and (3.11) on the interval [ 0, ) if

υ ( , ω , υ 0 ) C ( [ 0, ) ; H 1 ( n ) ) L 2 ( [ 0, ) ; H 2 ( n ) ) ,

υ t ( , ω , υ 0 ) L 2 ( [ 0, ) ; H 1 ( n ) ) ,

and

( v t + α v Δ v Δ v t , φ ) = ( e b z ( ϑ t ω ) ( g ( e b z ( ϑ t ω ) v ) + f ( x ) ) + b z ( ϑ t ω ) v , φ ) ,

for all test function φ C ( [ 0, ) × n ) .

Theorem 3.2. Under the assumptions (3.3)-(3.5), f L 2 ( n ) for P-a.e. ω Ω and any υ 0 H 1 ( n ) , there is a unique solution υ ( , ω , υ 0 ) satisfying

υ ( , ω , υ 0 ) C ( [ 0, ) ; H 1 ( n ) ) L 2 ( [ 0, ) ; H 2 ( n ) ) .

From Theorem 3.2 above, we now define a mapping

ϕ : + × Ω × H 1 ( n ) H 1 ( ℝ n )

by

ϕ ( t , ω , u 0 ) = u ( t , ω , u 0 ) = e b z ( ϑ t ω ) v ( t , ω , v 0 ) ,

for all

( t , ω , u 0 ) + × Ω × H 1 ( n ) .

Then ϕ satisfies conditions (1) and (2) in Definition 2.2. Therefore, ϕ is a continuous random dynamical system associated with Equation (3.1) on n .

4. Uniform Estimates of Solutions

In this section, we derive uniform estimates on the solutions of (3.10) and (3.11) defined on n when t with the purpose of proving the existence of a bounded random absorbing set and the asymptotic compactness of the random dynamical system associated with the equation. In particular, we will show that the tails of the solutions for large space variable are uniformly small when time is sufficiently large. Some techniques about the unbounded case can be founded in [14] [24] [25] [26]. Here we always assume that D is the collection of all tempered random subsets of H 1 ( n ) with respect to ( Ω , F , , ( ϑ t ) t ) . The next Lemma shows that ϕ has a random absorbing set in D .

Lemma 4.1 Assume that f L 2 ( n ) , and (3.3)-(3.5) hold. Then there exists a random ball { K ( ω ) } D centered at 0 with random radius ρ ( ω ) > 0 such that { K ( ω ) } is a random absorbing set for ϕ in D , that is, for any { B ( ω ) } D and -a.e. ω Ω , there is T B ( ω ) > 0 such that

ϕ ( t , ϑ t ω , B ( ϑ t ω ) ) K ( ω ) for all t > T B ( ω ) . (4.1)

Proof We first derive uniform estimates on v ( t ) = e b z ( ϑ t ω ) u ( t ) from which the uniform estimates on u ( t ) . Multiplying Equation (3.10) with v and then integrating over n , we have

1 2 d d t ( v 2 + v 2 ) + α v 2 + v 2 = e b z ( ϑ t ω ) n g ( e b z ( ϑ t ω ) v ) v d x + e b z ( ϑ t ω ) ( f , v ) + b z ( ϑ t ω ) v 2 . (4.2)

By the Hölder inequality and the Young inequality, we conclude

e b z ( ϑ t ω ) ( f , v ) 1 2 α e 2 b z ( ϑ t ω ) f 2 + α 2 v 2 . (4.3)

By condition (3.3), we get

e b z ( ϑ t ω ) n g ( e b z ( ϑ t ω ) v ) v d x = e 2 b z ( ϑ t ω ) n g ( u ) u d x e 2 b z ( ϑ t ω ) n [ β 1 | u | p + δ 1 | u | 2 ] d x e 2 b z ( ϑ t ω ) n [ β 1 | u | p + δ 1 | e b z ( ϑ t ω ) v | 2 ] d x β 1 e 2 b z ( ϑ t ω ) u p p + δ 1 v 2 . (4.4)

Then inserting (4.3) and (4.4) into (4.2), it yields

d d t ( v 2 + v 2 ) ( 2 b z ( ϑ t ω ) α 0 ) v 2 + 2 v 2 + 2 β 1 e 2 b z ( ϑ t ω ) u p p 1 α e 2 b z ( ϑ t ω ) f 2 , (4.5)

where α 2 δ 1 = α 0 > 0 .

Noticing that, from (4.5), let γ = min { ( 2 b z ( ϑ t ω ) α 0 ) ,1 } , it follows that

d d t ( v 2 + v 2 ) + γ ( v 2 + v 2 ) + v 2 + 2 β 1 e 2 b z ( ϑ t ω ) u p p 1 α e 2 b z ( ϑ t ω ) f 2 . (4.6)

Hence, we can rewrite the above equation as

d d t ( v 2 + v 2 ) + γ ( v 2 + v 2 ) + 2 β 1 e 2 b z ( ϑ t ω ) u p p 1 α e 2 b z ( ϑ t ω ) f 2 . (4.7)

By applying Gronwall’s lemma to (4.7), we find that

v ( t , ω , v 0 ( ω ) ) 2 + v ( t , ω , v 0 ( ω ) ) 2 + 2 β 1 e γ t 0 t e 2 b z ( ϑ s ω ) + γ s u ( s , ω , u 0 ( ω ) ) p p d s e γ t ( v 0 ( ω ) 2 + v 0 ( ω ) 2 ) + f 2 α e γ t 0 t e 2 b z ( ϑ s ω ) + γ s d s . (4.8)

By replacing ω by ϑ t ω in (4.8), we get

v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + 2 β 1 e γ t 0 t e 2 b z ( ϑ s t ω ) + γ s u ( s , ϑ t ω , u 0 ( ϑ t ω ) ) p p d s e γ t ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) + f 2 α 0 e 2 b z ( ϑ s ω ) + γ s d s . (4.9)

By the properties of Ornstein-Uhlenbeck process,

0 e 2 b z ( ϑ s ω ) + γ s d s < + . (4.10)

Notice that { B ( ω ) } D is tempered, then for any v 0 ( ϑ t ω ) B ( ϑ t ω ) ,

l i m t + e γ t ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) = 0. (4.11)

We can choose

ρ ( ω ) = 1 + f 2 α 0 e 2 b z ( ϑ s ω ) + γ s d s . (4.12)

And let

K ( ω ) = { v H 1 ( n ) : v 2 ρ ( ω ) } . (4.13)

Then { K ( ω ) } D , and { K ( ω ) } is a random absorbing set for ϕ in D , which completes the proof.

Lemma 4.2 Assume that f L 2 ( n ) , and (3.3)-(3.5) hold. Then there exists a tempered random variable R ˜ 1 ( ω ) > 0 , such that for any { B ( ω ) } D and v 0 ( ω ) B ( ω ) , there exists a T B ( ω ) > 0 such that the solution ϕ of (3.10) satisfies for -a.e. ω Ω , for all t T B ( ω ) ,

t t + 1 ϕ ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s R ˜ 1 ( ω ) . (4.14)

Proof By substituting t by T ^ and ω by ϑ t ω in (4.8) for any T ^ 0 , we find that

v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) 2 e γ T ^ ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) + f 2 α 0 T ^ e 2 b z ( ϑ s t ω ) + γ ( s T ^ ) d s . (4.15)

Multiplying two sides of Equation (4.15) by e γ ( T ^ t ) , then simplifying it, we find that for all t T ^

e γ ( T ^ t ) ( v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) 2 ) e γ t ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) + f 2 α 0 T ^ e 2 b z ( ϑ s t ω ) + γ ( s t ) d s . (4.16)

By the Gronwall lemma to (4.6), we get that for all t T ^ ,

v ( t , ω , v 0 ( ω ) ) 2 + v ( t , ω , v 0 ( ω ) ) 2 e γ ( T ^ t ) ( v ( T ^ , ω , v 0 ( ω ) ) 2 + v ( T ^ , ω , v 0 ( ω ) ) 2 ) + f 2 α T ^ t e 2 b z ( ϑ s ω ) + γ ( s t ) d s T ^ t e γ ( s t ) v ( s , ω , v 0 ( ω ) ) 2 d s , (4.17)

which obviously gives

T ^ t e γ ( s t ) v ( s , ω , v 0 ( ω ) ) 2 d s e γ ( T ^ t ) ( v ( T ^ , ω , v 0 ( ω ) ) 2 + v ( T ^ , ω , v 0 ( ω ) ) 2 ) + f 2 α T ^ t e 2 b z ( ϑ s ω ) + γ ( s t ) d s . (4.18)

By replacing ω by ϑ t ω into (4.18), we get

T ^ t e γ ( s t ) v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 d s e γ ( T ^ t ) ( v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) ) 2 + f 2 α T ^ t e 2 b z ( ϑ s t ω ) + γ ( s t ) d s . (4.19)

Together with (4.16) and (4.19), we have

T ^ t e γ ( s t ) v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 d s e γ t ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) + f 2 α t 0 e 2 b z ( ϑ s ω ) + γ s d s . (4.20)

Replacing T ^ by t and t by t + 1 in (4.20), we have

t t + 1 e γ ( s t 1 ) v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s e γ ( t + 1 ) ( v 0 ( ϑ t 1 ω ) 2 + v 0 ( ϑ t 1 ω ) 2 ) + f 2 α t 1 0 e 2 b z ( ϑ s ω ) + γ s d s . (4.21)

For s [ t , t + 1 ] , to yield that

t t + 1 e γ ( s t 1 ) v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s t t + 1 e γ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s . (4.22)

By the property of z ( ω ) and temperedness of v 0 ( ω ) , there exists T B ( ω ) > 0 such that for all t T B ( ω ) , from (4.21) and (4.22), we find that

t t + 1 v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s 1 + f 2 α 0 e 2 b z ( ϑ s ω ) + γ ( s + 1 ) d s R ˜ 1 ( ω ) . (4.23)

It is easy to check that R ˜ 1 ( ω ) is tempered. This completes the proof.

Lemma 4.3 Assume that f L 2 ( n ) , (3.3)-(3.5) hold. Then, there exists a tempered random variable R ˜ 2 ( ω ) , R ˜ ( ω ) > 0 , such that for any { B ( ω ) } D and v 0 ( ω ) B ( ω ) , there exists a T B ( ω ) > 0 such that the solution ϕ of (3.10) satisfies for -a.e. ω Ω , for all t T B ( ω ) ,

t t + 1 Δ ϕ ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s R ˜ 2 ( ω ) . (4.24)

ϕ ( t + 1, ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 + Δ ϕ ( t + 1, ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 R ˜ ( ω ) . (4.25)

Proof Taking the inner product of Equation (3.10) with Δ v in L 2 ( n ) , we have

1 2 d d t ( v 2 + Δ v 2 ) + α v 2 + Δ v 2 = e b z ( ϑ t ω ) n g ( e b z ( ϑ t ω ) v ) Δ v d x + e b z ( ϑ t ω ) ( f , Δ v ) + b z ( ϑ t ω ) v 2 . (4.26)

Now, we estimate the first term on the right-hand side of (4.26) by the condition (3.5), we get

e b z ( ϑ t ω ) n g ( e b z ( ϑ t ω ) v ) Δ v d x = e 2 b z ( ϑ t ω ) n g ( u ) Δ u d x e 2 b z ( ϑ t ω ) n g u | u | 2 d x L v 2 . (4.27)

On the other hand, in the second term on the right-hand side of (4.26) by Hölder’ inequality and Young inequality, we conclude

e b z ( ϑ t ω ) ( f , Δ v ) e b z ( ϑ t ω ) f Δ v 1 2 e 2 b z ( ϑ t ω ) f 2 + 1 2 Δ v 2 . (4.28)

Then inserting (4.27) and (4.28) into (4.26), it yields

d d t ( v 2 + Δ v 2 ) ( 2 b z ( ϑ t ω ) α 1 ) v 2 + Δ v 2 e 2 b z ( ϑ t ω ) f 2 , (4.29)

where 2 ( α L ) = α 1 > 0 .

Noticing that, from (4.29), let γ ˜ = min { ( 2 b z ( ϑ t ω ) α 1 ) , 1 2 } , it follows that

d d t ( v 2 + Δ v 2 ) + γ ˜ ( v 2 + Δ v 2 ) + 1 2 Δ v 2 e 2 b z ( ϑ t ω ) f 2 . (4.30)

Hence, we can rewrite the above equation as

d d t ( v 2 + Δ v 2 ) + γ ˜ ( v 2 + Δ v 2 ) e 2 b z ( ϑ t ω ) f 2 . (4.31)

By applying the Gronwall lemma to (4.30), we find that

v ( t , ω , v 0 ( ω ) ) 2 + Δ v ( t , ω , v 0 ( ω ) ) 2 + e γ ˜ t 2 0 t e γ ˜ s Δ v ( s , ω , v 0 ( ω ) ) 2 d s e γ ˜ t ( v 0 ( ω ) 2 + Δ v 0 ( ω ) 2 ) + f 2 e γ ˜ t 0 t e 2 b z ( ϑ s ω ) + γ ˜ s d s , (4.32)

which obviously gives

0 t e γ ˜ ( s t ) Δ v ( s , ω , v 0 ( ω ) ) 2 d s e γ ˜ t ( v 0 ( ω ) 2 + Δ v 0 ( ω ) 2 ) + f 2 0 t e 2 b z ( ϑ s ω ) + γ ˜ ( s t ) d s , (4.33)

By replacing ω by ϑ t ω and t by t + 1 into (4.33), we get

0 t + 1 e γ ˜ ( s t 1 ) Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s e γ ˜ ( t + 1 ) ( v 0 ( ϑ t 1 ω ) 2 + Δ v 0 ( ϑ t 1 ω ) 2 ) + f 2 0 t + 1 e 2 b z ( ϑ s t 1 ω ) + γ ˜ ( s t 1 ) d s . (4.34)

Thanks to

0 t + 1 e γ ˜ ( s t 1 ) Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s t t + 1 e γ ˜ ( s t 1 ) Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s . (4.35)

Together with (4.34) and (4.35), we have

t t + 1 e γ ˜ ( s t 1 ) Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s e γ ˜ ( t + 1 ) ( v 0 ( ϑ t 1 ω ) 2 + Δ v 0 ( ϑ t 1 ω ) 2 ) + f 2 0 t + 1 e 2 b z ( ϑ s t 1 ω ) + γ ˜ ( s t 1 ) d s . (4.36)

For s [ t , t + 1 ] , to yield that

t t + 1 e γ ˜ ( s t 1 ) Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s t t + 1 e γ ˜ Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s . (4.37)

Together with (4.36) and (4.37), we have

t t + 1 Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s e γ ˜ t ( v 0 ( ϑ t 1 ω ) 2 + Δ v 0 ( ϑ t 1 ω ) 2 ) + f 2 t 1 0 e 2 b z ( ϑ s ω ) + γ ˜ ( s + 1 ) d s . (4.38)

By the property of z ( ω ) and temperedness of v 0 ( ω ) , there exists T B ( ω ) > 0 such that for all t T B ( ω ) , from (4.38), we find that

t t + 1 Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 d s 1 + f 2 0 e 2 b z ( ϑ s ω ) + γ ˜ ( s + 1 ) d s R ˜ 2 ( ω ) . (4.39)

It is easy to check that R ˜ 2 ( ω ) is tempered.

Now, let T B ( ω ) be the non-negative constant in Lemma 4.2 and Equation (4.39), take t T B ( ω ) and s ( t , t + 1 ) . Then integrate (4.31) over ( s , t + 1 ) , we find that

v ( t + 1, ω , v 0 ( ω ) ) 2 + Δ v ( t + 1, ω , v 0 ( ω ) ) 2 e γ ˜ ( s t 1 ) ( v ( s , ω , v 0 ( ω ) ) 2 + Δ v ( s , ω , v 0 ( ω ) ) 2 ) + e γ ˜ ( t 1 ) s t + 1 e γ ˜ τ 2 b z ( ϑ τ ω ) f 2 d τ . (4.40)

Now integrating (4.40) with respect to s over ( t , t + 1 ) , we conclude that

v ( t + 1, ω , v 0 ( ω ) ) 2 + Δ v ( t + 1, ω , v 0 ( ω ) ) 2 t t + 1 e γ ˜ ( v ( s , ω , v 0 ( ω ) ) 2 + Δ v ( s , ω , v 0 ( ω ) ) 2 ) d s + t t + 1 e γ ˜ 2 b z ( ϑ τ ω ) f 2 d τ . (4.41)

Replacing ω by ϑ t 1 ω

v ( t + 1 , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 + Δ v ( t + 1 , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 t t + 1 e γ ˜ ( v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 + Δ v ( s , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 ) d s + t t + 1 e γ ˜ 2 b z ( ϑ τ t 1 ω ) f 2 d τ . (4.42)

By Lemma 4.2 and Equation (4.39), it follows from (4.42) it yield that, for all t T B ( ω )

v ( t + 1 , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 + Δ v ( t + 1 , ϑ t 1 ω , v 0 ( ϑ t 1 ω ) ) 2 e γ ˜ ( R ˜ 1 ( ω ) + R ˜ 2 ( ω ) ) + 1 0 e γ ˜ 2 b z ( ϑ τ ω ) f 2 d τ R ˜ ( ω ) . (4.43)

This proof is concluded.

Lemma 4.4 Assume that f L 2 ( n ) , and (3.3)-(3.5) hold. Let { B ( ω ) } D and v 0 ( ω ) B ( ω ) . Then, for any ζ > 0 , there exist T ˜ = T ˜ ( ζ , ω , B ) > 0 and K ˜ = K ˜ ( ζ , ω ) > 0 , such that the solution ϕ of Equation (3.10) satisfies for -a.e. ω Ω , t T ˜ ,

| x | R ˜ ( | v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 + | v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 ) d x ζ . (4.44)

Proof We first need to define a smooth function σ ( ) from + into [ 0,1 ] such that σ ( ) = 0 on [ 0,1 ] and σ ( ) = 1 on [ 2, + ) , which evidently implies that there is a positive constant c such that the | σ ( s ) | c for all s 0 . For convenience, we write σ κ = σ ( | x | 2 κ 2 ) .

Multiplying Equation (3.10) with σ κ v and integrating over n , we have

1 2 d d t n σ κ ( | v | 2 + | v | 2 ) d x + α n σ κ | v | 2 d x = n ( Δ v ) σ κ v d x + b z ( ϑ t ω ) n σ κ | v | 2 d x + e b z ( ϑ t ω ) ( n σ κ g ( e b z ( ϑ t ω ) v ) v d x + n σ κ f v d x ) , (4.45)

where

n ( Δ v ) σ κ v d x = n | v | 2 σ κ d x n v σ κ 2 x κ 2 ( v ) d x n | v | 2 σ κ d x + C 0 κ ( v 2 + v 2 ) , (4.46)

where C 0 is a non-negative constant.

By condition (3.3), we get

e b z ( ϑ t ω ) n σ κ g ( e b z ( ϑ t ω ) v ) v d x = e 2 b z ( ϑ t ω ) n σ κ g ( u ) u d x β 1 e 2 b z ( ϑ t ω ) n σ κ | v | p d x + δ 1 n σ κ | v | 2 d x . (4.47)

For the last term on the right-hand side of (4.45), we have that

e b z ( ϑ t ω ) n σ κ f v d x α 2 n σ κ | v | 2 d x + 1 2 α e 2 b z ( ϑ t ω ) n σ κ | f | 2 d x . (4.48)

Then inserting (4.46)-(4.48) into (4.45) to see that

d d t n σ κ ( | v | 2 + | v | 2 ) d x ( 2 b z ( ϑ t ω ) α 0 ) n σ κ | v | 2 d x + 2 n | v | 2 σ κ d x 1 α e 2 b z ( ϑ t ω ) n σ κ | f | 2 d x + 2 C 0 κ ( v 2 + v 2 ) . (4.49)

Hence, we can rewrite (4.49) as

d d t n σ κ ( | v | 2 + | v | 2 ) d x + γ n σ κ ( | v | 2 + | v | 2 ) d x 1 α e 2 b z ( ϑ t ω ) n σ κ | f | 2 d x + 2 C 0 κ ( v 2 + v 2 ) . (4.50)

By applying the Gronwall’s lemma to (4.50), for every t T ^ , we find that

n σ κ ( | v ( t , ω , v 0 ( ω ) ) | 2 + | v ( t , ω , v 0 ( ω ) ) | 2 ) d x e γ ( t T ^ ) n σ κ ( | v ( T ^ , ω , v 0 ( ω ) ) | 2 + | v ( T ^ , ω , v 0 ( ω ) ) | 2 ) d x + 1 α T ^ t e γ ( s t ) 2 b z ( ϑ s ω ) n σ κ | f | 2 d x d s + 2 C 0 κ T ^ t e γ ( s t ) ( v ( s , ω , v 0 ( ω ) ) 2 + v ( s , ω , v 0 ( ω ) ) 2 ) d s . (4.51)

Then, substituting ω by ϑ t ω into (4.51), we have that

n σ κ ( | v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 + | v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 ) d x e γ ( t T ^ ) n σ κ ( | v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 + | v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 ) d x + 1 α T ^ t e γ ( s t ) 2 b z ( ϑ s t ω ) n σ κ | f | 2 d x d s + 2 C 0 κ T ^ t e γ ( s t ) ( v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 ) d s . (4.52)

Then, we estimate every term on the right-hand side of (4.52). Firstly by (4.8), and replacing t by T ^ and ω by ϑ t ω , then we get

e γ ( t T ^ ) n σ κ ( | v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 + | v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 ) d x e γ ( t T ^ ) ( e γ T ^ ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) + f 2 α e γ T ^ 0 T ^ e 2 b z ( ϑ s t ω ) + γ s d s ) e γ t ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) + f 2 α e γ t 0 T ^ e 2 b z ( ϑ s t ω ) + γ s d s . (4.53)

Then, there exists T ˜ 1 = T ˜ 1 ( B , ζ , ω ) > T ^ , such that for all t > T ˜ 1 , then

e γ ( t T ^ ) n σ κ ( | v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 + | v ( T ^ , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 ) d x ζ . (4.54)

For the second term on the right-hand side of (4.52), Since f L 2 ( n ) , there are T ˜ 2 = T ˜ 2 ( ζ , ω ) > T ^ and K ˜ 1 = K ˜ 1 ( ζ , ω ) > 0 , such that for all t > T ˜ 2 and κ > K ˜ 1 , then

1 α T ^ t e γ ( s t ) 2 b z ( ϑ s t ω ) n σ κ | f | 2 d x d s 1 α T ^ t e γ ( s t ) 2 b z ( ϑ s t ω ) | x | κ | f | 2 d x d s ζ . (4.55)

For the last term on the right-hand side of (4.52). By replacing t by s and ω by ϑ t ω in (4.8), we get

2 C 0 κ T ^ t e γ ( s t ) ( v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 ) d s 2 C 0 κ T ^ t e γ t ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) d s + 2 C 0 f 2 α κ T ^ t e γ ( s t ) 0 s e γ ( τ s ) 2 b z ( ϑ τ t ω ) d τ d s

2 C 0 κ e γ t ( t T ^ ) ( v 0 ( ϑ t ω ) 2 + v 0 ( ϑ t ω ) 2 ) d s + 2 C 0 f 2 α κ T ^ t 0 s e γ ( τ t ) 2 b z ( ϑ τ t ω ) d τ d s . (4.56)

Then, by f L 2 ( n ) , there exist T ˜ 3 = T ˜ 3 ( B , ζ , ω ) > T ^ and K ˜ 2 = K ˜ 2 ( ζ , ω ) > 0 , such that for all t > T ˜ 3 and κ > K ˜ 2 , we find that

2 C 0 κ T ^ t e γ ( s t ) ( v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 + v ( s , ϑ t ω , v 0 ( ϑ t ω ) ) 2 ) d s ζ . (4.57)

By letting T ˜ = max { T ˜ 1 , T ˜ 2 , T ˜ 3 } , and K ˜ = max { K ˜ 1 , K ˜ 2 } .

Then, inserting (4.54) and (4.55) and (4.57) into (4.52), for all t > T ˜ and κ > K ˜ , we obtain that

n σ κ ( | v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 + | v ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 ) d x 3 ζ , (4.58)

which shows that

| x | K ˜ ( | ϕ ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 + | ϕ ( t , ϑ t ω , v 0 ( ϑ t ω ) ) | 2 ) d x 3 ζ . (4.59)

This proof is completed.

5. Random Attractors

In this section, we prove the existence of a global random attractor for the random dynamical system ϕ associated with the stochastic reaction-diffusion Equations (3.1) and (3.2) on n . The main result of this section can now be stated as follows.

Lemma 5.1 Assume that f L 2 ( n ) , and (3.3)-(3.5) hold. Then the random dynamical system ϕ generated by (3.10) is asymptotically compact in H 1 ( n ) , that is, for -a.e. ω Ω , the sequence { ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) } has a convergent subsequence in H 1 ( n ) provided t n + , { B ( ω ) } D and v 0, n ( ϑ t n ω ) B ( ϑ t n ω ) .

Proof Let t n + , { B ( ω ) } D and v 0, n ( ϑ t n ω ) B ( ϑ t n ω ) . Then by Lemma 4.1, for -a.e. ω Ω , we have that { ϕ ( t n , ϑ t n ω , v 0 , n ( ϑ t n ω ) ) } n = 1 is bounded in H 1 ( n ) .

Hence, there exist ξ H 1 ( n ) such that, up to a subsequence,

ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ weakly in H 1 ( n ) . (5.1)

Next, we prove the weak convergence of (5.1) is actually strong convergence. Given ζ > 0 , by Lemma 4.4, there exist T ^ 1 = T ^ 1 ( B , ζ , ω ) > 0 , κ ^ 1 = κ ^ 1 ( ζ , ω ) > 0 and N ^ 1 = N ^ 1 ( B , ζ , ω ) > 0 , such that t n T ^ 1 for every n N ^ 1

| x | κ ^ 1 | ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) | 2 d x ζ . (5.2)

On the other hand, by Lemma 4.1 and 4.3, there exist T ^ 2 = T ^ 2 ( B , ω ) > 0 , such that for all t T ^ 2 ,

ϕ ( t , ϑ t ω , v 0 ( ϑ t ω ) ) ξ H 2 ( n ) 2 R 1 ( ω ) . (5.3)

Let N ^ 2 = N ^ 2 ( B , ω ) be large enough such that t n T ^ 2 for n N ^ 2 . Then by (5.3) we find that, for all n N ^ 2 ,

ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ H 2 ( n ) 2 R 1 ( ω ) . (5.4)

Denote by Q κ ^ 1 = { x n : | x | κ ^ 1 } . By the compactness of embedding H 2 ( Q κ ^ 1 ) H 1 ( Q κ ^ 1 ) . It follows from (5.4) that, up to a subsequence depending on κ ^ 1

ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ strongly in H 1 ( Q κ ^ 1 ) , (5.5)

which shows that for the given ζ > 0 , there exist N ^ 3 = N ^ 3 ( B , ω ) ( B , ζ , ω ) > 0 , such that for all n N ^ 3 ,

ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ H 1 ( Q κ ^ 1 ) 2 ζ . (5.6)

Note that ξ H 1 ( n ) . Therefore, there exist κ ^ 2 = κ ^ 2 ( ζ ) > 0 , such that

| x | κ ^ 2 | ξ ( x ) | 2 d x ζ . (5.7)

By letting N ^ = max { N ^ 1 , N ^ 2 , N ^ 3 } , and κ ^ = max { κ ^ 1 , κ ^ 2 } .

Then, by (5.2), (5.6) and (5.7), we find that for all n N ^ ,

ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ H 1 ( n ) 2 | x | κ ^ | ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ | 2 d x + | x | κ ^ | ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ | 2 d x C ζ . (5.8)

which shows that

ϕ ( t n , ϑ t n ω , v 0, n ( ϑ t n ω ) ) ξ strongly in H 1 ( n ) . (5.9)

This as desired.

We are now in a position to present our main result, the existence of a global random attractor for ϕ in H 1 ( n ) .

Lemma 5.2 Assume that f L 2 ( n ) , and (3.3)-(3.5) hold. Then the random dynamical system ϕ generated by (3.10) has a unique global random attractor in H 1 ( n ) .

Proof Notice that the random dynamical system ϕ has a random absorbing set { K ( ω ) } in D by Lemma 4.1. On the other hand, by Lemma 5.1, the random dynamical system ϕ is asymptotically compact in H 1 ( n ) . Then by Theorem 2.9, the random dynamical system ϕ generated by (3.10) has a unique global random attractor in H 1 ( n ) .

6. Upper Semi-Continuity of Random Attractor in H 1 ( ℝ n )

In this section, we investigate the existence and upper semi-continuity of random attractors for (3.1) and (3.2) by studying (3.10) and (3.11). To indicate the dependence of solutions on b, we respectively write the solutions of (3.1) and (3.2) and (3.10) and (3.11) as u b and v b . Let v ( x , t ) be the solution of the following deterministic system corresponding to (3.10) and (3.11):

{ d v d t + α v Δ v Δ v t = g ( v ) + f ( x ) , v ( x , 0 ) = v 0 ( x ) = u 0 ( x ) , x n . (6.1)

In fact, the system (6.1) is also equivalent to (3.1) and (3.2) provided b = 0 , that is, v ( t , x ) u ( t , x ) , where u ( t , x ) is the solution of corresponding to (3.1) and (3.2).

Remark 6.1 Correspondingly, the deterministic and autonomous system ϕ 0 generated by (6.1) is readily verified to admit a global attractor A 0 in H 1 ( n ) .

The next lemma shows the convergence ϕ b ( t , ω ) v 0 b ( ω ) ϕ 0 ( t ) v 0 ( ω ) provided v 0 b ( ω ) v 0 with b 0 , which is important for the upper semi-continuity of random attractors.

Lemma 6.2 Assume that f L 2 ( n ) , b ( 0,1 ] and (3.3)-(3.5) hold. Then, for each t 0 and -a.e. ω Ω , there exist constants m 1 ( t , ω ) and l 1 ( t , ω ) independent of b, such that

v b ( t , ω , v 0 b ( ω ) ) v ( t , v 0 ( x ) ) 2 + v b ( t , ω , v 0 b ( ω ) ) v ( t , v 0 ( x ) ) 2 e 0 t m 1 ( τ ) d τ ( v 0 b ( ω ) v 0 ( x ) 2 + v 0 b ( ω ) v 0 ( x ) 2 ) + l ( t , ω ) sup 0 s t ( | 1 e b z ( ϑ s ω ) | + b | 2 z ( ϑ s ω ) | ) . (6.2)

Proof Let W = v b v . Then, by (3.10) and (3.11) and (6.1), W satisfies

{ d W d t + α W Δ W Δ W t = e b z ( ϑ t ( ω ) ) g ( u b ) g ( u ) + e b z ( ϑ t ( ω ) ) f ( x ) f ( x ) + b z ( ϑ t ( ω ) ) v b , W ( x , 0 ) = v 0 b ( ω ) v 0 ( x ) = e b z ( ω ) u 0 b v 0 , (6.3)

where we have used the relations v ( x , t ) = u ( x , t ) . Taking the inner product of (6.3) with W in L 2 ( n ) we find that

1 2 d d t ( W 2 + W 2 ) + α W 2 + W 2 = ( e b z ( ϑ t ( ω ) ) g ( u b ) g ( u ) , W ) + ( e b z ( ϑ t ( ω ) ) f ( x ) f ( x ) , W ) + ( b z ( ϑ t ( ω ) ) v b , W ) (6.4)

By conditions (3.4) and (3.5), to yield that

( e b z ( ϑ t ( ω ) ) g ( u b ) g ( u ) , W ) = ( e b z ( ϑ t ( ω ) ) g ( u b ) g ( u ) , W ) + ( 1 e b z ( ϑ t ( ω ) ) ) ( g ( u ) , W ) L e b z ( ϑ t ( ω ) ) | ( u b u , W ) | + | 1 e b z ( ϑ t ( ω ) ) | n ( β 3 | u | p 1 + δ 3 | u | ) | W | d x

L e b z ( ϑ t ( ω ) ) | ( e b z ( ϑ t ( ω ) ) v b e b z ( ϑ t ( ω ) ) v + e b z ( ϑ t ( ω ) ) v u , W ) | + | 1 e b z ( ϑ t ( ω ) ) | ( β 3 u p p 1 W p + δ 3 u W ) L | ( W + u ( 1 e b z ( ϑ t ( ω ) ) ) , W ) | + C 1 | 1 e b z ( ϑ t ( ω ) ) | ( u p p + W p p + u 2 + W 2 ) L W 2 + C 2 | 1 e b z ( ϑ t ( ω ) ) | ( v 2 + u p p + W p p + u 2 + W 2 ) . (6.5)

On the other hand,

( e b z ( ϑ t ( ω ) ) f ( x ) f ( x ) , W ) + ( b z ( ϑ t ( ω ) ) v b , W ) | 1 e b z ( ϑ t ( ω ) ) | ( f ( x ) 2 + W 2 ) + 2 | b z ( ϑ t ω ) | W 2 + | b z ( ϑ t ω ) | v 2 . (6.6)

Then inserting (6.5) and (6.6) into (6.4) to see that

1 2 d d t ( W 2 + W 2 ) + α W 2 + W 2 L W 2 + C 3 | 1 e b z ( ϑ t ( ω ) ) | ( v 2 + u p p + W p p + W 2 + f ( x ) 2 ) + 2 | b z ( ϑ t ω ) | W 2 + | b z ( ϑ t ω ) | v 2 . (6.7)

Since W p p 2 p ( v b p p + v p p ) 2 p ( e p b z ( ϑ t ( ω ) ) ( u b p p + u p p ) ) , by (5.7) we conclude that

d d t ( W 2 + W 2 ) + 2 W 2 ( 2 L 2 α ) W 2 + C 4 | 1 e b z ( ϑ t ( ω ) ) | ( v 2 + u p p + W p p + W 2 + 1 ) + 4 | b z ( ϑ t ω ) | W 2 + 2 | b z ( ϑ t ω ) | v 2 ( 2 L 2 α + C 4 | 1 e b z ( ϑ t ( ω ) ) | + 4 | b z ( ϑ t ω ) | ) W 2 + C 5 | 1 e b z ( ϑ t ( ω ) ) | ( v 2 + u p p + e p b z ( ϑ t ( ω ) ) u b p p + 1 ) + 2 | b z ( ϑ t ω ) | v 2 (6.8)

Hence, we can rewrite (6.8) as

d d t ( W 2 + W 2 ) + m 1 ( t , ω ) ( W 2 + W 2 ) C 5 m 2 b ( t , ω ) , (6.9)

where m 1 ( t , ω ) : = min { ( 2 L 2 α + C 4 | 1 e b z ( ϑ t ( ω ) ) | + 4 | b z ( ϑ t ω ) | ) , 2 } , independent of b and -a.s. bounded for each t ;

m 2 b ( t , ω ) : = ( | 1 e b z ( ϑ t ( ω ) ) | + 2 | b z ( ϑ t ω ) | ) ( v 2 + u p p + e p b z ( ϑ t ( ω ) ) u b p p + 1 ) . (6.10)

By applying Gronwall’s lemma to (6.9), we find that

W ( t , ω , W ( 0 ) ) 2 + W ( t , ω , W ( 0 ) ) 2 e 0 t m 1 ( τ ) d τ ( W ( 0 ) 2 + W ( 0 ) 2 ) + C 6 0 t e s t m 1 ( τ ) d τ m 2 b ( s ) d s . (6.11)

Now for each fixed t and -a.e. ω Ω , consider the last term in (6.11). First, notice that, by (6.10),

0 t e s t m 1 ( τ ) d τ m 2 b ( s ) d s e s t | m 1 ( τ ) | d τ sup 0 s t ( | 1 e b z ( ϑ t ( ω ) ) | + 2 | b z ( ϑ t ω ) | ) × 0 t ( e p b z ( ϑ t ( ω ) ) u b p p + u p p + v 2 + 1 ) d s . (6.12)

According to (4.9), by replacing ω with ϑ t ω , we conclude that

0 t e p b z ( ϑ t ( ω ) ) u b ( s , ω , u 0 b ( ω ) ) p p d s sup 0 s t e b | ( 2 p ) z ( ϑ s ω ) | + γ ( t s ) 0 t e 2 b z ( ϑ s ω ) + γ ( s t ) u b ( s , ω , u 0 b ( ω ) ) p p d s C 7 ( t , ω ) (6.13)

where C 7 ( t , ω ) is independent of b, -a.s. bounded for each fixed t, and given by

C 7 ( t , ω ) : = c sup 0 s t e | ( 2 p ) z ( ϑ s ω ) | + γ ( t s ) sup 0 b 1 ρ ( ϑ t ω ) , (6.14)

where ρ ( ω ) is the tempered random variable given by (4.12).

By taking b = 0 in (6.13) we find that

0 t u ( s , u 0 ( x ) ) p p d s c e γ t . (6.15)

Similarly, from (4.8) we know that, when b = 0 ,

0 t v ( s , v 0 ( x ) ) 2 d s 0 t e γ s ( v 0 ( x ) 2 + v 0 ( x ) 2 + f 2 α 0 s e γ ( τ s ) d τ ) d s 1 γ ( 1 e γ t ) ( v 0 ( x ) 2 + v 0 ( x ) 2 ) + ( 1 γ 2 ( 1 2 e γ t + 1 2 e 2 γ t ) ) f 2 α . (6.16)

Therefore, from (6.11)-(6.16), to yield that

v b ( t , ω , v 0 b ( ω ) ) v ( t , v 0 ( x ) ) 2 + v b ( t , ω , v 0 b ( ω ) ) v ( t , v 0 ( x ) ) 2 e 0 t m 1 ( τ ) d τ ( v 0 b ( ω ) v 0 ( x ) 2 + v 0 b ( ω ) v 0 ( x ) 2 ) + l ( t , ω ) sup 0 s t ( | 1 e b z ( ϑ s ω ) | + b | 2 z ( ϑ s ω ) | ) . (6.17)

where

l ( t , ω ) : = C e s t | m 1 ( τ ) | d τ ( C 7 ( t , ω ) + e γ t + ( 1 e γ t ) ( v 0 ( x ) 2 + v 0 ( x ) 2 ) + ( 1 2 e γ t + 1 2 e 2 γ t ) f 2 α )

is -a.s. bounded for each t 0 (since z ( ϑ t ω ) ) is pathwise continuous) and independent of b. This proof is completed.

Theorem 6.3 Assume that f L 2 ( n ) , b ( 0,1 ] and (3.3)-(3.5) hold. Then, -a.e. ω Ω , we have

lim b 0 dist H 1 ( n ) ( A b ( ω ) , A 0 ) = 0.

Proof To achieve the result, it suffices to verify conditions (1), (2) and (3) in Lemma 2.10.

Notice that, condition (1) is actually proved by Lemma 6.2. For condition (2), since Lemma 4.1, has proved that random dynamical system ϕ possesses a closed random absorbing set { K ( ω ) } D , which is given by

K ( ω ) = { v H 1 ( n ) : v 2 ρ ( ω ) } ,

where

ρ ( ω ) = 1 + f 2 α 0 e 2 b z ( ϑ s ω ) + γ s d s ,

it is readily to obtain that, -a.e.,

lim sup b 0 K ( ω ) = 1 + f 2 α ,

which deduces condition (2) immediately. Now consider condition (3). Given b ( 0,1 ] . From Lemma 4.3 we know that R ˜ ( ω ) D is also closed and tempered random absorbing set ϕ b in H 1 ( n ) , where

R ˜ ( ω ) b = { v H 1 ( n ) : v 2 + v 2 e γ ˜ ( R ˜ 1 ( ω ) + R ˜ 2 ( ω ) ) + 1 0 e γ ˜ 2 b z ( ϑ τ ω ) f 2 d τ } ,

with R ˜ 1 ( ω ) and R ˜ 2 ( ω ) are tempered random variables in ω Ω and continuous in b. Let

R ˜ ( ω ) = { v H 1 ( n ) : v 2 + v 2 sup 0 b 1 [ e γ ˜ ( R ˜ 1 ( ω ) + R ˜ 2 ( ω ) ) ] + 1 0 e γ ˜ + | 2 b z ( ϑ τ ω ) | f 2 d τ } .

Then, we know R ˜ ( ω ) is compact in H 1 ( n ) . From

0 b 1 A b ( ω ) 0 b 1 R ˜ ( ω ) b R ˜ ( ω ) ,

it follows that 0 b 1 A b ( ω ) is precompact in H 1 ( n ) . Hence, condition (3) is clear and this proof is completed.

Acknowledgements

The authors would like to express their gratitude to the anonymous reviewers for their valuable suggestions that have improved the quality of this paper.

Conflicts of Interest

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

References

[1] Aifantis, E.C. (1980) On the Problem of Diffusion in Solids. Acta Mechanica, 37, 265-296.
https://doi.org/10.1007/BF01202949
[2] Kuttler, K. and Aifantis, E.C. (1987) Existence and Uniqueness in Nonclassical Diffusion. Quarterly of Applied Mathematics, 45, 549-560.
https://doi.org/10.1090/qam/910461
[3] Kuttler, K. and Aifantis, E. (1988) Quasilinear Evolution Equations in Nonclassical Diffusion. SIAM Journal on Mathematical Analysis, 19, 110-120.
https://doi.org/10.1137/0519008
[4] Xie, Y., Li, Q. and Zhu, K. (2016) Attractors for Nonclassical Diffusion Equations with Arbitrary Polynomial Growth Nonlinearity. Nonlinear Analysis: Real World Applications, 31, 23-37.
https://doi.org/10.1016/j.nonrwa.2016.01.004
[5] Liu, Y.F. and Ma, Q.Z. (2009) Exponential Attractors for a Nonclassical Diffusion Equation. Electronic Journal of Differential Equations, 9, 1-7.
[6] Anh, C.T. and Toan, N.D. (2012) Pullback Attractors for Nonclassical Diffusion Equations in Noncylindrical Domains. International Journal of Mathematics and Mathematics Sciences, 2012, Article ID: 875913.
https://doi.org/10.4236/am.2015.610159
[7] Anh, C.T. and Toan, N.D. (2014) Nonclassical Diffusion Equations on RN with Singularly Oscillating External Forces. Applied Mathematics Letters, 38, 20-26.
https://doi.org/10.1016/j.aml.2014.06.008
[8] Anh, C.T. and Nguyen, D.T. (2014) Uniform Attractors for Non-Autonomous Nonclassical Diffusion Equations on RN. Bulletin of the Korean Mathematical Society, 51, 1299-1324.
https://doi.org/10.4134/BKMS.2014.51.5.1299
[9] Sun, C.Y., Wang, S.Y. and Zhong, C.K. (2007) Global Attractors for a Nonclassical Diffusion Equation. Acta Mathematica Sinica, English Series, 23, 1271-1280.
https://doi.org/10.1007/s10114-005-0909-6
[10] Sun, C.Y. and Yang, M. (2008) Dynamics of the Nonclassical Diffusion Equations. Asymptotic Analysis, 59, 51-81.
https://doi.org/10.3233/ASY-2008-0886
[11] Wang, S.Y., Li, D. and Zhong, C. (2006) On the Dynamics of a Class of Nonclassical Parabolic Equations. Journal of Mathematical Analysis and Applications, 317, 565-582.
https://doi.org/10.1016/j.jmaa.2005.06.094
[12] Wu, H.Q. and Zhang, Z.Y. (2011) Asymptotic Regularity for the Nonclassical Diffusion Equation with Lower Regular Forcing Term. Dynamical Systems, 26, 391-400.
https://doi.org/10.1080/14689367.2011.562185
[13] Xiao, Y.-L. (2002) Attractors for a Nonclassical Diffusion Equation. Acta Mathematicae Applicatae Sinica, 18, 273-276.
https://doi.org/10.1007/s102550200026
[14] Ma, Q.-Z., Liu, Y.-F. and Zhang, F.H. (2012) Global Attractors in H1(RN) for Nonclassical Diffusion Equations. Discrete Dynamics Nature and Society, 2012, Article ID: 672762.
https://doi.org/10.1155/2012/672762
[15] Zhang, F. and Liu, Y. (2014) Pullback Attractors in for Non-Autonomous Nonclassical Diffusion Equations. Dynamical Systems, 29, 106-118.
https://doi.org/10.1080/14689367.2013.854317
[16] Bao, T.Q. (2012) Existence and Upper Semi-Continuity of Uniform Attractors for Nonautonomous Reaction Diffusion Equations on RN. Electronic Journal of Differential Equations, 203, 1-18.
[17] Anh, C.T. and Bao, T.Q. (2012) Dynamics of Non-Autonomous Nonclassical Diffusion Equations on RN. Communications on Pure and Applied Analysis, 11, 1231-1252.
https://doi.org/10.3934/cpaa.2012.11.1231
[18] Zhao, W.Q. and Song, S.Z. (2015) Dynamics of Stochastic Nonclassical Diffusion Equations on Unbounded Domains. Electronic Journal of Differential Equations, 2015, 1-22.
[19] Arnold, L. (1998) Random Dynamical System. Springer-Verlag, New York.
https://doi.org/10.1007/978-3-662-12878-7
[20] Cheng, S.L. (2015) Random Attractor for the Nonclassical Diffusion Equation with Fading Memory. Journal of Partial Differential Equations, 28, 253-268.
https://doi.org/10.4208/jpde.v28.n3.4
[21] Cui, H.Y. and Li, Y.R. (2015) Existence and Upper-Semicontinuity of Random Attractors for Stochastic Degenerate Parabolic Equations with Multiplicative Noises. Applied Mathematics and Computation, 271, 777-789.
https://doi.org/10.1016/j.amc.2015.09.031
[22] Caraballo, T. and Langa, J.A. (2003) On the Upper Semicontinuity of Cocycle Attractors for Non-Autonomous and Random Dynamical Systems Dynamics of Continuous. Discrete and Impulsive Systems Series A, 10, 491-513.
[23] Wang, B.X. (2009) Upper Semicontinuity of Random Attractors for Non-Compact Random Dynamical Systems. Electronic Journal of Differential Equations, 2009, 1-18.
[24] Eshag, M.A., Dafallah, A.A., Xu, L. and Ma, Q.Z. (2015) Random Attractors for Stochastic Reaction-Diffusion Equations with Distribution Derivatives on Unbounded Domains. Applied Mathematics, 6, 1790-1807.
https://doi.org/10.4236/am.2015.610159
[25] Bates, P.W., Lu, K.N. and Wang, B.X. (2009) Random Attractor for Stochastic Reaction-Diffusion Equation on Unbounded Domains. Journal of Differential Equations, 246, 845-869.
https://doi.org/10.1016/j.jde.2008.05.017
[26] Dafallah, A.A., Ma, Q.Z. and Eshag, M.A. (2021) Existence of Random Attractors for Strongly Damped Wave Equations with Multiplicative Noise Unbounded Domain. Hacettepe Journal of Mathematics and Statistics, 50, 492-510.
https://doi.org/10.15672/hujms.614217
[27] Duan, J.Q., Lu, K.N. and Schmalfuss, B. (2003) Invariant Manifolds for Stochastic Partial Differential Equations. Annals of Probability, 31, 2109-2135.
https://doi.org/10.1214/aop/1068646380
[28] Fan, X.M. (2006) Attractor for a Damped Stochastic Wave Equation of Sine-Gordon Type with Sublinear Multiplicative Noise. Stochastic Analysis and Applications, 24, 767-793.
https://doi.org/10.1080/07362990600751860
[29] Mosa, F.M., Ma, Q.Z. and Bakhet, M.Y.A. (2018) Existence of Random Attractors for Stochastic Non-Autonomous Reaction-Diffusion Equation with Multiplicative Noise on RN. The Korean Journal of Mathematics, 26, 583-599.
[30] Mosa, F.M., Ma, Q.Z. and Yao, X.B. (2019) Dynamics for the Stochastic Reaction-Diffusion Equation with Distribution Derivatives and Multiplicative Noise on RN. Asian Research Journal of Mathematics, 12, 1-15.
https://doi.org/10.9734/ARJOM/2019/46304
[31] Mosa, F.M., Dafallah, A.A., Eshag, M.A., Bakhet, M.Y.A. and Ma, Q.Z. (2020) Random Attractors for Semilinear Reaction-Diffusion Equation with Distribution Derivatives and Multiplicative Noise on RN. Open Journal of Mathematical Sciences, 4, 126-141.
https://doi.org/10.30538/oms2020.0102
[32] Dafallah, A.A., Mosa, F.M., Bakhet, M.Y.A. and Eshag, M.A. (2022) Dynamics of the Stochastic Wave Equations with Degenerate Memory Effects on Bounded Domain. Surveys in Mathematics and Its Applications, 17, 181-203.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.