[论文解读] On mixing diffeomorphisms of the disk

A. Avila, Bassam Fayad+3 more|arXiv (Cornell University)|Sep 23, 2015

Mathematical Dynamics and Fractals参考文献 9被引用 9

一句话总结

本文证明了实解析的、保持面积的环面或球面微分同胚不可能是拓扑混合的，从而在解析范畴中为光滑实现混合系统设定了一个根本性障碍。通过将KAM理论应用于布吕诺型旋转数，并基于弗兰克斯引理和有限信息卡托闭合引理导出的导数间隙估计，提出一种新颖的$C^{k-1}$-刚性论证来处理非布吕诺情形，作者证明此类系统必须具有正的拓扑熵，从而解决了微分动力系统领域长期悬而未决的问题。

ABSTRACT

We prove that a real analytic pseudo-rotation $f$ of the disc or the sphere is never topologically mixing. When the rotation number of $f$ is of Brjuno type, the latter follows from a KAM theorem of Rüssmann on the stability of real analytic elliptic fixed points. In the non-Brjuno case, we prove that a pseudo-rotation of class $C^k$, $k\geq 2$, is $C^{k-1}$-rigid using the simple observation, derived from Franks' Lemma on free discs, that a pseudo-rotation with small rotation number compared to its $C^1$ (or Hölder) norm must be close to Identity. From our result and a structure theorem by Franks and Handel (on 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. In our proof we need an a priori limit on the growth of the derivatives of the iterates of a pseudo-rotation that we obtain via 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.

研究动机与目标

• 解决一个长期悬而未决的问题：实解析的、保持面积的圆盘或球面微分同胚是否可能具有零拓扑熵的拓扑混合性。
• 在解析范畴中建立光滑实现混合系统的一个动力学障碍，特别是针对零熵系统。
• 通过为非布吕诺旋转数发展$C^{k-1}$-刚性框架，将刚性结果的适用范围扩展至丢番图或布吕诺情形之外。
• 通过结合KAM理论与导数间隙估计，证明实解析保守曲面动力系统中拓扑混合性蕴含正的拓扑熵。

提出的方法

• 应用吕斯曼的KAM定理，为具有布吕诺型旋转数的伪旋转建立$C^\rho$-刚性。
• 利用弗兰克斯引理在自由圆盘上的应用，证明：若一个$C^k$伪旋转的旋转数相对于其$C^1$-范数较小，则其必为$C^{k-1}$-接近恒等映射。
• 推导出卡托闭合引理的有效有限信息版本，以在保持面积的曲面微分同胚中建立导数增长的指数型与次指数型之间的可控间隙。
• 构造前向与后向锥场$C_n$与$\tilde{C}_n$，以控制迭代映射下导数轨道的行为，确保锥场在$g_n$下的不变性。
• 通过$A_n$、$B_n$以及扰动项$\tilde{\rho}_n$、$\tilde{\rho}_n'$对映射$g_n$的导数进行估计，以控制锥场中向量的增长。
• 通过验证$C_n$中向量的像仍位于$C_{n+1}$中，且反之亦然，结合对$e^{\rho_n^u}$、$e^{\rho_n^s}$以及小误差项$\rho_n$、$\rho_n'$的有界性，证明锥场在$g_n$下的不变性。

实验结果

研究问题

• RQ1 实解析的、保持面积的圆盘或球面微分同胚是否可能具有零拓扑熵的拓扑混合性？
• RQ2 即使在零熵情形下，是否存在解析范畴中光滑实现混合系统的动力学障碍？
• RQ3 对于非布吕诺旋转数的伪旋转，$C^k$-刚性是否仍然成立？若成立，其正则性条件为何？
• RQ4 有限信息版本的卡托闭合引理是否能为保持面积的曲面微分同胚提供导数增长的可控间隙？
• RQ5 拓扑混合性、拓扑熵与保守曲面微分同胚的正则性之间存在何种关系？

主要发现

• 无论旋转数类型如何，实解析的圆盘或球面伪旋转均不可能是拓扑混合的。
• 对于布吕诺型旋转数，由吕斯曼的KAM定理可推出$C^\rho$-刚性，从而意味着非混合性。
• 对于非布吕诺旋转数，通过弗兰克斯引理与导数间隙估计建立$C^{k-1}$-刚性，从而排除混合性。
• 通过有限信息卡托闭合引理，证明了保持面积的微分同胚中，指数型与次指数型导数增长之间存在可控间隙。
• 实解析的、保守的圆盘或球面微分同胚中，拓扑混合性蕴含正的拓扑熵，从而解决了该领域一个关键的开放问题。
• 该证明依赖于不变锥场的构造与导数增长的统一有界性，确保在解析正则性下混合性无法发生。