[论文解读] Non-Uniformly Hyperbolic Horseshoes Arising from Bifurcations of Poincaré Heteroclinic Cycles

Jacob Palis, Jean-Christophe Yoccoz|ArXiv.org|Apr 7, 2006

Mathematical Dynamics and Fractals被引用 4

一句话总结

本文研究了在光滑的一参数耗散曲面微分同胚族中，Poincaré异宿环分岔后产生的非一致双曲马蹄。通过允许马蹄的Hausdorff维数大于一，并假设切点处具有温和的非退化性条件，作者证明了在分岔附近的大多数参数值下，马蹄及其切点轨道邻域内不存在吸引子或排斥子，且动力系统呈现非一致双曲性。

ABSTRACT

The purpose of this paper is to advance the knowledge of the dynamics arising from the creation and subsequent bifurcation of Poincaré heteroclinic cycles. The problem is central to dynamics: it has to be addressed if, for instance, one aims at describing the typical orbit behaviour of a typical system, thus providing a global scenario for the ensemble of dynamical systems - see the Introduction and [P1, P2]. Here, we shall consider smooth, i.e. $C^\infty$, one-parameter families of dissipative, meaning non-conservative, surface diffeomorphisms. An hetereoclinic cycle may appear when the parameter evolves and an orbit of tangency, say quadratic, is created between stable and unstable manifolds (lines) of periodic orbits that belong to a basic hyperbolic set. The key novelty is to allow this basic set, a horseshoe, to have Hausdorff dimension bigger than one. In the present paper we do assume such a dimension to be beyond one, but in a limited way, as explicitly indicated in the Introduction. [A mild non-degeneracy condition on the family of maps is assumed: at the orbit of tangency the invariant lines, stable and unstable, cross each other with positive relative speed]. We then prove that most diffeomorphisms, corresponding to parameter values near the bifurcating one, are non-uniformly hyperbolic in a neighborhood of the horseshoe and the orbit of tangency; such diffeomorphisms display no attractors nor repellors in such a neighborhood. A first precise formulation of our main theorem is at the Introduction and a more encompassing version at the end of the paper. These results were announced in [PY3].

研究动机与目标

• 理解Poincaré异宿环的生成与分岔所引发的动力系统行为，这是动力系统理论中的核心问题。
• 分析基本双曲集（即马蹄）的Hausdorff维数大于一的系统中，非一致双曲行为的出现机制。
• 建立此类系统在马蹄及其切点轨道邻域内避免形成吸引子或排斥子的条件。
• 通过刻画典型一参数族在分岔点附近的动力行为，提供全局动力系统行为的典型场景。

提出的方法

• 分析使用马尔可夫划分，并通过折叠映射G来建模切点与马蹄附近的动力行为。
• 采用仿射类似映射表示动力系统，结合锥条件与畸变控制以确保双曲性。
• 通过临界距离 δ(Q,P′) ≥ 2 max(|Q|^{1−η}, |P′|^{1−η}) 定义横截性关系，以确保鲁棒的非退化性。
• 参数区间构造依赖于选择过程与强正则性条件，以控制矩形及其迭代的几何结构。
• 该方法引入一种继承性且凹性的横截性关系，取代初始非凹集合，从而获得更大且行为良好的矩形类。
• 通过转移算子的谱分析与Gibbs测度的构造，估算不变集的Hausdorff维数。

实验结果

研究问题

• RQ1 异宿环分岔在何种条件下会导致曲面微分同胚中出现非一致双曲动力？
• RQ2 马蹄的Hausdorff维数如何影响分岔后非一致双曲性的出现？
• RQ3 在切点处稳定与不稳定流形的相对速度在决定分岔邻域内动力行为方面起什么作用？
• RQ4 对于典型参数值，能否在马蹄及其切点轨道邻域内严格证明吸引子或排斥子的缺失？
• RQ5 在给定分岔下，不变集中会涌现出何种几何与动力结构（如抛物核心、临界矩形）？

主要发现

• 在分岔附近的大多数参数值下，微分同胚在马蹄及其切点轨道邻域内呈现非一致双曲性。
• 该邻域内不存在吸引子或排斥子，意味着不存在周期性吸引子或源。
• 通过转移算子与Gibbs测度估算不变集的Hausdorff维数，且不变集的横截Hausdorff维数为正且有限。
• 参数空间的构造依赖于强正则性条件，确保临界矩形的数量及其几何畸变保持可控。
• 横截性关系被精炼为继承性且凹性形式，从而实现对迭代矩形几何结构的归纳控制。
• 例外集 E(ω*) 的Hausdorff维数严格小于不变集的全维数，表明其结构具有非均匀性。