[论文解读] On the reconstruction of conductivity of bordered two-dimensional surface in R^3 from electrical currents measurements on its boundary

Gennadi M. Henkin, Roman Novikov|arXiv (Cornell University)|Mar 25, 2010

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

一句话总结

本文提出了一种构造性方法，通过边界电流测量，利用Dirichlet-to-Neumann映射，在R³中嵌入的带边二维曲面X上重建各向同性电导率σ。通过利用∂-方法和黎曼曲面上的复分析，该方法将原本仅在R²中有效的逆电导率重构方案推广至R³中的曲面，借助到C³的全纯嵌入，实现了无需对σ作小量假设的精确重构。

ABSTRACT

An electrical potential U on bordered surface X (in Euclidien three-dimensional space) with isotropic conductivity function sigma>0 satisfies equation d(sigma d^cU)=0, where d^c is real operator associated with complex (conforme) structure on X induced by Euclidien metric of three-dimensional space. This paper gives exact reconstruction of conductivity function sigma on X from Dirichlet-to-Neumann mapping (for aforementioned conductivity equation) on the boundary of X. This paper extends to the case of the Riemann surfaces the reconstruction schemes of R.Novikov (1988) and of A.Bukhgeim (2008) given for the case of domains in two-dimensional Euclidien space. The paper extends and corrects the statements of Henkin-Michel (2008), where the inverse boundary value problem on the Riemann surfaces was firstly considered.

研究动机与目标

• 将逆电导率重构方法从R²中的平面区域推广至R³中嵌入的一般带边曲面。
• 建立仅基于边界电流传导测量对曲面X ⊂ R³上电导率σ的严格重构程序。
• 消除以往限制逆电导率重构方案适用性的对σ的小量假设。
• 将∂-方法和Faddeev-Green函数方法推广至R³中具有非平凡几何结构的曲面。
• 为R³中紧致带边黎曼曲面上方程d(σ dᶜU)|X = 0的逆边界值问题提供完整解法。

提出的方法

• 利用X上由欧氏度量诱导的复结构定义算子dᶜ = i(∂̄ − ∂)，从而启用共形几何工具。
• 通过代换ψ = √σ U，将电导率方程d(σ dᶜU)|X = 0约化为Schrödinger型方程ddᶜψ = qψ，其中q = ddᶜ√σ / √σ。
• 通过Beltrami方程∂̄φ = μ∂φ的解构造全纯嵌入φ: X → C³，将X映射为C³中的光滑代数曲线V。
• 应用∂-方法通过构造具有指定渐近行为（当|z| → ∞时）的Jost型解ψ(z,λ)来求解逆问题。
• 利用Dirichlet-to-Neumann映射恢复ψ的边界数据，随后通过涉及Faddeev-Green函数的积分方程重构散射数据。
• 采用驻定相位法和指数多项式估计（Ehrenpreis–Berenstein–Dostal）从谱数据中恢复电导率。

实验结果

研究问题

• RQ1 能否将R³中曲面X ⊂ R³上的逆电导率问题约化为C³中黎曼曲面上的可解逆问题？
• RQ2 是否可能在不作σ的小量假设下，仅从Dirichlet-to-Neumann映射重构X上的σ？
• RQ3 如何将∂-方法从平面区域推广至R³中具有非平凡曲率的曲面？
• RQ4 X到C³的全纯嵌入在σ的重构中起何种作用？
• RQ5 从边界电流测量导出的谱数据能否唯一确定X上电导率函数σ？

主要发现

• 带边曲面X ⊂ R³上的电导率σ可精确地从Dirichlet-to-Neumann映射U|∂X → σ dᶜU|∂X中重构。
• 该重构过程无需对σ作任何小量假设，扩展了以往需施加此类限制的研究结果。
• 该方法依赖于通过Beltrami方程的解将X嵌入C³，从而得到光滑代数曲线V，使复分析工具得以应用。
• 关联∂-方程的解ψ(z,λ)通过涉及Faddeev-Green函数的积分方程构造，对所有λ ∈ C \ E保证存在性与唯一性。
• 散射矩阵Δθ(λ)的行列式被证明为指数多项式，其增长性质（通过Ehrenpreis不等式）确保了重构的唯一性与稳定性。
• 最终的重构公式通过振荡积分的渐近分析和驻定相位法导出，实现了从边界数据对σ的精确恢复。