September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 5
Method of Lyapunov functions 177
is asymptotically compact, we conclude that Ω is compact and, hence, the system
(X, T
1
, π) is pointwise k-dissipative. Taking into consideration (5.6) and Theorem
1.19 we conclude that the system (X, T
1
, π) is locally k-dissipative. Theorem is
proved.
Remark 5.3 a) From condition 3. it follows that level lines of the function V do
not contain ω-limit points of the dynamical system (X, T
1
, π).
b) Theorem 5.4 takes place for discrete dynamical systems, too, if condition 3.
is changed by the following: level lines of the function V do not contain ω-limit
points of the dynamical system (X, T
1
, π).
Proof. For proving the last assertion let us notice that in conditions of Theorem
11.2 the set K is a weak attractor and that is why Ω ⊆ K. Indeed, if this were not
so, then we should have x
0
∈ E
r
such that ω
x
0
\K 6= ∅. Let p ∈ ω
x
0
\K, then there
exits c
0
such that ω
x
0
⊆ V
−1
(c
0
). Let c
0
0
= V (p), then c
0
0
= V (p) = c
0
and, hence,
p ∈ V
−1
(c
0
) ∩ E
r
∩ ω
x
o
. The last contradicts the condition of the theorem.
Definition 5.1 h(X, T
1
, π), (Y, T
2
, σ), hi is said to be bounded, if for arbitrary
R > 0 there is C(R) > 0 such that |xt| ≤ C(R) for all |x| ≤ R and t ≥ 0.
Theorem 5.5 Let h(X, T
1
, π), (Y, T
2
, σ), hi be a non-autonomous dynamical
system, T
1
= R
+
and (X, T
1
, π) is asymptotically compact. If there exist r > 0
and a continuous bounded on the bounded sets from X function V : X
r
→ R which
satisfies the following conditions:
1. for any c ∈ R the set {x ∈ E
r
| V (x) ≤ c} is bounded;
2. if xτ ∈ E
r
for all τ ∈ [0, t], then V (xt) ≤ V (x);
3. level lines of V do not contain ω-limit points of the dynamical system (X, T
1
, π).
Then the non-autonomous dynamical system h(X, T
1
, π), (Y, T
2
, σ), hi is boundedly
k-dissipative and bounded, i.e. for any R > 0 there exists C(R) ≥ 0 such that
|x| ≤ C(R) for all |x| ≤ R and t ≥ 0.
Proof. Like in Theorem 5.3 the existence of C(R) ≥ 0 such that |xt| ≤ C(R) for
all t ≥ 0 and |x| ≤ R (R ≥ r) is proved.
Let us show that under the conditions of Theorem 5.5 the non-autonomous
system (X, T
1
, π), (Y, T
2
, σ), hi is boundedly k-dissipative. As h(X, T
1
, π),
(Y, T
2
, σ), hi is bounded and asymptotically compact, then according to Lemma 1.4
Ω(K
1
) 6= ∅, is compact and attracts K
1
:= {x ∈ E | |x| ≤ r}. Suppose K := Ω(K
1
)
and let us show that ω
x
∩ K 6= ∅ for any x ∈ X. If this were not so, we should
have x
0
∈ X such that ω
x
0
∩ K = ∅. Under the conditions of Theorem 5.5 the set
Σ
+
x
0
:= {x
0
t | t ≥ 0} is relatively compact and, hence, ω
x
0
6= ∅ and is compact.