A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
type: Item
instance of: scholarly article
title: A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
zbMATH Open document ID: 1469.37015
author: Elena Queirolo
author: Jan Bouwe Van den Berg
published in: Journal of Computational Dynamics
publication date: 2021-05-21T00:00:00Z
Mathematics Subject Classification ID: 37C27
Mathematics Subject Classification ID: 37M21
Mathematics Subject Classification ID: 34A12
Mathematics Subject Classification ID: 65G40
zbMATH DE Number: 7350479
zbMATH Keywords: validated numerics
zbMATH Keywords: periodic orbits
zbMATH Keywords: continuation
zbMATH Keywords: solution branch
zbMATH Keywords: polynomial ODEs
describes a project that uses: AUTO
describes a project that uses: INTLAB
describes a project that uses: COCO
describes a project that uses: PyDSTool
describes a project that uses: Matlab
describes a project that uses: MATCONT
describes a project that uses: XPPAUT
describes a project that uses: CAPD
describes a project that uses: AUTO-07P
describes a project that uses: galepu
describes a project that uses: CkAnalytic
MaRDI profile type: Publication
full work available at URL: jcd.2021004
OpenAlex ID: W3092818401
cites work: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
cites work: Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
cites work: Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
cites work: Global smooth solution curves using rigorous branch following
cites work: Validated computations for connecting orbits in polynomial vector fields
cites work: Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
cites work: Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
cites work: Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
cites work: Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
cites work: Q5424369
cites work: Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
cites work: Recipes for Continuation
cites work: Validated Continuation for Equilibria of PDEs
cites work: New features of the software M<scp>at</scp>C<scp>ont</scp>for bifurcation analysis of dynamical systems
cites work: Simulating, Analyzing, and Animating Dynamical Systems
cites work: Rigorous computer-assisted application of KAM theory: a modern approach
cites work: Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
cites work: EFFECTIVE CONSTRUCTION OF POINCAR&#201;-BENDIXSON REGIONS
cites work: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
cites work: Elements of applied bifurcation theory
cites work: Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
cites work: Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
cites work: Automatic differentiation for Fourier series and the radii polynomial approach
cites work: Rigorous integration of flows and ODEs using taylor models
cites work: Q4949347
cites work: Q4093779
cites work: Computer-assisted bifurcation diagram validation and applications in materials science
cites work: Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
DOI: 10.3934/JCD.2021004
description: scientific article; zbMATH DE number 7350479