[论文解读] The inverse problem of the Schrödinger equation in the plane; A dissection of Bukhgeim's result

Emilia Blåsten|arXiv (Cornell University)|Mar 31, 2011

Numerical methods in inverse problems参考文献 15被引用 8

一句话总结

本文剖析了 Bukhgeim 在 2007 年对平面中薛定谔方程逆边界值问题的突破性结果，证明了从 Dirichlet-to-Neumann 数据唯一确定势函数。该研究利用解之间的正交关系，通过 $\bar{\partial}$-方法构造振荡复几何光学解，并应用平稳相位原理提取势函数，尽管原始证明存在细微漏洞，仍将结果推广至 $L^p$ 势函数。

ABSTRACT

The purpose of this licentiate thesis is to present Bukhgeim's result of 2007, which solves the inverse boundary value problem of the Schrödinger equation in the plane. The thesis is mainly based on Bukhgeim's paper and Kari Astala's seminar talk, which he gave the 11th and 18th September of 2008 at the University of Helsinki. Section 3 is devoted to the history and past results concerning some related problems: notably the inverse problem of the Schrödinger and conductivity equations in different settings. We also describe why some of the past methods do not work in the general case in a plane domain. Section 4 outlines Bukhgeim's result and sketches out the proof. This proof is a streamlined version of the one in Bukhgeim's paper with the stationary phase method based on Kari Astala's presentation. In the following section we prove all the needed lemmas which are combined in section 6 to prove the solvability of the inverse problem. The idea of the proof is simple. Given two Schrödinger equations with the same boundary data we get an orthogonality relation for the solutions of the two equations. Then we show the existence of certain oscillating solutions and insert these into the orthogonality relation. Then by a stationary phase argument we see that the two Schrödinger equations are the same. In the last section we contemplate an unclear detail in Bukhgeim's paper which Kari Astala pointed out in his seminar talk: without an extra argument Bukhgeim's proof shows the solvability of the inverse problem only for differentiable potentials instead of ones in L^p. But the special oscillating solutions exist even for L^p potentials.

研究动机与目标

• 澄清并重新推导 Bukhgeim 在 2007 年关于二维平面中薛定谔方程势函数唯一性的结果，该结果基于边界测量。
• 通过证明即使对于 $L^p$ 势函数（而不仅是 $C^1$ 势函数）也存在振荡解，来弥补 Bukhgeim 原始证明中的细微漏洞。
• 基于 Kari Astala 的研讨班报告，使用平稳相位方法呈现一种简化的证明，并通过详细的引理和技术工具使论证更具可及性。
• 通过证明在该正则性类中存在合适的复几何光学解，建立 $L^p$ 势函数下逆问题的可解性。

提出的方法

• 证明从两个共享相同 Dirichlet-to-Neumann 映射的薛定谔方程出发，推导出一个正交关系。
• 利用 $\bar{\partial}$-方程和 Beurling 变换的性质，构造形式为 $e^{z\zeta} \phi(z,\zeta)$ 的振荡解，其中 $\zeta \in \mathbb{C}$。
• 将平稳相位方法应用于边界上的积分，利用解的振荡性质提取势函数差的信息。
• 依赖于 Sobolev 嵌入定理和迹定理，以在 Lipschitz 域上合理化分部积分和迹算子。
• 关键的技术步骤包括：用紧支紧致的光滑函数逼近 $L^p$ 势函数，同时保持涉及 $1/(z - z_0)$ 的奇异积分的统一有界性。
• 利用 Minkowski 积分不等式和奇异积分在 $L^p$ 空间上的有界性，控制解及其导数的增长。

实验结果

研究问题

• RQ1 能否使用边界测量唯一求解平面中薛定谔方程的逆问题，且适用于 $L^p$ 势函数？
• RQ2 为何经典方法在平面情形下失效，需要引入何种新工具？
• RQ3 如何为 $L^p$ 势函数构造振荡解，为何这些解对平稳相位论证至关重要？
• RQ4 在构造解和证明唯一性过程中，$\bar{\partial}$-微积分起什么作用？
• RQ5 Bukhgeim 的原始证明对 $L^p$ 势函数是否成立，还是需要额外论证？

主要发现

• 对于 $L^p(\Omega)$ 中的势函数，$p > 2$，平面中薛定谔方程的逆问题可通过 Dirichlet-to-Neumann 映射唯一求解。
• 该证明表明，若两个薛定谔方程具有相同的边界数据，则其势函数必然相同，即使势函数仅为 $L^p(\Omega)$ 函数。
• 证明了对于 $L^p$ 势函数，存在具有指定振荡行为的复几何光学解，这对平稳相位论证至关重要。
• 平稳相位方法成功通过分析这些解所涉及的振荡积分的渐近行为，提取出势函数差。
• 原始证明中的漏洞——仅对 $C^1$ 势函数有效——通过证明所需振荡解在 $L^p$ 设置下存在且一致有界而得以弥补。
• 该证明依赖于 Beurling 变换和奇异积分在 $L^p$ 空间上的有界性，从而确保所构造解的存在性和正则性。