Komputerowa analiza zagadnień różniczkowych 3. Numeryczne zagadnienie własne

Podobne dokumenty
Wstęp do metod numerycznych 5. Numeryczne zagadnienie własne. P. F. Góra

Wstęp do metod numerycznych Faktoryzacja QR i SVD. P. F. Góra

WEKTORY I WARTOŚCI WŁASNE MACIERZY. = λ c (*) problem przybliżonego rozwiązania zagadnienia własnego dla operatorów w mechanice kwantowej

Wstęp do metod numerycznych Uwarunkowanie Eliminacja Gaussa. P. F. Góra

Zaawansowane metody numeryczne

Wartości i wektory własne

Wstęp do metod numerycznych 6. Numeryczne zagadnienie własne. P. F. Góra

Wstęp do metod numerycznych Eliminacja Gaussa Równania macierzowe. P. F. Góra

Wstęp do metod numerycznych Faktoryzacja Cholesky ego i QR. P. F. Góra

Wstęp do metod numerycznych Algebraiczna metoda gradientów sprzężonych. P. F. Góra

Wstęp do metod numerycznych Inne rodzaje faktoryzacji. P. F. Góra

Postać Jordana macierzy

Metody numeryczne. Zagadnienia własne. Janusz Szwabiński.

dr Mariusz Grządziel 15,29 kwietnia 2014 Przestrzeń R k R k = R R... R k razy Elementy R k wektory;

PODSTAWY AUTOMATYKI. MATLAB - komputerowe środowisko obliczeń naukowoinżynierskich - podstawowe operacje na liczbach i macierzach.

Wstęp do metod numerycznych SVD, metody iteracyjne i metoda gradientów. P. F. Góra

Diagonalizacja macierzy i jej zastosowania

Metody numeryczne. Janusz Szwabiński. Metody numeryczne I (C) 2004 Janusz Szwabiński p.1/50

Układy równań liniowych

Wykład 14. Elementy algebry macierzy

Wstęp do metod numerycznych Faktoryzacja macierzy. P. F. Góra

Met Me ody numer yczne Wykład ykład Dr inż. Mic hał ha Łanc Łan zon Instyt Ins ut Elektr Elektr echn iki echn i Elektrot Elektr echn olo echn

Zaawansowane metody numeryczne Komputerowa analiza zagadnień różniczkowych 4. Równania różniczkowe zwyczajne podstawy teoretyczne

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

1 Formy hermitowskie. GAL (Informatyka) Wykład - formy hermitowskie. Paweł Bechler

Wstęp do metod numerycznych Eliminacja Gaussa Faktoryzacja LU. P. F. Góra

Algebra Liniowa 2 (INF, TIN), MAP1152 Lista zadań

Zadania egzaminacyjne

Zastosowania wyznaczników

Wstęp do metod numerycznych Metody iteracyjne i metoda gradientów. P. F. Góra

Diagonalizacja macierzy i jej zastosowania

Wstęp do metod numerycznych Zagadnienia wstępne Uwarunkowanie. P. F. Góra

Wstęp do metod numerycznych Metody iteracyjne Algebraiczna metoda gradientów sprzężonych. P. F. Góra

5. Rozwiązywanie układów równań liniowych

Wyk lad 11 1 Wektory i wartości w lasne

a 11 a a 1n a 21 a a 2n... a m1 a m2... a mn x 1 x 2... x m ...

Własności wyznacznika

Zadania przygotowawcze, 3 kolokwium

UKŁADY ALGEBRAICZNYCH RÓWNAŃ LINIOWYCH

Macierze. Rozdział Działania na macierzach

10. Metody obliczeniowe najmniejszych kwadratów

Zadania z Algebry liniowej 4 Semestr letni 2009

UKŁADY ALGEBRAICZNYCH RÓWNAŃ LINIOWYCH

Wektory i wartości własne

Wstęp do metod numerycznych Eliminacja Gaussa i faktoryzacja LU. P. F. Góra

Wektory i wartości własne

Przekształcanie równań stanu do postaci kanonicznej diagonalnej

Przestrzenie wektorowe

