Lipschitz stability for an inverse source problem of the wave equation with kinetic boundary conditions

技术摘要：具有动力学边界条件的波动方程逆源问题的 Lipschitz 稳定性

问题陈述
本文研究了定义在有界区域 $\Omega \subset \mathbb{R}^n$ 上的波动方程的逆源问题，其边界为光滑边界 $\Gamma = \Gamma_0 \cup \Gamma_1$。该系统包含混合边界条件：在 $\Gamma_0$ 上为 Dirichlet 条件，在 $\Gamma_1$ 上为动力学（动能）边界条件。动力学条件考虑了边界上的波动量以及体-面相互作用，由方程 $\partial^2_t y_\Gamma - \delta \Delta_\Gamma y_\Gamma + d\partial_\nu y + q_\Gamma(x)y_\Gamma = g(x,t)$ 建模，其中 $y_\Gamma$ 是解在边界上的迹，$\Delta_\Gamma$ 是 Laplace-Beltrami 算子，$\partial_\nu$ 表示法向导数。

主要目标是实现从对边界通量 $\partial_\nu y$ 在子集 $\gamma \subset \Gamma_0$ 上的单次部分测量中，同时确定两个未知强迫项 $f(x,t)$（体部）和 $g(x,t)$（边界 $\Gamma_1$）的全局 Lipschitz 稳定性。假设源项属于一个容许集 $S(C_0)$，其时间导数受其初始值的限制。

方法论
核心方法论依赖于为具有动力学边界条件的波动系统推导一个精细的全局 Carleman 估计。作者采用了以下改进步骤：

1. 修正先前的权重函数： 作者识别出 Gal 和 Tebou [16] 在使用权重函数 $\zeta(x,t) = |x-x_0|^2 - \beta t^2 + C_0$ 时存在的一个关键缺陷。在 [16] 中声称的恒等式 $\nabla^2_\Gamma \zeta = 2I$ 被证明对于标准区域（例如球面）是不正确的。为了解决这个问题，作者引入了一个新的权重函数 $\psi(x,t) = \psi_0(x) - \beta t^2 + C_1$，其中 $\psi_0(x) = \mu^2(x)$，且 $\mu$ 是与包含在 $\Omega$ 内的凸集 $\Omega_1$ 相关的 Minkowski（测度）函数。这种构造确保了在 $\Gamma_1$ 上 $\nabla_\Gamma \psi = 0$ 且 $\nabla^2_\Gamma \psi = 0$，从而在不依赖于错误恒等式的情况下满足必要的伪凸性条件。

2. Carleman 估计的推导： 利用新的权重函数，作者推导了动力学边界条件下的系统 Carleman 估计（定理 3.1）。一项关键的技术成就是，在满足条件 $\delta > d$ 时，能够将涉及切向梯度 $|\nabla_\Gamma y_\Gamma|^2$ 的项保留在不等式的左侧。这是通过仔细选择参数 $\beta$ 并利用新权重函数的性质实现的，避免了以往研究中所需的随时间变化的截断函数。

3. 稳定性证明： 通过扩展一种近期的方法（避免使用截断函数）到动力学边界设置中来解决逆问题。通过对系统进行时间求导，并将推导出的 Carleman 估计应用于时间导数解，作者将源项的 $L^2$ 范数与边界通量时间导数 $\partial_t \partial_\nu y$ 的观测值联系起来。

4. 可控性应用： 作为次要应用，建立的 Carleman 估计通过标准的对偶论证，被用于证明仅在 Dirichlet 部分 $\gamma \subset \Gamma_0$ 上作用控制的系统的精确边界可控性。

主要结果

• 定理 3.1 (Carleman 估计)： 本文为具有动力学边界条件的波动方程建立了全局 Carleman 估计。该估计通过使用确保边界上伪凸性的有效权重函数，修正并改进了 [16] 中的结果。至关重要的是，在条件 $\delta > d$ 下，该估计将切向导数项 $|\nabla_\Gamma y_\Gamma|^2$ 吸收到左侧，提供了一个更精细的不等式。
• 定理 4.1 (Lipschitz 稳定性)： 对于时间 $T$ 大于特定的最小时间 $T^*$（取决于几何形状和波速）且满足 $\delta > d$ 的情况，作者证明了全局 Lipschitz 稳定性估计：
  $$\|f\|_{L^2} + \|g\|_{L^2} \leq C \|\partial_t \partial_\nu y\|_{L^2(\gamma \times (0,T))}$$
  该结果保证了从单次边界测量中实现源项的唯一且稳定的恢复。
• 定理 5.5 (精确可控性)： 该系统被证明在时间 $T > 2T^*$ 内是精确可控的，其中使用作用于 Dirichlet 边界子集 $\gamma$ 的单个控制力。这改进了以往需要两个控制力的结果。

意义与主张
作者声称这项工作提供了第一个针对具有一般动力学/Dirichlet 边界条件的逆双曲问题的全局 Lipschitz 稳定性结果。其意义在于：

1. 严谨修正： 本文修正了 Gal 和 Tebou [16] 这项开创性工作中关于权重函数分析的一个基本错误，该错误依赖于错误的边界 Hessian 恒等式。
2. 锐度（Sharpness）： 推导出的 Carleman 估计是“锐利”的，因为它将切向导数项置于左侧（在 $\delta > d$ 条件下），而之前的估计将其置于右侧或需要额外的假设。
3. 方法论进步： 本文展示了原本用于 Schrödinger 方程的不同权重函数如何能成功地适配到具有动力学边界条件的波动方程中，克服了与体部和表面动力学耦合相关的困难。
4. 最优性： 可控性结果被认为是锐利的，因为它实现了在 Dirichlet 部分使用单个控制的精确可控性，这与之前使用两个控制的著作形成对比。

论文最后指出了开放性问题，特别是 $\delta \leq d$ 的情况（此时当前的 Carleman 估计无法吸收某些项），以及将这些结果扩展到整个边界 $\Gamma$ 上都施加动力学边界条件的情况。