Computer assisted method for proving existence of periodic orbits

DOI10.12775/TMNA.1999.019zbMath0953.34029WikidataQ112163855 ScholiaQ112163855MaRDI QIDQ1974100

Paweł Pilarczyk

Publication date: 8 May 2000

Published in: Topological Methods in Nonlinear Analysis (Search for Journal in Brave)

zbMATH Keywords

existence; Conley index; periodic trajectory; smooth dynamical system; attracting periodic orbit

Mathematics Subject Classification ID

34C25: Periodic solutions to ordinary differential equations

65L99: Numerical methods for ordinary differential equations

Related Items

Rich Bifurcation Structure in a Two-Patch Vaccination Model, INVESTIGATION OF DYNAMICAL SYSTEMS USING SYMBOLIC IMAGES: EFFICIENT IMPLEMENTATION AND APPLICATIONS, Discretization strategies for computing Conley indices and Morse decompositions of flows, Finite resolution dynamics, A numerical verification method for a periodic solution of a delay differential equation, Recent development in rigorous computational methods in dynamical systems, Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index, Homology algorithm based on acyclic subspace, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems, Families of periodic orbits: closed 1-forms and global continuability, A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps