[论文解读] On an inverse boundary problem arising in brain imaging

Youjun Deng, Hongyu Liu+1 more|arXiv (Cornell University)|Feb 1, 2017

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

一句话总结

本文通过时间域麦克斯韦系统框架，基于边界电场与磁场测量，首次实现了在脑样介质中对电流传导源及分段常数电磁参数（介电常数、磁导率、电导率）的唯一性恢复。作者在非线性逆问题框架下，证明了在一般条件下（特别是当电流源方向不变或为谐波时）的可识别性，显著推进了包含完整介质表征的脑电/脑磁逆成像技术。

ABSTRACT

We consider the inverse problem of recovering both an unknown electric current and the surrounding electromagnetic parameters of a medium from boundary measurements. This inverse problem arises in brain imaging. We show that under generic conditions one can recover both the source and the electromagnetic parameters if these are piecewise constant and the current source is invariant in a fixed direction or a harmonic function.

研究动机与目标

• 解决在脑成像中，从边界测量同时恢复未知电流传导源与周围电磁参数的逆问题。
• 建立联合恢复源与介质参数的可识别性与唯一性的充分条件。
• 通过同时恢复介质参数（ε, μ, σ）与电流源 J，扩展现有脑电信号/脑磁信号逆源问题。
• 分析电流源在固定方向不变或为谐波情形下，介质参数为分段常数时的恢复问题。
• 通过将介质视为未知且可同时恢复，为改进脑成像技术提供理论基础。

提出的方法

• 在有界区域 B ⊂ ℝ³ 内，基于具有因果电流源和分段常数电磁参数的时间域麦克斯韦系统，构建逆问题模型。
• 定义边界测量算子 Π，将边界 ∂B × ℝ₊ 上的电场与磁场映射到未知参数。
• 采用层势技术与边界积分方程分析系统，特别使用背景格林函数的单层与双层势。
• 应用跳跃关系与迹算子，推导边界上的积分方程，得到涉及 ∂B 与 ∂Σ₁ 上未知量 g, h, l, m 的方程组。
• 利用所得边界积分方程解的唯一性及系统结构，证明除非所有参数完全匹配，否则将导致矛盾。
• 对双层介质结构施加可容许性条件，以确保所导出方程组的可解性与唯一性。

实验结果

研究问题

• RQ1 能否从电场与磁场的边界测量中，唯一恢复电流传导源与电磁参数（ε, μ, σ）？
• RQ2 在何种条件下，联合恢复源与介质参数的逆问题具有可识别性？
• RQ3 当电流源方向不变或为谐波时，唯一性结果是否仍成立，而非仅适用于任意源？
• RQ4 介质参数的分段常数结构如何影响逆问题的可识别性？
• RQ5 该理论框架能否推广至具有类似唯一性保证的 N 层分段常数介质？

主要发现

• 在一般条件下（包括分段常数参数及源在方向上不变或为谐波），联合恢复电流源 𝒥 与电磁参数（ε, μ, σ）的逆问题具有唯一可识别性。
• 证明依赖于边界积分方程技术及所得方程组的唯一可解性，除非所有参数完全匹配，否则将导致矛盾。
• 对于满足可容许性条件（3.45）的双层介质结构，边界测量可唯一恢复源与介质参数。
• 该方法可推广至 N 层分段常数介质，尽管可容许性条件更为复杂，且未明确给出 N > 2 的情形。
• 条件（3.45）被证明是通用的，并可在球对称几何中验证，支持理论结果的实际适用性。
• 分析结果表明，边界测量算子 Π 唯一确定了完整配置（𝒥, ε, μ, σ），解决了长期存在的脑电信号/脑磁信号成像中介质属性未知条件下的关键挑战。