Algebra > Linear Algebra > Matrikker > Matrix Egenværdier >
Algebra > Linear Algebra > Matrikker > Matrix Dekomposition >

Udforsk dette emne i MathWorld Classroom

Eigenvektorer er et særligt sæt af vektorer, der er forbundet med et lineært system af ligninger (i.e., en matrixligning), der undertiden også kaldes karakteristiske vektorer, egentlige vektorer eller latente vektorer (Marcus og Minc 1988, s. 144).

Bestemmelsen af et systems egenvektorer og egenværdier er ekstremt vigtig inden for fysik og teknik, hvor den svarer til matrixdiagonalisering og forekommer i så almindelige anvendelser som stabilitetsanalyse, fysik for roterende legemer og små svingninger i vibrerende systemer, for blot at nævne nogle få. Hver egenvektor er parret med en tilsvarende såkaldt egenværdi. Matematisk set skal man skelne mellem to forskellige slags egenvektorer: venstre egenvektorer og højre egenvektorer. For mange problemer inden for fysik og teknik er det imidlertid tilstrækkeligt kun at tage hensyn til højre egenvektorer. Udtrykket “egenvektor”, der anvendes uden forbehold i sådanne anvendelser, kan derfor forstås som en højre egenvektor.

Dekomponering af en kvadratisk matrix A i egenværdier og egenvektorer kaldes i dette arbejde for egendekomponering, og det forhold, at denne dekomponering altid er mulig, så længe den matrix, der består af egenvektorerne i A, er kvadratisk, er kendt som egendekomponeringssætningen.

Definer en højre egenvektor som en kolonnevektor X_R, der opfylder

 AX_R=lambda_RX_R,
(1)

hvor A er en matrix, så

 (A-lambda_RI)X_R=0,
(2)

hvilket betyder, at de rigtige egenværdier må have nul determinant, dvs.e.,

 det(A-lambda_RI)=0.
(3)

Sådan defineres en venstre egenvektor som en rækkevektor X_L, der opfylder

 X_LA=lambda_LX_L.
(4)

Tager man transponeringen af hver side, får man

 (X_LA)^(T)=lambda_LX_L^(T),
(5)

som kan omskrives som

 A^(T)X_L^(T)=lambda_LX_L^(T).
(6)

Rediger igen for at få

 (A^(T)-lambda_LI)X_L^(T)=0,
(7)

hvilket betyder

 det(A^(T)-lambda_LI)=0.
(8)

Omskrivning giver

0=det(A^(T)-lambda_LI) = det(A^(T)-det(A^(T)-lambda_LI) lambda_LI^(T))
(9)
= det(A-lambda_LI)^(T)
(10)
= det(A-lambda_LI),
(11)

hvor det sidste trin følger af identiteten

 det(A)=det(A^(T)).
(12)

Geligning af ligningerne (◇) og (11), som begge er lig med 0 for vilkårlige A og X, kræver derfor, at lambda_R=lambda_L=lambda, dvs, venstre og højre egenværdi er ækvivalente, hvilket ikke er sandt for egenvektorer.

Lad X_R være en matrix dannet af kolonnerne af de højre egenvektorer og X_L være en matrix dannet af rækkerne af de venstre egenvektorer. Lad

 D=.
(13)

Derpå

AX_R = = X_RD
(14)
X_LA = DX_L
(15)

og

X_LAX_R = X_LX_RD
(16)
X_LAX_R = DX_LX_R,
(17)

 X_LX_RD=DX_LX_R.
(18)

Men denne ligning er af formen

 CD=DC
(19)

hvor D er en diagonal matrix, så det må være sandt, at C=X_LX_R også er diagonal. Især hvis A er en symmetrisk matrix, så er venstre og højre egenvektor blot hinandens transpositioner, og hvis A er en selvadjungeret matrix (dvs. den er hermitisk), så er venstre og højre egenvektor adjungerede matricer.

Eigenvektorer må ikke være lig med nulvektoren. Et skalarisk multiplum af en egenvektor, der ikke er nul, er ækvivalent med den oprindelige egenvektor. Derfor normaliseres egenvektorer ofte, uden tab af almenhed, til enhedslængde.

Mens en n×n matrix altid har n egenværdier, hvoraf nogle eller alle kan være degenererede, kan en sådan matrix have mellem 0 og n lineært uafhængige egenvektorer. For eksempel har matrixen kun den enkelte egenvektor (1,0).

Eigenvektorer kan beregnes i Wolfram Language ved hjælp af Eigenvektorer. Denne kommando returnerer altid en liste af længde n, så alle egenvektorer, som ikke er lineært uafhængige, returneres som nulvektorer. Egenvektorer og egenværdier kan returneres sammen ved hjælp af kommandoen Eigensystem.

Givet en 3×3 matrix A med egenvektorer x_1, x_2, og x_3 og tilsvarende egenværdier lambda_1, lambda_2 og lambda_3, så kan en vilkårlig vektor y skrives

 y=b_1x_1+b_2x_2+b_3x_3.
(20)

Ved anvendelse af matricen A,

Ay = b_1Ax_1+b_2Ax_2+b_3Ax_3
(21)
= lambda_1(b_1x_1+(lambda_2)/(lambda_1)b_2x_2+(lambda_3)/(lambda_1)b_3x_3),
(22)

 A^ny=lambda_1^n.
(23)

Hvis lambda_1lambda_2,lambda_3, og b_1!=0, følger det derfor, at

 lim_(n-infty)A^ny=lambda_1^nb_1x_1,
(24)

så gentagen anvendelse af matricen på en vilkårlig vektor resulterer på forbløffende vis i en vektor, der er proportional med egenvektoren med den største egenværdi.