A computer assisted proof of chaos in a delayed perturbation of chaotic ODE

Robert Szczelina (Jagiellonian University, Poland)

12-Jan-2021, 15:00-16:00 (3 years ago)

Abstract: We will discuss some recent developments to the Taylor method for forward in time rigorous integration of Delay Differential Equations (DDEs) with constant delays. We briefly discuss how to generalize method of the paper "Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation, Found. Comp. Math., 18 (6), 1299-1332, 2018" to incorporate multiple lags, multiple variables (systems of equations) and how to utilize "smoothing of solutions" to produce results of a far greater accuracy, especially when computing Poincaré maps between local sections. We will apply this method to validate some covering relations between carefully selected sets under Poincaré maps defined with a flow associated to a DDE. Together with standard topological arguments for compact maps it will prove existence of a chaotic dynamics, in particular the existence of infinite (countable) number of periodic orbits. The DDE under consideration is a toy example made by adding a delayed term to the Rössler ODE under parameters for which chaotic attractor exists. The delayed term is small in amplitude, but the lag time is macroscopic (not small). This is a joint work with Piotr Zgliczyński.

analysis of PDEsclassical analysis and ODEsdynamical systemsfunctional analysisnumerical analysis

Audience: researchers in the discipline


CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis

Series comments: To have access to the zoom details of the talks, please register at www.crm.math.ca/camp-nonlinear

Organizers: Jean-Philippe Lessard*, Jason D. Mireles James, Jan Bouwe van den Berg
*contact for this listing

Export talk to