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/S0012266121030113zbMATH Open1471.34073OpenAlexW3155068562MaRDI QIDQ2019639FDOQ2019639

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

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

Mathematics Subject Classification ID

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

Cites Work

• A rigorous ODE solver and Smale's 14th problem
• Title not available (Why is that?)
• Introduction to Interval Analysis
• Validated solutions of initial value problems for parametric ODEs
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
• On Taylor Model Based Integration of ODEs
• Title not available (Why is that?)
• Verified high-order inversion of functional dependencies and interval Newton methods
• Title not available (Why is that?)
• Topological-numerical approach to the existence of periodic trajectories in ODE's
• 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

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

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)