[论文解读] A structure theorem for semi-parabolic Hénon maps

Remus Radu, Raluca Tanase|arXiv (Cornell University)|Nov 14, 2014

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

一句话总结

本文建立了半抛物 Hénon 映射在参数附近时的结构定理，此时映射是具有乘子 $\lambda = e^{2\pi i p/q}$ 的抛物不动点的二次多项式的微小扰动。通过正规化坐标和纤维丛构造，证明了正 Julia 集 $J^+$ 是多项式 Julia 集上的平凡全纯纤维丛，纤维全纯同构于一个圆盘，且全 Julia 集 $J$ 同胚于一个商化梅塞尔尼德，表明在小参数圆盘内 $J$ 和 $J^+$ 的结构稳定性。

ABSTRACT

Consider the parameter space $\mathcal{P}_λ\subset \mathbb{C}^{2}$ of complex Hénon maps $$ H_{c,a}(x,y)=(x^{2}+c+ay,ax),\ \ a eq 0 $$ which have a semi-parabolic fixed point with one eigenvalue $λ=e^{2πi p/q}$. We give a characterization of those Hénon maps from the curve $\mathcal{P}_λ$ that are small perturbations of a quadratic polynomial $p$ with a parabolic fixed point of multiplier $λ$. We prove that there is an open disk of parameters in $\mathcal{P}_λ$ for which the semi-parabolic Hénon map has connected Julia set $J$ and is structurally stable on $J$ and $J^{+}$. The Julia set $J^{+}$ has a nice local description: inside a bidisk $\mathbb{D}_{r} imes \mathbb{D}_{r}$ it is a trivial fiber bundle over $J_{p}$, the Julia set of the polynomial $p$, with fibers biholomorphic to $\mathbb{D}_{r}$. The Julia set $J$ is homeomorphic to a quotiented solenoid.

研究动机与目标

• 刻画乘子为 $\lambda = e^{2\pi i p/q}$ 的抛物不动点的二次多项式的小扰动下的半抛物 Hénon 映射。
• 在曲线 $\mathcal{P}_\lambda$ 上的小参数圆盘内，证明 Hénon 映射在 Julia 集 $J$ 和 $J^+$ 上的结构稳定性。
• 描述 $J^+$ 的局部结构，其为抛物多项式 Julia 集 $J_p$ 上的平凡纤维丛，纤维全纯同构于一个圆盘。
• 建立全 Julia 集 $J$ 同胚于一个商化梅塞尔尼德，从而表明其连通性与拓扑复杂性。

提出的方法

• 作者构造一个共轭映射 $\Phi: J_p \times \mathbb{D}_r \to J^+ \cap V$，使其与模型梅塞尔尼德映射 $\psi(\zeta,z) = (p(\zeta), a\zeta - \frac{a^2 z}{p'(\zeta)})$ 交换动力学。
• 他们利用正规形理论将半抛物不动点附近的动力学线性化，并为小的 $a$ 定义统一的正规化坐标。
• 在一组竖直类曲线的空间上定义一个弱收缩算子，其不动点即为所需的共轭映射。
• 使用无穷小度量以及竖直/水平锥体控制畸变，并确保 $J_p$ 上纤维的全纯运动。
• 构造稳定流形的参数化映射，以确保 $J_p$ 上的纤维表现良好且全纯同构于 $\mathbb{D}_r$。
• 证明模型映射 $\psi$ 在不同小的 $a$ 之间共轭，从而实现动力学的统一描述。

实验结果

研究问题

• RQ1 半抛物 Hénon 映射的正 Julia 集 $J^+$ 是否在关联抛物多项式的 Julia 集上具有纤维丛结构？
• RQ2 此类 Hénon 映射的全 Julia 集 $J$ 是否同胚于一个商化梅塞尔尼德，且这是否意味着其连通性？
• RQ3 在曲线 $\mathcal{P}_\lambda$ 内，对抛物多项式的小扰动，是否可在 $J$ 和 $J^+$ 上建立结构稳定性？
• RQ4 在半抛物不动点邻域内，$J^+$ 行为的精确动力学模型是什么？
• RQ5 所有在 $J$ 中的周期点是否均为鞍点，除半抛物不动点外，且这是否意味着 $J = \overline{J^*}$？

主要发现

• 存在 $\delta > 0$，使得对所有 $0 < |a| < \delta$，正 Julia 集 $J^+ \cap V$ 通过与动力学交换的共轭映射 $\Phi$ 同胚于 $J_p \times \mathbb{D}_r$。
• 映射 $\psi(\zeta,z) = (p(\zeta), a\zeta - \frac{a^2 z}{p'(\zeta)})$ 作为 $J_p \times \mathbb{D}_r$ 上动力学的模型，其在纤维方向具有强收缩。
• Julia 集 $J$ 同胚于一个商化梅塞尔尼德 $\bigcap_{n \geq 0} \psi^{\circ n}(J_p \times \mathbb{D}_r)$，确认其连通性与复杂的拓扑结构。
• 所有在 $J$ 中的周期点均为鞍点，除半抛物不动点外，且 $J = \overline{J^*}$，即鞍周期点的闭包。
• 共轭映射 $\Phi$ 在纤维方向全纯，且关于参数 $a$ 全纯变化，确保在圆盘 $|a| < \delta$ 内 $J$ 和 $J^+$ 的结构稳定性。
• $J^+$ 由全纯同构于 $\mathbb{C}$ 的黎曼曲面层叠而成，且在 $J^+$ 上支撑的当前 $\mu^+$ 是层状的，确认了动力学中的几何结构。