Finite resolution dynamics
From MaRDI portal
Publication:535286
DOI10.1007/S10208-010-9083-ZzbMATH Open1211.65164arXiv0910.2319OpenAlexW3102661893WikidataQ112163832 ScholiaQ112163832MaRDI QIDQ535286FDOQ535286
Paweł Pilarczyk, Stefano Luzzatto
Publication date: 11 May 2011
Published in: Foundations of Computational Mathematics (Search for Journal in Brave)
Abstract: We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system having some property at all resolutions coarser than a given number. Open covers are used to approximate the topology of the phase space in a finite way, and the dynamical system is represented by means of a combinatorial multivalued map. We formulate notions of transitivity and mixing in the finite resolution setting in a computable and consistent way. Moreover, we formulate equivalent conditions for these properties in terms of graphs, and provide effective algorithms for their verification. As an application we show that the Henon attractor is mixing at all resolutions coarser than 10^-5.
Full work available at URL: https://arxiv.org/abs/0910.2319
Recommendations
transitivityalgorithmmixingdynamical systemrigorous numericscombinatorial dynamicsdirected graphopen coverfinite resolution
Numerical chaos (65P20) Approximation methods and numerical treatment of dynamical systems (37M99) Algorithms with automatic result verification (65G20)
Cites Work
- Introduction to algorithms
- Title not available (Why is that?)
- Absolutely continuous invariant measures for one-parameter families of one-dimensional maps
- Sinai-Bowen-Ruelle measures for certain Hénon maps
- An algorithmic approach to chain recurrence
- Title not available (Why is that?)
- Depth-First Search and Linear Graph Algorithms
- Equilibrium states and the ergodic theory of Anosov diffeomorphisms
- The dynamics of the Hénon map
- A computer-assisted proof of universality for area-preserving maps
- The Lorenz attractor exists
- A combinatorial procedure for finding isolating neighbourhoods and index pairs
- A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
- A two-dimensional mapping with a strange attractor
- The ergodic theory of axiom A flows
- Strange attractors with one direction of instability
- Diffeomorphisms with infinitely many sinks
- Markov Partitions for Axiom A Diffeomorphisms
- Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
- Chaos in the Lorenz equations: a computer-assisted proof
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Infinitely many coexisting strange attractors
- A computer-assisted proof of the Feigenbaum conjectures
- A numerical method for constructing the hyperbolic structure of complex Hénon mappings
- Computer assisted method for proving existence of periodic orbits
- Abundance of strange attractors
- The Lorenz attractor is mixing
- Positive Lyapunov exponents in families of one dimensional dynamical systems
- Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
- Non-uniformly expanding dynamics in maps with singularities and criticalities
- Positive exponent in families with flat critical point
- Title not available (Why is that?)
- Topological-numerical approach to the existence of periodic trajectories in ODE's
- An algorithmic approach to the Conley index theory
- On Hyperbolic Plateaus of the Henon Map
- Rigorous investigation of the Ikeda map by means of interval arithmetic
- Infinite-modal maps with global chaotic behavior
- Decidability of chaos for some families of dynamical systems
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- Computable conditions for the occurrence of non-uniform hyperbolicity in families of one-dimensional maps
- Title not available (Why is that?)
- 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 Computations of Homoclinic Tangencies
Cited In (10)
- Global dynamics in a stage-structured discrete-time population model with harvesting
- Title not available (Why is that?)
- Rich Bifurcation Structure in a Two-Patch Vaccination Model
- Dynamical properties of spatial discretizations of a generic homeomorphism
- Positive Lyapunov exponent for random perturbations of predominantly expanding multimodal circle maps
- 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
- Finite multidimensional behaviors
- Fixed points of a destabilized Kuramoto-Sivashinsky equation
This page was built for publication: Finite resolution dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535286)
