2025. 1. 31. 14:45ㆍ선형시스템이론
Eigenvalue and Eigenvector
정의 : field K에 대한 vector space V 위의 linear transformation A:V→V가 주어졌다고 하자.
만약 어떤 v∈V와 λ∈K가
- v≠0
- Av=λv
를 만족시키면, v를 A의 고유벡터라고 하고, λ를 A의 (v에대응하는)고윳값이라고 한다.
Eigen decomposition
다음 식 AV=λV
은 n차원의 열벡터인 고유벡터 V와 고윳값 λ로 구성되며,
각각의 고윳값이 다르다고 가정하면
Av1=λ1v1Av2=λ2v2⋮Avn=λnvn
이는 A[v1v2⋯vn]=[v1v2⋯vn][λ10⋯0 0λ200⋮⋮⋱⋮00⋯λn]
A=VDV−1 : eigen decomposition
이는 similar transform의 하나의 예시이며 형태가 같다.
A행렬을 diagonalize 하였다!
eigenvector는 eigen space에서의 basis vector이다.
v1은 D가 존재하는 space에서의 basis vector와 같다.
Eigen decomposition : eigenvalue가 complex라면
만약 A가 symmetric 이라면 eigenvalue는 real이 보장된다.
A의 element는 다 real이고, eigenvalue가 complex라면 당연히 eigenvector도 complex이다.
- λ=a±jb
- v=u±jv
기존방법 :
A=VDV−1=[u+jvu−jv][a+jb00a−jb][u+jvu−jv]−1
새로운 방법 :
consider P=[−0.5j0.50.5j0.5], P−1=[j−j11]
A=VDV−1=VIDIV−1=V(PP−1)D(PP−1)V−1=VPP−1DP(VP)−1
VP=[vu]
P−1DP=[a−bba]
∴A=[u+jvu−jv][a+jb00a−jb][u+jvu−jv]−1=[vu][a−bba][vu]−1
(ifP=[−0.5j0.50.5j0.5])
autonomous linear system : ˙x=Ax
Autonomous : No input (u=0)
풀어쓰면
[˙x1˙x2⋮˙xn]=[110⋯12−17⋯−1⋮⋮⋮⋱⋮100⋯1][x1x2⋮xn]
이의 해는 ˙x1=x1+x2+⋯+xn˙x2=2x1−x2+7x3+⋯−xn⋮ 복잡하게 coupled dynamics로 되어 있다.
하지만 system matrix A=[100⋯0020⋯0⋮⋮⋮⋱⋮000⋯5]처럼 대각화 되었다면,
그 해는 ˙x1=x1˙x2=2x2⋮˙xn=5xn이며
x1=x10etx2=x20e2t⋮xn=xnoe5t 로 계산될 수 있다! uncoupled dynamics
nonautonomous linear system : ˙x=Ax+Buy=Cx+Du : state equation과 output equation
(참고로이것은˙x=f(x,u,t)와같다.gradient를생각.)
전달함수에서 분모의 차수 n이 분자의 차수 m보다 크면 (strictlyproper) D는 거의 0이 된다
1. 만약 eigenvalue λ 가 모두 다르면, eigenvector도 모두 다르다
2. 만약 λ가 반복된다면? eigenvector가 다를 수도 있지만, 다르지 않을 수 도 있다
nullspace vs eigenspace
nullspace는 어떤 행렬 A에 대해 Ax=0을 만족하는 모든 벡터 x들의 공간이다.
Null(A)={x∈Rn|Ax=0}
eigenspace는 특정한 고윳값 λ에 대한 고유벡터들로 이루어진 공간이다.
Eig(A,λ)={x≠0|(A−λI)x=0}
- 즉, 행렬 A에 대해 Ax=λx를 만족하는 모든 non-trivial 한 x벡터들의 집합
- 특정 λ에 대한 eigenspace는 nullspace의 개념과 비슷하지만, A−λI의 nullspace를 구하는 것이다.
Algebraic Multiplicity 대수적 중복도
정의 : 행렬 A의 특성 방정식 det(A−λI)=0
에서 고윳값 λ가 몇 번 중복되는지
예제 1:
A=[4004]
- 특성방정식 : det(A−λI)=(4−λ)2=0
- 고윳값 λ=4의 algebraic multiplicity는 2이다.
Geometric Multiplicity 기하적 중복도
정의 : 어떤 고윳값에 대응하는 eigenspace의 차원.
예제 1:
A=[4004]
A−4I=[4−4004−4]=[0000]
λ에 해당하는 eigenspace는
[0000][x1x2]=[00]
모든 벡터 x=[x1x2] 가 null space에 속한다.
null space는 전체 R2이고, 따라서 null sapce의 차원은 2이다.
따라서 Geometric multiplicity가 2가 된다.
- 항상 Algebraic mulitiplicity가 Geometric multiplicity 보다 크거나 같다.
- 행렬이 대각화가 가능하려면 두 개가 동일해야 한다.
만약 다르면? 대각화 불가..
Jordan decomposition을 사용
Av=λv
(A−λI)v1=0 : v1 은 eigenvector
(A−λI)v2=v1 : v2는 generalized eigenvector
→ (A−λI)2v2=0
→ v2는(A−λI)2의 nullspace에 존재
Av1=λv1
Av2=v1+λv2
A[v1v2]=[v1v2][λ10λ]
∴A=[v1v2][λ10λ][v1v2]−1 : Jordan decomposition
[λ10λ] : Jordan matrix
예시
A=[5105]
이 행렬의 특성 방정식은
det(A−λI)=[5−λ105−λ]=(5−λ)2=0
고윳값 λ=5 에 대해
- Algebraic multiplicity = 2
A−5∗I=[0100]
[0100][x1x2]=[00]
A−5∗I의 nullspace를 구하니 x=[x1x2]=[x10] 이므로,
eigenspace Eig(A,λ=5)=span{[10]}이다.
원점을 지나는 직선이므로 1차원이다.
- Geometric multiplicity = 1
Algebraic multiplicity와 Geometric multiplicity가 같지 않아 대각화가 불가능하며 Jordan decomposition을 수행해야 한다.

