[论文解读] On the Gel'fand-Calderón inverse problem in two dimensions

Emilia Blåsten|arXiv (Cornell University)|Jul 18, 2013

Numerical methods in inverse problems参考文献 41被引用 6

一句话总结

本文在 Lorentz-Sobolev 空间 $ H^{s,(2,1)}(\Omega) $ 中，针对 $ s > 0 $ 的二维 Gel'fand-Calderón 反问题建立了唯一性和稳定性，采用了一种新型的具有 $ \tau^{-1}\ln\tau $ 衰减率的 Carleman 估计，以及 Bukhgeim 类型的振荡解。该结果在保持强稳定界的同时，通过边界数据差的平稳相位分析，放宽了先前对正则性假设的要求，允许略为低频的势函数。

ABSTRACT

We prove uniqueness and stability for the inverse boundary value problem of the two dimensional Schrödinger equation. We do not assume the potentials to be continuous or even bounded. Instead, we assume that some of their positive fractional derivatives are in a specific Lorentz space. These spaces are a natural generalization to the usual fractional Sobolev spaces. The thesis consists of two parts. In the first part, we define the generalized fractional Sobolev spaces and prove some of their properties including embeddings and interpolation identities. In particular we sharpen the usual Sobolev embedding into the space of Hölder-continuous functions, by showing that a particular kind of space embeds into the space of continuous functions without any modulus of continuity. The inverse problem is considered in the second part of the thesis. We prove a new Carleman estimate for $\partial$. This estimate has a fast decay rate, which will allow us to consider potentials with very low regularity. After that we use Bukhgeim's oscillating exponential solutions, Alessandrini's identity and stationary phase to get information about the difference of the potentials from the difference of the Cauchy data. The stability estimate will be of logarithmic type, but works with potentials of low regularity.

研究动机与目标

• 在势函数的正则性假设最小化的前提下，建立二维 Schrödinger 方程反边界值问题的唯一性与稳定性。
• 定义并分析 Lorentz-Sobolev 空间 $ H^{s,(p,q)}(\Omega) $，特别是证明嵌入关系 $ H^{1,(n,1)} \hookrightarrow C^0 $。
• 为 $ \overline{\partial} $ 算子发展一种新的 Carleman 估计，其衰减率为 $ \tau^{-1}\ln\tau $，从而在低正则性情形下实现更精确的控制。
• 通过 Lorentz 空间技术，将 Bukhgeim 的振荡解与 Alessandrini 恒等式的方法推广至正则性更低的势函数。
• 构建一个无需假设正向问题适定性的势函数重构框架。

提出的方法

• 引入并研究 Lorentz-Sobolev 空间 $ H^{s,(p,q)}(\Omega) $，证明其在函数空间分析中的嵌入与插值恒等式。
• 推导出 $ \overline{\partial} $ 算子的新 Carleman 估计，其衰减率为 $ \tau^{-1}\ln\tau $，在低正则性情形下至关重要。
• 构造适用于 $ L^{(2,1)} $ 框架的 Bukhgeim 类型振荡指数解，确保在 $ H^{s,(2,1)} $ 假设下解的存在性。
• 应用 Alessandrini 恒等式，将势函数差与 Dirichlet-to-Neumann 数据差联系起来。
• 利用平稳相位方法，从包含边界数据的振荡积分中提取渐近信息，将其与势函数差关联。
• 构造一个紧支集的光滑函数 $ h \in C_0^\infty(\Omega) $，其 $ \overline{\partial}h $ 与 $ L^{(2,1)} $ 范数受控，用于测试 Carleman 估计，采用卷积型截断函数，其中 $ \epsilon = \delta^2 = \tau^{-2/3} $。

实验结果

研究问题

• RQ1 当势函数属于 $ H^{s,(2,1)}(\Omega) $ 且 $ s > 0 $ 时，能否为二维 Gel'fand-Calderón 反问题建立唯一性与稳定性？该空间略小于 $ H^{s,2}(\Omega) $。
• RQ2 在最小正则性假设下，二维 $ \overline{\partial} $ 算子的 Carleman 估计最优衰减率为何？
• RQ3 如何将 Bukhgeim 类型解适配至 Lorentz-Sobolev 空间，以处理正则性更低的势函数？
• RQ4 平稳相位方法能否有效应用于边界数据差，以恢复关于势函数差的信息？
• RQ5 Carleman 估计构造中误差项的 $ L^{(2,1)} $ 范数的精确界为何？其与 $ \tau $ 的依赖关系如何？

主要发现

• 嵌入关系 $ H^{1,(n,1)}(\Omega) \hookrightarrow C^0(\Omega) $ 成立，确保该空间中函数的逐点连续性，这对稳定性分析至关重要。
• 为 $ \overline{\partial} $ 算子推导出一种新的 Carleman 估计，其衰减率为 $ \tau^{-1}\ln\tau $，在低正则性情形下优于以往估计。
• 对每个 $ \tau \geq 1 $ 和 $ z_0 \in \mathbb{C} $，存在一个紧支集光滑函数 $ h \in C_0^\infty(\Omega) $，使得 $ \tau\|1 - (\overline{z} - \overline{z_0})h\|_{L^{(2,1)}} + \|h\|_{\infty} + \|\overline{\partial}h\|_{L^{(2,1)}} \leq C_\Omega \tau^{2/3} $，其中 $ C_\Omega $ 与 $ \tau $ 和 $ z_0 $ 无关。
• 势函数的差由 Dirichlet-to-Neumann 数据的差唯一确定，且在 $ H^{s,(2,1)} $ 范数下具有稳定性界。
• 该方法在最小正则性下实现稳定性：$ H^{s,(2,1)}(\Omega) $ 中的势函数（$ s > 0 $）已足够保证唯一性与稳定性，优于经典 $ H^{s,2} $ 假设。
• 通过卷积型截断函数 $ \chi_\epsilon $、$ \chi^\delta $，其中 $ \epsilon = \delta^2 = \tau^{-2/3} $，构造测试函数 $ h $，确保了 Carleman 估计中最优的尺度关系。