An Inverse Problem for the Prescribed Mean Curvature

技术摘要：关于预设平均曲率的反问题

问题陈述
本文研究了二维预设平均曲率（Prescribed Mean Curvature, PMC）方程的反源问题。在有界区域 $\Omega \subset \mathbb{R}^2$ 上的控制方程为：
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
其中 $H \in C^\alpha(\Omega)$ 是代表预设平均曲率的源函数。目标是从 Dirichlet-to-Neumann (DN) 映射 $\Lambda_H$ 中唯一确定源函数 $H$。DN 映射将边界值 $f$ 映射为法向导数 $\partial_\nu u|_{\partial\Omega}$。作者建立，如果两个源函数 $H$ 和 $\tilde{H}$ 的 DN 映射在对于固定的背景值 $f_0$ 足够接近的边界数据下一致，且 $H$ 与 $\tilde{H}$ 在边界上高阶相等，则在整个 $\Omega$ 内都有 $H = \tilde{H}$。

方法论
证明依赖于高阶线性化技术、由此产生的线性方程分析以及复几何光学（CGO）解的结合。该方法论分为几个不同的阶段：

1. 一阶线性化与几何解释：
   作者围绕对应于固定边界值 $f_0$ 的背景解 $u_0$ 对非线性 PMC 方程进行线性化。一阶线性化产生了一个各向异性电导方程：
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   其中度规张量 $g$ 显式地取决于背景解的梯度 $\nabla u_0$。具体而言，$g^{-1}$ 对应于由欧几里得度规和 $u_0$ 的梯度导出的黎曼度规。这把非线性方程的反问题转化为一个系数依赖于未知背景解的线性方程的反问题。

2. 边界信息与规范不变性：
   利用 DN 映射一致性的假设，作者推导出与 $H$ 和 $\tilde{H}$ 相关的度规 $g$ 和 $\tilde{g}$ 通过一个共形微分同胚 $\phi: \Omega \to \Omega$ 相关联，使得 $g = \lambda \phi^* \tilde{g}$。通过分析边界行为并利用唯一连续性性质，他们证明了 $\phi$ 在边界上是无限阶相等的，并且背景解的梯度模长满足 $|\nabla u_0| = |\nabla \tilde{u}_1| \circ \phi$。

3. 二阶线性化与积分恒等式：
   为了打破剩余的规范不变性并建立完整的梯度相等性（$\nabla u_0 = \nabla \tilde{u}_0$），作者进行了二阶线性化。这产生了一个涉及 $\Omega$ 上积分恒等式的耦合系统，形式如下：
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   其中 $T$ 是由变换后的背景解梯度定义的向量场，$v_0, v_1, v_2$ 是第一线性化方程的解。项 $\mathcal{L}$ 涉及这些解的梯度和拉普拉斯算子。

4. 复几何光学 (CGO) 解：
   作者为与度规 $g$ 相关的 Schrödinger 型方程构造了特定的 CGO 解。这些解的形式为 $v = e^{\Phi/h}(a + r_h)$，其中 $\Phi$ 是全纯 Morse 函数，$a$ 是全纯振幅，$r_h$ 是修正项。通过选择具有特定相位行为的解（有些带有临界点，有些则没有），他们在参数 $h \to 0$ 时进行渐近分析。这种分析隔离了积分恒等式的领先阶项，有效地探测了内部点处的向量场 $T$。

5. 通过 Liouville 型刚性实现唯一性：
   渐近分析导致一个方程组，暗示 $T$ 的分量满足一个椭圆偏微分方程。结合 $T$ 在边界处高阶消失（由 $H$ 和 $\tilde{H}$ 的边界一致性得出）的事实，唯一连续性原理迫使 $T \equiv 0$ 在 $\Omega$ 内成立。这蕴含了 $\nabla u_0 = \nabla \tilde{u}_0$。最后，应用二维共形映射的 Liouville 型唯一性结果来表明微分同胚 $\phi$ 必须是恒等映射，从而证明 $H = \tilde{H}$。

主要贡献与结果

• 首次处理拟线性方程的反源问题： 本文首次对拟线性椭圆方程进行了严谨的反源问题处理。此前该领域的工作主要集中在线性方程或不含源项的非线性项反问题上。
• 推导耦合非线性系统： 作者从边界测量中推导出了一个耦合的代数与几何偏微分方程系统。该系统将源函数与背景解的梯度及度规的共形因子联系起来。
• 唯一性定理： 主要结果（定理 1.1）证明了在源在边界上高阶相等的情况下，可以从 DN 映射唯一确定二维中的源函数 $H$。
• 各向异性 Calderón 理论的应用： 这项工作展示了各向异性 Calderón 反问题的创新应用。尽管原始的 PMC 方程是在欧几里得区域上定义的，但其线性化自然地导向了一个系数依赖于解的各向异性电导方程，从而架起了非线性反问题与几何反问题之间的桥梁。

意义与动机
作者将这项工作定位为解决一般拟线性椭圆方程 $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$ 反问题的基础性步骤。预设平均曲率方程是一个典型的例子。

论文强调了 PMC 方程在模拟受外部力平衡张力作用下的表面（如具有内部压力的肥皂泡、毛细管表面和生物膜）方面的物理相关性。此外，作者指出，在 AdS/CFT 对偶框架内，最小曲面（$H=0$ 的情况）的反问题在理论物理中具有日益增长的重要性，而传统的数学工具在这些情况下有时显得不足。通过将这些技术扩展到预设平均曲率的情形，本文为这些物理应用提供了数学工具箱。

方法论上的贡献在于成功地将高阶线性化与 CGO 解相结合，以处理拟线性方程的特定结构，克服了由非线性和源项带来的挑战。作者强调，类似的耦合方程系统很可能会出现在其他拟线性方程的反问题中，这表明了其方法的广泛适用性。