Processing math: 100%

Diagonalization : Eigenvalues and Eigenvectors

2025. 1. 31. 14:45선형시스템이론

Eigenvalue and Eigenvector

정의 : field K에 대한 vector space V 위의 linear transformation A:VV가 주어졌다고 하자. 

만약 어떤 vVλK

  • v0
  • Av=λv

를 만족시키면, v를  A의 고유벡터라고 하고, λA(v)고윳값이라고 한다.

 

Eigen decomposition

다음 식 AV=λV

 

은 n차원의 열벡터인 고유벡터 V와 고윳값 λ로 구성되며,

각각의 고윳값이 다르다고 가정하면

Av1=λ1v1Av2=λ2v2Avn=λnvn

이는 A[v1v2vn]=[v1v2vn][λ100 0λ20000λn]

A=VDV1 : 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=VDV1=[u+jvujv][a+jb00ajb][u+jvujv]1

 

새로운 방법 : 

consider P=[0.5j0.50.5j0.5], P1=[jj11]

 

A=VDV1=VIDIV1=V(PP1)D(PP1)V1=VPP1DP(VP)1

VP=[vu]

P1DP=[abba]

 

A=[u+jvujv][a+jb00ajb][u+jvujv]1=[vu][abba][vu]1

(ifP=[0.5j0.50.5j0.5])

 

autonomous linear system : ˙x=Ax

Autonomous : No input (u=0)

풀어쓰면

[˙x1˙x2˙xn]=[110121711001][x1x2xn] 

이의 해는 ˙x1=x1+x2++xn˙x2=2x1x2+7x3+xn 복잡하게 coupled dynamics로 되어 있다.

하지만 system matrix A=[100002000005]처럼 대각화 되었다면, 

그 해는 ˙x1=x1˙x2=2x2˙xn=5xn이며

x1=x10etx2=x20e2txn=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)={xRn|Ax=0}

 

eigenspace는 특정한 고윳값 λ에 대한 고유벡터들로 이루어진 공간이다.

Eig(A,λ)={x0|(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] 

A4I=[440044]=[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

A5I=[0100]

[0100][x1x2]=[00]

A5I의 nullspace를 구하니 x=[x1x2]=[x10] 이므로,

eigenspace Eig(A,λ=5)=span{[10]}이다.

원점을 지나는 직선이므로 1차원이다.

  • Geometric multiplicity = 1

Algebraic multiplicity와 Geometric multiplicity가 같지 않아 대각화가 불가능하며 Jordan decomposition을 수행해야 한다.

 

Jordan block

jordan block : jordan form에서 같은 eigenvalue들끼리 묶은 것. 주대각선에 고윳값이 있고, 바로 위에 1이 배치된 구조.

 

이를 위해 Generalized Eigenvector가 필요하다. Generalized Eigenvector는 다음을 만족하는 벡터 v이다.

(A5I)v=u 

여기서 u는 기존의 고유 벡터 [10]이다.

(A5I)v=[10]

[0100][v1v2]=[10]

v2=1,v=[01]

 

Jordan basis P=[eigenvectorgeneraliedeigenvector]=[uv]=[1001]

 

결론 : Jordan Form 구성

J=[5105]

A=PJP1

 

Matrix Exponential

taylor series 에서

et=1+t+t22!+t33!++tkk!+

 

행렬에 대해 정의한다면

eAdef=I+A+A22!+A33!++Akk!+

 

A=PBP1PBP1PBP1=PB2P1 라 하면

eA=ePBP1=I+PBP1+PB2P12!+PB3P13!+=P(I+B+B22!+B33!+)P1=PeBP1

 

참고로 eD=e[a00b]=[ea00eb]

원래 e[abcd][eaebeced]


Let

A=VDV1=[u+jvujv][a+jb00ajb][u+jvujv]1=[vu][abba][vu]1

 

eA=VeDV1=Ve[a+jb00ajb]V1=V[ea+jb00eajb]V1=Vea[ejb00ejb]V1=Vea[cosb+jsinb00cosbjsinb]V1=eaVPP1[cosb+jsinb00cosbjsinb]PP1V1=ea[vu][cosbsinbsinbcosb][vu]1


e[abba]=ea[cosbsinbsinbcosb]

 

Let M=[abba]=aI+bJ=a[1001]+b[0110]

 

(I2=I,J2=[0110][0110]=I)

 

eM=eaI+bJ=eaebJ

 

ebJ=I+bJ+(bJ)22!+(bJ)33!+(bJ)44!+(bJ)55!+=I+bJb2I2!b3J3!+b4I4!+b5J5!+=(Ib2I2!+b4I4!+)+(bJb3J3!+b5J5!+)=cosbI+sinbJ=cosb[1001]+sinb[0110]=[cosbsinbsinbcosb]

 

e[abba]=eM=ea[cosbsinbsinbcosb]


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)λ+adbc=0

λ대신 A를 대입

A2(a+d)A+(adbc)I=0A2=(a+d)A(adbc)I  

 

Reference

https://en.wikipedia.org/wiki/Jordan_normal_form

https://deep-learning-study.tistory.com/324

https://en.wikipedia.org/wiki/Nilpotent

https://m.blog.naver.com/subprofessor/222847702113

'선형시스템이론' 카테고리의 다른 글

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