Existence and uniqueness of weak solutions to quasilinear PDEs with critical data

以下是 Pascal Auscher 和 Sebastian Bechtel 所著论文《具有临界数据的拟线性偏微分方程弱解的存在性与唯一性》的详细技术总结。

1. 问题陈述

作者研究了一类在全空间 $\mathbb{R}^n$ 中的**拟线性抛物型偏微分方程（PDE）**的初值问题：
$$\partial_t u - \text{div}(a(t, x, u)\nabla u) = 0, \quad u(0, x) = u_0(x).$$
问题的关键特征：

• 非线性： 扩散系数 $a(t, x, u)$ 依赖于解 $u$ 本身。
• 临界数据： 初始数据 $u_0$ 假设为有界（$u_0 \in L^\infty$）且可能为一致连续（$u_0 \in \text{BUC}$）。这被视为“临界”的，因为有界性是在抛物型缩放下保持不变的性质，且作者旨在对 $a$ 和 $u_0$ 使用最小正则性假设。
• 定义域： 问题设定在无界域 $(0, \infty) \times \mathbb{R}^n$ 上。这排除了依赖于有界域的经典紧性论证（如 Rellich-Kondrachov 定理）的使用，并因初始数据可能具有无限质量而使唯一性证明变得复杂。
• 关于 $a$ 的假设： 系数函数满足：
  1. 局部椭圆性： 在 $u$ 值域的紧子集上一致椭圆。
  2. 局部 Lipschitz 连续性： 关于 $u$ 变量。
  3. 有界平衡态： 在 $u=0$ 附近有界。
  4. 局部一致连续性： 对于固定的 $u$ 值紧集，关于 $(t, x)$ 一致连续。

目标是建立全局有界弱解的存在性、唯一性和正则性。

2. 方法论

作者采用了一种复杂的组合方法，结合了非自治抛物方程的线性理论和特殊函数空间中的不动点论证。

A. 函数空间（加权 Z-空间）

一项核心创新是使用加权 Z-空间（$Z^{\infty, q}_{-1/2}$）来控制解的梯度。他们不要求对 $\nabla u$ 进行逐点控制（这对于低正则性数据来说过于严格），而是以平均的、尺度不变的方式控制梯度：
$$\|f\|_{Z^{\infty, q}_{-1/2}(T)} := \sup_{t \in (0,T)} \sup_{x \in \mathbb{R}^n} \left( \int_{t/2}^t \int_{B(x, \sqrt{t})} |s^{1/2} f(s, y)|^q \, dy \, ds \right)^{1/q} < \infty.$$
该空间尊重抛物型缩放，并允许处理“临界”数据，即标准 $L^\infty$ 梯度界在初始时刻可能不成立的情况。

B. 线性理论（构建模块）

作者首先为线性抛物方程建立了稳健的结果：

1. 非自治线性情形： 他们证明了具有可测、一致椭圆系数的方程 $\partial_t u - \text{div}(A(t,x)\nabla u) = 0$ 解的先验性质。关键结果包括初始数据值域的保持（最大值原理）以及若 $u_0$ 一致连续则解的一致连续性。
2. 自治线性情形： 对于系数与时间无关的方程，他们证明了在 Z-空间中的适定性。关键在于，他们表明对于有界初始数据，梯度 $\nabla u$ 属于 $Z^{\infty, q}_{-1/2}$，并且满足当 $t \to 0$ 时的小性条件：
   $$\lim_{t \to 0} \|\nabla u\|_{Z^{\infty, q}_{-1/2}(t)} = 0.$$
   这种小性对于压缩映射原理至关重要。

C. 拟线性方法（不动点论证）

为了解决拟线性问题，作者使用了Banach 不动点论证：

1. 线性化： 给定一个试验函数 $v$，他们定义了一个辅助线性问题，其中系数冻结为 $a(t, x, v)$，但主部被视为固定自治算子 $A_0 = a(0, x, u_0)$ 的扰动。
2. 映射： 他们定义了一个映射 $\Theta: v \mapsto u$，其中 $u$ 是线性化问题的解。
3. 压缩： 利用线性理论推导出的短时间间隔内 Z-范数梯度的小性，他们证明了 $\Theta$ 在有界函数的适当度量空间上是严格压缩的。
4. 全局存在性： 他们构造了一个最大解并使用了爆破论证。由于解保持有界且其值域保持在 $a$ 的定义域内（得益于最大值原理），解不会在有限时间内爆破，从而保证了全局存在性。

3. 主要贡献与结果

主定理（定理 1.4）：BUC 数据的适定性

对于值域在 $a$ 的定义域内的初始数据 $u_0 \in \text{BUC}(\mathbb{R}^n)$：

• 存在性与唯一性： 存在唯一的全局有界弱解 $u$。
• 正则性： 解 $u$ 在 $[0, \infty) \times \mathbb{R}^n$ 上是一致连续的。
• 梯度控制： 梯度满足 Z-空间中的尺度不变界：
  $$\sup_{t \in (0,T)} \|\nabla u\|_{Z^{\infty, q}_{-1/2}(t)} < \infty.$$
• 稳定性： 解保持初始数据的值域（$\text{ran}(u) = \text{ran}(u_0)$），并在 $t \to 0$ 时按 $L^\infty$ 收敛于初始数据。如果 $u_0$ 在无穷远处有极限，则解在 $t \to \infty$ 时收敛于该极限。

推论 1.5：一般有界数据的存在性

如果初始数据仅仅是有界的（$u_0 \in L^\infty(\mathbb{R}^n)$）但不一定一致连续：

• 存在性： 存在全局有界弱解。
• 权衡： 在这种一般情形下，不保证唯一性、梯度正则性以及 $t=0$ 处的稳定性。解是通过紧性论证（对 $u_0$ 进行磨光）而非不动点论证构造的。
• 正则性： 尽管初始数据粗糙，解在任意 $t > 0$ 时变为 Hölder 连续（Nash 正则性），并最终变为一致连续。

4. 意义与创新性

1. 尺度临界正则性： 本文探讨了一个此前未被覆盖的最小正则性区间。先前的结果（例如 Ladyzhenskaya 等人的工作）要求 $a$ 和 $u_0$ 具有更高的正则性。这项工作将理论推向了 $u_0$ 仅为有界的“临界”阈值。
2. 无界域： 与许多依赖有界域的经典结果不同，这项工作处理了整个空间 $\mathbb{R}^n$。这需要新技术来处理缺乏紧性和无限质量的问题，特别是避免了基于 $L^1$ 的唯一性论证。
3. 新函数空间： 加权 Z-空间的引入和应用为控制粗糙数据拟线性问题中的梯度提供了强大的框架。这种方法用局部平均界取代了逐点梯度界，这是尺度不变问题的自然设定。
4. 唯一性机制： BUC 数据的唯一性证明依赖于 $t=0$ 附近 Z-范数中梯度的自动小性。这使得不动点论证可以在任何时间 $t$ 重新启动，从而证明两个解必须全局重合。
5. 退化/无界系数： 该框架能够容纳在 $u$ 中无界或退化的系数 $a(t, x, u)$（例如多孔介质方程类型的 $u^m$），前提是初始数据使解保持在椭圆性成立的安全范围内。

结论

Auscher 和 Bechtel 成功地在全空间上为具有临界有界初始数据的拟线性抛物方程建立了全面的适定性理论。通过利用加权 Z-空间和精细的不动点策略，他们架起了经典光滑理论与粗糙数据这一具有挑战性的区间之间的桥梁，为非线性扩散过程的未来研究提供了一个稳健的框架。