On General Linear Degenerate Elliptic PDE Systems

技术摘要：关于一般线性退化椭圆 PDE 系

问题陈述
本文研究了一类在严格凸有界区域 $\Omega \subset \mathbb{R}^n$ 上的常系数线性退化椭圆偏微分方程（PDE）系统的解的存在性、唯一性及部分正则性。该系统由下式给出：
$$\sum_{\beta=1}^N \sum_{i,j=1}^n A_{\alpha i \beta j} D^2_{ij} u_\beta + \sum_{\beta=1}^N \sum_{i=1}^n B_{\alpha \beta i} D_i u_\beta + \sum_{\beta=1}^N C_{\alpha \beta} u_\beta = f_\alpha \quad \text{in } \Omega,$$
并带有 Dirichlet 边界条件 $u=0$ on $\partial\Omega$。这里，$u: \Omega \to \mathbb{R}^N$ 是未知的向量值函数，$f \in L^2(\Omega, \mathbb{R}^N)$ 是源项。系数张量 $A: \mathbb{R}^{Nn} \to \mathbb{R}^{Nn}$ 是对称且非负定的，但并不假设其为严格椭圆或甚至是严格秩一凸（rank-one convex）的。

作者强调，由于缺乏严格椭圆性，标准的分布解可能不存在，即使存在，它们也可能缺乏满足经典迹意义下边界条件的正则性（即 $u$ 可能不属于 $W^{1,1}_{loc}$）。此外，低阶项（一阶项 $B$ 和零阶项 $C$）的引入引入了与以往关于纯二阶退化系统研究中不同的本质复杂性，特别是在变分形式方面。

方法论与结构假设
为了克服退化性和缺乏标准椭圆性的问题，作者引入了特定的结构假设和一种定制的解的概念：

1. 空间分解：

   • $\Pi$：$A$ 在 $\mathbb{R}^{Nn}$ 中的正交补空间。
   • $\Sigma$：包含在 $\Pi$ 中的秩一方向在物理空间 $\mathbb{R}^N$ 上的投影的线性张成空间。
   • 作者假设 $\Pi$ 是由秩一方向张成的（这一条件在标量情况或一维情况下是自动满足的，但在一般的向量情形下需要特定的结构假设如 (SH)）。

2. 系数约束：

   • $C$（零阶项）： 必须与投影 $\Sigma$ 对易，满足 $C = C^\top \leq 0$（非正定），并将 $\Sigma$ 映射到 $\Sigma$。
   • $B$（一阶项）： 必须满足 $B = \Sigma B \Pi = \Sigma B = B \Pi$，并具有对称性 $B_{\alpha \beta i} = B_{\beta \alpha i}$。这种对称性至关重要；作者通过引理 2.3 表明，在此条件下，积分 $\int B_{\alpha \beta i} D_i u_\beta u_\alpha$ 对于 $W^{1,2}_0$ 中的函数为零，从而防止了一阶项破坏变分设置中的强制性（coercivity）。

3. 适配分布解（Adapted Distributional Solutions）：
   由于标准的 Sobolev 空间不足以处理此类问题，作者将解 $u$ 定义为 $D'(\Omega, \Sigma) \cap L^2(\Omega, \Sigma)$ 中的元素，使其对测试函数 $\phi \in C^\infty_c(\Omega, \Sigma)$ 满足弱形式。这一定义通过将解空间限制在 $\Sigma$ 且测试函数限制在与系统结构相容的方向上，尊重了系统的退化特性。

4. 证明策略（消失粘性法）：
   证明采用了消失粘性逼近法。退化系统被近似为一个严格椭圆系统：
   $$\sum (A_{\alpha i \beta j} + \varepsilon \delta_{\alpha \beta} \delta_{ij}) D^2_{ij} u^\varepsilon_\beta + \dots = f_\alpha.$$
   不同于以往依赖于近似系统变分方法的文献（例如 [7]），此处 $B$ 项的存在使得直接的变分形式无法实现，因为 $B$ 项无法在不消失的情况下由标准的欧拉-拉格朗日方程产生。相反，作者在 $W^{1,2}_0(\Omega, \mathbb{R}^N)$ 空间上利用了 Lax-Milgram 定理。

   • 强制性（Coercivity）： 利用 $A$ 的非负性、$C$ 的非正性和 $B$ 项积分的消失（引理 2.3）来建立。
   • 紧致性（Compactness）： 利用 退化部分庞卡莱不等式（命题 2.1）导出一致估计，该不等式将 $\|\Sigma u\|_{L^2}$ 由 $\|\Pi Du\|_{L^2}$ 控制。
   • 极限传递（Limit Passage）： 一个近似解的子序列收敛于极限 $u$。边界条件通过一个 退化部分迹算子（命题 2.2）来处理，由于 $\Omega$ 的严格凸性和 $\Pi$ 的秩一张成性质，该算子是有效的。

主要结果
主定理（定理 1.2）确立了：

1. 存在性与唯一性： 对于任何 $f \in L^2(\Omega, \Sigma)$，存在唯一的适配分布解 $u \in L^2(\Omega, \Sigma)$。
2. 边界条件满足： 解以强形式满足 $u=0$，即 $u = 0$ 在 $\partial\Omega$ 上 $\mathcal{H}^{n-1}$-几乎处处成立，其中 $\mathcal{H}^{n-1}$ 是 $(n-1)$ 维豪斯多夫测度。
3. 部分正则性： 虽然 $u$ 可能不是完全可微的，但其分布梯度 $Du$具有部分正则性。具体而言，沿任何秩一方向$\eta \otimes a \in \Pi$的梯度投影存在$L^2$ 函数：
   $$D_a(\eta \cdot u) \in L^2(\Omega).$$

意义与范围
本文声称扩展了第一作者（Katzourakis, 2016）此前的工作，后者处理了 $B \equiv 0, C \equiv 0$ 的情况。引入低阶项被视为一个显著的技术障碍，因为在退化设置中，这些项无法通过标准的变分逼近来处理。作者强调，他们的结构假设（特别是 $B$ 的对称性和 $\Pi$ 的秩一张成性）对于确保问题的可解性和唯一性是必要的。

这项工作处于处理全非线性 PDE 系统广义解以及 $L^\infty$ 中变分法的大背景之下。它为求解满足特定代数相容条件（这些条件与退化结构相关）的线性退化椭圆系统提供了一个严谨的框架。本文并未提出新的应用或实验方案，而是严格专注于这类特定 PDE 的理论存在性与正则性理论。