jordan block : jordan form에서 같은 eigenvalue들끼리 묶은 것. 주대각선에 고윳값이 있고, 바로 위에 1이 배치된 구조.
이를 위해 Generalized Eigenvector가 필요하다. Generalized Eigenvector는 다음을 만족하는 벡터 v이다.
(A−5I)v=u
여기서 u는 기존의 고유 벡터 [10]이다.
(A−5I)v=[10]
[0100][v1v2]=[10]
v2=1,v=[01]
Jordan basis P=[eigenvectorgeneraliedeigenvector]=[uv]=[1001]
결론 : Jordan Form 구성
J=[5105]
A=PJP−1
Matrix Exponential
taylor series 에서
et=1+t+t22!+t33!+⋯+tkk!+⋯
행렬에 대해 정의한다면
eAdef=I+A+A22!+A33!+⋯+Akk!+⋯
A=PBP−1PBP−1PBP−1=PB2P−1 라 하면
∴eA=ePBP−1=I+PBP−1+PB2P−12!+PB3P−13!+⋯=P(I+B+B22!+B33!+⋯)P−1=PeBP−1
참고로 eD=e[a00b]=[ea00eb]
원래 e[abcd]≠[eaebeced]
Let
A=VDV−1=[u+jvu−jv][a+jb00a−jb][u+jvu−jv]−1=[vu][a−bba][vu]−1
∴eA=VeDV−1=Ve[a+jb00a−jb]V−1=V[ea+jb00ea−jb]V−1=Vea[ejb00e−jb]V−1=Vea[cosb+jsinb00cosb−jsinb]V−1=eaVPP−1[cosb+jsinb00cosb−jsinb]PP−1V−1=ea[vu][cosb−sinbsinbcosb][vu]−1
e[a−bba]=ea[cosb−sinbsinbcosb]
Let M=[a−bba]=aI+bJ=a[1001]+b[0−110]
(I2=I,J2=[0−110][0−110]=−I)
eM=eaI+bJ=eaebJ
ebJ=I+bJ+(bJ)22!+(bJ)33!+(bJ)44!+(bJ)55!+⋯=I+bJ−b2I2!−b3J3!+b4I4!+b5J5!+⋯=(I−b2I2!+b4I4!+⋯)+(bJ−b3J3!+b5J5!+⋯)=cosbI+sinbJ=cosb[1001]+sinb[0−110]=[cosb−sinbsinbcosb]
∴e[a−bba]=eM=ea[cosb−sinbsinbcosb]
nilpotent matrix : 양의 정수 k에 대해, Nk=0을 만족하는 square matrix N
예시1.
A=[0100] 은 A2=0 이기 때문에 index 2 에서 nilpotent 하다.
예시2.
더 일반적으로, 주대각성분이 0인 n차원 triangular matrix는 index ≤n에서 nilpotent 하다.
B=[0216001200030000] 는 index 4에서 nilpotent 하다. B4=[0000000000000000]
Cayley-Hamilton 정리
고윳값이 포함된 방정식인 특성방정식에 고윳값 대신 행렬을 넣어도 성립한다.
A=[abcd]
특성방정 : det(A−λI)=0
|a−λbcd−λ|=λ2−(a+d)λ+ad−bc=0
λ대신 A를 대입
A2−(a+d)A+(ad−bc)I=0A2=(a+d)A−(ad−bc)I
Reference
https://en.wikipedia.org/wiki/Jordan_normal_form
https://deep-learning-study.tistory.com/324
'선형시스템이론' 카테고리의 다른 글
phase plane vs phase portrait 0 | 2025.02.06 |
---|---|
Inner Product Spaces, Orthogonality 0 | 2025.01.20 |
Linear Mappings and Matrices 0 | 2025.01.07 |
Linear Mappings 0 | 2025.01.05 |
Vector Spaces 0 | 2025.01.02 |