September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 13
Linear almost periodic dynamical systems 451
13.9.1 Exponential stable linear periodic dynamical systems
Let X and Y be complete metric spaces, (X, h, Y ) be a locally trivial Banach fiber
bundle over Y
[
29
]
, [E] be a Banach space of the all linear continuous operators
acting onto Banach space E with the operator norm and U : S
+
× Y 7→ [E] be
a mapping with properties: U(0, y) = I, U (t + τ, y) = U (t, σ(τ, y))U(τ, y) for all
y ∈ Y and t, τ ∈ S
+
and the mapping ϕ(·, u, ·) : S
+
×Y → E (ϕ(t, u, y) := U (t, y)u)
is continuous for every u ∈ E.
Definition 13.7 A triplet h[E], U, (Y, S, σ)i is called a c
0
− cocycle on (Y, S, σ)
with fiber [E].
Lemma 13.15 Let h[E], U, (Y, S, σ)i be a c
0
− cocycle on (Y, S, σ) with fiber [E]
and Y be a compact, then the following assertions hold:
(1) For every ` > 0 there exists a positive number M(`) such that kU (t, y)k ≤ M (`)
for all t ∈ [0, `] and y ∈ Y ;
(2) The mapping ϕ : S
+
×E ×Y 7→ E (ϕ(t, u, y) = U(t, y)u) is continuous;
(3) There exist positive numbers N and ν such that kU(t, y)k ≤ Ne
νt
for all t ∈ S
+
and y ∈ Y .
Proof. Let ` > 0 and u ∈ E, then there exists a positive number M(`, u) such that
|U(t, y)u| ≤ M(`, u) for all (t, y) ∈ [0, `]×Y because the mapping (t, y) → U(t, y)u is
continuous. According to principle of uniformly boundedness there exists a positive
number M(`) such that kU(t, y)k ≤ M (`) for all (t, y) ∈ [0, `] × Y .
Let now (t
0
, u
0
, y
0
) ∈ S
+
× E × Y and t
n
→ t
0
, u
n
→ u
0
and y
n
→ y
0
, then we
have
|ϕ(t
n
, u
n
, y
n
) − ϕ(t
0
, u
0
, y
0
)|
≤ |ϕ(t
n
, u
n
, y
n
) − ϕ(t
n
, u
0
, y
n
)|+ |ϕ(t
n
, u
0
, y
n
) − ϕ(t
0
, u
0
, y
0
)|
≤ kU (t
n
, y
n
)(u
n
−u
0
)k + |(U(t
n
, y
n
) − U(t
0
, y
0
))u
0
|. (13.95)
In view of first statement of Lemma 13.15 there exists the positive number M such
that
kU(t
n
, y
n
)k ≤ M (13.96)
for all n ∈ N. From inequalities (13.95) and (13.96) follows the continuity of
mapping ϕ : S
+
× E ×Y → E (ϕ(t, u, y) = U(t, y)u).
Denote by a := sup{kU(t, y)k : (t, y) ∈ [0, 1] × Y } and let t ∈ S
+
, t = n + τ(n ∈
N, τ ∈ [0, 1)), then we obtain
kU(t, y)k ≤ kU(n, yτ)kkU(τ, y)k ≤ a
n+1
≤ N e
νt
for all t ∈ S
+
and y ∈ Y , where N := a and ν := ln a.