Upload
others
View
2
Download
0
Embed Size (px)
Citation preview
Hindawi Publishing CorporationAbstract and Applied AnalysisVolume 2012, Article ID 172956, 15 pagesdoi:10.1155/2012/172956
Research ArticleGlobal Attractor of Atmospheric CirculationEquations with Humidity Effect
Hong Luo
College of Mathematics and Software Science, Sichuan Normal University, Sichuan,Chengdu 610066, China
Correspondence should be addressed to Hong Luo, [email protected]
Received 1 June 2012; Accepted 15 July 2012
Academic Editor: Jinhu Lu
Copyright q 2012 Hong Luo. This is an open access article distributed under the CreativeCommons Attribution License, which permits unrestricted use, distribution, and reproduction inany medium, provided the original work is properly cited.
Global attractor of atmospheric circulation equations is considered in this paper. Firstly, it is provedthat this system possesses a unique global weak solution in L2(Ω, R4). Secondly, by using C-condition, it is obtained that atmospheric circulation equations have a global attractor in L2(Ω, R4).
1. Introduction
This paper is concerned with global attractor of the following initial-boundary problem ofatmospheric circulation equations involving unknown functions (u, T, q, p) at (x, t) = (x1, x2,t) ∈ Ω × (0,∞) (Ω = (0, 2π) × (0, 1) is a period of C∞ field (−∞,+∞) × (0, 1)):
∂u
∂t= Pr
(Δu − ∇p − σu
)+ Pr
(RT − Rq
)�κ − (u · ∇)u, (1.1)
∂T
∂t= ΔT + u2 − (u · ∇)T +Q, (1.2)
∂q
∂t= LeΔq + u2 − (u · ∇)q +G, (1.3)
divu = 0, (1.4)
where Pr , R, R, and Le are constants, u = (u1, u2), T , q, and p denote velocity field, tem-perature, humidity, and pressure, respectively; Q, G are known functions, and σ is constantmatrix:
σ =(σ0 ωω σ1
). (1.5)
2 Abstract and Applied Analysis
The problems (1.1)–(1.4) are supplemented with the following Dirichlet boundarycondition at x2 = 0, 1 and periodic condition for x1:
(u, T, q
)= 0, x2 = 0, 1,
(u, T, q
)(0, x2) =
(u, T, q
)(2π, x2),
(1.6)
and initial value conditions
(u, T, q
)=(u0, T0, q0
), t = 0. (1.7)
The partial differential equations (1.1)–(1.7) were firstly presented in atmosphericcirculation with humidity effect [1]. Atmospheric circulation is one of the main factorsaffecting the global climate, so it is very necessary to understand and master its mysteriesand laws. Atmospheric circulation is an important mechanism to complete the transportsand balance of atmospheric heat and moisture and the conversion between various energies.On the contrary, it is also the important result of these physical transports, balance andconversion. Thus, it is of necessity to study the characteristics, formation, preservation,change and effects of the atmospheric circulation and master its evolution law, which is notonly the essential part of human’s understanding of nature, but also the helpful method ofchanging and improving the accuracy of weather forecasts, exploring global climate change,and making effective use of climate resources.
The atmosphere and ocean around the earth are rotating geophysical fluids, whichare also two important components of the climate system. The phenomena of the atmosphereand ocean are extremely rich in their organization and complexity, and a lot of them cannot beproduced by laboratory experiments. The atmosphere or the ocean or the couple atmosphereand ocean can be viewed as an initial and boundary value problem [2–5], or an infinitedimensional dynamical system [6–8]. We deduce the atmospheric circulation model (1.1)–(1.7) which is able to show features of atmospheric circulation and is easy to be studiedfrom the very complex atmospheric circulation model based on the actual background andmeteorological data, and we present global solutions of atmospheric circulation equationswith the use of the T -weakly continuous operator [1]. In fact, there are numerous paperson this topic [9–13]. Compared with some similar papers, we add humidity function in thispaper. We propose firstly the atmospheric circulation equation with humidity function whichdoes not appear in the previous literature.
As far as the theory of infinite-dimensional dynamical system is concerned, we refer to[9–11, 14–18]. In the study of infinite dimensional dynamical system, the long-time behaviorof the solution to equations is an important issue. The long-time behavior of the solution toequations can be shown by the global attractor with the finite-dimensional characteristics.Some authors have already studied the existence of the global attractor for some evolutionequations [2, 3, 13, 19–21]. The global attractor strictly defined as ω-limit set of ball,which under additional assumptions is nonempty, compact, and invariant [13, 17]. Attractortheory has been intensively investigated within the science, mathematics, and engineeringcommunities. Lu et al. [22–25] apply the current theoretical results or approaches toinvestigate the global attractor of complex multiscroll chaotic systems. We obtain existence ofglobal attractor for the atmospheric circulation equations from the mathematical perspectivein this paper.
Abstract and Applied Analysis 3
The paper is organized as follows. In Section 2, we recall preliminary results. InSection 3, we present uniqueness of the solution to the atmospheric circulation equations.In Section 4, we obtain global attractor of the equations.
‖ · ‖X denote norm of the space X; C and Ci are variable constants. Let H = {φ =(u, T, q) ∈ L2(Ω, R4) | φ satisfy (1.4), (1.6)}, and H1 = {φ = (u, T, q) ∈ H1(Ω, R4) | φ satisfy(1.4), (1.6)}.
2. Preliminaries
Let X and X1 be two Banach spaces, X1 ⊂ X a compact and dense inclusion. Consider theabstract nonlinear evolution equation defined on X, given by
du
dt= Lu +G(u),
u(x, 0) = u0,
(2.1)
where u(t) is an unknown function, L : X1 → X a linear operator, and G : X1 → X anonlinear operator.
A family of operators S(t) : X → X (t ≥ 0) is called a semigroup generated by (2.1) ifit satisfies the following properties:
(1) S(t) : X → X is a continuous map for any t ≥ 0;
(2) S(0) = id : X → X is the identity;
(3) S(t + s) = S(t) · S(s), for all t, s ≥ 0. Then, the solution of (2.1) can be expressed as
u(t, u0) = S(t)u0. (2.2)
Next, we introduce the concepts and definitions of invariant sets, global attractors, and ω-limit sets for the semigroup S(t).
Definition 2.1. Let S(t) be a semigroup defined on X. A set Σ ⊂ X is called an invariant set ofS(t) if S(t)Σ = Σ, for all t ≥ 0. An invariant set Σ is an attractor of S(t) if Σ is compact, andthere exists a neighborhood U ⊂ X of Σ such that for any u0 ∈ U,
infv∈Σ
‖S(t)u0 − v‖X −→ 0, as t −→ ∞. (2.3)
In this case, we say that Σ attractsU. Particularly, if Σ attracts any bounded set of X, Σis called a global attractor of S(t) in X.
For a set D ⊂ X, we define the ω-limit set of D as follows:
ω(D) =⋂
s≥0
⋃
t≥sS(t)D, (2.4)
where the closure is taken in the X-norm. Lemma 2.2 is the classical existence theorem ofglobal attractor by Temam [13].
4 Abstract and Applied Analysis
Lemma 2.2. Let S(t) : X → X be the semigroup generated by (2.1). Assume that the followingconditions hold:
(1) S(t) has a bounded absorbing set B ⊂ X, that is, for any bounded set A ⊂ X there exists atime tA ≥ 0 such that S(t)u0 ∈ B, for all u0 ∈ A and t > tA;
(2) S(t) is uniformly compact, that is, for any bounded set U ⊂ X and some T > 0 sufficientlylarge, the set
⋃t≥T S(t)U is compact in X.
Then theω-limit setA = ω(B) of B is a global attractor of (2.1), andA is connected providingB is connected.
Definition 2.3 (see [19]). We say that S(t) : X → X satisfies C-condition, if for any boundedset B ⊂ X and ε > 0, there exist tB > 0 and a finite dimensional subspace X1 ⊂ X such that{PS(t)B} is bounded, and
‖(I − P)S(t)u‖X < ε, ∀t ≥ tB, u ∈ B, (2.5)
where P : X → X1 is a projection.
Lemma 2.4 (see [19]). Let S(t) : X → X (t ≥ 0) be a dynamical systems. If the following conditionsare satisfied:
(1) there exists a bounded absorbing set B ⊂ X;
(2) S(t) satisfies C-condition,
then S(t) has a global attractor in X.
From Linear elliptic equation theory, one has the following.
Lemma 2.5. The eigenvalue equation:
−ΔT(x1, x2) = βT(x1, x2), (x1, x2) ∈ (0, 2π) × (0, 1),
T = 0, x2 = 0, 1,
T(0, x2) = T(2π, x2)
(2.6)
has eigenvalue {βk}∞k=1, and
0 < β1 ≤ β2 ≤ · · · , βk −→ ∞, as k −→ ∞. (2.7)
3. Uniqueness of Global Solution
Theorem 3.1. If σβ1 ≥ max{(R + 1)2, ((R − 1)2/Le)}, and β1 is the first eigenvalue of elliptic
equation (2.6), then the weak solution to (1.1)–(1.7) is unique.
Abstract and Applied Analysis 5
Proof. From [1], (u, T, q) ∈ L∞((0, T),H) ∩ L2((0, T),H1), 0 < T < ∞ is the weak solution to(1.1)–(1.7). Then for all (v, S, z) ∈ H1, 0 ≤ t ≤ T , we have
1Pr
∫
Ωuvdx +
∫
ΩTSdx +
∫
Ωqzdx =
∫ t
0
∫
Ω
[−∇u∇v − σuv +
(RT − Rq
)v2
− 1Pr
(u · ∇)uv − ∇T∇S + u2S − (u · ∇)TS
+QS − Le∇q∇z + u2z − (u · ∇)qz +Gz]dx dt
+1Pr
∫
Ωu0vdx +
∫
ΩT0Sdx +
∫
Ωq0zdx.
(3.1)
Set (u1, T1, q1) and (u2, T2, q2) are twoweak solutions to (1.1)–(1.7), which satisfy (3.1).Let (u, T, q) = (u1, T1, q1) − (u2, T2, q2). Then,
1Pr
∫
Ωuvdx +
∫
ΩTSdx +
∫
Ωqzdx =
∫ t
0
∫
Ω
[−∇u∇v − σuv +
(RT − Rq
)v2
+1Pr
(u2 · ∇
)u2v − 1
Pr
(u1 · ∇
)u1v − ∇T∇S
+ u2S +(u2 · ∇
)T2S −
(u1 · ∇
)T1S
− Le∇q∇z + u2z +(u2 · ∇
)q2z
−(u1 · ∇
)q1z]dx dt.
(3.2)
Let (v, S, z) = (u, T, q). We obtain from (3.2) the following:
1Pr
∫
Ω|u|2dx +
∫
Ω|T |2dx +
∫
Ω
∣∣q∣∣2dx
=∫ t
0
∫
Ω
[−|∇u|2 − σu · u +
(RT − Rq
)u2 +
1Pr
(u2 · ∇
)u2u − 1
Pr
(u1 · ∇
)u1u
− |∇T |2 + u2T +(u2 · ∇
)T2T −
(u1 · ∇
)T1T − Le
∣∣∇q∣∣2 + u2q
+(u2 · ∇
)q2q −
(u1 · ∇
)q1q
]dx dt
≤∫ t
0
∫
Ω
[−|∇u|2 − |∇T |2 − Le
∣∣∇q∣∣2]dx dt
+∫ t
0
∫
Ω
[−σ|u|2 + (R + 1)Tu2 −
(R − 1
)qu2
]dx dt
6 Abstract and Applied Analysis
+∫ t
0
∫
Ω
[1Pr
(u · ∇)u2u + (u · ∇)T2T + (u · ∇)q2q]dx dt
≤∫ t
0
∫
Ω
[−|∇u|2 − |∇T |2 − Le
∣∣∇q∣∣2]dx dt
+∫ t
0
∫
Ω
⎡
⎢⎣−σ|u|2 + σ|u2|2 + (R + 1)2
2σ|T |2 +
(R − 1
)2
2σ∣∣q∣∣2
⎤
⎥⎦dx dt
+∫ t
0
[√2
Pr‖u‖L2
∥∥∥∇u2
∥∥∥L2‖∇u‖L2 +
√2‖u‖1/2
L2 ‖∇u‖1/2L2
∥∥∥∇T2
∥∥∥L2‖T‖1/2
L2 ‖∇T‖1/2L2
+√2‖u‖1/2
L2 ‖∇u‖1/2L2
∥∥∥∇q2
∥∥∥∥∥q∥∥1/2L2
∥∥∇q
∥∥1/2L2
]
dt
≤∫ t
0
∫
Ω
[−|∇u|2 − 1
2|∇T |2 − Le
2∣∣∇q∣∣2]dx dt
+∫ t
0
[√2
Pr‖u‖L2
∥∥∥∇u2∥∥∥L2‖∇u‖L2
+√2‖u‖L2‖∇u‖
∥∥∥∇T2∥∥∥L2
+√2∥∥∥∇T2
∥∥∥L2‖T‖L2‖∇T‖L2
+√2‖u‖L2‖∇u‖L2
∥∥∥∇q2∥∥∥L2
+√2∥∥q∥∥L2
∥∥∇q∥∥L2
∥∥∥∇q2∥∥∥L2
]
dt
≤∫ t
0
∫
Ω
[−|∇u|2 − 1
2|∇T |2 − Le
2∣∣∇q∣∣2]dx dt
+∫ t
0
[‖∇u‖2L2 +
3P 2r
‖u‖2L2
∥∥∥∇u2∥∥∥2
L2+ 3‖u‖2L2
∥∥∥∇T2∥∥∥2
L2+ 3‖u‖2L2
∥∥∥∇q2∥∥∥2
L2
+12‖∇T‖2L2 +
∥∥∥∇T2∥∥∥2
L2‖T‖2L2 +
Le
2∥∥∇q
∥∥2L2 +
2Le
∥∥q∥∥2L2
∣∣∣∇q2∣∣∣2
L2
]dt
≤∫ t
0
[3P 2r
‖u‖2L2
∥∥∥∇u2∥∥∥2
L2+ 3‖u‖2L2
∥∥∥∇T2∥∥∥2
L2+ 3‖u‖2L2
∥∥∥∇q2∥∥∥2
L2
+∥∥∥∇T2
∥∥∥2
L2‖T‖2L2 +
2Le
∥∥q∥∥2L2
∥∥∥∇q2∥∥∥2
L2
]dt.
(3.3)
Then,
‖u‖2L2 + ‖T‖2L2 +∥∥q∥∥2L2
≤ C
∫ t
0
[(‖u‖2L2 + ‖T‖2L2 +
∥∥q∥∥2L2
)(∥∥∥∇u2∥∥∥2
L2+∥∥∥∇T2
∥∥∥2
L2+∥∥∥∇q2
∥∥∥2
L2
)]dt
≤ C
∫ t
0
(‖u‖2L2 + ‖T‖2L2 +
∥∥q∥∥2L2
)dt.
(3.4)
Abstract and Applied Analysis 7
By using the Gronwall inequality, it follows that
‖u‖2L2 + ‖T‖2L2 +∥∥q∥∥2L2 ≤ 0, (3.5)
which imply (u, T, q) ≡ 0. Thus, the weak solution to (1.1)–(1.7) is unique.
4. Existence of Global Attractor
Theorem 4.1. If σβ1 ≥ max{(R + 1)2, (R − 1)2/Le}, and β1 is the first eigenvalue of elliptic equation
(2.6), then (1.1)–(1.7) have a global attractor in L2(Ω, R4).
Proof. According to Lemma 2.4, we prove Theorem 4.1 in the following two steps.Step 1. Equations (1.1)–(1.7) have an absorbing set in H.
Multiply (1.1) by u and integrate the product in Ω:
1Pr
∫
Ω
du
dtudx =
∫
Ω
[Δu − ∇p − σu +
(RT − Rq
)κ − 1
Pr(u · ∇)u
]udx. (4.1)
Then,
12Pr
d
dt
∫
Ωu2dx =
∫
Ω
[−|∇u|2 − σu · u +
(RT − Rq
)u2
]dx. (4.2)
Multiply (1.2) by T and integrate the product in Ω:
∫
Ω
dT
dtTdx =
∫
Ω[ΔT + u2 − (u · ∇)T +Q]Tdx. (4.3)
Then,
12d
dt
∫
ΩT2dx =
∫
Ω
(−|∇T |2 + u2T dx +QT
)dx. (4.4)
Multiply (1.3) by q and integrate the product in Ω:
∫
Ω
dq
dtqdx =
∫
Ω
[LeΔq + u2 − (u · ∇)q +Q
]qdx. (4.5)
Then,
12d
dt
∫
Ωq2dx =
∫
Ω
(−Le
∣∣∇q∣∣2 + u2q dx +Gq
)dx. (4.6)
8 Abstract and Applied Analysis
We deduce from (4.2)–(4.6) the following:
12d
dt
∫
Ω
(1Pr
u2 + T2 + q2)dx =
∫
Ω
[−|∇u|2 − |∇T |2 − Le
∣∣∇q∣∣2 − σu · u
+(R + 1)Tu2 −(R − 1
)qu2 +QT +Gq
]dx
≤∫
Ω
[− |∇u|2 − |∇T |2 − Le
∣∣∇q∣∣2 − σ|u|2
+ σ|u2|2 + (R + 1)2
2σ|T |2 +
(R − 1
)2
2σ∣∣q∣∣2
+ε|T |2 + ε∣∣q∣∣2 +
1ε
(|Q|2 + |G|2
)]dx.
(4.7)
Let ε > 0 be appropriate small such that
d
dt
∫
Ω
(u2 + T2 + q2
)dx
≤ C1
∫
Ω
[−|∇u|2 − |∇T |2 − ∣∣∇q
∣∣2]dx + C2
∫
Ω
(|Q|2 + |G|2
)dx.
(4.8)
Then,
d
dt
∫
Ω
(u2 + T2 + q2
)dx ≤ −C3
∫
Ω
(|u|2 + |T |2 + ∣∣q∣∣2
)dx + C4. (4.9)
Applying the Gronwall inequality, it follows that
∥∥(u, T, q)(t)∥∥2L2 ≤
∥∥(u, T, q)(0)∥∥2L2e
−C3t +C4
C3
(1 − e−C3t
). (4.10)
Then, whenM2 > C4/C3, for any (u0, T0, q0) ∈ B, here B is a bounded inH, there existst∗ > 0 such that
S(t)(u0, T0, q0
)=(u(t), T(t), q(t)
) ∈ BM, t > t∗, (4.11)
where BM is a ball inH, at 0 of radius M. Thus, (1.1)–(1.7) have an absorbing BM inH.
Abstract and Applied Analysis 9
Step 2. C-condition is satisfied.The eigenvalue equation:
Δu = λu,
u(x1, 0) = u(x2, 0) = 0,
u(0, x2) = u(2π, x2),
divu = 0
(4.12)
has eigenvalues λ1, λ2, . . . , λk, . . . and eigenvector {ek | k = 1, 2, 3, . . .}, and λ1 ≥ λ2 ≥ · · · ≥ λk ≥· · · . If k → ∞, then λk → −∞. {ek | k = 1, 2, 3, . . .} constitutes an orthogonal base of L2(Ω).
For all (u, T, q) ∈ H, we have
u =∞∑
k=1
ukek, ‖u‖2L2 =∞∑
k=1
u2k,
T =∞∑
k=1
Tkek, ‖T‖2L2 =∞∑
k=1
T2k ,
q =∞∑
k=1
qkek,∥∥q∥∥2L2 =
∞∑
k=1
qk.
(4.13)
When k → ∞, λk → −∞. Let δ be small positive constant, and N = 1/δ. There existspositive integer k such that
−N ≥ λj , j ≥ k + 1. (4.14)
Introduce subspace E1 = span{e1, e2, . . . , ek} ⊂ L2(Ω). Let E2 be an orthogonal sub-space of E1 in L2(Ω).
For all (u, T, q) ∈ H, we find that
u = v1 + v2, T = T1 + T2, q = q1 + q2,
v1 =k∑
i=1
xiei ∈ E1 × E1, v2 =∞∑
j=k+1
xjej ∈ E2 × E2,
T1 =k∑
i=1
Tiei ∈ E1, T2 =∞∑
j=k+1
Tjej ∈ E2,
q1 =k∑
i=1
qiei ∈ E1, q2 =∞∑
j=k+1
qjej ∈ E2.
(4.15)
Let Pi : L2(Ω) → Ei be the orthogonal projection. Thanks to Definition 2.3, we willprove that for any bounded set B ⊂ H and ε > 0, there exists t0 > 0 such that
‖P1S(t)B‖H ≤ M, ∀t > t0, M is a constant, (4.16)
‖P2S(t)B‖H ≤ ε, ∀t > t0,(u0, T0, q0
) ∈ B. (4.17)
10 Abstract and Applied Analysis
From Step 1, S(t) has an absorbing set BM. Then for any bounded set B ⊂ H, thereexists t∗ > 0 such that S(t)B ⊂ BM, for all t > t∗, which imply (4.16).
Multiply (1.1) by u and integrate over (Ω). We obtain
(du
dt, u
)= Pr(Δu, u) − Pr(σu, u) + Pr
((RT + Rq
)�κ, u)− ((u · ∇)u, u). (4.18)
Then,
‖u‖2L2 = Pr
∫ t
0(Δu, u)dt − Pr
∫ t
0(σu, u)dt + Pr
∫ t
0
((RT + Rq
)�κ, u)dt + ‖u0‖2L2
= ε1Pr
∫ t
0(Δu, u)dt + (1 − ε1)Pr
∫ t
0(Δu, u)dt − Pr
∫ t
0(σu, u)dt
+ Pr
∫ t
0
((RT + Rq
)�κ, u)dt + ‖u0‖2L2 ,
(4.19)
where ε1 is a constant which needs to be determined.From (4.14), we find that
(Δu, u) =∞∑
i=1
λiu2i =
k∑
i=1
λiu2i +
∞∑
j=k+1
λju2j
≤ λk∑
i=1
u2i −N
∞∑
i=k+1
u2j
≤ λ‖u‖2L2 −N‖ν2‖2L2 ,
(4.20)
where λ = max{λ1, λ2, . . . , λk}.Thanks to (Δu, u) = − ∫Ω |∇u|2dx = −‖∇u‖2L2 and ‖u‖L2 ≤ C‖∇u‖L2 , it follows that
(Δu, u) = −‖∇u‖2L2 ≤ − 1C2 ‖u‖
2L2 . (4.21)
We deduce from (4.11) the following:
‖u‖2L2 + ‖T‖2L2 +∥∥q∥∥2L2 ≤ M2, t ≥ t∗. (4.22)
Using (4.19)–(4.22), we find that
‖ν2‖2L2 ≤ ‖u‖2L2
= ε1Pr
∫ t
0(Δu, u)dt + (1 − ε1)Pr
∫ t
0(Δu, u)dt − Pr
∫ t
0(σu, u)dt
+ Pr
∫ t
0
((RT + Rq
)�κ, u)dt + ‖u0‖2L2
Abstract and Applied Analysis 11
≤ ε1λPr
∫ t
0‖u‖2L2dt − ε1NPr
∫ t
0‖ν2‖2L2dt − (1 − ε1)Pr
C2
∫ t
0‖u‖2L2dt
+PrR
2
(∫ t
0‖u‖2L2dt +
∫ t
0‖T‖2L2dt
)
+PrR
2
(∫ t
0‖u‖2L2dt +
∫ t
0
∥∥q∥∥2L2dt
)
+ ‖u0‖2L2 .
(4.23)
Let ε1 satisfy ε1λ ≤ (1 − ε1)/C2 and K1 = PrRM + PrRM. Then,
‖ν2‖2L2 ≤ −ε1NPr
∫ t
0‖ν2‖2L2dt +K1t + ‖u0‖2L2 , t > t∗. (4.24)
By the Gronwall inequality, we find that
‖ν2‖2L2 ≤ e−ε1NPrt‖u0‖2L2 +K1
ε1NPr
(1 − e−ε1NPrt
), t > t∗. (4.25)
Then, there exists t1 > t∗ satisfying
e−ε1NPrt1‖u0‖2L2 ≤ K1
2ε1NPr,
K1
ε1NPr
(1 − e−ε1NPrt1
)≤ K1
2ε1NPr. (4.26)
Since δ = 1/N, for t > t1 it follows that
‖ν2‖2L2 ≤ K1
ε1NPr=
K1
ε1Prδ. (4.27)
Multiply (1.2) by T and integrate over (Ω). We obtain
(dT
dt, T
)= (ΔT, T) + (u2, T) − ((u · ∇)T, T) + (Q, T). (4.28)
Then,
‖T‖2L2 =∫ t
0(ΔT, T)dt +
∫ t
0(u2, T)dt + ‖T0‖2L2
= ε2
∫ t
0(ΔT, T)dt + (1 − ε2)
∫ t
0(ΔT, T)dt +
∫ t
0(u2, T)dt + ‖T0‖2L2 ,
(4.29)
where ε2 is a constant which needs to be determined.
12 Abstract and Applied Analysis
From (4.14), we find that
(ΔT, T) =∞∑
i=1
λiT2i =
k∑
i=1
λiT2i +
∞∑
j=k+1
λjT2j
≤ λk∑
i=1
T2i −N
∞∑
j=k+1
T2j
≤ λ‖T‖2L2 −N‖T2‖2L2 ,
(4.30)
where λ = max{λ1, λ2, . . . , λk}.Since (ΔT, T) = − ∫Ω |∇T |2dx = −‖∇T‖2L2 and ‖T‖L2 ≤ C‖∇T‖L2 , it follows that
(ΔT, T) = −‖∇T‖2L2 ≤ − 1C2 ‖T‖
2L2 . (4.31)
Using (4.22) and (4.29)–(4.31), we find that
‖T2‖2L2 ≤ ‖T‖2L2
= ε2
∫ t
0(ΔT, T)dt + (1 − ε2)
∫ t
0(ΔT, T)dt +
∫ t
0(u2, T)dt + ‖T0‖2L2
≤ ε2λ
∫ t
0‖T‖2L2dt − ε2N
∫ t
0‖T2‖2L2dt − (1 − ε2)
C2
∫ t
0‖T‖2L2dt
+12
(∫ t
0‖u‖2L2dt +
∫ t
0‖T‖2L2dt
)
+ ‖T0‖2L2 .
(4.32)
Let ε2 satisfy ε2λ ≤ (1 − ε2)/C2. Then
‖T2‖2L2 ≤ −ε2N∫ t
0‖T2‖2L2dt +Mt + ‖T0‖2L2 , t > t∗. (4.33)
By the Gronwall inequality, we find that
‖T2‖2L2 ≤ e−ε2Nt‖T0‖2L2 +M
ε2N
(1 − e−ε2Nt
), t > t∗. (4.34)
Then, there exists t2 > t∗ satisfying
e−ε2Nt2‖T0‖2L2 ≤ M
2ε2N,
M
ε2N
(1 − e−ε2Nt2
)≤ M
2ε2N. (4.35)
Abstract and Applied Analysis 13
Since δ = 1/N, for t > t2, it follows that
‖T2‖2L2 ≤ M
ε2N=
M
ε2δ. (4.36)
Multiply (1.3) by q and integrate over (Ω). We obtain
(dq
dt, q
)= Le
(Δq, q
)+(u2, q
) − ((u · ∇)q, q)+(G, q). (4.37)
Then,
∥∥q∥∥2L2 = Le
∫ t
0
(Δq, q
)dt +
∫ t
0
(u2, q
)dt +
∥∥q0∥∥2L2
= Leε3
∫ t
0
(Δq, q
)dt + (1 − ε3)
∫ t
0
(Δq, q
)dt +
∫ t
0
(u2, q
)dt +
∥∥q0∥∥2L2 ,
(4.38)
where ε3 is a constant which needs to be determined.From (4.14), we find that
(Δq, q
)=
∞∑
i=1
λiq2i =
k∑
i=1
λiq2i +
∞∑
j=k+1
λjq2j
≤ λk∑
i=1
q2i −N∞∑
j=k+1
q2j
≤ λ∥∥q∥∥2L2 −N
∥∥q2∥∥2L2 ,
(4.39)
where λ = max{λ1, λ2, . . . , λk}.Since (Δq, q) = − ∫Ω |∇q|2dx = −‖∇q‖2L2 and ‖q‖L2 ≤ C‖∇q‖L2 , we see that
(Δq, q
)= −∥∥∇q
∥∥2L2 ≤ − 1
C2
∥∥q∥∥2L2 . (4.40)
Using (4.22) and (4.38)–(4.40), we obtain
∥∥q2∥∥2L2 ≤
∥∥q∥∥2L2
= ε3Le
∫ t
0
(Δq, q
)dt + (1 − ε3)Le
∫ t
0
(Δq, q
)dt +
∫ t
0
(u2, q
)dt +
∥∥q0∥∥2L2
≤ ε3λLe
∫ t
0
∥∥q∥∥2L2dt − ε3NLe
∫ t
0
∥∥q2∥∥2L2dt − 1 − ε3
C2Le
∫ t
0
∥∥q∥∥2L2dt
+12
(∫ t
0‖u‖2L2dt +
∫ t
0
∥∥q∥∥2L2dt
)
+∥∥q0∥∥2L2 .
(4.41)
14 Abstract and Applied Analysis
Let ε3 satisfy ε3λ ≤ (1 − ε3)/C2. Then,
∥∥q2∥∥2L2 ≤ −ε3NLe
∫ t
0
∥∥q2∥∥2L2dt +Mt +
∥∥q0∥∥2L2 , t > t∗. (4.42)
By the Gronwall inequality, we find that
∥∥q2∥∥2L2 ≤ e−ε3LeNt
∥∥q0∥∥2L2 +
M
ε3LeN
(1 − e−ε3LeNt
), t > t∗. (4.43)
Then, there exists t3 > t∗ satisfying
e−ε3LeNt3∥∥q0∥∥2L2 ≤ M
2ε3LeN,
M
ε3LeN
(1 − e−ε3LeNt3
)≤ M
2ε3LeN. (4.44)
Since δ = 1/N, for t > t3, it follows that
∥∥q2∥∥2L2 ≤ M
ε3LeN=
M
ε3Leδ. (4.45)
From (4.27); (4.36) and (4.45) for all δ > 0 there exists t0 = max{t1, t2, t3} such thatwhen t > t0, it follows that
∥∥P2S(t)(u0, T0, q0
)∥∥2H = ‖v2‖2L2 + ‖T2‖2L2 +
∥∥q2∥∥2L2 ≤
(K1
ε1Pr+M
ε2+
M
ε3Le
)δ, (4.46)
which imply (4.17). From Lemma 2.4, (1.1)–(1.7) have a global attractor in L2(Ω, R4).
Acknowledgments
This work was supported by national natural science foundation of China (no. 11271271) andthe NSF of Sichuan Education Department of China (no. 11ZA102).
References
[1] H. Luo, “Global solution of atmospheric circulation equations with humidity effect,” submitted.[2] T. Ma and S. H. Wang, Phase Transition Dynamics in Nonlinear Sciences, Springer, New York, NY, USA,
2012.[3] T. Ma, Theories and Methods in Partial Differential Equations, Academic Press, Beijing, China, 2011
(Chinese).[4] N. A. Phillips, “The general circulation of the atmosphere: A numerical experiment,”Quarterly Journal
of the Royal Meteorological Society, vol. 82, no. 352, pp. 123–164, 1956.[5] C. G. Rossby, “On the solution of problems of atmospheric motion by means of model experiment,”
Monthly Weather Review, vol. 54, pp. 237–240, 1926.[6] J.-L. Lions, R. Temam, and S. H. Wang, “New formulations of the primitive equations of atmosphere
and applications,” Nonlinearity, vol. 5, no. 2, pp. 237–288, 1992.[7] J.-L. Lions, R. Temam, and S. H. Wang, “On the equations of the large-scale ocean,” Nonlinearity, vol.
5, no. 5, pp. 1007–1053, 1992.
Abstract and Applied Analysis 15
[8] J.-L. Lions, R. Temam, and S. H Wang, “Models for the coupled atmosphere and ocean. (CAO I),”Computational Mechanics Advances, vol. 1, no. 1, pp. 5–54, 1993.
[9] C. Foias, O. Manley, and R. Temam, “Attractors for the Benard problem: existence and physicalbounds on their fractal dimension,” Nonlinear Analysis: Theory, Methods & Applications, vol. 11, no.8, pp. 939–967, 1987.
[10] B. L. Guo, “Spectral method for solving two-dimensional Newton-Boussinesq equations,” Acta Math-ematicae Applicatae Sinica. English Series, vol. 5, no. 3, pp. 208–218, 1989.
[11] B. Guo and B. Wang, “Approximate inertial manifolds to the Newton-Boussinesq equations,” Journalof Partial Differential Equations, vol. 9, no. 3, pp. 237–250, 1996.
[12] T. Ma and S. Wang, “El Nino southern oscillation as sporadic oscillations between metastable states,”Advances in Atmospheric Sciences, vol. 28, no. 3, pp. 612–622, 2011.
[13] R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, vol. 68 of Applied Mathe-matical Sciences, Springer, New York, NY, USA, 2nd edition, 1997.
[14] A. V. Babin and M. I. Vishik, Attractors of Evolution Equations, vol. 25 of Studies in Mathematics and ItsApplications, North-Holland Publishing, Amsterdam, The Netherlands, 1992.
[15] J.-M. Ghidaglia, “Finite-dimensional behavior for weakly damped driven Schrodinger equations,”Annales de l’Institut Henri Poincare, vol. 5, no. 4, pp. 365–405, 1988.
[16] J.-M. Ghidaglia, “A note on the strong convergence towards attractors of damped forced KdVequations,” Journal of Differential Equations, vol. 110, no. 2, pp. 356–359, 1994.
[17] J. K. Hale, Asymptotic Behavior of Dissipative Systems, vol. 25 of Mathematical Surveys and Monographs,American Mathematical Society, Providence, RI, USA, 1988.
[18] O. Ladyzhenskaya, Attractors for Semigroups and Evolution Equations, Lincei Lectures, CambridgeUniversity Press, Cambridge, UK, 1991.
[19] Q. Ma, S. Wang, and C. Zhong, “Necessary and sufficient conditions for the existence of globalattractors for semigroups and applications,” Indiana University Mathematics Journal, vol. 51, no. 6, pp.1541–1559, 2002.
[20] T. Ma and S. H. Wang, Stability and Bifurcation of Nonlinear Evolution Equations, Science Press, Beijing,China, 2007 (Chinese).
[21] T. Ma and S. Wang, Bifurcation Theory and Applications, vol. 53 of World Scientific Series on NonlinearScience. Series A: Monographs and Treatises, World Scientific, Hackensack, NJ, USA, 2005.
[22] J. Lu and G. Chen, “Generating multiscroll chaotic attractors: theories, methods and applications,”International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol. 16, no. 4, pp. 775–858, 2006.
[23] J. Lu, F. Han, X. Yu, and G. Chen, “Generating 3-D multi-scroll chaotic attractors: a hysteresis seriesswitching method,” Automatica, vol. 40, no. 10, pp. 1677–1687, 2004.
[24] J. Lu, G. Chen, X. Yu, and H. Leung, “Design and analysis of multiscroll chaotic attractors fromsaturated function series,” IEEE Transactions on Circuits and Systems. I, vol. 51, no. 12, pp. 2476–2490,2004.
[25] J. Lu, S. Yu, H. Leung, and G. Chen, “Experimental verification of multidirectional multiscroll chaoticattractors,” IEEE Transactions on Circuits and Systems I, vol. 53, no. 1, pp. 149–165, 2006.
Submit your manuscripts athttp://www.hindawi.com
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical Problems in Engineering
Hindawi Publishing Corporationhttp://www.hindawi.com
Differential EquationsInternational Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex AnalysisJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
OptimizationJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Operations ResearchAdvances in
Journal of
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Decision SciencesAdvances in
Discrete MathematicsJournal of
Hindawi Publishing Corporationhttp://www.hindawi.com
Volume 2014
Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Stochastic AnalysisInternational Journal of