[论文解读] Nonlocal Hormander's hypoellipticity theorem

Xicheng Zhang|arXiv (Cornell University)|Jun 20, 2013

Advanced Differential Geometry Research参考文献 23被引用 5

一句话总结

本文建立了由 $α$-稳定 Lévy 过程驱动的非局部型 Hörmander 椭圆性定理。通过使用 Malliavin 微积分，证明了在局部 Hörmander 条件下热核的存在性及其在 $L^1$ 意义下关于空间变量的连续性，并进一步在跳跃系数为常数时，于一致 Hörmander 条件下建立了热核在空间与时间上的光滑性。

ABSTRACT

Consider the following nonlocal integro-differential operator: for $α\in(0,2)$, $$ \cal L^{(α)}_{σ,b} f(x):=\mbox{p.v.} \int_{\mathbb{R}^d-\{0\}}\frac{f(x+σ(x)z)-f(x)}{|z|^{d+α}}d z+b(x)\cdot abla f(x), $$ where $σ:\mathbb{R}^d o\mathbb{R}^d imes\mathbb{R}^d$ and $b:\mathbb{R}^d o\mathbb{R}^d$ are two $C^\infty_b$-functions, and p.v. stands for the Cauchy principal value. Let $B_1(x):=σ(x)$ and $B_{j+1}(x):=b(x)\cdot abla B_j(x)- abla b(x)\cdot B_j(x)$ for $j\in\mathbb{N}$. Under the following Hörmander's type condition: for any $x\in\mathbb{R}^d$ and some $n=n(x)\in\mathbb{N}$, $$ \mathrm{Rank}[B_1(x), B_2(x),\cdots, B_n(x)]=d, $$ by using the Malliavin calculus, we prove the existence of the heat kernel $ρ_t(x,y)$ to the operator $\cal L^{(α)}_{σ,b}$ as well as the continuity of $x\mapsto ρ_t(x,\cdot)$ in $L^1(\mathbb{R}^d)$ for each $t>0$. Moreover, when $σ(x)=σ$ is constant, under the following uniform Hörmander's type condition: for some $j_0\in\mathbb{N}$, $$ \inf_{x\in\mathbb{R}^d}\inf_{|u|=1}\sum_{j=1}^{j_0}|u B_j(x)|^2>0, $$ we also prove the smoothness of $(t,x,y)\mapstoρ_t(x,y)$ with $ρ_t(\cdot,\cdot)\in C^\infty_b(\mathbb{R}^d imes\mathbb{R}^d)$ for each $t>0$.

研究动机与目标

• 将 Hörmander 的经典椭圆性定理推广至由 $α$-稳定 Lévy 过程驱动的非局部积分微分算子。
• 在系数满足 Hörmander 型条件时，建立此类非局部算子的热核存在性与正则性。
• 在局部 Hörmander 条件下，证明热核 $\rho_t(x,y)$ 关于空间变量 $x$ 的 $L^1$-连续性。
• 当 $\sigma$ 为常数时，建立热核 $(t,x,y) \mapsto \rho_t(x,y)$ 在一致 Hörmander 条件下的联合光滑性。

提出的方法

• 定义非局部算子 $\mathcal{L}^{(\alpha)}_{\sigma,b}f(x) = \text{p.v.}\int_{\mathbb{R}^d\setminus\{0\}} \frac{f(x+\sigma(x)z)-f(x)}{|z|^{d+\alpha}} \, dz + b(x)\cdot\nabla f(x)$，其中 $\alpha \in (0,2)$。
• 引入迭代向量场 $B_1(x) = \sigma(x)$，$B_{j+1}(x) = b(x)\cdot\nabla B_j(x) - B_j(x)\cdot\nabla b(x)$，以推广 Hörmander 括号条件。
• 将 Malliavin 微积分应用于带有 $α$-稳定噪声的关联 SDE，以分析解的分布的正则性。
• 利用 Malliavin 矩阵及其行列式控制其逆行列式的可积性，从而确保光滑密度的存在性。
• 建立导数流 $D^k X_t(x)$ 的矩估计，并利用 Sobolev 嵌入定理推导热核导数的界。
• 通过 Itło 公式引入时间正则化方法，证明热核在时间 $t$ 上的光滑性。

实验结果

研究问题

• RQ1 在 $\sigma$ 与 $b$ 满足何种条件下，非局部算子 $\mathcal{L}^{(\alpha)}_{\sigma,b}$ 生成光滑转移密度？
• RQ2 经典的 Hörmander 条件能否被适配于具有 $\alpha$-稳定跳跃的非局部算子？
• RQ3 在局部 Hörmander 条件下，热核 $\rho_t(x,y)$ 是否存在，且在 $x$ 上是否为 $L^1$ 连续？
• RQ4 何种一致条件可保证当 $\sigma$ 为常数时，$\rho_t(x,y)$ 在 $(t,x,y)$ 上的联合光滑性？
• RQ5 Malliavin 微积分框架如何推广至具有非高斯 Lévy 噪声的非局部算子？

主要发现

• 在局部 Hörmander 条件 $\mathrm{Rank}[B_1(x), \dots, B_n(x)] = d$ 对某个 $n(x) \in \mathbb{N}$ 成立时，热核 $\rho_t(x,y)$ 存在，且对每个 $t > 0$，有 $x \mapsto \rho_t(x,\cdot)$ 在 $L^1(\mathbb{R}^d)$ 中连续。
• 当 $\sigma(x) = \sigma$ 为常数且一致 Hörmander 条件 $\inf_{x\in\mathbb{R}^d} \inf_{|u|=1} \sum_{j=1}^{j_0} |uB_j(x)|^2 > 0$ 成立时，对所有 $t > 0$，热核 $\rho_t(x,y)$ 在 $(t,x,y)$ 上光滑。
• 对 $t \in (0,t_0)$，热核的 $k$ 阶空间导数满足 $\sup_x |\nabla^k \mathbb{E}[(\nabla^m f)(X_t(x))]| \leq C \|f\|_\infty t^{-\gamma_{k,m}}$，其中 $\gamma_{k,m} > 0$，表明在 $t=0$ 附近存在奇异行为。
• Malliavin 矩阵的逆满足 $\mathbb{E}[(\det \tilde{\Sigma}_t)^{-p/d}] \leq C t^{-2(p+1)/\alpha\gamma}$（当 $t$ 较小时），从而控制密度的可积性。
• 热核 $\rho_t(x,y)$ 关于 $t$ 的光滑性由 Itło 公式与基于转移密度正则性的归纳法推导得出。
• 结果通过基于 Malliavin 微积分的随机方法获得，将经典 Malliavin 证明 Hörmander 定理的方法推广至非局部情形。