Recent advances in a rigorous computation of Poincaré maps
From MaRDI portal
Publication:2137186
DOI10.1016/J.CNSNS.2022.106366zbMath1503.37088arXiv2104.08046OpenAlexW4214822274MaRDI QIDQ2137186
Daniel Wilczak, Tomasz Kapela, Piotr Zgliczyński
Publication date: 16 May 2022
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.08046
Periodic orbits of vector fields and flows (37C27) Algorithms with automatic result verification (65G20) Approximation methods and numerical treatment of dynamical systems (37M99)
Related Items (3)
Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem ⋮ Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) ⋮ Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Computing accurate Poincaré maps
- An equation for hyperchaos
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- On the numerical computation of Poincaré maps
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Steady solutions of the Kuramoto-Sivashinsky equation
- New methods for high-dimensional verified quadrature
- A rigorous ODE solver and Smale's 14th problem
- When chaos meets hyperchaos: 4D Rössler model
- Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof
- A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
- A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
- Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
- MPFR
- Set arithmetic and the enclosing problem in dynamics
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori
- Rigorous verification of cocoon bifurcations in the Michelson system
- Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum
This page was built for publication: Recent advances in a rigorous computation of Poincaré maps
