[论文解读] Analysis of the Laplacian and the heat flow on a locally finite graph

Andreas Weber⋆|arXiv (Cornell University)|Jan 5, 2008

Advanced Mathematical Modeling in Engineering被引用 7

一句话总结

本文分析了无限、局部有限图上物理拉普拉斯算子与热流，其顶点度数无界。通过将谱理论与扩散过程推广至此类图，本文建立了热方程解的存在性与唯一性，并证明了相关随机过程的马尔可夫性质。

ABSTRACT

We study the physical Laplacian and the corresponding heat flow on an infinite, locally finite graph with possibly unbounded valence.

研究动机与目标

• 将拉普拉斯算子与热流理论推广至无限、局部有限图，其顶点度数可能无界。
• 研究此类图上物理拉普拉斯算子的谱性质。
• 建立这些图上热方程解的存在性与唯一性。
• 证明热流在图上生成一个马尔可夫过程。

提出的方法

• 通过图的边空间上梯度算子的 formally 邻伴定义物理拉普拉斯算子。
• 利用拉普拉斯算子在图的顶点空间上将热方程表述为抛物型偏微分方程。
• 通过泛函分析方法（包括L2空间上的半群理论）构造解。
• 通过热核的正性和质量守恒性，确立热流的马尔可夫性质。
• 分析依赖于图的局部有限性及其边空间与顶点空间的结构。
• 结合图论、谱理论与随机过程的理论工具，以处理无界度数的情形。

实验结果

研究问题

• RQ1 在无限、局部有限且顶点度数无界的图上，热方程是否具有唯一解？
• RQ2 物理拉普拉斯算子在度数无界的图上如何表现？
• RQ3 此类图上的热流是否具有马尔可夫性，即是否保持非负性与总质量？
• RQ4 在缺乏一致有界性的情况下，物理拉普拉斯算子具有何种谱性质？
• RQ5 能否基于图上的随机过程构造并表征热核？

主要发现

• 通过半群理论，证明了在L2中任意初值下，图上的热方程存在唯一解。
• 热方程的解具有马尔可夫性，即保持非负性与总质量。
• 物理拉普拉斯算子在紧支集函数空间上是本质上自伴的。
• 热核存在，且对所有正时间严格为正。
• 图的局部有限性确保了拉普拉斯算子定义良好，且热流具有随机连续性。
• 此类图上拉普拉斯算子的谱理论与热流的长期行为相容。