Recent development in rigorous computational methods in dynamical systems

DOI10.1007/BF03186541zbMath1184.65117WikidataQ112163848 ScholiaQ112163848MaRDI QIDQ849189

Zin Arai, Hiroshi Kokubu, Paweł Pilarczyk

Publication date: 25 February 2010

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033788

zbMATH Keywords

algorithmnumerical examplesbifurcationsdynamical systeminterval arithmeticperiodic orbitheteroclinic orbitConley indexrigorous computationshyperbolic dynamics

Mathematics Subject Classification ID

Numerical analysis or methods applied to Markov chains (65C40) Periodic orbits of vector fields and flows (37C27) Bifurcations of limit cycles and periodic orbits in dynamical systems (37G15) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30) Homoclinic and heteroclinic orbits for dynamical systems (37C29)

Related Items

Discretization strategies for computing Conley indices and Morse decompositions of flows ⋮ A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps ⋮ Hodge-Kodaira decomposition of evolving neural networks ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem

Uses Software

• CHomP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Shift automorphisms in the Henon mapping
• The Conley index on compact ANR's is of finite type
• A numerical method for constructing the hyperbolic structure of complex Hénon mappings
• Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
• Steady solutions of the Kuramoto-Sivashinsky equation
• Uniqueness of connecting orbits in the equation \(Y^{(3)}=Y^ 2-1\)
• Markov shifts in the Hénon family
• Existence of dichotomies and invariant splittings for linear differential systems. I
• A characterization of the minimum cycle mean in a digraph
• Topological-numerical approach to the existence of periodic trajectories in ODE's
• Computational homology
• \(C^1\) Lohner algorithm.
• Zeta functions, periodic trajectories, and the Conley index
• The Conley index for discrete semidynamical systems
• Computer assisted method for proving existence of periodic orbits
• Topological method for symmetric periodic orbits for maps with a reversing symmetry
• Graph approach to the computation of the homology of continuous maps
• An algorithmic approach to chain recurrence
• New aspects in the unfolding of the nilpotent singularity of codimension three
• Topological techniques for efficient rigorous computation in dynamics
• Open index pairs, the fixed point index and rationality of zeta functions
• On Hyperbolic Plateaus of the Henon Map
• Quantitative hyperbolicity estimates in one-dimensional dynamics
• A Geometric Criterion for Hyperbolicity of Flows
• Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
• THE "COCOON" BIFURCATIONS IN THREE-DIMENSONAL SYSTEMS WITH TWO FIXED POINTS
• A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
• Chaotic dynamics of a nonlinear density dependent population model
• Rigorous Computations of Homoclinic Tangencies
• Rigorous verification of cocoon bifurcations in the Michelson system
• Cocoon bifurcation in three-dimensional reversible vector fields
• A Database Schema for the Analysis of Global Dynamics