[论文解读] Scale invariant boundary Harnack principle at infinity for Feller processes

Pilho Kim, Renming Song+1 more|arXiv (Cornell University)|Oct 15, 2015

Advanced Harmonic Analysis Research参考文献 19被引用 5

一句话总结

本文在度量测度空间中为纯不连续的 Feller 过程建立了在无穷远处的统一且尺度不变的边界 Harnack 原理，将先前结果推广至无界区域。通过利用强对偶性、 Lévy 指数的弱标度条件以及潜在论估计，作者证明了非负调和函数在无穷远处的衰减速率与区域的几何形状无关。

ABSTRACT

In this paper we prove a uniform and scale invariant boundary Harnack principle at infinity for a large class of purely discontinuous Feller processes on metric measure spaces.

研究动机与目标

• 将边界 Harnack 原理（BHP）推广至无界区域，通过为纯不连续的 Feller 过程在无穷远处建立一个版本。
• 在 BHP 中实现统一性和尺度不变性，确保常数不依赖于特定区域或尺度。
• 通过放松原有关于对称 Lévy 过程和次生布朗运动结果的几何假设，并依赖于原点附近的弱标度条件，推广先前成果。
• 通过结合全局弱标度和强对偶性，统一并扩展 [7] 的框架，以推导无穷远处的尺度不变估计。
• 为一大类跳跃过程在无界设定下分析调和函数，提供一个稳健的潜在论工具。

提出的方法

• 利用强对偶性和 Hunt 假设 (H) 确保对偶过程的存在性以及对称 Green 函数的存在，从而实现对称的潜在论估计。
• 在原点附近对 Lévy 指数应用弱标度条件，以控制跳跃核的行为并推导尺度不变估计。
• 利用强马氏性质和通过 Dynkin 公式得到的首达时间估计，对环形区域中的期望首达时间进行有界。
• 通过比较对偶过程的 Green 函数 $ G_D(x,y) $ 和 $ ilde{G}_D(y,x) $，推导调和函数的对称界。
• 在广义设定下应用 Kelvin 变换和反演技术，通过潜在论论证适配至 Lévy 过程。
• 通过双锥条件和尺度函数 $ ilde{ ho}(r) = rac{1}{ ilde{ u}(B(0,r))} $ 的加倍性质建立关键估计，将跳跃强度与首达时间衰减相联系。

实验结果

研究问题

• RQ1 能否在度量测度空间中为纯不连续的 Feller 过程在无穷远处建立统一且尺度不变的边界 Harnack 原理？
• RQ2 非负调和函数在无穷远处的衰减速率如何依赖于 Lévy 指数的全局弱标度？
• RQ3 在缺乏球面对称反演的情况下，边界 Harnack 原理由无穷远处推导的适用范围有多大，尤其是对非对称或非稳定 Lévy 过程？
• RQ4 强对偶性和对偶过程在确保边界 Harnack 原理中尺度不变性和统一性方面起什么作用？
• RQ5 在弱于 Lipschitz 或 $ C^{1,1} $ 正则性的几何假设下，边界 Harnack 原理由无穷远处能否推广至无界区域？

主要发现

• 在度量测度空间中，对于一大类纯不连续的 Feller 过程，无穷远处的统一且尺度不变的边界 Harnack 原理成立。
• 非负调和函数在无穷远处的衰减速率由积分 $ \textstyle \text{const} \times \bbE_x[\tau_D] \times \textstyle \bigint_{\bar{B}(z_0, ar/2)^c} j(z_0, y) u(y) \text{d}m(y) $ 控制，其中常数与 $ D $ 和 $ r $ 无关。
• 该结果在原点附近对 Lévy 指数的弱标度条件下成立，该条件弱于先前工作中假设的全局弱标度。
• 该方法避免了球面对称反演，转而通过潜在论估计和对偶性推导尺度不变界。
• 关键估计 $ u(x) \triangleq \bbE_x[\tau_D] \times \text{integrand} $ 对所有 $ x \notin D^{\text{irr}} $ 一致成立，常数仅依赖于 $ a $ 和 $ b $，而不依赖于区域 $ D $。
• 该证明亦可推广至有限边界点，从而在内部获得统一且尺度不变的 BHP，推广了对称 $ \beta $-稳定过程的早期结果。