[论文解读] Monotonicity-based inversion of the fractional Schr\"odinger equation

Bastian Harrach, Yi‐Hsuan Lin|arXiv (Cornell University)|Nov 15, 2017

Numerical methods in inverse problems参考文献 46被引用 25

一句话总结

该论文建立了分数阶薛定谔方程中正有界势能与其非局部Dirichlet-to-Neumann映射之间的充要单调性关系，从而为非局部Calderón问题的唯一性提供了构造性证明。此外，该研究提出了一种与维度无关的未知障碍物重建方法，仅依赖于背景解。

ABSTRACT

We consider the inverse problems of for the fractional Schr\{o}dinger equation by using monotonicity formulas. We provide if-and-only-if monotonicity relations between positive bounded potentials and their associated nonlocal Dirichlet-to-Neumann maps. Based on the monotonicity relation, we can prove uniqueness for the nonlocal Calder\'{o}n problem in a constructive manner. Secondly, we offer a reconstruction method for an unknown obstacles in a given domain. Our method is independent of the dimension $n\geq 2$ and only requires the background solution of the fractional Schr\{o}dinger equation.

研究动机与目标

• 建立分数阶薛定谔方程中势能与Dirichlet-to-Neumann映射之间的严格充要单调性关系。
• 通过单调性论证，为非局部Calderón问题提供构造性唯一性证明。
• 开发一种仅依赖于背景解即可在域中实现与维度无关的未知障碍物重建方法。
• 确保该方法在任意维度 $ n \geq 2 $ 下适用，且无需对域或势能施加额外假设。

提出的方法

• 推导一个单调性公式，将两个正有界势能之差与它们对应的非局部Dirichlet-to-Neumann映射之差联系起来。
• 利用单调性关系证明：若Dirichlet-to-Neumann映射有序，则对应势能亦有序，反之亦然。
• 通过利用单调性结构和分数阶薛定谔方程的背景解，构建未知障碍物的重建算法。
• 仅依赖于背景解的可解性与正则性，确保该方法在任意维度 $ n \geq 2 $ 下的有效性。
• 应用变分法与非局部PDE技术，分析非局部Dirichlet-to-Neumann映射及其对势能的依赖性。
• 利用单调性框架，通过边界测量迭代改进对未知障碍物的估计。

实验结果

研究问题

• RQ1 基于单调性的框架能否在分数阶薛定谔方程中建立势能与其非局部Dirichlet-to-Neumann映射之间的充要关系？
• RQ2 该单调性关系是否能为非局部Calderón问题提供构造性唯一性证明？
• RQ3 所提出的方法能否在不依赖空间维度 $ n \geq 2 $ 的前提下重建域中的未知障碍物？
• RQ4 使用非局部反问题方法重建障碍物所需的最少信息是什么？
• RQ5 分数阶薛定谔方程的背景解在障碍物重建中起到何种作用？

主要发现

• 建立了正有界势能与其非局部Dirichlet-to-Neumann映射之间的充要单调性关系，为反问题提供了根本性联系。
• 单调性框架为非局部Calderón问题的唯一性提供了构造性证明，解决了该领域的一个关键开放问题。
• 开发了一种适用于所有维度 $ n \geq 2 $ 的未知障碍物重建方法，且仅依赖于背景解。
• 该方法独立于域的几何结构，且对障碍物或势能无需额外的正则性假设。
• 该方法通过单调性直接推断障碍物的存在与支撑区域，避免了迭代或基于优化的方案。
• 结果表明，非局部Dirichlet-to-Neumann映射包含了通过单调性恢复势能与障碍物的充分信息。