[论文解读] An inverse problem for the magnetic Schr\\"odinger equation in infinite cylindrical domains

Mourad Bellassoued, Yavar Kian+1 more|arXiv (Cornell University)|May 21, 2016

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

一句话总结

本文通过 Dirichlet-to-Neumann (DN) 映射，在无限三维圆柱形区域内建立了磁 Schrödinger 方程中磁场和电势的唯一且 Hölder 稳定确定。作者证明，即使在场为紧支集且观测范围有限的情况下，边界测量通过 DN 映射也能唯一恢复磁场（模规范等价）和电势。

ABSTRACT

We study the inverse problem of determining the magnetic field and the electric potential entering the Schr\\"odinger equation in an infinite 3D cylindrical domain, by Dirichlet-to-Neumann map. The cylindrical domain we consider is a closed waveguide in the sense that the cross section is a bounded domain of the plane. We prove that the knowledge of the Dirichlet-to-Neumann map determines uniquely, and even H\\"older-stably, the magnetic field induced by the magnetic potential and the electric potential. Moreover, if the maximal strength of both the magnetic field and the electric potential, is attained in a fixed bounded subset of the domain, we extend the above results by taking finitely extended boundary observations of the solution, only.

研究动机与目标

• 解决由磁 Schrödinger 方程控制的无限三维圆柱形区域内磁场和电势的反问题。
• 通过 Dirichlet-to-Neumann (DN) 映射建立磁场势（模规范等价）和电势确定的唯一性与稳定性。
• 将结果扩展至磁场和电势为紧支集的情形，允许仅通过有限范围的边界观测实现恢复。
• 即使在观测数据有限的情况下，也提供基于边界测量的磁场和电势的 Hölder 稳定重构。

提出的方法

• 结合 Bukhgeim-Klibanov 方法与复几何光学 (CGO) 解，分析反问题。
• 构造具有时间与空间振荡行为的磁 Schrödinger 方程的特殊解，适配圆柱形几何结构。
• 使用依赖于大参数 $\sigma$ 的权函数的 Carleman 不等式，控制渐近展开中的误差项。
• 应用 Sobolev 嵌入与插值不等式，将磁场势的 $L^\infty$ 范数以 DN 映射差的形式有界。
• 利用傅里叶分析与 Plancherel 恒等式，估计电势在频域中的 $L^2$-范数。
• 推导最终估计式，涉及 $\|\widehat{q}(\xi^\prime,x_3)\|$，并通过控制傅里叶变换的衰减性，获得稳定性界。

实验结果

研究问题

• RQ1 在无限圆柱形区域内，磁场和电势能否通过 Dirichlet-to-Neumann 映射唯一确定？
• RQ2 当 DN 映射发生小扰动时，磁场势和电势的重构是否稳定？
• RQ3 若磁场和电势为紧支集，是否可仅通过有限范围的边界观测解决反问题？
• RQ4 磁场和电势恢复的最优稳定性估计（如 Hölder 或 Lipschitz）是什么？
• RQ5 磁场势的规范不变性如何影响反问题的唯一性与稳定性？

主要发现

• 在无限圆柱形区域内，磁场和电势由 Dirichlet-to-Neumann 映射唯一确定。
• 重构具有 Hölder 稳定性：DN 映射的差异控制了恢复势的误差，且具有 Hölder 指数。
• 当磁场和电势为紧支集时，仅需有限范围的边界观测即可求解反问题。
• 稳定性估计量化为 $\|q\|_{L^\infty_{x_3}(\mathbb{R},H^{-1}(\omega))} \leq C(\delta^{\mu_2} + \rho^{-1})$，其中 $\delta = \|\Lambda_{A_1,q_1} - \Lambda_{A_2,q_2}\|$，且 $\mu_2 > 0$。
• 磁场势以规范等价形式被恢复，其 $L^\infty$ 范数通过 Sobolev 嵌入与插值不等式，以 DN 映射差的形式有界。
• 通过平衡涉及 $\sigma$、$\delta$ 和 $\rho$ 的多个误差项，最终导出具有指数 $\mu_2 \propto \mu_{1}/(41 - 48\mu)$ 的 Hölder 型估计。