[論文レビュー] Moran-Type Iterated Function Systems and Dimensions of Moran Self-Similar Sets

Yong-Shen Cao, Qi-Rong Deng+1 more|arXiv (Cornell University)|Jan 16, 2026

Mathematical Dynamics and Fractals被引用数 0

ひとこと要約

要約：本論文は Moran 型の反復写像系（MIFS）を定義し、アトラクターと不変測度を展開し、分離条件（MOSC、MWSC、MSSC）および MWHP/MBDP を導入し、Moran 型自己相似集合の次元理論を事例と反例とともに検討する。

ABSTRACT

Moran-type iterated function systems (Moran-type IFS or MIFS) are defined by a sequence of iterated function systems, and their basic theoretical framework is established. We define Moran-type attractors and invariant probability measures associated with a sequence of probability weight vectors. Furthermore, separation conditions for MIFS are introduced, and the dimension theory of Moran-type self-similar sets is investigated. Appropriate examples are provided to illustrate and support the definitions and results.

研究の動機と目的

• Moran 系列内で Moran 集合を Moran 型 IFS の枠組みへ一般化する。
• Moran 型アトラクターと Moran 型不変測度を定義し、その性質を研究する。
• Moran 型系に対して分離条件（OSC, WSC, SSC）を拡張し、既知の IFS 条件と関連づける。
• Moran 型自己相似集合の次元理論を調べ、例と反例を示す。

提案手法

• Moran 型 IFS (MIFS) を、(1.1) で規定された収縮条件を持つ双リプシッツ写像の列として定義する。
• K_n = ⋃_{j=1}^{N_n} φ_{n,j}(K_{n+1}) の不動点関係により Moran 型アトラクター K_n の存在と一意性を確立する。
• μ_n = ∑_{j=1}^{N_n} p_{n,j} μ_{n+1} ∘ φ_{n,j}^{-1} (2.3) を満たす Moran 型不変測度 μ_n を構成する。
• MOSC, MWSC, MSSC を導入し、それらの含意を研究する（3.1–3.4）。
• MWHP および MBDP を導入し、弱同質性と有界歪みを Moran 型 IFS に一般化する（3.3–3.6）。
• MWHP/MBDP を既存の DW および LNW 条件と関連付け、等価性を証明する（定理 3.6）。

実験結果

リサーチクエスチョン

• RQ1 Moran 集合の構成を Moran 型反復写像系の枠組みへ拡張するにはどうすればよいか。
• RQ2 MIFS に適切な分離条件は何か、従来の OSC、WSC、SSC とどう関連するか。
• RQ3 Moran 型アトラクターと Moran 型不変測度はどのように振る舞い、どの条件で定義上・一意に存在するのか。
• RQ4 Moran 型自己相似集合の次元理論はどうあり、分離条件は次元にどう影響するのか。
• RQ5 Moran 型の概念は既存の一般化自己多分岐・自己共形 IFS の結果とどう比較されるか。

主な発見

• MIFS は次を満たす Moran 型アトラクター K_n を良く定義可能にする：K_n = ⋃_{j=1}^{N_n} φ_{n,j}(K_{n+1})。
• 一意な Moran 型不変測度の列 μ_n が存在し、K_n 上を支え、μ_n = ∑_{j=1}^{N_n} p_{n,j} μ_{n+1} ∘ φ_{n,j}^{-1} を満たす。
• MOSC, MWSC, MSSC は Moran 型系の OSC, WSC, SSC の適切な一般化であり、MOSC は MWSC を含意する（定理 3.4）。
• MWHP および MBDP は弱同質性と有界歪みの概念を MIFS に拡張し、既存の DW および LNW 条件と結び付く（定理 3.6）。
• 系が定常であるとき（Φ_n = Φ for all n）、MOSC, MWSC, MSSC は基底 IFS の OSC, WSC, SSC に正確に対応する（定理 3.7）。