[論文レビュー] A Generalized Krein-Rutman Theorem

Lei Zhang|arXiv (Cornell University)|Jun 14, 2016

Matrix Theory and Algorithms参考文献 3被引用数 12

ひとこと要約

本稿は、内部が空でない錐を備えたバナッハ空間上の強正の有界線形作用素に対して、一般化されたクレイン＝ルトマン定理の強い形を確立する。スペクトル半径が本質的スペクトル半径を上回るという条件下で、スペクトル半径が代数的に単純な固有値であり、強い正の固有ベクトルを持つことを証明し、他のすべての固有値が開スペクトル円板の内部に厳密に存在することを示す。これは、コンパクト作用素を超えた古典的結果の拡張である。

ABSTRACT

A generalized Krein-Rutman theorem for a strongly positive bounded linear operator whose spectral radius is larger than essential spectral radius is established: the spectral radius of the operator is an algebraically simple eigenvalue with strongly positive eigenvector and other eigenvalues are less than the spectral radius.

研究の動機と目的

• コンパクト作用素を超えて、古典的クレイン＝ルトマン定理を有界線形作用素へ拡張すること。
• 強正作用素に対する一般化クレイン＝ルトマン定理の強い形を確立すること。
• 作用素 L が強正であり、r(L) > r_e(L) であるという条件下で、スペクトル半径が代数的に単純な固有値であり、強い正の固有ベクトルを持つことを証明すること。
• 非コンパクトで強正な作用素に対して、代数的単純性やスペクトルギャップを確立しなかったヌスバウムの先行研究におけるギャップを解消すること。
• 偏微分方程式、力学系、マコフ過程の分野に適用可能な関数解析的枠組みを提供すること。ここでは、スペクトルの単純性と正の性質が極めて重要である。

提案手法

• バナッハ空間におけるスペクトル性質と錐構造に注目した、クレイン＝ルトマン定理の証明戦略を用いる。
• 本質的スペクトル半径の公式を、カラトフスキーの非コンパクト性測度を用いて適用：r_e(L) = lim_{n→∞} (γ(L^n))^{1/n}。
• 包含性の性質を適用：L が部分空間 X₁ を自分自身に写すならば、r_e(L|X₁) ≤ r_e(L) が成り立つ。
• 錐の境界と内部に関する幾何的議論を用いて、K 内の摂動されたベクトルの挙動を分析する。
• 内点に固有ベクトルが存在するという事実と、集合 Σ = {(ξ,η) : x + ξu + ηv ∈ K} の構造に基づいた背理法を用いる。
• Σ の有界性と閉性を確立し、非スペクトル固有値 λ に対して |λ| = r(L) であると仮定した場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトで強正な有界線形作用素に対して、スペクトル半径のスペクトル単純性と正の性質を確立できるか？
• RQ2 r(L) > r_e(L) という条件が、スペクトル半径が代数的に単純な固有値であり、強い正の固有ベクトルを持つことを意味するか？
• RQ3 作用素が強正であり、r(L) > r_e(L) であるとき、他のすべての固有値 λ に対して |λ| < r(L) が成り立つか？
• RQ4 不変部分空間への制限における本質的スペクトル半径の振る舞いはどのように変化し、スペクトル性質にどのような影響を与えるか？
• RQ5 錐の幾何的構造と錐内の線の挙動を用いて、スペクトル円周上に固有値が存在しないことを示せるか？

主な発見

• 作用素 L が強正の有界線形作用素であり、r(L) > r_e(L) であるとき、スペクトル半径 r(L) は L に対して代数的に単純な固有値である。
• スペクトル半径 r(L) に対応する固有ベクトル x ∈ ℝK（錐の内部）が存在し、これにより主固有関数の強い正の性質が保証される。
• L の他のすべての固有値 λ に対して |λ| < r(L) が成り立つ。これにより、厳密なスペクトルギャップが確立される。
• 集合 Σ = {(ξ,η) : x + ξu + ηv ∈ K} は有界かつ閉集合であり、証明における矛盾の導出に不可欠である。
• |λ| = r(L) を満たす非主固有値 λ が存在すると仮定した場合、R₀(θ) の有界性と Lz₀ の正の性質に基づいて矛盾が導かれる。
• 方程式 (λI - L)z = y は λ ≤ r(L) のとき K 内に解をもたず、λ = r(L) のときはまったく解をもたない。これにより、スペクトルギャップが確認される。