asymatically stable: let x = 0 x=0 x=0 be an equilibrium point of the system. Let V V V be a contiuously differentiable positive definite function on a domain D ⊂ R n D \subset R^n D⊂Rn containing the origin, such that V ˙ ( x ( t ) ) ≤ 0 \dot{V}(x(t))\leq0 V˙(x(t))≤0 in D D D. Let S = { x ∈ D ∣ V ˙ ( x ) = 0 } S=\{x\in D| \dot{V}(x)=0\} S={x∈D∣V˙(x)=0} and suppose that no othe solution can stay in S S S, other than the trival solution x ( t ) ≡ 0 x(t)\equiv0 x(t)≡0. Then the origin is locally asymatically stable. If, in addition, V ( x ) V(x) V(x) is radially unbounded then the origin is globally asymatically stable.
Uniformly Bounded: if there exists a positive constant
c
c
c, independent of
t
0
≥
0
t_0 \geq 0
t0≥0 and for every
a
∈
(
0
,
c
)
a\in(0,c)
a∈(0,c), there is
β
=
β
(
a
)
≥
0
\beta =\beta(a) \geq 0
β=β(a)≥0, independent of
t
0
t_0
t0, such that
∥
x
(
t
0
)
∥
≤
a
⇒
∥
x
(
t
)
∥
≤
β
,
∀
t
≥
t
0
\|x(t_0)\|\leq a \Rightarrow \|x(t)\|\leq \beta,\quad \forall t\geq t_0
∥x(t0)∥≤a⇒∥x(t)∥≤β,∀t≥t0.
Globally Uniformly Bounded: if the equilibrium point is uniformly bounded for arbitrarily large a a a.
Uniformly Ultimately Bounded: if there exists positive constants
b
b
b and
c
c
c, independent of
t
0
≥
0
t_0\geq0
t0≥0, and for every
a
∈
(
0
,
c
)
a\in(0,c)
a∈(0,c), there is
T
=
T
(
a
,
b
)
T=T(a,b)
T=T(a,b), independent of
t
0
t_0
t0, such that
∥
x
(
t
0
)
∥
≤
a
⇒
∥
x
(
t
)
∥
≤
b
,
∀
t
≥
t
0
+
T
\|x(t_0)\| \leq a \Rightarrow \|x(t)\|\leq b,\quad \forall t \geq t_0+T
∥x(t0)∥≤a⇒∥x(t)∥≤b,∀t≥t0+T.
Globally Uniformly Bounded: if the system is uniformally bounded for arbitrarily large a a a.
In the definition of above, the term uniform indicates that the bound b b b does not depend on t 0 t_0 t0. The term ultimate means that boundness holds after the lapse of a certain time T T T. The costant c c c defines a neighborhood of the origin, independent of t 0 t_0 t0, such that all trajectories starting in the neighborhood will remain bounded in time. If c c c can be chosen arbitrarily large then the UUB notion becomes global.