[论文解读] On the continuity of the Hutchinson operator

Michael F. Barnsley, Krzysztof Leśniak|arXiv (Cornell University)|Feb 12, 2012

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

一句话总结

本文建立了当基础映射连续时，由迭代函数系统（IFS）诱导的Hutchinson算子的连续性，特别证明了分量函数的连续性可推出该算子在紧集的Hausdorff度量空间上的连续性。关键贡献在于利用紧集上的一致连续性与Lebesgue数论证，提供了严谨的证明，解决了关于非压缩映射扰动下吸引子稳定性的长期悬而未决问题。

ABSTRACT

We investigate whether the Hutchinson operator associated with the iterated function system (IFS) is continuous. It clarifies several partial results scattered across recent literature. While the main example for IFS with strict attractor was provided by the family of contractions (the so-called hyperbolic system), the accent was put on ensuring that various contractivity-like conditions are preserved when the Hutchinson operator is induced, unless very recently it was discovered that strict attractors are quite often present for a large class of noncontractive maps, namely projective maps. This sets substantial motivation for the study whether in general continuity of functions guarantees continuity of the induced Hutchinson operator.

研究动机与目标

• 解决当分量映射不一定是压缩映射时，Hutchinson算子连续性方面的开放问题。
• 确立在缺乏严格压缩性条件下，Hutchinson算子仍保持连续性的条件。
• 阐明单个映射的连续性与在紧集空间上诱导的算子连续性之间的关系。
• 为非压缩、投影型映射的IFS中吸引子的稳定性提供理论基础。

提出的方法

• 使用完备度量空间中非空紧子集空间上的Hausdorff度量来分析算子的连续性。
• 应用Cantor–Weierstrass一致连续性定理于紧集上的连续多值函数，利用Lebesgue数的性质。
• 建立一系列蕴含关系：分量映射的连续性 → 紧集上的一致连续性 → 诱导的Hutchinson算子的连续性。
• 采用不等式 $ h(\bar{\rho}(N_\rho B), \bar{\rho}(B)) \to 0 $ 当 $ \rho \to 0 $，确保算子在Hausdorff拓扑下保持邻近性。
• 利用包含关系 $ F(N_\rho B) \subset N_\varepsilon F(B) $（对小的 $ \rho $ 成立），该关系源于一致连续性，用于证明在紧集处的连续性。
• 应用Lebesgue数引理构造一个统一的 $ \delta $-邻域，使得 $ h(B,C) < \delta \Rightarrow h(F(B),F(C)) < \varepsilon $。

实验结果

研究问题

• RQ1 当基础映射非压缩时，Hutchinson算子在何种条件下是连续的？
• RQ2 IFS中分量函数的连续性是否意味着诱导的Hutchinson算子在紧集空间上是连续的？
• RQ3 能否利用紧集上的一致连续性来建立Hausdorff度量下Hutchinson算子的连续性？
• RQ4 Hausdorff度量下的紧集空间 $ \mathcal{K}(X) $ 的结构如何影响算子的连续性？

主要发现

• 若分量多值函数连续，则Hutchinson算子 $ F: \mathcal{K}(X) \to \mathcal{K}(X) $ 在每个紧集 $ C \in \mathcal{K}(X) $ 处连续。
• 在有限或紧致IFS中，若单个映射 $ f_i $ 连续，则诱导的Hutchinson算子在紧集空间上连续。
• 证明依赖于多值函数在紧集上的一致连续性以及开覆盖的Lebesgue数的存在性，从而确保对 $ h(F(B), F(C)) $ 的统一控制。
• 建立了必要条件：若 $ F $ 在单点集处连续，则基础多值函数 $ \varphi $ 必须连续。
• 即使映射非压缩，该结果依然成立，将理论扩展至包含投影型与非压缩系统的范围，超越了双曲IFS的范畴。
• 当且仅当对任意 $ \varepsilon > 0 $，存在 $ \delta > 0 $，使得 $ h(B,C) < \delta \Rightarrow h(F(B),F(C)) < \varepsilon $ 时，算子在 $ C \in \mathcal{K}(X) $ 处连续，该结论通过邻域包含关系与Hausdorff距离估计得以证明。