[論文レビュー] 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）の成分写像が連続である場合、それらが非コントラクト型であっても、ハウスドルフ距離を備えたコンパクト集合の空間上でのハッチンソン作用素の連続性を確立する。主な貢献は、コンパクト集合上の一様連続性とリーマン数の議論を用いた厳密な証明であり、非コントラクト型写像の摂動に対する吸引核の安定性に関する長年の未解決問題を解消する。

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.

研究の動機と目的

• 非コントラクト型でない成分写像を有する場合のハッチンソン作用素の連続性に関する未解決問題を解消すること。
• 厳密なコントラクト性が欠如する状況下でも、ハッチンソン作用素が連続であるための条件を確立すること。
• 個々の写像の連続性と、コンパクト集合の空間上に誘導される作用素の連続性との関係を明確にすること。
• 非コントラクト型で射影型の写像を有するIFSにおける吸引核の安定性の理論的基盤を提供すること。

提案手法

• 完備距離空間の空でないコンパクト部分集合の空間にハウスドルフ距離を導入し、作用素の連続性を分析する。
• コンパクト集合上の連続な多価関数にコントール＝ヴァイエルシュトラスの一様連続性定理を適用し、リーマン数の性質を活用する。
• 連続性の連鎖を確立する：成分写像の連続性 → コンパクト集合上の一様連続性 → 導出されるハッチンソン作用素の連続性。
• 不等式 $ h(\bar{\rho}(N_\rho B), \bar{\rho}(B)) \to 0 $ を用い、$ \rho \to 0 $ のとき、作用素がハウスドルフ位相における近接性を保つことを保証する。
• 一様連続性から導かれる包含関係 $ F(N_\rho B) \subset N_\varepsilon F(B) $ を用い、コンパクト集合における連続性を証明する。
• リーマン数の補題を適用して、一様な $ \delta $-近傍を構成し、$ h(B,C) < \delta \Rightarrow h(F(B),F(C)) < \varepsilon $ を満たすようにする。

実験結果

リサーチクエスチョン

• RQ1 成分写像がコントラクト型でない場合、ハッチンソン作用素がどのような条件下で連続となるか。
• RQ2 IFSの成分関数が連続である場合、それらが誘導するハッチンソン作用素がコンパクト集合の空間上で連続であるか。
• RQ3 コンパクト集合上で一様連続性を用いることで、ハウスドルフ距離におけるハッチンソン作用素の連続性を確立できるか。
• RQ4 ハウスドルフ距離を備えた空間 $ \mathcal{K}(X) $ の構造が、作用素の連続性にどのように影響するか。

主な発見

• 成分多価関数が連続である限り、ハッチンソン作用素 $ F: \mathcal{K}(X) \to \mathcal{K}(X) $ は任意のコンパクト集合 $ C \in \mathcal{K}(X) $ で連続である。
• 有限またはコンパクトなIFSにおいて、個々の写像 $ f_i $ の連続性が、コンパクト集合の空間上に誘導されるハッチンソン作用素の連続性を保証する。
• 証明は、コンパクト集合上での多価関数の一様連続性と、開被覆に対するリーマン数の存在に依存しており、$ 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) $ で作用素は連続である。このことは、近傍包含関係とハウスドルフ距離の推定により証明された。