Jordan Canonical Form Generalized Modes Cayley-Hamilton Theorem
Jordan Canonical Form Generalized Modes Cayley-Hamilton Theorem
Lall
I generalized modes
I Cayley-Hamilton theorem
1
Jordan canonical form
any matrix A ∈ Rn×n can be put in Jordan canonical form by a similarity transfor-
mation, i.e.
J1
T −1 AT = J =
..
.
Jq
where
λi 1
..
λi . ∈ Cni ×ni
Ji =
..
. 1
λi
Pq
is called a Jordan block of size ni with eigenvalue λi (so n = i=1 ni )
I J is upper bidiagonal
so from dim null(λI − A)k for k = 1, 2, . . . we can determine the sizes of the Jordan
blocks associated with λ
3
Jordan canonical form
4
Generalized eigenvectors
suppose T −1 AT = J = diag(J1 , . . . , Jq )
express T as
T = [T1 T2 · · · Tq ]
n×ni
where Ti ∈ C are the columns of T associated with ith Jordan block Ji
we have ATi = Ti Ji
let Ti = [vi1 vi2 · · · vini ]
then we have:
Avi1 = λi vi1 ,
i.e., the first column of each Ti is an eigenvector associated with e.v. λi
for j = 2, . . . , ni ,
Avij = vi j−1 + λi vij
5
Jordan form LDS
consider LDS ẋ = Ax
by change of coordinates x = T x̃, can put into form x̃˙ = J x̃
system is decomposed into independent ‘Jordan block systems’ x̃˙ i = Ji x̃i
λ λ λ
6
Resolvent, exponential of Jordan block
7
Resolvent, exponential of Jordan block
8
Generalized modes
consider ẋ = Ax, with
x(0) = a1 vi1 + · · · + ani vini = Ti a
where
S1T
.
T −1 = ..
SqT
p(A) = a0 I + a1 A + · · · + ak Ak
X (A) = A2 − 5A − 2I
7 10 1 2
= −5 − 2I
15 22 3 4
=0
10
Cayley-Hamilton theorem
Ap ∈ span I, A, A2 , . . . , An−1
11
Cayley-Hamilton theorem
as
I = A −(a1 /a0 )I − (a2 /a0 )A − · · · − (1/a0 )An−1
(A is invertible ⇔ a0 6= 0) so
12
Proof of C-H theorem
X (s) = (s − λ1 ) · · · (s − λn )
since
X (A) = X (T ΛT −1 ) = T X (Λ)T −1
it suffices to show X (Λ) = 0
X (Λ) = (Λ − λ1 I) · · · (Λ − λn I)
= diag(0, λ2 − λ1 , . . . , λn − λ1 ) · · · diag(λ1 − λn , . . . , λn−1 − λn , 0)
=0
13
Proof of C-H theorem
n
··· i
0 1 0
n1 0
X (Ji ) = (Ji − λ1 I) · · · 0 1 ··· n
· · · (Ji − λq I) q = 0
..
.
| {z }
(Ji −λi I)ni
14