Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
From MaRDI portal
Publication:5004084
DOI10.1137/20M1343464zbMath1476.37094arXiv2006.13373OpenAlexW3149151118MaRDI QIDQ5004084
Elena Queirolo, Jean-Philippe Lessard, Jan Bouwe Van Den Berg
Publication date: 30 July 2021
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2006.13373
General methods in interval analysis (65G40) Bifurcations of limit cycles and periodic orbits in dynamical systems (37G15) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30)
Related Items (6)
A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Rigorous continuation of periodic solutions for impulsive delay differential equations ⋮ A Hopf bifurcation in the planar Navier-Stokes equations ⋮ Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Rigorous verification of saddle-node bifurcations in ODEs
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Period doubling in the Rössler system -- a computer assisted proof
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Switching to nonhyperbolic cycles from codim 2 bifurcations of equilibria in ODEs
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Rigorous computer-assisted application of KAM theory: a modern approach
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- A proof of Wright's conjecture
- On necessary and sufficient conditions for numerical verification of double turning points
- Automatic differentiation for Fourier series and the radii polynomial approach
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Hopf Bifurcation in a New Four-Dimensional Hyperchaotic System*
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
- Simulating, Analyzing, and Animating Dynamical Systems
- New features of the software M<scp>at</scp>C<scp>ont</scp>for bifurcation analysis of dynamical systems
- Global smooth solution curves using rigorous branch following
- Computer-assisted bifurcation diagram validation and applications in materials science
- THE FOLD-FLIP BIFURCATION
- Recipes for Continuation
- EFFECTIVE CONSTRUCTION OF POINCARÉ-BENDIXSON REGIONS
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- Rigorous verification of cocoon bifurcations in the Michelson system
- How well does the finite Fourier transform approximate the Fourier transform?
- Spatial patterns. Higher order models in physics and mechanics
This page was built for publication: Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
