September 27, 2004 16:46 WSPC/Book Trim Size for 9.75in x 6.5in GlobalAttractors/chapter 5
Method of Lyapunov functions 191
Definition 5.7 If the null solution of the equation (5.9) is uniformly stable and
there exists γ > 0 such that lim
t→+∞
|ϕ(t, v, g)| = 0 for all g ∈ H(f) and v ∈ B(0, γ),
then the null solution of the equation (5.9) is called uniformly asymptotically stable.
Definition 5.8 The null solution of (5.9) is globally uniformly asymptotically
stable if it is uniformly stable and |ϕ(t, v, g)| → 0 as t → +∞ for any g ∈ H(f) and
v ∈ E
n
.
Note that from the results of the works
[
8
]
,
[
291
]
follows the equivalence of the
standard definition of the uniform stability (global uniform asymptotic stability)
and of the one given above.
From Theorems 5.13, 5.14 and Remark 5.6 follows the theorems below.
Theorem 5.16 Let H(f) be compact and f(t, 0) ≡ 0. For the null solution of the
equation (5.9) to be globally uniformly stable it is necessary and sufficient that there
would exists a continuous function V : H(f) × E
n
→ R
+
satisfying the following
conditions:
(1) V (g, v) ≥ a(|v|) for all v ∈ E
n
, V (g, 0) = 0, g ∈ H(f) and Im a = Im V where
a ∈ A;
(2) V (g
τ
, ϕ(τ, v, g)) ≤ V (g, v) for all g ∈ H(f), v ∈ E
n
and τ ≥ 0;
(3) whatever would be the function g ∈ H(f), the lines of level of the function V do
not contain positive semi-trajectories of the equation (5.10) excepting the trivial
one.
Theorem 5.17 Let H(f) be compact and f(t, 0) ≡ 0. For the null solution of the
equation (5.9) to be uniformly asymptotically stable it is necessary and sufficient
that there would exist a continuous function V : H(f ) × B[0, r
0
] → R
+
satisfying
the following conditions:
(1) V (g, v) ≥ a(|v|) and V (g, 0) = 0 for all g ∈ H(f) and x ∈ B[0, r
0
], where a ∈ A;
(2) V (g
t
, ϕ(t, v, g)) ≤ V (g, v) if ϕ(t, v, g) ∈ B[0, r
0
] for all τ ∈ [0, t];
(3) whatever would be the function g ∈ H(f), the lines of level of the function V do
not contain positive semi-trajectories of the equation (5.10) excepting the trivial
one.
From Theorems 5.16 and 5.17 we can get the sufficient conditions of asymptotic
stability suitable for the applications.
Theorem 5.18 Let H(f ) be compact, f(t, 0) ≡ 0 and let there be a continuously
differentiable function V ∈ C(R × E
n
, R
+
) satisfying the conditions:
(1) a(|u|) ≤ V (t, u) ≤ b(|u|) (a, b ∈ A, Im a = Im b) for all t ∈ R and u ∈ E
n
;
(2) M
f
⊆ M
V
∩ M ∂V
∂t
∩ M
grad
u
V
;