Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations

DOI10.1134/S0012266121030113MaRDI QIDQ2019639zbMATH OpenOpenAlexFDO

Authors N. Evstigneev, O. I. Ryabkov, D. A. Shul'min

Publication date 21 April 2021

Published in Differential Equations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0012266121030113

Mathematics Subject Classification ID

Periodic solutions to ordinary differential equations (34C25) Interval and finite arithmetic (65G30)

Recommendations

• Shrink wrapping for Taylor models revisited
• 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
• On Taylor Model Based Integration of ODEs
• Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations

Cites work

• scientific article; zbMATH DE number 3649911 (Why is no real title available?)
• scientific article; zbMATH DE number 3707668 (Why is no real title available?)
• scientific article; zbMATH DE number 714518 (Why is no real title available?)
• A rigorous ODE solver and Smale's 14th problem
• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
• Introduction to Interval Analysis
• On Taylor Model Based Integration of ODEs
• Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
• Topological-numerical approach to the existence of periodic trajectories in ODE's
• Validated solutions of initial value problems for parametric ODEs
• Verified high-order inversion of functional dependencies and interval Newton methods
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

Cited in

(2)

• 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

Describes a project that uses

Uses Software

• RODES

This page was built for publication: Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2019639)