September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 2
116 Global Attractors of Non-autonomous Dissipative Dynamical Systems
Lemma 2.20 Let h(W, T, µ), (Z, T, λ), %i be a linear non-homogeneous non-
autonomous dynamical system and (Z, T, λ) be compactly dissipative. Then the
following statements are equivalent:
1. h(W, T, µ), (Z, T, λ), %i is compactly dissipative;
2. h(W, T, µ), (Z, T, λ), %i is convergent;
Proof. Let h(W, T, µ), (Z, T, λ), %i be compactly dissipative and J
W
be the Levinson
center of (W, T, µ). We will show that J
W
∩ W
z
contains at most one point for all
z ∈ J
Z
. If we suppose that it is not true, then there exit z
0
∈ J
Z
and w
1
, w
2
∈
J
W
∩ W
z
0
such that w
1
6= w
2
. It is easy to see that w = w
2
+ λ(w
1
− w
2
) =
(1 −λ)w
2
+ λw
1
∈ J
W
∩W
z
0
for all λ ∈ R, but this contradicts the compactness of
J
W
. Thus, 1. implies 2. The reverse implication is obvious. The lemma is proved.
Theorem 2.40 Let Γ(Z, W ) 6= ∅ and h(X, S
+
, π), (Y, S, σ), hi be a linear ho-
mogeneous dynamical system, h(W, S
+
, µ), (Z, S, λ), %i be a linear nonhomogeneous
dynamical system generated by h(X, S
+
, π), (Y, S, σ), hi and q be a homomorphism
from (Z, S, λ) onto (Y, S, σ). If the spaces Y and Z are compact and (X, h, Y ) is a
normed fiber bundle, then the dynamical system h(W, S
+
, µ), (Z, S, λ), ρi is locally
dissipative if and only if the dynamical system h(X, S
+
, π), (Y, S, σ), hi is locally dis-
sipative.
Proof. Let h(W, S
+
, µ), (Z, S, λ), ρi be locally dissipative and J
W
be Levinson center
of (W, S
+
, µ). According to Lemma 2.20, the set J
W
∩ W
z
contains a single point
for all z ∈ J
Z
. Denote this point by w
z
. Since (W, S
+
, µ) is locally dissipative, then
there exits γ > 0 such that
lim
t→+∞
ρ(µ
t
B(J
W
, γ), J
W
) = 0. (2.134)
We will show that the equality (2.134) implies
lim
t→+∞
ρ(µ
t
w, µ
t
w
z
) = 0 (2.135)
for all z ∈ J
Z
and w ∈ B(w
z
, γ). Moreover, the equality (2.135) holds uniformly
in z and w. If we suppose that it is not true, then there exit ε
0
> 0, t
n
→ +∞,
z
n
∈ J
Z
and x
n
∈ B(w
z
n
, γ) (h(x
n
) = z
n
) such that
ρ(µ
t
n
w
n
, µ
t
n
w
z
n
) ≥ ε
0
. (2.136)
From the equality (2.135) and the compactness of Z it follows that we can sup-
pose that the sequences {µ
t
n
w
n
}, {z
n
t
n
} and {µ
t
n
w
z
n
} convergent. We put
z = lim
t→+∞
z
n
t
n
and w = lim
t→+∞
µ
t
n
w
n
, then lim
t→+∞
µ
t
n
w
z
n
= w
z
. Passing to limit
in (2.136) as n → +∞, we obtain ρ(
w, w
z
) ≥ ε
0
. This contradicts the relation
w ∈ W
z
∩ J
W
. The obtained contradiction proves the equality (2.136) .