[论文解读] On the Bautin bifurcation for systems of delay differential equations

Anca Veronica Ion|arXiv (Cornell University)|Nov 7, 2011

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 4被引用 9

一句话总结

本文研究了在时滞微分方程（DDEs）系统中是否存在Bautin分歧——一种涉及一对临界Floquet乘子同时消失的余维二分歧。通过将经典Bautin分歧理论从常微分方程扩展到时滞微分方程，作者推导出此类分歧发生的显式条件，表明时滞与非线性项之间的相互作用可通过广义Hopf分歧导致稳定周期解的出现。主要贡献在于为DDE中的Bautin分歧推导出非退化条件，从而能够预测振荡解的振幅与频率变化。

ABSTRACT

For systems of delay differential equations the Hopf bifurcation was investigated by several authors. The problem we consider here is that of the possibility of emergence of a codimension two bifurcation, namely the Bautin bifurcation, for some of such systems.

研究动机与目标

• 研究时滞微分方程（DDEs）系统中是否可能发生余维二Bautin分歧，将经典常微分方程结果推广至DDE框架。
• 确定DDE系统中Bautin分歧出现的必要且充分条件，特别关注时滞与非线性项之间的相互作用。
• 为DDE中的Bautin分歧推导显式的非退化条件，从而能够预测稳定周期解的存在。

提出的方法

• 将中心流形约化与正规型理论适配于时滞微分方程，以分析平衡点附近的局部分歧行为。
• 计算DDE的前两个Lyapunov系数，以评估所出现周期解的稳定性和性质。
• 采用多尺度法推导描述分歧点附近振荡演化的振幅方程。
• 推导DDE中Bautin分歧的关键条件，涉及第一个Lyapunov系数的消失以及第二个系数的非退化条件。
• 对平衡点附近的线性化DDE进行谱分析，以定位纯虚特征根，这是Hopf与Bautin分歧的前提条件。
• 提出一个非退化条件，涉及第一个Lyapunov系数对系统参数的导数，以确保分歧的余维二性质。

实验结果

研究问题

• RQ1 在时滞微分方程系统中，是否可能发生Bautin分歧——即一对临界Floquet乘子同时消失？
• RQ2 DDE系统中Bautin分歧发生的必要且充分条件是什么，特别是关于系统参数与非线性项的关系？
• RQ3 时滞的存在如何影响通过此类分歧产生的周期解的振幅与频率？
• RQ4 第一个与第二个Lyapunov系数在确定DDE中分歧周期轨道的稳定性和性质方面起什么作用？
• RQ5 在时滞微分方程的背景下，如何显式表述Bautin分歧的非退化条件？

主要发现

• 本文确立了Bautin分歧确实可以在时滞微分方程系统中发生，将经典常微分方程结果推广至DDE框架。
• 推导出DDE中Bautin分歧的非退化条件，确保分歧的余维二性质以及极限环折叠的存在。
• 计算了DDE系统的第一个Lyapunov系数，其消失标志着Bautin分歧的开始，表明所出现周期解的稳定性发生改变。
• 分歧点附近的周期解振幅由一个依赖于系统参数与时滞的三次正规型方程所控制。
• 分析确认，时滞在系统特征方程中引入了关键依赖关系，影响分歧结构及稳定振荡的出现。
• 所推导的条件使得能够预测从平衡点分岔出的周期解的数量与稳定性，为DDE中的分歧分析提供了框架。