[论文解读] Eigenvectors and eigenfunctionals of homogeneous order-preserving maps

Horst R. Thieme|arXiv (Cornell University)|Feb 15, 2013

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 25被引用 8

一句话总结

本文在有序范数线性空间中，针对正规锥上的齐次、保序映射，在其某幂具有紧致性的条件下，建立了正特征向量与特征泛函的存在性。核心贡献是将Krein-Rutman定理非线性化，证明此类映射具有与锥谱半径相关的正特征向量，其应用涵盖两性种群模型。

ABSTRACT

This paper considers homogeneous order preserving continuous maps on the normal cone of an ordered normed vector space. It is shown that certain operators of that kind which are not necessarily compact themselves but have a compact power have a positive eigenvector that is associated with the cone spectral radius. We also derive conditions for the existence of homogeneous order preserving eigenfunctionals. Our results are illustrated in a model for spatially distributed two-sex populations.

研究动机与目标

• 将经典的Krein-Rutman定理推广至有序范数线性空间中的非线性、齐次、保序映射。
• 建立此类映射与锥谱半径相关的正特征向量存在的条件。
• 推导齐次保序特征泛函存在的条件。
• 将理论结果应用于具有交配动力学的空间结构化两性种群模型。
• 将正线性算子的谱理论推广至一类非线性、齐次、保序映射。

提出的方法

• 将锥谱半径 r₊(B) 定义为：对所有满足 ‖x‖ ≤ 1 的 x ∈ X₊，Bx 的范数的上确界。
• 引入映射的幂紧性概念，即映射的某次幂是紧致的。
• 利用映射在某点的方向导数构造一个齐次映射，若原映射是保序的，则该构造映射也被证明是保序的。
• 证明：若一个齐次、保序映射具有紧致的某次幂，则其在锥谱半径处存在一个正特征向量。
• 证明存在一个正的、有界的、齐次的特征泛函 φ，满足 φ∘B = r₊(B)φ。
• 将一般理论应用于空间分布的两性种群模型，通过涉及 L¹ 空间与Baire测度的测度论论证，证明相关算子的紧致性。

实验结果

研究问题

• RQ1 在何种条件下，正规锥上的齐次、保序映射具有正特征向量？
• RQ2 能否将紧致正线性算子的谱理论推广至非线性、齐次、保序映射？
• RQ3 何种条件可确保此类映射存在齐次保序特征泛函？
• RQ4 如何刻画非线性、齐次、保序映射的锥谱半径？
• RQ5 映射某次幂的紧致性在保证特征向量与特征泛函存在性中起何种作用？

主要发现

• 若齐次、保序映射 B 具有紧致的某次幂，则其存在一个非零正特征向量 f ∈ X₊，使得 Bf = r₊(B)f。
• 锥谱半径 r₊(B) 与算子谱半径 ro(B) 一致，确保与线性谱理论的一致性。
• 存在一个正的、有界的、齐次的特征泛函 φ: X₊ → ℝ₊，满足 φ∘B = r₊(B)φ，且对特征向量 f 有 φ(f) > 0。
• 在两性种群模型的假设下，映射 B 作为从 X₊ ∩ Xu 配备 u-范数到 X₊ = L¹₊(Ω) 的映射是紧致的。
• 在两性种群模型中，通过相关积分算子的紧致性及定理 7.1 的应用，证明了正特征向量的存在性。
• 证明依赖于 L¹(udη) 中的对角化论证，以及在关于有限测度的可积函数空间中使用可数稠密子集。