Bauer-Fike teoremi - Bauer–Fike theorem - Wikipedia

İçinde matematik, Bauer-Fike teoremi standart bir sonuçtur pertürbasyon teorisi of özdeğer karmaşık değerli köşegenleştirilebilir matris. Maddesinde, bir tedirgin matris özdeğerinin, tam matrisin doğru seçilmiş bir özdeğerinden sapması için mutlak bir üst sınır belirtir. Gayri resmi konuşursak, söylediği şu ki Özdeğerlerin duyarlılığı, özvektörlerin matrisinin durum numarası ile tahmin edilir..

Teorem tarafından kanıtlandı Friedrich L. Bauer ve C. T. Fike, 1960.

Kurulum

Aşağıda şunu varsayıyoruz:

Bauer-Fike Teoremi

Bauer-Fike Teoremi. İzin Vermek μ özdeğer olmak Bir + δA. Sonra var λΛ(Bir) öyle ki:

Kanıt. Varsayabiliriz μΛ(Bir), yoksa al λ = μ ve sonuç önemsiz şekilde doğrudur çünkü κp(V) ≥ 1. Dan beri μ bir özdeğerdir Bir + δA, sahibiz det (Bir + δAμI) = 0 ve bu yüzden

Ancak varsayımımız, μΛ(Bir), ima ediyor ki: det (Λ - μI) ≠ 0 ve bu nedenle yazabiliriz:

Bu ortaya çıkarır −1 özdeğer olmak

Her şeyden beri p-normlar tutarlı matris normları sahibiz |λ| ≤ ||Bir||p nerede λ bir özdeğerdir Bir. Bu durumda bu bize şunu verir:

Fakat (Λ - μI)−1 köşegen bir matristir, p-normu kolayca hesaplanabilir:

nereden:

Alternatif Bir Formülasyon

Teorem ayrıca sayısal yöntemlere daha iyi uyacak şekilde yeniden formüle edilebilir. Aslında, gerçek öz sistem problemleriyle uğraşırken, genellikle tam bir matris elde edilir. Bir, ancak yalnızca yaklaşık bir özdeğer-özvektör çiftini bilir, (λa, va ) ve hatayı sınırlaması gerekir. Aşağıdaki sürüm yardımda geliyor.

Bauer – Fike Teoremi (Alternatif Formülasyon). İzin Vermek (λa, va ) yaklaşık bir özdeğer-özvektör çifti olmak ve r = Birvaλava. Sonra var λΛ(Bir) öyle ki:

Kanıt. Varsayabiliriz λaΛ(Bir), yoksa al λ = λa ve sonuç önemsiz şekilde doğrudur çünkü κp(V) ≥ 1. Yani (Birλaben)−1 var, yani yazabiliriz:

dan beri Bir köşegenleştirilebilir; almak p- her iki tarafın normu, elde ederiz:

ancak

köşegen bir matristir ve p-norm kolayca hesaplanır:

nereden:

Göreceli Bir Sınır

Bauer-Fike teoreminin her iki formülasyonu da mutlak bir sınır verir. Aşağıdaki sonuç, göreceli bir sınıra ihtiyaç duyulduğunda yararlıdır:

Sonuç. Varsayalım Bir tersinir ve bu μ bir özdeğerdir Bir + δA. Sonra var λΛ(Bir) öyle ki:

Not. ||Bir−1δA|| resmi olarak şu şekilde görülebilir: göreceli varyasyonu Bir, tıpkı |λμ|/|λ| göreli varyasyonudur λ.

Kanıt. Dan beri μ bir özdeğerdir Bir + δA ve det (Bir) ≠ 0ile çarparak Bir−1 soldan bizde:

Eğer ayarlarsak:

o zaman bizde:

bunun anlamı 1 bir özdeğerdir Bira + (δA)a, ile v bir özvektör olarak. Şimdi, özdeğerleri Bira vardır μ/λbenaynı şeye sahipken özvektör matrisi gibi Bir. Bauer-Fike teoremini uygulamak Bira + (δA)a özdeğer ile 1, bize şunları verir:

Normal Matrisler Örneği

Eğer Bir dır-dir normal, V bir üniter matris, bu nedenle:

Böylece κ2(V) = 1. Bauer-Fike teoremi şöyle olur:

Veya alternatif formülasyonda:

açıkçası doğru kalır Bir bir Hermit matrisi. Ancak bu durumda, çok daha güçlü bir sonuç geçerlidir. Özdeğerler üzerine Weyl teoremi. Münzevi durumda, Bauer-Fike teoremi de harita şeklinde yeniden ifade edilebilir. BirΛ(Bir) bir matrisi kendi spektrum bir genişlemeyen işlev saygıyla Hausdorff mesafesi kompakt alt kümeleri kümesinde C.

Referanslar

  • Bauer, F.L .; Fike, C.T. (1960). "Normlar ve Dışlama Teoremleri". Numer. Matematik. 2 (1): 137–141. doi:10.1007 / BF01386217.
  • Eisenstat, S. C .; İpsen, I. C.F. (1998). "Matris özdeğerleri için üç mutlak pertürbasyon sınırı, göreli sınırları ifade eder". Matris Analizi ve Uygulamaları Üzerine SIAM Dergisi. 20 (1): 149–158. CiteSeerX  10.1.1.45.3999. doi:10.1137 / S0895479897323282.