[论文解读] Inverse boundary value problem for linear Schrödinger equation in two dimensions

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|Aug 18, 2012

Numerical methods in inverse problems参考文献 11被引用 12

一句话总结

本文建立了二维Schrödinger方程在 $L^p(\Omega)$ 中势函数 $p>2$ 情况下逆边界值问题的唯一性，改进了先前的正则性假设。通过复几何光学解与平稳相位法，作者证明了Dirichlet-to-Neumann映射唯一确定势函数，弥补了早期证明中的漏洞，并将结果推广至正则性更低的势函数。

ABSTRACT

We relax the regularity condition on potentials of Schrödinger equations in the uniqueness results in \cite{EB} and \cite{IY2} for the inverse boundary value problem of determining a potential by Dirichlet-to-Neumann map.

研究动机与目标

• 改进二维Schrödinger方程逆边界值问题中势函数 $q$ 的正则性假设。
• 在不假设 $W^{1}_{p}$ 而仅要求 $L^p(\Omega)$ 且 $p>2$ 的条件下，建立从全柯西数据唯一确定势函数 $q$ 的结果。
• 修正并强化早期工作中关于唯一性的证明，特别是弥补Bukhgeim [5] 证明中的漏洞。
• 将逆唯一性结果的适用范围扩展至正则性更低的势函数，与近期电导率反演研究进展保持一致。
• 利用复分析与 $L^p$ 空间中的积分算子估计，为反问题提供严格的理论基础。

提出的方法

• 基于复变量表示 $z = x_1 + i x_2$，构造复几何光学解，使用 $\partial_{\overline{z}}^{-1}$ 与 $\partial_z^{-1}$ 作为积分算子。
• 定义涉及指数相位 $e^{\tau(\Phi - \overline{\Phi})}$ 的算子 $\widetilde{\mathcal{R}}_\tau$ 与 $\mathcal{R}_\tau$，以构造具有特定渐近行为的解。
• 利用 $\partial_{\overline{z}}^{-1}, \partial_z^{-1}$ 在 $L^p \to L^\gamma$ 与 $L^p \to W^{1}_p$ 空间中的有界性，控制解的正则性。
• 应用平稳相位法对含 $q_{\epsilon}$ 的振荡积分进行渐近展开，证明 $\int q_{\epsilon} e^{\tau(\Phi - \overline{\Phi})} dx = \frac{2\pi q_{\epsilon}(y)}{\tau} + o(\frac{1}{\tau})$。
• 利用Egorov定理与测度估计，对势函数差 $q - q_\epsilon$ 进行局部化，并控制误差项的 $L^2$-范数。
• 通过反证法假设 $q \not\equiv 0$，证明渐近展开迫使 $|q_{\epsilon}(y)|$ 有下界，与误差项随 $\tau \to \infty$ 而衰减的性质矛盾。

实验结果

研究问题

• RQ1 能否将二维Schrödinger方程逆边界值问题的唯一性结果推广至 $L^p(\Omega)$ 中 $p>2$ 的势函数，超越先前所需的 $W^{1}_p$ 假设？
• RQ2 当 $q \in L^p(\Omega)$ 且 $p>2$ 时，Dirichlet-to-Neumann映射是否仍能唯一确定势函数 $q$，在相同边界条件下？
• RQ3 能否通过复分析与渐近分析填补Bukhgeim [5] 中声称相同结果但缺乏严格证明的漏洞？
• RQ4 对 $q$ 的正则性假设如何影响二维反问题中的稳定性和唯一性？
• RQ5 复几何光学与平稳相位方法在何种程度上可被调整以处理不需 $C^k$ 或Sobolev正则性的 $L^p$ 势函数？

主要发现

• 主要结果证明：若两个势函数 $q_1, q_2 \in L^p(\Omega)$ 且 $p>2$ 满足全柯西数据 $\mathcal{C}_{q_1} = \mathcal{C}_{q_2}$，则 $q_1 = q_2$ 几乎处处在 $\Omega$ 中成立。
• 作者在最小正则性假设 $L^p(\Omega)$ 且 $p>2$ 下，建立了从Dirichlet-to-Neumann映射唯一确定势函数的结论，优于先前要求 $W^{1}_p$ 或 $C^k$ 正则性的结果。
• 通过严格证明平稳相位论证并利用基于 $L^p$ 的算子范数控制误差项，修正了Bukhgeim [5] 中的缺陷。
• 该方法依赖于构造相位函数 $\Phi(z,y) = (z - y)^2$ 的复几何光学解，从而可利用积分算子 $\partial_{\overline{z}}^{-1}$ 与 $\partial_z^{-1}$ 通过渐近分析恢复 $q$。
• 作者证明了 $\|T_\tau\|_{L^2 \to L^2} \leq C/\tau$，其中 $T_\tau = \partial_z^{-1}(e^{\tau(\Phi - \overline{\Phi})} \cdot)$，这意味着逼近 $q$ 的误差以 $\tau^{-1}$ 速度衰减。
• 通过反证法假设 $q \not\equiv 0$，作者证明误差项的 $L^2$-范数衰减快于 $\tau^{-1}$，而主项 $\frac{2\pi |q_{\epsilon}(y)|}{\tau}$ 保持有下界，导致当 $\tau \to \infty$ 时矛盾。