Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations

DOI10.1137/09077864XzbMath1223.37007MaRDI QIDQ3088153

Obayashi Ippei

Publication date: 18 August 2011

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

zbMATH Keywords

dynamical systemsergodicityalgorithms with automatic result verificationdecay of correlationsapproximation of invariant measure

Mathematics Subject Classification ID

Ergodicity, mixing, rates of mixing (37A25) Dynamical systems involving maps of the interval (37E05) Algorithms with automatic result verification (65G20) Computational methods for ergodic theory (approximation of invariant measures, computation of Lyapunov exponents, entropy, etc.) (37M25)

Related Items (4)

Reachability Problems for One-Dimensional Piecewise Affine Maps ⋮ An elementary way to rigorously estimate convergence to equilibrium and escape rates ⋮ Rigorous computation of invariant measures and fractal dimension for maps with contracting fibers: 2D Lorenz-like maps ⋮ Locating Ruelle–Pollicott resonances*

This page was built for publication: Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations