High-order Lohner-type algorithm for rigorous computation of Poincar\'e maps in systems of Delay Differential Equations with several delays
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).
Keywords
Cite
@article{arxiv.2206.13873,
title = {High-order Lohner-type algorithm for rigorous computation of Poincar\'e maps in systems of Delay Differential Equations with several delays},
author = {Robert Szczelina and Piotr Zgliczyński},
journal= {arXiv preprint arXiv:2206.13873},
year = {2024}
}
Comments
Found Comput Math (2023)