[論文レビュー] Optimal stabilization of a cycle in nonlinear discrete systems

Dmitriy Dmitrishin, Anna Khamitova+2 more|arXiv (Cornell University)|Jul 28, 2013

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

ひとこと要約

本稿では、最小限の前歴深度で非線形離散系における2周期を安定化する最適な遅延フィードバック制御（DFC）を提案する。制御を過去の状態差分の線形結合として定式化し、Fejér多項式を活用することで、必要なメモリ深度を最小化する一意な係数を導出。負の乗数が(−μ*, −1)の範囲にある周期に対して漸近的安定性を保証する。

ABSTRACT

A method of stabilizing 2-cycles in discrete dynamic systems by Delayed Feedback Control is developed by using classic Harmonic Analysis.

研究の動機と目的

• 小さな有界な制御の下で不安定な2周期を非線形離散系で安定化する課題に対処すること。
• 周期の漸近的安定性を保証しつつ、遅延フィードバック制御（DFC）に必要な前歴深度を最小化すること。
• 平衡点の安定化に関する先行研究を、特に混沌とした振る舞いを示す負の乗数を有する周期軌道へと拡張すること。
• 与えられた周期乗数の上限μ*に対して、制御の複雑さ（すなわち最小のN*）を最小化する明示的で最適な制御係数を導出すること。
• 制御設計と極値三角多項式およびFejérカーネルの関係を結ぶ理論的枠組みを確立すること。

提案手法

• 非安定な2周期(η₁, η₂)と乗数μ = f_h'(η₁)f_h'(η₂) ∈ (−μ*, −1)を有する非線形離散写像x_{n+1} = f_h(x_n)としてシステムをモデル化する。
• 制御u = -∑_{j=1}^{N-1} ε_j (f_h(x_{n-2j+2}) - f_h(x_{n-2j}))の形で遅延フィードバック制御を設計し、係数a_jを用いた線形結合x_{n+1} = ∑_{j=1}^N a_j f_h(x_{n-2j+2})に還元する。
• 周期の周囲での線形化を適用し、λに関する特徴方程式λ - μ p(λ)^2 = 0を導出。ここでp(λ) = ∑_{j=1}^N a_j λ^{-(j-1)}である。
• ν = λ^{1/2}を用いて特徴方程式を三角関数的形に変換し、μに依存するνに関する多項式を得る。
• Fejér多項式の極値性質を用いて制御スペクトルの最大偏差を最小化し、最適なa_j^0 = (2(N-j)+1)/N^2を導出する。
• a_j^0からε_j = ∑_{k=j+1}^N a_k^0を用いて最適なε_jを導出し、最小前歴深度N^* = 2(N_0 - 1)を保証する。

実験結果

リサーチクエスチョン

• RQ1 非線形離散系における2周期を、乗数が(−μ*, −1)の範囲にある場合に最適に安定化するために必要な最小の前歴深度は何か？
• RQ2 周期の漸近的安定性を保証しつつ、メモリ要件を最小化するように制御係数をどのように選べるか？
• RQ3 周期乗数が0から離れており負である場合、遅延フィードバック制御の最適構造は何か？
• RQ4 極値三角多項式を用いて最適制御を導出可能か？また、これとFejérカーネルの関係は何か？
• RQ5 制御が周期を安定化できなくなる条件は何か？ロジスティック写像の例でh=4で失敗するのはなぜか？

主な発見

• 最適制御係数は、平均1/Nを有する極値Fejér多項式から導かれるa_j^0 = (2(N-j)+1)/N^2として一意に決定される。
• 最小前歴深度はN^* = 2(N_0 - 1)であり、ここでN_0はN_0 > √μ*を満たす最小の整数である。これにより、すべてのμ ∈ (−μ*, −1)に対して安定性が保証される。
• ロジスティック写像でμ^* = 4の場合、N_0 = 3よりN^* = 4であり、最適係数はε_1 = 4/9、ε_2 = 1/9となる。
• h=4で制御が周期を安定化できないのは、乗数μ = −4が安定領域の境界に位置し、制御スペクトルが単位円に接するためである。
• μ^* = 1の場合、N_0 = 2よりN^* = 2であり、最適制御はu = -(1/4)(f_h(x_n) - f_h(x_{n-2}))となる。これはh < 4では周期を安定化するが、h=4では安定化しない。
• 数値シミュレーションにより、h=3.95の場合に周期が小さな近傍に収束することが確認され、理論的結果の妥当性が裏付けられた。