This page contains supplementary materials to the PhD Thesis titled *Rigorous integration of
Delay Differential Equations* by Robert Szczelina (me) and supervised by prof. dr hab. Piotr Zgliczyński.

Figure 1. This is the numerical approximation of the supposed Large Amplitude Slowly Oscilatory Periodic (LSOP) solution to the smooth version of the system investigated by Krisztin and Vas. The system is of the form \(x'(t) = -x(t) + f(x(t-1))\), where \(f(x)\) is a 5th degree polynomial. More details can be found in the PHD Thesis and in the documentation of the source code.

Figure 2. This is the numerical approximation of the supposed stable periodic solution to the simplified system, where \(f(x)\) is a 3rd degree polynomial. This solution (and also a stationary solution \(x = 0\) to the same equation) is used in the PERFORMANCE tests section. More details can be found in the PHD Thesis and in the documentation of the source code.

Figure 3. Approximate eigenbase for the the LSOP solution from Fig. 1.

Dissertation can be downloaded from ssdnm project web page, or directly from this link [.pdf].

An animated presentation (LaTex, Beamer) of the construction of a (p,n)-representation (a basic concept in the thesis) 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).

Codes for rigorous integration are implemented as template-based C++ classes and routines. It heavily uses CAPD library, for which source codes can be downloaded here. The programs were tested with CAPD v3.0. Below you may find two versions of the source code - with and without CAPD. The verison with CAPD is relatively simpler to compile and run, but the compilation time is very long. Version without CAPD is for those who have CAPD and do not want to compile it again.

- Source codes bundled with CAPD v3.0: [.zip] (approx. 6 MB), instalation instructions
- Source codes without CAPD: [.zip] (approx. 1.5 MB), instalation instructions

PHD Thesis contains the analysis of the performance (in terms of the quality of the interval arithmetics) and several figures related to this issue. Here we present all the data used to test the performance of the DDE rigorous integrator, its dependence on the choosen (p,n)-prepresentation and Lohner set representation.

There are three files related to this: first is the .pdf file containing all the figures together with short descriptions, as in the PhD Thesis. The second one is the .zip file containing all the input files that were used to produce results. The third one is the .zip file that contains all results from the computations. For each test the results are stored inside a separate directory that contain several files. Under this link you can read the description of the input files and output directory.

The files were generated by the program `test_1_periodic` which is contained in the source codes under `programs/test_1_periodic`.
Despite the name of the test, which is somehow confusing in this case, it run both tests - for periodic and stable solutions.
The name of the test will be changed in the future releases of the library.

- All figures from numerical experiments: [.pdf]
- Input files: [.zip]
- Output files: [.zip]
- Documentation on the input and output file formats is here

**(Stable) periodic orbits in Mackey-Glass equation: **

- Description of the source codes can be found here
- Source codes with CAPD library bundled (~27MB) [.zip]
- Source codes without CAPD library (~7MB) [.zip]

When refering to this work please consider citing: Szczelina, R.; Zgliczyński, P.;
*Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation*,
Foundations of Computational Mathematics (2018), Vol. 18, Iss 6, Pages 1299--1332,
[Open Access, doi:10.1007/s10208-017-9369-5]
[arxiv preprint]

**Scalar DDE from J. Losson, M. C. Mackey, A. Longtin, Chaos 3(1993), No. 2, 167–176: **

- Description of the source codes can be found here
- Source codes with CAPD library bundled (~12.5 MB) [.zip]
- Source codes without CAPD library (~7.8 MB) [.zip]

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]