[论文解读] Minimal thinness for subordinate Brownian motion in half space

Panki Kim, Renming Song+1 more|arXiv (Cornell University)|Oct 4, 2010

Stochastic processes and financial applications参考文献 25被引用 3

一句话总结

该论文证明，此前仅针对布朗运动已知的半空间中极小稀疏性的同一判据，普遍适用于一大类子ordinated布朗运动，包括对称 $\alpha$-稳定过程。通过使用精确的Green函数估计和边界Harnack原理，作者证明：在Lipschitz图像下方的集合在原点处为极小稀疏的充分必要条件是，该函数衰减满足某一特定积分条件，且该条件与过程的稳定性指数无关。

ABSTRACT

We study minimal thinness in the half-space $H:=\{x=(\wt{x}, x_d):\, \wt{x}\in \R^{d-1}, x_d>0\}$ for a large class of rotationally invariant Lévy processes, including symmetric stable processes and sums of Brownian motion and independent stable processes. We show that the same test for the minimal thinness of a subset of $H$ below the graph of a nonnegative Lipschitz function is valid for all processes in the considered class. In the classical case of Brownian motion this test was proved by Burdzy.

研究动机与目标

• 将极小稀疏性的经典理论从布朗运动推广至一大类旋转对称Lévy过程，包括对称 $\alpha$-稳定过程。
• 确定该类过程在半空间中原点处极小稀疏性的同一积分判据是否适用于非连续过程。
• 建立一个与过程特征指数或跳跃行为无关的统一极小稀疏性判据。
• 利用子ordinated布朗运动潜在论的最新进展，特别是精确的Green函数估计和边界Harnack原理。

提出的方法

• 推导满足特定标度条件（H）的子ordinated布朗运动在半空间中Green函数的精确双边估计。
• 利用边界Harnack原理，获得靠近边界和原点处Martin核的精确估计。
• 应用balayage技巧和过度函数构造，通过与Martin核比较来检验极小稀疏性。
• 在Lipschitz图像下方的集合 $A$ 上建立过度函数的下界，以验证极小稀疏性。
• 通过涉及 $|x|^{-d}$ 和Lipschitz函数 $f$ 的积分比较，将积分的发散性与非极小稀疏性联系起来。
• 证明尽管路径性质不同，该类过程中所有过程的极小稀疏性均由同一积分条件（1.2）控制。

实验结果

研究问题

• RQ1 在半空间中原点处极小稀疏性的同一判据是否适用于超出布朗运动的子ordinated布朗运动？
• RQ2 积分条件（1.2）是否对所考虑类中所有过程而言，均为集合在Lipschitz图像下方的极小稀疏性的充分必要条件？
• RQ3 边界Harnack原理和Green函数估计能否用于统一非连续Lévy过程的极小稀疏性判据？
• RQ4 为何稳定性指数 $\alpha$ 不影响 $\alpha$-稳定过程的极小稀疏性判据，而其他稀疏性条件（如尖刺情形）却依赖于 $\alpha$？

主要发现

• 对于满足条件（H）的所有子ordinated布朗运动（包括对称 $\alpha$-稳定过程），在半空间中集合 $A = \{x = (\widetilde{x}, x_d) \in H : 0 < x_d \leq f(\widetilde{x})\}$ 在原点处的极小稀疏性判据完全相同。
• 积分条件 $\int_{\{|ω|<1\}} f(\widetilde{x}) |\widetilde{x}|^{-d} \, d\widetilde{x} < \infty$ 是原点处极小稀疏性的充分必要条件。
• 该结果令人惊讶，因为极小稀疏性判据与过程的稳定性指数 $\alpha$ 无关，尽管其他稀疏性判据（如尖刺情形）依赖于 $\alpha$。
• 证明依赖于精确的Green函数估计和边界Harnack原理，这些工具使得对靠近边界处Martin核行为的统一控制成为可能。
• 由Martin核和Lipschitz函数 $f$ 构造的过度函数 $s$ 满足 $\liminf_{x \to 0, x \in A} s(x)/M^H(x,0) > 0$，当积分（1.2）有限时，该不等式蕴含极小稀疏性。
• 同一论证表明，若积分（1.2）发散，则 $A$ 不是极小稀疏的，从而将经典的Beurling–Dahlberg定理推广至该类过程。