[论文解读] Some properties of sub-Laplaceans

Nicola Garofalo|arXiv (Cornell University)|Sep 4, 2018

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

一句话总结

本文建立了赫尔曼德向量场上次拉普拉斯算子的基础性质，包括度量球和基本解的大小估计，引入了正则化的伪距离，推导了内在均值公式，并通过抛物延拓和泊松核解决了分数阶幂 $(-\rho)^s$ 的延拓问题。主要贡献在于对次拉普拉斯算子的势论特征刻画，以及在 $0 < s < 1/2$ 范围内分数阶延拓的统一点态收敛结果，且在卡诺群中推广至 $0 < s < 1$。

ABSTRACT

In this note I present some properties of sub-Laplaceans associated with a collection of smooth vector fields satisfying Hörmander's finite rank assumption. One notable aspect of the paper is the development of the fractional powers of sub-Laplaceans as Dirichlet-to-Neumann maps of an extension problem inspired to the famous 2007 work of Caffarelli and Silvestre for the standard Laplacean. A key tool is an extension problem for the fractional heat equation for which I compute the relevant Poisson kernel. I then use the latter to: 1) find the Poisson kernel for the time-independent case; and 2) solve the extension problem.

研究动机与目标

• 在赫尔曼德条件下方，建立与次拉普拉斯算子相关的度量球和基本解的大小估计。
• 引入并分析一种正则化的伪距离，以捕捉子黎曼结构的内在几何性质。
• 推导次拉普拉斯算子的内在均值公式，并利用其在势论框架下定义该算子。
• 发展一种抛物延拓方法以处理分数阶次拉普拉斯算子 $(-\mathscr{L})^s$，$0 < s < 1$，并求解相关延拓问题。
• 证明延拓算子的点态收敛性，并在曲率假设下建立分数阶拉普拉斯定义在完整范围 $0 < s < 1$ 内的有效性。

提出的方法

• 利用纳盖尔-斯坦-瓦伊nger及桑切斯-卡列的结果，估计度量球的大小和次拉普拉斯算子 $\mathscr{L}$ 的基本解 $\Gamma(x,y)$。
• 基于内在几何构造一种正则化的伪距离，以控制振荡性和均值性质。
• 利用内在伪距离推导均值公式，并证明其与经典势论定义的等价性。
• 将内在均值算子应用于推导次拉普拉斯方程的改进型卡乔波利类型能量估计。
• 通过巴拉克里斯南公式构造分数阶次拉普拉斯算子 $(-\mathscr{L})^s$，并在卡诺群中证明其与福尔顿的瑞斯核定义的等价性。
• 通过热算子延拓引入泊松核，求解 $(-\mathscr{L})^s$ 的抛物延拓问题，并利用点态 $L^\infty$ 估计证明收敛性。

实验结果

研究问题

• RQ1 在赫尔曼德有限秩条件下，次拉普拉斯算子的度量球大小及其基本解如何表现？
• RQ2 能否构造一种正则化的伪距离以捕捉内在几何并支持均值公式？
• RQ3 在何种程度上可通过势论均值公式刻画次拉普拉斯算子？
• RQ4 在子黎曼设定下，如何通过抛物方法定义并延拓分数阶幂 $(-\mathscr{L})^s$？
• RQ5 对于 $0 < s < 1$，延拓算子的点态收敛行为如何？在何种条件下可实现一致收敛？

主要发现

• 与次拉普拉斯算子相关的度量球大小满足 $|B(x,r)| \asymp r^{Q}$，其中 $Q$ 为齐次维数，此结果由纳盖尔、斯坦和瓦伊nger建立。
• 次拉普拉斯算子 $\mathscr{L}$ 的基本解 $\Gamma(x,y)$ 满足 $\Gamma(x,y) \asymp d(x,y)^{2-Q}$，其中 $d$ 为卡诺-卡拉西厄度量。
• 次拉普拉斯算子的内在均值公式与经典布莱施克-普里瓦洛夫拉普拉斯算子的势论定义等价。
• 利用内在均值算子推导出改进的卡乔波利不等式，优于 [17] 和 [14] 中的早期估计。
• 通过热算子的抛物延拓构造了 $(-\mathscr{L})^s$ 延拓问题的泊松核，并满足关键的正性和归一化性质（命题 9.6）。
• 对于 $0 < s < 1/2$，建立了延拓算子的点态收敛性，其界为 $|P_t u(x) - u(x)| \leq C \|\nabla_{\mathscr{X}} u\|_{L^\infty} \sqrt{t}$，并由此推出在卡诺群中 $0 < s < 1$ 范围内分数阶拉普拉斯定义的统一收敛性。