Hopf 泡与退化 Hopf 分岔的计算机辅助证明
动力系统
2022-03-01 v1 数值分析
数值分析
摘要
我们提出一种计算机辅助方法,用于证明常微分方程与时滞微分方程中 Hopf 泡与退化 Hopf 分岔的存在性。我们将该方法应用于严格考察 FitzHugh-Nagumo 方程、扩展 Lorenz-84 模型以及一类时滞 SI 模型中的这些非局部分岔结构。
引用
@article{arxiv.2202.13326,
title = {Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations},
author = {Kevin Church and Elena Queirolo},
journal= {arXiv preprint arXiv:2202.13326},
year = {2022}
}
备注
51 pages, 15 figures