[論文レビュー] 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

ひとこと要約

本稿は、導電度画像法において生じる重み付き最小勾配問題のBV(Ω)における最小化子の一意性を確立する。重み関数aは連続であり、絶縁性インクルージョンをモデル化するコンpakト部分集合で0となる可能性がある。aのゼロ集合に構造的仮定を置き、超レベル集合に基づく新規なキャリブレーション論法を用いることで、aが0であっても、最小化子が存在する適切な正則性を持つという仮定の下で、Ωにおけるほとんど everywhere で最小化子の一意性を証明する。

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が連続であり、コンパクト部分集合で0となる可能性がある場合に、BV(Ω)における重み付き最小勾配問題の最小化子の一意性を確立すること。
• a = 0 である絶縁性インクルージョンの存在下での非一意性の問題に取り組むために、aのゼロ集合に構造的仮定を導入すること。
• 最小化子が十分な正則性を持つと仮定した場合に、一意性を証明すること。これは導電度画像法の文脈において自然に満たされる。
• 従来の研究で用いられた最小曲面の最大原理に依存しない、新規なキャリブレーションに基づく証明技法を開発すること。
• 内部データ|J|と境界電圧fが測定誤差を受けるハイブリッドイメージング問題における安定性解析の厳密な基礎を提供すること。

提案手法

• 適切な正則性を持つ最小化子の存在を保証し、超レベル集合の使用を可能にする、(f, a)の適正性条件を導入する。
• |∇u| = 0 である点の集合Zを定義し、補題3.2を用いて、境界が可rectifiable であるような超レベル集合Fλを特徴づける値λの稠密な集合Λを特定する。
• 命題3.1を適用し、減少境界∂*Fλが境界∂Ωと交差することを示す。これにより、uの∂Ωにおけるトレースを制御できる。
• L∞(Ω; ℝⁿ)に属するベクトル場bで、∇·b ∈ Ln(Ω) かつ a.e. で|b| ≤ a を満たし、∫Ω a|Du| = ∫Ω b·Du が成り立つようなものを用意するキャリブレーション論法を適用する。
• 背理法により一意性を確立する：2つの異なる最小化子uとu₁を仮定し、超レベル集合の構造と境界トレースを用いて矛盾を導く。
• uがZ（|∇u| = 0）の連結成分上で定数であり、Ω∖(Z ∪ Ō₀)上で a.e. でu = u₁ であることから、全域でa.e. で等しいことを導く。

実験結果

リサーチクエスチョン

• RQ1 重み関数aが連続であり、コンパクト部分集合で0となる可能性がある場合に、Ωにおける重み付き最小勾配問題∫Ω a|Du| の最小化子がBV(Ω)で一意となる条件は何か？
• RQ2 導電率が空間的に変動し、絶縁性インクルージョン（a = 0）を含む場合に、導電度画像法の逆問題において一意性が確立できるか？
• RQ3 本稿で開発されたキャリブレーション法は、従来の最小曲面の最大原理に依存する手法の制限を克服できるか？
• RQ4 絶縁領域が存在する状況で最小化子の一意性を保証するために、aのゼロ集合に必要な構造的仮定は何か？
• RQ5 最小化子が所定の正則性を持つと仮定するという前提が、一意性証明に与える影響と、現実の画像処理問題への適用可能性にどう影響するか？

主な発見

• 重み付き最小勾配問題の最小化子は、Z（|∇u| = 0 である点の集合）とŌ₀（絶縁領域の閉包）の補集合であるΩ ∖ (Z ∪ Ō₀) で a.e. で一意である。
• 背理法により、超レベル集合の構造と境界トレースを用いて、u₁ = u a.e. であるΩ ∖ (Z ∪ Ō₀) を証明する。
• Zの各連結成分Σにおいて、uは定数であり、Ω ∖ (Z ∪ Ō₀) で a.e. でu = u₁ であることから、Σ上でも a.e. でu = u₁ であることが導かれる。
• 著者らは、最小化子が所定の正則性を持つと仮定した下で、Ω全域で最小化子が a.e. で一意であることを証明した。これは導電度画像法の文脈で自然に満たされる。
• 最大原理に依存しないキャリブレーションに基づく手法により、[6] や [15] などの先行研究とは異なり、新たな証明戦略を提供する。
• aがコンパクト集合O₀上で0となる場合でも、O₀が単位球のC¹微分同相写像による有限個の像の和集合であるとし、条件(4)を満たす限り、結果は成り立つ。