[論文レビュー] Hybrid inverse problems and internal functionals

Guillaume Bal|arXiv (Cornell University)|Oct 21, 2011

Numerical methods in inverse problems参考文献 68被引用数 65

ひとこと要約

この論文は、ハイブリッド逆問題の第二段階—高分解辨度の前方問題の解の内部関数形から高対比パラメータを再構成する—を解くための数学的技法をレビューする。複素幾何学的光線（CGO）解の使用により、楕円型方程式の解における臨界点の不在といった定性的性質を検証することで、一意性と安定性を確立することに注力している。

ABSTRACT

This paper reviews recent results on hybrid inverse problems, which are also called coupled-physics inverse problems of multi-wave inverse problems. Inverse problems tend to be most useful in, e.g., medical and geophysical imaging, when they combine high contrast with high resolution. In some settings, a single modality displays either high contrast or high resolution but not both. In favorable situations, physical effects couple one modality with high contrast with another modality with high resolution. The mathematical analysis of such couplings forms the class of hybrid inverse problems. Hybrid inverse problems typically involve two steps. In a first step, a well-posed problem involving the high-resolution low-contrast modality is solved from knowledge of boundary measurements. In a second step, a quantitative reconstruction of the parameters of interest is performed from knowledge of the point-wise, internal, functionals of the parameters reconstructed during the first step. This paper reviews mathematical techniques that have been developed in recent years to address the second step. Mathematically, many hybrid inverse problems find interpretations in terms of linear and nonlinear (systems of) equations. In the analysis of such equations, one often needs to verify that qualitative properties of solutions to elliptic linear equations are satisfied, for instance the absence of any critical points. This paper reviews several methods to prove that such qualitative properties hold, including the method based on the construction of complex geometric optics solutions.

研究の動機と目的

• ハイブリッド逆問題の第二段階に対処すること。ここでは、解の内部関数形を用いて高対比パラメータを再構成する。
• 測定値 $ \gamma(x)u(x) $ や $ \gamma(x)|\nabla u(x)|^2 $ からの再構成の、一意性と安定性を分析すること。
• 特に、解の定性的性質—特に臨界点の不在—が、安定な再構成を保証する役割を調査すること。
• 安定かつ一意な再構成を可能にする適切な照明（境界条件）の存在の理論的基盤を確立すること。
• 非滑らかな係数や三次元設定への結果の拡張における限界と未解決の課題を探索すること。

提案手法

• 楕円型方程式およびヘルムホルツ方程式の特殊解を、所望の漸近的挙動を有する複素幾何学的光線（CGO）解を用いて構成する。
• CGO解を用いて、楕円型方程式の解が臨界点を持たないことを検証し、逆問題における安定性のための重要な要件を満たすことを示す。
• 内部関数形 $ H(x) = \gamma(x)u(x) $ や $ H(x) = \gamma(x)|\nabla u(x)|^2 $ から生じる線形および非線形方程式系を分析する。
• 摂動の大きさの小ささや係数に関する特定の正則性仮定の下で、一意性および安定性の推定を確立する。
• 単一または複数の電力密度または電流密度測定値からの再構成を検討し、その可逆性と安定性を分析する。
• 第一段階（高分解辨度モダリティ）の適切な定式化に依存し、内部データからの係数の回復という逆問題に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 係数 $ \gamma $ が $ \gamma(x)u(x) $ や $ \gamma(x)|\nabla u(x)|^2 $ といった内部関数形によって一意に特定される条件は何か？
• RQ2 解 $ u $ に臨界点が存在しないことは、ハイブリッド逆問題における再構成の安定性および一意性にどのように影響するか？
• RQ3 複素幾何学的光線解を用いて、解 $ u $ に臨界点が存在しないような照明（境界条件）を構成可能か？その結果、安定な再構成が可能になるか？
• RQ4 係数 $ \gamma $ が滑らかでない、あるいは有界 Variation（BV）正則性を満たす場合、再構成の安定性特性はどのように変化するか？
• RQ5 ハイブリッド逆問題の第一段階（例えば波動方程式や輸送方程式の解法）における誤差が、第二段階の再構成にどのように伝搬され、影響を及ぼすか？

主な発見

• 複素幾何学的光線解の使用により、臨界点の不在という安定再構成のための重要な要件を満たす楕円型およびヘルムホルツ方程式の解を構成可能である。
• 摂動の小ささ条件や特定の係数クラスの下で、再構成の一意性および安定性が確立され、特に $ |\nabla u| $ が消えない場合に有効である。
• 二次元では、広範な境界条件のクラスに対して臨界点の不在を保証でき、堅牢な再構成が可能である。
• 三次元設定では、拡散係数が定数に近い場合に、有望な数値結果が報告されており、$ |\nabla u| $ が消えないことが保証されている。
• 安定性推定がリプシッツ型またはオーダー型であることが示され、内部関数形が低ノイズで正確に知られている場合には良好な再構成品質が得られることを示している。
• 理論は滑らかな係数を仮定する必要があるため、非滑らかまたはBV正則性を満たす係数における再構成の挙動は、未解決の問題のまま残っている。