[论文解读] 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) 的 delta 导数上的不等式，在时标上应用李雅普诺夫直接法。
• 通过涉及 a(t)、b(t)、δ₋(h,t) 和 δ₋Δ(h,t) 的不等式，推导出指数稳定的充分条件。
• 通过分析李雅普诺夫泛函导数的符号和增长性，建立不稳定性判据。
• 在具体时标上验证该方法，包括 ℝ、ℤ 以及非加法时标如 q^ℤ 和 √ℕ。

实验结果

研究问题

• RQ1 位移算子能否用于定义一般时滞函数，从而实现在任意时标上李雅普诺夫泛函的构造？
• RQ2 李雅普诺夫直接法如何扩展至非加法时标上的时滞动态方程？
• RQ3 在时标上时滞动态方程中，零解的指数稳定性需满足何种条件？
• RQ4 在何种情况下，所提方法相较于现有方法能获得更强的稳定性结果？
• RQ5 当标准判据失效时，该方法能否检测到不稳定性？

主要发现

• 所提方法确保了时滞微分方程 x′(t) = x(t) - 1.5x(t - 1/3) 的零解指数稳定，而先前的准则如 [3, 定理 6] 和 [22, 推论 1] 无法建立此结论。
• 对于方程 xΔ(t) = b(t)x(δ₋(h,t))δ₋Δ(h,t)，其中 b(t) = -0.9 且 h = 2/3，该方法确认了指数稳定，而 [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] 中的结果。