[论文解读] A note on the top Lyapunov exponent of linear cooperative systems

Michel Benaı̈m, Claude Lobry+2 more|arXiv (Cornell University)|Feb 12, 2023

Spectral Theory in Mathematical Physics被引用 4

一句话总结

本文通过将环境切换的T-周期性假设替换为更一般的唯一遍历Feller马尔可夫过程，扩展了近期关于线性合作系统最大李雅普诺夫指数的渐近公式。在环境波动快速（T→∞）和缓慢（T→0）的两种情形下，推导出最大李雅普诺夫指数的显式渐近表达式，证明其收敛于一个包含不变测度和平均化系统主导特征向量的极限。

ABSTRACT

In a recent paper [Asymptotic of the largest Floquet multiplier for cooperative matrices Annales de la Faculté des Sciences de Toulouse, Tome XXXI, no 4 (2022)] P. Carmona gives an asymptotic formulae for the top Lyapunov exponent of a linear T-periodic cooperative differential equation, in the limit T goes to infinity. This short note discusses and extends this result.

研究动机与目标

• 将近期关于线性合作系统最大李雅普诺夫指数的渐近公式，从周期性环境切换推广至更一般的环境切换过程。
• 分析在环境波动快速（T→∞）和缓慢（T→0）极限下，最大李雅普诺夫指数的行为。
• 在时间重标度下，建立耦合（环境，种群状态）过程不变测度的收敛性，并刻画其极限。
• 将李雅普诺夫指数渐近公式的适用范围扩展至非周期性、唯一遍历的马尔可夫过程，包括随机和确定性准周期动力学。

提出的方法

• 系统建模为线性微分方程 dy/dt = A(ωₜ)y，其中 ωₜ 是定义在紧致度量空间 S 上的连续时间、唯一遍历Feller马尔可夫过程。
• 最大李雅普诺夫指数 Λ 定义为种群范数的长期增长率，表示为 (ωₜ, θₜ) 过程不变测度 π 上 ⟨A(s)θ, 1⟩ 的积分。
• 论文分析重标度过程 ωₜ^T = ω_{t/T}，其描述时间尺度为 T 的环境波动，并研究当 T→∞ 和 T→0 时最大李雅普诺夫指数 Λ^T 的极限。
• 利用随机Perron-Frobenius定理和Feller过程理论，证明重标度系统不变测度 π^T 弱*收敛于极限测度 π^∞ = μ ⊗ δ_{θ*(s)}。
• 通过一致连续性和Feller连续性，建立马尔可夫半群 Qₜ^T 对 Qₜ^∞ 的收敛性，从而确保不变测度的收敛。
• 关键技术步骤涉及利用初始条件导数的估计，控制 ωₜ^T 下的流与固定 s 下的流之间的差异。

实验结果

研究问题

• RQ1 当环境过程 ωₜ 重标度为 ωₜ^T = ω_{t/T} 时，T→∞ 下最大李雅普诺夫指数的渐近行为是什么？
• RQ2 在 T→0 时，对应环境缓慢变化的情形，最大李雅普诺夫指数如何表现？
• RQ3 在 T→∞ 或 T→0 时，(环境, 种群状态) 过程的不变测度在何种条件下收敛？
• RQ4 最大李雅普诺夫指数的渐近公式能否从周期性环境切换推广至一般唯一遍历马尔可夫过程？

主要发现

• 当 T→∞ 时，最大李雅普诺夫指数 Λ^T 收敛于 A(s) 的主导特征值在环境不变测度 μ 上的积分，即 Λ^∞ = ∫_S λ_1(A(s)) dμ(s)。
• 当 T→0 时，最大李雅普诺夫指数 Λ^T 收敛于 A(s) 的主导特征值在环境上的平均值，即 Λ^0 = ∫_S λ_1(A(s)) dμ(s)，与快速情形的极限一致。
• 重标度系统 (ωₜ^T, θₜ) 的不变测度 π^T 弱*收敛于 μ ⊗ δ_{θ*(s)}，其中 θ*(s) 是固定 A(s) 下系统的全局吸引状态。
• 马尔可夫半群 Qₜ^T 对 Qₜ^∞ 的收敛在 s∈S 上一致成立，从而保证了不变测度和李雅普诺夫指数的收敛。
• 在一般条件下成立：对 μ-几乎处处的 s，A(s) 为Metzler且不可约，且 (ωₜ) 是紧致度量空间上的唯一遍历Feller马尔可夫过程。