Dynamique symbolique

En mathématiques, la dynamique symbolique est une branche de l'étude des systèmes dynamiques. Cela consiste à étudier un système en partitionnant l'espace en un nombre fini de régions et en s'intéressant aux suites possibles de régions traversées lors de l'évolution du système. Si l'on associe à chaque région un symbole, on peut associer à chaque trajectoire une suite (infinie) de symboles, d'où le nom de « dynamique symbolique ». Les trajectoires symboliques ne sont bien sûr qu'une approximation des trajectoires réelles, mais elles peuvent refléter certaines propriétés du système réel comme la transitivité, la récurrence ou l'entropie. On trouvera une introduction générale au domaine dans . Parmi les articles précurseurs, on peut citer et . considèrent que la dynamique symbolique, en tant que discipline autonome, débute véritablement avec l'article de . Un exemple simple illustrant cette approche est la transformation du boulanger. Il s'agit d'un système unidimensionnel modélisant le pétrissage d'une pâte par un boulanger : le boulanger étire la pâte jusqu'à doubler sa longueur, puis la replie sur elle-même pour retrouver la longueur initiale et itère le processus. Cette transformation est souvent évoquée comme exemple de système chaotique car la trajectoire d'une fève placée dans la pâte durant ce processus de pétrissage est sensible aux conditions initiales. Si l'on identifie la pâte à l'intervalle , on peut voir cette transformation comme une fonction qui associe à toute position initiale une position après une étape de pétrissage. Si l'on partitionne l'espace du système en deux intervalles et , on peut associer à toute orbite une suite de et de indiquant à chaque étape dans quel intervalle se trouve la fève si on la placée initialement en position . Il n'est pas difficile de voir que dans ce cas, le système symbolique nous renseigne parfaitement sur le système réel : la suite est en bijection avec le développement binaire du réel (en inversant le n-ième chiffre si le nombre de 1 obtenus jusque-là est impair).