[论文解读] Construction and heat kernel estimates of general stable-like Markov processes

Victoria Knopova, Alexei Kulik+1 more|arXiv (Cornell University)|May 18, 2020

Diffusion and Search Dynamics参考文献 56被引用 4

一句话总结

本论文利用参数化方法构造具有状态依赖 Lévy 特性的广义稳定类似马尔可夫过程，证明了鞅问题的适定性，并建立了精确的热核估计。转移密度被分解为一个主 α-稳定类似项和一个可忽略的余项，且在结构假设下，余项的 $L^∞ \otimes L^1$ 与 $L^∞ \otimes L^\u221e$ 范数受到控制。

ABSTRACT

A stable-like process is a Feller process $(X_t)_{t\geq 0}$ taking values in $\mathbb{R}^d$ and whose generator behaves, locally, like an $α$-stable Lévy process, but the index $α$ and all other characteristics may depend on the state space. More precisely, the jump measure need not to be symmetric and it strongly depends on the current state of the process; moreover, we do not require the gradient term to be dominated by the pure jump part. Our approach is to understand the above phenomena as suitable microstructural perturbations. We show that the corresponding martingale problem is well-posed, and its solution is a strong Feller process which admits a transition density. For the transition density we obtain a representation as a sum of an explicitly given principal term -- this is essentially the density of an $α$-stable random variable whose parameters depend on the current state $x$ -- and a residual term; the $L^\infty\otimes L^1$-norm of the residual term is negligible and so is, under an additional structural assumption, the $L^\infty\otimes L^\infty$-norm. Concrete examples illustrate the relation between the assumptions and possible transition density estimates.

研究动机与目标

• 建立具有状态依赖稳定类似特性的 Feller 过程的存在性与唯一性，包括可变稳定性指数 α(x)、状态依赖 Lévy 测度以及漂移项。
• 证明与之相关的鞅问题适定，且解为具有转移密度的强 Feller 过程。
• 通过将转移密度分解为主 α-稳定类似项与一个余项，推导出精确的热核估计，且余项的 $L^∞ \otimes L^1$ 与 $L^∞ \otimes L^\u221e$ 范数受到控制。
• 提供充分条件，使得余项可忽略，从而实现对转移密度的精确渐近估计。
• 通过涉及变指数 Lévy 过程与非对称跳跃测度的具体例子，说明该框架的适用性。

提出的方法

• 利用参数化方法，通过迭代校正初始近似 $p_t^0(x,y)$ 构造基本解，其中 $p_t^0(x,y)$ 对应该 α(x)-稳定 Lévy 过程的密度。
• 将转移密度表示为级数展开形式 $p_t(x,y) = p_t^0(x,y) + \sum_{k=1}^\infty \Phi_t^{(k)}(x,y)$，其中 $\Phi_t^{(k)}$ 为迭代校正项。
• 在 $L^\infty(dx) \otimes L^1(dy) \otimes L^1(dt)$ 与 $L^\infty(dx) \otimes L^\infty(dy) \otimes L^1(dt)$ 空间中运用泛函分析技术，控制收敛性与正则性。
• 通过估计由特征曲线的 SDE 所导出的流 $\chi_t(x)$ 与 $\kappa_t(y)$，建立核 $\Phi_t^{\mathrm{op}}$ 与 $\Psi_t$ 的连续性与衰减性质。
• 应用正最大值原理与半群性质，验证鞅问题的解生成一个 Feller 过程。
• 在巴拿赫空间框架下应用压缩映射原理，证明参数化级数的收敛性及解的唯一性。

实验结果

研究问题

• RQ1 在何种条件下，具有状态依赖参数（α(x), λ(x), σ(x,dℓ), b(x)）的稳定类似过程可作为 Feller 过程存在？
• RQ2 此类过程的转移密度是否可表示为一个主 α-稳定类似项与一个余项之和，且余项的 $L^\infty \otimes L^1$ 与 $L^\infty \otimes L^\infty$ 范数受到控制？
• RQ3 跳跃测度与漂移的结构假设如何影响热核的正则性与衰减性？
• RQ4 转移密度在对角线附近与尾部的精确渐近行为是什么？其与局部 α(x)-稳定行为有何关联？
• RQ5 参数化方法能否被调整以处理非对称、状态依赖的 Lévy 测度以及非主导梯度项？

主要发现

• 与稳定类似过程生成元相关的鞅问题适定，确保存在唯一强 Feller 过程，且具有转移密度。
• 转移密度 $p_t(x,y)$ 可表示为 $p_t(x,y) = p_t^0(x,y) + \text{余项}$，其中 $p_t^0(x,y)$ 为 α(x)-稳定随机变量的密度，且余项满足 $\|\text{余项}\|_{L^\infty(dx) \otimes L^1(dy)} \to 0$ 当 $t \to 0$。
• 在额外的结构假设下，余项还满足 $\|\text{余项}\|_{L^\infty(dx) \otimes L^\infty(dy)} \to 0$ 当 $t \to 0$，表明其在整体上趋于一致小。
• 对于小时间 $t \leq t_0$，转移密度满足 $\int_{|y-x| \leq t^{1/\alpha}} p_t(x,y)\,dy \geq c - C t^{\epsilon_R}$，表明过程在局部表现如指数为 α(x) 的稳定过程。
• 在球上被杀死的过程的转移密度主导 $p_t^{\mathrm{cut}}(x,y)$ 对于 $|x| < 1/2$，且后者满足估计 $\int_{|y| \leq 1/2} p_t^{\mathrm{cut}}(x,y)\,dy \geq c > 0$，确认了非退化的局部行为。
• 参数化构造在 $L^\infty(dx) \otimes L^\infty(dy) \otimes L^1(dt)$ 中产生唯一解，最终密度满足 $\widetilde{p}_t(x,y) = e^{-\lambda t} p^{\mathrm{cut}}_t(x,y)$，该表达式被用于证明主要的热核估计。