[论文解读] S-limit shadowing is generic for continuous Lebesgue measure preserving circle maps

Jozef Bobok, Jernej Činč+2 more|arXiv (Cornell University)|Apr 8, 2021

Mathematical Dynamics and Fractals参考文献 13被引用 3

一句话总结

本文证明了在连续的勒贝格测度保持圆周映射以及在一致拓扑下的连续圆周映射中，s-极限跟踪是典型性质。通过基于仿射划分和受控细化的新型扰动技术，作者证明了残集映射满足s-极限跟踪，从而在这些设定下确立了跟踪、极限跟踪和周期跟踪的典型性——解决了在圆周上测度保持动力系统中s-极限跟踪典型性的关键问题。

ABSTRACT

In this paper we show that generic continuous Lebesgue measure preserving circle maps have the s-limit shadowing property. In addition we obtain that s-limit shadowing is a generic property also for continuous circle maps. In particular, this implies that classical shadowing, periodic shadowing and limit shadowing are generic in these two settings as well.

研究动机与目标

• 在连续勒贝格测度保持圆周映射空间中确立s-极限跟踪性质的典型性。
• 将跟踪性质的典型性扩展到测度保持设定下的更强s-极限跟踪框架。
• 解决关于s-极限跟踪在已知跟踪性质为C0典型的拓扑空间中是否为C0典型的开放问题。
• 开发一种基于扰动的方法，以保持测度并控制嵌套划分中的跟踪行为。
• 解释为何该方法在区间设定下失效（由于边界效应），从而引出关于区间映射中一个新开放问题。

提出的方法

• 通过使用仿射划分对基映射进行迭代扰动，在C˜λ(S1)中构造一个稠密的Gδ集合。
• 定义一个划分序列{Pm}，其网格大小满足||Pm|| < 1/m，以控制逼近精度。
• 使用ε = 1/m的扰动θm及其相关邻域Um，以确保不相交性和非游荡行为。
• 应用条件(C1)–(C5)，以确保扰动后的映射τ ∈ Um满足τ(Qs) ⊃ Qs+1和τ(Ws) ⊃ Ws+1（对相关弧成立）。
• 建立对于任意渐近伪轨道，存在一点z ∈ ⋂τ−s(Is)可实现ε-跟踪并渐近跟踪该轨道。
• 通过边界避开（Γ与Um不相交）和度量控制（δm < 1/m）实现拓扑控制与度量控制，以确保鲁棒性。

实验结果

研究问题

• RQ1 s-极限跟踪是否是连续勒贝格测度保持圆周映射空间中的典型性质？
• RQ2 在不施加测度保持约束的连续圆周映射中，s-极限跟踪性质能否被典型地确立？
• RQ3 为何该证明技术在勒贝格测度保持区间映射中失效，尽管其在圆周上成功？
• RQ4 在连续勒贝格测度保持区间映射空间中，s-极限跟踪是否为稠密或典型？
• RQ5 s-极限跟踪性质能否被推广到具有类似测度论约束的高维流形或非可逆系统？

主要发现

• s-极限跟踪性质在C˜λ(S1)（即在一致收敛拓扑下连续勒贝格测度保持圆周映射空间）中是典型的。
• 作为结果，经典跟踪、周期跟踪和极限跟踪性质在C˜λ(S1)中也是典型的。
• 该证明构造了一个稠密的Gδ集合A = ⋂n≥1 ⋃m≥n Um，使得A中每个τ都具有s-极限跟踪性质。
• 该方法依赖于满足||Pm|| < 1/m和不相交条件gn(Pm) ∩ Pm = ∅的仿射划分对映射的迭代扰动。
• 该构造确保对于任意渐近伪轨道，存在一点z可实现ε-跟踪并渐近跟踪该轨道，且误差趋于零。
• 该方法在区间设定下因边界效应而失效，其中τ(QN−1)可能无法覆盖靠近端点的小弧WN，而这一问题在圆周上并不存在。