[論文レビュー] Fractional Stability

Vasily E. Tarasov|arXiv (Cornell University)|Nov 14, 2007

Fractional Differential Equations Solutions参考文献 6被引用数 7

ひとこと要約

本稿では、Caputo微分から導かれる分数階変動を用いて、動的システムのための分数的安定性という新しい概念を導入する。古典的なラプラウス基準では不安定とされるシステムが、分数的摂動を用いることで漸近的安定性を示すことが示され、整数階でない動的システムの安定性解析の範囲が拡張される。

ABSTRACT

A fractional generalization of variations is used to define a stability of non-integer order. Fractional variational derivatives are suggested to describe the properties of dynamical systems at fractional perturbations. We formulate stability with respect to motion changes at fractional changes of variables. Note that dynamical systems, which are unstable "in sense of Lyapunov", can be stable with respect to fractional variations.

研究の動機と目的

• 古典的安定性理論を、変動と安定性の分数階一般化を導入することで拡張すること。
• 長距離的またはフラクタル的ダイナミクスを示すシステムの特徴づけに、ラプラウス安定性の限界を克服すること。
• システム変数の分数的変化に対する安定性を定義することで、非整数階摂動応答を示すシステムの解析を可能にすること。
• 標準的なラプラウス解析で不安定とされるシステムにおいても、分数的安定性理論が安定な挙動を捉えることができることを示すこと。

提案手法

• Caputo分数階微分を用いて、変動の次数 α（m−1 < α ≤ m）による分数的変動 δ^αf(x) = [δx]^α · C D^α_x f(x) を定義する。
• システムの微分方程式に分数的変動を適用することで、分数的変動の運動方程式を導出し、D^1_t δ^αx_i = C D^α_x_j F_i(x) [δx_j]^α が得られる。
• 座標のCaputo微分の逆を用いて、変動の分数的べき [δx_j]^α を分数的変動 δ^αx_j で表現する：[δx_j]^α = (C D^α_x_j x_j)^{-1} δ^αx_j。
• システムを線形行列微分方程式 D^1_t Z(t) = A_α Z(t) に変換する。ここで Z(t) は分数的変動のベクトルであり、A_α は分数的変動微分の行列である。
• A_α の固有値を用いて安定性を定義する：すべての固有値の実部が負であれば、漸近的安定性が成立する。
• A_α の固有値の実部の符号に基づく新しい安定性基準を確立し、ラプラウス安定性を非整数階に一般化する。

実験結果

リサーチクエスチョン

• RQ1 古典的なラプラウス安定性基準で不安定とされる動的システムが、分数的変動下では安定である可能性はあるか？
• RQ2 動的システムに対して、Caputo微分を用いて分数的変動を数学的に定義する方法は何か？
• RQ3 ODE系における分数的変動を支配する微分方程式の形は何か？
• RQ4 整数階変動における安定性と比較して、分数的変動におけるシステムの安定性はどのように異なるか？
• RQ5 α = 1 のとき、分数的安定性理論が、古典的なラプラウス安定性を特別な場合として含むか？

主な発見

• 分数的安定性は、分数的変動微分から導かれる行列 A_α の固有値を用いて定義され、すべての固有値の実部が負であれば漸近的安定性が成立する。
• システムが分数的変動に関して漸近的安定であるとは、lim_{t→∞} ||δ^αx(t,α)|| = 0 が成り立つことであり、これは A_α の固有値のスペクトル的性質によって決定される。
• ラプラウス安定性で不安定（線形化で正の実部を有する）とされるシステムでも、A_α の固有値の実部が負であれば、分数的変動下では漸近的安定となる。
• 分数的変動 δ^αx_i は δ^αx_i = [δx_i]^α · C D^α_x_i x_i として表現され、これにより分数的変動と座標の分数階微分が関連づけられる。
• 行列 A_α(α) = (C D^α_x_j x_j)^{-1} C D^α_x_j F_i(x) は、分数的変動の進化と、したがって安定性挙動を完全に決定する。
• 分数的安定性は古典的安定性を一般化する：α = 1 のとき、分数的安定性条件は標準的なラプラウス安定性条件に還元される。