Dynamics and abstract computability: computing invariant measures - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Discrete and Continuous Dynamical Systems - Series A Year : 2011

Dynamics and abstract computability: computing invariant measures

Abstract

We consider the question of computing invariant measures from an abstract point of view. Here, computing a measure means finding an algorithm which can output descriptions of the measure up to any precision. We work in a general framework (computable metric spaces) where this problem can be posed precisely. We will find invariant measures as fixed points of the transfer operator. In this case, a general result ensures the computability of isolated fixed points of a computable map. We give general conditions under which the transfer operator is computable on a suitable set. This implies the computability of many “regular enough” invariant measures and among them many physical measures. On the other hand, not all computable dynamical systems have a computable invariant measure. We exhibit two examples of computable dynamics, one having a physical measure which is not computable and one for which no invariant measure is computable, showing some subtlety in this kind of problems.
Fichier principal
Vignette du fichier
galat_1876_10.pdf (256.1 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00517367 , version 1 (14-09-2010)

Identifiers

Cite

Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas. Dynamics and abstract computability: computing invariant measures. Discrete and Continuous Dynamical Systems - Series A, 2011, 29 (1), pp.193-212. ⟨10.3934/dcds.2011.29.193⟩. ⟨inria-00517367⟩
304 View
629 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More