[论文解读] Dirichlet Forms on Laakso and Barlow-Evans Fractals of Arbitrary Dimension

Benjamin Steinhurst|ArXiv.org|Nov 10, 2008

advanced mathematical theories参考文献 31被引用 7

一句话总结

本文建立了基于拉科索分形上极小广义上梯度导出的狄利克雷型式与巴洛-埃万斯蠕虫状空间方法构造的马尔可夫过程之间的直接对应关系。通过证明两种构造均产生相同的狄利克雷型式及其关联的自伴算子，该研究统一了任意豪斯多夫维数分形上的分析与概率方法。

ABSTRACT

In this paper we explore two constructions of the same family of metric measure spaces. The first construction was introduced by Laakso in 2000 where he used it as an example that Poincaré inequalities can hold on spaces of arbitrary Hausdorff dimension. This was proved using minimal generalized upper gradients. Following Cheeger's work these upper gradients can be used to define a Sobolev space. We show that this leads to a Dirichlet form. The second construction was introduced by Barlow and Evans in 2004 as a way of producing exotic spaces along with Markov processes from simpler spaces and processes. We show that for the correct base process in the Barlow Evans construction that this Markov process corresponds to the Dirichlet form derived from the minimal generalized upper gradients.

研究动机与目标

• 建立基于拉科索分形上极小广义上梯度导出的分析型狄利克雷型式与巴洛-埃万斯构造中概率型马尔可夫过程之间的联系。
• 证明由拉科索度量测度空间构造导出的狄利克雷型式对应于一个对称马尔可夫过程。
• 表明与狄利克雷型式关联的自伴算子与巴洛-埃万斯过程的生成元在基过程为单位区间上的标准布朗运动时完全一致。
• 证明拉科索空间上的狄利克雷型式可作为逼近量子图上狄利克雷型式的极限来实现。
• 统一分析与概率框架，以研究具有任意豪斯多夫维数的分形上的分析。

提出的方法

• 通过使用康托集与参数序列的递归单元构造方法，构建拉科索分形，以实现任意豪斯多夫维数。
• 在定义域的稠密子集 𝒢 上，通过 L² 范数与能量积分，利用极小广义上梯度定义狄利克雷型式。
• 应用泛函演算，定义狄利克雷型式 𝒟(𝒜) = ‖√(−𝒜)f‖²，其中 𝒜 为自伴生成元。
• 使用巴洛-埃万斯构造在蠕虫状空间上生成马尔可夫过程，基过程取为单位区间上的标准布朗运动。
• 证明了在生成元定义域中，残差算子 U∞λ(𝒢) 构成一个稠密子集，从而实现对定义域的比较。
• 通过在共同稠密子集 𝒢 上证明两种狄利克雷型式一致，并利用连续性进行延拓，从而证明其等价性。

实验结果

研究问题

• RQ1 能否将基于拉科索分形上极小广义上梯度导出的狄利克雷型式与巴洛-埃万斯构造中的马尔可夫过程相联系？
• RQ2 当基过程为单位区间上的标准布朗运动时，巴洛-埃万斯构造是否产生一个与拉科索狄利克雷型式对应的对称马尔可夫过程？
• RQ3 由极小上梯度狄利克雷型式生成的自伴算子是否与巴洛-埃万斯过程的生成元等价？
• RQ4 拉科索分形能否作为量子图的投射极限来实现，且是否能导致相关狄利克雷型式的收敛？
• RQ5 在何种条件下，巴洛-埃万斯构造会产生一个其关联狄利克雷型式与上梯度方法所得型式一致的过程？

主要发现

• 当基过程为单位区间上的标准布朗运动时，通过拉科索分形上极小广义上梯度定义的狄利克雷型式 𝒟(𝑓,𝑓) 与巴洛-埃万斯方法构造的马尔可夫过程所对应的狄利克雷型式完全相同。
• 与极小上梯度狄利克雷型式关联的自伴算子 𝒜 与巴洛-埃万斯过程的生成元 𝒜̃ 相等，从而确认了底层算子的一致性。
• 狄利克雷型式的定义域被表征为在范数 ‖𝑓‖₂ + 𝒟(𝑓,𝑓) 下稠密子集 𝒢 的闭包，且该定义域与 Dom(√(−𝒜)) 一致。
• 拉科索空间上的狄利克雷型式可作为逼近量子图上狄利克雷型式的极限而实现，从而提供了一套谱逼近框架。
• 由于具有明确定义的单元结构以及一维逼近空间的可得性，分析与概率构造之间的等价性得以成立。
• 该结果特指具有规则单元分解的拉科索型空间；若无类似结构特性，该结论很可能无法推广至任意巴洛-埃万斯构造。