2020/06/23 by Jan Bouwe van den Berg, Jean‐Philippe Lessard, Berg, Jan Bouwe van den +3
Mathematics · Physics and Astronomy · #Advanced Differential Equations and Dynamical Systems #Quantum chaos and dynamical systems #Chaos control and synchronization
paper · pdf · doi:10.48550/arxiv.2006.13373
In this paper we present a general approach to rigorously validate Hopf bifurcations as well as saddle-node bifurcations of periodic orbits in systems of ODEs. By a combination of analytic estimates and computer-assisted calculations, we follow solution curves of cycles through folds, checking along the way that a single nondegenerate saddle-node bifurcation occurs. Similarly, we rigorously continue solution curves of cycles starting from their onset at a Hopf bifurcation. We use a blowup analysis to regularize the continuation problem near the Hopf bifurcation point. This extends the applicability of validated continuation methods to the mathematically rigorous computational study of bifurcation problems.