From zero solutions with partially bounded supports to solvability and Runge approximation for partial differential equations

技术摘要：从具有部分有界支撑的零解到偏微分方程的可解性与 Runge 近似

问题陈述
本文探讨了常系数线性偏微分算子（PDO）理论中的两个基本问题：

1. 可解性（Solvability）： 表征偏微分算子 $P(D)$ 在光滑函数、分布或局部子空间（特别是确定开集 $X \subset \mathbb{R}^d$ 是否为 对于支撑的 $P$-凸性）上的满射性几何条件。虽然对于椭圆算子及特定情形（如二维波动算子）已存在经典结果，但在任意维度下，针对非椭圆算子的通用几何表征仍然难以实现。
2. Runge 近期（Runge Approximation）： 确定在各种函数空间（包括光滑函数、分布和光滑 Whitney jet）中，小集合上的齐次方程解对大集合上解的可近似性几何准则（Runge 对）。这对于流体力学中出现的方程组特别重要。

作者指出，存在非平凡“零解”（即满足 $P(D)u=0$ 的解）且具有特定的支撑性质，是建立可解性必要条件以及证明 Runge 型近似定理的前提。

方法论
本文采用了一种以构造特定零解为核心的构造性方法，随后利用泛函分析论证来导出几何特征。

1. 构造零解（第 2 节）：

   • 作者首先证明了一类广泛的算子存在具有部分有界支撑的非平凡光滑零解。
   • 他们利用 Gevrey 类，并求解形式为 $P(\xi', \xi_d) = \xi_d^m + \sum Q_k(\xi')\xi_d^k$ 的 Cauchy 问题（定理 2）。这涉及通过在 Gevrey 空间中的级数展开来构造解，并利用对系数导数的估计来证明收敛性。
   • 利用卷积技术和引理 4（关于具有部分有界支撑的卷积性质），他们将这些结果扩展到在由线性子空间 $Z$ 定义的算子，这些算子是正交退化的。具体而言，他们证明了存在一个解 $v$，其支撑在垂直于 $Z$ 的方向上是有界的（定理 9）。
   • 此类算子包括所有半椭圆算子以及其主部为波动算子的算子（对于 $d \ge 2$）。

2. $P$-凸性的几何表征（第 3 节）：

   • 利用构造出的零解，作者导出了 $P$-凸性的一个必要条件：边界距离函数 $d_X$ 必须在每一个平行于特征锥正交补的仿射子空间中满足极小值原理。
   • 对于在正交退化于其线性特征锥的算子，该条件被证明是充分的。
   • 作者引入了几何概念，如临界点以及相对于子空间的内支撑点，以重新表述极小值原理条件。他们证明了对于此类算子，不存在此类点等价于 $P$-凸性（推论 21）。
   • 他们进一步确立了对于半椭圆算子，其核满足 $(\Omega)$ 条件（一种与分裂理论相关的 Fréchet 空间性质），这意味着该性质蕴含了其在向量值光滑函数空间上的满射性，并解决了参数依赖问题。

3. Runge 近似（第 4 & 5 节）：

   • 存在具有部分有界支撑的零解这一事实被用于导出 Runge 对的必要条件。具体而言，如果 $(F_1, F_2)$ 是一个 Runge 对，则 $F_2$ 不能包含 $(\mathbb{R}^d \setminus F_1) \cap (x + Z^\perp)$ 的有界连通分支。
   • 对于在特征锥上正交退化的算子，这些条件被证明是充分的（定理 33）。
   • 该框架被扩展到了方阵系统（square systems）常系数偏微分算子系统。通过利用伴随矩阵和系统的行列式，作者将系统的近似问题简化为标量情形（定理 39）。
   • 他们将这些一般性结果应用于特定系统：
     • Beltrami 场（旋度算子的特征函数）。
     • 三维非定常 Stokes 系统。

主要贡献与结果

• 具有部分有界支撑的零解的存在性： 本文证明了对于任何在某个线性子空间上正交退化的常系数算子，都存在具有特定方向有界支撑的非平凡光滑解（定理 9）。这推广了以往的结果（如 Cohoon 的结果），并适用于半椭圆算子和波动型算子。
• 可解性的几何表征： 对于在正交退化于其线性特征锥的算子类（包括所有半椭圆算子），本文提供了 $P$-凸性（对于支撑）的完整几何表征。该表征通过特征超平面中边界距离函数的极小值原理以及不存在临界点或内支撑点来表达（推论 21）。
• $(\Omega)$ 条件与参数依赖： 作者证明了每个满射半椭圆算子的核都满足 $(\Omega)$ 条件。因此，根据 Vogt 和 Wagner 的分裂定理，这些算子在向量值光滑函数空间上是满射的，从而解决了这些算子的参数依赖问题。
• 方阵系统的 Runge 近似： 开发了一个用于方阵系统 Runge 近似的通用框架。该框架通过替代方法恢复了先前关于 Beltrami 场和三维非定常 Stokes 系统（此前由 Higaki/Sueur 和 Enciso/Peralta-Salas 研究）的已知结果。
• Whitney Jets 与边界近似： 结果被扩展到闭集上的光滑 Whitney jet 空间。这得到了直到边界的近似定理（针对具有 Hölder 连续边界的区域），补充了现有关于开集的结论。

意义与主张
本文声称将 Hörmander 关于 $P$-凸性的经典几何思想扩展到了包括所有正交退化于其线性特征锥的算子在内的广泛类别的非椭圆算子。通过建立具有部分有界支撑的零解的存在性，作者提供了一个统一的工具来处理可解性和近似问题。

该工作的重要性在于：

1. 统一性： 它提供了一个涵盖半椭圆算子、波动算子及各种系统的通用框架，统一了此前分散的结果。
2. 新的几何准则： 它为在维度较高时（此前缺乏完整表征）的可解性和近似性提供了显式的几何条件（极小值原理、不存在临界点）。
3. 流体力学应用： 这些结果直接适用于 Stokes 和 Beltrami 系统，提供了新的近似定理（包括针对 Hölder 区域直到边界的近似），这对于研究流体方程具有重要意义。
4. 泛函分析： 证明半椭圆算子的核满足 $(\Omega)$ 条件，解决了关于这些算子参数依赖性的特定问题。

作者强调，尽管对于任意维度下的广义算子的 $P$-凸性几何表征仍是一个开放问题，但其结果覆盖了一个“广泛的类别”，包括所有半椭圆算子，从而显著扩展了已知的可解性和近似理论的版图。