Równania różniczkowe liniowe wyższych rzędów o stałych współcz

Rozwiązywanie układów równań liniowych

1 Podobieństwo macierzy

φ(x 1,..., x n ) = a i x 2 i +

3. Macierze i Układy Równań Liniowych

Metody numeryczne. materiały do wykładu dla studentów

Wstęp do metod numerycznych Zagadnienia wstępne Uwarunkowanie. P. F. Góra

Wstęp do metod numerycznych Równania macierzowe Faktoryzacja LU i Cholesky ego. P. F. Góra

1 Zbiory i działania na zbiorach.

Układy liniowo niezależne

jest rozwiązaniem równania jednorodnego oraz dla pewnego to jest toŝsamościowo równe zeru.

Algebra liniowa. 1. Macierze.

Metody numeryczne I Równania nieliniowe

KADD Minimalizacja funkcji

1 Macierz odwrotna metoda operacji elementarnych

Endomorfizmy liniowe

Wstęp do metod numerycznych Zagadnienia wstępne Uwarunkowanie. P. F. Góra

Zaawansowane metody numeryczne

Układy równań liniowych. Krzysztof Patan

1 Przestrzenie Hilberta

Rozwiazywanie układów równań liniowych. Ax = b

Diagonalizacja macierzy i jej zastosowania

Formy kwadratowe. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. wykład z algebry liniowej Warszawa, styczeń 2009

III. Układy liniowe równań różniczkowych. 1. Pojęcie stabilności rozwiązań.

Obliczenia naukowe Wykład nr 8

Układy równań liniowych

Lista. Przestrzenie liniowe. Zadanie 1 Sprawdź, czy (V, +, ) jest przestrzenią liniową nadr :

Wstęp do metod numerycznych 9. Miejsca zerowe wielomianów. P. F. Góra

Metody dekompozycji macierzy stosowane w automatyce

Algebra liniowa II. Lista 1. 1 u w 0 1 v 0 0 1

Układy równań i równania wyższych rzędów

Komputerowa analiza zagadnień różniczkowych 1. Równania różniczkowe zwyczajne podstawy teoretyczne. P. F. Góra

Komputerowa analiza zagadnień różniczkowych 1. Równania różniczkowe zwyczajne podstawy teoretyczne. P. F. Góra

Wstęp do metod numerycznych 11. Minimalizacja: funkcje wielu zmiennych. P. F. Góra

3. Wykład Układy równań liniowych.

= i Ponieważ pierwiastkami stopnia 3 z 1 są (jak łatwo wyliczyć) liczby 1, 1+i 3

0 + 0 = 0, = 1, = 1, = 0.

Metoda eliminacji Gaussa. Autorzy: Michał Góra

Matematyka 2. Równania różniczkowe zwyczajne rzędu drugiego

Wyznaczanie wartości i wektorów własnych macierzy (problem własny)

Wyk lad 5 W lasności wyznaczników. Macierz odwrotna

z = x + i y := e i ϕ z. cos ϕ sin ϕ = sin ϕ cos ϕ

Analiza numeryczna Lista nr 3 (ćwiczenia) x x 2 n x.

D1. Algebra macierzy. D1.1. Definicje

Egzamin z Metod Numerycznych ZSI, Egzamin, Gr. A

Matematyka dyskretna dla informatyków

Wykład z równań różnicowych

Komputerowa analiza zagadnień różniczkowych 6. Metoda diagramowa. Obszary stabilności. P. F. Góra

Treść wykładu. Układy równań i ich macierze. Rząd macierzy. Twierdzenie Kroneckera-Capellego.

Stosowana Analiza Regresji

Iloczyn skalarny. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. 10. wykład z algebry liniowej Warszawa, grudzień 2013

1 Macierze i wyznaczniki

Transkrypt:

Komputerowa analiza zagadnień różniczkowych 3. Numeryczne zagadnienie własne P. F. Góra http://th-www.if.uj.edu.pl/zfs/gora/ semestr letni 2007/08

