Quantitative Weak Unique Continuation on Annular Domains for Backward Degenerate Parabolic Equations with Degenerate Interior Points

技术摘要：含退化内点的反向退化抛物方程在环形区域上的定量弱唯一延拓

问题陈述
本文研究了具有退化内点的反向退化抛物方程的弱唯一延拓性质。所研究的具体方程为：
$$\begin{cases} \partial_t \phi + \text{div}(|x|^\alpha \nabla \phi) = 0, & \text{在 } Q = \Omega \times (0, T) \text{ 内}, \\ \phi = 0, & \text{在 } \partial Q \text{ 上}, \\ \phi(T) = \phi_T, & \text{在 } \Omega \text{ 内}, \end{cases}$$
其中 $\alpha \in (0, 2)$，$\Omega \subset \mathbb{R}^N$（$N \ge 2$）是一个包含原点的有界区域，其边界为 $C^2$ 类，且 $\phi_T \in L^2(\Omega)$。退化发生在内点 $x=0$ 处。主要目标是建立定量弱唯一延拓结果：如果解 $\phi$ 在子区域 $\omega \times (0, T)$ 上为零（其中 $\omega$ 是不包含原点的环形区域），则 $\phi$ 必须在整个区域 $\Omega$ 上恒为零。

方法论
作者采用了一种以逼近和 Carleman 估计为核心的三步方法论：

1. 退化算子的逼近：
   与以往利用可能缺乏偏导数的 $A_p$ 权重的研究不同，本文针对 $|x|$ 构造了一个特定的 $C^{2,1}$ 逼近函数 $\psi_\varepsilon(x)$。该函数在小球 $B_\varepsilon$ 外部与 $|x|$ 重合，并在 $B_\varepsilon$ 内部进行平滑处理以确保可微性。退化权重 $w = |x|^\alpha$ 由 $w_\varepsilon = (\psi_\varepsilon)^\alpha$ 逼近。这使得退化方程能够被一系列带有权重 $w_\varepsilon$ 的非退化抛物方程序列所逼近。

2. Carleman 估计的推导：
   作者为非退化逼近方程推导了 Carleman 估计。一项关键的技术贡献是将估计过程划分为三个不同的部分，以处理退化点附近的逼近误差：

   • 小球外部区域（$Q_\varepsilon^c$），其中权重表现为 $|x|^\alpha$。
   • 小球内部区域（$Q_\varepsilon$），其中使用平滑后的权重 $\psi_\varepsilon$。
   • 边界项以及这些区域之间的相互作用。
     估计首先针对近似方程建立，然后取极限 $\varepsilon \to 0$（或当 $\varepsilon = 1/k$ 时 $k \to \infty$）。

3. 极限过程与截断技术：
   利用解空间的紧性以及逼近的收敛性质（定理 3.1 和推论 3.1），非退化方程的 Carleman 估计被传递到原始的退化方程上。此外，采用截断法来隔离区域的退化部分，从而允许在非退化的环形区域上应用经典的 Carleman 估计。

主要贡献

• 权重的可微逼近： 本文引入了一种针对 $A_p$ 权重 $|x|^\alpha$ 的新颖逼近方法。通过构造 $C^{2,1}$ 函数 $\psi_\varepsilon$，作者确保了近似权重拥有严格推导 Carleman 估计所需的偏导数，解决了以往文献中近似权重仅为勒贝格可测的局限性。
• 环形区域上的定量估计： 作者在环形区域（$\Omega = A_{3R, 6R}$）上建立了定量弱唯一延拓不等式。结果提供了内部解的 $L^2$ 范数与其在子环形区域上的范数之间的显式界限。
• 处理内点退化： 该工作将唯一延拓结果推广到了 $N \ge 2$ 维空间中在一点（$x=0$）退化的抛物方程，这与被广泛研究的 $N=1$ 情形截然不同。

主要结果
本文建立了如下定量不等式（定理 5.3）：对于反向退化抛物方程的解 $\phi$，存在常数 $C > 0$ 使得：
$$\iint_{\Omega \times (T/4, 3T/4)} |x|^{2-\alpha} |\phi|^2 \, dx \, dt \le C \iint_{\omega \times (0, T)} |\phi|^2 \, dx \, dt,$$
其中 $\omega$ 是一个环形子区域。

由此不等式推导出弱唯一延拓性质（推论 5.1）：如果 $\phi$ 在 $\omega \times (0, T)$ 上为零，则 $\phi$ 在 $\Omega$ 上为零。根据方程的反向唯一性，这意味着 $\phi \equiv 0$ 在 $\Omega$ 上成立。

意义与范围
本文声称其意义在于提供了一个严格的框架，用于利用保持可微性的逼近方法处理具有内点退化的退化抛物方程的唯一延拓问题。作者明确指出了其范围的局限性：目前结果仅限于环形区域。将这些定量唯一延拓结果推广到任意区域被确定为未来的工作。该方法论建立并完善了先前用于退化椭圆方程的逼近技术，将其调整适用于抛物情形，并特别关注了问题的时间依赖性特征。