[论文解读] Wright type delay differential equations with negative Schwarzian

Eduardo Liz, Manuel Pinto+3 more|ArXiv.org|Nov 27, 2001

Stability and Controllability of Differential Equations参考文献 11被引用 4

一句话总结

本文证明了经典 Wright 方程的 3/2 稳定性条件可推广至一大类具有递减或单峰非线性的时滞微分方程，这些非线性函数光滑、满足负反馈和有界性条件，并且处处具有负的施瓦茨导数。关键结果表明，在这些广义条件下，零平衡点具有全局渐近稳定性，从而在非指数型非线性时滞方程的背景下解决了长期存在的一个猜想。

ABSTRACT

We prove that the well-known 3/2 stability condition established for the Wright equation (WE) still holds if the nonlinearity $p(\exp(-x)-1)$ in WE is replaced by a decreasing or unimodal smooth function f with $f'(0)<0$ satisfying the standard negative feedback and below boundedness conditions and having everywhere negative Schwarz derivative.

研究动机与目标

• 将 Wright 方程中著名的 3/2 稳定性条件推广至具有非指数型非线性的更广泛类时滞微分方程。
• 研究负施瓦茨导数条件（在单变量动力系统中常见）是否能确保标量时滞微分方程的全局稳定性。
• 通过在非线性函数满足温和结构假设的前提下证明零平衡点的全局吸引性，从而在广义设定下解决 Wright 猜想。
• 证明 3/2 稳定性条件不仅适用于原始 Wright 方程中的指数型非线性，也适用于光滑、递减或单峰且具有负施瓦茨导数的函数。

提出的方法

• 作者在条件 (H1)–(H3) 下分析标量时滞微分方程 $ x'(t) = f(x(t-1)) $，其中 $ f $ 为 $ C^3 $ 函数，满足负反馈和有界性，并具有负的施瓦茨导数。
• 他们采用围绕平衡点 $ x=0 $ 的变分方法，研究线性化方程 $ x'(t) = f'(0)x(t-1) $，并分析稳定性阈值 $ -f'(0) < \pi/2 $。
• 证明依赖于利用施瓦茨导数和函数 $ r(x) $（作为 $ f(x) $ 的比较函数）的性质，对解的范围构造界限。
• 他们定义辅助函数 $ R(x) $、$ A(x) $ 和 $ B(x) $ 以估计解的极值，并推导涉及 $ m $ 和 $ M $ 的不等式，其中 $ m $ 和 $ M $ 分别为解范围的下确界和上确界。
• 通过反证法，他们证明在 3/2 条件下假设 $ m < 0 < M $ 会导致矛盾，方法是使用 $ f $ 在零附近的有理函数和线性逼近。
• 该论证被扩展至 $ f''(0) > 0 $、$ f''(0) < 0 $ 和 $ f''(0) = 0 $ 的情形，通过使用对称性和变换技术将其简化为二阶导数为正的情形。

实验结果

研究问题

• RQ1 Wright 方程的 3/2 稳定性条件是否适用于非指数形式 $ f(x) = p(e^{-x} - 1) $ 以外的非线性？
• RQ2 负施瓦茨导数条件是否可用于确保具有非单调非线性的时滞微分方程的全局渐近稳定性？
• RQ3 当 $ f $ 为单峰且满足 $ (Sf)(x) < 0 $ 时，即使其具有拐点或局部极值，零平衡点的全局吸引性是否仍然保持？
• RQ4 经典 3/2 稳定性结果能否推广至非严格递减的非线性，只要其满足负施瓦茨导数条件以及标准的反馈和有界性约束？

主要发现

• 3/2 稳定性条件适用于所有满足 (H1)–(H3) 的 $ C^3 $ 非线性函数 $ f $，包括具有负施瓦茨导数的单峰和非单调函数。
• 对于所有满足负施瓦茨导数条件的 $ f $，只要 $ f'(0) \in [-1.5, 0) $，零平衡点的全局渐近稳定性即被确立。
• 证明表明，在 3/2 条件下假设 $ m < 0 < M $ 会导致矛盾，从而证明了全局吸引性。
• 该结果将 Wright 原始定理的结论推广至非指数型非线性，因为证明不依赖于 $ f $ 的特定指数形式，而仅依赖于负施瓦茨导数和光滑性。
• 该方法在 $ f''(0) > 0 $、$ f''(0) < 0 $ 和 $ f''(0) = 0 $ 的情形下均适用，通过使用对称性和变换将问题统一归约为二阶导数为正的情形。
• 负施瓦茨导数条件被证明在实现此类全局稳定性结果中既自然又必要，因为它在许多生物模型（如 Mackey-Glass 方程和 Nicholson 方程）中均有出现。