The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition

技术摘要：具有小 Carleson 系数的抛物型算子的 $L^p$ Neumann 问题

问题陈述
本文研究了抛物型偏微分方程（PDE）在 Neumann 边界值问题上的可解性，该方程形式为：
$$-\partial_t u + \text{div}(A\nabla u) = 0$$
定义在抛物柱 $\Omega = \mathcal{O} \times \mathbb{R}$ 上，其中 $\mathcal{O}$ 是 $\mathbb{R}^n$ 中的有界或无界 Lipschitz 区域。系数矩阵 $A(X, t)$ 被假定为非对称、随时间变化且满足一致椭圆性，并具有有界可测系数。

核心挑战在于建立 Neumann 问题（记作 $(N)_p^L$）对于所有 $1 < p < \infty$ 的 $L^p$ 可解性。具体而言，给定 Neumann 数据 $g \in L^p(\partial\Omega)$，目标是证明存在一个解 $u$，使得梯度非切向极大函数 $\tilde{N}(\nabla u)$ 满足如下估计：
$$\|\tilde{N}(\nabla u)\|_{L^p(\partial\Omega)} \leq C \|g\|_{L^p(\partial\Omega)}.$$
假设系数满足“小 Carleson 条件”。该条件通过由以下密度定义的 Carleson 测度 $\mu$ 来量化系数的正则性：
$$d\mu = \sup_{B_{\delta/2}(X,t)} \left( \delta(Y,s)|\nabla A|^2 + \delta(Y,s)^3|\partial_t A|^2 \right) dX dt,$$
其中 $\delta(X,t)$ 是到边界的抛物距离。当 Carleson 范数 $\|\mu\|_C$ 和区域的 Lipschitz 常数足够小时，主结果成立。

方法论
作者采用了一种多阶段策略，旨在将椭圆理论中的技术应用于抛物情形，并引入了特定的修正以处理时间相关性和算子的非对称性。

1. 向光滑系数归约：
   证明过程始于将粗糙系数 $A$ 近似为满足更强正则性条件（特别是关于距离边界幂次权重的导数界）的光滑矩阵 $B$。这允许应用标准的 PDE 估计，同时通过扰动论（定理 3.1）来控制误差。

2. 先验估计与提升（Bootstrap）：
   工作的一个重要部分涉及建立光滑数据和系数下非切向极大函数 $\|\tilde{N}(\nabla u)\|_{L^p}$ 的先验有限性。这在抛物情形下并非易事，需要使用“提升”论证：

   • 第一步： 利用能量方法和 Caccioppoli 型不等式，建立切向导数 $\nabla_T u$ 和法向导数（conormal derivative）$H = \sum a_{nj}\partial_j u$ 的初始正则性。
   • 第二步： 利用 $\nabla_T u$ 和 $H$ 所满足的不齐次 PDE。至关重要的是，$H$ 满足第 4.2 节中推导出的特定 PDE，这使得作者能够通过关系式 $\partial_n u = a_{nn}^{-1}(H - \sum_{j<n} a_{nj}\partial_j u)$ 来控制法向导数 $\partial_n u$。
   • 第三步： 应用 Moser 迭代论证将 $\nabla u$ 的正则性从 $L^2$ 提高到局部有界集的 $L^\infty$，并在无界情况下使用热核衰减估计。

3. 平方函数与极大函数估计：
   证明的核心在于建立非切向极大函数与平方函数之间的相互有界性。

   • $N < S_p$ 估计： 作者证明了梯度的非切向极大函数被一个 $p$-适配的平方函数 $S_p$ 所控制。这是通过使用涉及停时论证的“good-$\lambda$”不等式技术以及改进的非切向锥构造实现的（第 5 节）。
   • $S_p$ 的控制： 切向梯度 $\nabla_T u$ 和法向导数 $H$ 的 $p$-适配平方函数均由边界数据控制。这涉及复杂的分部积分，并利用 $H$ 和 $\nabla_T u$ 所满足的 PDE 将导数转移到系数上，从而利用 Carleson 范数的微小性。

4. 局部化：
   对于有界 Lipschitz 圆柱体，通过局部化技术和远离边界数据支撑集的解的指数衰减性质，从无界区域（上半空间）的结果推导出其可解性。

主要贡献与结果

• 主定理（定理 1.6）： 本文证明了对于任何 $1 < p < \infty$，只要系数的 Carleson 范数和区域的 Lipschitz 常数足够小，Neumann 问题在 Lipschitz 圆柱体上是可解的。解满足尖锐估计 $\|\tilde{N}(\nabla u)\|_{L^p} \leq C \|g\|_{L^p}$。
• 椭圆结果的抛物类比： 本工作完成了在小 Carleson 范数情形下，针对 [19] 中建立的椭圆 Neumann 结果的抛物类比。它使随时间变化的抛物型矩阵的技术达到了与椭圆情形完全一致的前沿水平。
• 处理随时间变化的系数： 不同于以往要求对横向空间变量或时间不敏感的工作，本文处理了完全随时间变化的非对称矩阵。
• $p$-适配平方函数： 作者成功地将 $p$-适配平方函数技术（最初源自 [17]）应用于抛物 Neumann 问题，克服了与 Regularity 问题中半时间导数非局部性相关的困难。
• 半时间导数控制的二分性： 在附录 A 中，作者提出了关于控制半时间导数 $D_t^{1/2}u$ 的新颖观察。他们表明，虽然在无界区域（特别是对于 $p \leq 2$）可以实现此类控制，但在有界区域则不可能实现。这与 Regularity 问题形成对比，并突出了 Neumann 数据在有界与无界抛物区域之间行为的根本差异。

意义与范围
本文解决了关于小 Carleson 范数情形下粗糙系数抛物 Neumann 问题可解性的长期悬而未决的问题。它补充了作者之前关于抛物 Regularity 问题 [14] 以及 Dirichlet 问题 [9, 11, 18] 的工作。

作者明确指出，“大 Carleson 范数”情形对于维度 $n > 2$ 仍是一个开放问题，即使在椭圆情形下也是如此（椭圆情形仅在 2D 中最近得到解决）。目前的工作严格限制在小范数情形下，依赖于 Carleson 常数的微小性来吸收估计中的误差项。其方法论高度依赖于法向导数所满足的特定 PDE 结构，以及切向导数与法向导数之间精细的相互作用，这是抛物情形区别于椭圆情形的一个显著特征。