This paper mainly deals with the higher-order coupled Kirchhoff-type equations with nonlinear strong damped and source terms in a bounded domain. We obtain some results that are estimation of the upper bounds of Hausdorff dimension and Fractal dimension of the global attractor.
Guoguang Lin and Sanmei Yang [
u t t + M ( ‖ ∇ u ‖ 2 + ‖ ∇ v ‖ 2 ) ( − Δ ) m u + β ( − Δ ) m u t + g 1 ( u , v ) = f 1 ( x ) , (1.1)
v t t + M ( ‖ ∇ u ‖ 2 + ‖ ∇ v ‖ 2 ) ( − Δ ) m v + β ( − Δ ) m v t + g 2 ( u , v ) = f 2 ( x ) , (1.2)
u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) , x ∈ Ω , (1.3)
v ( x , 0 ) = v 0 ( x ) , v t ( x , 0 ) = v 1 ( x ) , x ∈ Ω , (1.4)
u | ∂ Ω = 0 , ∂ i u ∂ μ i = 0 , i = 1 , 2 , 3 , ⋯ , m − 1 , (1.5)
v | ∂ Ω = 0 , ∂ i v ∂ v i = 0 , i = 1 , 2 , 3 , ⋯ , m − 1 , (1.6)
where m > 1 is an integer constant and Ω is a bounded domain of R n with a smooth Dirichlet boundary ∂ Ω and initial value. μ i and v i are the unit outward normal on ∂ Ω , M ( s ) is a nonnegative C 1 function, ( − Δ ) m u t and ( − Δ ) m v t are strongly damping, g 1 ( u , v ) and g 2 ( u , v ) are nonlinear source terms, f 1 ( x ) and f 2 ( x ) are given forcing function.
When considering single Higher-order Kirchhoff-type equation, β = σ ( ‖ ∇ m u ‖ 2 ) , g ( u , v ) = 0 and m = 1 in M ( s ) , becomes following Higher-order Kirchhoff-type wave equation with nonlinear strongly damping:
u t t + σ ( ‖ ∇ m u ‖ 2 ) ( − Δ ) m u t + ϕ ( ‖ ∇ m u ‖ 2 ) ( − Δ ) m u = f ( x ) , (1.7)
u ( x , t ) = 0 , ∂ i u ∂ ν i = 0 , i = 1 , ⋯ , m − 1 , x ∈ ∂ Ω , t ∈ ( 0 , + ∞ ) , (1.8)
u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) , x ∈ Ω . (1.9)
This equation had been studied some main results that are existence and uniqueness of the solution in H 2 m ( Ω ) × H 0 m ( Ω ) and global attractors by Yuting Sun, Yunlong Gao and Guoguang Lin, see [
In case of β = 1 and m = 1 in M ( s ) , the Equation (1.1) becomes a Higher-order Kirchhoff-type equation with nonlinear strongly dissipation and source term:
u t t + ( − Δ ) m u t + M ( ‖ ( − Δ ) m 2 u ‖ 2 ) ( − Δ ) m u + g ( u ) = f ( x ) , x ∈ Ω , t > 0 , m > 1 , (1.10)
u ( x , t ) = 0 , ∂ i u ∂ ν i = 0 , i = 1 , ⋯ , m − 1 , x ∈ ∂ Ω , x ∈ Ω , t > 0 , (1.11)
u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) . (1.12)
This equation had been investigated the existence and uniqueness of the solution, global attractors and estimation Hausdorff and fractal dimensions of the global attractor by Chen, Wei Wang and Guoguang Lin, see [
Under the situation of β = 1 and M ( s ) = ( α + β ‖ ∇ m u ‖ 2 ) q , the problem (1.1) becomes a class of strongly damped Higher-order Kirchhoff-type equation:
u t t + ( − Δ ) m u t + ( α + β ‖ ∇ m u ‖ 2 ) q ( − Δ ) m u + g ( u ) = f ( x ) , ( x , t ) ∈ Ω × [ 0 , + ∞ ) , (1.13)
u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) , x ∈ Ω , (1.14)
u ( x , t ) = 0 , ∂ i u ∂ ν i = 0 , i = 1 , ⋯ , m − 1 , x ∈ ∂ Ω , t ∈ ( 0 , + ∞ ) . (1.15)
This equation had been studied the existence and uniqueness of the solution, global attractors and estimation of the upper bounds of Hausdorff for the global attractors and the existence of a fractal exponential attractor with non-supercritical and critical cases by Guoguang Lin and Yunlong Gao, see [
Next, the main purpose of this paper is to study a precise estimation of upper bounds of Hausdorff dimension and Fractal dimension of the global attractor.
To better carry out our work, We denote the some simple symbol, ‖ ⋅ ‖ represents norm, (,) stands for inner product and H m ( Ω ) = H m ( Ω ) , H 0 m ( Ω ) = H m ( Ω ) ∩ H 0 1 ( Ω ) , H 0 2 m ( Ω ) = H 2 m ( Ω ) ∩ H 0 1 ( Ω ) , f i = f i ( x ) ( i = 1 , 2 ) , H ( Ω ) = L 2 ( Ω ) , ‖ ⋅ ‖ = ‖ ⋅ ‖ L 2 , ‖ ⋅ ‖ ∞ = ‖ ⋅ ‖ L ∞ , υ = ‖ ∇ u ‖ 2 + ‖ ∇ v ‖ 2 . c i ( i = 1 , ⋯ ) , μ i ( i = 0 , 1 ) are constants. λ 1 m is the first eigenvalue of the operator ( − Δ ) m .
Next, we give some assumptions needed for problem (1.1)-(1.6).
(H1) M ( s ) ∈ C 2 ( Ω ) , M ′ ( s ) ≥ S 0 ≥ 0. (2.1)
(H2) 0 ≤ μ 0 ≤ M ( υ ) ≤ μ 1 , μ = { μ 0 , d d t ( ‖ ∇ m θ ‖ 2 + ‖ ∇ m σ ‖ 2 ) ≥ 0 , μ 1 , d d t ( ‖ ∇ m θ ‖ 2 + ‖ ∇ m σ ‖ 2 ) < 0 , (2.2)
(H3) ∀ M > 0 , there exists k 1 , k 2 , such that
‖ g i u ( u ˜ , v ˜ ) − g i u ( u , v ) ‖ L ∞ ≤ k 1 ( ‖ u ˜ − u ‖ k + ‖ v ˜ − v ‖ k + 1 ) . (2.3)
‖ g i v ( u ˜ , v ˜ ) − g i v ( u , v ) ‖ L ∞ ≤ k 2 ( ‖ u ˜ − u ‖ k + 1 + ‖ v ˜ − v ‖ k ) . (2.4)
g i ( u , v ) ∈ C 1 ( Ω ) . (2.5)
Lemma 2.1. (Young’s inequality [
a b ≤ ε p p a p + b q q ε q , (2.6)
where 1 p + 1 q = 1 , p > 1 , q > 1.
Lemma 2.2. (Gronwall’s inequality [
d y d t + g y ≤ h , such that
y ( t ) ≤ y ( t 0 ) e − g ( t − t 0 ) + h g , t ≥ t 0 , (2.7)
where g ≥ 0 , h ≥ 0 are constants.
Lemma 2.3. (Sobolev-Poincare inequality [
2 ≤ s < + ∞ , n ≤ 2 m and 2 ≤ s < 2 m n − 2 m , n > 2 m . Then there is a constant k depending on Ω and s such that
‖ u ‖ s ≤ k ‖ ( − Δ ) m 2 u ‖ , ∀ u ∈ H 0 m ( Ω ) . (2.8)
We denote E 0 = H m × H m × L 2 × L 2 . The inner product and the norm in E 0 space are defined as follows:
∀ φ i = ( u i , v i , p i , q i ) ∈ E 0 ( i = 1 , 2 ) , we can get
( φ 1 , φ 2 ) E 0 = ( ∇ m u 1 , ∇ m u 2 ) + ( ∇ m v 1 , ∇ m v 2 ) + ( p 1 , p 2 ) + ( q 1 , q 2 ) . (3.1)
‖ φ 1 ‖ E 0 2 = ( φ 1 , φ 1 ) E 0 = ‖ ∇ m u 1 ‖ 2 + ‖ ∇ m v 1 ‖ 2 + ‖ p 1 ‖ 2 + ‖ q 1 ‖ 2 . (3.2)
Setting ∀ φ = ( u , v , p , q ) T ∈ E 0 , p = u t + ε u , q = v t + ε v , ε > 0 , the equations (1.1) and (1.2) are equivalent to
φ t + H ( φ ) = F ( φ ) , (3.3)
where
H ( φ ) = ( ε u − p ε v − q − ε p + β ( − Δ ) m p + ε 2 u + ( 1 − ε β ) ( − Δ ) m u − ε q + β ( − Δ ) m q + ε 2 v + ( 1 − ε β ) ( − Δ ) m v ) , (3.4)
F ( φ ) = ( 0 0 ( I − M ( υ ) ) ( − Δ ) m u − g 1 ( u , v ) + f 1 ( x ) ( I − M ( υ ) ) ( − Δ ) m v − g 2 ( u , v ) + f 2 ( x ) ) . (3.5)
Lemma 3.1.1. ∀ φ = ( u , v , p , q ) T ∈ E 0 , we can get
( H ( φ ) , φ ) E 0 ≥ ε 4 ‖ φ ‖ E 0 2 + β 4 ‖ ∇ m p ‖ 2 + β 4 ‖ ∇ m q ‖ 2 . (3.6)
Proof. According to (3.1)-(3.5), Holder inequality, Young’s inequality and Poincare inequality, we can obtain
( H ( φ ) , φ ) E 0 = ( ε ∇ m u − ∇ m p , ∇ m u ) + ( ε ∇ m v − ∇ m q , ∇ m v ) + ( − ε p + β ( − Δ ) m p + ε 2 u + ( 1 − ε β ) ( − Δ ) m u , p ) + ( − ε q + β ( − Δ ) m q + ε 2 v + ( 1 − ε β ) ( − Δ ) m v , q ) = ε ‖ ∇ m u ‖ 2 + ε ‖ ∇ m v ‖ 2 − ε ‖ p ‖ 2 − ε ‖ q ‖ 2 + β ‖ ∇ m p ‖ 2 + β ‖ ∇ m q ‖ 2 + ε 2 ( u , p ) + ε 2 ( v , q ) − ε β ( ∇ m u , ∇ m p ) − ε β ( ∇ m v , ∇ m q )
≥ ε ‖ ∇ m u ‖ 2 + ε ‖ ∇ m v ‖ 2 − ε ‖ p ‖ 2 − ε ‖ q ‖ 2 + β ‖ ∇ m p ‖ 2 + β ‖ ∇ m q ‖ 2 − ε 2 2 λ 1 m ‖ ∇ m u ‖ 2 − ε 2 2 ‖ p ‖ 2 − ε 2 2 λ 1 m ‖ ∇ m v ‖ 2 − ε 2 2 ‖ q ‖ 2 − β ε 2 2 ‖ ∇ m u ‖ 2 − β 2 ‖ ∇ m p ‖ 2 − β ε 2 2 ‖ ∇ m v ‖ 2 − β 2 ‖ ∇ m q ‖ 2 (3.7)
≥ ( ε − ε 2 2 λ 1 m − β ε 2 2 ) ‖ ∇ m u ‖ 2 + ( ε − ε 2 2 λ 1 m − β ε 2 2 ) ‖ ∇ m v ‖ 2 + β 4 ‖ ∇ m p ‖ 2 + β 4 λ 1 m ‖ p ‖ 2 + ( − ε − β ε 2 2 ) ‖ p ‖ 2 + β 4 ‖ ∇ m q ‖ 2 + β 4 λ 1 m ‖ q ‖ 2 + ( − ε − β ε 2 2 ) ‖ q ‖ 2 ≥ ε 4 ( ‖ ∇ m u ‖ 2 + ‖ ∇ m v ‖ 2 + ‖ p ‖ 2 + ‖ q ‖ 2 ) + β 4 ‖ ∇ m p ‖ 2 + β 4 ‖ ∇ m q ‖ 2 ≥ ε 4 ‖ φ ‖ E 0 2 + β 4 ‖ ∇ m p ‖ 2 + β 4 ‖ ∇ m q ‖ 2 .
The proof of Lemma 3.1.1. is completed.
The linearized equations of (1.1)-(1.6), the above equations as follows:
U t t + M ( υ ) ( − Δ ) m U + 2 M ′ ( υ ) ( ∇ U , ∇ u ) ( − Δ ) m u + 2 M ′ ( υ ) ( ∇ V , ∇ v ) ( − Δ ) m u + β ( − Δ ) m U t + g 1 u ( u , v ) U + g 1 v ( u , v ) V = 0 , (3.8)
V t t + M ( υ ) ( − Δ ) m V + 2 M ′ ( υ ) ( ∇ U , ∇ u ) ( − Δ ) m v + 2 M ′ ( υ ) ( ∇ V , ∇ v ) ( − Δ ) m v + β ( − Δ ) m V t + g 2 u ( u , v ) U + g 2 v ( u , v ) V = 0 , (3.9)
U ( x , t ) | x ∈ ∂ Ω = 0 , U ( x , 0 ) = ξ 1 , U t ( x , 0 ) = ξ 2 , (3.10)
V ( x , t ) | x ∈ ∂ Ω = 0 , V ( x , 0 ) = η 1 , V t ( x , 0 ) = η 2 , (3.11)
where ( ξ 1 , η 1 , ξ 2 , η 2 ) ∈ E 0 , ( u , v , u t , v t ) = S ( t ) ( u 0 , v 0 , u 1 , v 1 ) is the solution of (1.1)-(1.6) with ( u 0 , v 0 , u 1 , v 1 ) ∈ Α .
Given ( u 0 , v 0 , u 1 , v 1 ) ∈ Α and S ( t ) : E 0 → E 0 , the solution S ( t ) ( u 0 , v 0 , u 1 , v 1 ) ∈ E 0 by stand methods we can show that for any ( ξ 1 , η 1 , ξ 2 , η 2 ) ∈ E 0 , the linear initial boundary value problem (3.8)-(3.11) possess a unique solution:
( U ( t ) , V ( t ) , U t ( t ) , V t ( t ) ) ∈ L ∞ ( ( 0 , + ∞ ) ; E 0 ) . (3.12)
Lemma 3.1.2. For any t > 0 , R > 0 , the mapping S ( t ) : E 0 → E 0 is Frechet differentiable on. It is differential at φ 0 = ( u 0 , v 0 , u 1 , v 1 ) is the linear operator on F : ( ξ 1 , η 1 , ξ 2 , η 2 ) T → ( U ( t ) , V ( t ) , P ( t ) , Q ( t ) ) T , where U ( t ) and V ( t ) are solutions of (3.8)-(3.11)
Proof. Let φ 0 = ( u 0 , v 0 , u 1 , v 1 ) T ∈ E 0 , φ ˜ 0 = ( u 0 + ξ 1 , v 0 + η 1 , u 1 + ξ 2 , v 1 + η 2 ) T ∈ E 0 with ‖ φ ‖ E 0 ≤ R , ‖ φ ˜ ‖ E 0 ≤ R , we define ( u , v , u t , v t ) = S ( t ) φ 0 , ( u ˜ , v ˜ , u ˜ t , v ˜ t ) = S ( t ) φ ˜ 0 . We can obtain the Lipchitz property of S ( t ) on the bounded sets of E 0 , that is
‖ S ( t ) φ 0 − S ( t ) φ ˜ 0 ‖ E 0 2 ≤ e C 11 t ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) ‖ E 0 2 . (3.13)
Let θ = u ˜ − u − U and σ = v ˜ − v − V are solutions of problem
θ t t + M ( υ ) A m θ + β A m θ t = h 1 , (3.14)
σ t t + M ( υ ) A m σ + β A m σ t = h 2 , (3.15)
θ ( 0 ) = θ t ( 0 ) = 0 , (3.16)
σ ( 0 ) = σ t ( 0 ) = 0 , (3.17)
with
h 1 = ( M ( υ ) − M ( υ ˜ ) ) ( − Δ ) m u ˜ + 2 M ′ ( υ ) ( ∇ U , ∇ u ) ( − Δ ) m u + 2 M ′ ( υ ) ( ∇ V , ∇ v ) ( − Δ ) m u + g 1 ( u , v ) − g 1 ( u ˜ , v ˜ ) + g 1 u ( u , v ) U + g 1 v ( u , v ) V , (3.18)
h 2 = ( M ( υ ) − M ( υ ˜ ) ) ( − Δ ) m v ˜ + 2 M ′ ( υ ) ( ∇ U , ∇ u ) ( − Δ ) m v + 2 M ′ ( υ ) ( ∇ V , ∇ v ) ( − Δ ) m v + g 2 ( u , v ) − g 2 ( u ˜ , v ˜ ) + g 2 u ( u , v ) U + g 2 v ( u , v ) V , (3.19)
where υ = ‖ ∇ u ‖ 2 + ‖ ∇ v ‖ 2 , υ ˜ = ‖ ∇ u ˜ ‖ 2 + ‖ ∇ v ˜ ‖ 2 .
Taking the scalar product of each side of (3.14) with θ t . Because of
( ∇ u , ∇ u ) = ( ∇ u ˜ − ∇ u − ∇ u ˜ , − ∇ u ) = − ( ∇ u ˜ − ∇ u , ∇ u ) + ( ∇ u ˜ , ∇ u ) . (3.20)
( ∇ u ˜ , ∇ u ˜ ) = ( ∇ u ˜ − ∇ u + ∇ u , ∇ u ˜ ) = ( ∇ u ˜ − ∇ u , ∇ u ˜ ) + ( ∇ u , ∇ u ˜ ) . (3.21)
So
( ∇ u , ∇ u ) − ( ∇ u ˜ , ∇ u ˜ ) = ( ∇ u − ∇ u ˜ , ∇ u + ∇ u ˜ ) . (3.22)
( ( M ( υ ) − M ( υ ˜ ) ) ( − Δ ) m u ˜ + 2 M ′ ( υ ) ( ∇ U , ∇ u ) ( − Δ ) m u + 2 M ′ ( υ ) ( ∇ V , ∇ v ) ( − Δ ) m u , θ t ) = ( M ′ ( θ υ + ( 1 − θ ) υ ˜ ) ( υ − υ ˜ ) ( − Δ ) m u ˜ + 2 M ′ ( υ ) ( ( ∇ U , ∇ u ) + ( ∇ V , ∇ v ) ) ( − Δ ) m u , θ t ) = M ′ ( θ υ + ( 1 − θ ) υ ˜ ) ( ( ∇ u , ∇ u ) − ( ∇ u ˜ , ∇ u ˜ ) + ( ∇ v , ∇ v ) − ( ∇ v ˜ , ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t ) + 2 M ′ ( υ ) ( ( ∇ U , ∇ u ) + ( ∇ V , ∇ v ) ) ( ( − Δ ) m u , θ t ) = M ′ ( θ υ + ( 1 − θ ) υ ˜ ) ( ( ∇ u ⌢ , ∇ u + ∇ u ˜ ) + ( ∇ v ⌢ , ∇ v + ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t ) + 2 M ′ ( υ ) ( ( ∇ U , ∇ u ) + ( ∇ V , ∇ v ) ) ( ( − Δ ) m u , θ t ) = [ M ′ ( θ υ + ( 1 − θ ) υ ˜ ) ( ( ∇ u ⌢ , ∇ u + ∇ u ˜ ) + ( ∇ v ⌢ , ∇ v + ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t ) − M ′ ( υ ) ( ( ∇ u ⌢ , ∇ u + ∇ u ˜ ) + ( ∇ v ⌢ , ∇ v + ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t ) ] + [ M ′ ( υ ) ( ( ∇ u ⌢ , ∇ u + ∇ u ˜ ) + ( ∇ v ⌢ , ∇ v + ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t )
− 2 M ′ ( υ ) ( ( ∇ u ⌢ + ∇ θ , ∇ u ) + ( ∇ v ⌢ + ∇ σ , ∇ v ) ) ( ( − Δ ) m u ˜ , θ t ) ] + [ − 2 M ′ ( υ ) ( ( ∇ U , ∇ u ) + ( ∇ V , ∇ v ) ) ( ( − Δ ) m u ˜ , θ t ) + 2 M ′ ( υ ) ( ( ∇ U , ∇ u ) + ( ∇ V , ∇ v ) ) ( ( − Δ ) m u , θ t ) ] = I 1 + I 2 + I 3 , (3.23)
I 1 = ( M ′ ( θ υ + ( 1 − θ ) υ ˜ ) − M ′ ( υ ) ) ( ( ∇ u ⌢ , ∇ u + ∇ u ˜ ) + ( ∇ v ⌢ , ∇ v + ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t ) = M ″ ( ζ ) ( υ ˜ − υ ) ( ( ∇ u ⌢ , ∇ u + ∇ u ˜ ) + ( ∇ v ⌢ , ∇ v + ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t ) ≤ M ″ ( ζ ) ( ‖ ∇ u ⌢ ‖ ‖ ∇ u + ∇ u ˜ ‖ + ‖ ∇ v ⌢ ‖ ‖ ∇ v + ∇ v ˜ ‖ ) 2 ‖ ∇ m u ˜ ‖ ‖ ∇ m θ t ‖ ≤ 2 M ″ ( ζ ) ( ‖ ∇ u ⌢ ‖ 2 ‖ ∇ u + ∇ u ˜ ‖ 2 + ‖ ∇ v ⌢ ‖ 2 ‖ ∇ v + ∇ v ˜ ‖ 2 ) ‖ ∇ m u ˜ ‖ ‖ ∇ m θ t ‖ ≤ 2 λ 1 − m + 1 M ″ ( ζ ) ( ‖ ∇ m u ⌢ ‖ 2 ( ‖ ∇ u ‖ + ‖ ∇ u ˜ ‖ ) 2 + ‖ ∇ m v ⌢ ‖ 2 ( ‖ ∇ v ‖ + ‖ ∇ v ˜ ‖ ) 2 ) ‖ ∇ m u ˜ ‖ ‖ ∇ m θ t ‖ , (3.24)
I 2 = M ′ ( υ ) ( ( ∇ u ⌢ , ∇ u + ∇ u ˜ ) + ( ∇ v ⌢ , ∇ v + ∇ v ˜ ) ) ( ( − Δ ) m u ˜ , θ t ) − 2 M ′ ( υ ) ( ( ∇ u ⌢ + ∇ θ , ∇ u ) + ( ∇ v ⌢ + ∇ σ , ∇ v ) ) ( ( − Δ ) m u ˜ , θ t ) = M ′ ( υ ) ( ( ∇ u ⌢ , ∇ u ⌢ ) + ( ∇ v ⌢ , ∇ v ⌢ ) ) ( ( − Δ ) m u ˜ , θ t ) − 2 M ′ ( υ ) ( ( ∇ θ , ∇ u ) + ( ∇ σ , ∇ v ) ) ( ( − Δ ) m u ˜ , θ t )
≤ M ′ ( υ ) ( ‖ ∇ u ⌢ ‖ 2 + ‖ ∇ v ⌢ ‖ 2 ) ‖ ∇ m u ˜ ‖ ‖ ∇ m θ t ‖ − 2 M ′ ( υ ) ( ( ∇ θ , ∇ u ) + ( ∇ σ , ∇ v ) ) ( ( − Δ ) m u ˜ , θ t ) ≤ M ′ ( υ ) ( ‖ ∇ u ⌢ ‖ 2 + ‖ ∇ v ⌢ ‖ 2 ) ‖ ∇ m u ˜ ‖ ‖ ∇ m θ t ‖ + 2 λ 1 − m + 1 2 M ′ ( υ ) ( ‖ ∇ m θ ‖ ‖ ∇ u ‖ + ‖ ∇ m σ ‖ ‖ ∇ v ‖ ) ‖ ∇ m u ˜ ‖ ‖ ∇ m θ t ‖ , (3.25)
I 3 = 2 M ′ ( υ ) ( ( ∇ U , ∇ u ) + ( ∇ V , ∇ v ) ) ( ( − Δ ) m u ⌢ , θ t ) = 2 M ′ ( υ ) ( ( ∇ u ˜ − ∇ u − ∇ θ , ∇ u ) + ( ∇ v ˜ − ∇ v − ∇ σ , ∇ v ) ) ( ∇ m u ⌢ , ∇ m θ t ) ≤ 2 M ′ ( υ ) ( ‖ ∇ u ⌢ ‖ ‖ ∇ u ‖ + ‖ ∇ θ ‖ ‖ ∇ u ‖ + ‖ ∇ v ⌢ ‖ ‖ ∇ v ‖ + ‖ ∇ σ ‖ ‖ ∇ v ‖ ) ‖ ∇ m u ⌢ ‖ ‖ ∇ m θ t ‖
where u ⌢ = u − u ˜ , v ⌢ = v − v ˜ .
By (H3) and Young’s inequality, we can get
( g 1 ( u , v ) − g 1 ( u ˜ , v ˜ ) + g 1 u ( u , v ) U + g 1 v ( u , v ) V , θ t ) = ( g 1 ( u , v ) − g 1 ( u ˜ , v ˜ ) + g 1 u ( u , v ) ( u ˜ − u − θ ) + g 1 v ( u , v ) ( v ˜ − v − σ ) , θ t ) = ( g 1 ( u , v ) − g 1 ( u ˜ , v ˜ ) + g 1 u ( u , v ) u ⌢ − g 1 u ( u , v ) θ + g 1 v ( u , v ) v ⌢ − g 1 v ( u , v ) σ , θ t ) = ( g 1 ( u , v ) − g 1 ( u ˜ , v ) + g 1 ( u ˜ , v ) − g 1 ( u ˜ , v ˜ ) + g 1 u ( u , v ) u ⌢ + g 1 v ( u , v ) v ⌢ , θ t ) + ( − g 1 u ( u , v ) θ − g 1 v ( u , v ) σ , θ t )
= ( ( g 1 u ( u , v ) − g 1 u ( ξ , v ) ) u ⌢ + ( g 1 v ( u , v ) − g 1 v ( u ˜ , η ) ) v ⌢ , θ t ) + ( − g 1 u ( u , v ) θ − g 1 v ( u , v ) σ , θ t ) ≤ ‖ g 1 u ( u , v ) − g 1 u ( ξ , v ) ‖ L ∞ ‖ u ⌢ ‖ ‖ θ t ‖ + ‖ g 1 v ( u , v ) − g 1 v ( u ˜ , η ) ‖ L ∞ ‖ v ⌢ ‖ ‖ θ t ‖ + ‖ g 1 u ( u , v ) ‖ L ∞ ‖ θ ‖ ‖ θ t ‖ + ‖ g 1 v ( u , v ) ‖ L ∞ ‖ σ ‖ ‖ θ t ‖ ≤ k 1 ‖ u ⌢ ‖ k + 1 ‖ θ t ‖ + k 2 ( ‖ u ⌢ ‖ k + 1 ( ‖ v ‖ + ‖ v ˜ ‖ ) + ‖ v ⌢ ‖ k + 1 ) ‖ θ t ‖ + C 16 ‖ θ ‖ 2 + 2 4 ‖ θ t ‖ 2 + C 17 ‖ σ ‖ 2 . (3.27)
By using Young inequality, we can get
h 1 ≤ C 1 ε ‖ ∇ m u − ∇ m u ˜ ‖ 4 + C 2 ε ‖ ∇ m v − ∇ m v ˜ ‖ 4 + C 3 ε ‖ ∇ m θ ‖ 2 + C 4 ε ‖ ∇ m σ ‖ 2 + 11 ε 4 ‖ ∇ m θ t ‖ 2 + C 5 ‖ ∇ m u ⌢ ‖ 2 k + 2 + 5 4 ‖ θ t ‖ 2 + C 6 ‖ ∇ m v ⌢ ‖ 2 k + 2 + C 7 ‖ θ ‖ 2 + C 8 ‖ σ ‖ 2 . (3.28)
From (3.23)-(3.28), we have
d d t ‖ θ t ‖ 2 + M ( υ ) d d t ‖ ∇ m θ ‖ 2 ≤ C 9 ( ‖ ∇ m u ⌢ ‖ 4 + ‖ ∇ m θ ‖ 2 + ‖ ∇ m v ⌢ ‖ 4 + ‖ ∇ m σ ‖ 2 ) + C 10 ( ‖ ∇ m u ⌢ ‖ 2 k + 2 + ‖ ∇ m v ⌢ ‖ 2 k + 2 + ‖ θ t ‖ 2 ) . (3.29)
Take the scalar product of each side of (3.15) with σ t . Because of
d d t ‖ σ t ‖ 2 + M ( υ ) d d t ‖ ∇ m σ ‖ 2 ≤ C 11 ( ‖ ∇ m u ⌢ ‖ 4 + ‖ ∇ m θ ‖ 2 + ‖ ∇ m v ⌢ ‖ 4 + ‖ ∇ m σ ‖ 2 ) + C 12 ( ‖ ∇ m u ⌢ ‖ 2 k + 2 + ‖ ∇ m v ⌢ ‖ 2 k + 2 + ‖ θ t ‖ 2 ) . (3.30)
Summing up (3.29) and (3.30), we have
d d t ( ‖ θ t ‖ 2 + ‖ σ t ‖ 2 + μ ( ‖ ∇ m θ ‖ 2 + ‖ ∇ m σ ‖ 2 ) ) ≤ C 13 ( ‖ θ t ‖ 2 + ‖ σ t ‖ 2 + μ ( ‖ ∇ m θ ‖ 2 + ‖ ∇ m σ ‖ 2 ) ) + C 14 ( ‖ ∇ m u ⌢ ‖ 4 + ‖ ∇ m v ⌢ ‖ 4 + ‖ ∇ m u ⌢ ‖ 2 k + 2 + ‖ ∇ m v ⌢ ‖ 2 k + 2 ) . (3.31)
By using Gronwall inequality, we can get
‖ θ t ‖ 2 + ‖ σ t ‖ 2 + μ ( ‖ ∇ m θ ‖ 2 + ‖ ∇ m σ ‖ 2 ) ≤ C 15 e C 16 t ∫ 0 t ( ‖ ∇ m u ⌢ ‖ 4 + ‖ ∇ m v ⌢ ‖ 4 + ‖ ∇ m u ⌢ ‖ 2 k + 2 + ‖ ∇ m v ⌢ ‖ 2 k + 2 ) d τ ≤ C 17 e C 18 t [ ( ‖ ∇ m ξ 1 ‖ 2 + ‖ ∇ m η 1 ‖ 2 + ‖ ξ 2 ‖ 2 + ‖ η 2 ‖ 2 ) 2 + ( ‖ ∇ m ξ 1 ‖ 2 + ‖ ∇ m η 1 ‖ 2 + ‖ ξ 2 ‖ 2 + ‖ η 2 ‖ 2 ) k + 1 ] ≤ C 20 e C 19 t ( ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) ‖ E 0 4 + ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) ‖ E 0 2 k + 2 ) , (3.32)
where C 17 , C 18 , C 19 , C 20 > 0 .
From (3.32), we can get
‖ φ ˜ ( t ) − φ ( t ) − B ( t ) ‖ E 0 2 ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) T ‖ E 0 2 ≤ C 20 e C 19 t ( ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) T ‖ E 0 4 + ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) T ‖ E 0 2 k + 2 ) ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) T ‖ E 0 2 ≤ C 20 e C 19 t ( ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) T ‖ E 0 2 + ‖ ( ξ 1 , η 1 , ξ 2 , η 2 ) T ‖ E 0 2 k ) → 0 , (3.33)
here
B ( t ) = ( U ( t ) , V ( t ) , U t ( t ) , V t ( t ) ) . (3.34)
As ( ξ 1 , η 1 , ξ 2 , η 2 ) T → 0 in E 0 . The lemma 3.1.2 is completed.
Consider the first variation of (3.3) with initial condition;
Ψ ′ t + p ( φ ) Ψ = Γ 1 ( φ ) Ψ + Γ 2 Ψ T , Ψ ( 0 ) = ( ξ 1 , η 1 , ξ 2 , η 2 ) T ∈ E 0 , t > 0 , (3.35)
where Ψ = ( U , V , P , Q ) T ∈ E 0 , P = U t + ε U , Q = V t + ε V and φ = ( u , v , p , q ) T ∈ E 0 are solutions of (3.35),
p ( φ ) = ( ε I 0 − I 0 0 ε I 0 − I ζ 1 0 ζ 2 0 0 ζ 1 0 ζ 2 ) , (3.36)
Γ 1 = ( 0 0 0 0 0 0 0 0 − g 1 u ( u , v ) − g 1 v ( u , v ) 0 0 − g 2 u ( u , v ) − g 2 u ( u , v ) 0 0 ) . (3. 37)
Γ 2 = ( 0 0 ζ 3 ζ 4 ) T , (3.38)
where ζ 1 = ε 2 + ( I − β ε ) ( − Δ ) m , ζ 2 = − ε I + β ( − Δ ) m ,
ζ 3 = [ 1 − M ( υ ) ] ( − Δ ) m U − 2 M ′ ( υ ) ( ∇ U , ∇ u ) ( − Δ ) m u − 2 M ′ ( υ ) ( ∇ V , ∇ v ) ( − Δ ) m u ,
ζ 4 = [ 1 − M ( υ ) ] ( − Δ ) m V − 2 M ′ ( υ ) ( ∇ U , ∇ u ) ( − Δ ) m v − 2 M ′ ( υ ) ( ∇ V , ∇ v ) ( − Δ ) m v .
It is easy to show from lemma 3.1.2. that (3.35) is a well-posed problem in E 0 , the mapping S ε ( τ ) : { u 0 , v 0 , p 1 , q 1 } → { u , v , p , q } , where p 1 = u 1 + ε u 0 , q 1 = v 1 + ε v 0 ,
p = u t + ε u , q = v t + ε v . φ ( τ ) = { u ( τ ) , v ( τ ) , p ( τ ) = u t ( τ ) + ε u ( τ ) , q ( τ ) = v t ( τ ) + ε v ( τ ) } is Frechet differentiable on E 0 for any t > 0 , its differential at φ 0 = { u 0 , v 0 , p 1 , q 1 } T is the linear operator on E 0 , ( ξ 1 , η 1 , ξ 2 , η 2 ) T → ( U ( t ) , V ( t ) , P ( t ) , Q ( t ) ) T , where ( U ( t ) , V ( t ) , P ( t ) , Q ( t ) ) T is the solution of (3.35).
Lemma 3.2.1. For any orthonormal family of elements of ( E 0 , ‖ ‖ E 0 ) , ( ξ 1 j , ξ 2 j ) T , ( η 1 j , η 2 j ) T , j = 1 , 2 , ⋯ , n 1 , we have
∑ j = 1 n 1 ‖ A 1 2 v ξ 1 j ‖ 2 ≤ 2 ∑ j = 1 n 1 μ j v − 1 , v ∈ [ 0 , 1 ) , (3.39)
∑ j = 1 n 1 ‖ A 1 2 v η 1 j ‖ 2 ≤ 2 ∑ j = 1 n 1 μ j v − 1 , v ∈ [ 0 , 1 ) , (3.40)
where { μ j } j = 1 + ∞ is the eigenvalue of ( − Δ ) m .
Proof. This is a direct consequence of lemma VI 6.3 of [
Theorem 3.2.2. If we take proper μ 0 , s satisfy 1 − μ 0 2 + 2 K λ 1 − m + 1 R 1 2 ≤ ε 8 and
(H1)-(H3) hold, then there exists ρ ( R 1 ) > 0 , such that the Hausdorff dimension and Fractal dimension of global attractor Α in E 0 satisfies
d H ( Α ) ≤ min { n 1 | n 1 ∈ N , 1 n 1 ∑ j = 1 n 1 μ j δ − 1 < ε 4 ρ } , (3.41)
d F ( A ) ≤ 2 n 1 , (3.42)
where R 0 is as in [
δ = { ( n − 2 ) ( p − 1 ) − 2 2 , n n − 2 m ≤ r i ≤ n + 2 m n − 2 m , n ≥ 2 m , 0 , n < 2 m or 0 ≤ r i ≤ n n − 2 m , n ≥ 2 m , (3.43)
here i = 1 , 2 .
Proof. Let n 1 ∈ N be fixed. Consider n 1 solutions Ψ 1 , Ψ 2 , ⋯ , Ψ n 1 of (3.35). At given time τ , let Q n 1 ( τ ) define the orthogonal projection in E 0 onto s p a n { Ψ 1 , Ψ 2 , ⋯ , Ψ n 1 } . Let y j ( s ) = ( ξ 1 j , η 1 j , ξ 2 j , η 2 j ) T ∈ E 0 , j = 1 , 2 , ⋯ , n 1 be an Orthonormal basis of
Q n 1 E 0 = s p a n { Ψ 1 , Ψ 2 , ⋯ , Ψ n 1 } , (3.44)
with respect to the inner product ( , ) E 0 and norm ‖ ⋅ ‖ E 0 .
Suppose
φ ( τ ) = ( u ( τ ) , v ( τ ) , p ( τ ) , q ( τ ) ) T ∈ Α , (3.45)
then ‖ φ ( τ ) ‖ E 0 ≤ M 0 , ∀ s > τ . By ‖ y j ‖ E 0 = 1 and Lemma 4.1.1, we can get
− ( p ( φ ( s ) ) y j ( s ) , y j ( s ) ) E 0 ≤ − ε 4 − β 4 ‖ ∇ m ξ 2 j ‖ 2 − β 4 ‖ ∇ m η 2 j ‖ 2 , (3.46)
( Γ 1 ( φ ( s ) ) y j ( s ) , y j ( s ) ) E 0 = ( − g 1 u ( u , v ) ξ 1 j − g 1 v ( u , v ) η 1 j , ξ 2 j ) + ( − g 2 u ( u , v ) ξ 1 j − g 2 v ( u , v ) η 1 j , η 2 j ) = ( − g 1 u ( u , v ) ξ 1 j , ξ 2 j ) + ( − g 1 v ( u , v ) η 1 j , ξ 2 j ) + ( − g 2 u ( u , v ) ξ 1 j , η 2 j ) + ( − g 2 v ( u , v ) η 1 j , η 2 j )
≤ ‖ A − m 2 ( g 1 u ( u , v ) ξ 1 j ) ‖ ‖ ∇ m ξ 2 j ‖ + ‖ A − m 2 ( g 1 v ( u , v ) η 1 j ) ‖ ‖ ∇ m ξ 2 j ‖ + ‖ A − m 2 ( g 2 u ( u , v ) ξ 1 j ) ‖ ‖ ∇ m η 2 j ‖ + ‖ A − m 2 ( g 2 u ( u , v ) η 1 j ) ‖ ‖ ∇ m η 2 j ‖ . (3.47)
where A = − Δ .
By the hypothesis (H4) in [
H 0 m κ ( Ω ) ⊂ D ( A m 2 κ ) ⊂ H m κ ( Ω ) ⊂ L q ( Ω ) ⊂ L 2 ( Ω ) ⊂ L q ′ ( Ω ) ⊂ H − m κ ( Ω ) , (3.48)
where 1 q = 1 2 − m κ n , 1 q + 1 q ′ = 1 , κ ∈ [ 0 , 1 ) .
Thus, by Lemma 2.4. in [
H 0 m κ ( Ω ) ⊂ L ∞ ( Ω ) ⊂ L 1 ( Ω ) ⊂ H − m ( Ω ) ⊂ ( H 0 m ( Ω ) ) ′ . (3.49)
There exists C 21 ( R 0 ) , C 23 ( R 0 ) , C 25 ( R 0 ) , C 27 ( R 0 ) > 0 , such that
‖ A − m 2 ( g 1 u ( u , v ) ξ 1 j ) ‖ ≤ C 21 | g 1 u ( u , v ) ξ 1 j | L 1 ≤ C 22 ( R 0 ) ‖ ξ 1 j ‖ , (3.50)
‖ A − m 2 ( g 1 v ( u , v ) η 1 j ) ‖ ≤ C 23 | g 1 v ( u , v ) η 1 j | L 1 ≤ C 24 ( R 0 ) ‖ η 1 j ‖ , (3.51)
‖ A − m 2 ( g 2 u ( u , v ) ξ 1 j ) ‖ ≤ C 25 | g 2 u ( u , v ) ξ 1 j | L 1 ≤ C 26 ( R 0 ) ‖ ξ 1 j ‖ , (3.52)
‖ A − m 2 ( g 2 v ( u , v ) η 1 j ) ‖ ≤ C 27 | g 2 v ( u , v ) η 1 j | L 1 ≤ C 28 ( R 0 ) ‖ η 1 j ‖ . (3.53)
For 1 < n < 2 m , by H 0 m ( Ω ) ⊂ L q ( Ω ) ⊂ H − m ( Ω ) ⊂ ( H 0 m ( Ω ) ) ′ , q > 0 , there exists C 30 ( R 0 ) , C 32 ( R 0 ) , C 34 ( R 0 ) , C 36 ( R 0 ) > 0 , such that
‖ A − m 2 ( g 1 u ( u , v ) ξ 1 j ) ‖ ≤ C 29 ‖ g 1 u ( u , v ) ξ 1 j ‖ L 3 2 ≤ C 30 ( R 0 ) ‖ ξ 1 j ‖ , (3.54)
‖ A − m 2 ( g 1 v ( u , v ) η 1 j ) ‖ ≤ C 31 ‖ g 1 v ( u , v ) η 1 j ‖ L 3 2 ≤ C 32 ( R 0 ) ‖ η 1 j ‖ , (3.55)
‖ A − m 2 ( g 2 u ( u , v ) ξ 1 j ) ‖ ≤ C 33 ‖ g 2 u ( u , v ) ξ 1 j ‖ L 3 2 ≤ C 34 ( R 0 ) ‖ ξ 1 j ‖ , (3.56)
‖ A − m 2 ( g 2 v ( u , v ) η 1 j ) ‖ ≤ C 35 ‖ g 2 v ( u , v ) η 1 j ‖ L 3 2 ≤ C 36 ( R 0 ) ‖ η 1 j ‖ . (3.57)
For n > 2 m , by (H4) in [
‖ A − m 2 ( g 1 u ( u , v ) ξ 1 j ) ‖ ≤ ‖ g 1 u ( u , v ) ξ 1 j ‖ L 2 n n + 2 m ≤ C 37 ( R 0 ) ‖ A m 2 δ ξ 1 j ‖ , (3.58)
‖ A − m 2 ( g 1 v ( u , v ) η 1 j ) ‖ ≤ ‖ g 1 v ( u , v ) η 1 j ‖ L 2 n n + 2 m 1 ≤ C 38 ( R 0 ) ‖ A m 2 δ η 1 j ‖ , (3.59)
‖ A − m 2 ( g 2 u ( u , v ) ξ 1 j ) ‖ ≤ ‖ g 2 u ( u , v ) ξ 1 j ‖ L 2 n n + 2 m 1 ≤ C 39 ( R 0 ) ‖ A m 2 δ ξ 1 j ‖ , (3.60)
‖ A − m 2 ( g 2 v ( u , v ) η 1 j ) ‖ ≤ ‖ g 2 v ( u , v ) η 1 j ‖ L 2 n n + 2 m ≤ C 40 ( R 0 ) ‖ A m 2 δ η 1 j ‖ . (3.61)
From above, we have
( Γ 1 ( φ ( s ) ) y j ( s ) , y j ( s ) ) E 0 ≤ C 41 2 ‖ A m 2 δ ξ 1 j ‖ ‖ A m 2 ξ 2 j ‖ + C 42 2 ‖ A m 2 δ η 1 j ‖ ‖ A m 2 ξ 2 j ‖ + C 43 2 ‖ A m 2 δ ξ 1 j ‖ ‖ A m 2 η 2 j ‖ + C 44 2 ‖ A m 2 δ η 1 j ‖ ‖ A m 2 η 2 j ‖ ≤ C 45 ( ‖ A m 2 δ ξ 1 j ‖ ‖ A m 2 ξ 2 j ‖ + ‖ A m 2 δ η 1 j ‖ ‖ A m 2 ξ 2 j ‖ + ‖ A m 2 δ ξ 1 j ‖ ‖ A m 2 η 2 j ‖ + ‖ A m 2 δ η 1 j ‖ ‖ A m 2 η 2 j ‖ ) , (3.62)
where C 41 = max { C 22 , C 37 } , C 42 = max { C 24 , C 38 } , C 43 = max { C 26 , C 39 } , C 44 = max { C 28 , C 40 } ,
C 45 = max { C 41 , C 42 , C 43 , C 44 } .
According to Lemma 2.4. in [
( Γ 2 ( φ ( s ) ) y j ( s ) , y j ( s ) ) = ( 1 − M ( υ ) ) ( ∇ m ξ 1 j , ∇ m ξ 2 j ) − 2 M ′ ( υ ) ( ( ∇ ξ 1 j , ∇ u ) + ( ∇ η 1 j , ∇ v ) ) ( ∇ m u , ∇ m ξ 2 j ) + ( 1 − M ( υ ) ) λ j m 2 ( ∇ m η 1 j , ∇ m η 2 j ) − 2 M ′ ( υ ) λ j m 2 ( ( ∇ ξ 1 j , ∇ u ) + ( ∇ η 1 j , ∇ v ) ) ( ∇ m v , ∇ m η 2 j )
≤ ( 1 − μ 0 ) λ j m 2 ‖ ∇ m ξ 1 j ‖ ‖ ξ 2 j ‖ + 2 λ 1 − m + 1 R 0 2 M ′ ( υ ) λ j m 2 ( ‖ ∇ m ξ 1 j ‖ ‖ ξ 2 j ‖ + ‖ ∇ m η 1 j ‖ ‖ ξ 2 j ‖ ) + ( 1 − μ 0 ) λ j m 2 ‖ ∇ m η 1 j ‖ ‖ η 2 j ‖ + 2 λ 1 − m + 1 R 0 2 M ′ ( υ ) λ j m 2 ( ‖ ∇ m ξ 1 j ‖ ‖ η 2 j ‖ + ‖ ∇ m η 1 j ‖ ‖ η 2 j ‖ ) ≤ 1 − μ 0 2 λ j m 2 ( ‖ ∇ m ξ 1 j ‖ 2 + ‖ ∇ m η 1 j ‖ 2 + ‖ ξ 2 j ‖ 2 + ‖ η 2 j ‖ 2 ) + λ 1 − m + 1 R 0 2 S 0 λ j m 2 ( 2 ‖ ∇ m ξ 1 j ‖ 2 + 2 ‖ ξ 2 j ‖ 2 + 2 ‖ η 2 j ‖ 2 + 2 ‖ ∇ m η 1 j ‖ 2 ) = 1 − μ 0 2 λ j m 2 + 2 λ 1 − m + 1 R 0 2 S 0 λ j m 2 ,
(3.63)
where μ 0 ∈ [ 0 , 1 ] .
If ‖ ξ 2 j ‖ 2 + ‖ η 2 j ‖ 2 = 0 , then P n 1 ≤ − ε 4 n 1 , q n 1 < 0 .
By Lemma VI 6.3 of [
1 − μ 0 + 4 S 0 λ 1 − m + 1 R 0 2 2 λ j m 2 − β 8 r λ j m − ε 8 ≤ 0 , we obtain
if ‖ ξ 2 j ‖ 2 + ‖ η 2 j ‖ 2 = r ≠ 0 , then
p n 1 ( s ) = ∑ j = 1 n 1 ( − p ( φ ( s ) ) + Γ 1 ( φ ( s ) ) + Γ 2 ( φ ( s ) ) y j ( s ) , y j ( s ) ) E 0 ≤ ∑ j = 1 n 1 ( − ε 4 − β 4 ‖ ∇ m ξ 2 j ‖ 2 − β 4 ‖ ∇ m η 2 j ‖ 2 + ( 8 C 45 2 β ‖ A m 2 δ ξ 1 j ‖ 2 + β 8 ‖ ∇ m ξ 2 j ‖ 2 + 8 C 45 2 β ‖ A m 2 δ η 1 j ‖ 2 + β 8 ‖ ∇ m η 2 j ‖ 2 ) + 1 − μ 0 2 λ j m 2 + 2 λ 1 − m + 1 R 0 2 S 0 λ j m 2 )
= ∑ j = 1 n 1 ( 1 − μ 0 2 λ j m 2 + 2 λ 1 − m + 1 R 0 2 S 0 λ j m 2 − β 8 λ j m 2 ( ‖ ξ 2 j ‖ 2 + ‖ η 2 j ‖ 2 ) − ε 4 ) + 32 C 45 2 β ∑ j = 1 n 1 μ j δ − 1 = ∑ j = 1 n 1 ( 1 − μ 0 2 λ j m 2 + 2 λ 1 − m + 1 R 0 2 S 0 λ j m 2 − β 8 λ j m 2 r − ε 4 ) + 32 C 45 2 β ∑ j = 1 n 1 μ j δ − 1 ≤ − ε 8 n 1 + ρ 2 ∑ j = 1 n 1 μ j δ − 1 ,
(3.64)
where 0 < r ≤ 1 , ρ = 64 C 45 2 β .
If ε 4 ρ ≥ 1 n 1 ∑ j = 1 n 1 λ j δ − 1 hold, then
q n 1 = lim t → ∞ inf sup τ ∈ R sup Φ ⊂ E 0 sup φ ( τ ) ∈ Α 1 t ∫ τ τ + t p n 1 ( s ) d s ≤ − ρ n 1 ( ε 4 ρ − 1 n 1 ∑ j = 1 n 1 λ j δ − 1 ) < 0. (3.65)
Thus, by Lemma 4 of (S. Zhou, 1999 [
In this paper, we study estimation of the upper bounds of Hausdorff dimension and Fractal dimension of the global attractor for a class of Higher-order coupled Kirchhoff-type equations. In the process of research, we have avoided further restriction by taking the overall treatment of M ( s ) item, thus making the application of this model more extensive. Although the theoretical derivation of the beam vibration model is not combined with the application in real life, it is necessary to combine with practical application to further study.
We express our heartful thanks to the anonymous reader for his/her careful reading of this paper. We hope that we can obtain valuable comments and advices. These contributions vastly improved the paper and making the paper better.
Lin, G.G. and Yang, S.M. (2017) Hausdorff Dimension and Fractal Dimension of the Global Attractor for the Higher-Order Coupled Kirchhoff-Type Equations. Journal of Applied Mathematics and Physics, 5, 2411-2424. https://doi.org/10.4236/jamp.2017.512197