[论文解读] Accessibility, Martin boundary and minimal thinness for Feller processes in metric measure spaces

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

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

一句话总结

该论文证明，对于度量测度空间中的纯不连续 Feller 过程，边界点的可及性（无论有限还是无穷远）意味着存在唯一一个与之相关的极小 Martin 边界点。关键贡献在于证明了极小稀疏性是一种局部性质，即无论过程是在更大还是更小的区域被吸收，一个集合在可及边界点处是否为极小稀疏，仅取决于该点附近的局部行为。

ABSTRACT

In this paper we study the Martin boundary at infinity for a large class of purely discontinuous Feller processes on metric measure spaces. We show that if $\infty$ is accessible from an open set $D$, then there is only one Martin boundary point of $D$ associated with it, and this point is minimal. We also prove the analogous result for finite boundary points. As a consequence, we show that minimal thinness of a set is a local property.

研究动机与目标

• 刻画度量测度空间中纯不连续 Feller 过程在有限与无穷远边界点处的 Martin 边界。
• 建立边界点可及性蕴含相关 Martin 边界点的唯一性与极小性。
• 证明在可及边界点处的极小稀疏性为局部性质，与区域的整体结构无关。
• 将关于对称 α-稳定过程的结果推广至具有规则跳跃行为的一类广泛 Feller 过程。
• 在度量测度空间的一般框架下，统一边界 Harnack 原理与 Martin 边界理论。

提出的方法

• 利用对偶过程与强 Feller 性质，确保 Green 函数与调和函数的正则性。
• 在可及边界点的局部邻域中应用边界 Harnack 原理，以比较 Green 函数。
• 通过 Martin 核构造极小调和函数，并利用 Martin 拓扑中的收敛性识别 Martin 边界点。
• 运用 Kelvin 变换与对偶性，将有限边界点的结果推广至无穷远边界点。
• 利用强 Feller 性质及对跳跃行为的假设（假设 C、C1、C2），确保转移密度的正则性。
• 通过在具有相同边界附近外部行为的嵌套区域中比较 Green 函数与 Martin 核，证明极小稀疏性的局部等价性。

实验结果

研究问题

• RQ1 在何种条件下，度量测度空间中一个可及边界点对应唯一一个极小 Martin 边界点？
• RQ2 当无穷远点在无界区域中可及时，无穷远点处的 Martin 边界行为如何？
• RQ3 在边界点处的极小稀疏性是否依赖于区域的整体结构，还是仅取决于局部行为？
• RQ4 边界 Harnack 原理能否在一般度量测度空间中统一用于刻画极小 Martin 边界点？
• RQ5 对偶性与强 Feller 性质在确保调和函数与 Green 函数正则性方面起什么作用？

主要发现

• 若有限边界点 $ z_0 \in \partial D $ 可及，则与之相关联的 Martin 边界点恰好有一个，且该点为极小点。
• 若无界开集 $ D $ 中无穷远点可及，则无穷远点处的 Martin 边界仅由一个极小点构成。
• 在可及边界点处的极小稀疏性为局部性质：若集合 $ F \subset E \subset D $ 在 $ E $ 中于 $ z_0 $ 处为极小稀疏，当且仅当其在 $ D $ 中于 $ z_0 $ 处为极小稀疏，前提是 $ E $ 与 $ D $ 在 $ z_0 $ 的某邻域外一致。
• 当 $ D \cap \overline{B}(z_0, R)^c = E \cap \overline{B}(z_0, R)^c $ 时，若无穷远点在 $ D $ 与 $ E $ 中均可及，则无穷远点处的极小稀疏性在 $ E $ 与 $ D $ 中等价。
• 在可及的无界区域中，无穷远点处的 Martin 核收敛于唯一一个极小调和函数，从而确认了无穷远点处 Martin 边界点的唯一性。
• 证明依赖于边界 Harnack 原理，以及归一化 Green 函数收敛于 Martin 核，确保逃逸至无穷的序列在 Martin 拓扑中收敛于唯一的极小边界点。