Problem lastnih vrednosti 1 / 20

Σχετικά έγγραφα
13. Jacobijeva metoda za računanje singularnega razcepa

Problem lastnih vrednosti

8. Posplošeni problem lastnih vrednosti

Iterativno reševanje sistemov linearnih enačb. Numerične metode, sistemi linearnih enačb. Numerične metode FE, 2. december 2013

Funkcijske vrste. Matematika 2. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 2. april Gregor Dolinar Matematika 2

Numerične metode 2 (finančna matematika)

Podobnost matrik. Matematika II (FKKT Kemijsko inženirstvo) Diagonalizacija matrik

Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 22. oktober Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 21. november Gregor Dolinar Matematika 1

11. Posplošeni problemi lastnih vrednosti

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 5. december Gregor Dolinar Matematika 1

Diferencialna enačba, v kateri nastopata neznana funkcija in njen odvod v prvi potenci

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 14. november Gregor Dolinar Matematika 1

matrike A = [a ij ] m,n αa 11 αa 12 αa 1n αa 21 αa 22 αa 2n αa m1 αa m2 αa mn se števanje po komponentah (matriki morata biti enakih dimenzij):

Dragi polinom, kje so tvoje ničle?

Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 15. oktober Gregor Dolinar Matematika 1

11.5 Metoda karakteristik za hiperbolične PDE

KODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK

Lastne vrednosti in lastni vektorji

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 10. december Gregor Dolinar Matematika 1

Reševanje sistema linearnih

Matrike. Poglavje II. Matrika je pravokotna tabela realnih števil. Na primer: , , , 0 1

V tem poglavju bomo vpeljali pojem determinante matrike, spoznali bomo njene lastnosti in nekaj metod za računanje determinant.

Splošno o interpolaciji

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 12. november Gregor Dolinar Matematika 1

Tretja vaja iz matematike 1

Kvadratne forme. Poglavje XI. 1 Definicija in osnovne lastnosti

Dodatna poglavja iz linearne algebre za 1. letnik finančne matematike na FMF. Primož Moravec

Osnove linearne algebre

Oznake in osnovne definicije

3.1 Reševanje nelinearnih sistemov

Reševanje sistemov linearnih enačb

Inverzni problem lastnih vrednosti evklidsko razdaljnih matrik

Linearne preslikave. Poglavje VII. 1 Definicija linearne preslikave in osnovne lastnosti

IZPIT IZ ANALIZE II Maribor,

5.1 Predpogojevanje. K 1 Ax = K 1 b,

Lastne vrednosti in vektorji

Definicija. definiramo skalarni produkt. x i y i. in razdaljo. d(x, y) = x y = < x y, x y > = n (x i y i ) 2. i=1. i=1

Algebraične strukture

Uporabna matematika za naravoslovce

Matematika 1. Gabrijel Tomšič Bojan Orel Neža Mramor Kosta

SKUPNE PORAZDELITVE VEČ SLUČAJNIH SPREMENLJIVK

Gimnazija Krˇsko. vektorji - naloge

Spoznajmo sedaj definicijo in nekaj osnovnih primerov zaporedij števil.

Booleova algebra. Izjave in Booleove spremenljivke

Zbirka rešenih izpitnih nalog iz numeričnih metod

DISKRETNA FOURIERJEVA TRANSFORMACIJA

Osnove matematične analize 2016/17

1. Trikotniki hitrosti

II. LIMITA IN ZVEZNOST FUNKCIJ

Kontrolne karte uporabljamo za sprotno spremljanje kakovosti izdelka, ki ga izdelujemo v proizvodnem procesu.

Iterativne numerične metode v linearni algebri

Navadne diferencialne enačbe

Analiza 2 Rešitve 14. sklopa nalog

Numerična analiza. Bor Plestenjak. Fakulteta za matematiko in fiziko. Jadranska 21, 4. nadstropje, soba 4.04

Izpeljava Jensenove in Hölderjeve neenakosti ter neenakosti Minkowskega

INŽENIRSKA MATEMATIKA I

Poglavje 2. Sistemi linearnih enačb

UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA SANDRA BOLTA LASTNE VREDNOSTI GRAFA DIPLOMSKO DELO

Matematika I (VS) Univerza v Ljubljani, FE. Melita Hajdinjak 2013/14. Pregled elementarnih funkcij. Potenčna funkcija. Korenska funkcija.

Vektorski prostori s skalarnim produktom

Metoda glavnih komponent

