[论文解读] Energy Measures of Harmonic Functions on the Sierpiński Gasket

Renee Bell, Ching-Wei Ho+1 more|arXiv (Cornell University)|Dec 1, 2012

Geometric Analysis and Curvature Flows参考文献 6被引用 4

一句话总结

本文通过分析这些测度关于Kusuoka测度的Radon-Nikodym导数，表征了Sierpiński垫片上调和函数相关的能量测度。它建立了这些导数在顶点集$V_*$上的连续性性质，将单元上导数的平均值表示为边界顶点值的加权平均，并推导出权重的显式公式，从而为此前不透明的Kusuoka测度提供了算法透明性，并推进了分形上能量拉普拉斯算子理论的发展。

ABSTRACT

We study energy measures on SG based on harmonic functions. We characterize the positive energy measures through studying the bounds of Radon-Nikodym derivatives with respect to the Kusuoka measure. We prove a limited continuity of the derivative on the graph $V_*$ and express the average value of the derivative on a whole cell as a weighted average of the values on the boundary vertices. We also prove some characterizations and properties of the weights.

研究动机与目标

• 为Kusuoka测度提供算法透明性，该测度在以往的分形分析中被认为不透明。
• 表征Sierpiński垫片上调和函数$h$相关的能量测度$\nu_h$。
• 研究Radon-Nikodym导数$\frac{d\nu_h}{d\nu}$并建立其有界性与连续性性质。
• 将导数在单元上的平均值表示为边界顶点处值的加权平均。
• 推导该平均过程中涉及权重的显式公式与性质。

提出的方法

• 使用能量形式$\mathcal{E}_m(u,v)$及其极限$\mathcal{E}(u,v)$在Sierpiński垫片上定义能量测度。
• 将调和函数定义为从第$m$层到第$m+1$层能量最小化的函数，由此在每个单元上导出递归的平均规则。
• 分析相对于Kusuoka测度$\nu$的Radon-Nikodym导数$\frac{d\nu_h}{d\mu}$，建立其在$V_*$上的有界性与连续性。
• 将单元$F_wSG$上导数的平均值表示为边界顶点$F_w(q_i)$处值的加权和，权重由调和函数的性质导出。
• 应用carré du champ公式与能量拉普拉斯算子理论，将$\mathcal{E}(u^2,v)$与测度$\nu_{u,v}$关联，从而推导出导数的显式公式。
• 使用单位圆盘的参数化及Möbius型映射$B_j$分析不变测度与径向-角向分布，支持关于Kusuoka测度结构的猜想。

实验结果

研究问题

• RQ1 如何通过调和函数能量测度的分析，使Kusuoka测度在算法上变得透明？
• RQ2 Radon-Nikodym导数$\frac{d\nu_h}{d\nu}$的结构是什么？它在顶点集$V_*$上的行为如何？
• RQ3 能否将导数$\frac{d\nu_h}{d\nu}$在单元上的平均值表示为边界顶点处值的加权平均？
• RQ4 该平均公式中涉及的权重的显式公式与性质是什么？
• RQ5 Kusuoka测度的径向与角向分布是怎样的？它与映射$B_j$下的不变测度有何关系？

主要发现

• Radon-Nikodym导数$\frac{d\nu_h}{d\nu}$在有限层顶点集$V_*$上为有界且具有有限连续性。
• 导数$\frac{d\nu_h}{d\nu}$在单元$F_wSG$上的平均值是其在三个边界顶点$F_w(q_i)$处值的加权平均，权重取决于调和函数$h$。
• 平均公式中的权重被显式表征，并满足特定的对称性与归一化性质。
• Kusuoka测度的径向分布被猜想为在$r = \frac{1}{\sqrt{6}}$处的Dirac测度，该猜想得到迭代函数系统数值结果的支持。
• 角向分布集中于边界圆周，映射$B_j$在单位圆盘上保持该结构，每个$B_j$将满足$x > -\frac{1}{2}$的点更靠近边界。
• 不变测度$d\lambda(t) = f(t)dt$满足一个涉及映射$g_j$的逆与导数的函数方程，从而导出$f(t)$关于$f(g_j^{-1}(t))$与$g_j'$的自洽公式。