[论文解读] Shadowing and Expansivity in Sub-Spaces

Andrew Barwell, Chris Good+1 more|arXiv (Cornell University)|Nov 11, 2011

Mathematical Dynamics and Fractals参考文献 28被引用 12

一句话总结

本文研究了连续映射在定义域的真子集上限制时的阴影性与扩张性性质，建立了各种阴影性与扩张性概念之间的等价关系。证明了在远离临界点的子集上，扩张映射表现出阴影性，推广了区间映射的相关结果，并表明只有在完全不连通空间中才可能存在 h-阴影性同胚。

ABSTRACT

We address various notions of shadowing and expansivity for continuous maps restricted to a proper subset of their domain. We prove new equivalences of shadowing and expansive properties, we demonstrate under what conditions certain expanding maps have shadowing, and generalize some known results in this area. We also investigate the impact of our theory on maps of the interval, in which context some of our results can be extended.

研究动机与目标

• 将阴影性与扩张性的理论从全空间推广至真子集，特别关注限制在不变子空间上的映射。
• 澄清不同扩张性概念之间的关系——特别是距离扩张与球扩张——并证明在远离临界点时二者等价。
• 研究在映射为扩张或扩张性的子集上，阴影性性质的表现，尤其在区间映射的背景下。
• 推广已知的区间映射阴影性结果，特别是针对梯度模大于1的分段线性映射以及如逻辑斯蒂映射等光滑映射。
• 刻画 h-阴影性蕴含等连续性与完全不连通性的拓扑条件，尤其针对同胚。

提出的方法

• 引入并比较两种扩张性概念：距离扩张（定义 2.2）与球扩张（定义 2.4），证明在映射局部单射且局部开的点（即非临界点）处二者等价。
• 在不变子集上定义并分析各种阴影性性质（包括 h-阴影性），使用伪轨道追踪与等连续性论证。
• 通过分析梯度模大于1的分段线性映射与光滑映射，将理论应用于区间映射，证明在远离临界点的集合上阴影性成立。
• 运用拓扑工具，如递归性、连通性论证及伪轨道拼接，推导出在 h-阴影性假设下连通分支中的矛盾。
• 应用等连续系统与最大等连续因子的结果，表明弱混合系统除非空间为单点集，否则无法容纳 h-阴影性。
• 使用子集开覆盖的 Lebesgue 数控制伪轨道追踪与阴影性中的统一性。

实验结果

研究问题

• RQ1 在空间的子集上，距离扩张与球扩张映射在何种条件下等价？
• RQ2 在空间的真子集上，扩张映射在何种条件下表现出阴影性？
• RQ3 在区间映射背景下，阴影性与 h-阴影性之间有何关系，尤其在远离临界点时？
• RQ4 h-阴影性对动力系统施加了何种拓扑约束，尤其针对同胚？
• RQ5 关于梯度大于1的分段线性映射的结果能否推广至如逻辑斯蒂映射等光滑区间映射？

主要发现

• 在映射局部单射且局部开的子集上（即排除临界点），距离扩张与球扩张映射等价。
• 在远离临界点的子集上，特别是梯度模大于1的分段线性映射，扩张映射表现出强阴影性。
• 本文通过弱化假设（如仅需在子集上局部开与单射）并强化结论（包含阴影性），推广了 Przytycki 与 Urbanski 的结果。
• 对于同胚，h-阴影性蕴含等连续性，进而蕴含空间为完全不连通，且此类系统除非为平凡，否则不能是弱混合的。
• 在弱混合系统中，除非空间为单点集，否则 h-阴影性不可能存在，原因在于最大等连续因子的平凡性。
• 在康托集与孤立点的并集上定义的恒等映射满足等连续性与阴影性，但不是极小的，表明完全不连通性虽为 h-阴影性的必要条件，但并非在单点集以外情形的充分条件。