Uvod v numerične metode (matematika)

Kotni funkciji sinus in kosinus

REˇSITVE. Naloga a. b. c. d Skupaj. FAKULTETA ZA MATEMATIKO IN FIZIKO Oddelek za matematiko Verjetnost 2. kolokvij 23.

Enočlenske metode veljajo trenutno za najprimernejše metode v numeričnem reševanju začetnih problemov. Skoraj vse sodijo v

Bor Plestenjak. Numerične metode. delovna verzija. verzija: 4. marec 2010

22. Kdaj sta dva vektorja vzporedna? FGG geodezija UNI Matematika I, 2005/ Kdaj so vektorji a 1, a 2,..., a n linearno neodvisni?

Funkcija je predpis, ki vsakemu elementu x iz definicijskega območja D R priredi neko število f (x) R.

Enačba, v kateri poleg neznane funkcije neodvisnih spremenljivk ter konstant nastopajo tudi njeni odvodi, se imenuje diferencialna enačba.

Numerično reševanje. diferencialnih enačb II

1 Fibonaccijeva stevila

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO MATEMATIKA II

Matematika 1. Gregor Dolinar. 2. januar Fakulteta za elektrotehniko Univerza v Ljubljani. Gregor Dolinar Matematika 1

Univerza v Ljubljani Fakulteta za računalništvo in informatiko MATEMATIKA. Polona Oblak

8. Navadne diferencialne enačbe

Matematika. BF Lesarstvo. Zapiski ob predavanjih v šolskem letu 2009/2010

*M * Osnovna in višja raven MATEMATIKA NAVODILA ZA OCENJEVANJE. Sobota, 4. junij 2011 SPOMLADANSKI IZPITNI ROK. Državni izpitni center

Poliedri Ines Pogačar 27. oktober 2009

1. Definicijsko območje, zaloga vrednosti. 2. Naraščanje in padanje, ekstremi. 3. Ukrivljenost. 4. Trend na robu definicijskega območja

ZBIRKA REŠENIH NALOG IZ MATEMATIKE II

Elementi spektralne teorije matrica

Delovna točka in napajalna vezja bipolarnih tranzistorjev

FAKULTETA ZA STROJNIŠTVO Matematika 4 Pisni izpit 22. junij Navodila

Uvod v numerične metode

Matematika. Funkcije in enačbe

Realne funkcije. Elementarne funkcije. Polinomi in racionalne funkcije. Eksponentna funkcija a x : R R + FKKT Matematika 1

Linearna algebra. Bojan Orel Fakulteta za računalništvo in informatiko

Uvod v numerične metode

VEKTORJI. Operacije z vektorji

Odvode odvisnih spremenljivk po neodvisni spremenljivki bomo označevali s piko: Sistem navadnih diferencialnih enačb prvega reda ima obliko:

Matematika. BF Lesarstvo. Zapiski ob predavanjih v šolskem letu 2010/2011

Kotne in krožne funkcije

Ispitivanje toka i skiciranje grafika funkcija

Funkcije več spremenljivk

Afina in projektivna geometrija

vezani ekstremi funkcij

DISKRIMINANTNA ANALIZA

Projekcije in zmanjšanje dimenzionalnosti podatkov

α i y n i + h β i f n i = 0, Splošni nastavek je k

Transcript:

Problem lastnih vrednosti 1 / 20

2 / 20 1 Uvod 2 Potenčna metoda 3 Inverzna iteracija 4 QR iteracija 5 Metode za simetrične matrike Sturmovo zaporedje Jacobijeva iteracija

3 / 20 Uvod Naj bo A R n n. Paru x C, x = 0, λ C rečemo lastni par za A,če je A x = λ x. Skalar λ je lastna vrednost, vektor x pa (desni) lastni vektor. Neničelni vektor y je levi lastni vektor, če je y H A = λ y H, kjer je H Hermitsko transponiranje (konjugiranje in navadno transponiranje). Dovolj je obravnavati problem desnih lastnih vektorjev.

4 / 20 Lema Levi in desni lastni vektorji matrike A, ki pripadajo različnim lastnim vrednostim, so ortogonalni. Iskanje lastnih vrednosti preko karakterističnega polinoma det(a λ I) ni dober pristop. Poznamo različne stabilne algoritme za računanje lastnih vrednosti in lastnih vektorjev. Izbor algoritma je odvisen od tega, kaj želimo izračunati: Ali je matrika majhna in polna, ali velika in razpršena? Ali je matrika simetrična (hermitska)? Ali potrebujemo vse lastne vrednosti? Ali poleg lastnih vrednosti potrebujemo tudi lastne vektorje?

