Metode untuk Satu Nilai Eigen atau Spektrum Lengkap
Pasangan eigen dari matriks persegi memenuhi
Untuk matriks simbolik berukuran kecil, kita dapat menyelesaikan . Perangkat lunak numerik biasanya tidak membentuk polinomial karakteristik karena koefisiennya dapat peka terhadap pembulatan. Jika hanya sebagian spektrum matriks besar dan jarang yang dibutuhkan, metode Krylov memakai perkalian matriks dengan vektor tanpa membentuk polinomial tersebut. Algoritma untuk seluruh spektrum matriks padat memakai faktorisasi matriks.
Bagian spektrum yang perlu dihitung dan struktur matriks menentukan algoritma yang sesuai:
- Iterasi pangkat memperkirakan satu nilai eigen dengan nilai mutlak terbesar.
- Iterasi invers bergeser menargetkan nilai eigen di dekat pergeseran yang dipilih.
- Algoritma menghitung spektrum lengkap matriks padat.
- Metode Lanczos dan Arnoldi menargetkan sebagian kecil spektrum matriks jarang berukuran besar.
Iterasi Pangkat
Rumus berikut memakai matriks dan iterasi real. Untuk vektor iterasi kompleks, ganti transpos pada hasil bagi Rayleigh dengan transpos konjugat. Jika , vektor tidak dapat dinormalkan. Periksa apakah vektor sebelumnya adalah vektor eigen untuk nilai nol.
Pilih vektor awal tak nol lalu normalkan. Ulangi
Skalar adalah hasil bagi Rayleigh. Untuk matriks yang dapat didiagonalisasi dengan satu magnitudo dominan,
Jika ketaksamaan di atas berlaku dan vektor awal memiliki komponen tak nol pada arah eigen dominan, akan mendekati arah eigen dominan. Galat asimtotiknya umumnya menyusut sebanding dengan
Iterasi pangkat dapat gagal dalam dua keadaan. Beberapa nilai eigen dengan magnitudo dominan yang sama dapat mencegah konvergensi ke satu vektor. Koefisien nol pada arah dominan dalam basis eigen mencegah konvergensi ke arah itu. Pada matriks simetris, syarat ini setara dengan vektor awal yang ortogonal terhadap vektor eigen dominan. Pada matriks nonnormal, basis eigen belum tentu ortogonal, sehingga koefisien harus diperiksa dalam basis tersebut.
Berhenti Berdasarkan Residual
Jangan berhenti hanya karena dua perkiraan nilai eigen yang berurutan tampak serupa. Periksa residual pasangan eigen
Syarat yang memperhitungkan skala adalah
Pada syarat ini, adalah toleransi yang diminta. Residual kecil memastikan pasangan hasil hitung hampir memenuhi persamaan eigen, tetapi tidak dengan sendirinya menunjukkan nilai eigen terdekat mana yang ditemukan.
Contoh Iterasi Pangkat
Perhatikan
Langkah pertama menghasilkan
Langkah kedua menghasilkan
Vektor dan perkiraan nilai eigen mendekati
Nilai eigen lainnya adalah , sehingga faktor konvergensi yang diharapkan adalah per iterasi setelah memasuki keadaan asimtotik.
| Iterasi | Estimasi Rayleigh | Norma residual |
|---|---|---|
| 1 | ||
| 2 |
Iterasi Invers
Pilih pergeseran yang bukan nilai eigen. Konvergensi ke satu arah eigen memerlukan satu nilai eigen yang paling dekat secara unik dan koefisien awal tak nol pada arah basis eigennya. Jarak yang sama dapat mencegah konvergensi ke satu arah. Bergeser
Iterasi pangkat mengutamakan magnitudo terbesar. Untuk menargetkan nilai eigen di dekat pergeseran , ulangi
Nilai eigen adalah , sehingga nilai eigen yang paling dekat dengan menjadi dominan. Jangan pernah membentuk invers secara eksplisit. Faktorkan dan selesaikan sistem linear pada setiap iterasi. Pergeseran tetap memungkinkan faktorisasinya digunakan kembali.
Jika sangat dekat dengan suatu nilai eigen, sistem bergeser tersebut berkondisi buruk. Karena itu, selesaikan sistem linearnya dengan akurat dan periksa residual pasangan eigen.
Algoritma QR untuk Spektrum Lengkap
Mulai dengan . Pada iterasi , hitung
Setiap langkah merupakan transformasi kesebangunan ortogonal, sehingga nilai eigen tetap sama. Dalam perangkat lunak numerik, algoritma terlebih dahulu mereduksi matriks padat ke bentuk Hessenberg, memakai pergeseran, dan memisahkan blok yang telah konvergen. Untuk matriks real tak simetris, hasil akhirnya biasanya berupa bentuk Schur real dengan blok diagonal dan . Matriks simetris direduksi ke bentuk tridiagonal dan berkonvergensi ke matriks diagonal.
Memilih Metode yang Tepat
| Tujuan dan struktur matriks | Metode yang sesuai | Pemeriksaan penting |
|---|---|---|
| Satu pasangan eigen dominan | Iterasi pangkat | magnitudo dominan unik dan komponen awal tak nol |
| Pasangan eigen di dekat | Iterasi invers bergeser | penyelesaian stabil dengan |
| Beberapa pasangan eigen ekstrem dari matriks simetris jarang berukuran besar | Lanczos | hilangnya ortogonalitas dan residual |
| Beberapa pasangan eigen dari matriks tak simetris jarang berukuran besar | Arnoldi | ukuran subruang, pengulangan awal, dan residual |
| Spektrum lengkap matriks padat | bergeser menuju bentuk Schur | blok diagonal atau kuasidiagonal yang telah konvergen |
Uji penerimaan akhir selalu mengikuti pasangan eigen yang diminta: periksa residual, pertahankan pasangan konjugat kompleks untuk matriks real, dan jangan menyatakan vektor eigen sudah akurat hanya karena perkiraan nilai eigennya telah stabil.