[論文レビュー] Transition Phenomena for the Attractor of an Iterated Function System

Krzysztof Leśniak, Nina Snigireva+2 more|arXiv (Cornell University)|May 2, 2022

Mathematical Dynamics and Fractals参考文献 28被引用数 5

ひとこと要約

本稿は、一パラメータ族の反復関数系（IFS）における、収縮性と拡張性の境界における遷移現象を調査する。広範なアフィンIFS族のクラスに対して、一意な吸引域を有するパラメータ $ t_0 $ が存在し、$ t < t_0 $ のときには一意な吸引域 $ A_t $ を持ち、$ t > t_0 $ のときには吸引域を有さず、$ t_0 $ において一意な上位遷移吸引域 $ A^\bullet $ が存在することを証明する。$ A^\bullet $ は $ \lim_{t \to t_0} A_t $ として定義される。主たる貢献は、実バナッハ空間において、IFS関数の線形部に周期性条件が成り立つ場合に、このような上位遷移吸引域の存在に関する予想の強い証明である。

ABSTRACT

Iterated function systems (IFSs) and their attractors have been central to the theory of fractal geometry almost from its inception. And contractivity of the functions in the IFS has been central to the theory of iterated functions systems. If the functions in the IFS are contractions, then the IFS is guaranteed to have a unique attractor. Recently, however, there has been an interest in what occurs to the attractor at the boundary between contractvity and expansion of the IFS. That is the subject of this paper. For a family $F_t$ of IFSs depending on a real parameter $t>0$, the existence and properties of two types of transition attractors, called the lower transition attractor $A_{\bullet}$ and the upper transition attractor $A^{\bullet}$, are investigated. A main theorem states that, for a wide class of IFS families, there is a threshold $t_0$ such that the IFS $F_t$ has a unique attractor $A_t$ for $t<t_0$ and no attractor for $t>t_0$. At the threshold $t_0$, there is an $F_{t_0}$-invariant set $A^{\bullet}$ such that $A^{\bullet} = \lim_{t ightarrow t_0} A_t$.

研究の動機と目的

• 一パラメータ族のIFSにおける吸引域の挙動を、収縮性と非収縮性の境界で調査すること。
• パラメータ $ t_0 $ において、$ t > t_0 $ のときIFSが吸引域を失うという文脈で、一意な上位遷移吸引域が存在するかという未解決問題を解消すること。
• 特に線形部の周期性を含む十分条件を確立し、このような遷移吸引域 $ A^\bullet $ の存在を示すこと。これにより、先行の予想を拡張すること。
• 非可分かつ無限次元空間における反例を構築することで、IFS関数の線形部における周期性の必要性を検討すること。

提案手法

• パラメータ $ t > 0 $ に対して連続的に依存する一パラメータ族のアフィンIFS $ F_t $ を分析し、$ t \to 0 $ のとき強力な収縮性に対応する。
• 閾値 $ t_0 $ を導入し、$ t < t_0 $ のとき一意な吸引域 $ A_t $ を持つが、$ t > t_0 $ のときには吸引域を有さないものとし、$ t_0 $ における極限集合 $ A^\bullet = \lim_{t \to t_0} A_t $ を研究する。
• コンパクト集合 $ K \subset X $ に対して、ハウスドルフ距離で収束を調べるハッチンソン作用素 $ F(K) = \bigcup_{f \in F} f(K) $ を用いる。
• 特殊関数 $ g $ の線形部に周期性がある場合、実バナッハ空間において上位遷移吸引域 $ A^\bullet $ が存在し、$ \lim_{t \to t_0} A_t $ に等しいことを、[33] の予想の強い形を証明することで適用する。
• $ \ell^\infty(\mathbb{C}) $ における反例を構築し、周期性がなければ極限 $ \lim_{t \to t_0} A_t $ が存在しないことを示す。
• ハウスドルフ距離 $ h $ を用いて吸引域の収束を分析し、$ s \in [1/2, 1) $ および $ t $ が 1 に近いとき、$ h(A_t, A_s) \geq 1/2 $ が成り立つことを証明し、コーシー収束に反する。

実験結果

リサーチクエスチョン

• RQ1 一パラメータ族のIFS $ F_t $ の吸引域 $ A_t $ が、閾値 $ t_0 $ においてコンパクトかつ $ F_{t_0} $-不変な集合 $ A^\bullet $ に収束するための条件は何か？
• RQ2 IFS関数 $ g $ の線形部の周期性は、上位遷移吸引域 $ A^\bullet $ の存在にとって必要条件か？
• RQ3 周期性を仮定しない場合でも、有限次元または可分なバナッハ空間において上位遷移吸引域の存在を保証できるか？
• RQ4 上位遷移吸引域 $ A^\bullet $ と下位遷移吸引域 $ A_\bullet $ の関係は何か、特に $ A^\bullet = A_\bullet $ のときには？
• RQ5 IFS関数に特定の幾何的仮定を課した場合、上位および下位遷移吸引域の度合的凸包が一致するか？

主な発見

• 広範な一パラメータ族のアフィンIFSに対して、一意な閾値 $ t_0 $ が存在し、$ t < t_0 $ のときには一意な吸引域 $ A_t $ を持ち、$ t > t_0 $ のときには吸引域を有さない。
• 閾値 $ t_0 $ において、上位遷移吸引域 $ A^\bullet $ が存在し、$ A^\bullet = \lim_{t \to t_0} A_t $ を満たす。これは[33]の予想の強い形の証明である。
• 上位遷移吸引域の存在には、関数 $ g $ の線形部の周期性が必要条件である。周期性がなければ、極限 $ \lim_{t \to t_0} A_t $ は存在しない。
• 反例として $ \ell^\infty(\mathbb{C}) $ を用いた場合、$ t \to 1 $ のとき吸引域 $ A_t $ は収束しない。なぜなら、$ s \in [1/2, 1) $ および $ t $ が 1 に近いとき、$ h(A_t, A_s) \geq 1/2 $ が成り立つからであり、コーシー収束に反する。
• $ t < 1 $ のときの吸引域 $ A_t $ は特定の閉集合 $ D $ に含まれており、すべての $ t \in (0,1] $ に対して固定点 $ 1 \in A_t $ が成り立つ。この性質がハウスドルフ距離の下界を導くのにも用いられる。
• 任意の $ s \in [1/2, 1) $ に対して、ある $ t_0 < 1 $ が存在し、すべての $ t \in [t_0, 1) $ に対してハウスドルフ距離 $ h(A_t, A_s) \geq 1/2 $ が成り立つ。これは $ t \to 1 $ のとき $ A_t $ が収束しないことを示唆する。