Wektory i wartości własne definicje Niech A C N N. Jeżeli istnieje taki niezerowy wektor x R C N, że Ax R = λ R x R, to λ R nazywam prawostronna wartościa własna macierzy A, zaś wektor x R nazywam prawostronnym wektorem własnym macierzy A do wartości własnej λ R. Niech A C N N. Jeżeli istnieje taki niezerowy wektor x L C N, że x L A = λ Lx L, to λ L nazywam lewostronna wartościa własna macierzy A, zaś wektor x L nazywam lewostronnym wektorem własnym macierzy A do wartości własnej λ L. Zbiór wszystkich prawostronnych (lewostronnych) wartości własnych macierzy nazywam prawostronnym (lewostronnym) widmem macierzy. 3. Numeryczne zagadnienie własne 2

Twierdzenie: Lewostronne i prawostronne widma danej macierzy sa identyczne. Wobec powyższego twierdzenia, można mówić po prostu o widmie macierzy. Uwaga: Definicję widma w przestrzeniach nieskończenie wymiarowych należy zmodyfikować! Twierdzenie: Lewostronne i prawostronne wektory własne danej macierzy, odpowiadajace różnym wartościom własnym, sa ortogonalne. 3. Numeryczne zagadnienie własne 3

Dwie macierze A, B nazywam podobnymi, jeśli istnieje taka macierz odwracalna S, że A = S 1 BS. Twierdzenie: Widma macierzy podobnych sa takie same. Jeżeli macierz jest podobna do macierzy diagonalnej, macierz tę nazywam diagonalizowalna. Uwaga: Nie każda macierz jest diagonalizowalna na przykład macierz [ ] 1 1 0 1 nie jest diagonalizowalna. 3. Numeryczne zagadnienie własne 4

Obserwacja: Jeśli macierz jest diagonalizowalna, jej postać diagonalna ma na głównej przekatnej wartości własne (i zera wszędzie poza ta przekatn a). Twierdzenie: Niech A C N N będzie pewna macierza posiadajac a N niezależnych prawostronnych wektorów własnych. Niech X będzie macierza, której kolumnami sa te wektory. Wówczas X 1 AX jest macierza diagonalna. Obserwacja: Diagonalizowalna macierz A C N N ma N niezależnych prawostronnych wektorów własnych. Uwaga: Jeśli A R N N, macierz ta może mimo to mieć zespolone wartości własne. 3. Numeryczne zagadnienie własne 5

Twierdzenie: Niech λ będzie wartościa własna macierzy A C N N. Wówczas λ spełnia równanie det [A λi] = 0. (1) Równanie (1) nazywa się równaniem charakterystycznym macierzy A. Dowód. Jeżeli λ jest wartościa własna A, musi istnieć wektor x 0 taki, że Ax = λx, a więc spełniajacy równanie [A λi] x = 0. (2) Równanie (2) może mieć nietrywialne rozwiazania tylko jeżeli zachodzi (1) wiemy zaś, że równanie (2) ma nietrywialne rozwiazanie, jako że z definicji wartości własnej wynika, iż wektor x, spełniajacy równanie (2), istnieje. 3. Numeryczne zagadnienie własne 6

Obserwacja: Lewa strona równania charakterystycznego (1) jest wielomianem stopnia N w zmiennej λ. Uwaga: Niekiedy wartości własne definiuje się jako pierwiastki równania charakterystycznego (1). Moim zdaniem jest to podejście błędne. (W skończeniewymiarowych przestrzeniach różnice ujawniaja się dla macierzy niediagonalizowalnych.) Twierdzenie: Niech A R N N, przy czym A = A T. Wówczas A jest diagonalizowalna, jej wartości własne sa rzeczywiste, a wektory własne do różnych wartości własnych sa ortogonalne. Obserwacja: Unormowane wektory własne dowolnej macierzy symetrycznej, rzeczywistej tworza bazę ortonormalna w R N. 3. Numeryczne zagadnienie własne 7

