[論文レビュー] Toric Differential Inclusions and a Proof of the Global Attractor Conjecture

Gheorghe Crăciun|arXiv (Cornell University)|Jan 13, 2015

Advanced Differential Equations and Dynamical Systems参考文献 21被引用数 68

ひとこと要約

本稿は、グローバルアトラクター予想を証明するための新しい枠組みとして、トーリック微分包含（toric differential inclusions）を導入する。この枠組みにより、特に複雑にバランスの取れた質量作用則系を含む、すべてのトーリック力学系が、各正の化学计量適合クラス内に一意のグローバルに吸引的な平衡点を持つことが示される。証明は、軌道が原点に近づくのを防ぐ不変領域を構築することに依拠し、リャプノフ関数および不変性原理を用いて、グローバル収束を確立する。

ABSTRACT

The global attractor conjecture says that toric dynamical systems (i.e., a class of polynomial dynamical systems on the positive orthant) have a globally attracting point within each positive linear invariant subspace -- or, equivalently, complex balanced mass-action systems have a globally attracting point within each positive stoichiometric compatibility class. A proof of this conjecture implies that a large class of nonlinear dynamical systems on the positive orthant have very simple and stable dynamics. The conjecture originates from the 1972 breakthrough work by Fritz Horn and Roy Jackson, and was formulated in its current form by Horn in 1974. We introduce toric differential inclusions, and we show that each positive solution of a toric differential inclusion is contained in an invariant region that prevents it from approaching the origin. We use this result to prove the global attractor conjecture. In particular, it follows that all detailed balanced mass action systems and all deficiency zero weakly reversible networks have the global attractor property.

研究の動機と目的

• 長年の未解決問題であったグローバルアトラクター予想を解決すること。この予想は、トーリック力学系が各正の線形不変部分空間内に一意のグローバルに吸引的な平衡点を持つと述べている。
• 正のオルソント上での非線形多項式系の持続性および安定性を分析する一般枠組みを確立すること。
• グローバルアトラクター性を証明するための道具として、トーリック微分包含の理論を導入し発展させること。
• ホーンとジャクソンの安定性結果を、局所的漸近的安定性を超えて、グローバル収束にまで拡張すること。

提案手法

• 幾何学的に埋め込まれたグラフによって定義される方向の集合にベクトル場が制約される、多項式力学系の一般化としてトーリック微分包含を導入する。
• 頂点バランスの取れた平衡点を定義し、各線形不変部分空間内で厳密なリャプノフ関数が存在することを示す。
• 正のオルソントの低次元面の近傍を段階的に除外することで、不変領域 ${\cal R}_n^{k}$ を構築し、軌道が境界に近づくのを防ぐ。
• リャプノフ関数に対してラサールの不変性原理を適用し、各線形不変部分空間内で一意の正の平衡点への収束を証明する。
• 元のグラフの弱可逆性および構造を活用して、軌道の持続性および永続性を保証する。
• 単体的分解におけるゼロ分離表面およびドット付き表面の帰納的構成を用いて、正のオルソントの境界付近での挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 1974年にホーンが提起したように、すべてのトーリック力学系が、各正の線形不変部分空間内に一意のグローバルに吸引的な平衡点を持つという予想は正しいか？
• RQ2 幾何的および力学的制約を用いて、弱可逆な質量作用則系における軌道の持続性を厳密に確立できるか？
• RQ3 高次元系において、解が原点または正のオルソントの境界に近づくのを防ぐ不変領域をどのように構築できるか？
• RQ4 トーリック微分包含は、複雑にバランスの取れたネットワークおよび欠陥ゼロのネットワークの解析を一般化・統合する役割を果たすか？
• RQ5 局所的安定性を仮定せず、構造的および代数的制約のみを用いて、グローバルアトラクター性を証明できるか？

主な発見

• グローバルアトラクター予想が証明された：すべてのトーリック力学系は、各正の線形不変部分空間内に一意のグローバルに吸引的な平衡点を持つ。
• すべての詳細バランスの取れた質量作用則系およびすべての欠陥ゼロの弱可逆ネットワークは、グローバルアトラクター性を有する。
• トーリック微分包含の正の解は、正のオルソントの境界の近傍を排除する不変領域の存在により、原点から距離を保って保たれる。
• 不変領域 ${\cal R}_n^{k}$ の構築により、軌道は $\mathbb{R}_+^n$ のすべての低次元面から正の距離を保って保たれ、持続性が保証される。
• 厳密なリャプノフ関数とラサールの不変性原理の使用により、各化学计量適合クラス内で一意の正の平衡点へのグローバル収束が確認される。
• トーリック微分包含の枠組みは、正のオルソント上に定義された広範な非線形力学系における永続性およびグローバル安定性を証明する強固な道具を提供する。