[论文解读] 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

一句话总结

该论文证明了在 Misiurewicz-Sierpinski 映射的 Julia 集上——这类分形属于有限分支分形——平衡电阻形式的存在性与唯一性，这对构造扩散过程至关重要。利用 Sabot 的保持关系理论与映射的动力学性质，作者证明当参数满足 $\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.

研究动机与目标

• 解决在一类新的有限分支分形——即 Misiurewicz-Sierpinski 映射的 Julia 集——上构造扩散过程的根本问题。
• 在这些分形上建立平衡电阻形式的存在性与唯一性，这是定义扩散过程所必需的。
• 通过利用有理映射的动力学而非几何对称性，克服非对称对称群带来的挑战。
• 将 Sabot 的唯一性框架从嵌套分形扩展到更广泛的自相似、后临界有限分形类。
• 系统分析保持关系及其谱半径，以确定存在性条件。

提出的方法

• 应用 Sabot 的保持关系定理，分析 Misiurewicz-Sierpinski 映射 Julia 集上的电阻形式。
• 利用迭代函数系统（IFS）诱导的图-定向结构以及有理映射 $R_{\lambda,n,m}(z) = z^n + \lambda/z^m$ 的动力学性质。
• 在一级单元上定义旋转对称的电阻形式，并将问题转化为涉及映射 $\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 在 Misiurewicz-Sierpinski 映射的 Julia 集上，平衡电阻形式在何种条件下存在？
• RQ2 当电阻形式存在时，其唯一性是否成立，且该唯一性是否在不依赖形式对称性的情况下依然成立？
• RQ3 有理映射 $R_{\lambda,n,m}$ 的动力学性质如何影响电阻形式的存在性与唯一性？
• RQ4 保持关系在确定图-定向不变电阻形式的存在性中起什么作用？
• RQ5 电阻形式的归一化常数 $\eta$ 是否可以显式计算？其如何依赖于参数 $m$ 和 $n$？

主要发现

• 当 $\frac{1}{m} + \frac{1}{n} > \frac{1}{2}$ 时，Misiurewicz-Sierpinski 映射的 Julia 集上平衡电阻形式的存在性与唯一性得以确立。
• 当 $m=1$ 时，归一化常数显式给出为 $\eta = \frac{2n+1}{n+1}$，当 $n=2$ 时，该值与 Sierpinski 垫片的常数一致。
• 当 $\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\}$ 上，仅存在两个非平凡保持关系 $\mathcal{J}_1$ 与 $\mathcal{J}_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}$。