September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 5
Method of Lyapunov functions 197
As it turned out, if the equation (5.34) is convergent then this property remains
valid under small nonlinear perturbations. The following theorem takes place.
Theorem 5.24 Let A, f and F be such that H(A), H(f) and H(F ) are compact
in C(R, [E]), C(R, E) and C(R × E, E) respectively, and the function F satisfies
the condition of Lipschitz w.r.t. u ∈ E uniformly w.r.t. t ∈ R with the small
enough constant of Lipschitz (Lip(F ) < ν
2
(Na)
−1
). Then if the equation (5.34) is
convergent, the perturbed equation
˙u = A(t)u + F (t, u) (5.44)
is convergent too.
Proof. Denote by H(A, f, F ) :=
{(A
τ
, f
τ
, F
τ
) : τ ∈ R}. Let v ∈ B, (B, g, G) ∈
H(A, f, F ), τ ∈ R and ϕ(·, v, B, g, G) be the solution of equation
˙v = B(t)v + g(t) + G(t, v), (5.45)
passing through the point v as t = 0.
According to the conditions of the theorem the equation (5.45) has a unique
solution defined on R and passing through the point v as τ = 0, whatever would
be (B, g, G) ∈ H(A, f, F ) and v ∈ E. To see that is sufficient to note that having
the conditions of Theorem 5.24 fulfilled we can apply Theorem 1.2
[
132
]
(global
theorem of existence and uniqueness) to the equation (5.45).
Assume Y := H(A, f, F ) and by (Y, R, σ) denote the dynamical system of shifts
on Y . Let X := E × Y . Define on X a dynamical system by the following rule:
π
τ
(v; B, g, G) := (ϕ(τ, v, B, g, G); B
τ
, g
τ
, G
τ
). By the conditions of Theorem 5.24
Y is compact and the triplet h(X, R, π), (Y, R, σ), hi, where h := pr
2
: X → Y
is a non-autonomous dynamical system. Let us show that we can apply Theorem
2.15 and Corollary 2.6 to the constructed dynamical system. Really, the set Y
is compact under the conditions of the theorem. It is clear that the set of the
continuous sections Γ(H(A, f, F ), B ×H(A, f, F )) is isomorphic to the set of all the
continuous mapping x : H(A, f, F ) → E (see paragraph 3.3) and, consequently, is
not empty. Define on X
˙
×X a scalar non-negative function V by the following rule:
V ((v
1
; B, g, G), (v
2
; B, g, G)) := kv
1
−v
2
k
B,1
=
Z
+∞
0
|U(t, B)(v
1
−v
2
)|dt
for every (B, g, G) ∈ H(A, f, F ) and v
1
, v
2
∈ E. From Lemma 5.5 follows that
the constructed function satisfies the conditions 1.- 3. of Theorem 2.15. Let
ϕ(·, v
i
, B, g, G) be the solution of the equation (5.45) passing through the point
v
i
(i = 1, 2) as τ = 0. Then the identity
˙ϕ(τ, v
i
, B, g, G) ≡ B(τ)ϕ(τ, v
i
, B, g, G) + g(τ) + G(τ, ϕ(τ, v
i
, B, g, G)).