[论文解读] Spectral Analysis and Dirichlet Forms on Barlow-Evans Fractals

Benjamin Steinhurst, Alexander Teplyaev|arXiv (Cornell University)|Apr 23, 2012

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

一句话总结

本文通过狄氏型（Dirichlet forms）建立巴洛-埃文斯投影极限分形上的完整谱理论，实现类似于傅里叶级数的本征函数展开。该研究构建了与拉皮达斯和范·弗兰肯海森的分形弦同谱的连通分形空间，推广了拉考索与谢尔平斯基-泡芙状分形空间的谱结果。

ABSTRACT

We develop the foundation of the spectral analysis on Barlow-Evans projective limit fractals, or vermiculated spaces, which corresponds to symmetric Markov processes on these spaces. For some new examples, such as the generalized Laakso spaces and a Spierpinski Pâte à Choux, one can develop a complete spectral theory, including the eigenfunction expansions that are analogous to Fourier series. Also, one can construct connected fractal spaces isospectral to the fractal strings of Lapidus and van Frankenhuijsen. Our work is motivated by recent progress in mathematical physics on fractals.

研究动机与目标

• 通过狄氏型发展投影极限分形上拉普拉斯算子的完整谱理论。
• 将拉考索空间与谢尔平基垫状分形空间的谱结果推广至更广泛的分形空间类别。
• 构建与拉皮达斯和范·弗兰肯海森分形弦同谱的连通分形空间，连接离散与连续谱结构。
• 为不可嵌入、高度不规则的分形空间提供谱分解与本征函数展开的框架。
• 将狄氏型理论的应用范围扩展至无欧氏嵌入的内在抽象分形极限空间。

提出的方法

• 利用基空间与乘数空间，通过兼容的狄氏型构造度量测度空间的投影极限。
• 通过有限逼近上狄氏型的逆极限，在投影极限空间 $F_\infty$ 上定义极限狄氏型。
• 运用对称正则狄氏型理论，刻画极限拉普拉斯算子的定义域与谱。
• 应用谱分解技术，推导出类似于傅里叶级数的显式本征函数展开。
• 设计逼近空间 $F_i$ 的递归构造，包含边界条件与粘合映射，以模拟区间的拼接。
• 通过确保每一步引入的新特征值与对应分形弦中区间的特征值一致，验证同谱性。

实验结果

研究问题

• RQ1 能否为巴洛-埃文斯投影极限分形上的拉普拉斯算子发展出包含本征函数展开的完整谱理论？
• RQ2 极限空间 $F_\infty$ 上拉普拉斯算子的谱与有限逼近 $F_i$ 的谱有何关系？
• RQ3 能否构造与拉皮达斯和范·弗兰肯海森分形弦同谱的连通分形空间？
• RQ4 投影极限构造在不同分形几何间保持谱数据方面起到何种作用？
• RQ5 在不可嵌入的分形上，仅通过狄氏型理论能将谱分析推进到何种程度？

主要发现

• 投影极限空间 $F_\infty$ 上拉普拉斯算子的谱由有限逼近 $F_i$ 的特征值继承而来，极限过程中未引入新特征值。
• 对于广义拉考索空间与谢尔平基-泡芙状空间，实现了完整的谱分解，包括显式本征函数展开。
• 该构造产生与分形弦同谱的连通分形空间，其特征值集合与重数完全相同。
• 每个 $F_i$ 上的谱为前一阶段谱与长度为 $l_i$、重数为 $m_i$ 的新区间谱的并集，与分形弦的特征值一致。
• 极限狄氏型是非退化的，对应于 $F_\infty$ 上对称、正则、不可约的扩散过程。
• 该方法推广了先前关于拉考索空间的研究结果，并将谱理论扩展至非自相似、不可嵌入的分形空间。