[論文レビュー] Exponential stability of systems of vector delay differential equations with applications to second order equations

Leonid Berezansky, Elena Braverman|arXiv (Cornell University)|Jan 12, 2021

Numerical methods for differential equations参考文献 25被引用数 6

ひとこと要約

本稿は、ボール＝ペロンの定理、行列ノルム、M行列を用いた手法を用いて、行列係数および分布遅れを有するベクトル遅れ微分方程式系の新たな明示的指数的安定性条件を確立する。2階ベクトル遅れ微分方程式に対する最初の明示的安定性テストを導出し、制御理論および遅れを伴う力学系における安定性解析の基盤を提供する。

ABSTRACT

Various results and techniques, such as Bohl-Perron theorem, a priori solution estimates, M-matrices and the matrix measure, are applied to obtain new explicit exponential stability conditions for the system of vector functional differential equations $$ \dot{x_i}(t)=A_i(t)x_i(h_i(t)) +\sum_{j=1}^n \sum_{k=1}^{m_{ij}} B_{ij}^k(t)x_j(h_{ij}^k(t)) + \sum_{j=1}^n\int\limits_{g_{ij}(t)}^t K_{ij}(t,s)x_j(s)ds,~i=1,\dots,n. $$ Here $x_i$ are unknown vector functions, $A_i, B_{ij}^k, K_{ij}$ are matrix functions, $h_i,h_{ij}^k, g_{ij}$ are delayed arguments. Using these results, we deduce explicit exponential stability tests for second order vector delay differential equations.

研究の動機と目的

• 行列係数および分布遅れを有する1階ベクトル遅れ微分方程式系の明示的指数的安定性基準の欠如に対処すること。
• 制御理論における実世界の応用が存在するにもかかわらず、既存の結果が限られている2階ベクトル遅れ微分方程式系への安定性解析を拡張すること。
• 時間変動遅れおよび分布遅れを有する線形および非線形2階系に一般に適用可能なフレームワークを構築すること。
• 行列ノルム、M行列、および事前推定に基づく明示的かつ検証可能な安定性条件を提供すること。
• 集中遅れおよび分布遅れの両方に適用可能な体系的アプローチを提供することで、関数微分方程式の安定性理論におけるギャップを埋めること。

提案手法

• 積分不等式による解の成長を制御するため、行列ノルム（対数的ノルム）を用いる。
• 非同次系の解の $ L^\infty $-有界性と同次系の指数的安定性を結びつけるためにボール＝ペロンの定理を適用する。
• 時間遅れ項の挙動を制御するため、解の導関数に対する事前推定を用いる。
• 安定性解析に不可欠な正値性および逆行列存在条件を保証するためにM行列理論を用いる。
• 線形系との比較および1階系への変換を通じて安定性条件を導出する。
• コッペルの不等式を用いて、行列ノルムを用いて関連する同次系の基本行列を推定する。

実験結果

リサーチクエスチョン

• RQ1 行列係数および分布遅れを有する1階ベクトル遅れ微分方程式系に対して、どのような明示的指数的安定性条件を導出できるか？
• RQ2 ボール＝ペロンの定理は、時間変動遅れおよび分布項を有する系において、どのように指数的安定性を確立するか？
• RQ3 分布遅れを有する2階ベクトル遅れ微分方程式系における指数的安定性の必要十分条件は何か？
• RQ4 提案された安定性基準は、既存の文献における結果と比較して、強さおよび適用範囲においてどのように異なるか？
• RQ5 このフレームワークは、導関数に遅れを有する非線形または中立型2階系に拡張可能か？

主な発見

• 本稿は、分布遅れを有する2階ベクトル遅れ微分方程式系に対する新しい指数的安定性テストを確立し、このクラスに対する最初の明示的かつ検証可能な条件を提供する。
• 線形2階方程式 $ \ddot{x}(t) + A(t)\dot{x}(t) + B(t)x(h(t)) = 0 $ に対して、$ \tilde{A} $ の行列ノルム $ \mu(-\tilde{A}) < 0 $ および $ 2\tilde{A}A - \tilde{A}^2 - 4B $ のノルムの上限を含む安定性条件を導出し、解の指数的減衰を保証する。
• 補題4.12の安定性条件は、ある既存の結果とは異なり次元 $ d $ に依存しない。$ d \to \infty $ に伴いより有利になるため、高次元系において優れている。
• スカラー系（$ d=1 $）の場合、条件は $ |A^2 - 4B| < A^2 - 4AB\tau $ に簡略化され、$ d > 16 $ のとき、既存の結果の $ B\tau < A $ よりも鋭い。
• ボール＝ペロンの定理および行列ノルムに基づく手法は、特に非定常系において、リャプノフ関数法よりも強力でより一般的な結果をもたらす。
• 結果は複数の有界遅れおよび分布遅れを有する系に拡張され、フレームワークの一般性およびより広いクラスの遅れ方程式への適用可能性が示された。