Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations

DOI10.1134/S0012266118040092zbMATH Open1415.65152OpenAlexW2803730510WikidataQ129825294 ScholiaQ129825294MaRDI QIDQ721909FDOQ721909

N. Evstigneev, O. I. Ryabkov

Publication date: 20 July 2018

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

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

Recommendations

• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
• 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
• Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations
• Topological-numerical approach to the existence of periodic trajectories in ODE's
• Computer assisted method for proving existence of periodic orbits

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Interval and finite arithmetic (65G30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to Interval Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• 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
• Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
• Validated solutions of initial value problems for ordinary differential equations
• Title not available (Why is that?)
• 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?)
• On optimization of weight quadrature formulas
• Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations
• Title not available (Why is that?)

Cited In (3)

• 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
• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
• Analysis and optimization of an adaptive interpolation algorithm for the numerical solution of a system of ordinary differential equations with interval parameters

Uses Software

• Cosy

This page was built for publication: Applicability of the interval Taylor model to the computational proof of 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 Q721909)