September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 6
Dissipativity of some classes of equations 237
long to the set J
X
, because J
X
is a maximal compact invariant set in X. But
the inclusion λx
0
∈ J holds for all λ ∈ R if and only if x
0
∈ Θ. The obtained
contradiction shows that J
X
= Θ.
We will show that in (X, S
+
, π) there is no nontrivial compact motions defined
on S. In fact, let x ∈ X be such point that there exists ϕ : S → X possessing the
following properties: ϕ(S) is relatively compact, π
t
ϕ(s) = ϕ(t + s) (t ∈ S
+
, s ∈ S)
and ϕ(0) = x
0
. Since J
X
is a maximal compact invariant set, then
ϕ(S) ⊆ J
X
and,
in particular, x
0
∈ J
X
⊆ Θ. Therefore, |x
0
| = 0. Thus, we proved that 1. implies
2. The converse implication is evident.
We will show that 1. implies 3. Indeed, since under the conditions of Theorem
6.10 from 1. follows that (X, S
+
, π) is pointwise dissipative, then, according to
Theorem 1.10, it is locally dissipative. As Y is compact and (X, S
+
, π) is locally
dissipative, then there is δ > 0 such that
lim
t→+∞
sup{|xt| : |x| < δ} = 0. (6.34)
Taking into consideration (6.34), by standard reasoning (see, for example,
[
208
]
,
[
275
]
,and also Theorem 2.38) we may prove that there are N, ν > 0 such that
|xt| ≤ N e
−νt
|x| for all x ∈ X and t ≥ 0. Finally, 3. evidently implies 1. The
theorem is proved.
Remark 6.3 a. The condition of local compactness in Theorem 6.10 is essential.
To confirm this statement it is sufficient to consider the example 1.8. In this example
all motions tend to zero as t → +∞, but this system is not exponentially stable. It
is not difficult to see that the dynamical system from the example 1.8 is not locally
compact.
b. Theorem 6.10 is also true if the space Y is just pseudo-metric.
A very important class of linear non-autonomous dynamical systems with infinite
dimensional phase space satisfying the condition of local compactness is the class
of linear non-autonomous functional differential equations
[
175
]
. Let us recall some
notions and denotations from
[
175
]
. Let r > 0, C([a, b], R
n
) be a Banach space of all
continuous functions ϕ : [a, b] → R
n
equipped with the norm sup. If [a, b] = [−r, 0],
then we set C := C([−r, 0], R
n
). Let σ ∈ R, A ≥ 0 and u ∈ C([σ −r, σ +A], R
n
). We
will define u
t
∈ C for all t ∈ [σ, σ + A] by the equality u
t
(θ) := u(t + θ), −r ≤ θ ≤ 0.
Denote by D = D(C, R
n
) a Banach space of all linear continuous operators acting
from C into R
n
and endowed with operational norm. Consider a linear equation
˙u = A(t, u
t
), (6.35)
where A : R ×C → R
n
is continuous and linear with respect to the second variable,
i.e. A(t, ·) ∈ D for all t ∈ R. Let us set H(A) :=
{A
s
: s ∈ R}, where A
s
(t, ·) =
A(t + s, ·) and by bar we denote a closure in the compact-open topology on R ×C.