[论文解读] Uniqueness of minimizers of weighted least gradient problems arising in conductivity imaging

Amir Moradifam, Adrian Nachman+1 more|arXiv (Cornell University)|Apr 23, 2014

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

一句话总结

本论文建立了在导电成像中由连续权函数 a（可在紧致子集上为零，用于建模绝缘包含物）诱导的加权全变差问题在 BV(Ω) 中极小化器的唯一性。通过基于上水平集和权函数零点集结构假设的新型校准论证，作者证明了即使在 a 为零的情况下，只要极小化器具有适当的正则性，其在 Ω 几乎处处唯一。

ABSTRACT

We prove uniqueness for minimizers of the weighted least gradient problem \[\inf \left\lbrace \int_Ω a|Du|: \ \ u\in BV(Ω), \ \ u|_{\partial Ω}=f ight brace.\] The weight function $a$ is assumed to be continuous and it is allowed to vanish in certain subsets of $Ω$. Existence is assumed a priori. Our approach is motivated by the hybrid inverse problem of imaging electric conductivity from interior knowledge (obtainable by MRI) of the magnitude of one current density vector field.

研究动机与目标

• 在权函数 a 连续且可在紧致子集上为零的条件下，建立加权全变差问题在 BV(Ω) 中极小化器的唯一性。
• 通过在 a 的零点集上引入结构假设，解决绝缘包含物（a = 0）存在时的非唯一性挑战。
• 在假设存在具有足够正则性的极小化器的前提下，证明唯一性，该假设在导电成像背景下自然成立。
• 开发一种基于校准的新证明技术，避免依赖先前工作中用于极小曲面的极大值原理。
• 为混合成像问题中稳定性分析提供严格基础，其中内部数据 |J| 和边界电压 f 受测量误差影响。

提出的方法

• 引入对 (f, a) 对的容许性条件，以确保存在具有适当正则性的极小化器，并允许使用上水平集。
• 定义 |∇u| = 0 的点集 Z，并利用引理 3.2 识别出一组稠密的值 λ，使得上水平集 Fλ 具有可求长边界。
• 应用命题 3.1 证明 reduced boundary ∂*Fλ 与边界 ∂Ω 相交，从而实现对 u 在 ∂Ω 上迹的控制。
• 使用基于向量场 b ∈ L∞(Ω; ℝⁿ) 存在的校准论证，满足 ∇·b ∈ Ln(Ω) 且 a.e. 有 |b| ≤ a，且满足 ∫Ω a|Du| = ∫Ω b·Du。
• 通过反证法建立唯一性：假设存在两个不同的极小化器 u 和 u₁，然后利用上水平集结构和边界迹导出矛盾。
• 利用 u 在 Z 的连通分支上为常数，且在 Ω∖(Z ∪ Ō₀) 上 a.e. 有 u = u₁ 的事实，从而推出全局 a.e. 相等。

实验结果

研究问题

• RQ1 当权函数 a 连续且可能为零时，加权全变差问题 ∫Ω a|Du| 在 BV(Ω) 中的极小化器在何种条件下唯一？
• RQ2 当电导率空间变化并包含绝缘包含物（a = 0）时，能否为导电成像反问题建立唯一性？
• RQ3 本文提出的校准方法是否克服了先前基于极小曲面极大值原理方法的局限性？
• RQ4 为确保在绝缘区域存在时极小化器的唯一性，对 a 的零点集需要哪些必要且充分的结构假设？
• RQ5 假设存在具有正则性性质的极小化器如何影响唯一性证明及其在真实成像问题中的适用性？

主要发现

• 加权全变差问题的极小化器在 Ω ∖ (Z ∪ Ō₀) 上 a.e. 唯一，其中 Z 是 |∇u| = 0 的集合，Ō₀ 是绝缘区域的闭包。
• 通过反证法证明了在 Ω ∖ (Z ∪ Ō₀) 上有 u₁ = u a.e.，利用了上水平集结构和边界迹。
• 在 Z 的每个连通分支 Σ 上，u 为常数，且由于在 Ω ∖ (Z ∪ Ō₀) 上 a.e. 有 u = u₁，因此在 Σ 上 a.e. 有 u = u₁。
• 作者证明了在假设存在具有所需正则性的极小化器的前提下，极小化器在 Ω 上 a.e. 唯一，该假设在导电成像背景下成立。
• 基于校准的方法避免了对极小曲面极大值原理的依赖，相较于先前工作如 [6] 和 [15] 提供了新方法。
• 即使 a 在紧集 O₀ 上为零（用于建模绝缘包含物），只要零点集满足结构假设 (4)，其中 O₀ 是单位球的 C¹-微分同胚有限并集，结果依然成立。