Non-divergence evolution operators modeled on Hörmander vector fields with Dini continuous coefficients

技术摘要：基于 Dini 连续系数的 Hörmander 向量场非散度演化算子

问题陈述
本文研究了如下形式的非变分、退化抛物型演化算子的基本解 $\Gamma$ 的构造问题：
$$H = \partial_t - \sum_{i,j=1}^m a_{ij}(x, t) X_i X_j$$
其中 $X_1, \dots, X_m$ 是在 $\mathbb{R}^n$ ($n > m$) 上生成 Carnot 群 $G$ 的光滑 Hörmander 向量场，且系数矩阵 $A = [a_{ij}]$ 是对称且一致正定的。

其主要创新之处在于对系数 $a_{ij}$ 正则性的假设。虽然之前的文献（例如 Bonfiglioli, Lanconelli, Uguzzoni [3]）在 Hölder 连续性的条件下确立了存在性和高斯估计，但本研究将条件放宽到了双 Dini 连续性（double Dini continuity）。这是一种比 Hölder 连续性严格更弱的条件，允许系数表现出具有对数奇异性的连续模。本文还研究了在这些较弱正则性假设下的齐次及非齐次 Cauchy 问题。

方法论
作者采用了由 E. E. Levi 最初为一致椭圆算子开发，随后被改编用于抛物型和超抛物型情形的参数核法（parametrix method）。该程序包括以下步骤：

1. 冻结系数（Freezing Coefficients）： 对于固定的点 $\zeta = (\xi, \tau)$，算子 $H$ 被一个常系数算子 $H_\zeta = \partial_t - a_{ij}(\zeta) X_i X_j$ 所近似。假设该模型算子的基本解 $\Gamma_\zeta$（即参数核）是已知的，它具有源自 Carnot 群结构的显式高斯估计和再生性质。
2. 构造 Ansatz（Ansatz Construction）： 寻求变系数算子 $H$ 的基本解 $\Gamma$，其形式为：
   $$\Gamma(z; \zeta) = \Gamma_\zeta(z; \zeta) + \iint_{\mathbb{R}^n \times (\tau, t)} \Gamma_\chi(z; \chi) \mu(\chi, \zeta) \, d\chi$$
   其中 $\mu$ 是一个未知的核函数。
3. Neumann 级数展开： 通过将 $H$ 形式化地应用于该 ansatz，问题转化为求解关于 $\mu$ 的积分方程。这导致了一个 Neumann 级数表示 $\mu = -\sum_{j=1}^\infty Z_j$，其中 $Z_j$ 是涉及变系数算子与冻结算子之差的递归定义的积分项。
4. 处理低正则性： 一个关键的技术挑战在于，双 Dini 连续性的系数不足以保证使用标准估计能使级数 $\sum Z_j$ 收敛。为了克服这一点，作者引入了一个**“收缩”序列** $Z_j^\lambda(z; \zeta) = e^{-\lambda(t-\tau)} Z_j(z; \zeta)$。通过选择足够大的参数 $\lambda$，他们建立了确保总收敛的级数项上界。这种技术改编自近期关于具有 Dini 系数的一致抛物型算子的研究 [12]，由于缺乏正则性导致标准估计失效，该技术至关重要。
5. 正则性分析： 文中严格证明了构造出的核 $\mu$ 在空间变量上是连续的，并满足特定的 Dini 型连续性估计。这些估计对于证明 ansatz 中积分项的可微性至关重要。

主要贡献与结果

1. 基本解的存在性： 在假设 (H1)（Carnot 群结构）、(H2)（对称、一致正定、双 Dini 连续系数）以及 (H3)（非齐次问题所需的关于连续模的辅助条件）下，本文证明了基本解 $\Gamma$ 的存在性。
2. 双边高斯估计： 基本解 $\Gamma$ 满足与 Carnot 群上常系数热核相当的双边高斯估计。具体而言，对于 $t > \tau$：
   $$c_0^{-1} E(\xi^{-1} \circ x, c_1^{-1}(t-\tau)) \leq \Gamma(x, t; \xi, \tau) \leq c_0 E(\xi^{-1} \circ x, c_1(t-\tau))$$
   其中 $E$ 是模型算子的基本解。
3. 导数估计： 本文确立了沿向量场 $X_i$ 和时间导数 $\partial_t$ 的 $\Gamma$ 的高斯上界估计，最高达到“权重 2”（即 $X_i X_j \Gamma$ 和 $\partial_t \Gamma$）。对于 $k$ 阶导数，这些估计的缩放比例为 $(t-\tau)^{-k/2}$。
4. 再生公式（Reproduction Formula）： 证明了一个半群性质（再生公式）：
   $$\Gamma(x, t; \xi, \tau) = \int_{\mathbb{R}^n} \Gamma(x, t; y, s) \Gamma(y, s; \xi, \tau) \, dy$$
   对于 $\tau < s < t$。该结果依赖于弱极大值原理以及在消失于无穷远函数的空间中的 Cauchy 问题唯一性。
5. Cauchy 问题的可解性：
   • 齐次情况： 对于满足增长条件 $|g(x)| \leq M e^{\nu \|x\|^2}$ 的初始数据 $g$，存在经典解，且该解由 $\Gamma$ 与 $g$ 的卷积给出。
   • 非齐次情况： 对于在空间上连续且局部 Dini 连续（在时间上一致）并满足类似增长条件的源项 $f$，本文证明了具有零初始值的 $Hu = f$的经典解的存在性。该解由$\Gamma$对$f$ 的积分表示。

意义与范围
本文声称通过将参数核法扩展到双 Dini 连续系数而非 Hölder 连续系数，从而推广了 Bonfiglioli, Lanconelli, 和 Uguzzoni [3] 的结果。作者强调，双 Dini 连续性是一种严格更弱的条件，涵盖了非 Hölder 连续的函数（例如具有对数连续模的函数）。

本工作被呈现为一篇硕士论文的摘录。其意义被置于将超抛物型算子理论扩展到更低正则性类别的背景下。本文并不提出新的应用或实验设置，而是侧重于在这些放宽的假设下，对基本解进行严谨的解析构造，并推导其定性性质（高斯界、再生公式）。文中指出，下高斯估计的证明是极大值原理和再生公式的结果，从而完成了对 $\Gamma$ 的表征。