Svojstvene vrijednosti i svojstveni vektori
U linearnoj algebri, svojstveni vektor ili vlastiti vektor linearnog operatora vektor je koji se u transformaciji mijenja samo za skalarni faktor koji se zove svojstvena ili vlastita vrijednost operatora pridružena tom svojstvenom vektoru.[1][2] Skup svih svojstvenih vrijednosti linearnog operatora naziva se spektar.[3]
![](http://up.wiki.x.io/wikipedia/commons/thumb/3/3c/Mona_Lisa_eigenvector_grid.png/320px-Mona_Lisa_eigenvector_grid.png)
Formalno, ako je linearni operator u vektorskom prostoru nad poljem , skalar iz je svojstvena vrijednost, a vektor (različit od nulvektora) svojstveni vektor operatora ako je rezultat djelovanja operatora na isti taj vektor pomnožen s :[1]
- .
Geometrijski bi svojstveni vektor bio svaki onaj vektor koji pokazuje u smjeru u kojem linearna transformacija vektore rasteže po pravcu ali ih ne rotira.
Kada se fiksira baza n-dimenzionalnog vektorskog prostora, svaki se vektor može prikazati kao stupac s n redaka u kojima se nalaze koeficijenti linearne kombinacije vektora baze koja daje taj vektor. Svaki se operator može prikazati kao matrica reda n×n čije je djelovanje na vektor dano njihovim umnoškom. Uvjet da je svojstveni vektor operatora u matričnom zapisu glasi
- .
Zbog ove korespondencije u konačnodimanzionalnom vektorskom prostoru vlastite vrijednosti i vlastiti vektori mogu se definirati u jeziku teorije matrica ili u jeziku linearnih operatora i linearnih transformacija.
Kada svojstveni vektori tvore bazu n-dimenzionalnog vektorskog prostora, djelovanje operatora na bilo koji vektor jednostavno se prikazuje kao produkt dijagonalne matrice svojstvenih vrijednosti i vektora prikazanog u bazi svojstvenih vektora. Štoviše, kad god u takvom prostoru postoji n međusobno različitih svojstvenih vrijednosti linearnog operatora, skup pripadnih svojstvenih vektora je linearno nezavisan i tvori bazu vektorskog prostora.[4] Za operator čiji je matrični zapis u bazi sastavljenoj od njegovih svojstvenih vektora dijagonalna matrica kaže se da je dijagonalizabilan.[3]
Svojstvene vrijednosti i svojstveni vektori važni su u analizi linearnih operatora. Izvorno su došli iz proučavanja glavnih osi rotacije, a sada se naširoko primjenjuju u analizi stabilnosti, analizi vibracija, proračunima atomskih orbitala i općenito u kvantnoj mehanici, prepoznavanju lica i dijagonalizaciji matrica.
Primjeri
urediLinearne transformacije mogu se javiti u mnogo oblika, preslikavajući vektore u raznim apstraktnim vektorskim prostorima. Samim time i svojstveni vektori mogu poprimiti različite oblike.
Linearna transformacija ravnine
urediUzmimo za primjer linearnu transformaciju ravnine, A, koja vektor preslikava u .
U matričnom zapisu ovo je
- .
Traže se vektori i vrijednosti parametra za koje je , odnosno , gdje je I jedinična matrica (matrica s jedinicama na dijagonali i nulama drugdje). Ova jednadžba imat će rješenja različita od nulvektora ako i samo ako je determinanta , imena svojstveni ili karakteristični polinom operatora A, jednaka nuli:
- .
Iz jednadžbe slijedi da su svojstvene vrijednosti operatora i . Njima pripadni svojstveni vektori dobiju se rješavanjem sustava jednadžbi za komponente vektora,
za svaku od dobivenih svojstvenih vrijednosti. Ti vektori su i (uz sve ostale koje se dobiju njihovim skaliranjem). Uzme li se vektore za bazu, a oni su u ovom slučaju ortogonalni pa se i koordinatne osi Kartezijevog sustava mogu usmjeriti po njima, matrica linearne transformacije ravnine postaje dijagonalna . Iz nje se odmah vidi da transformacija ravninu rasteže u smjeru vektora koji je simetrala 1. i 3. kvadranta originalnog koordinatnog sustava (prikazano na slici), a ne dira je u smjeru vektora koji je simetrala 2. i 4. kvadranta.
Operatori u prostoru funkcija
urediLinearna transformacija može biti i diferencijalni operator u prostoru funkcija pa su u tom slučaju svojstveni vektori funkcije koje se nazivaju svojstvenim funkcijama i koje se skaliraju tim diferencijalnim operatorom, na primjer ovako:
- .
Funkcije svojstene su funkcije diferencijalnog operatora sa svojstvenim vrijednostima jer očito vrijedi
- .
U primijenjenoj matematici važan je Sturm–Liouvilleov problem u kojem se traže funkcije i parametri za koje postoje rješenja diferencijalne jednadžbe drugoga reda,
često podložna određenim rubnim uvjetima. Sturm-Liouvilleova teorija proučava uvjete postojanja, asimptotsko ponašanje i potpunost (u smislu baze vektorskog prostora) rješenja koja su svojstvene funkcije i svojstvene vrijednosti hermitskog diferencijalnog operatora u pogodnom prostoru funkcija.
U fizici se svojstvene vrijednosti i svojstveni vektori pojavljuju u mnogim područjima, napose tamo gdje se rješavaju separabilne parcijalne diferencijalne jednadžbe. Vremenski neovisna Schrödingerova jednadžba u jednoj dimenziji Sturm–Liouvilleov je problem čije su svojstvene vrijednosti svojstvene (karakteristične) energije kvantnog sustava, a svojstveni vektori valne funkcije koje su za različite svojstvene vrijednosti međusobno ortogonalne — skalarni produkt definiran u Hilbertovom prostoru kvadratno integrabilnih funkcija za njih iščezava. U teoriji vibracija molekula i čvrstih tijela također se javljaju operatori čije vlastite vrijednosti određuju frekvencije takozvanih normalnih modova danog sustava; superpozicija normalnih modova koja odgovara početnim i rubnim uvjetima daje ukupno gibanje sustava, a sustav na pobudu najjače odgovara u blizini frekvencija čistih modova.
Povijest
urediPrve ideje o svojstvenim vrijednostima pojavile su se u proučavanju kvadratnih formi i diferencijalnih jednadžbi.
U 18. stoljeću Leonhard Euler proučavao je rotacijsko gibanje krutog tijela i otkrio važnost glavnih osi. Godine 1751. dokazuje da se tijelu, kojeg god oblika bilo, uvijek može pripisati os koja prolazi njegovim centrom masa, a oko koje se ono slobodno i jednoliko okreće.[5] Johann Segner 1755. pokazuje da kruto tijelo ima tri glavne osi.[6] Joseph-Louis Lagrange shvaća da su glavne osi svojstveni vektori tenzora inercije.[7]
Početkom 19. stoljeća Augustin-Louis Cauchy uvidio je da se rezultati Eulera i Lagrangea mogu koristiti za klasifikaciju kvadrika i generalizirao ga na proizvoljan broj dimenzija.[7] Cauchy je također prvi upotrijebio naziv »karakteristični korijen« (fr. racine caractéristique) za ono što se danas naziva svojstvena ili vlastita vrijednost;[8] njegov naziv i dalje se rabi za karakteristične polinome.
Joseph Fourier poslužio se radom Lagrangea i Pierre-Simona Laplacea kako bi riješio toplinsku (difuzijsku) jednadžbu separacijom varijabla u svojoj poznatoj knjizi Théorie analytique de la chaleur iz 1822. godine.[9] Charles-François Sturm razradio je Fourierove zamisli i pokazao ih Cauchyju, koji ih je onda kombinirao sa svojim idejama i došao do činjenice da realne simetrične matrice imaju realne vlastite vrijednosti.[7] Charles Hermite ovo je 1855. proširio na ono što se danas naziva hermitskim matricama.[9]
Otprilike u isto vrijeme Francesco Brioschi dokazao je da vlastite vrijednosti ortogonalnih matrica leže na jediničnoj kružnici,[7] dok je Alfred Clebsch pronašao odgovarajući rezultat za antisimetrične matrice.[9] Karl Weierstrass pojašnjava važan aspekt u Laplaceovoj teoriji stabilnosti, shvaćajući da defektne matrice mogu uzrokovati nestabilnost.[7]
U međuvremenu je Joseph Liouville proučavao probleme s vlastitim vrijednostima slične Sturmovim; disciplina koja je izrasla iz njihova rada sada se naziva Sturm–Liouvilleova teorija.[9] Hermann Schwarz proučavao vlastite vrijednosti Laplaceove jednadžbe pretkraj 19. stoljeća, dok je Poincaré proučavao Poissonovu jednadžbu nekoliko godina kasnije.[9]
Početkom 20. stoljeća David Hilbert proučava vlastite vrijednosti integralnih operatora promatrajući ih kao beskonačne matrice.[9]
Prvi numerički algoritam za izračunavanje vlastitih vrijednosti i vlastitih vektora 1929. godine objavio je Richard von Mises. Jednu od najpopularnijih metoda danas, QR algoritam koji se zasniva na QR dekompozicija matrica, neovisno su predložili John Francis[10] i Vera Kublanovskaya[11] 1961. godine.
Izvori
uredi- ↑ a b Bakić, Nenad. Linearna algebra (PDF) (skripta). Prirodoslovno-matematički fakultet Sveučilišta u Zagrebu. Inačica izvorne stranice arhivirana (PDF) 24. srpnja 2021.
- ↑ Kraljević, Hrvoje. 2007. Vektorski prostori (PDF) (skripta). Prirodoslovno-matematički fakultet Sveučilišta u Zagrebu. Inačica izvorne stranice arhivirana 7. studenoga 2020. Pristupljeno 2. srpnja 2021.CS1 održavanje: bot: nepoznat status originalnog URL-a (link)
- ↑ a b Franušić, Zrinka; Šiftar, Juraj. 28. siječnja 2021. Linearna algebra 2: skripta za nastavničke studije na PMF-MO (PDF). Prirodoslovno-matematički fakultet u Zagrebu
- ↑ Diagonalizable operators and matrices (PDF). Linear Algebra (PDF). mathcs.clarku.edu (skripta). Pristupljeno 25. srpnja 2021.
- ↑ Euler, Leonhard. 1760. Du mouvement d'un corps solide quelconque lorsqu'il tourne autour d'un axe mobile. Histoire de l'Académie royale des sciences et des belles lettres de Berlin (francuski). Akademie der Wissenschaften der DDR. str. 212
- ↑ Segner, Johann Andreas. 1755. Specimen Theoriae Turbinum (latinski). str. 29
- ↑ a b c d e Hawkins, Thomas. 1. veljače 1975. Cauchy and the spectral theory of matrices. Historia Mathematica (engleski). 2 (1): 1–29. doi:10.1016/0315-0860(75)90032-4. ISSN 0315-0860
- ↑ Cauchy, Augustin. 1839. Mémoire sur l'intégration des équations linéaires. Gallica (francuski). Pristupljeno 18. listopada 2021.
- ↑ a b c d e f Kline, Morris. 1972. Mathematical thought from ancient to modern times. New York. ISBN 0-19-501496-0. OCLC 517172
- ↑ Francis, John. 1. ožujka 1961. The QR Transformation A Unitary Analogue to the LR Transformation--Part 1. The Computer Journal. 4 (3): 265–271. doi:10.1093/comjnl/4.3.265. ISSN 0010-4620
- ↑ Kublanovskaya, V.N. Siječanj 1962. On some algorithms for the solution of the complete eigenvalue problem. USSR Computational Mathematics and Mathematical Physics. 1 (3): 637–657. doi:10.1016/0041-5553(63)90168-x. ISSN 0041-5553