[論文レビュー] k-Order Contraction: Theory and Applications

Chengshuai Wu, Ilya Kanevskiy+1 more|arXiv (Cornell University)|Aug 24, 2020

Control and Stability of Dynamical Systems参考文献 37被引用数 5

ひとこと要約

本稿では、k次収縮（k-order contraction）を導入し、k-平行立体が時間とともに指数的に収縮するシステムを特徴付ける、収縮理論の幾何学的一般化を提示する。ジャコビアンのk次加法的化合物に行列ノルム条件を拡張することで、非線形力学系における安定性および同期性の検証可能な基準を提供し、Muldowney や Li の2次収縮に関する古典的結果を一般化する。

ABSTRACT

A dynamical system is called contractive if any two solutions approach one another at an exponential rate. More precisely, the dynamics contracts lines at an exponential rate. This property implies highly ordered asymptotic behavior including entrainment to time-varying periodic vector fields and, in particular, global asymptotic stability for time-invariant vector fields. Contraction theory has found numerous applications in systems and control theory because there exist easy to verify sufficient conditions, based on matrix measures, guaranteeing contraction. Here, we provide a geometric generalization of contraction theory called k-order contraction. A dynamical system is called k-order contractive if the dynamics contracts k-parallelotopes at an exponential rate. For k=1 this reduces to standard contraction. We describe easy to verify sufficient conditions for k-order contractivity based on matrix measures and the kth additive compound of the Jacobian of the vector field. We also describe applications of the seminal work of Muldowney and Li, that can be interpreted in the framework of 2-order contraction, to systems and control theory.

研究の動機と目的

• 標準的な収縮理論を、k-平行立体が指数的に収縮するk次収縮の導入によって一般化すること。
• 行列ノルムとジャコビアンのk次加法的化合物を用いて、k次収縮性の十分条件を導出すること。
• 特に Muldowney と Li の結果を含む既存の結果を、2次収縮の枠組みの中で統一的かつ解釈的に再構成すること。
• 収縮理論の適用範囲を、複雑な漸近的挙動を示す力学系の広いクラスに拡張すること。

提案手法

• 力学系の流れの下でk-平行立体が指数的に収縮する現象として、k次収縮を定義する。
• k次元体積の変化を記述するために、ジャコビアン行列のk次加法的化合物を用いる。
• 行列ノルムを用いて、k次収縮性の十分条件を導出し、1次の場合の一般化を実現する。
• k次収縮性が、時変周期的ベクトル場への同期（entrainment）および時不変系におけるグローバル漸近的安定性を示すことを確立する。
• Muldowney や Li の画期的な結果を、2次収縮の特別な場合として解釈する。
• 体積収縮とシステムの安定性・同期性を結びつける幾何的枠組みを構築する。

実験結果

リサーチクエスチョン

• RQ1 標準的な収縮理論は、k-平行立体のような高次幾何的構造へどのように一般化可能か？
• RQ2 行列ノルムとジャコビアンのk次加法的化合物を用いて、k次収縮性の十分条件はどのように得られるか？
• RQ3 グローバル安定性や周期的同期に関する既存の結果（Muldowney や Li のものなど）は、この一般化された枠組みの中でどのように位置づけられるか？
• RQ4 特に時変系において、k次収縮性が示唆する動的挙動は何か？
• RQ5 k次収縮性は、非線形系における安定性と同期性を統一的に理解する手がかりを提供できるか？

主な発見

• k次収縮性は、直線のみならずk-平行立体の指数的収縮を特徴付けることにより、標準的収縮理論を一般化する。
• k次収縮性の十分条件は、ジャコビアン行列のk次加法的化合物に行列ノルムを適用することで導出される。
• 本フレームワークは、Muldowney や Li の結果を2次収縮の特別な場合として回復し、解釈可能に再構成する。
• k次収縮系は、時変周期的ベクトル場への同期を示し、時不変系ではグローバル漸近的安定性を示す。
• 本理論は、計算可能な行列ノルム条件を用いて、非線形系における安定性および同期性を体系的に検証する手法を提供する。
• 本アプローチにより、古典的収縮理論の範囲を超えた複雑な動的挙動の解析が可能になる。