[論文レビュー] Combination Properties of Weakly Contracting Systems

Ian R. Manchester, Jean-Jacques Slotine|arXiv (Cornell University)|Aug 21, 2014

Control and Stability of Dynamical Systems参考文献 3被引用数 6

ひとこと要約

本稿は、対称ヤコビアンの2番目に大きな固有値の和が負である弱収縮系を導入することで、収縮理論を拡張する。このような系は、初期条件にかかわらず均衡状態に収束することを証明している。並列接続、歪対称接続、フィードバック接続における代数的結合性を確立し、非負の組み合わせおよびフィードバックにおいて弱収縮性が保たれることを示しており、複雑な非線形系のモジュラー解析を可能にし、均衡への収束を保証する。

ABSTRACT

A note on the property of weak contraction, which implies that all bounded solutions of a nonlinear system converge to a (possibly non-unique) equilibrium. We provide some simple results about interconnections of such systems, and a brief discussion.

研究の動機と目的

• 対称ヤコビアンの2番目に大きな固有値の和が負であるという条件で定義される弱収縮系を導入し、収縮理論を一般化すること。
• 全収縮（最大固有値が負）が成立しない場合でも、弱収縮系が均衡状態にグローバルに収束することを確立すること。
• 並列、歪対称、フィードバック構成による弱収縮系の接続における代数的結合性を導出すること。
• 時変リーマン計量と有界な補助関数を用いて、非-autonomous系への枠組みの拡張を行うこと。
• 計算生物学およびシステム神経科学への適用可能性を示し、摂動に対してロバストで、位相的不変性を示す。

提案手法

• 対称ヤコビアンの$k$個の最大固有値の和を特徴付けるために、キ・ファンのトレース表現$ S_k(H) = \max_{V \in \mathcal{V}_k} \operatorname{Tr}(VHV^T) $を用いる。
• 時変リーマン計量$ \Theta(x,t)^T \Theta(x,t) $の下で、一般化ヤコビアン$ F = \Theta J \Theta^{-1} + \dot{\Theta} \Theta^{-1} $を適用し、非線形で非-autonomousな系における弱収縮性を分析する。
• $ S_k(H) $ の凸性を用いて、同じ計量下で非負の線形結合による弱収縮系の組み合わせが、依然として弱収縮的であることを証明する。
• 非-autonomous系への拡張のために、有界なスカラー関数$ \gamma(t) $を導入し、指数的体積減少率$ \alpha $を保証する。
• プーグの閉じる補題と位相的議論を用いて、単連結領域において弱収縮性が極限円周やカオス的アトラクタを除外することを示す。
• 仮想系と商動力学を用いて、$ \lambda_1 = 0 $ の場合に同期が弱収縮の特別なケースとして現れることを分析する。

実験結果

リサーチクエスチョン

• RQ1 非線形系が極限円周やカオス的挙動を示さず、均衡状態に収束するための条件は何か？
• RQ2 並列接続、フィードバック、歪対称結合などの系接続において、弱収縮性はどのように保たれるか？
• RQ3 時変計量を伴う非-autonomous系に、弱収縮系の収束性をどのように拡張できるか？
• RQ4 リーマン計量と一般化ヤコビアンは、弱収縮系における収束速度と体積減少の定量的評価に果たす役割は何か？
• RQ5 振動的または同期的挙動を示す系において、弱収縮性と横方向収縮性の関係は何か？

主な発見

• すべての$ x $に対して$ S_2(J_s(x)) < 0 $が成り立つならば、初期条件にかかわらず、非-autonomous系のすべての有界な軌道は均衡状態に収束する。
• 同じ計量下で非負の線形結合によって接続された2つの弱収縮系の組み合わせは、依然として弱収縮的であり、収束性が保たれる。
• 非-autonomous系では、ある$ \alpha > 0 $に対して$ \lambda_1 + \cdots + \lambda_i + \dot{\gamma} \leq -\alpha $が成り立つならば、すべての$ i $次元体積が指数的減少率$ \alpha $で収縮する。
• 弱収縮性は、厳密な不等号と位相的ロバスト性のおかげで、単連結領域において極限円周やカオス的アトラクタを除外する。
• 横方向収縮系は、ある計量下で$ \lambda_1 + \lambda_2 < 0 $を満たし、弱収縮系と横方向収縮系の結合則の類似性を説明する。
• 同一系における同期は$ \lambda_1 = 0 $に対応し、収束速度は商系における最初の非ゼロ固有値$ \lambda_{m+1} $によって決定される。