Abstract
AbstractWe 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 orbit structures in the FitzHugh–Nagumo equation, the extended Lorenz-84 model and a time-delay SI model.
Funder
Deutsche Forschungsgemeinschaft
Simons Foundation
Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. Ashwin, P., Coombes, S., Nicks, R.: Mathematical frameworks for oscillatory network dynamics in neuroscience. J. Math. Neurosci. 6, 1–92 (2016)
2. Bautin, N.: Behaviour of dynamical systems near the boundaries of stability regions. OGIZ GOSTEXIZDAT (In Russian), (1949)
3. Braza, P.A.: The bifurcation structure of the Holling-tanner model for predator-prey interactions using two-timing. SIAM J. Appl. Math. 63(3), 889–904 (2003)
4. Church, K.E.M., Lessard, J.-P.: Rigorous verification of Hopf bifurcations in functional differential equations of mixed type. Phys. D Nonlinear Phenom. 429, 133072 (2022)
5. Church, K.E.M., Queirolo, E.: Bivalve: Bifurcation validation venture