5 / 20 Izrek Za vsako matriko A obstajata unitarna matrika U in zgornja trikotna matrika T, da je U H A U = T (Schurova forma). Izrek Za vsako realno matriko A obstajata ortogonalna matrika Q in kvazi zgornja trikotna matrika T, da je Q T A Q = T. Opomba Matrika T je kvazi zgornja trikotna v smislu, da ima samo na nekaterih diagonalnih mestih bloke 2 2, sicer pa je prava zgornja trikotna (ti bloki ustrezajo kompleksnim lastnim vrednostim).

6 / 20 Potenčna metoda Izberimo normirani vektor z 0 in generirajmo y k+1 = A z k, z k+1 = 1 y k+1 y k+1, k = 0, 1,... Dobimo zaporedje normiranih vektorjev, za katere se izkaže, da pogosto konvergirajo k lastnemu vektorju matrike A. Izrek Naj bo λ 1 dominantna lastna vrednost matrike A, torej λ 1 > λ 2 λ n. Če z 0 ni lastni vektor za kakšno od lastnih vrednosti λ j, j > 1, potem zaporedje vektorjev z k po smeri konvergira k lastnemu vektorju, ki pripada λ 1.

7 / 20 Opomba Metodo lahko predelamo tudi za primere: λ 1 = λ 2 > λ 3 λ n in λ 1 = λ 2. λ 1 = λ 2 > λ 3 λ n in λ 1 = λ 2. Kako končati iteracijo? Pogoj zaustavljanja z k+1 z k ε ni dober, ker zapordje konvergira le po smeri. Izkaže se, da pomembno vlogo pri pogoju zaustavitve igra Rayleighov kvocient ρ(x, A) = xh A x x H x.

8 / 20 Iteracijo ustavimo, ko je A z k ρ k z k ε, kjer je ρ k := ρ(z k, A). Hitrost konvergene je linearna. Odvisna je od razmerja λ 2 / λ 1. Čim bližje je razmerje 0, tem hitrejša je konvergenca. Ko poiščemo dominantno lastno verdnost λ 1, lahko problem reduciramo na iskanje naslednjih lastnih vrednosti (po velikosti).

9 / 20 Hotelingova redukcija za A = A T. Definiramo B := A λ 1 x 1 x 1. kjer je (λ 1, x 1 ), x 1 2 = 1, dominantni lastni par za A. Velja: B x 1 = 0 in B x k = λ k x k, k = 1. Potenčna metoda na B nam sedaj da drugo dominantno lastno vrednost matrike A. Pri tem matrike B ne izračunamo eksplicitno, saj je B z = A z λ 1 (x 1 z)x 1.

10 / 20 Householderjeva redukcija za splošno matriko. Poiščemo ortogonalno matriko Q, da je Q x 1 = k e 1 (Householderjevo zrcaljenje). Matrika B = Q A Q ima obliko [ λ1 b B = ]. 0 C Lastne vrednosti matrike C pa se ujemajo s preostalimi lastnimi vrednostmi matrike A.

11 / 20 Inverzna iteracija Največja lastna vrednost matrike A je hkrati najmanjša lastna vrednost matrike A 1. Če iščemo najmanjšo lastno vrednost, lahko torej uporabimo potenčno metodo na matriki A 1. Namesto množenja y k+1 = A 1 z k seveda rešujemo sistem A y k+1 = z k. Vemo, da je Rayleighov kvocient najboljši približek za lastno vrednost, če poznamo pribliˇzek za lastni vektor. Kaj pa obratno? Denimo, da je σ približek za lastno vrednost. Kako izračunati pripadajoči lastni vektor? Rešitev: Izvajamo inverzno iteracijo na matriki A σ I. Če je σ točna lastna vrednost, pričakujemo težave, a v praksi nas iz tega spet rešijo numerične napake.

12 / 20 QR iteracija QR iteracija je trenutno najboljša numerična metoda za izračun vseh lastnih vrednosti splošne nesimetrične matrike. Osnovna varianta metode je A 0 = A k = 0, 1,... A k = Q k R k (QR razcep) A k+1 = R k Q k Lema Če ima matrika A lastne vrednosti s paroma različnimi absolutnimi vrednostmi, potem zaporedje matrik A k konvergira proti Schurovi formi.

