[论文解读] 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$ 的所有低维面保持正距离，从而保证持久性。
• 使用严格李雅普诺夫函数和拉萨尔不变性原理，确认每个化学计量相容类内收敛至唯一正平衡点。
• 环形微分包含框架为证明正单纯形上一大类非线性动力系统中的持久性和全局稳定性提供了稳健工具。