[论文解读] Heat kernels and analyticity of non-symmetric jump diffusion semigroups

Zhen-Qing Chen, Xicheng Zhang|arXiv (Cornell University)|Jun 20, 2013

Nonlinear Partial Differential Equations参考文献 18被引用 7

一句话总结

本文在跳跃强度 $\kappa(x,z)$ 满足 Hölder 连续性和强椭圆性条件的前提下，为非对称跳跃扩散半群建立了精确的双侧热核估计、分数阶导数与梯度估计，以及热核在 $(t,x)$ 上的联合 Hölder 连续性。该半群由形如 $\mathscr{L}^\kappa_\alpha f(x) = \text{p.v.}\int (f(x+z)-f(x))\frac{\kappa(x,z)}{|z|^{d+\alpha}}\,dz$ 的非局部算子生成。主要贡献在于证明了该关联半群在所有 $p \in [1,\infty)$ 的 $L^p$ 空间中解析，同时建立了抛物方程 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 的最大值原理。

ABSTRACT

Let $d\geq 1$ and $α\in (0, 2)$. Consider the following non-local and non-symmetric Lévy-type operator on $\mR^d$: $$ \sL^κ_αf(x):=\mbox{p.v.}\int_{\mR^d}(f(x+z)-f(x))\frac{κ(x,z)}{|z|^{d+α}} \dif z, $$ where $0

研究动机与目标

• 填补非退化情形下非对称、非局部稳定型算子在正则性与解析性方面的研究空白。
• 利用 Levi 方法构造非对称算子 $\mathscr{L}^\kappa_\alpha$ 的基本解（即热核）$p^\kappa_\alpha(t,x,y)$。
• 建立热核的精确双侧估计、分数阶导数估计与梯度估计。
• 证明热核在 $(t,x)$ 上的联合 Hölder 连续性，以及关联半群在所有 $p \in [1,\infty)$ 的 $L^p$ 空间中的解析性。
• 为抛物方程 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 建立最大值原理。
• 通过鞅问题将半群与 Feller 过程联系起来，并确定其 Lévy 系统。

提出的方法

• 应用 Levi 方法构造非对称算子 $\mathscr{L}^\kappa_\alpha$ 的基本解（即热核）$p^\kappa_\alpha(t,x,y)$。
• 利用概率论方法，包括首次首达时间估计与强马氏性质，推导热核的下界。
• 通过尺度变换与比较论证，结合 $\kappa(x,z)$ 关于 $x$ 的 Hölder 连续性，建立热核的精确双侧估计。
• 通过路径估计与过程的矩界，证明 $p^\kappa_\alpha(t,x,y)$ 在 $(t,x)$ 上的联合 Hölder 连续性。
• 确定与 $\mathscr{L}^\kappa_\alpha$ 关联的 Feller 过程 $X$ 的 Lévy 系统，并验证 $\mathbb{P}_x$ 是 $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ 的鞅问题解。
• 通过热核估计与泛函分析、摄动理论的结合，证明半群在 $L^p$ 空间中的解析性。

实验结果

研究问题

• RQ1 对于具有 Hölder 连续跳跃强度 $\kappa(x,z)$ 的非对称、非局部稳定型算子 $\mathscr{L}^\kappa_\alpha$，其热核的精确双侧估计是什么？
• RQ2 热核在 $(t,x)$ 上的联合 Hölder 连续性如何由 $\kappa(x,z)$ 的正则性所导致？
• RQ3 算子 $\mathscr{L}^\kappa_\alpha$ 生成的半群在 $L^p$ 空间中（$p \in [1,\infty)$）是否具有解析性？
• RQ4 解 $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ 的鞅问题与具有转移密度 $p^\kappa_\alpha(t,x,y)$ 的 Feller 过程之间有何关系？
• RQ5 在 $\kappa(x,z)$ 满足给定条件时，抛物方程 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 的解满足何种最大值原理？

主要发现

• 热核 $p^\kappa_\alpha(t,x,y)$ 满足如下精确双侧估计：对所有 $t>0$ 与 $x,y \in \mathbb{R}^d$，有 $C^{-1} \frac{t}{(t^{1/\alpha} + |x-y|)^{d+\alpha}} \leq p^\kappa_\alpha(t,x,y) \leq C \frac{t}{(t^{1/\alpha} + |x-y|)^{d+\alpha}}$，其中常数 $C \geq 1$ 仅依赖于 $d$、$\alpha$、$\kappa_0$、$\kappa_1$ 与 $\kappa_2$。
• 热核在 $(t,x)$ 上是联合 Hölder 连续的，Hölder 指数依赖于 $\beta$ 与 $\alpha$。
• 算子 $\mathscr{L}^\kappa_\alpha$ 生成的半群在 $L^p(\mathbb{R}^d)$ 中对所有 $p \in [1,\infty)$ 都是解析的，将经典的 De Giorgi-Nash-Moser 理论推广至非对称、非局部算子。
• 对于抛物方程 $\partial_t u = \mathscr{L}^\kappa_\alpha u$ 的解，存在一个最大值原理，确保非负解在抛物边界上达到其最大值。
• 与 $\mathscr{L}^\kappa_\alpha$ 关联的 Feller 过程 $X$ 具有刻画其跳跃行为的 Lévy 系统，且 $\mathbb{P}_x$ 是 $({\mathscr{L}}^\kappa_\alpha, C^2_b(\mathbb{R}^d))$ 的鞅问题解。
• 热核 $p^\kappa_\alpha(t,x,y)$ 是 Feller 过程 $X$ 的转移密度，且文中公式 (1.18) 的 SDE 解与 $X$ 同分布，从而确认了半群的随机表示。