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.
Type de document :
Article dans une revue
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (1), pp.193-212. 〈10.3934/dcds.2011.29.193〉
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00517367
Contributeur : Mathieu Hoyrup <>
Soumis le : mardi 14 septembre 2010 - 13:59:49
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : mardi 23 octobre 2012 - 16:10:38

Fichier

galat_1876_10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas. Dynamics and abstract computability: computing invariant measures. Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (1), pp.193-212. 〈10.3934/dcds.2011.29.193〉. 〈inria-00517367〉

Partager

Métriques

Consultations de la notice

325

Téléchargements de fichiers

204