An Elementary Approach to Rigorous Approximation of Invariant Measures

We describe a framework in which it is possible to develop and implement algorithms for the approximation of invariant measures of dynamical systems with a given bound on the error of the approximation. Our approach is based on a general statement on the approximation of fixed points for operators between normed vector spaces, allowing an explicit estimation of the error. We show the flexibility of our approach by applying it to piecewise expanding maps and to maps with indifferent fixed points. We show how the required estimations can be implemented to compute invariant densities up to a given error in the $L^{1}$ or $L^\infty $ distance. We also show how to use this to compute an estimation with certified error for the entropy of those systems. We show how several related computational and numerical issues can be solved to obtain working implementations and experimental results on some one dimensional maps.

[1]  Stefano Galatolo,et al.  Non-sequential Recursive Pair Substitutions and Numerical Entropy Estimates in Symbolic Dynamical Systems , 2008, J. Nonlinear Sci..

[2]  J. Yorke,et al.  On the existence of invariant measures for piecewise monotonic transformations , 1973 .

[3]  Qiang Du,et al.  High order approximation of the Frobenius-Perron operator , 1993 .

[4]  Decay of correlations in suspension semi-flows of angle-multiplying maps , 2005, Ergodic Theory and Dynamical Systems.

[5]  G. Froyland.  Computer-Assisted Bounds for the Rate of Decay of Correlations , 1997 .

[6]  Michael Dellnitz,et al.  Chapter 5 - Set Oriented Numerical Methods for Dynamical Systems , 2002 .

[7]  Richard Kreckel,et al.  Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language , 2000, J. Symb. Comput..

[8]  Christopher Bose,et al.  The exact rate of approximation in Ulam's method , 2000 .

[9]  M. Blank.  Finite rank approximations of expanding maps with neutral singularities , 2007, 0709.2564.

[10]  S. Galatolo,et al.  Dynamics and abstract computability: Computing invariant measures , 2009, 0903.2385.

[11]  O. Junge,et al.  On the Approximation of Complicated Dynamical Behavior , 1999 .

[12]  Lai-Sang Young,et al.  What Are SRB Measures, and Which Dynamical Systems Have Them? , 2002 .

[13]  Norbert Th. Müller,et al.  The iRRAM: Exact Arithmetic in C++ , 2000, CCA.

[14]  V. Baladi,et al.  Good Banach spaces for piecewise hyperbolic maps via interpolation , 2007, 0711.1960.

[15]  Rua Murray,et al.  Ulam's method for some non-uniformly expanding maps , 2009 .

[16]  Mathieu Hoyrup,et al.  A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties , 2009, Theor. Comput. Sci..

[17]  Jiu Ding,et al.  The projection method for computing multidimensional absolutely continuous invariant measures , 1994 .

[18]  Gary Froyland,et al.  Extracting Dynamical Behavior via Markov Models , 2001 .

[19]  Carlangelo Liverani,et al.  Invariant measures and their properties. A functional analytic point of view , 2004 .

[20]  Mathieu Hoyrup,et al.  Dynamical systems, simulation, abstract computation , 2011, ArXiv.

[21]  M. Pollicott,et al.  Computing Invariant Densities and Metric Entropy , 2000 .

[22]  Wael Bahsoun,et al.  Rigorous pointwise approximations for invariant densities of non-uniformly expanding maps , 2013, Ergodic Theory and Dynamical Systems.

[23]  Carlangelo Liverani,et al.  Banach spaces adapted to Anosov systems , 2005, Ergodic Theory and Dynamical Systems.

[24]  Obayashi Ippei,et al.  Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations , 2011 .

[25]  C. Liverani,et al.  A probabilistic approach to intermittency , 1999, Ergodic Theory and Dynamical Systems.

[26]  Gary Froyland,et al.  ON ULAM APPROXIMATION OF THE ISOLATED SPECTRUM AND EIGENFUNCTIONS OF HYPERBOLIC MAPS , 2006 .

[27]  Wael Bahsoun,et al.  Invariant densities and escape rates: Rigorous and computable approximations in the L 8 -norm , 2010, 1008.0556.

[28]  Carlangelo Liverani,et al.  Rigorous numerical investigation of the statistical properties of piecewise expanding maps - A feasi , 2001 .

[29]  Lai-Sang Young,et al.  Computing invariant measures for expanding circle maps , 1998 .

[30]  V. Baladi.  Positive transfer operators and decay of correlations , 2000 .

[31]  Gerhard Keller,et al.  Stability of the spectrum for transfer operators , 1999 .

[32]  Nicholas J. Higham,et al.  INVERSE PROBLEMS NEWSLETTER , 1991 .

[33]  Wael Bahsoun,et al.  Rigorous numerical approximation of escape rates , 2006 .

[34]  Oscar E. Lanford,et al.  Informal Remarks on the Orbit Structure of Discrete Approximations to Chaotic Maps , 1998, Exp. Math..