[论文解读] Piecewise contractions defined by iterated function systems

Arnaldo Nogueira, Benito Pires+1 more|arXiv (Cornell University)|Aug 7, 2014

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

一句话总结

该论文证明，对于 [0,1] 中划分点的勒贝格几乎处处选择，由利普希茨压缩映射构成的迭代函数系统（IFS）所定义的 n 区间分段压缩映射是渐近周期的，即每个轨道都收敛到一个周期轨道。关键结果是，此类映射具有 1 至 n 个周期轨道，且其动力学行为可完全由 IFS 的压缩性质以及嵌套集 A_k 的结构来刻画。

ABSTRACT

Let $ϕ_1,\ldots,ϕ_n:[0,1] o (0,1)$ be Lipschitz contractions. Let $I=[0,1)$, $x_0=0$ and $x_n=1$. We prove that for Lebesgue almost every $(x_1,...,x_{n-1})$ satisfying $0

研究动机与目标

• 在一般情况下完整刻画由迭代函数系统（IFS）定义的分段压缩映射（PC）的拓扑动力学，包括非单射映射。
• 通过建立适用于单射与非单射压缩映射的框架，将先前仅限于非重叠像集的单射 IFS 的结果进行推广。
• 证明对于 [0,1] 的几乎所有划分，所得到的 PC 映射是渐近周期的，即每个轨道都收敛到一个周期轨道。
• 建立周期轨道数量的紧致界，表明其最多为 n，且该上界是紧的。

提出的方法

• 将映射 f 定义为使用 n 个利普希茨压缩映射 φ_i 和 [0,1) 的 n 个区间划分（由点 x_1 < ... < x_{n-1} 定义）构成的分段压缩映射。
• 引入嵌套集序列 A_k，其中 A_0 = [0,1] 且对 k ≥ 1 有 A_k = ∪_{i=1}^n φ_i(A_{k-1})，以分析渐近行为。
• 证明若 IFS 是高度压缩的（或 κ-利普希茨且 κ < 1/2），则 ∩_{k≥0} A_k 是零测集，从而蕴含渐近周期性。
• 通过对区间的准划分进行组合论证，基于在特定关系下的区间等价类，将周期轨道数量限制在 n 以内。
• 应用测度论论证，表明使得动力学不具渐近周期性的参数配置集合（x_1,…,x_{n-1}）的勒贝格测度为零。
• 构造一个反例（仿射映射 φ_1, φ_2 且 κ > 1/2），表明当 κ ≥ 1/2 时，∩A_k 可能具有正测度，从而证明压缩条件的必要性。

实验结果

研究问题

• RQ1 在何种 IFS {φ_1,…,φ_n} 条件下，对于 [0,1] 的几乎所有划分，其对应的分段压缩映射是渐近周期的？
• RQ2 典型的 n 区间分段压缩映射最多可具有多少个周期轨道？该上界是否紧致？
• RQ3 嵌套集 A_k = ∪φ_i(A_{k-1}) 的结构如何与映射 f 的长期动力学相关？
• RQ4 单射 IFS 的结果能否推广到具有重叠像集的非单射映射？若可，需满足何种条件？
• RQ5 当 IFS 不是高度压缩时，会发生什么情况？∩A_k 是否仍为零测集，或可能具有正测度？

主要发现

• 对于 Ω_{n-1} 中勒贝格几乎处处的 (x_1,…,x_{n-1})，由 IFS 定义的分段压缩映射 f 是渐近周期的，即对所有 x ∈ [0,1) 有 ω_f(x) 是一个周期轨道。
• 此类典型 f 的周期轨道数量至少为一个，至多为 n，且上界是紧的。
• 若 IFS 由 κ-利普希茨压缩映射构成且 κ < 1/2，则可保证渐近周期性，该条件弱于高度压缩条件。
• 在 κ < 1/2 条件下，典型 IFS 的 ∩_{k≥0} A_k 是零测集，这确保了动力学最终进入周期状态。
• 构造了一个反例，其中 ∩A_k = [1/8, 1/2]，即一个非退化的区间，表明当 κ ≥ 1/2 时，零测集条件不再成立。
• 周期轨道的数量受区间上组合定义关系的等价类数量限制，其数量至多为 n，从而证明了上界的正确性。