Shape Design for Degenerate Parabolic Equations with Degenerate Boundaries and Its Application to Boundary Observability

技术摘要：具有退化边界的退化抛物方程的形状设计及其在边界可观测性中的应用

问题陈述
本研究针对如下形式的高维退化抛物方程的数学分析：
$$\partial_t y - \text{div}(A\nabla y) = f \quad \text{in } Q = \Omega \times (0, T),$$
满足狄利克雷边界条件 $y=0$ 于 $\partial Q$ 以及初始数据 $y(0)=y_0$。区域 $\Omega \subseteq \mathbb{R}^{N-1} \times (0, +\infty)$ 是一个凸区域，扩散矩阵 $A$ 为对角矩阵，定义为 $A = \text{diag}(1, \dots, 1, x_N^\alpha)$，其中 $\alpha \in (0, 1)$。因此，该方程在边界段 $\Gamma_0^N = \partial \Omega \cap (\mathbb{R}^{N-1} \times \{0\})$ 上发生退化。

主要目标是建立该方程的适定性，并更为关键地，推导边界可观测性不等式。高维退化问题的一个重大挑战在于，当退化仅发生在边界的一部分（而非整个边界）时，缺乏适当的分部积分公式。传统方法，如变量分离法或对系数矩阵的特定结构假设（例如在整个边界的第一特征值处退化），不足以处理此处考察的一般情形。

方法论：形状设计方法
作者采用形状设计方法来规避与退化边界相关的困难。核心策略是用定义在一族子域 $\{\Omega_\delta\}_{\delta > 0}$ 上的一致抛物方程序列，来逼近定义在区域 $\Omega$ 上的退化抛物方程。

1. 区域逼近：作者构造了一列凸子域 $\Omega_\delta$，使得 $\Omega_\delta \subset \Omega$，且 $\Omega_\delta$ 与退化边界段 $\Gamma_0^N$ 保持与 $\delta$ 成比例的距离。具体而言，$\Omega_\delta$ 被定义为排除 $x_N < \delta$ 的区域。
2. 逼近系统：在每个 $\Omega_\delta$ 上，由于系数 $x_N^\alpha$ 远离零有界，方程变为一致抛物型。这使得原本在原始退化区域上无效的常规正则性理论和分部积分技术得以应用。
3. 延拓与收敛：将 $\Omega_\delta$ 上的解 $y_\delta$ 零延拓至整个区域 $\Omega$（记为 $E y_\delta$）。作者证明，当 $\delta \to 0$ 时，这些延拓解在适当的加权索伯列夫空间中收敛于原退化方程的弱解。
4. Carleman 估计：对于逼近的一致抛物方程，作者推导了依赖于参数 $\delta$ 的权重的Carleman 估计。一个关键的技术要求是确保这些估计中的常数关于 $\delta$ 保持一致。这种一致性对于取极限并获得退化情形的估计至关重要。

主要贡献与结果

• 适定性：本文建立了退化抛物方程在空间 $L^2(0, T; H^1_0(\Omega; w))$ 中弱解的存在性与唯一性，其时间导数属于 $L^2(0, T; H^{-1}(\Omega; w))$。此外，还给出了具有更光滑初始数据的解的更高阶正则性结果。
• 逼近的收敛性（定理 1.1）：作者严格证明了一致抛物逼近解序列在 $L^2(Q)$ 中强收敛，并在加权索伯列夫空间中弱收敛于退化方程的解。至关重要的是，他们证明了在非退化边界部分 $\Gamma_+ = \{x \in \partial \Omega : A(x)\nu(x) \cdot e_N > 0\}$ 上，法向导数 $\frac{\partial y_\delta}{\partial \nu}$ 到 $\frac{\partial y}{\partial \nu}$ 的强收敛性。
• 边界可观测性不等式（定理 1.2 / 定理 5.1）：形状设计框架的主要应用是推导退化方程的边界可观测性不等式：
  $$\int_\Omega y^2(0) dx \leq C \int_{\Gamma_+ \times (0, T)} \left| \frac{\partial y}{\partial \nu} \right|^2 dS dt.$$
  该不等式成立，其中常数 $C$ 仅依赖于 $\alpha$、$T$ 和区域的几何形状，但在允许极限过程的方式上独立于具体的退化参数。
• 常数的一致性：一项重要的技术贡献是证明了 Carleman 估计及随后的可观测性不等式中的常数关于逼近参数 $\delta$ 是一致的。这将该方法与那些可能在区域趋近退化构型时导致常数发散的方法区分开来。

意义与主张
本文主张，形状设计方法相较于截断法或变量分离法等现有技术具有显著优势。虽然截断技术通常解决单一演化系统内的问题，但形状设计方法利用了一组不同的系统（逼近区域）来规避在退化边界上进行分部积分的需求。

作者强调，他们的方法不依赖于关于区域的特定几何假设（凸性和光滑性除外）或迫使整个边界退化的系数矩阵的结构假设。这使得该方法适用于更广泛的高维退化抛物方程类，其中退化仅局限于边界的一段。这些结果为这些具有挑战性的情形下的边界可控性和可观测性提供了理论基础，在这些情形中，传统的分部积分论证失效。