13 / 20 Lema Za uporabno verzijo QR iteracije potrebujemo nekaj izboljšav: Matriko A najprej reduciramo na zgornjo Hessenbergovo z ortogonalnimi podobnostnimi transformacijami (Householder ali Givens). QR iteracijo potem uporabimo na zgornji Hessenbergovi obliki, saj velja spodnja trditev: Če je A zgornja Hessenbergova, se njena oblika med QR iteracijo ohranja. Ker je hitrost konvergence odvisna od razmerja med lastnimi vrednostmi, metodo izboljšamo s premiki.

14 / 20 Metode za simetrične matrike Za simetrične matrike poznamo posebne metode, ki izkoriščajo simetrijo in lastnosti simetričnih matrik. Večina temelji na dejstvu, da se da simetrično matriko ortogonalno podobno pretvoriti na simetrično tridiagonalno matriko (za simetrične matrike je zgornja Hessenebergova oblika v resnici tridiagonalna). Zato lahko predpostavimo, da je matrika A že simetrična tridiagonalna. Uporabimo lahko kar QR iteracijo s premikom. Sturmovo zaporedje. Jacobijeva matoda.

15 / 20 Sturmovo zaporedje Naj bo a 1 b 1 b 1 a 2 b 2 T =......... b n 2 a n 1 b n 1 b n 1 a n ireducibilna (b i = 0, i = 1, 2,..., n 1) tridiagonalna simetrična matrika. Naj bo T r vodilna r r podmatrika matrike T in Velja f r (λ) = det(t r λ I). f r+1 (λ) = (a r+1 λ) f r (λ) b 2 r f r 1 (λ), kjer je f 0 (λ) = 1, f 1 (λ) = a 1 λ.

16 / 20 Izrek Polinomi f r, r = 0, 1,..., n, tvorijo Sturmovo zaporedje, kar pomeni, da zanje velja: 1 f 0 (λ) = 0, za vsak λ. 2 Če je f r (λ 0 ) = 0 za r < n, potem je f r 1 (λ 0 ) f r+1 (λ 0 ) < 0. 3 Če je f n (λ 0 ) = 0, potem je f n 1 (λ 0 ) f n(λ 0 ) < 0. Posledica Ireducibilna tridiagonalna simetrična matrika ima enostavne lastne vrednosti. Pri fiksem λ 0 označimo z u(λ 0 ) število ujemanj predznakov v zaporedju števil f r (λ 0 ), r = 0, 1,..., n. Pri tem vsako notranjo ničlo štejemo za eno ujemanje, ničlo na koncu pa ne.

17 / 20 Lema Število u(λ 0 ) je enako številu lastnih vrednosti matrike T, ki so strogo večje od λ 0. Sedaj lahko k-to lastno vrednost po velikosti poiščemo z bisekcijo. Število λ k je namreč približek za k-to lastno vrednost, če je u(λ k ε) = k in u(λ k + ε) = k 1. Metoda je torej še posebej primerna za iskanje natančno določene lastne vrednosti (recimo tretje po velikosti).

18 / 20 Jacobijeva iteracija Matrike ne reduciramo na tridagonalno obliko. Z množenji z Givensovimi rotacijami z leve in desne jo poskušamo spremeniti v diagonalno. Če želimo v matriki A uničiti element na mestu (p, q), poiščemo givensovo rotacijo [ ] c s R =, s c da bo R [ app a pq a pq a qq ] [ ] λ1 0 R =. 0 λ 2

19 / 20 Izkaže se, da je kjer je Definicija t = c = Za matriko A R n n definiramo 1 1 + t 2, s = c t, sign(τ) τ + 1 + τ 2, off(a) = n j,k=1 j =k τ = a pp a qq 2 a pq. a jk 2. Vrednost off(a) je Frobeniusova norma matrike A brez diagonale.

20 / 20 Lema Če je matrika A dobljena iz A z enim korakom Jacobijeve metode na elementu (p, q), je off(a ) 2 = off(a) 2 2 a 2 pq. Z vsako Jacobijevo rotacijo se torej off(a) zmanjša. Postopek ponavljamo, dokler ni off(a) ε. Variante: Klasična varianta: uničujemo po absolutni vrednosti največji izvendiagonalni element. Ciklična varianta: vedno uničujemo v enakem vrstnem redu vse elemente izven diagonale. Pragovna varianta: vedno uničujemo v enakem vrstnem redu, a le elemente, ki po absolutni vrednosti presegajo neko predpisano (majhno) mejo.