Computer assisted proofs of several attracting periodic orbits in some scalar DDE

The equation is from J. Losson, M. C. Mackey, A. Longtin, Chaos 3(1993), No. 2, 167–176.

The instructions for the compilation are included in README.txt file in the main directory of each archive. Bundled version contains a copy of CAPD library for those who never used it and does not have it. The other version is for those who want to use own version of CAPD.

Warning: source codes were tested with CAPD version 3. Currently available version is 4. I do not know if it will work with the current source codes.

The source codes requires: C/C++ compiler with C++11 (C++0x) support, CAPD library and their dependencies. See CAPD page for details. Optional (recomended): python 2.7+, gnuplot.

When refering to this work please consider citing the following article:
Szczelina, R. 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), No. 83, 1-19, [open-access]

Source codes can be downloaded here:

  • Source codes with CAPD library bundled (~12.5 MB) [.zip]
  • Source codes without CAPD library (~7.8 MB) [.zip]

An animated presentation (LaTex, Beamer) of the construction of a (p,n)-representation for some exemplary function can be found under this link [.pdf]. The presentation should be viewed in Presentation Mode (usually View -> Presentation or F5 hotkey).