Metoda potęgowa nie stosować, ale rozumieć Niech A R N N, przy czym A = A T. Bierzemy dowolny x R N i tworzymy przestrzeń K(A, x) = span{x, Ax, A 2 x, A 3 x,... }. (3) Przestrzeń taka nazywam przestrzenia Kryłowa. Ilu wymiarowa jest ta przestrzeń? dim K N. Ale czy zawsze osiagany jest wymiar maksymalny? Nie. Jeśli x = 0, dim K = 0. Jeśli x jest wektorem własnym A, dim K = 1. W ogólności A k x daży do jakiegoś wektora własnego A lub do liniowej kombinacji (niewielu) wektorów własnych A. Dlaczego? 3. Numeryczne zagadnienie własne 8

Przypuśćmy, że największa (na moduł) wartość własna A jest niezdegenerowana. Oznaczmy ja λ 1. Zbiór wszystkich wartości własnych A oznaczam {λ i } N i=1, a odpowiadaj ace im wektory własne oznaczam {u i } N i=1. Mamy x = N α i u i (4) i=1 Ax = A k x = N α i Au i = i=1 N α i λ k i u i i=1 N α i λ i u i Jeśli λ 1 > λ 2..., wynik iteracji (5) będzie dażył do wektora proporcjonalnego do u 1. i=1 (5a) (5b) 3. Numeryczne zagadnienie własne 9

Otrzymujemy zatem następujacy algorytm: Metoda potęgowa: x 0 = 0, x 1 dowolny, x 1 = 1 while x k x k 1 > ε y = Ax k x k+1 = y/ y λ = sgn ( x T k+1 x k) y end (6) 3. Numeryczne zagadnienie własne 10

Kiedy metoda potęgowa zawodzi? gdy na moduł największa wartość własna jest zdegenerowana gdy największa wartość własna jest na moduł zdegenerowana (istnieja wartości własne ±λ max ) gdy trzeba szukać wektorów własnych do innej niż maksymalna (na moduł) wartości własnej nie działa dla macierzy niesymetrycznych 3. Numeryczne zagadnienie własne 11

Odwrotna metoda potęgowa Czasami zachodzi potrzeba znalezienia najmniejszej (na moduł) wartości własnej. Niech A R N N, przy czym A = A T oraz det A 0. Jeśli w algorytmie (6) obliczenie y = Ax k zastapimy rozwiazaniem równania Ay = x k, metoda zbiegnie się do największej (na moduł) wartości własnej macierzy A 1, a więc do najmniejszej (na moduł) wartości własnej macierzy A. Wszystkie zastrzeżenia z poprzedniej strony stosuja się. 3. Numeryczne zagadnienie własne 12

Druga wartość własna Kiedy metoda potęgowa nie zbiegnie się do największej (na moduł) wartości własnej? Gdy w rozkładzie (4) współczynnik przy wektorze własnym odpowiadajacym tej wartości własnej znika. Widać zatem, że w metodzie potęgowej generowane wektory trzeba ortogonalizować do wektora odpowiadajacego wiodacej wartości własnej. Niech u 1 oznacza ten wektor własny. x 0 = 0, x 1 0 dowolny, x 1 = ( x 1 u T 1 x 1 u 1 ) / x1 u T 1 x 1 u 1 while x k x k 1 > ε y = Ax k y = y u T 1 y u 1 x k+1 = y/ y λ = sgn ( x T k+1 x k) y end Ortogonalizacja wewnatrz pętli potrzebna jest z uwagi na błędy zaokraglenia. Konieczność ortogonalizacji znacznie podraża algorytm. Gdyby szukać trzeciej wartości własnej, trzeba ortogonalizować do u 1 oraz u 2. I tak dalej. 3. Numeryczne zagadnienie własne 13 (7)

Diagonalizacja poprzez ciag ortogonalnych transformacji podobieństwa Niech P i, i = 1, 2,... będa macierzami ortogonalnymi. Niech A będzie dowolna macierza kwadratowa o tym samym wymiarze. Tworzymy ciag transformacji podobieństwa (a więc zachowujacych widmo) A P T 1 AP 1 P T 2 PT 1 AP 1P 2 P T M PT 2 PT 1 AP 1P 2 P M (8) Jeśli uda nam się dobrać macierze P i tak, że macierz występujaca po prawej stronie (8) jest diagonalna A diag = P T M PT 2 PT 1 AP 1P 2 P M (9) kolumny macierzy P 1 P 2 P M sa wektorami własnymi macierzy A (zobacz Twierdzenie na str. 5). 3. Numeryczne zagadnienie własne 14

