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

Electronic Journal of Qualitative Theory of Differential Equations

卷:2016

Robert Szczelina¹ 

[1] Malopolska Center of Biotechnology, Jagiellonian University, Krakow, Poland;

关键词: delay differential equations;    poincaré map;    topological methods;    fixed point theorem;    rigorous numerics;   

DOI  :  10.14232/ejqtde.2016.1.83

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown