Ecole Doctorale
Mathématiques et Informatique de Marseille
Spécialité
Mathématiques
Etablissement
Aix-Marseille Université
Mots Clés
entropie du cur,cosinus,fonctions entière,dynamique transcendantale,
Keywords
core entropy,cosine,entire functions,transcendental dynamics,
Titre de thèse
Sur l'entropie du cur pour la famille cosinus
On Core Entropy for Cosine Family
Date
Mardi 11 Janvier 2022 à 14:00
Adresse
F.R.U.M.A.M., Aix-Marseille Université,
3, place Victor Hugo,
13003 Marseille 2me étage
Jury
Directeur de these |
M. Dierk SCHLEICHER |
Aix Marseille Université |
Rapporteur |
Mme Anna Miriam BENINI |
Università di Parma |
Rapporteur |
M. Michal MISIUREWICZ |
University of Indiana (IUPUI) |
Examinateur |
M. Pierre ARNOUX |
Aix Marseille Université |
Examinateur |
Mme Anna ZDUNIK |
Université de Varsovie |
Examinateur |
M. Feliks PRZYTYCKI |
IMPAN (Institute of Mathematics Polish Academy of Sciences) |
Résumé de la thèse
Lentropie topologique est connue pour être une mesure de la complexité dun système dynamique donnée par litération dune fonction continue. Pour les fonctions complexes dans tous les cas étudiés, elle savère constante, donc dans la dynamique complexe un autre concept est pris en compte, le concept dentropie du cur. Pour les polynômes complexes, lentropie du cur peut être définiecomme lentropie topologique restreinte à larbre de Hubbard. Dans cette thèse, nous généralisons la notion dentropie de noyau pour la famille transcendantale des fonctions cosinus $lambda cos z$ avec $lambda in C$ telle que la fonction ait des orbites critiques bornées.
Dans le Chapitre 2, nous montrons que dans chaque espace des applications cosinus avec des combinatoires uniformément bornées, lentropie du cur est uniformément bornée et continue.
Nous décrivons les propriétés combinatoires de la fonction cosinus dans la Section 2.2. Nous définissons la partition statique du plan complexe donnée par une fonction cosinus et explorons les représentants combinatoires des fonctions cosinus complexes. Ces représentants sont appelés adresses externes et ce sont desvséquences symboliques obtenues à partir de ladresse dune orbite critique relative à la partition statique. Les fonctions cosinus avec des valeurs critiques non échappantes correspondent à des adresses externes uniformément bornées. Nous désignons par $S_B$ un espace dadresses externes uniformément bornées.
Nous définissons lentropie du cur dune application cosinus post-critiquement finie dans la Section 2.3 et étendons plus tard ce concept aux espaces dadresses externes uniformément bornées. Nous obtenons le théorème suivant pour lentropie du cur (des énoncés et des bornes précis peuvent être vus par exemple dans lintroduction).
Théorème. Lentropie du cur dune adresse externe uniformément bornée est uniformément bornée.
Nous prouvons dans la Section 2.6 un résultat de continuité pour lentropie du cur. Les principaux outils sont décrits dans les Sections 2.4 et 2.5, ce qui implique le théorème suivant.
Théorème. Lentropie du cur est continue sur chaque espace dadresses ex-
ternes uniformément bornées $S_B$.
Dans le Chapitre 3, nous discutons dune relation entre les résultats ci-dessus et lespace global des paramètres complexes. Nous observons le phénomène dillimité locale de lentropie du cur à proximité des paramètres échappents. Dans la Section 3.2, nous utilisons lexpansivité de cosinus et la combinatoire illimitée aux paramètres échappents. Nous montrons lexistence de paramètres prépériodiques avec des propriétés spécifiques. Ces propriétés sont suffisantes pour obtenir lentropie du cur divergente.
Théorème. Il y a des paramètres échappents $lambda_0$ tels que lentropie du cur est illimitée dans chaque voisinage de $lambda_0$.
Thesis resume
Topological entropy is known to be a measure of complexity of a dynamical system given by iteration of a continuous map. For complex maps in all studied cases it known to be constant, so in complex dynamics another concept is considered, the concept of so-called core entropy. For complex polynomials the core entropy can be defined as the topological entropy restricted to the Hubbard tree.
In this thesis, we generalize the notion of core entropy for the transcendental family of cosine maps $lambda cos z$ with $lambda in C$ such that the map has bounded critical orbits.
In Chapter 2 we show that in every space of cosine maps with uniformly bounded combinatorics core entropy is uniformly bounded and continuous.
We describe combinatorial properties of cosine function in Section 2.2. We define the static partition of the complex plane given by a cosine map and explore combinatorial representatives of complex cosine functions. These representatives are called external addresses and they are symbolic sequences obtained from the address of a critical orbit with respect to the static partition. Cosine functions with non-escaping critical values correspond to uniformly bounded external addresses and a space of uniformly bounded address we denote as $S_B$.
We define the core entropy of a post-critically finite cosine maps in Section 2.3 and later extend this concept to the spaces of uniformly bounded external addresses. We obtain the following theorem for core entropy (precise statements and bounds can be seen e.g. in the introduction).
Theorem. Core entropy of uniformly bounded external address is uniformly bounded.
We prove in Section 2.6 a continuity result for core entropy. Main tools are described in Sections 2.4 and 2.5, the imply the following theorem.
Theorem. Core entropy is continuous on each space of uniformly bounded external addresses $S_B$.
In Chapter 3 we discuss a relation of the results above to the global complex parameter space. We observe the phenomenon of local unboundedness of core entropy near escaping parameters. In section 3.2 we use expansivity of cos and unboundedness of combinatorics at escaping parameters. We show existence of preperiodic parameters with specific properties. These properties are sufficient to obtain diverging core entropy.
Theorem. There are escaping parameters $lambda_0$ such that core entropy is unbounded in every neighborhood of $lambda_0$.