[论文解读] Reconstruction of less regular conductivities in the plane

Kim Knudsen, Alexandru Tamasan|ArXiv.org|Oct 26, 2001

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

一句话总结

本文提出了一种在二维空间中对具有正则性 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$ 的各向同性电导率进行重构的算法，利用了 Dirichlet-to-Neumann 映射。通过将电导率方程转化为一阶系统，并应用反散射理论中的 $\overline{\partial}$-方法，作者在优于先前工作的正则性条件下实现了精确重构。

ABSTRACT

We study the inverse conductivity problem of how to reconstruct an isotropic electrical conductivity distribution $γ$ in an object from static electrical measurements on the boundary of the object. We give an exact reconstruction algorithm for the conductivity $γ\in C^{1+ε}(\ol \Om)$ in the plane domain $Ω$ from the associated Dirichlet to Neumann map on $\partial \Om.$ Hence we improve earlier reconstruction results. The method used relies on a well-known reduction to a first order system, for which the $\ol\partial$-method of inverse scattering theory can be applied.

研究动机与目标

• 开发一种从边界测量数据重构二维空间中各向同性电导率分布的算法。
• 将精确重构的正则性阈值提升至超越先前结果，特别是改进了 Nachman 的 $C^{1,1}$ 条件。
• 将反散射理论中的 $\overline{\partial}$-方法适配到一阶系统形式，以降低对电导率正则性的要求。
• 建立一个对 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$ 且 $\gamma \geq c > 0$ 有效的严格重构程序。
• 提供一种构造性方法，其与 Nachman 的算法平行，但适用于更弱的光滑性假设。

提出的方法

• 通过变量替换将电导率方程 $\nabla \cdot \gamma \nabla u = 0$ 转化为一阶系统，从而能够应用 $\overline{\partial}$-方法。
• 利用 $\overline{\partial}$-方法求解与一阶系统相关的反散射问题，借助复几何光学解。
• 通过边界积分方程从 Dirichlet-to-Neumann 映射 $\Lambda_\gamma$ 构造散射数据，并将电导率外推至更大区域。
• 求解复平面上涉及 $\overline{\partial}$-算子的积分方程，以恢复散射变换及其相关解。
• 通过公式 $\gamma(z) = \operatorname{Re} \tilde{m}_+(z,0)$ 重构电导率，其中 $\tilde{m}_+$ 是 $\overline{\partial}$-问题的解。
• 利用 Fredholm 选择性与拟解析函数的性质，证明 $\overline{\partial}$-方程解的存在性、唯一性及 Hölder 连续性。

实验结果

研究问题

• RQ1 二维空间中的电导率反问题是否可以在正则性严格低于 $C^{1,1}$ 的条件下求解？
• RQ2 在多大程度上可以将 $\overline{\partial}$-方法适配到一阶系统中，以降低对电导率正则性的要求？
• RQ3 是否能够基于 Dirichlet-to-Neumann 映射 $\Lambda_\gamma$，通过构造性算法实现 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$ 的重构？
• RQ4 将问题转化为一阶系统对基于反散射的重构中可解性与正则性要求有何影响？
• RQ5 在 $C^{1+\epsilon}$ 正则性条件下，重构公式 $\gamma(z) = \operatorname{Re} \tilde{m}_+(z,0)$ 是否可以严格证明？

主要发现

• 本文证明了对于有界且光滑的区域 $\Omega \subset \mathbb{R}^2$，具有正则性 $\gamma \in C^{1+\epsilon}(\overline{\Omega})$ 的电导率可被 Dirichlet-to-Neumann 映射 $\Lambda_\gamma$ 精确重构。
• 该重构算法基于一阶系统形式，相比依赖二阶导数的早期方法，显著降低了正则性要求。
• $\overline{\partial}$-方法被应用于具有 $L^q$-可积系数的系统中，且证明了相关积分方程在 $L^q(\mathbb{R}^2)$ 中解的存在性与唯一性。
• $\tilde{m}_+(z,k)$ 解在固定 $z$ 时关于 $k$ 是 Hölder 连续的，且具有 $C^\alpha(\mathbb{R}^2)$ 正则性，其中 $\alpha = 1 - (1/r + 1/q)$。
• 电导率通过公式 $\gamma(z) = \operatorname{Re} \tilde{m}_+(z,0)$ 重构，该公式由散射数据与 $\overline{\partial}$-解推导得出。
• 该方法提供了一个构造性框架，其与 Nachman 的算法平行，但适用于严格弱于 $C^{1,1}$ 的正则性假设。