[論文レビュー] Shift operators and stability in delayed dynamic equations

Murat Adıvar, Youssef N‎. ‎Raffoul‎|arXiv (Cornell University)|Jan 18, 2011

Nonlinear Differential Equations Analysis参考文献 18被引用数 20

ひとこと要約

本稿では、時刻スケール上の遅延動的方程式のためのリャプノフ汎関数を構築するためにシフト作用素を導入し、微分方程式、差分方程式、q-差分方程式を統一的に取り扱う安定性および不安定性の解析を可能にした。リャプノフ直接法をシフト作用素を用いて一般化することで、従来の手法が失敗する非加法的時刻スケールに対しても、明示的な指数的安定性条件を導出し、それらを拡張・改善した。

ABSTRACT

In this paper, we use what we call the shift operator so that general delay dynamic equations of the form \[ x^Δ(t)=a(t)x(t)+b(t)x(δ_{-}(h,t))δ_{-}^Δ% (h,t),\ \ \ t\in\lbrack t_{0},\infty)_{\mathbb{T}}% \] can be analyzed with respect to stability and existence of solutions. By means of the shift operators we define a general delay function opening an avenue for the construction of Lyapunov functional on time scales. Thus, we use the Lyapunov's direct method to obtain inequalities that lead to stability and instability. Therefore, we extend and unify stability analysis of delay differential, delay difference, delay $h-$difference, and delay $q-$difference equations which are the most important particular cases of our delay dynamic equation. extbf{Keywords}: Delay dynamic equation, instability, shift operators, stability, time scales.

研究の動機と目的

• 任意の時刻スケール上での遅延動的方程式の安定性解析の統一的枠組みを構築すること。
• 従来のリャプノフ汎関数法が加法的時刻スケールを必要としているという制限を克服すること。
• 遅延微分方程式、差分方程式、h-差分方程式、q-差分方程式に対する既存の安定性結果を拡張・一般化すること。
• シフト作用素を用いて、指数的安定性および不安定性のための新たな十分条件を確立すること。
• 一般の遅延関数を対象とする、一般時刻スケール上で適用可能なリャプノフ汎関数の構成的構築法を提供すること。

提案手法

• 一般の遅延関数を定義するため、時刻スケール上でのシフト作用素 δ₋(h,t) および δ₊(h,t) を導入する。
• シフト作用素を用いて、遅延区間上の積分を含むリャプノフ汎関数 V(t) を構築する。
• V(t) のデルタ微分に関する不等式を導出することで、時刻スケール上でのリャプノフ直接法を適用する。
• a(t)、b(t)、δ₋(h,t)、δ₋Δ(h,t) を含む不等式を用いて、指数的安定性の十分条件を導出する。
• リャプノフ汎関数の微分の符号および増大度を分析することで、不安定性基準を確立する。
• 特に ℝ、ℤ、および非加法的スケール（q^ℤ や √ℕ）において、手法の有効性を検証する。

実験結果

リサーチクエスチョン

• RQ1 シフト作用素を用いて、任意の時刻スケール上での一般遅延関数を定義し、リャプノフ汎関数の構築を可能にすることができるか？
• RQ2 リャプノフ直接法を非加法的時刻スケール上での遅延動的方程式にどのように拡張できるか？
• RQ3 時刻スケール上での遅延動的方程式のゼロ解の指数的安定性を保証する条件は何か？
• RQ4 本手法は、既存のアプローチと比較して、どのような場合により強い安定性結果をもたらすか？
• RQ5 標準的な基準が失敗する状況において、本手法は不安定性を検出できるか？

主な発見

• 従来の基準（[3, 定理6] や [22, 系1]）では確立できなかった遅延微分方程式 x′(t) = x(t) - 1.5x(t - 1/3) に対し、本手法はゼロ解の指数的安定性を保証する。
• b(t) = -0.9 および h = 2/3 の方程式 xΔ(t) = b(t)x(δ₋(h,t))δ₋Δ(h,t) に対し、本手法は指数的安定性を確認するが、[3, 定理7] や [22, 系1] は積分条件の違反により失敗する。
• a(t) = 1、b(t) = -1.5、δ₋(h,t) = t - 1/3 の例において、本研究の枠組みにおける条件 (4.6) が成立し、指数的安定性が保証される。
• 従来のリャプノフ法が適用できない非加法的時刻スケール（q^ℤ や √ℕ）に対しても、本手法は適切に処理できる。
• 注記1では、λ、β(t)、μ(t)、b(δ₊(h,t)) を含む明示的な十分条件が提示され、既存の結果を一般化している。
• 本稿は、特定のクラスの微分方程式に対して、[3, 定理7] や [22, 系1] よりも強い安定性基準を提供していることを示している。