[论文解读] Examples of non-autonomous basins of attraction-II

Sayani Bera|arXiv (Cornell University)|Jan 19, 2018

Advanced Differential Equations and Dynamical Systems参考文献 9被引用 3

一句话总结

本文将复空间中非自治吸引域的构造方法加以拓展，证明了在 $\mathbb{C}^k$（$k \geq 2$）中存在可数无穷多个互不相交的 Short $\mathbb{C}^k$ 域，并在 $k \geq 4$ 时构造出一个非 Runge 的 Short $\mathbb{C}^k$。本文提出了一种新的扰动方法，在自同构满足一致上界条件的前提下，实现了吸引域之间的双全纯等价性，并基于此框架，提供了边界 Hausdorff 维数严格大于 $2k-1$ 的 Short $\mathbb{C}^k$ 的构造性证明。其核心贡献在于建立了一个稳健的框架，可生成具有特定几何与动力学性质的多样化、复杂化的 Short $\mathbb{C}^k$ 域。

ABSTRACT

The aim of this article is to enlarge the list of examples of non-autonomous basins of attraction from our previous paper and at the same time explore some other properties that they satisfy. For instance, we show the existence of countably many disjoint Short $\mathbb{C}^k$'s in $\mathbb{C}^k.$ We also construct a Short $\mathbb{C}^k$ which is not Runge and exhibit yet another example whose boundary has Hausdorff dimension $2k.$

研究动机与目标

• 将已知的非自治吸引域（特别是 Short $\mathbb{C}^k$ 域）的构造范围拓展至先前方法无法覆盖的类型。
• 证明在 $\mathbb{C}^k$（$k \geq 2$）中存在可数无穷多个两两不相交的 Short $\mathbb{C}^k$ 域。
• 构造一个非 Runge 的 Short $\mathbb{C}^k$，从而在高维空间中确立一类新的非 Runge 域。
• 发展一种适用于满足一致上界条件的自同构序列的扰动方法，确保所生成吸引域之间具有双全纯等价性。
• 基于新扰动框架，提供一个边界 Hausdorff 维数严格大于 $2k-1$ 的 Short $\mathbb{C}^k$ 的构造性证明。

提出的方法

• 本文使用满足原点处一致上界条件的自同构序列 $\{F_n\} \subset \mathrm{Aut}_0(\mathbb{C}^k)$，即在某一固定球内满足 $\|F_n(z)\| < C\|z\|$（$0 < C < 1$），来定义非自治吸引域 $\Omega_{\{F_n\}}$。
• 采用一种受 Dixon–Esterle、Glovebnik 与 Stensønes 启发的新颖扰动技术，可在保持所生成吸引域双全纯等价性的前提下，对自同构进行微小扰动。
• 构造过程通过归纳方式定义紧集 $K^i$，并扰动自同构 $F_n$，以确保多项式凸性，并对吸引域的边界结构实现有效控制。
• 关键步骤之一是使用满足 $a_{n+1} < a_n^2 < 1$ 且 $\lim_{n\to\infty} a_n^{-2^n} = 0$ 的序列 $\{a_n\}$，以保障映射动力学的收敛性与可控性。
• 该方法依赖于存在一趋于零的序列 $\{\delta_n\}$，使得若在某一固定球上满足 $\|F_n(z) - S_n(z)\| < \delta_n$，则有 $\Omega_{\{F_n\}} \cong \Omega_{\{S_n\}}$，从而确立了吸引域结构在小扰动下的稳定性。
• 边界混沌结构的证明依赖于紧集 $K^i$ 的递归构造及相应的扰动，确保边界具有正的 $2k$-维测度，且 Hausdorff 维数超过 $2k-1$。

实验结果

研究问题

• RQ1 能否在 $\mathbb{C}^k$（$k \geq 2$）中构造出可数无穷多个互不相交的 Short $\mathbb{C}^k$ 域？
• RQ2 当 $k \geq 4$ 时，是否存在一个非 Runge 的 Short $\mathbb{C}^k$？
• RQ3 对于包含高阶项（超越单项式）的自同构序列，其吸引域是否仍为 Short $\mathbb{C}^k$？
• RQ4 在何种条件下，两个非自治吸引域是双全纯等价的？
• RQ5 Short $\mathbb{C}^k$ 域的边界可能具有的最大 Hausdorff 维数是多少？

主要发现

• 本文在 $\mathbb{C}^k$（$k \geq 2$）中构造出可数无穷多个两两不相交的 Short $\mathbb{C}^k$ 域，将已知例子的范围从孤立实例扩展至更广泛的构造。
• 本文在 $k \geq 4$ 时展示了一个非 Runge 的 Short $\mathbb{C}^k$ 域，证明此类域可以不满足 Runge 性质。
• 提出一种新的扰动方法：若在某一固定球上满足 $\|F_n(z) - S_n(z)\| < \delta_n$，且 $\{S_n\}$ 满足一致上界条件，则 $\Omega_{\{F_n\}} \cong \Omega_{\{S_n\}}$，从而保证了吸引域结构的稳定性。
• 本文基于新扰动框架，提供了边界 Hausdorff 维数严格大于 $2k-1$ 的 Short $\mathbb{C}^k$ 的构造性证明，方法包括递归紧集构造与扰动技术。
• 证明了所构造的 Short $\mathbb{C}^k$ 的边界具有正的 $2k$-维 Hausdorff 测度，表明其在几何意义上具有“大”的边界。
• 通过递归构造，确认了存在具有混沌边界的 Short $\mathbb{C}^k$，其边界包含一个在 $2k$-维测度下正的紧集的稠密子集。