September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 6
236 Global Attractors of Non-autonomous Dissipative Dynamical Systems
Remark 6.2 a. A statement similar to Theorem 6.9 has also been proved in the
work
[
256
]
.
b. The problem of the convergence and dissipativity of equations with impulse
are studied in the works
[
256
]
,
[
115
]
,
[
116
]
,
[
256
]
.
6.4 Asymptotic stability of linear functional differential equations
Using some ideas and methods developed while studying dissipative dynamical
systems we may receive a series of conditions which are equivalent to the asymp-
totic stability of linear non-autonomous dynamical systems with infinite dimensional
phase space. As an application of these result we may receive the corresponding
results for linear functional differential equations.
Let (X, h, Y ) be a vectorial fibering with the fiber E (E is a Banach space)
and | · | : X → R be a norm on X, compatible with the distance of X, i.e. | · | is
continuous and |x| = ρ(x, θ
y
), where x ∈ X
y
, θ
y
is the null element of the space X
y
and ρ is a distance on X.
Recall that a dynamical system (X, S
+
, π) is called locally compact (locally
completely continuous) if for any x ∈ X there are δ
x
> 0 and l
x
> 0 such that
π
t
B(x, δ
x
) (t ≥ l
x
) is relatively compact.
Theorem 6.10 Let (X, S
+
, π) be locally compact and Y be compact. Then the
following conditions are equivalent:
1. lim
t→+∞
|xt| = 0 for all x ∈ X;
2. all the motions in (X, S
+
, π) are relatively compact and (X, S
+
, π) does not
admit nontrivial compact motions defined on S;
3. there are positive numbers N and ν such that |xt| ≤ Ne
−νt
|x| for all x ∈ X
and t ∈ S
+
.
Proof. From the equality lim
t→+∞
|xt| = 0 follows that Σ
+
x
is relatively compact
and ω
x
⊆ Θ := {θ
y
: y ∈ J
Y
, where θ
y
is the null element of X
y
}. Thus, the
dynamical system (X, S
+
, π) is pointwise dissipative and, according to Theorem
1.10, it is compactly dissipative. Denote by J
X
the Levinson’s center of the
dynamical system (X, S
+
, π). We will show that J
X
= Θ. Obviously, the set Θ
is compact and invariant (π
t
Θ = Θ for all t ∈ S
+
) and, consequently, Θ ⊆ J
X
.
From the last inclusion follows that h(J
X
) = J
Y
. Now let us show that J
X
= Θ. If
we suppose that it is not true, then J
X
\Θ 6= ∅ and, hence, there is x
0
∈ J
X
\Θ. Since
in the set J
X
all motions are continuable on S (see Theorem 1.6), then there exists
a continuous mapping ϕ : S → J
X
such that: ϕ(0) = x
0
and π
t
ϕ(s) = ϕ(t + s)
for all s ∈ S and t ∈ S
+
. On the other hand, by the linearity of the system
(X, S
+
, π), (Y, S
+
, σ), h
along with the point x
0
all the points λx
0
(λ ∈ R) be-