论文标题
HOPF气泡和退化Hopf分叉的计算机辅助证明
Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
论文作者
论文摘要
我们提出了一种计算机辅助的方法，以证明在普通和延迟微分方程中存在Hopf Bubbles和退化的HopF分叉。我们应用该方法在Fitzhugh-Nagumo方程，扩展的Lorenz-84模型和Time-Delay SI模型中严格研究这些非局部分叉结构。
We present a computer-assisted approach to prove the existence of Hopf bubbles and degenerate Hopf bifurcations in ordinary and delay differential equations. We apply the method to rigorously investigate these nonlocal bifurcation structures in the FitzHugh- Nagumo equation, the extended Lorenz-84 model and a time-delay SI model.
