September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 1
36 Global Attractors of Non-autonomous Dissipative Dynamical Systems
Theorem 1.26 Let (X, T, π) be a pointwise b-dissipative and λ-condensing
dynamical system. If for any p ∈ Ω there exist δ
p
> 0 and l
p
> 0 such that
∪{π
t
B(p, δ
p
)| t ≥ l
p
} ∈ B(X), then (X, T, π) is local k-dissipative.
Proof. Let (X, T, π) be pointwise dissipative and λ-condensing. Then by Lem-
mas 1.22 and 1.23 the dynamical system (X, T, π) is asymptotic compact. Ac-
cording to Corollary 1.7 the dynamical system (X, T, π) is pointwise k-dissipative
and, consequently, the set Ω is nonempty and compact. From the open cov-
ering {B(p, δ
p
)| p ∈ Ω} of the compact set Ω we choice a finite sub-covering
{B(p
i
, δ
p
i
) | i ∈
1, m}. We put l
0
:= max{l
p
i
| i ∈ 1, m}. By Lemma 1.9, there
exists γ > 0 such that B(Ω, γ) ⊂ ∪{B(p
i
, δ
p
i
)| i =
1, m}. If x ∈ X, then there
exists l(x) > 0 such that xl ∈ B(Ω, γ). Since the set B(Ω, γ) is open, then there
exists a number ε > 0 such that B(xl, ε) ⊂ B(Ω, γ). According to the continuity of
mapping π
l
: X −→ X, there exists a number δ
x
> 0 such that yl ∈ B(xl, ε) for all
y ∈ B(x, δ) and, consequently, the set ∪{π
t
B(x, δ)| t ≥ l
0
+ l(x)} is bounded. To
finish the proof it is sufficient to use Theorem 1.25.
Theorems 1.25 and 1.26 give a solution of the problem of J. Hale for the local
bounded dynamical systems.
Definition 1.36 A dynamical system (X, T, π) is called compact bounded, if for
every compact K ∈ C(X) the set Σ
+
(K) is bounded, i.e. Σ
+
(K) ∈ B(X).
The following theorem holds:
Theorem 1.27 Let (X, T, π) be a pointwise b-dissipative, compact bounded and
λ-condensing dynamical system. Then (X, T, π) is compact b-dissipative.
Proof. By Lemmas 1.22 and 1.23 the dynamical system (X, T, π) is asymptotic
compact and, consequently, (X, T, π) is pointwise k-dissipative. Since the dynamical
system (X, T, π) is compact bounded, asymptotic compact and the set Σ
+
(K) is pos-
itively invariant, then the set Σ
+
(K) is relatively compact for every K ∈ C(X) and
according to Theorem 1.15 the dynamical system (X, T, π) is compact k-dissipative.
Definition 1.37 A dynamical system (X, T, π) is called bounded, if for every
B ∈ B(X) the set Σ
+
(B) is bounded, i.e. Σ
+
(B) ∈ B(X).
Theorem 1.28 Let (X, T, π) be a bounded and λ-condensing dynamical system.
Then (X, T, π) is bounded k-dissipative.
Proof. This assertion can be proved using the same arguments as in the proof of
Theorem 1.25.