Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models

DOI10.1134/S0012266119090088MaRDI QIDQ2280412zbMATH OpenOpenAlexWikidataFDO

Authors N. Evstigneev, O. I. Ryabkov

Publication date 18 December 2019

Published in Differential Equations (Search for Journal in Brave)

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

zbMATH Keywords

validated numericsconstructive algorithmsperiodic trajectories

Mathematics Subject Classification ID

Periodic orbits of vector fields and flows (37C27) Computational methods for invariant manifolds of dynamical systems (37M21) Symmetries and invariants of dynamical systems (37C79)

Recommendations

• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
• 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
• Some efficient computational algorithms related to phase models
• scientific article; zbMATH DE number 67112
• scientific article; zbMATH DE number 440789
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• COMPUTER-GENERATED PROOFS OF PHASE PORTRAITS FOR PLANAR SYSTEMS
• Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
• Algorithms for the construction of phase portraits of nonlinear dynamic systems
• Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

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 3755046 (Why is no real title available?)
• scientific article; zbMATH DE number 42580 (Why is no real title available?)
• scientific article; zbMATH DE number 2079135 (Why is no real title available?)
• scientific article; zbMATH DE number 1390155 (Why is no real title available?)
• Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations
• 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
• 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 integration of ODEs and flows using differential algebraic methods on high-order Taylor models

Cited in

(4)

• Certifying trajectories of dynamical systems
• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
• 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
• Analysis and optimization of an adaptive interpolation algorithm for the numerical solution of a system of ordinary differential equations with interval parameters

This page was built for publication: Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models

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