[论文解读] 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

一句话总结

本文将经典的Perron-Frobenius定理由谱半径相等蕴含矩阵相等推广至Banach格上的带不可约正算子。通过引入序连续性、谱性质和弱紧性的条件，作者证明了若 $ A \leq B $，$ B $ 为带不可约，且 $ \rho(A) = \rho(B) $，则 $ A = B $，推广了Marek对理想不可约算子的结果，并通过反例表明这些条件是必要的。

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.

研究动机与目标

• 将经典Perron-Frobenius结果中谱半径相等蕴含矩阵相等的结论，推广至更广泛的正算子类。
• 建立Banach格上带不可约正算子谱半径的强单调性。
• 通过反例表明，对算子和Banach格的条件无法进一步弱化。
• 阐明在紧拟幂零算子背景下，带不可约性与理想不可约性的区别。
• 提供先前关于谱投影和序连续性的结果的更正与强化版本。

提出的方法

• 通过在谱半径相等条件中以带不可约性替代理想不可约性，拓展并改进Marek的定理。
• 引入$ B $-锥和半非支撑算子的概念，将框架推广至Banach格。
• 应用Banach格中的谱理论，重点关注孤立谱值和谱投影。
• 利用Lorentz半范数和序连续性条件，确保谱投影的正则性。
• 构造显式反例，表明若减弱序连续性或弱紧性等条件，将导致等式结论不成立。
• 利用Fredholm谱和紧摄动理论分析如 $ C = A + B $ 等算子的谱行为。

实验结果

研究问题

• RQ1 能否将Perron-Frobenius定理中谱半径相等蕴含矩阵相等的结果，从不可约矩阵推广至Banach格上的带不可约正算子？
• RQ2 在何种最简条件下，对Banach格和正算子而言，$ A \leq B $ 且 $ \rho(A) = \rho(B) $ 蕴含 $ A = B $？
• RQ3 带不可约性是否足以保证谱半径的强单调性，还是需要额外条件如序连续性或弱紧性？
• RQ4 在比先前定理更弱的假设下，谱半径对应的谱投影是否仍可实现序连续？
• RQ5 在某些Banach格上是否存在正的紧带不可约拟幂零算子？若存在，需要何种结构条件？

主要发现

• 本文证明：若 $ A \leq B $，$ B $ 为带不可约，且 $ \rho(A) = \rho(B) $，在附加条件如 $ B $ 的序连续性或弱紧性下，有 $ A = B $。
• 反例表明，仅靠带不可约性不足以保证结论成立；必须引入序连续性或弱紧性，才能确保谱半径相等蕴含算子相等。
• 例3中，$ C = A + B $ 的谱半径对应的谱投影为一维，确认 $ \rho(C) = 1 $，排除了更大谱半径的可能性。
• 作者证明：若正算子 $ T $ 与正弱紧算子 $ S $ 交换，且 $ S $ 为序连续或 $ \sigma $-序连续且带不可约，则谱投影为 $ \sigma $-序连续。
• 本文更正并强化了文献[19]中的一个结果，表明Lorentz半范数为范数是正序连续算子列在算子范数极限下仍保持序连续的必要条件。
• 在Marcinkiewicz空间上构造的紧、带不可约、拟幂零算子的例子，表明此类算子在某些Banach格上确实存在，凸显了其与理想不可约算子的关键差异。