[论文解读] Stability of the Calder\'on problem in admissible geometries

Pedro Caro, Mikko Salo|arXiv (Cornell University)|Apr 26, 2014

Numerical methods in inverse problems参考文献 29被引用 5

一句话总结

本文在维度 $ n \geq 3 $ 的可接受黎曼流形上，为各向异性的 Calderón 问题建立了对数-对数型稳定性估计，将 Alessandrini 的对数型稳定性结果推广至各向异性电导率的几何反问题设置。关键结果表明，在电导率的先验有界条件下，电导率之间的差异由其 DN 映射差异的双重对数模连续性控制。

ABSTRACT

In this paper we prove log log type stability estimates for inverse boundary value problems on admissible Riemannian manifolds of dimension $n \\geq 3$. The stability estimates correspond to a couple of uniqueness results by Dos Santos Ferrera, Kenig, Salo and Uhlmann. These inverse problems arise naturally when studying the anisotropic Calder\\'on problem.

研究动机与目标

• 在黎曼流形的几何设置下，为各向异性的 Calderón 问题建立稳定性估计。
• 将 Alessandrini 的对数型稳定性结果推广至可接受几何结构下的各向异性电导率情形。
• 在电导率的先验有界条件下，量化电导率重构对 Dirichlet-to-Neumann 映射差异的依赖性。
• 通过在黎曼流形框架下工作，克服微分同胚不变性障碍。
• 证明在此类几何反问题设置中，对数-对数稳定性是最优的。

提出的方法

• 在具有边界的紧致黎曼流形上，利用拉普拉斯-贝尔特拉米算子表述各向异性的 Calderón 问题。
• 将 Dirichlet-to-Neumann 映射作为观测数据，并通过椭圆方程 $ \Delta_g u = 0 $ 的弱解将其与电导率关联。
• 应用复几何光学解和 Carleman 估计，以控制电导率差异的频率分量。
• 利用次调和函数技巧及调和延拓的估计，控制电导率差异的高频行为。
• 利用 Sobolev 空间嵌入和插值不等式，将电导率差异的 $ L^\infty $-范数与 DN 映射差异的范数联系起来。
• 通过平衡频率控制中的指数衰减与电导率的先验有界性，推导出双重对数模连续性。

实验结果

研究问题

• RQ1 能否在维度 $ n \geq 3 $ 的可接受黎曼流形上为各向异性的 Calderón 问题建立对数-对数型稳定性估计？
• RQ2 在电导率的先验有界条件下，电导率重构的稳定性如何依赖于 Dirichlet-to-Neumann 映射的差异？
• RQ3 在 Calderón 问题的几何设置中，对数-对数稳定性估计是否最优？
• RQ4 微分同胚不变性障碍在稳定性分析中起什么作用？在黎曼框架下如何克服？
• RQ5 在额外的正则性假设下，稳定性模是否可优于对数-对数型？

主要发现

• 本文在维度 $ n \geq 3 $ 的可接受黎曼流形上，为各向异性的 Calderón 问题建立了对数-对数型稳定性估计，将 Alessandrini 的结果推广至几何设置。
• 在 $ H^{s+2} $ 范数下满足先验有界性（$ s > n/2 $）的条件下，电导率差异满足 $ \|\gamma_1 - \gamma_2\|_{L^\infty} \lesssim |\log \|\Lambda_{\gamma_1} - \Lambda_{\gamma_2}\|_{H^{1/2} \to H^{-1/2}}|^{-\lambda/12} $，表明其具有双重对数稳定性。
• 结果表明，该稳定性模是最优的，即在给定先验有界性下，无法获得优于对数-对数型的稳定性。
• 证明依赖于复几何光学解、Carleman 估计以及频率局部化技术，以控制电导率差异的高频分量。
• 作者推导出电导率差异在 $ L^2(\mathbb{R}; H^{-3}(M_1)) $-范数上的界，其形式为 $ |\log(\varepsilon^{1/2} + |\log \varepsilon|^{-1})|^{-\lambda/4} $，从而导出最终的稳定性估计。
• 结果表明，该反问题仍为高度病态，稳定性退化速度慢于任意幂律，但快于纯对数衰减。