Lyapunov Theory - Non-Autonomous PDF
Lyapunov Theory - Non-Autonomous PDF
Lyapunov Theory
Non-Autonomopus Systems:
dx
(*) = f (t, x) ; f ( t , 0) = 0 ∀t ≥ 0
dt
Def.
Stability concepts: 4.1-4.4
s. 102
Othewise x ( t ) = 0 is unstable
• x ( t ) = 0 is stable
• ∃ r ( t 0 ) > 0 ⇒ x ( t 0 ) < r ( t 0 ) ⇒ x ( t ) → 0 for t → ∞
∀x ( t 0 ) ⇒ x ( t ) → 0 for t → ∞
∃ α, λ > 0 ⇒ x ( t ) ≤ α x ( t 0 ) e − λ ( t − t 0 ) , ∀t ≥ t 0
Side 1 af 4
Lyapunov Theory ”Non-Autonomous Systems”
Def.
Uniform stability: 4.5, 4.6
s. 104
• x ( t ) = 0 er uniformly stable
• ∃ r > 0 ⇒ x ( t 0 ) < r ⇒ x ( t ) → 0 uniformly
-------
Note: Invariant set theory can only be used for autonomous systems
-------
Def.
Positive definite & 4.7, 4.8
Decrescent functions s. 106
• V(0,t) = 0
• V(x,t) ≥ V0 ( x ), ∀t ≥ t 0
Side 2 af 4
Lyapunov Theory ”Non-Autonomous Systems”
Definition 8: ”Decrescent”
• V(0,t) = 0
• V( x , t ) ≤ V1 ( x ) , ∀t ≥ 0
Theorem
THEOREM (Non-autonomous Systems) 4.1
s. 107
1. V( t , x ) is positive definite
& ( t , x ) is negative semi-definite
2. V
then x = 0 is stable.
if further
3. V( t , x ) is decrescent
If D = R n and condition 1., the strengthened condition 2., condition 3., and the
condition
4. V0 ( x ) → ∞ for x → ∞
Side 3 af 4
Lyapunov Theory ”Non-Autonomous Systems”
Lemma
Barbalat’s Lemma (Non-autonomous Systems) 4.2
s. 123
g is a real function and uniformly continuous for t ≥ 0 . If the limit of the integral
t
∫ 0 g(τ)dτ
eksists for t → ∞ and is a real number, then lim g ( t ) = 0 .
t →∞
----
Remark: If g ∈ L 2 and g& ( t ) is limited ⇒ lim g ( t ) = 0 .
t →∞
----
Uniform Continuous:
Lemma
Lyapunov-like Lemma (Non-autonomous Systems) 4.3
s. 124
& ( x , t ) → 0 for t → ∞ .
then V
Side 4 af 4