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

DOI10.1134/S0012266119090088zbMATH Open1429.37049OpenAlexW2980612093WikidataQ113786385 ScholiaQ113786385MaRDI QIDQ2280412FDOQ2280412

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

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

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)

Cites Work

• Title not available (Why is that?)
• Introduction to Interval Analysis
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological-numerical approach to the existence of periodic trajectories in ODE's
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)