[论文解读] 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

一句话总结

本文基於前向算子的全局或微局部平滑性所導出的強壓縮性質，提出了線性和非線性反問題的三種穩健不穩定機制。研究證明，對 Calderón 類型問題、唯一延拓性問題以及逆熱方程而言，對數不穩定性是本質性的，即使在粗糙幾何或低正則性係數下亦然，並提供了一個通用框架，用以量化反問題的病態性，而無需依賴對稱性或顯式計算。

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.

研究动机与目标

• 識別反問題中獨立於對稱性或顯式算子結構的普遍且穩健的不穩定機制。
• 將不穩定性結果推廣至一般區域中的非線性與變係數反問題，包括低正則性係數的情形。
• 建立系統性框架，從前向算子性質出發，量化病態性的程度（例如對數或雙對數穩定性）。
• 統一並推廣現有不穩定性論證（如 Mandache 的方法），超越對常係數或對稱幾何的依賴。
• 展示其在關鍵問題上的適用性：Calderón 類型反問題、唯一延拓性問題、逆熱方程，以及控制理論中的可控制性成本。

提出的方法

• 透過前向算子的奇異值或熵數的界來推導不穩定機制，並與其全局或微局部平滑性聯繫起來。
• 在 Gevrey 或解析正則性類（Gσ）中運用擬微分算子與傅里葉積分算子理論，分析前向算子的平滑行為。
• 應用具有解析或 Gevrey 波前集的振盪積分估計，以控制解的衰減，並透過相空間局部化推導不穩定性。
• 透過引理 D.4 建構近乎解析的截斷函數，在保持導數界之餘實現相空間的局部化，進而使非光滑設定下的靜止相位方法成為可能。
• 運用大參數下的靜止相位法推導振盪積分的衰減估計，證明奇異值的衰減速度慢於任何多項式。
• 建立反問題的不穩定模量 ω 下方有對數或雙對數速率的下界，其來源為前向算子的壓縮強度。

实验结果

研究问题

• RQ1 是否能在不依賴顯式奇異值計算或對稱性假設的情況下，建立反問題中的不穩定性？
• RQ2 前向算子的強全局平滑性或微局部平滑性在多大程度上會導致反問題的本質不穩定性？
• RQ3 這些不穩定機制能否推廣至非線性與變係數問題，且適用於非光滑區域與低正則性係數的情形？
• RQ4 前向算子的壓縮強度（透過熵數或奇異值）與其逆算子的穩定模量之間的精確定量關係為何？
• RQ5 這些機制如何應用於控制理論，特別是在估計橢圓、拋物與雙曲 PDE 的近似可控制性成本時？

主要发现

• 本文證明，在一般區域中具有粗糙係數的 Calderón 問題，其對數穩定性為最佳，即使無對稱性或常係數主部亦然。
• 對於逆熱方程，不穩定機制表明，無論區域正則性如何，反問題的穩定性均無法優於對數級。
• 唯一延拓性原理在一般幾何中被證明具有本質不穩定性，其不穩定率透過前向算子的熵數界得以量化。
• 三種不穩定機制——基於強全局平滑性、弱全局平滑性與微局部平滑性——可統一適用於線性和非線性反問題。
• 控制理論中近似可控制性的成本，其下界為對數或雙對數速率，與前述壓縮機制來源一致。
• 修訂版本修正了定理 4.1 和 4.2 的假設，排除單點閉集，從而提升了不穩定性結果的普遍性與穩健性。