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

existenceConley indexperiodic trajectorysmooth dynamical systemattracting periodic orbit

Mathematics Subject Classification ID

Periodic solutions to ordinary differential equations (34C25) Numerical methods for ordinary differential equations (65L99)

Related Items

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