[论文解读] Rigorous numerical studies of the dynamics of polynomial skew products of C^2

Suzanne Lynch Hruska|arXiv (Cornell University)|Feb 2, 2005

Mathematical Dynamics and Fractals参考文献 15被引用 4

一句话总结

本文提出了一种在Hypatia软件中实现的严格计算机算法，用于分析ℂ²中多项式斜积的动力学，重点在于构建链递归集的模型并验证Axiom A性质。通过结合区间算术与伪轨迹分析，并扩展映射验证方法，作者证明了特定斜积映射的Axiom A性质，涵盖新的例子以及Jonsson和Heinemann研究中的已知情况。

ABSTRACT

For the class of polynomial skew products of C^2, we describe a rigorous computer algorithm which, for a given map F, will (1) build a model of the dynamics of F on its chain recurrent set, and (2) attempt to determine whether F is Axiom A. Further, we discuss how we used our implementation of this algorithm to establish Axiom A for several explicit cases.

研究动机与目标

• 开发一个严格计算框架，用于分析ℂ²中多项式斜积的动力学。
• 利用区间算术与伪轨迹建模链递归集及其动力学。
• 通过算法验证，确认Axiom A性质——在非游荡集上具有双曲性，且周期点稠密。
• 将先前在一维复动力系统中的方法扩展至高维斜积设置。
• 为许多此类斜积映射属于Axiom A的猜想提供计算证据。

提出的方法

• 使用带有定向舍入的区间算术，以在浮点计算中保持严格的误差界。
• 通过计算伪轨迹并利用区间扩展验证递归性，构建链递归集𝒷的邻域𝒷。
• 利用基于区间的像包围技术，构建一个有限图Γ，以建模链递归集上的动力学。
• 应用数值方法，通过寻找一个映射在其中以因子L > 1扩张的度量，来验证链递归集上的均匀扩张。
• 在Hypatia软件中实现该算法，整合先前关于一维映射与多项式微分同胚的研究技术。
• 对ℂ² ≅ ℝ⁴中的向量值函数使用分量式区间算术，以保证包含性地计算盒子的前向像。

实验结果

研究问题

• RQ1 能否使用严格的计算机方法验证ℂ²中多项式斜积的Axiom A性质？
• RQ2 特定类多项式斜积的链递归集具有何种结构？
• RQ3 在高维复动力系统中，区间算术与伪轨迹分析在证明双曲性方面的适用程度如何？
• RQ4 是否存在新的斜积类是Axiom A的，且可被计算验证？
• RQ5 如何以保证数值严格性的方式对斜积的动力学进行建模与分析？

主要发现

• 作者成功使用Hypatia软件证明了多个显式多项式斜积的Axiom A性质，包括Jonsson和Heinemann研究中的例子。
• 该算法构建了链递归集上动力学的有限图模型，提供了严格的拓扑表示。
• 使用定向舍入的区间算术确保了所有数值计算均具有误差界，从而实现对动力学性质的严格验证。
• 该方法通过找到一个映射以因子L > 1扩张的度量，验证了链递归集上的均匀扩张。
• 链递归集被分解为链传递分量，且每个分量上的动力学通过伪轨迹进行了建模。
• 该实现表明，Axiom A可被计算验证于斜积映射，支持了此类映射中许多属于Axiom A的猜想。