[论文解读] Harnack Inequalities for Stochastic Equations Driven by Lévy Noise

Feng‐Yu Wang, Jian Wang|arXiv (Cornell University)|Dec 3, 2012

Stochastic processes and financial applications参考文献 32被引用 7

一句话总结

本文通过一种新颖的耦合方法结合子过程的正则化逼近，建立了由Lévy噪声驱动的随机方程的无维Harnack不等式，特别是涉及次级布朗运动的情形。关键贡献在于提出了一种新的对数-Harnack不等式，该不等式可导出精确的梯度估计与热核界，推广了先前关于带Lévy噪声的线性SDE的结果，并进一步扩展至希尔伯特空间中的半线性SPDE。

ABSTRACT

By using coupling argument and regularization approximations of the underlying subordinator, dimension-free Harnack inequalities are established for a class of stochastic equations driven by a Lévy noise containing a subordinate Brownian motion. The Harnack inequalities are new even for linear equations driven by Lévy noise, and the gradient estimate implied by our log-Harnack inequality considerably generalizes some recent results on gradient estimates and coupling properties derived for Lévy processes or linear equations driven by Lévy noise. The main results are also extended to semi-linear stochastic equations in Hilbert spaces.

研究动机与目标

• 为由Lévy噪声驱动的随机方程，特别是涉及次级布朗运动的情形，发展Harnack不等式。
• 克服在跳跃过程耦合构造中面临的技术挑战，该领域此前进展有限。
• 推广现有Lévy过程及带Lévy噪声线性SDE的梯度估计与耦合性质。
• 通过有限维逼近方法，将结果扩展至希尔伯特空间中的半线性随机偏微分方程。
• 通过所导出的Harnack不等式，提供显式的热核估计。

提出的方法

• 使用基于输运的耦合方法，结合底层子过程的正则化逼近，以处理时间改变的Lévy过程。
• 将耦合论证应用于推导与SDE相关的马尔可夫半群的对数-Harnack不等式。
• 采用正则化技术逼近子过程 $ S(t) $，从而在耦合构造中应用类似Girsanov的论证。
• 在两个主要条件下建立Harnack不等式：(H1) 关于 $ \sigma_t^{-1} $ 的可逆性与有界性，以及 (H2) 通过局部有界函数 $ K_t $ 控制漂移的耗散性。
• 通过有限维投影并取极限，将有限维结果推广至希尔伯特空间值SPDE。
• 依赖Bismut公式与随机连续性论证，以确保解的存在唯一性及近似方法的有效性。

实验结果

研究问题

• RQ1 能否为一般Lévy噪声驱动的SDE，特别是涉及次级布朗运动的情形，建立无维Harnack不等式？
• RQ2 耦合方法如何适应时间改变Lévy过程的非高斯性与非马氏性？
• RQ3 所导出的Harnack不等式对Lévy驱动SDE的梯度估计与热核界具有何种影响？
• RQ4 有限维结果在多大程度上可推广至无限维希尔伯特空间中的半线性SPDE？
• RQ5 与O-U过程及稳定过程的现有结果相比，这些新的Harnack不等式有何异同？

主要发现

• 本文为Lévy噪声驱动的SDE建立了无维对数-Harnack不等式，其右端涉及 $ \lambda_t^2 / \int_0^t e^{-2K(s)} dS(s) $ 的时间改变积分的下确界，该量控制Harnack常数。
• 由对数-Harnack不等式导出的梯度估计，推广了近期关于Lévy过程及带Lévy噪声线性SDE的梯度估计与耦合性质的研究结果。
• Harnack不等式可导出显式的热核估计，如注记2.2所述，建立了SDE结构与过渡密度行为之间的定量联系。
• 对于希尔伯特空间中的半线性SPDE，通过有限维逼近将结果推广，且在 $ \sigma_t^{-1} $ 满足适当条件时，Harnack不等式在极限下仍成立。
• 当存在拟不变测度 $ \mu $ 时，Harnack不等式可推出关于 $ \mu $ 的热核估计，将有限维结果推广至无限维情形。
• 该方法具有鲁棒性，即使在Lévy测度满足下界条件 $ \nu(dx) \geq c|x|^{-d} B(|x|^{-2}) dx $ 时仍适用，允许将Lévy过程分解为次级布朗运动与余项之和。