[論文レビュー] Enhancements of Pellet's theorem for matrix polynomials

A. Melman|arXiv (Cornell University)|Sep 30, 2012

Matrix Theory and Algorithms被引用数 1

ひとこと要約

この論文は、行列値関数の一般化されたローシュの定理を用いて、ペルールの定理を行列多項式へ拡張し、固有値の上界、下界、および内部領域の境界を導出可能にする。この手法により、標準的なペルールの定理が失敗する場合に備えた適合性の高い変種を備えた、より良好な固有値局在化が実現される。

ABSTRACT

We derive a generalized matrix version of Pellet's theorem, itself based on a generalized Rouche theorem for matrix-valued functions, to generate upper, lower, and internal bounds on the eigenvalues of matrix polynomials. Variations of the theorem are suggested to try and overcome situations where Pellet's theorem cannot be applied.

研究の動機と目的

• 行列値関数理論を用いて、スカラー多項式からのペルールの定理を行列多項式へ拡張すること。
• 行列多項式の固有値の上界、下界、および内部領域の境界を構築し、スペクトル局在化を改善すること。
• 元のペルールの定理の限界を克服するため、従来では取り扱いが困難であった状況に適用可能な変種を導入すること。
• 行列多項式固有値問題における固有値領域推定のための堅牢な理論的枠組みを提供すること。

提案手法

• 行列値関数の一般化されたローシュの定理が、基礎的分析的ツールとして用いられる。
• 行列ノルムの不等式を用いて、行列多項式と支配的対角項を比較することで、固有値の境界を構築する。
• 行列摂動解析とスペクトル包含原理を用いて、固有値の境界を導出する。
• 元のペルール条件が非支配的対角項のため失敗する状況に対処するため、定理の変種が定式化される。
• 行列ノルムと固有値半径を用いて、複素平面上の固有値が存在しなければならない領域を定義する。
• 行列多項式の係数によって定義されるネストされたスペクトル領域を用いることで、内部境界を定義可能となる。

実験結果

リサーチクエスチョン

• RQ1 行列値関数理論を用いて、ペルールの定理をどのように行列多項式へ一般化できるか？
• RQ2 ペルール型の境界が行列多項式固有値問題に適用可能であるために満たすべき条件は何か？
• RQ3 元のペルールの定理が行列多項式に対して失敗する状況はどのようなものであり、それらはどのように解決できるか？
• RQ4 上界、下界、および内部境界を含む、よりきめ細やかな固有値境界を体系的に導出するにはどうすればよいか？

主な発見

• 一般化されたペルールの定理は、複素平面上の指定された領域に行列多項式の固有値を厳密に局在化するための有効な手法を提供する。
• この手法により、スペクトル半径および固有値分布の上界と下界が的確に生成される。
• 内部境界は、ネストされたスペクトル領域内に固有値を隔離することで導出され、標準的な境界よりも精度が向上する。
• 提案された定理の変種は、行列項の支配的条件を調整することで、元のペルールの定理が失敗するケースを克服する。