Recent advances in a rigorous computation of Poincaré maps
From MaRDI portal
Publication:2137186
DOI10.1016/J.CNSNS.2022.106366zbMATH Open1503.37088arXiv2104.08046OpenAlexW4214822274MaRDI QIDQ2137186FDOQ2137186
Authors: Tomasz Kapela, Daniel Wilczak, Piotr Zgliczyński 
Publication date: 16 May 2022
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Abstract: In this article we present recent advances on interval methods for rigorous computation of Poincar'e maps. We also discuss the impact of choice of Poincar'e section and coordinate system on obtained bounds for computing Poincar'e map nearby fixed points.
Full work available at URL: https://arxiv.org/abs/2104.08046
Recommendations
Periodic orbits of vector fields and flows (37C27) Approximation methods and numerical treatment of dynamical systems (37M99) Algorithms with automatic result verification (65G20)
Cites Work
- A rigorous ODE solver and Smale's 14th problem
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Title not available (Why is that?)
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- MPFR
- Title not available (Why is that?)
- An equation for hyperchaos
- Steady solutions of the Kuramoto-Sivashinsky equation
- Title not available (Why is that?)
- Rigorous verification of cocoon bifurcations in the Michelson system
- On the numerical computation of Poincaré maps
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Title not available (Why is that?)
- Set arithmetic and the enclosing problem in dynamics
- Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
- Computer assisted proof of the existence of homoclinic tangency for the Hénon map and for the forced damped pendulum
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
- New methods for high-dimensional verified quadrature
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- A homoclinic orbit in a planar singular ODE -- a computer assisted proof
- Computing accurate Poincaré maps
- Title not available (Why is that?)
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- When chaos meets hyperchaos: 4D Rössler model
- Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation
- Systematic computer-assisted proof of branches of stable elliptic periodic orbits and surrounding invariant tori
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
Cited In (12)
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays
- Computing accurate Poincaré maps
- On computing Poincaré map by Hénon method
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system
- Breakdown of homoclinic orbits to \(L_3\): nonvanishing of the Stokes constant
- High-order representation of Poincaré maps
- On the numerical computation of Poincaré maps
- Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\)
- Pseudo-convergence for calculation of data of the Poincaré group
- Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
- A box-counting method for characteristic diagnosis of nonlinear dynamical systems
Uses Software
This page was built for publication: Recent advances in a rigorous computation of Poincaré maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2137186)
