[论文解读] Abundance of non-uniformly hyperbolic Hénon like endomorphisms

Pierre Berger|arXiv (Cornell University)|Mar 9, 2009

Mathematical Dynamics and Fractals参考文献 5被引用 10

一句话总结

该论文通过基于强正则二次映射和抛物积的组合拼图框架，建立了非一致双曲 Hénon 类自同态的丰沛性。证明了在混沌边界附近的一类 $ C^2 $-光滑 Hénon 类映射中，产生非一致双曲性的参数集合在 $ C^2 $ 拓扑下是开集且稠密，使用了引入深度和公共片段条件的强化正则性概念。

ABSTRACT

For every $C^2$-small function $B$, we prove that the map $(x,y)\mapsto (x^2+a,0)+B(x,y,a)$ leaves invariant a physical, SRB probability measure, for a set of parameters $a$ of positive Lebesgue measure. When the perturbation $B$ is zero, this is the Jakobson Theorem; when the perturbation is a small constant times $(0,x)$, this is the celebrated Benedicks-Carleson Theorem. In particular, a new proof of the last theorem is given, based on devellopment of the combinatorial formalism of the Yoccoz puzzles. By adding new geometrical and combinatorial ingredients, and restructuring classic analytical ideas, we are able to carry out our proof in the $C^2$-topology, even when the underlying dynamics are given by endomorphisms.

研究动机与目标

• 在混沌边界附近建立 Hénon 类自同态中非一致双曲性的普遍性。
• 通过引入深度和公共片段条件，改进二次映射中强正则性的概念。
• 定义抛物积以在动力平面上模拟临界点附近的原像几何结构。
• 证明 $ 0 $-强正则映射构成一个具有受控几何结构和返回时间结构的鲁棒类。
• 证明产生非一致双曲性的参数集合在适当的 $ C^2 $-拓扑下是开集且稠密。

提出的方法

• 引入基于 $ \boxdot $-积的组合拼图结构，以模拟 Hénon 类映射中临界线段的原像。
• 通过在素分解中排除特定符号模式来定义“公共拼图片段”，确保迭代下的鲁棒性。
• 在强正则性中施加深度条件，以确保 0 的首次返回的拼图片段嵌套具有唯一性。
• 使用抛物积 $ \boxdot_{\text{sign}}(I \backslash I') $ 定义在高阶迭代下映射到 $ I_{\text{e}} \setminus I'' $ 的线段。
• 应用 $ C^2 $-范数和扰动 $ B $ 的行列式界，以控制完整二维映射中的双曲性。
• 建立 $ M \to \infty $ 且 $ b \to 0 $，满足 $ \theta = 1/|\log b| \leq 2^{-2^M} $，确保扰动相对于返回时间足够小。

实验结果

研究问题

• RQ1 能否在 Hénon 类自同态的 $ C^2 $-开集与稠密集中证明非一致双曲性的丰沛性？
• RQ2 如何改进强正则性以排除病态的原像结构并确保鲁棒性？
• RQ3 何种组合条件可确保 0 的首次返回避开边界及 $ \alpha_0 $ 的原像？
• RQ4 抛物积 $ \boxdot_{\pm} $ 如何在动力平面上模拟临界点附近原像的几何结构？
• RQ5 深度条件在确保拼图片段嵌套唯一性和结构稳定性方面起什么作用？

主要发现

• 在 Hénon 类自同态混沌边界附近，$ 0 $-强正则映射的集合在 $ C^2 $-邻域中是开集且稠密。
• 首次返回 $ P^{M+1}(0) $ 位于所有深度 $ k $ 的拼图片段内部，避开边界和 $ \alpha_0 $ 的原像。
• 线段 $ I_{\boxdot} $ 的长度为 $ O(2^{-M}) $，当 $ M \to \infty $ 时，反映了临界区域的缩小。
• 抛物积 $ \boxdot_{\pm}(I \setminus I') $ 定义了线段 $ I_{\mathfrak{p}} $，其在 $ P^{n_{\mathfrak{p}}} $ 下映射到 $ I_{\mathfrak{e}} \setminus I'' $ 的分量，其中 $ n_{\mathfrak{p}} = n_{\boxdot} + n $。
• $ [-3,3]^2 $ 上 $ D^2f $ 的 $ C^2 $-范数被控制在 $ 2 + b $ 以内，且 $ \|Df|[-\beta,\beta] \times [-3,3]\| < 4 $，确保了扩张的受控性。
• 条件 $ \theta := 1/|\log b| \leq 2^{-2^M} $ 确保扰动 $ B $ 相对于返回时间 $ M $ 足够小，从而实现双曲性。