Beruflich Dokumente
Kultur Dokumente
Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications.
They may be distributed outside this class only with the permission of the Instructor.
10.0.1 Stability
x0 = θn =⇒ x(t) = θn ∀t
Definition 0.1 (Stable Eq.) xe = θn is stable ⇐⇒ ∀ x0 ∈ Rn , ∀t0 ∈ Rn the map t → x(t) = Φ(t, t0 )x0
is bounded for all t ≥ t0 .
Proof. (⇐=)
x(t) = Φ(t, t0 )x0 = Φ(t, 0)Φ(0, t0 )x0
since Φ(t, 0) → 0 as t → ∞ then kΦ(t, 0)k → 0 as t → ∞ and
thus x(t) → 0 as t → ∞.
(=⇒) By contradiction; assume that t → Φ(t, 0) does not tend to zero as t → ∞, i.e. ∃ i, j such that
Φij (t, 0) 6→ 0 as t → ∞
choose
0
· · ·
0
1
x0 =
0
· · ·
0
10-1
10-2 Lecture 10: Stability
Proposition 0.1 Consider the differential equation ẋ = Ax, x(0) = x0 . From the above expression:
and
∀λk ∈ σ(A), Re(λk ) < 0 &
{t 7→ exp(At) is bounded on R+ } ⇐⇒
mk = 1 when Re(λk ) = 0
Proposition 0.2 Consider the discrete time system x(k + 1) = Ax(k), k ∈ N, with x(0) = x0 . Then for
k ∈ N, x(k) = Ak x0 . From the above equation, we have that
k
A → 0 as k → ∞ ⇐⇒ {∀ λi ∈ σ(A), |λi | < 1}
and
∀λi ∈ σ(A), |λi | ≤ 1 &
k → Ak is bounded on N+ ⇐⇒
mi = 1 when |λi | = 1
Suppose we are given ẋ = Ax, x(0) = x0 , A ∈ Cn×n , x ∈ Cn . Call t 7→ x(t) the exact solution
x(t) = exp(At)x0 . Note that t 7→ x(t) is analytic in t. Call (ξ0 , ξ1 , . . .) the sequence of computed val-
ues.
So if we perform repeatedly this step starting at t0 = 0, we have the computed sequence {ξi }∞
0 by
ξm = (I + hA)m x0 , m = 0, 1, 2, . . .
From the spectral mapping theorem and the above equation for ξm we have the following.
Example. Consider
ẋ(t) = λx(t)
with λ ∈ C. Then the equation is stable if Re(λ) ≤ 0. In this case the system is exponentially decaying
lim x(t) = 0
t→∞
Fact. Suppose σ(A) ⊂ C◦− (equiv., the origin is exponentially stable). Let h0 be the largest positive h such
that
max |1 + hλi | = 1
i
Under these conditions,
1. {ξm }∞
0 → 0 exponentially for all ξ0 iff h ∈ (0, h0 ).
2. if h > h0 , then for almost all x0 , the sequence of computed values {ξk }∞ ∞
0 is such that {kξm }0 grows
exponentially.
Interpretation. Thus even if σ(A) ⊂ C◦− (and hence the exact solution x(t) → 0 exponentially), for h > h0 ,
for almost all x0 , the sequence of computed vectors {kξm k}∞
0 blows up. It is for this reason that in practice
we often prefer the backward Euler method.
Backward Euler:
For small h > 0, we have that for any tk ∈ R,
ξm = (I − hA)−m x0 , m = 0, 1, 2, . . .
Now, the spectrum of (I − hA)−1 is {(1 − hλi )−1 }σi=1 . Hence by the above expression for ξm , we have
ξm → 0 as m → ∞
⇐⇒ ∀λi ∈ σ(A), |(1 − hλi )−1 | < 1
⇐⇒ ∀λi ∈ σ(A), |1 − hλi | > 1
Note that if Re(λi ) < 0, then |1 − hλi | > 1, since h > 0. Thus we have shown the following result.
Example. Consider
ẋ(t) = λx(t)
with λ ∈ C. Then the equation is stable if Re(λ) ≤ 0. In this case the system is exponentially decaying
lim x(t) = 0
t→∞
Fact. If σ(A) ⊂ C◦− , then for all h > 0, for all x0 ∈ Cn , the computed sequence {ξm }∞
0 obtained via
backward Euler goes to zero exponentially.
This is very important in practice, because if h is unfortunately chosen too large the computed sequence
may lose accuracy but at least it will never blow up!
10.0.4 LTI
remark: for the time-invariant case, asymptotic stability is equivalent to exponential stability.
Lecture 10: Stability 10-5
Theorem 0.2 (exponential stability ) the system ẋ = Ax is exponentially stable iff all of the eigen-
values of A are in the open left half plane.
Proof. Follows from properties of matrix exponential. (proof pg 185 of C& D; proof not provided in hespanha)
Note: When all the eigenvalues of A have strictly negative real parts, all entries of eAt converge to zero
exponentially fast, and therefore eAt converges to zero exponentially fast (for every matrix norm); i.e., there
exist constants c, λ > 0 such that
keAt k ≤ ce−λt , ∀t ∈ R
In this case, for a sub-multiplicative norm, we have
This means asymptotic stability is equivalent to exponential stability for LTI systems.