[论文解读] Stability of the Calder\'on problem for less regular conductivities

Pedro Caro, Andoni García+1 more|arXiv (Cornell University)|May 11, 2012

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

一句话总结

本论文在维度 $ n \geq 3 $ 下，针对属于 Hölder-Sobolev 空间 $ C^{1,\varepsilon}(\overline{\Omega}) $ 的电导率，通过受 Haberman 和 Tataru 启发的改进复几何光学（CGO）构造，建立了 Calderón 问题的对数型稳定性估计。关键结果表明，两个电导率的 $ C^{0,\delta} $-范数之差受其 Dirichlet-to-Neumann 映射差的逆的对数幂的控制，从而在不依赖于 $ H^{n/2+\varepsilon} $ 正则性假设的前提下，改进了先前的结果。

ABSTRACT

In these notes we prove log-type stability for the Calder\\'on problem with conductivities in $ C^{1,\\varepsilon}(\\bar{\\Omega}) $. We follow the lines of a recent work by Haberman and Tataru in which they prove uniqueness for $ C^1(\\bar{\\Omega}) $.

研究动机与目标

• 建立比以往考虑的正则性更低的电导率下的逆电导率问题稳定性估计。
• 通过去除电导率上 $ H^{n/2+\varepsilon} $ 正则性假设，扩展 Heck（2011）的稳定性结果。
• 在 Lipschitz 边界条件下，对属于 $ C^{1,\varepsilon}(\overline{\Omega}) $ 的电导率实现 $ C^{0,\delta}(\overline{\Omega}) $-范数下的稳定性。
• 证明插值与 Morrey 嵌入可替代通过边界数据控制电导率的 $ L^\infty $-范数。

提出的方法

• 将 Haberman 和 Tataru（2011）的复几何光学（CGO）解构造方法适配至 $ C^{1,\varepsilon} $ 电导率。
• 利用一阶导数的 $ L^2 $-模连续性控制 CGO 构造中的余项。
• 在 Lebesgue 空间中应用插值，通过边界测量控制电导率的 $ L^\infty $-范数。
• 利用 Morrey 嵌入定理，通过 Sobolev 范数控制电导率差的 $ C^{0,\delta} $-范数。
• 构造从 $ \overline{\Omega} $ 到 $ \mathbb{R}^n $ 的电导率延拓，使其保持等连续性与边界依赖性。
• 通过结合 CGO 余项估计与导数的 $ L^2 $-模连续性，推导稳定性估计。

实验结果

研究问题

• RQ1 能否在 $ n \geq 3 $ 下，对属于 $ C^{1,\varepsilon}(\overline{\Omega}) $ 的电导率建立 Calderón 问题的对数型稳定性？
• RQ2 能否通过插值与 Morrey 嵌入，去除稳定性估计中对 $ H^{n/2+\varepsilon}(\Omega) $ 正则性假设？
• RQ3 能否利用电导率梯度的 $ L^2 $-模连续性来控制 CGO 解中的余项？
• RQ4 能否将 $ C^{1,\varepsilon} $ 电导率的延拓至 $ \mathbb{R}^n $，同时保持等连续性与导数的 $ L^2 $-模连续性？
• RQ5 能否将 Brown 在 Lipschitz 边界上恢复梯度的方法扩展，以实现对 $ C^1 $ 电导率的稳定性？

主要发现

• 本文建立了对数型稳定性估计：$ \|\gamma_1 - \gamma_2\|_{C^{0,\delta}(\overline{\Omega})} \lesssim \left(\log \|\Lambda_{\gamma_1} - \Lambda_{\gamma_2}\|^{-1}\right)^{-\varepsilon^2(1-\delta)/(3n^2)} $，适用于 $ C^{1,\varepsilon}(\overline{\Omega}) $ 中的电导率。
• 稳定性常数仅依赖于 $ n $、$ \Omega $、$ M $、$ \delta $ 和 $ \varepsilon $，且在 $ C^{1,\varepsilon} $-范数有界且远离零的电导率类上一致。
• 通过插值与 Morrey 嵌入控制 $ L^\infty $-范数，去除了 Heck（2011）结果中对 $ H^{n/2+\varepsilon} $ 正则性的假设。
• 电导率差的 $ C^{0,\delta} $-范数由差的 $ W^{1,n/(1-\delta)} $-范数控制，而该范数可通过 CGO 构造与余项估计有界。
• 该方法表明，梯度的 $ L^2 $-模连续性是决定稳定性速率的关键因素，提示若对导数的模连续性施加更强的正则性假设，可进一步提升指数。
• 作者指出了与扩展 Brown 方法及构造保持 $ L^2 $-模连续性的 $ \mathbb{R}^n $-延拓相关的开放问题，这些可能带来进一步改进。