Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations

DOI10.1134/S0012266113020080zbMath1271.34048MaRDI QIDQ1955646

O. I. Ryabkov, D. L. Golitsyn, D. A. Burov

Publication date: 17 June 2013

Published in: Differential Equations (Search for Journal in Brave)

Mathematics Subject Classification ID

Periodic solutions to ordinary differential equations (34C25) Theoretical approximation of solutions to ordinary differential equations (34A45) Applications of operator theory to differential and integral equations (47N20)

Related Items (3)

Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations ⋮ Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models ⋮ Existence of periodic solutions of a third-order nonlinear system

Cites Work

• Study of the passage from a dissipative to a conservative state in two-dimensional nonlinear systems of ordinary differential equations
• Investigation of saddle-node and pitchfork bifurcations by Magnitskii's stabilization method
• Unnamed Item

This page was built for publication: Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations