[論文レビュー] On instability mechanisms for inverse problems

Herbert Koch, Angkana Rüland+1 more|arXiv (Cornell University)|Dec 3, 2020

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

ひとこと要約

本稿は、前方作用素のグローバルまたはミクロローカルな滑らかさに基づく強力な圧縮性から導かれる、線形および非線形逆問題のための3つのロバストな不安定性メカニズムを導入する。本稿は、カルデロン型問題、一意的拡張性、後向き熱方程式でさえ、粗い幾何構造や低正則性係数の下でも対数的不安定性が本質的であることを確立しており、対称性や明示的計算に依存せずに、不適切な問題の度合いを定量化する一般枠組みを提供する。

ABSTRACT

In this article we present three robust instability mechanisms for linear and nonlinear inverse problems. All of these are based on strong compression properties (in the sense of singular value or entropy number bounds) which we deduce through either strong global smoothing, only weak global smoothing or microlocal smoothing for the corresponding forward operators, respectively. As applications we for instance present new instability arguments for unique continuation, for the backward heat equation and for linear and nonlinear Calderón type problems in general geometries, possibly in the presence of rough coefficients. Our instability mechanisms could also be of interest in the context of control theory, providing estimates on the cost of (approximate) controllability in rather general settings. This is a revised version of the article ``On instability mechanisms for inverse problems'' Ars Inveniendi Analytica (2021), Paper No. 7, 93 pp by the same authors.

研究の動機と目的

• 対称性や明示的な作用素構造に依存しない、一般的でロバストな逆問題の不安定性メカニズムを同定すること。
• 一般領域における非線形および変数係数逆問題に、不安定性結果を拡張すること。特に、低正則性係数を有する場合を含む。
• 前方作用素の性質から、不適切性の度合い（例：対数的または二重対数的安定性）を体系的に定量化する枠組みを提供すること。
• 定数係数や対称的幾何構造を要件としない既存の不安定性議論（例：マンダーチェの議論）を統合・一般化すること。
• 主な問題への適用性を示すこと：カルデロン型逆問題、一意的拡張性、後向き熱方程式、および制御理論的可制御性コスト。

提案手法

• 前方作用素の特異値またはエントロピー数の境界を用いて不安定性メカニズムを導出し、それらをグローバルまたはミクロローカルな滑らかさの性質と結びつける。
• ゲヴレーまたは解析的正則性クラス（Gσ）における擬微分作用素およびフーリエ積分作用素理論を用いて、前方作用素の滑らかさの挙動を分析する。
• 解析的またはゲヴレーな波面集合を用いた振動積分推定を適用し、解の減衰を制御し、位相空間局在化を通じて不安定性を導出する。
• （補題 D.4 を用いて）ほぼ解析的カットオフ関数を構築し、位相空間に局在化しながら微分の有界性を保ち、滑らかでない設定でも停留化の方法を可能にする。
• 大きなパラメータを用いた停留化の方法を用いて振動積分の減衰推定を得る。これにより、特異値がいかなる多項式よりも遅く減衰することを示す。
• 逆問題の不安定性モジュラス ω が、前方作用素の圧縮強度に基づき、対数的または二重対数的レートで下から抑えられることを確立する。

実験結果

リサーチクエスチョン

• RQ1 明示的な特異値計算や対称性の仮定に依存せずに、逆問題における不安定性を確立できるか？
• RQ2 前方作用素の強いグローバル滑らかさまたはミクロローカル滑らかさの性質が、逆問題における本質的不安定性をどのように示唆するか？
• RQ3 これらの不安定性メカニズムは、滑らかでない領域や低正則性係数を有する非線形および変数係数問題に一般化可能か？
• RQ4 前方作用素の圧縮強度（エントロピー数または特異値を介して）とその逆作用素の安定性モジュラスとの間の明確な定量的関係は何か？
• RQ5 これらのメカニズムは制御理論にどのように適用可能か。特に、楕円型、放物型、および双曲型PDEの近似的可制御性コストの推定にどう関連するか？

主な発見

• 本稿は、対称性や定数主部を仮定しない一般領域におけるカルデロン問題において、対数的安定性が最良であることを確立している。
• 後向き熱方程式では、不安定性メカニズムにより、領域の正則性にかかわらず、逆問題の安定性が対数的以下にしか向上しないことが示されている。
• 一般幾何構造における一意的拡張性は本質的に不安定であり、前方作用素のエントロピー数の有界性によって不安定性レートが定量的に評価されている。
• 強力なグローバル滑らかさ、弱いグローバル滑らかさ、およびミクロローカル滑らかさに基づく3つの不安定性メカニズムは、線形および非線形逆問題の両方に一貫して適用可能である。
• 制御理論における近似的可制御性のコストは、同じ圧縮メカニズムに基づき、対数的または二重対数的レートで下から抑えられている。
• 修正版では、定理 4.1 および 4.2 の仮定を単一集合の閉集合を除外するように修正し、不安定性結果の一般性およびロバスト性が向上している。