[論文レビュー] Folding Difference and Differential Systems into Higher Order Equations

Hassan Sedaghat|arXiv (Cornell University)|Mar 17, 2014

Chaos control and synchronization参考文献 15被引用数 4

ひとこと要約

本論文は、代入、逆数変換、添字／微分のシフトを用いて、k個の差分方程式または微分方程式系を1つの高次方程式に折りたたむ一般化されたアルゴリズムを導入する。この手法により、変数間の構造的依存関係が明らかになり、特にパrameter条件や系の対称性によって結果の高次方程式が低次のものになる場合に、解析が簡略化される。

ABSTRACT

A typical system of k difference (or differential) equations can be compressed, or folded into a difference (or ordinary differential) equation of order k. Such foldings appear in control theory as the canonical forms of the controllability matrices. They are also used in the classification of systems of three nonlinear differential equations with chaotic flows by examining the resulting jerk functions. The solutions of the higher order equation yield one of the components of the system's k-dimensional orbits and the remaining components are determined from a set of associated passive equations. The folding algorithm uses a sequence of substitutions and inversions along with index shifts (for difference equations) or higher derivatives (for differential equations). For systems of two difference or differential equations this compression process is short and in some cases yields second-order equations that are simpler than the original system. For all systems, the folding algorithm yields detailed amount of information about the structure of the system and the interdependence of its variables. As with two equations, some special cases where the derived higher order equation is simpler to analyze than the original system are considered.

研究の動機と目的

• k個の差分方程式または微分方程式系を1つの高次方程式に折りたたむ、体系的でアルゴリズム的な手法の開発。
• 制御理論およびカオス系における既存の折りたたみ技法を、一般の非線形・非定常・完全に制御不能な系へと拡張すること。
• 特に特異点やパrameter依存の分離が生じる場合に、折りたたみプロセスを通じて変数の相互依存性や系の構造的性質を分析すること。
• 折りたたみによって複雑性が低減されることを示し、特に導出された高次方程式が元の系よりも単純または低次のものになる場合に有効であることを示すこと。
• 非定常系に対しても適用可能であり、折りたたみによって定常または周期的な高次方程式が得られることを示し、解析的応用範囲を広げること。

提案手法

• 差分方程式の場合は添字シフト、微分方程式の場合は高階微分を用い、代入・逆数変換・インデックスシフトの系列を適用して、系を高次方程式に圧縮する。
• 系の最初の変数を記述するマスタ一式（例：式71）を導出し、それが全軌道のダイナミクスを支配することを示す。
• 部分的逆数変換を避けるために、後退再帰を用いて高次方程式の解から残りの変数を再構成する。
• 特異点条件を特定し、部分的分離や系の次数低減といった構造的変化を示す。
• 非定常系に対しては、折りたたみによって定常または周期的な高次方程式に変換する。
• 具体的な系（例：3次元非線形差分系）に対して手法を検証し、パrameter条件（例：ac + bα = 0）が1次方程式に簡略化されることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のk個の差分方程式または微分方程式系に、線形性・定常性・制御可能性にかかわらず一般の折りたたみアルゴリズムを適用可能か？
• RQ2 部分的逆数変換が利用できない場合に、折りたたみプロセスが変数間の相互依存性をどのように明らかにするか？
• RQ3 どのような条件下で折りたたみが低次方程式を生じさせ、これは系の構造的性質またはパrameterに何を示唆するか？
• RQ4 折りたたみプロセスにおける特異点は、連続時間系において結果の高次方程式の妥当性と解釈にどのように影響するか？
• RQ5 非定常系を、定常または周期的な高次方程式に還元するために折りたたみを用いることができるか？これにより、より広範な解析的手法が可能になるか？

主な発見

• 代入・逆数変換・添字／微分のシフトを用いて、k個の差分方程式または微分方程式系が1つの高次方程式に成功裏に圧縮された。
• 2変数系の場合、折りたたみプロセスは短く、2次方程式に簡略化される場合があり、元の系よりも単純になる。
• 3次元差分系（例：式76）において、条件 $ac + beta = 0$ が成立する場合、系は1次方程式（式77）に折りたたまれ、解析が簡素化される。
• 折りたたみ1次方程式の解（式78）は、元の系の全軌道を再構成する3つの入れ違いの列列を生成する。
• ローレンツ系のジャーブ関数における特異点は、常に致命的ではなく、意味のある解領域では回避可能である。
• 折りたたみプロセスは、特にパrameter値が導出された高次方程式に特異点をもたらす場合に、部分的分離や次数低減といった構造的特徴を明らかにする。