[论文解读] Approximation of fractals by manifolds and other graph-like spaces

Olaf Post, Jan Simmer|arXiv (Cornell University)|Feb 8, 2018

Spectral Theory in Mathematical Physics参考文献 23被引用 3

一句话总结

本文提出了一种准酉等价框架，通过度量图和图型流形上的能量形式序列，近似分形上的能量形式——特别是 pcf 分形。通过利用几何和谱量量化这些能量形式之间的距离，作者证明了预解算子、谱和特征函数的收敛性，从而实现了用光滑几何对象严格逼近分形拉普拉斯算子。

ABSTRACT

We define a distance between energy forms on a graph-like metric measure space and on a discrete weighted graph using the concept of quasi-unitary equivalence. We apply this result to metric graphs and graph-like manifolds (e.g. a small neighbourhood of an embedded metric graph) as metric measure spaces with energy forms associated with canonical Laplacians, e.g., the Kirchhoff Laplacian on a metric graph resp. the (Neumann) Laplacian on a manifold (with boundary) and express the distance of the associated energy forms in terms of geometric quantities. We showed in arXiv:1704.00064 that the approximating sequence of energy forms on weighted graphs used in the definition of an energy form on a pcf fractal converge in the sense that the distance in the quasi-unitary equivalence tends to 0. By transitivity of quasi-unitary equivalence, we conclude that we can approximate the energy form on a pcf fractal by a sequence of energy forms on metric graphs and graph-like manifolds. In particular, we show that there is a sequence of domains converging to a pcf fractal such that the corresponding (Neumann) energy forms converge to the fractal energy form. Quasi-unitary equivalence of energy forms implies a norm estimate for the difference of the resolvents of the associated Laplace operators. As a consequence, suitable functions of the Laplacians are close resp. converge as well in operator norm, e.g. the corresponding heat operators and spectral projections. The same is true for the spectra and the eigenfunctions in all above examples.

研究动机与目标

• 开发一种定量框架，用于通过离散和连续的图型空间近似分形上的能量形式。
• 通过准酉等价建立不同希尔伯特空间上能量形式之间距离的概念。
• 证明 pcf 分形上的能量形式可由度量图和图型流形上的能量形式序列近似。
• 表明在此近似下，谱性质——预解算子、谱、特征函数和热算子——的收敛性。
• 以边长、体积和谱间隙等几何参数表达近似误差。

提出的方法

• 通过准酉等价定义离散加权图和度量测度空间上能量形式之间的距离，推广酉等价。
• 通过具有紧致连通支集的单位分解 $ \psi_v $ 构造识别算子 $ J: \ell_2(V,\mu) \to L_2(X,\nu) $ 和 $ J': L_2(X,\nu) \to \ell_2(V,\mu) $。
• 使用能量重标度因子 $ \tau $ 和等距重标度因子 $ c $，使图与度量空间之间的能量尺度一致。
• 利用图边权 $ \gamma_e $、顶点权 $ \mu(v) $ 和测度 $ \nu(v) $ 控制偏差 $ \|f - J'Jf\|_{\ell_2} $ 和 $ \|u - JJ'u\|_{L_2} $。
• 应用 Poincaré 型不等式和谱估计，控制图型流形的第二特征值 $ \lambda_2 $，确保其关于收缩参数 $ \varepsilon $ 的一致下界。
• 通过缩放论证和 [EP05] 中的收敛结果，推导出 $ \lambda_2(X_{v,\varepsilon}) $ 关于 $ \ell_0, \ell_\infty, \varepsilon $ 和几何不变量的统一有界性。

实验结果

研究问题

• RQ1 能否用度量图和图型流形上的能量形式近似 pcf 分形上的能量形式？
• RQ2 离散图和连续度量空间上能量形式之间的定量距离是什么？
• RQ3 此类近似下，相关拉普拉斯算子的谱和特征函数行为如何？
• RQ4 何种几何条件可确保谱性质在近似过程中的一致收敛？
• RQ5 能否通过准酉等价框架量化预解算子和热算子的收敛性？

主要发现

• pcf 分形上的能量形式在 $ \delta $-准酉等价意义下，由度量图和图型流形上的能量形式序列近似，且当近似细化时 $ \delta \to 0 $。
• 关联拉普拉斯算子的预解算子之差在算子范数下被 $ \delta $ 控制，意味着所有谱函数（如热算子和谱投影）均收敛。
• 图型流形 $ X_{v,\varepsilon} $ 的第二特征值 $ \lambda_2(X_{v,\varepsilon}) $ 在 $ \varepsilon \leq \varepsilon_0 = C_v^{-2} \ell_0 $ 时，统一有下界 $ \ell_0^{-2} $，且与 $ \varepsilon $ 无关。
• 近似误差 $ \delta $ 显式依赖于图边权 $ \gamma_e $、顶点权 $ \mu(v) $ 以及几何量如 $ \nu(v) $、$ \operatorname{vol}Y_e $ 和 $ \lambda_2({\check{X}_v}) $。
• 在准酉等价下，特征函数和谱的收敛性得到保证，且谱间隙在极限下保持一致。
• 该框架适用于度量图上的基尔霍夫拉普拉斯算子和带边界的流形上的诺伊曼拉普拉斯算子，从而实现统一的近似理论。