A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation

作者：Szczelina Robert^*

来源：Electronic Journal of Qualitative Theory of Differential Equations, 2016, (83): 1-19.

DOI：10.14232/ejqtde.2016.1.83

• delay differential equations
• Poincare map
• topological methods
• fixed point theorem
• rigorous numerics

We present an application of a recently developed algorithm for rigorous integration forward in time of delay differential equations (DDEs) to a computer assisted proof of the existence of several periodic orbits in a DDE obtained by a singular perturbation limit method from the classical logistic map. The proofs are done near the parameter value for which multistability was numerically observed.

• 出版日期2016