A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
Publication:2026919
DOI10.3934/JCD.2021004zbMATH Open1469.37015OpenAlexW3092818401MaRDI QIDQ2026919FDOQ2026919
Elena Queirolo, Jan Bouwe Van den Berg
Publication date: 21 May 2021
Published in: Journal of Computational Dynamics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3934/jcd.2021004
Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Periodic orbits of vector fields and flows (37C27) General methods in interval analysis (65G40) Computational methods for invariant manifolds of dynamical systems (37M21)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Simulating, Analyzing, and Animating Dynamical Systems
- Automatic differentiation for Fourier series and the radii polynomial approach
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Elements of applied bifurcation theory
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- 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
- Validated Continuation for Equilibria of PDEs
- 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
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- Recipes for Continuation
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Rigorous integration of flows and ODEs using taylor models
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
- Rigorous computer-assisted application of KAM theory: a modern approach
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- Computer-assisted bifurcation diagram validation and applications in materials science
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Validated computations for connecting orbits in polynomial vector fields
- EFFECTIVE CONSTRUCTION OF POINCARÉ-BENDIXSON REGIONS
Cited In (8)
- Validated computations for connecting orbits in polynomial vector fields
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal
- When does the method of harmonic balance give a correct prediction for mechanical systems?
- Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
Uses Software
This page was built for publication: A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2026919)