Otrzymujemy zatem algorytm generowania wektorów własnych S = I for i = 1, M S = P i S end (10) Jeżeli potrzebne sa same wartości własne, bez wektorów własnych, nie trzeba akumulować wykonywanych transformacji podobieństwa, czyli wykonywać iteracji (10), co, typowo, znacznie obniża koszt operacji. Uwaga: W arytmetyce dokładnej na ogół nie osiagamy macierzy diagonalnej w skończonym ciagu transformacji (8). W artytmetyce ze skończona dokładnościa przerywamy transformacje, gdy wszystkie wyrazy pozadiagonalne spadna poniżej pewnego progu. 3. Numeryczne zagadnienie własne 15

Transformacja Householdera (I) Niech w R N, w = 1. Tworzę operator Widać, że P T = P. Ponadto P = I 2ww T. (11) P 2 = ( I 2ww T ) ( I 2ww T ) = I 4ww T + 4w w}{{ T w} w T = I (12) I A zatem operator (11) spełnia P T = P = P 1. (13) Operator (11) jest ortogonalnym operatorem rzutowym. 3. Numeryczne zagadnienie własne 16

Niech teraz x 0, x ê 1, gdzie ê 1 jest pierwszym wersorem. Definiuję P x = I 2 (x x ê 1) (x x ê 1 ) T x x ê 1 2. (14) Operator P x jest postaci (11). Zauważmy, że x x ê 1 2 = x 2 2 x x T ê 1 + x 2 ê T 1 ê1 = 2 ( x 2 ) x x 1, gdzie x1 jest pierwsza składowa wektora x. Obliczam P x x = x (x x ê 1) T x x 2 x x 1 (x x ê 1 ) = x (x x ê 1 ) = ± x ê 1. Operator (14) rzutuje ortogonalnie wektor x na pierwszy wersor. (15) 3. Numeryczne zagadnienie własne 17

Rozkład QR Niech A 1 R N N i niech P 1 oznacza operator (14) zbudowany na pierwszej kolumnie macierzy A 1. Widać, że A 2 = P 1 A 1 = 0 0...... 0, (16) gdzie oznacza jakaś liczbę. 3. Numeryczne zagadnienie własne 18

Kluczowe jest określenie kosztu operacji (16). Wydaje się, że ponieważ jest to mnożenie macierzowe, jego koszt wynosi O(N 3 ). To jednak nieprawda: Wiemy jaki jest wynik działania P 1 na pierwsz a kolumnę A 1, natomiast ponieważ P 1 ma strukturę (11), wynik działania P 1 na kolejne kolumny A 1 można obliczyć w czasie liniowym (N iloczyn skalarny plus odpowiednie ustawienie elementów), bez konieczności jawnej konstrukcji postaci macierzowej operatora P 1. Ponieważ kolumn jest N, cały koszt operacji (16) wynosi O(N 2 ), przy założeniu, że macierz A 1 jest pełna. Zauważmy, że operator P 1 jest ortogonalny i symetryczny. 3. Numeryczne zagadnienie własne 19

Zdefiniujmy teraz P 2 = 1 0 0 0. P 2 0, (17) gdzie P 2 jest operatorem (14) zbudowanym na drugiej kolumnie macierzy A 2, poczawszy on drugiego wiersza: P 2 R (N 1) (N 1). P 2 jest ortogonalny i symetryczny. 1 0 0 0. P2 0 A 3 = P 2 A 2 = P 2 P 1 A 1 = 0 0...... = 0 0 0 0...... 0 0, (18) 3. Numeryczne zagadnienie własne 20

Teraz definiuję P 3 = 1 0 0 0 0 1 0 0 0 0.. P 3 0 0, (19) gdzie P 3 jest operatorem (14) zbudowanym na trzeciej kolumnie macierzy A 3, poczawszy on trzeciego wiersza: P 3 R (N 2) (N 2). P 3 jest ortogonalny i symetryczny. I tak dalej. Postępujac tak (N 1) razy, otrzymuję P N 1... P 2 P 1 A = 0 0 0...... 0 0 0 0. (20) 3. Numeryczne zagadnienie własne 21

Macierz P N 1... P 2 P 1 jest ortogonalna, zatem ( ) P N 1... P 2 P 1 1 = P 1 P 2... P N 1 też jest ortogonalna. Udowodniliśmy zatem następujace Twierdzenie: Dla każdej macierzy A R N N istnieje rozkład A = QR, gdzie Q jest macierza ortogonalna, R jest macierza trójkatn a górna. Rozkład ten nazywamy rozkładem QR. Pokazaliśmy, że rozkładu QR można dokonać za pomoca transformacji Householdera sa także inne sposoby. 3. Numeryczne zagadnienie własne 22

Koszt rozkładu QR Pokazaliśmy, że jeden krok rozkładu QR pełnej macierzy kosztuje O(N 2 ). Trzeba wykonać N kroków, zatem koszt całego rozkładu pełnej macierzy kosztuje O(N 3 ). Koszt ten spada, jeśli macierz jest rzadka. Koszt rozkładu QR wynosi O(N 3 ) dla macierzy pełnej O(N 2 ) dla macierzy w postaci Hessenberga górna macierz Hessenberga o wymiarach 5 5 0 0 0 0 0 0 O(N) dla macierzy trójdiagonalnej 3. Numeryczne zagadnienie własne 23

Algorytm QR Niech macierz A ma rozkład QR postaci A = QR. czynników Q, R wziętych w odwrotnej kolejności Zauważmy, że iloczyn RQ = Q T AQ (21) jest ortogonalna transformacja podobieństwa macierzy A. 3. Numeryczne zagadnienie własne 24

Zachodzi następujace Twierdzenie: Algorytm QR. Niech A A 0 R N N. Niech A i = Q i R i będzie rozkładem QR. Wówczas iteracja A i+1 = R i Q i (22) jest zbieżna do postaci trójkatnej górnej, przy czym na głównej diagonali pojawiaja się wartości własne macierzy A, z ewentualnymi blokami, odpowiadaja- cymi zespolonym lub wielokrotnym wartościom własnym macierzy A. Dowód. Wykracza poza ramy tego wykładu. Obserwacja: Macierz diagonalna jest niezmiennicza w transformacji (22). Obserwacja: Jeśli macierz A jest symetryczna, algorytm QR jest zbieżny do postaci diagonalnej, z ewentualnymi blokami. 3. Numeryczne zagadnienie własne 25

Transformacja Householdera (II) trójdiagonalizacja Niech A = A T R N N. Rozważamy transformację A 1 = P 1 AP 1, (23) gdzie P 1 = 1 0 0 0. P 1 0. (24) Nie wolno tego pomylić z (17)! W tym wypadku P 1 R (N 1) (N 1) oznacza operator (14) zbudowany na pierwszej kolumnie A poczawszy od drugiego wiersza (pierwszego poddiagonalnego). P 1 jest symetryczny i ortogonalny. 3. Numeryczne zagadnienie własne 26

Otrzymujemy A 1 = P 1 AP 1 = 0 0... 0... 0... 0......... 0... (25) 3. Numeryczne zagadnienie własne 27

W następnym kroku bierzemy P 2 = 1 0 0 0 0 1 0 0 0 0.. P 2 0 0, (26) gdzie P 2 jest operatorem (14) zbudowanym na drugiej kolumnie macierzy A 2, poczawszy on trzeciego (pierwszego poddiagonalnego) wiersza: P 2 R (N 2) (N 2). P 2 jest ortogonalny i symetryczny. 3. Numeryczne zagadnienie własne 28

Otrzymujemy A 2 = P 2 A 1 P 2 = 0 0... 0 0... 0 0... 0 0......... 0 0... (27) I tak dalej. N 2 takich ortogonalnych transformacji podobieństwa sprowadza symetryczna macierz A do postaci trójdiagonalnej. Koszt całego tego przedsięwzięcia jest rzędu O(N 3 ). 3. Numeryczne zagadnienie własne 29

Co z macierzami niesymetrycznymi? Dla macierzy niesymetrycznych przedstawiony algorytm nie prowadzi do macierzy trójdiagonalnej, ale do postaci Hessenberga, która też jest bardziej przyjazna algorytmowi QR, niż macierz pełna. 3. Numeryczne zagadnienie własne 30

Strategia postępowania 1. Sprowadź macierz do prostej postaci, dla której algorytm QR jest efektywny dla macierzy symetrycznych, prosta postacia jest postać trójdiagonalna dla macierzy niesymetrycznych, prosta postacia jest postać Hessenberga 2. szukaj wartości własnych (i wektorów, jeśli trzeba) za pomoca algorytmu QR. Działa bezboleśnie dla macierzy 1000 1000. Dla macierzy 10 5 10 5 działa, ale już boleśnie. Dla macierzy większych (macierzy monstrualnych) w zasadzie działaja tylko specjalne algorytmy dla macierzy rzadkich. Uwaga: na ogół nie trzeba poznawać wszystkich wartości własnych dużych macierzy, najczęściej wystarcza znajomość kilkunastu dominujacych. 3. Numeryczne zagadnienie własne 31

Wyznaczanie wektorów własnych znajac przybliżone wartości własne Niech A R N N diagonalizowalna i niech τ będzie (dobrym) przybliżeniem którejś z wartości własnych macierzy A. Rozważmy równanie (A τi) y = b. (28) Gdyby b = 0, τ zaś było dokładna wartościa własna A, rozwiazanie równania (28) byłoby wektorem własnym odpowiadajacym τ. Przyjmijmy, że b jest przypadkowym wektorem, takim, że b = 1. τ jest bliskie jakiejś wartości własnej. Wówczas rozwiazanie (28) będzie bliskie odpowiedniego wektora własnego. Co więcej, jeśli procedurę tę przeiterujemy, to znaczy rozwiazania (28), znormalizowawszy, użyjemy jako prawej strony tego równania, uzyskamy jeszcze lepsze przybliżenie wektora własnego. Dlaczego? 3. Numeryczne zagadnienie własne 32

Niech {u i } N i=1 będ a wektorami własnymi A. Niech wektory b, y z równania (28) maja następujace rozkłady w bazie tych wektorów własnych: b = Z równania (28) dostajemy N i=1 β i u i, y = N i=1 α i u i. (29) N i=1 α i (λ i τ)u i = N i=1 a zatem, na mocy liniowej niezależności wektorów u i, β i u i, (30) α i = β i λ i τ. (31) 3. Numeryczne zagadnienie własne 33

Otrzymujemy zatem y = N i=1 a po k-krotnym przeiterowaniu tej procedury, β i λ i τ u i, (32) y = 1 N N i=1 β i (λ i τ) ku i, (33) gdzie N jest czynnikiem normalizacyjnym. Widać, że jeżeli τ λ j, wyraz z u j będzie dominował w sumie (33) (por. metoda potęgowa). 3. Numeryczne zagadnienie własne 34

Otrzymaliśmy zatem następujacy algorytm: Uwagi: A R N N, diagonalizowalna y 0 dowolny, y 0 = 1 do (A τi) z = y k y k+1 = z/ z until y k+1 y k < ε 1. τ musi być bliskie którejś z wartości własnych; jeśli τ zostało obliczone numerycznie, należy je traktować jako bliskie, ale nie dokładne. 2. Jeśli wartości własne A leża blisko siebie i τ leży blisko wielu różnych wartości własnych, zbieżność może być wolna. 3. Równanie liniowe w (34) należy rozwiazywać w precyzji podwyższonej w stosunku do tej, w jakiej chcemy otrzymać ostateczny wektor własny, gdyż równanie to może być bliskie równaniu osobliwemu. W kolejnych równaniach można używać tej samej faktoryzacji macierzy A τ I. 3. Numeryczne zagadnienie własne 35 (34)