[论文解读] $L^$p Estimates For Degenerate Non-Local Kolmogorov Operators

Lorick Huang, Stéphane Menozzi+1 more|arXiv (Cornell University)|Jul 29, 2016

Advanced Harmonic Analysis Research参考文献 39被引用 6

一句话总结

本文通过结合分析与概率方法，建立了退化非局部柯尔莫哥洛夫算子的 $L^p$ 估计，证明了在弱霍尔曼条件下的非退化与退化方向上分数阶拉普拉斯算子的 Calderón-Zygmund 型界。关键贡献在于首次获得具有分数阶 $α \in (0,2)$ 的退化非局部算子的 $L^p$ 正则性结果，将经典结果推广至非局部情形，并在两种变量类型中实现完整的最大正则性。

ABSTRACT

Let $z = (x,y) \in {\mathbb R}^d imes {\mathbb R}^{N-d}$, with $1 \le d < N$. We prove a priori estimates of the following type :$$\|Δ\_{x}^{\frac α2} v \|\_{L^p({\mathbb R}^N)} \lec\_p\Big \| L\_{x } v + \sum\_{i,j=1}^{N}a\_{ij}z\_{i}\partial\_{z\_{j}} v \Big \|\_{L^p({\mathbb R}^N)}, \;\; 1

研究动机与目标

• 建立具有分数阶拉普拉斯分量的退化非局部柯尔莫哥洛夫算子的 $L^p$-正则性估计。
• 将经典 Calderón-Zygmund 理论推广至非局部情形，特别针对退化算子，其中 $\alpha \in (0,2)$。
• 在非退化与退化变量中，针对勒贝格测度证明关于 $L^p$ 的最大正则性。
• 分析对易子在确定退化方向上分数阶导数阶数中的作用。
• 统一分析与概率方法，用于研究非局部退化算子的拟椭圆性与正则性。

提出的方法

• 作者在 $\mathbb{R}^d$ 上定义了一个非局部算子 $L_x$，其通过参数为对称稳定 Lévy 测度（阶数 $\alpha \in (0,2)$）的 Lévy-Khintchine 表示，与分数阶拉普拉斯算子 $\Delta_x^{\alpha/2}$ 相当。
• 他们在 $\mathbb{R}^N$ 上引入一个完整的柯尔莫哥洛夫算子 $L_x + \sum_{i,j=1}^N a_{ij} z_i \partial_{z_j}$，其中 $z = (x,y) \in \mathbb{R}^d \times \mathbb{R}^{N-d}$，满足在适当伸缩下不变的弱霍尔曼条件。
• 证明依赖于调和分析（Calderón-Zygmund 理论）与概率工具的结合，包括稳定过程以及与 Lévy 生成元相关的谱测度的使用。
• 关键技术步骤包括基于矩阵 $A$ 的流构造一个伪距离 $d((t,x),(s,y))$，并通过前向与后向伪范数 $\rho$ 的等价性证明其加倍性质。
• 作者推导出形如 $\|\Delta_x^{\alpha/2} v\|_{L^p} \leq c_p \|L_x v + \sum a_{ij} z_i \partial_{z_j} v\|_{L^p}$ 的估计，其中 $v \in C_0^\infty(\mathbb{R}^N)$，并进一步将其推广至 $\|\Delta_{y_i}^{\alpha_i/2} v\|_{L^p} \leq c_p \|L_x v + \sum a_{ij} z_i \partial_{z_j} v\|_{L^p}$，其中 $\alpha_i \in (0,1 \wedge \alpha)$ 依赖于生成 $y_i$-方向所需的对易子数量。
• 分析包括利用流 $e^{tA}$ 下勒贝格测度的不变性与行列式条件 $\det(e^{rA}) = 1$，证明由算子诱导的子黎曼几何中 $d$-球的加倍性质。

实验结果

研究问题

• RQ1 在霍尔曼型条件下，$L^p$-正则性估计能否从局部情形推广至退化非局部柯尔莫哥洛夫算子？
• RQ2 对易子数量在确定退化方向上分数阶导数阶数中的精确作用是什么？
• RQ3 退化方向上分数阶拉普拉斯算子的 $L^p$ 估计与局部情形（$\alpha = 2$）下的已知结果相比如何？
• RQ4 Calderón-Zygmund 理论能否适应具有退化扩散与非退化跳跃分量的非局部算子？
• RQ5 支持此类 $L^p$ 估计的底层空间的几何结构是什么？它与算子的拟椭圆性有何关联？

主要发现

• 本文建立了退化非局部柯尔莫哥洛夫算子的 Calderón-Zygmund 型 $L^p$ 估计，证明了对所有 $1 < p < \infty$ 及 $v \in C_0^\infty(\mathbb{R}^N)$，有 $\|\Delta_x^{\alpha/2} v\|_{L^p} \leq c_p \|L_x v + \sum a_{ij} z_i \partial_{z_j} v\|_{L^p}$。
• 该估计在具有伸缩不变性的弱霍尔曼条件下成立，将经典结果从局部情形（$\alpha = 2$）推广至非局部情形（$\alpha \in (0,2)$）。
• 推导出关于退化方向上分数阶拉普拉斯算子的新 $L^p$ 估计：$\|\Delta_{y_i}^{\alpha_i/2} v\|_{L^p} \leq c_p \|L_x v + \sum a_{ij} z_i \partial_{z_j} v\|_{L^p}$，其中 $\alpha_i \in (0,1 \wedge \alpha)$ 依赖于生成 $y_i$-方向所需的对易子数量。
• 证明了由算子诱导的子黎曼几何中 $d$-球的加倍性质，体积增长满足 $|B((t,x),\delta)| \asymp \delta^{\alpha + N + \sum_{i=1}^n d_i (i-1)\alpha}$，确认了空间的内在维数。
• 即使在局部情形（$\alpha = 2$）下，该结果也是全新的，其为具有退化方向上类分数阶结构的退化柯尔莫哥洛夫算子提供了 $L^p$-正则性。
• 作者证明了等价关系 $\rho(r, x - e^{rA}\xi) \leq C \rho(r, e^{-rA}x - \xi)$，该关系是加倍性质的基础，确保了估计中所用度量结构的稳健性。