[论文解读] Uniqueness for the inverse boundary value problem with singular potentials in 2D

Emilia Blåsten, Leo Tzou+1 more|arXiv (Cornell University)|Apr 21, 2017

Numerical methods in inverse problems被引用 3

一句话总结

该论文在二维情形下建立了具有 $L^p(\Omega)$ 类奇异势能（$p > 4/3$）的薛定谔方程逆边界值问题的全局唯一性。通过构造相位为 $\Phi(z) = (z - z_0)^2$ 的复几何光学解，并改进共轭柯西算子的估计，作者证明了 Dirichlet-to-Neumann 映射唯一确定势能，将先前 $p > 2$ 的结果推广至临界范围 $p > 4/3$。关键贡献在于基于 $L^p$ 的正则性提升新估计，结合平稳相位法识别势能差。

ABSTRACT

In this paper we consider the inverse boundary value problem for the Schrödinger equation with potential in $L^p$ class, $p>4/3$. We show that the potential is uniquely determined by the boundary measurements.

研究动机与目标

• 建立二维薛定谔方程逆边界值问题在 $L^p(\Omega)$ 势能（$p > 4/3$）下的全局唯一性。
• 将唯一性成立的 $p$ 范围从先前已知的 $p > 2$ 和 $p > 4/3$ 情况进一步扩展，填补低可积性势能下逆问题理论的空白。
• 为共轭柯西算子建立新估计，使复几何光学解能构造于 $L^p$ 势能（$p > 1$）情形。
• 证明 Dirichlet-to-Neumann 映射的知识可提升势能差的可积性，当 $\Lambda_{q_1} = \Lambda_{q_2}$ 且 $3/4 < p < 2$ 时，确保 $q_1 - q_2 \in L^2(\Omega)$。
• 通过在 Alessandrini 恒等式中导出改进的估计，为 $L^p$ 势能情形下平稳相位法提供严格框架。

提出的方法

• 构造形式为 $e^{i\tau\Phi}f_1$ 和 $e^{i\tau\overline{\Phi}}f_2$ 的复几何光学解，其中相位 $\Phi(z) = (z - z_0)^2$，适用于 $p > 1$ 的 $L^p$ 势能。
• 使用诺伊曼级数展开定义 $f_j(z) = \sum_{m=0}^\infty F_{j,m}(z)$，其中 $F_{j,m}$ 为通过势能与共轭柯西算子迭代定义的算子。
• 建立一致的 $L^\infty$ 估计 $\|F_{j,m}\|_\infty \leq (C\tau^{-\alpha})^m$（$\tau$ 足够大），确保级数在 $W^{1,2}(X)$ 中收敛。
• 应用共轭柯西算子 $\overline{\partial}^{-1}$ 和 $\partial^{-1}$ 求解相关贝尔特拉米型方程，利用这些算子从 $L^p$ 到 $W^{1,p}$ 有界性的性质。
• 利用 $\Lambda_{q_1} = \Lambda_{q_2}$ 蕴含 $q_1 - q_2 \in L^2(\Omega)$ 的事实，提升可积性并控制 Alessandrini 恒等式中的主导项。
• 在代入 CGO 解后，对所得积分恒等式实施平稳相位论证，利用改进估计分离出势能差。

实验结果

研究问题

• RQ1 能否在二维情形下，对 $L^p$ 势能满足 $p > 4/3$ 的薛定谔方程逆边界值问题建立全局唯一性？
• RQ2 相位为 $\Phi(z) = (z - z_0)^2$ 的复几何光学方法是否可推广至 $L^p(\Omega)$ 势能（$p > 1$）情形？
• RQ3 能否对共轭柯西算子建立足够衰减的 $\tau$ 估计，以确保 $L^p$ 势能（$p > 4/3$）下 CGO 解级数的收敛性？
• RQ4 Dirichlet-to-Neumann 映射的知识如何提升势能差的可积性？该提升是否可用于控制 Alessandrini 恒等式中的主导项？
• RQ5 能否在已知唯一性范围 $p > 2$ 与尺度不变的 $L^2$-临界情形 $p = 4/3$ 之间填补空白？

主要发现

• Dirichlet-to-Neumann 映射唯一确定二维情形下 $L^p(\Omega)$ 势能 $q$（$p > 4/3$），将先前 $p > 2$ 的结果推广。
• 相位为 $\Phi(z) = (z - z_0)^2$ 的复几何光学解对所有 $q \in L^p(\Omega)$（$p > 1$）存在，且级数 $f_j(z) = \sum_{m=0}^\infty F_{j,m}(z)$ 在 $\tau$ 足够大时关于 $z \in X$ 一致收敛。
• 作者建立了共轭柯西算子的新估计，得到 $\|F_{j,m}\|_\infty \leq (C\tau^{-\alpha})^m$（$\alpha > 0$），确保指数衰减与级数收敛。
• $\Lambda_{q_1} = \Lambda_{q_2}$ 蕴含 $q_1 - q_2 \in L^2(\Omega)$（当 $3/4 < p < 2$ 时），这对控制 Alessandrini 恒等式中的主导项至关重要。
• 平稳相位法成功地在积分恒等式中分离出势能差，证明在给定条件下 $q_1 = q_2$。
• 该结果与 $q \in L^p_{\text{loc}}$（$p > 4/3$）时 $u \in H^{2,2}_{\text{loc}}$ 的唯一延拓性质一致，提示该问题存在自然的临界阈值。