Fundamental solution for higher order homogeneous hypoelliptic operators structured on Hörmander vector fields

技术摘要：基于 Hörmander 向量场的阶高齐次椭圆型算子的基本解研究

问题陈述
本文研究了定义在 $\mathbb{R}^n$ 上的新一类高阶微分算子的全局基本解的存在性及其性质。这些算子被称为“广义 Rockland 算子”，由一组光滑实向量场 $X_1, \dots, X_m$ 构建，这些向量场满足 Hörmander 条件（其生成的李代数在处处具有全秩）且对于一组非各向同性扩张（non-isotropic dilations）是齐次的。

这项工作的关键区别在于，这些向量场并不被假设为任何 $\mathbb{R}^n$ 上的李群结构的左不变向量场。关于假设性椭圆型算子的理论在以下领域已有成熟研究：

1. 一般 Hörmander 系统上的二阶算子（局部结果）。
2. 齐次李群上的高阶算子（通过 Rockland 条件实现的全局结果）。
3. $\mathbb{R}^n$ 上二阶算子，其具有齐次性但不具备左不变性（由 Biagi-Bonfiglioli 实现的全局结果）。

文献中存在一个空白，即针对高阶（$>2$）且具有齐次性并构建在 Hörmander 向量场上、但缺乏全局李群不变性的算子研究。作者旨在通过证明这类更广泛类别的拟椭圆性（hypoellipticity）并构造具有尖锐点值估计的全局基本解来填补这一空白。

方法论
核心方法论依赖于一种提升与饱和技术（lifting and saturation technique），该技术最初由 Biagi 和 Bonfiglioli 用于二阶亚拉普拉斯算子，在此被扩展到任意高阶情况。

1. 提升至齐次群：
   作者利用了一个定理，即任何满足齐次性假设的 $\mathbb{R}^n$ 上的 Hörmander 向量场系统 $X_1, \dots, X_m$ 都可以被“提升”到一个更高维的空间 $\mathbb{R}^N = \mathbb{R}^n \times \mathbb{R}^p$（其中 $N > n$）。在这个扩展空间中，存在一个齐次李群 $G$ 和一个左不变向量场系统 $\tilde{X}_1, \dots, \tilde{X}_m$，使得：

   • 提升后的向量场的李代数生成了 $G$ 的全李代数。
   • 原算子 $L$ 是定义在 $G$ 上的提升算子 $\tilde{L}$ 的投影。具体而言，当 $\tilde{L}$ 作用于与额外变量 $\xi \in \mathbb{R}^p$ 无关的函数时，其表现与 $L$ 在基变量上的作用完全一致。

2. 利用 Rockland 理论：
   一旦完成提升，$\tilde{L}$ 就成为了齐次群 $G$ 上的一个左不变齐次算子。作者假设 $\tilde{L}$（及其转置）满足 Rockland 条件（拟椭圆性）。这使得他们能够调用 Folland 等人建立的既有结果，以获取 $G$ 上唯一的、齐次的全局基本解 $\tilde{\Gamma}$。

3. 饱和（积分）：
   $\mathbb{R}^n$ 上原算子 $L$ 的基本解 $\Gamma(x, y)$ 通过对额外变量 $\xi$ 对提升后的基本解 $\tilde{\Gamma}$ 进行积分来构造：
   $$\Gamma(x, y) = \int_{\mathbb{R}^p} \tilde{\Gamma}((x, \xi), (y, 0)) \, d\xi$$
   作者严格证明了该积分收敛，并产生了一个有效的 $L$ 的基本解。这涉及对提升核的可积性以及“差分”算子 $R = \tilde{L} - L$ 行为的详细分析，以确保饱和过程保持了所需的拟椭圆性质和估计。

主要贡献与结果

1. 拟椭圆性（定理 1.10）：
   作者证明了任何广义 Rockland 算子 $L$ 在 $\mathbb{R}^n$ 中都是拟椭圆的。这是通过证明：若 $L u$ 是光滑的，则提升分布 $\tilde{u} = u \otimes 1$ 满足 $\tilde{L}\tilde{u} = \text{光滑}$，从而蕴含 $\tilde{u}$ 是光滑的，进而得出 $u$ 也是光滑的。

2. Liouville 型定理（定理 1.11）：
   文中证明了一个 Liouville 定理：任何满足 $L\Lambda = 0$ 的缓增分布 $\Lambda$ 必须是多项式。如果 $\Lambda$ 是有界的，则它是一个常数。该结果是通过提升技术及对应于齐次群的定理推导而出的。

3. 全局基本解的存在性与性质（定理 1.14）：
   在 $L$ 的齐次次数 $\nu$ 满足 $\nu < q$（其中 $q$ 是 $\mathbb{R}^n$ 的齐次维度）的条件下，作者证明了全局基本解 $\Gamma(x, y)$ 的存在性。其主要性质包括：

   • 联合齐次性： $\Gamma(\delta_\lambda x, \delta_\lambda y) = \lambda^{\nu-q} \Gamma(x, y)$。
   • 光滑性： $\Gamma \in C^\infty(\mathbb{R}^{2n} \setminus \{x=y\})$。
   • 无穷远处的消失性： 当 $|x| \to \infty$ 时，$\Gamma(x, y) \to 0$。
   • 唯一性： $\Gamma$ 在消失于无穷远的基本解类中是唯一的。
   • 对称性： 若 $L$ 是形式自伴的，则 $\Gamma(x, y) = \Gamma(y, x)$。

4. 尖锐点值估计（定理 1.16）：
   论文提供了 $\Gamma$ 及其导数的尖锐上界。

   • 非临界情况 ($r > \nu - n$)： 全局估计形式为 $|Z_1 \dots Z_h \Gamma| \leq C d_X(x, y)^{\nu - r - q}$。
   • 临界情况 ($r = \nu - n$)： 包含对数项的局部估计。
     这些估计依赖于由向量场诱导的控制距离 $d_X$ 以及相关度量球的体积。

5. 向热型算子的扩展（第 3.5 节）：
   该理论被扩展到形式为 $H = L \pm \partial_t$ 的算子（热型算子），前提是 $L$ 是一个“正”广义 Rockland 算子。作者为这些抛物型算子建立了类似的关于存在性、拟椭圆性和估计的结果。

意义与主张
作者声称，这项工作代表了对一类通用的、结构化在 Hörmander 向量场上但不具备左不变性的高阶拟椭圆算子的首次研究。

• 泛化性： 其结果泛化了已知于齐次群上的 Rockland 算子理论（其中左不变性成立）以及二阶非不变算子的理论，将其推广到了高阶、非不变的情境中。
• 一致性： 推导出的条件（例如，存在齐次基本解所需的 $\nu < q$）被证明与针对左不变群算子及二阶非不变算子的现有结果是一致的。
• 技术新颖性： “提升加饱和”的论证过程被呈现为一种鲁棒的技术，可以应用于在由于缺乏群结构而导致直接构造困难的语境中构建基本解。

本文并未提出新的实验应用，而是为研究这些特定微分算子建立了一个严密的分析框架，为在适配于这些向量场的 Sobolev 空间和 Hölder 空间中的进一步分析提供了必要的工具（基本解与估计）。