[论文解读] Martin kernels for Markov processes with jumps

Tomasz Juszczyszyn, Mateusz Kwaśnicki|arXiv (Cornell University)|Sep 18, 2015

Advanced Mathematical Modeling in Engineering参考文献 25被引用 5

一句话总结

该论文为具有跳跃的Lévy过程在不规则区域中正调和函数之比的边界极限的存在性提供了证明，适用于一大类Lévy过程。研究证明了在每个边界点处Martin核的唯一性，并将Martin边界与拓扑边界等同起来。结果基于边界Harnack不等式和振荡减少技术，推导出一般度量测度空间中调和函数的Martin表示定理。

ABSTRACT

We prove existence of boundary limits of ratios of positive harmonic functions for a wide class of Markov processes with jumps and irregular domains, in the context of general metric measure spaces. As a corollary, we prove uniqueness of the Martin kernel at each boundary point, that is, we identify the Martin boundary with the topological boundary. We also prove a Martin representation theorem for harmonic functions. Examples covered by our results include: strictly stable Lévy processes in R^d with positive continuous density of the Lévy measure; stable-like processes in R^d and in domains; and stable-like subordinate diffusions in metric measure spaces.

研究动机与目标

• 为具有跳跃的马尔可夫过程在不规则区域中正调和函数之比的边界极限存在性提供证明。
• 证明在每个边界点处Martin核的唯一性，从而将Martin边界与拓扑边界等同起来。
• 为一般度量测度空间中的调和函数推导出Martin表示定理。
• 将边界Harnack不等式和振荡减少技术推广至不规则区域中的跳跃过程。
• 通过首次首出时间与Green函数，建立调和函数的随机过程框架。

提出的方法

• 以[12]中最近建立的跳跃过程边界Harnack不等式作为基础工具。
• 应用[6]和[11]中的振荡减少论证，证明调和函数之比收敛于边界极限。
• 利用拟左连续性和控制收敛定理分析马尔可夫过程的首出时间与极限。
• 通过Green函数与Lévy测度，利用Martin核对调和函数进行积分表示。
• 使用一列嵌套区域 $D_n$，满足 $\overline{D_n} \subseteq D$ 且 $\bigcup D_n = D$，以逼近调和函数并应用单调收敛定理。
• 改编[11]中的引理9，以证明：若 $0 \leq f \leq g$ 且 $g$ 在 $U$ 上为正则调和，则 $f$ 在 $U$ 上也是正则调和。

实验结果

研究问题

• RQ1 在不规则区域中，跳跃过程的两个正调和函数之比是否在每个边界点处收敛于边界极限？
• RQ2 在每个边界点处Martin核是否唯一，使得Martin边界与拓扑边界重合？
• RQ3 能否为具有跳跃过程的一般度量测度空间中的调和函数建立Martin表示定理？
• RQ4 在不规则区域与跳跃过程的背景下，振荡减少与边界Harnack不等式如何相互作用？
• RQ5 在何种条件下，Martin核表示对调和函数是有限且良定义的？

主要发现

• 在给定条件下，两个正调和函数之比 $f/g$ 在不规则区域的每个边界点 $x_0$ 处的边界极限存在。
• 在每个边界点处Martin核唯一定义，表明Martin边界与拓扑边界重合。
• Martin表示定理成立：每个在 $D$ 上的正调和函数 $f$ 均可表示为 $f(x) = \int_{\mathfrak{X} \setminus D} M_D(x,z) \mu(dz)$，其中 $\mu$ 为某测度。
• 当且仅当积分有限时，该表示在 $D$ 中处处有限，且当积分有限时，右侧的调和性得以保持。
• 证明依赖于边界Harnack不等式与振荡减少技术，收敛性通过拟左连续性和控制收敛定理建立。
• 结果适用于 $\mathbf{R}^d$ 中具有连续Lévy密度的严格稳定Lévy过程、稳定类似过程，以及度量测度空间中的稳定类似子序过程。