[論文レビュー] Strong Monotonicity of Spectral Radius of Positive Operators

Donald W. Hadwin, Arkady Kitover+1 more|arXiv (Cornell University)|May 24, 2012

Advanced Banach Space Theory参考文献 15被引用数 6

ひとこと要約

この論文は、古典的なペロン＝フロベニウスの定理（スペクトル半径の等価性が行列の等価性を示す）を、バナッハ格子上のバンド非可約な正の作用素へと拡張する。順序連続性、スペクトル性質、弱コンパクト性に関する条件を導入することで、$ A \leq B $、$ B $ がバンド非可約、かつ $ \rho(A) = \rho(B) $ ならば $ A = B $ であることを証明し、マレクの理想非可約作用素に関する結果を一般化する。また、反例を用いてこれらの条件が必要であることを示している。

ABSTRACT

The classic result of Perron and Frobenius states that if $A$ and $B$ are matrices with nonnegative elements, such that $A \leq B$, $A$ is irreducible, and $ρ(A) = ρ(B)$ then $A = B$. We extend this result to a large class of band irreducible positive operators on a large class of Banach lattices and provide examples to show that the conditions we put on operators and Banach lattices cannot be weakened.

研究の動機と目的

• スペクトル半径の等価性が行列の等価性を示す古典的ペロン＝フロベニウスの結果を、より広いクラスの正の作用素へと拡張すること。
• バナッハ格子上のバンド非可約な正の作用素について、スペクトル半径の強い単調性を確立すること。
• 作用素およびバナッハ格子に関する条件を弱めることができないことを、反例を用いて示すこと。
• コンパクトな準ノルム作用素の文脈において、バンド非可約性と理想非可約性の違いを明確にすること。
• バナッハ格子におけるスペクトル射影および順序連続性に関する、以前の結果の修正および強化すること。

提案手法

• マレクの定理を拡張するにあたり、理想非可約性の代わりにバンド非可約性をスペクトル半径の等価性条件に組み込む。
• バナッハ格子への一般化のため、$ B $-錐および半非支持作用素の概念を用いる。
• バナッハ格子におけるスペクトル理論を用い、分離スペクトル値およびスペクトル射影に焦点を当てる。
• ローレンツノルムおよび順序連続性条件を用いて、スペクトル射影の正則性を保証する。
• 順序連続性や弱コンパクト性などの条件を弱めると等価性の結論が成立しなくなることを示す、明示的な反例を構成する。
• フレドホルムスペクトルおよびコンパクト摂動論を用いて、$ C = A + B $ などの作用素のスペクトル挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル半径の等価性が行列の等価性を示すペロン＝フロベニウスの結果を、非可約行列からバナッハ格子上のバンド非可約な正の作用素へと拡張できるか？
• RQ2 作用素 $ A \leq B $ および $ \rho(A) = \rho(B) $ が $ A = B $ を示すために、バナッハ格子および正の作用素に必要な最小限の条件は何か？
• RQ3 バンド非可約性はスペクトル半径の強い単調性を保証するのに十分か、それとも順序連続性や弱コンパクト性などの追加条件が必要か？
• RQ4 スペクトル半径に対応するスペクトル射影が、以前の定理よりも弱い仮定のもとでも順序連続性を満たすか？
• RQ5 特定のバナッハ格子上に、コンパクトでバンド非可約かつ準ノルムな正の作用素が存在するか？その場合、どのような構造的条件が必要か？

主な発見

• 作用素 $ A \leq B $、$ B $ がバンド非可約、かつ $ \rho(A) = \rho(B) $ であるとき、$ B $ が順序連続または弱コンパクトであれば、$ A = B $ が成り立つことを示した。
• 反例により、バンド非可約性のみでは不十分であることが示され、スペクトル半径の等価性が作用素の等価性を示すためには、順序連続性または弱コンパクト性が必要である。
• 例3における $ C = A + B $ のスペクトル半径に対応するスペクトル射影は1次元であり、$ \rho(C) = 1 $ であり、より大きなスペクトル半径はあり得ないことが確認された。
• 正の作用素 $ T $ が正の弱コンパクト作用素 $ S $ と可換であり、かつ $ S $ が順序連続または $ \sigma $-順序連続かつバンド非可約であるならば、そのスペクトル射影は $ \sigma $-順序連続であることを証明した。
• 文献[19]の結果を修正・強化し、作用素ノルムの極限が順序連続であるためには、ローレンツノルムがノルムであること（必要条件）であることを示した。
• マルチンキエヴィッチ空間上にコンパクトでバンド非可約かつ準ノルムな作用素の例を提示した。これにより、このような作用素が特定のバナッハ格子上に存在することを示し、理想非可約作用素とは顕著な違いを示した。