[論文レビュー] Examples of exponential instability for elliptic inverse problems

Michele Di Cristo, Luca Rondi|ArXiv.org|Mar 11, 2003

Numerical methods in inverse problems参考文献 20被引用数 8

ひとこと要約

本稿は、楕円型逆問題における指数的不安定性を示す一般の位相的手法を確立する。係数や幾何的特徴（包含物、き裂、空洞など）の同定問題が境界測定値から指数的不安定であることを示し、KolmogorovとTihomirovの枠組みにインspiredされた手法により、安定性見積もりが最良でも対数的であることを証明する。非構成的だが厳密な不安定性例を通じて、これらの問題の深刻な不安定性を確認する。

ABSTRACT

Following a recent paper by N. Mandache (Inverse Problems 17 (2001), pp. 1435-1444), we establish a general procedure for determining the instability character of inverse problems. We apply this procedure to many elliptic inverse problems concerning the determination of defects of various types by different kinds of boundary measurements and we show that these problems are exponentially ill-posed.

研究の動機と目的

• 楕円型逆問題における指数的不安定性を示す一般の手法を確立すること。
• 係数または幾何的特徴の同定を含む逆問題が、対数的タイプの不安定性によって著しく不安定であることを示すこと。
• Mandacheの手法を包含物・き裂・空洞を含む広範な楕円型逆問題のクラスに拡張すること。
• このような問題における安定性見積もりが、対数的順序まで最適であることを証明し、指数的不安定性を確認すること。
• メトリック・エントロピーと被覆数に基づく、非構成的だが厳密な不安定性解析のフレームワークを提供すること。

提案手法

• KolmogorovとTihomirovの位相的議論を応用し、データ空間における前方写像の像の被覆数を分析する。
• メトリック・エントロピーの概念を用いて、半径δの球でデータ空間をどれだけ密に被覆できるかを定量化し、その球の数をg(δ)で表す。
• それらの前方写像出力がデータ空間で近く、しかし未知の空間では遠く離れているような障害物（包含物、き裂、空洞）の族を構成し、不安定性を示す。
• 球面調和関数とハルケル関数の漸近挙動を用いて、散乱問題における音響的軟性・硬性障害物に対してもこの手法を適用する。
• L^2ノルムにおける遠方パターンの推定値を用いて、異なる障害物間の散乱場の差を抑え込む。
• ハルケル関数の漸近的挙動を用いて、一様な係数の上限を導出し、パラメータ範囲全体にわたる不安定性スケーリングが一様に成り立つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 楕円型逆問題における指数的不安定性を示す一般の手法を開発できるか？
• RQ2 包含物・き裂・空洞の検出を含む逆問題が指数的不安定であるか？
• RQ3 これらの逆問題における既存の対数的安定性見積もりはどの程度最適か？
• RQ4 解の明示的構成なしに、位相的およびメトリック・エントロピー的議論のみで不安定性を示せるか？
• RQ5 未知の障害物の正則性および測定周波数の数に応じて、不安定性はどのようにスケーリングするか？

主な発見

• 逆伝導度問題は指数的不安定であり、[1]における対数的安定性見積もりが最適であることを確認する。
• 音響的軟性・硬性障害物に対して、データ差が$ \exp(-\varepsilon^{-\alpha_1}) $の形で小さくなる指数的不安定性が示された。
• データ空間を被覆するδ-球の数は$ \exp(j C_8 (-\log \delta)^{2N-1}) $の形で増加し、被覆数における指数的不安定性を示す。
• $ C^{1,\alpha} $-正則な障害物に対しても不安定性が維持され、正則性仮定が指数的不安定性を防げないことを示す。
• 空洞・包含物・き裂のあらゆる欠陥タイプにわたって一様に適用可能であり、共通の不安定性メカニズムを確認する。
• 次元$ N \geq 2 $の任意の次元で成立し、不安定性指数は$ N $および障害物の正則性に依存する。