[論文レビュー] Existence and uniqueness of diffusions on the Julia sets of Misiurewicz-Sierpinski maps

Shiping Cao, Malte Hassler+3 more|arXiv (Cornell University)|Aug 17, 2020

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

ひとこと要約

本稿では、ミウシュレヴィッチ・シエルピンスキー写像のジュリア集合——有限分岐なフラクタルの一種——におけるバランスの取れた抵抗形式の存在および一意性を確立する。サボの保存関係理論と写像の力学的性質を用いて、パラメータが $\frac{1}{m} + \frac{1}{n} > \frac{1}{2}$ を満たすとき、このような形式が存在し、一意的であることを証明する。$m=1$ の場合、自己相似定数は $\eta = \frac{2n+1}{n+1}$ で与えられる。

ABSTRACT

We study the balanced resistance forms on the Julia sets of Misiurewicz-Sierpinski maps, which are self-similar resistance forms with equal weights. In particular, we use a theorem of Sabot to prove the existence and uniqueness of balanced forms on these Julia sets. We also provide an explorative study on the resistance forms on the Julia sets of rational maps with periodic critical points.

研究の動機と目的

• 新規の有限分岐フラクタルのクラスとして、ミウシュレヴィッチ・シエルピンスキー写像のジュリア集合における拡散過程を構成するという根本的問題に取り組む。
• これらのフラクタル上でのバランスの取れた抵抗形式の存在および一意性を確立する。これは拡散を定義するために不可欠である。
• 非対称な対称性群の課題を、幾何的対称性ではなく有理写像の力学的性質に依存することで克服する。
• サボの唯一性フレームワークをネストされたフラクタルを超えて、より広いクラスの自己相似的かつ後臨界的有限フラクタルへと拡張する。
• 保存関係とそのスペクトル半径の体系的解析を通じて、存在条件を特定する。

提案手法

• ミウシュレヴィッチ・シエルピンスキー写像のジュリア集合における抵抗形式を分析するため、サボの定理を保存関係に適用する。
• 反復関数系（IFS）が誘導するグラフ指向構造と有理写像 $R_{\lambda,n,m}(z) = z^n + \lambda/z^m$ の力学的性質を用いる。
• 1段階目のセルにおける回転対称抵抗形式を定義し、写像 $\Psi_{k,l}$ を含む関数方程式に問題を還元する。
• 境界頂点集合上の非自明な保存関係 $\mathcal{J}_1$ および $\mathcal{J}_2$ に対するスペクトル半径 $\underline{\rho}$ と $\overline{\rho}$ の正確な値を計算する。
• 解の存在が、各保存関係について $\overline{\rho} < \underline{\rho}^{-1}$ が成り立つかどうかに依存することを適用する基準とする。
• ヒルベルトの射影的距離とブロワーの不動点定理を用いて、条件 $\frac{1}{m} + \frac{1}{n} > \frac{1}{2}$ の下で回転対称解の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 ミウシュレヴィッチ・シエルピンスキー写像のジュリア集合上にバランスの取れた抵抗形式が存在する条件は何か？
• RQ2 抵抗形式が存在する場合、それは一意的であり、形式の対称性を仮定しないでも成り立つか？
• RQ3 有理写像 $R_{\lambda,n,m}$ の力学的性質は、抵抗形式の存在および一意性にどのように影響するか？
• RQ4 保存関係は、グラフ指向不変抵抗形式の存在を決定づける役割を果たすか？
• RQ5 抵抗形式の自己相似定数 $\eta$ は明示的に計算可能か？また、$m$ と $n$ のパラメータにどのように依存するか？

主な発見

• パラメータが $\frac{1}{m} + \frac{1}{n} > \frac{1}{2}$ を満たすとき、ミウシュレヴィッチ・シエルピンスキー写像のジュリア集合上にバランスの取れた抵抗形式が存在し、一意的であることが確立された。
• 特に $m=1$ の場合、自己相似定数は明示的に $\eta = \frac{2n+1}{n+1}$ で与えられ、$n=2$ のときにはシエルピンスキー・ギャスケットの定数と一致する。
• パラメータが $\frac{1}{m} + \frac{1}{n} < \frac{1}{2}$ のとき、グラフ指向不変抵抗形式は存在しない。これには $(m,n) = (3,6), (6,3), (4,4)$ の場合が含まれる。
• 臨界ケース $\frac{1}{m} + \frac{1}{n} = \frac{1}{2}$ は未解決だが、数値実験の結果、$(m,n) = (3,6)$ および $(6,3)$ の場合に非存在である可能性が示唆されている。
• 一意的な解は回転対称的であり、ヒルベルトの射影的距離とブロワーの不動点定理を用いてその存在が証明された。
• 境界頂点集合 $\{p_0, p_1, q_0, q_1\}$ 上には非自明な保存関係が2つしか存在せず、それぞれのスペクトル半径は正確に以下の通りである：$\underline{\rho}_{\mathcal{J}_1} = \overline{\rho}_{\mathcal{J}_1} = \frac{1}{2}$、$\overline{\rho}_{\mathcal{J}_2} = \frac{1}{n}$、$\underline{\rho}_{V/\mathcal{J}_2} = \frac{mn}{m+n}$。