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

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Szczelina, Robert, Zgliczyński, Piotr
Format: Preprint
Veröffentlicht: 2022
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866911967053086720
author Szczelina, Robert
Zgliczyński, Piotr
author_facet Szczelina, Robert
Zgliczyński, Piotr
contents 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é 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össler system).
format Preprint
id arxiv_https___arxiv_org_abs_2206_13873
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays
Szczelina, Robert
Zgliczyński, Piotr
Dynamical Systems
Numerical Analysis
34K13, 34K23, 34K38, 65G20, 65Q20
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é 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össler system).
title High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of Delay Differential Equations with several delays
topic Dynamical Systems
Numerical Analysis
34K13, 34K23, 34K38, 65G20, 65Q20
url https://arxiv.org/abs/2206.13873