High-order Lohner-type algorithm for rigorous computation of Poincar\'e maps in systems of Delay Differential Equations with several delays

arXiv2206.13873MaRDI QIDQ6403369FDOQ6403369

Publication date: 28 June 2022

Abstract: We present a Lohner-type algorithm for rigorous integration of systems of Delay Differential Equations (DDEs) with multiple delays and its application in computation of Poincar'e maps to study the dynamics of some bounded, eternal solutions. The algorithm is based on a piecewise Taylor representation of the solutions in the phase-space and it exploits the smoothing of solutions occurring in DDEs to produces enclosures of solutions of a high order. We apply the topological techniques to prove various kinds of dynamical behavior, for example, existence of (apparently) unstable periodic orbits in Mackey-Glass Equation (in the regime of parameters where chaos is numerically observed) and persistence of symbolic dynamics in a delay-perturbed chaotic ODE (the R"ossler system).

Mathematics Subject Classification ID

Periodic solutions to functional-differential equations (34K13) Complex (chaotic) behavior of solutions to functional-differential equations (34K23) Functional-differential inequalities (34K38) Algorithms with automatic result verification (65G20) Numerical methods for functional equations (65Q20)

This page was built for publication: High-order Lohner-type algorithm for rigorous computation of Poincar\'e maps in systems of Delay Differential Equations with several delays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6403369)