[论文解读] On the uniqueness class, stochastic completeness and volume growth for graphs

Xueping Huang, Matthias Keller+1 more|arXiv (Cornell University)|Dec 13, 2018

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

一句话总结

本文通過證明一類稱為全域局部（GL）圖的圖上熱方程的格里戈里揚型唯一性類準則，確立了圖的隨機完備性的一個最優體積增長條件。作者表明，在具有有限距離球的內在度量下，隨機完備性成立，且唯一性類結果是緊緻的——即使僅以對數因子違反GL條件，亦允許存在非平凡解，從而證明了其最優性。

ABSTRACT

In this note we prove an optimal volume growth condition for stochastic completeness of graphs under very mild assumptions. This is realized by proving a uniqueness class criterion for the heat equation which is an analogue to a corresponding result of Grigor'yan on manifolds. This uniqueness class criterion is shown to hold for graphs that we call globally local, i.e., graphs where we control the jump size far outside. The transfer from general graphs to globally local graphs is then carried out via so called refinements.

研究动机与目标

• 建立圖上熱方程的緊緻唯一性類準則，類比於流形上格里戈里揚的結果。
• 識別出一類自然的圖——全域局部（GL）圖——即使在非局部性下，格里戈里揚不等式仍成立。
• 表明在具有有限距離球的內在度量下，隨機完備性可得到保證，無需假設局部有限性或有界跳躍大小。
• 透過構造一個反例，證明全域局部條件的緊緻性：若該條件僅以對數因子失敗，則會產生滿足唯一性類定理增長界限但違反GL條件的非平凡解。
• 統一並推廣先前關於隨機完備性的結果，去除如測度的均勻下界或有限跳躍大小等限制性假設。

提出的方法

• 引入全域局部（GL）圖類，其跳躍大小在內在度量下相對於參考點的距離衰減。
• 使用格里戈里揚原始證明策略的修改版本，證明GL圖上的格里戈里揚不等式，並適應非局部性。
• 利用圖的細化——在邊上插入頂點——將任意圖轉化為GL圖，同時保持隨機完備性。
• 建立隨機完備性在細化下的穩定性結果，依賴於圖空間的離散性。
• 在非GL圖上構造熱方程的非平凡解，其滿足唯一性類定理的增長界限，但違反GL條件達對數因子。
• 使用適應Dirichlet形式的內在度量，特別是內在偽度量，定義距離球與體積增長。

实验结果

研究问题

• RQ1 格里戈里揚對熱方程的唯一性類準則能否推廣至非局部圖？若可，其條件為何？
• RQ2 圖的何種結構條件可確保唯一性類結果成立，即使在一般圖中此類結果會失敗？
• RQ3 全域局部條件是否對唯一性類準則而言是必要且最優的？其與組合距離下體積增長的關係為何？
• RQ4 在最小假設下，如內在度量下距離球有限，能否保證隨機完備性，而無需假設局部有限性或有界跳躍大小？
• RQ5 當全域局部條件被對數因子弱化時，是否會允許在增長界限下出現非平凡解？

主要发现

• 熱方程的唯一性類準則在全域局部圖上成立，將格里戈里揚的結果從流形推廣至圖。
• 若存在一內在偽度量，使得所有距離球均有限，則圖的隨機完備性可得到保證。
• 全域局部條件是緊緻的：若其僅以對數因子失敗，則存在滿足唯一性類定理增長界限但違反GL條件的非平凡熱方程解。
• 在整數直線上構造的反例，其中 $ b(n-1,n) = n $ 對於 $ n \geq 1 $，表明該條件無法進一步弱化。
• 增長界限 $ \int_0^T \sum_{x \in B_r(0)} |u_t(x)|^2 m(x) dt \leq C e^{c r^2} $ 僅在圖為全域局部時確保解的平凡性。
• 基於圖細化與隨機完備性穩定性的證明技術，可透過簡化至GL情形，將結果推廣至一般圖。