[论文解读] Shadowing, expansiveness and specification for C1-conservative systems

Mário Bessa, M. Lee+1 more|arXiv (Cornell University)|May 15, 2013

Mathematical Dynamics and Fractals参考文献 18被引用 4

一句话总结

该论文证明，在维度 $d \geq 3$ 的流形上（对于流的情况为 $d \geq 4$），在体积保持微分同胚和流的 $C^1$-泛型与 $C^1$-鲁棒设定下，影子性质、扩张性以及弱规格性质均刻画了阿诺索夫系统。关键结果是，这些性质在泛型或鲁棒意义下成立当且仅当系统为阿诺索夫系统，从而解决了保守动力系统中关于阿诺索夫系统之外的非双曲性在泛型下不存在的猜想。

ABSTRACT

We prove that a C1-generic volume-preserving dynamical system (diffeomorphism or flow) has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, we prove that the C1-robustness, within the volume-preserving context, of the expansiveness property and the weak specification property, imply that the dynamical system (diffeomorphism or flow) is Anosov.

研究动机与目标

• 确定在体积保持微分同胚和流的 $C^1$-拓扑中，影子性质、扩张性以及弱规格性质是否为泛型性质。
• 研究这些性质在保守设定下是否与阿诺索夫系统 $C^1$-鲁棒等价。
• 解决一个开放问题：非阿诺索夫的保守系统在泛型下是否缺乏这些动力学性质。
• 将已知的耗散动力系统结果推广至保守（体积保持）情形，特别是针对流和高维系统。
• 证明在体积保持类中，弱规格、扩张性或影子性质的 $C^1$-稳定性蕴含全局双曲性（即阿诺索夫系统）。

提出的方法

• 使用贝尔纲理论分析 ${\rm Diff}_{\mu}^{1}(M)$ 和 $\mathfrak{X}_{\mu}^{1}(M)$ 上的 $C^1$-惠特尼拓扑中的残集，确立性质的泛型性。
• 应用罗宾逊的 $C^1$-体积保持版本的库普卡-斯梅尔定理，以确保稳定与不稳定流形的横截相交。
• 利用弱规格性质及其 $C^1$-稳定性，对周期点指标施加约束，若出现非双曲性则导致矛盾。
• 通过主导分裂结构与拓扑混合性，从流中 $C^1$-稳定的弱规格性质推导出全局双曲性。
• 改编 [37] 和 [6] 中的技术，证明 $C^1$-稳定的弱规格性质蕴含非双曲周期轨道的缺失。
• 反证法：假设存在一个非阿诺索夫系统，其弱规格性质 $C^1$-稳定，则导致存在指标不同的周期点，违反横截性条件。

实验结果

研究问题

• RQ1 在体积保持微分同胚中，影子性质是否为 $C^1$-泛型，当且仅当系统为阿诺索夫系统？
• RQ2 在体积保持类中，弱规格性质的 $C^1$-鲁棒性是否蕴含系统为阿诺索夫系统？
• RQ3 是否存在一个 $C^1$-泛型的体积保持微分同胚，其不具有弱规格性质，但又不属于阿诺索夫类？
• RQ4 流形的维度如何影响通过这些性质刻画阿诺索夫系统的有效性？
• RQ5 在面积保持的曲面映射中，椭圆轨道和不变圆周在阻碍弱规格性质方面起什么作用？

主要发现

• 一个 $C^1$-泛型的体积保持微分同胚具有影子性质当且仅当它是阿诺索夫系统。
• 一个 $C^1$-泛型的体积保持微分同胚是扩张的当且仅当它是阿诺索夫系统。
• 一个 $C^1$-泛型的体积保持微分同胚具有弱规格性质当且仅当它是阿诺索夫系统。
• $C^1$-稳定的弱规格性质在体积保持类中蕴含系统为阿诺索夫系统。
• 对于流，在维度 $d \geq 4$ 时，$C^1$-稳定的弱规格性质蕴含全局双曲性（即阿诺索夫系统）。
• 在曲面情形（$d=2$）中，$C^1$-稳定的弱规格性质通过椭圆轨道和不变圆周的阻碍作用，蕴含阿诺索夫系统。