[论文解读] Partial Cauchy Data for General Second-Order Elliptic Operators in Two Dimensions

Oleg Imanuvilov, Günther Uhlmann+1 more|arXiv (Cornell University)|Oct 27, 2010

Numerical methods in inverse problems参考文献 19被引用 6

一句话总结

本文证明，当在边界任意开子集上测量部分柯西数据时，二维一般二阶椭圆算子的系数在自然几何与规范对称性（如共形不变性、规范变换和微分同胚不变性）下唯一确定。关键结果证明了通过磁 Schrödinger 算子的部分 Dirichlet-to-Neumann 数据可唯一确定磁势的旋度与电势。

ABSTRACT

We consider the inverse problem of determining the coefficients of a general second-order elliptic operator in two dimensions by measuring the corresponding Cauchy data on an arbitrary open subset of the boundary. We show that one can determine the coefficients of the operator up to natural obstructions such as conformal invariance, gauge transformations and diffeomorphism invariance. We use the main result to prove that the curl of the magnetic field and the electric potential are uniquely determined by measuring partial Cauchy data associated to the magnetic Schroedinger equation measured on an arbitrary open subset of the boundary. We also show that any two of the three coefficients of a second order elliptic operator whose principal part is the Laplacian, are uniquely determined by their partial Cauchy data.

研究动机与目标

• 确定二维一般二阶椭圆算子的系数在边界任意开子集上测量的部分柯西数据条件下，其唯一恢复的范围。
• 识别阻碍系数唯一恢复的自然对称性（如共形不变性、规范变换和微分同胚不变性）。
• 证明磁 Schrödinger 方程中磁势的旋度与电势可通过边界任意开子集上的部分柯西数据唯一确定。
• 证明具有拉普拉斯主部的二阶椭圆算子的三个系数中，任意两个均可由其部分柯西数据唯一确定。

提出的方法

• 使用具有高度振荡相位的复几何光学（CGO）解，构造椭圆方程的特解。
• 应用频率参数趋于无穷时的渐近分析，提取系数差异的信息。
• 利用 Carleman 估计与涉及解差的积分恒等式，推导渐近展开式。
• 利用复坐标下拉普拉斯-贝尔特拉米算子的结构，处理度量与一阶项。
• 通过度量的逆与复微分 $ \partial/\partial z $, $ \partial/\partial \overline{z} $ 构造算子的拟逆。
• 通过迹定理与分部积分分析边界项，以在渐近展开中分离出系数的贡献。

实验结果

研究问题

• RQ1 在边界任意开子集上测量的部分柯西数据条件下，二维一般二阶椭圆算子的系数能多大程度上唯一确定？
• RQ2 哪些自然对称性会阻碍系数的唯一恢复，它们如何影响反问题？
• RQ3 磁 Schrödinger 方程中磁势的旋度与电势能否通过部分柯西数据唯一恢复？
• RQ4 具有拉普拉斯主部的二阶椭圆算子的三个系数中，任意两个能否由其部分柯西数据唯一确定？
• RQ5 规范变换、共形不变性与微分同胚如何影响部分柯西数据集的等价性？

主要发现

• 当在边界任意开子集上测量部分柯西数据时，二维一般二阶椭圆算子的系数在共形不变性、规范变换与微分同胚不变性下唯一确定。
• 磁 Schrödinger 方程中磁势的旋度与电势可通过边界任意开子集上的部分柯西数据唯一确定。
• 主部为拉普拉斯算子的二阶椭圆算子的三个系数中，任意两个均可由其部分柯西数据唯一确定。
• 主要结果通过复几何光学解的渐近分析建立，表明若柯西数据相同，则系数差异必为零。
• 证明依赖于构造具有特定振荡行为的解，并分析频率趋于无穷时渐近展开中的主导项。
• 所导出的渐近公式涉及区域与边界上的积分，主导项捕捉了系数差异 $ A_1 - A_2 $, $ B_1 - B_2 $ 与 $ q_1 - q_2 $，在数据等价条件下这些差异为零。