[论文解读] The Davies method revisited for heat kernel upper bounds of regular Dirichlet forms on metric measure spaces

Jiaxin Hu, Xuliang Li|arXiv (Cornell University)|May 18, 2016

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

一句话总结

本文重新審視Davies方法，針對度量測度空間上正則Dirichlet型的熱核上界，建立統一的、基於等價關係的特徵化。證明了非對角線的穩定類或次高斯上界，等價於對角線界、同心球上的截斷不等式，以及跳躍核界三者的合取——此結果適用於任意行走維數，且對局部與非局部型均有效。

ABSTRACT

We apply the Davies method to prove that for any regular Dirichlet form on a metric measure space, an off-diagonal stable-type upper bound of the heat kernel is equivalent to the conjunction of the on-diagonal upper bound, a cutoff inequality on any two concentric balls, and the jump kernel upper bound, for any walk dimension. If in addition the jump kernel vanishes, that is, if the Dirichlet form is strongly local, we obtain sub-Gaussian upper bound. This gives a unified approach to obtaining heat kernel upper bounds for both the non-local and the local Dirichlet forms.

研究动机与目标

• 將Davies方法擴展至度量測度空間，統一分析局部與非局部Dirichlet型的熱核上界。
• 建立非對角線穩定類與次高斯熱核估計的等價條件，以對角線界、球上的截斷不等式及跳躍核界表達。
• 證明這些條件在Dirichlet型的有界擾動下保持穩定。
• 消除對無界度量空間的限制，使該框架適用於有界與無界空間。
• 提供一個通用且系統化的熱核上界特徵化，涵蓋局部（次高斯）與非局部（穩定類）兩種情形。

提出的方法

• 在統一框架下應用Davies方法，推導度量測度空間上正則Dirichlet型的熱核上界。
• 將Dirichlet型分解為局部部分與跳躍部分，其中跳躍部分由相對於 $ \mu \times \mu $ 的密度 $ J(x,y) $ 定義。
• 引入一種新型的同心球截斷不等式條件（CIB），與先前形式不同，用以控制半群行為。
• 運用能量測度理論與擬連續性處理Dirichlet空間中函數的正則性。
• 應用次序化與指數估計，控制非對角線區域的熱核，特別是 $ d(x,y) \geq c_3 t^{1/\beta} $ 時的情形。
• 建立從熱核上界到截斷不等式的關鍵推導，透過積分估計與半群的保守性。

实验结果

研究问题

• RQ1 在度量測度空間上，正則Dirichlet型的熱核非對角線穩定類上界，其等價條件為何？
• RQ2 如何調整Davies方法，使其能以統一方式同時處理局部與非局部Dirichlet型？
• RQ3 同心球上的截斷不等式在特徵化熱核上界中扮演何種角色？
• RQ4 在何種條件下，跳躍核的消失會導致次高斯熱核估計？
• RQ5 等價結果在Dirichlet型的有界擾動下是否仍保持不變？

主要发现

• 熱核的非對角線穩定類上界，等價於對角線上界、任意兩同心球上的截斷不等式，以及跳躍核上界三者的合取，對任意行走維數 $ \beta > 0 $ 成立。
• 當跳躍核消失時（即型為強局部），熱核滿足次高斯上界，且對任意 $ \beta > 1 $ 成立。
• 等價結果在Dirichlet型的有界擾動下保持穩定，確保特徵化的穩健性。
• 該方法適用於有界與無界度量測度空間，拓展了以往需假設無界性的結果。
• 證明顯示，截斷不等式（CIB）可透過積分估計與半群保守性，由熱核上界推出，並利用核 $ \Phi_2(s) $ 的衰減性質。
• 推導出顯式的指數型上界：$ p_t(x,y) \leq \frac{C}{t^{\alpha/\beta}} \exp\left(\frac{1}{4}R_0^{-\beta}t\right) \exp\left(-c\left(\frac{d(x,y)}{t^{1/\beta}}\right)^{\beta/(\beta' - 1)}\right) $，其中 $ \beta' = 2\beta + 2 $，適用於局部情形。