September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 13
Linear almost periodic dynamical systems 409
(ii) Let M ⊆ X be bounded and invariant. Then M is relatively compact if the
dynamical system (X, S
+
, π) is asymptotically compact. In particular, if x ∈ X and
γ ∈ Φ
x
is such that γ(S) is bounded, then γ(S) is relatively compact, where Φ
x
is a
set of all entire trajectories of (X, S
+
, π) passing through x at t = 0.
If X := E×Y, π := (ϕ, σ), that is, π((u, y), t) := (ϕ(t, x, y), σ(t, y)) for all (u, y) ∈
E×Y and t ∈ S, then the non-autonomous dynamical system h(X, T, π), (Y, S, σ), hi,
where h := pr
2
: X → Y, is called
[
275
]
a skew product over (Y, S, σ) with the fiber
E.
Let (X, h, Y ) be a locally trivial Banach fiber bundle
[
28
]
.
Recall that a non-autonomous dynamical system h(X, T, π), (Y, S, σ), hi is said
[
275
]
,
[
33
]
to be linear if the map π
t
: X
y
→ X
yt
is linear for every t ∈ T and y ∈ Y .
If h(X, T, π), (Y, S, σ), hi is a skew product over (Y, S, σ) with the fiber E, then
it is linear if and only if E is a Banach space and the map ϕ(t, ·, y) : E → E is
linear for every y ∈ Y and t ∈ T.
Throughout the rest of this section we assume that Y is compact, the dynamical
system (Y, S, σ) is minimal, X = E ×Y, E is a Banach space with the norm |·|, the
non-autonomous dynamical system h(X, T, π), (Y, S, σ), hi is linear, π = (ϕ, σ), and
h = pr
2
.
Let F ⊆ E × Y be a closed vectorial subset of the trivial fiber bundle (E ×
Y, pr
2
, Y ) that is positively invariant relative to (X, T, π). We put
B
+
= {(x, y) ∈ F | sup |ϕ(t, x, y)| : t ∈ S
+
< +∞}.
The set B
−
is defined likewise. If h(X, S
+
, π), (Y, S, σ), hi is a semigroup non-
autonomous dynamical system, then B is the set of all points of F with the follow-
ing property: there is an entire trajectory of the dynamical system (F, S
+
, π)
bounded on S that passes through this point. We put B
+
y
:= B
+
T
X
y
and
B
y
:= B
T
X
y
, y ∈ Y.
Theorem 13.1 The following conditions are equivalent :
(i) there is an M > 0 such that
|ϕ(t, x, y)| ≤ M|x| (13.1)
for all (x, y) ∈ B
+
(B
−
, B) and t ∈ S
+
(S
−
, S);
(ii) B
+
(B
−
, B) is closed in F.
Proof. We prove this theorem in the case when T = S
+
. In the case when T = S
−
or T = S it can be proved in a similar way. We claim that (i) implies (ii). Assume
that (x, y) ∈ B
+
. Then there is an (x
n
, y
n
) ∈ B
+
such that (x
n
, y
n
) → (x, y) as
n → +∞. By condition (i), the inequality
|ϕ(t, x
n
, y
n
)| ≤ M|x
n
| (13.2)