[論文レビュー] 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）の極限において、最大リャプノフ指数の挙動を分析すること。
• 時間スケーリングを施した（環境, 人口状態）過程の不変測度の収束を確立し、その極限を特徴づけること。
• リャプノフ指数の漸近的性質の適用範囲を、周期的でない一意的エルゴードなマルコフ過程、すなわち確率的および決定的準周期的ダイナミクスへ拡張すること。

提案手法

• 系は、コンパクトな距離空間S上に定義された連続時間の一意的エルゴードなFellerマルコフ過程ωₜを用いて、線形微分方程式dy/dt = A(ωₜ)yとしてモデル化される。
• 最大リャプノフ指数Λは、人口ノルムの長期的成長率として定義され、(ωₜ, θₜ)過程の不変測度π上で⟨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は、T→∞において弱*収束し、μ ⊗ δ_{θ*(s)}に収束する。ここでθ*(s)は、固定されたA(s)に対する系のグローバルに吸引的な状態である。
• マルコフ半群Qₜ^TがQₜ^∞にs∈Sで一様に収束する。これは、不変測度およびリャプノフ指数の収束を保証する。
• これらの結果は、A(s)がμ-ほとんど everywhere でメッツラーかつ非可約であるという一般条件のもとで成り立つ。また、(ωₜ)はコンパクトな距離空間上の一意的エルゴードなFellerマルコフ過程である。