[论文解读] Partial Data Inverse Problems for Maxwell Equations via Carleman Estimates

Francis J. Chung, Petri Ola+2 more|arXiv (Cornell University)|Feb 5, 2015

Numerical methods in inverse problems参考文献 29被引用 4

一句话总结

本文通过柯尔佩曼估计，首次在三维可接受黎曼流形上建立了时谐麦克斯韦方程组的部分数据反问题的唯一性。借助极限柯尔佩曼权函数和边界上部分区域的测量数据，作者证明了电磁材料参数 $\varepsilon$ 和 $\mu$ 唯一确定，将标量反问题技术推广至矢量型麦克斯韦系统。

ABSTRACT

In this article we consider an inverse boundary value problem for the time-harmonic Maxwell equations. We show that the electromagnetic material parameters are determined by boundary measurements where part of the boundary data is measured on a possibly very small set. This is an extension of earlier scalar results of Bukhgeim-Uhlmann and Kenig-Sjöstrand-Uhlmann to the Maxwell system. The main contribution is to show that the Carleman estimate approach to scalar partial data inverse problems introduced in those works can be carried over to the Maxwell system.

研究动机与目标

• 将部分数据反问题结果从标量方程推广至矢量型麦克斯韦系统。
• 基于边界上部分区域的测量数据，建立电磁材料参数 $\varepsilon$ 和 $\mu$ 的唯一性。
• 将此前用于标量反问题的柯尔佩曼估计方法，适配至时谐麦克斯韦方程组。
• 证明当 $\Gamma_1 = \partial M$ 且 $\Gamma_2 \subset \partial M$ 由极限柯尔佩曼权函数定义时，部分柯西数据集 $C^{\Gamma_1,\Gamma_2}$ 唯一确定 $\varepsilon$ 和 $\mu$。
• 将麦克斯韦方程组全数据唯一性结果推广至紧致黎曼3-流形上的部分数据情形。

提出的方法

• 作者使用专为麦克斯韦系统设计的柯尔佩曼估计，以控制具有局部边界数据的解。
• 他们将部分柯西数据集 $C^{\Gamma_1,\Gamma_2}$ 定义为在 $\Gamma_1$ 上具有紧支集电场的解的边界切向迹的集合。
• 分析依赖于在可接受流形上存在极限柯尔佩曼权函数 $\varphi(x) = x_1$，该函数允许构造复几何光学解。
• 使用法向边界坐标分析微分形式在边界附近的性质，并定义相对与绝对边界值。
• 应用包含霍奇星算子、外微分与余微分的分部积分公式，推导边界积分恒等式。
• 通过索伯列夫空间中的逼近与可积性论证，将结果从光滑形式推广至 $H^2$ 与 $H_\Delta$-正则解。

实验结果

研究问题

• RQ1 能否将标量反问题中使用的柯尔佩曼估计方法推广至具有部分数据的矢量型麦克斯韦系统？
• RQ2 当电场在全边界上指定，而磁场在边界子集上测量时，电磁材料参数对 $(\varepsilon, \mu)$ 是否唯一确定？
• RQ3 在可接受流形上极限柯尔佩曼权函数的存在是否能保证部分数据麦克斯韦反问题的唯一性？
• RQ4 由极限柯尔佩曼权函数定义的前表面 $F_\varphi$ 在 $\varepsilon$ 与 $\mu$ 重构中起何作用？
• RQ5 如何在非光滑解情形下，严格定义并控制微分形式在索伯列夫空间中的边界迹？

主要发现

• 当 $\Gamma_1 = \partial M$ 且 $\Gamma_2 \subset \partial M$ 为极限柯尔佩曼权函数的前表面所定义的子集时，电磁材料参数 $\varepsilon$ 和 $\mu$ 由部分柯西数据集 $C^{\Gamma_1,\Gamma_2}$ 唯一确定。
• 该结果在具有 $C^3$ 系数 $\varepsilon, \mu$ 的紧致三维可接受黎曼流形上成立，且满足 $\mathrm{Re}(\varepsilon) > 0$，$\mathrm{Re}(\mu) > 0$，且 $\omega$ 不为共振频率。
• 证明依赖于通过柯尔佩曼估计构造复几何光学解，并利用分部积分与索伯列夫空间对偶性分析其边界迹。
• $E$ 与 $H$ 的边界值在负阶索伯列夫空间中定义良好，从而可将迹恒等式推广至 $H^2$ 与 $H_\Delta$-正则解。
• 光滑形式在 $H_\Delta$-范数下的稠密性确保迹映射在解空间上定义良好且连续。
• 该方法将早期标量方程结果（如 Bukhgeim-Uhlmann、Kenig-Sjöstrand-Uhlmann）推广至麦克斯韦系统，为电磁学中的部分数据反问题建立了新框架。