Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey–Glass Equation

@article{Szczelina2018AlgorithmFR,
  title={Algorithm for Rigorous Integration of Delay Differential Equations and the Computer-Assisted Proof of Periodic Orbits in the Mackey–Glass Equation},
  author={Robert Szczelina and P. Zgliczynski},
  journal={Foundations of Computational Mathematics},
  year={2018},
  volume={18},
  pages={1299-1332}
}
We present an algorithm for the rigorous integration of delay differential equations (DDEs) of the form $$x'(t)=f(x(t-\tau ),x(t))$$x′(t)=f(x(t-τ),x(t)). As an application, we give a computer-assisted proof of the existence of two attracting periodic orbits (before and after the first period-doubling bifurcation) in the Mackey–Glass equation. 
A General Method for Computer-Assisted Proofs of Periodic Solutions in Delay Differential Problems
Parameterization method for unstable manifolds of delay differential equations
A Rigorous Implicit $$C^1$$C1 Chebyshev Integrator for Delay Equations
Numerical inclusion of exact periodic solutions for time delay Duffing equation
  • S. Oishi
  • Mathematics, Computer Science
  • J. Comput. Appl. Math.
  • 2020
...
1
2
...

References

SHOWING 1-10 OF 54 REFERENCES
Computer-assisted proof of a periodic solution in a nonlinear feedback DDE
A generalized Lefschetz fixed point theorem and symbolic dynamics in delay equations
Rigorous Numerics for Dissipative Partial Differential Equations II. Periodic Orbit for the Kuramoto–Sivashinsky PDE—A Computer-Assisted Proof
Global dynamics of delay differential equations
  • T. Krisztin
  • Mathematics, Computer Science
  • Period. Math. Hung.
  • 2008
Analyticity and Nonanalyticity of Solutions of Delay-Differential Equations
Configurations of periodic orbits for equations with delayed positive feedback
A Rigorous ODE Solver and Smale’s 14th Problem
  • W. Tucker
  • Mathematics, Computer Science
  • Found. Comput. Math.
  • 2002
...
1
2
3
4
5
...