[论文解读] Partial Data for the Calderon Problem in Two Dimensions

Oleg Yu . Imanouilov, Günther Uhlmann+1 more|ArXiv.org|Sep 18, 2008

Numerical methods in inverse problems参考文献 26被引用 5

一句话总结

本文通过部分边界数据（边界上某开子集的狄利克雷数据和稍大集合上的诺伊曼数据）建立了二维柯瓦列夫斯卡娅问题的全局唯一性。通过将电导率方程转化为薛定谔方程，并利用具有退化权的卡尓曼估计构造复几何光学解，作者证明了在部分测量条件下，电位（因此电导率）是唯一确定的，即使数据有限。

ABSTRACT

We show in two dimensions that measuring Dirichlet data for the conductivity equation on an open subset of the boundary and, roughly speaking, Neumann data in slightly larger set than the complement uniquely determines the conductivity on a simply connected domain. The proof is reduced to show a similar result for the Schrödinger equation. Using Carleman estimates with degenerate weights we construct appropriate complex geometrical optics solutions to prove the results.

研究动机与目标

• 在仅获得部分边界测量时，建立二维柯瓦列夫斯卡娅问题的全局唯一性。
• 将高维部分数据唯一性结果扩展至形式上确定的二维情形。
• 证明电导率（或等价于薛定谔方程中的电位）由边界上某子集的狄利克雷数据和稍大集合上的诺伊曼数据唯一确定。
• 开发并应用具有退化权的卡尓曼估计，以在二维中构造复几何光学解。
• 弥合文献空白，证明二维薛定谔方程在部分数据下的唯一性，此前该问题尚不明确。

提出的方法

• 通过变换 $ q = \Delta\sqrt{\gamma}/\sqrt{\gamma} $ 将电导率方程转化为薛定谔方程，从而可应用已知的薛定谔方程技术。
• 使用具有退化权的卡尓曼估计，在二维中构造薛定谔方程的复几何光学（CGO）解。
• 定义部分柯西数据集 $ \mathcal{C}_{q,\epsilon} $，其包含在 $ \Gamma_+ = S^1 \setminus \Gamma_- $ 上的狄利克雷数据和在稍大集合 $ \Gamma_{-,ε} $ 上的诺伊曼数据。
• 通过复几何光学解的渐近行为及类似驻相法的论证，证明若这些部分柯西数据集相等，则电位 $ q_1 = q_2 $。
• 对相函数 $ \widetilde{\Phi}_k(z) $ 的临界点应用扰动论证，通过分析某一积分泛函的导数，证明电位在原点必须为零。
• 利用 $ \widetilde{\Phi}_k $ 的临界点收敛于极限相函数 $ \widetilde{\Phi} $ 的临界点，推导出 $ q(0) = 0 $，从而得出全局唯一性。

实验结果

研究问题

• RQ1 在二维单连通区域中，能否通过部分边界测量——具体为边界上某开子集的狄利克雷数据和稍大集合上的诺伊曼数据——唯一确定电导率？
• RQ2 是否可以将已知于 $ n \geq 3 $ 维中的部分数据唯一性结果推广至二维情形，尽管该问题在形式上是确定的？
• RQ3 能否使用具有退化权的卡尓曼估计在二维中构造复几何光学解，以处理部分数据？
• RQ4 在二维中唯一恢复薛定谔方程电位所需的最小边界数据量是多少？
• RQ5 复几何光学构造中相函数临界点的结构如何影响部分数据下的唯一性证明？

主要发现

• 主要结果表明，若对某个 $ \epsilon > 0 $，部分柯西数据集 $ \mathcal{C}_{q_1,\epsilon} $ 与 $ \mathcal{C}_{q_2,\epsilon} $ 相等，则 $ q_1 = q_2 $，从而证明了薛定谔电位的唯一性。
• 该证明依赖于使用具有退化权的卡尓曼估计构造复几何光学解，这是在二维中首次采用的创新方法。
• 作者表明，在给定的部分数据条件下，电位必须在原点为零，通过解析延拓和临界点分析，可推出 $ q \equiv 0 $，从而实现全局唯一性。
• 该结果适用于 $ C^{1+\ell} $ 电位（$ \ell > 0 $），优于相关部分数据问题中先前的正则性假设。
• 该方法成功处理了二维柯瓦列夫斯卡娅问题的形式确定性，通过利用边界数据的结构和相函数临界点的几何特性。
• 首次建立了二维薛定谔方程在部分数据下的唯一性结果，此前该问题尚属开放，该结果也意味着电导率方程的相应唯一性成立。