[论文解读] Normal forms and Misiurewicz renormalization for dissipative surface diffeomorphisms

Pierre Berger|arXiv (Cornell University)|Apr 8, 2014

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

一句话总结

本文通过改进 Palis-Takens 的重整化方法与正规型技术，提出了一套适用于耗散表面微分同胚（特别是小行列式 Hénon 类映射）的双曲重整化框架。该研究建立了大周期下的统一有界性，并证明了参数依赖的重整化动力系统具有指数衰减的 $ C^r $-范数，从而为 Hénon 映射中的奇异吸引子与参数空间几何结构的研究提供了支持。

ABSTRACT

We define a hyperbolic renormalizations suitable for maps of small determinant, with uniform bounds for large periods. The techniques involve an improvement of the celebrated Palis-Takens renormalization and normal forms (fibered linearizations). These techniques are useful to study the dynamics of Hénon like maps and the geometry of their parameter space.

研究动机与目标

• 为小行列式的耗散表面微分同胚发展一套合适的双曲重整化理论。
• 通过纤维化线性化与正规型技术，将单峰映射的重整化方法推广至 Hénon 类映射。
• 在大周期上建立重整化动力系统的统一 $ C^r $-有界性。
• 分析 Hénon 家族中参数区域 $ \hat{\mathcal{I}}_{b_0} $ 的几何结构，尤其关注非退化同宿切线附近的情形。
• 证明参数依赖的重整化映射具有指数衰减的 $ C^r $-范数，从而实现对动力系统鲁棒性的分析。

提出的方法

• 提出一种改进的 Hénon 类映射重整化方案，通过 $ \phi $ 的共轭将系统化为归一化形式，确保最大不变集位于重整化区域像内。
• 应用纤维化线性化技术控制重整化映射的 $ C^r $-范数，特别关注迭代过程中 $ A_\mu $ 与 $ B_\mu $ 的 $ C^r $-小性。
• 利用缩放映射 $ C_\mu^{-1}(x,y) = (\sigma_\mu^{-n}x, \sigma_\mu^{-2n}y) $ 将动力系统共轭至临界点附近的小邻域，确保导数的指数衰减。
• 通过分析 $ \sigma_\mu $、$ \lambda_\mu $ 与 $ \mu $ 对参数 $ a $ 的依赖关系，推导出 $ \partial_a A_a $ 与 $ \partial_a B_a $ 的界，证明其在 $ n \to \infty $ 时呈指数衰减。
• 应用 $ (\mathcal{E}_2) $ 与 $ (\mathcal{E}_3) $ 估计，控制涉及 $ A'_\mu \circ C_\mu^{-1} $ 与 $ B'_\mu \circ C_\mu^{-1} $ 复合映射的 $ C^r $-范数。
• 利用 $ \mu $ 对参数的依赖性通过 $ \xi^{-1}\sigma_\mu^{-2n} $ 的形式，证明当 $ n \to \infty $ 时，$ \partial_a A_a $ 与 $ \partial_a B_a $ 呈现 $ C^r $-指数衰减。

实验结果

研究问题

• RQ1 对于小 $ b_0 $ 的 Hénon 映射，参数区域 $ \hat{\mathcal{I}}_{b_0} $ 是否存在唯一一个包含重整化区间 $ \mathcal{I} $ 的最大连通分支？
• RQ2 对于任意二次族的重整化区间 $ \mathcal{I} $，当 $ b_0 > 0 $ 足够小时，集合 $ \hat{\mathcal{I}}_{b_0} $ 是否为闭集？
• RQ3 能否在大周期下为重整化 Hénon 类映射建立统一的 $ C^r $-有界性，特别是在行列式较小时？
• RQ4 重整化映射的 $ C^r $-范数如何依赖于参数 $ a $，尤其是在重整化周期趋于无穷的极限下？
• RQ5 关于 $ a $ 的导数 $ A_a $ 与 $ B_a $ 的渐近行为如何？能否证明其在 $ n $ 上呈指数衰减？

主要发现

• 由于 $ C_\mu^{-1} $ 及其导数的指数衰减，$ \partial_a A_a $ 的 $ C^0 $-范数在 $ n $ 较大时呈指数衰减。
• 由于其受 $ \sigma_\mu^{-n} $ 支配，该量的 $ C^1 $-范数同样呈指数衰减，而 $ \sigma_\mu^{-n} $ 随 $ n $ 快速衰减。
• 由于 $ A'_\mu $ 的高阶导数有界且 $ C_\mu^{-1} $ 呈指数衰减，$ \partial_a A_a $ 的 $ C^{r-1} $-范数也呈指数衰减。
• 由于受 $ \sigma_\mu^{-2n} \partial_\mu(\lambda_\mu^n \sigma_\mu^{2n}) $ 支配，$ \partial_a B_a $ 的 $ C^0 $-范数呈指数衰减。
• 由于 $ B_a $ 的 $ C^r $-范数有界，且其对参数的依赖性为 $ C^r $-指数衰减，因此在小扰动下具有鲁棒性。
• 对于所有 $ k < r $，$ \partial_a^k A_a $ 的 $ C^r $-范数较小，这是由于 $ \partial_\mu^k \sigma_\mu^{-2n} $ 的指数衰减性与 $ D^r A'_\mu $ 的有界性共同作用所致。