[論文レビュー] A global convergence result for strongly monotone systems with positive translation invariance

David Angeli, Eduardo D. Sontag|ArXiv.org|Feb 1, 2006

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 15被引用数 5

ひとこと要約

この論文は、正の平行移動不変性を有する強単調系に対して、均衡へのグローバル収束を確立する。解は、正の平行移動不変ベクトルの直交補空間へ射影されたとき、グローバルに収束する。この結果は、第一積分を保存する系に関するMierczynskiの定理を補完し、特に生化学反応ネットワークに適用可能な、単調力学系における安定性解析の双対的枠組みを提供する。

ABSTRACT

We show that strongly monotone systems of ordinary differential equations which have a certain translation-invariance property are so that all solutions converge to a unique equilibrium. The result may be seen as a dual of a well-known theorem of Mierczynski for systems that satisfy a conservation law. An application to a reaction of interest in biochemistry is provided as an illustration.

研究の動機と目的

• 正の凸錐の内部に属する正のベクトルによる平行移動不変性を有する強単調系について、均衡へのグローバル収束を確立すること。
• 古典的な一般収束定理を拡張し、均衡が一意でない場合でさえも、平行移動不変性のもとでグローバル収束を証明すること。
• 保存則を用いるMierczynskiの結果とは逆に、保存則の代わりに平行移動不変性を用いることで、双対的枠組みを提供すること。
• 反応座標系への変換により、生化学反応ネットワークに理論を適用すること。
• 厳密な非対角成分の正の要件を越えて、流れの強単調性を弱い条件として用いることで、グローバル安定性の条件を一般化すること。

提案手法

• 系は、内部が空でない正の凸錐 K を持つ R^n 上の強単調な常微分方程式としてモデル化される。
• 平行移動不変性は、任意の t ≥ 0 および λ ∈ R に対して φ_t(ξ + λv) = φ_t(ξ) + λv を満たすことで定義され、v ∈ int(K) は単位ベクトルである。
• 解が v に関して有界であるとは、その直交射影 π_v(φ_t(ξ)) が時間に対して有界であることを意味する。
• 主結果は、v⊥ 上の射影された力学系を解析することで証明され、有界な解が均衡に収束することを示す。
• 証明は強単調性と平行移動下での流れの構造に依存し、Hirschの一般収束定理を基盤として用いる。
• 化学反応ネットワークへの適用は、状態空間を反応座標に変換することで行われ、これにより主定理を生化学的系に適用可能になる。

実験結果

リサーチクエスチョン

• RQ1 正の平行移動不変性を有する強単調系が、均衡へのグローバル収束を示す条件は何か？
• RQ2 正のベクトルに関する平行移動不変性は、単調系における解の長期的挙動にどのように影響するか？
• RQ3 時間反転を施した競争系に対しても、同様の不変性のもとでグローバル収束結果を拡張できるか？
• RQ4 この結果とMierczynskiの正の第一積分を有する系に関する定理との関係は何か？そして、それらがどのように双対的関係を形成するか？
• RQ5 この枠組みを、元来単調でない生化学反応ネットワークの安定性解析にどのように応用できるか？

主な発見

• 正の平行移動不変ベクトル v に対して有界なすべての解は、v に直交する空間上で一意の均衡に収束する。
• 強単調性と平行移動不変性が満たされる限り、単調系および競争系の両方で結果が成り立つ。
• 均衡が元の状態空間では一意でないにもかかわらず、射影空間上ではグローバル収束が成立する。
• 鍵となる条件は、ジャコビアンが Df(x)v = 0 を満たすことであり、これはゼロ固有値に対応する右固有ベクトルを示し、Mierczynskiの定理における左固有ベクトル条件と双対的関係にある。
• 反応座標系への変換により、生化学反応ネットワークにこの手法を適用でき、不変性および単調性の条件を検証可能になる。
• 厳密な非対角成分の正の要件を越えて、流れの強単調性を弱い条件として用いることで、結果が一般化される。