Finite resolution dynamics
From MaRDI portal
Publication:535286
DOI10.1007/s10208-010-9083-zzbMath1211.65164arXiv0910.2319WikidataQ112163832 ScholiaQ112163832MaRDI QIDQ535286
Paweł Pilarczyk, Stefano Luzzatto
Publication date: 11 May 2011
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0910.2319
algorithm; dynamical system; directed graph; mixing; transitivity; rigorous numerics; combinatorial dynamics; open cover; finite resolution
65G20: Algorithms with automatic result verification
65P20: Numerical chaos
37M99: Approximation methods and numerical treatment of dynamical systems
Related Items
Rich Bifurcation Structure in a Two-Patch Vaccination Model, Global dynamics in a stage-structured discrete-time population model with harvesting, Fixed points of a destabilized Kuramoto-Sivashinsky equation, Persistence of Morse decompositions over grid resolution for maps and time series, Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model, Local stability implies global stability for the 2-dimensional Ricker map, Dynamical properties of spatial discretizations of a generic homeomorphism
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The dynamics of the Hénon map
- The Lorenz attractor is mixing
- 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
- A two-dimensional mapping with a strange attractor
- Absolutely continuous invariant measures for one-parameter families of one-dimensional maps
- Positive Lyapunov exponents in families of one dimensional dynamical systems
- The ergodic theory of axiom A flows
- Infinitely many coexisting strange attractors
- Infinite-modal maps with global chaotic behavior
- Abundance of strange attractors
- Sinai-Bowen-Ruelle measures for certain Hénon maps
- Topological-numerical approach to the existence of periodic trajectories in ODE's
- Non-uniformly expanding dynamics in maps with singularities and criticalities
- Decidability of chaos for some families of dynamical systems
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- An algorithmic approach to the Conley index theory
- Computer assisted method for proving existence of periodic orbits
- Diffeomorphisms with infinitely many sinks
- An algorithmic approach to chain recurrence
- A computer-assisted proof of universality for area-preserving maps
- Computable conditions for the occurrence of non-uniform hyperbolicity in families of one-dimensional maps
- On Hyperbolic Plateaus of the Henon Map
- A computer-assisted proof of the Feigenbaum conjectures
- The Lorenz attractor exists
- Positive exponent in families with flat critical point
- Chaos in the Lorenz equations: a computer-assisted proof
- A combinatorial procedure for finding isolating neighbourhoods and index pairs
- The existence of simple choreographies for theN-body problem—a computer-assisted proof
- Topological Transitivity, Mixing And Nonwandering Set Of Subshifts Of Finite Type - A Numerical Approach
- Rigorous investigation of the Ikeda map by means of interval arithmetic
- A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- Rigorous Computations of Homoclinic Tangencies
- Markov Partitions for Axiom A Diffeomorphisms
- Depth-First Search and Linear Graph Algorithms
- Equilibrium states and the ergodic theory of Anosov diffeomorphisms
- Strange attractors with one direction of instability
