On mixing diffeomorphisms of the disc
Autor: | Patrice Le Calvez, Disheng Xu, Zhiyuan Zhang, Bassam Fayad, Artur Avila |
---|---|
Rok vydání: | 2019 |
Předmět: |
Pure mathematics
Mathematics::Dynamical Systems Kolmogorov–Arnold–Moser theorem General Mathematics 010102 general mathematics Topological entropy 01 natural sciences Exponential function 0103 physical sciences Entropy (information theory) Identity function 010307 mathematical physics Diffeomorphism 0101 mathematics Rotation number Structured program theorem Mathematics |
Zdroj: | Inventiones mathematicae. 220:673-714 |
ISSN: | 1432-1297 0020-9910 |
Popis: | We prove that a $$C^k$$, $$k\ge 2$$ pseudo-rotation f of the disc with non-Brjuno rotation number is $$C^{k-1}$$-rigid. The proof is based on two ingredients: (1) we derive from Franks’ Lemma on free discs that a pseudo-rotation with small rotation number compared to its $$C^1$$ norm must be close to the identity map; (2) using Pesin theory, we obtain an effective finite information version of the Katok closing lemma for an area preserving surface diffeomorphism f, that provides a controlled gap in the possible growth of the derivatives of f between exponential and sub-exponential. Our result on rigidity, together with a KAM theorem by Russmann, allow to conclude that analytic pseudo-rotations of the disc or the sphere are never topologically mixing. Due to a structure theorem by Franks and Handel of zero entropy surface diffeomorphisms, it follows that an analytic conservative diffeomorphism of the disc or the sphere that is topologically mixing must have positive topological entropy. |
Databáze: | OpenAIRE |
Externí odkaz: |