[论文解读] On non-overdetermined inverse scattering at zero energy in three dimensions

Roman Novikov|ArXiv.org|May 31, 2006

Numerical methods in inverse problems被引用 4

一句话总结

本文提出了一种 $\bar{\partial}$-方程方法，用于三维空间中零能非过定逆散射问题，针对小势能建立了唯一性、重构、稳定性及近似重构的结果，基于后向散射型数据。关键贡献在于为在复域中从受限 Faddeev 散射振幅重构 Schr"odinger 势提供了严格的框架，其直接应用包括电导率断层扫描。

ABSTRACT

We develop the d-bar -approach to inverse scattering at zero energy in dimensions d>=3 of [Beals, Coifman 1985], [Henkin, Novikov 1987] and [Novikov 2002]. As a result we give, in particular, uniqueness theorem, precise reconstruction procedure, stability estimate and approximate reconstruction for the problem of finding a sufficiently small potential v in the Schrodinger equation from a fixed non-overdetermined ("backscattering type") restriction h on $Γ$ of the Faddeev generalized scattering amplitude h in the complex domain at zero energy in dimension d=3. For sufficiently small potentials v we formulate also a characterization theorem for the aforementioned restriction h on $Γ$ and a new characterization theorem for the full Faddeev function h in the complex domain at zero energy in dimension d=3. We show that the results of the present work have direct applications to the electrical impedance tomography via a reduction given first in [Novikov, 1987, 1988].

研究动机与目标

• 建立从零能下受限 Faddeev 散射振幅重构三维 Schr"odinger 方程中小势能的唯一性定理。
• 基于 $\bar{\partial}$-方程形式化方法，为非过定（后向散射型）数据开发精确的势能重构程序。
• 在势能傅里叶变换满足 $L_{\mu}^\infty$-正则性假设下，推导小势能的稳定性估计与近似重构方案。
• 对小势能，给出散射数据 $h|_{\Gamma}$ 与复域中完整 Faddeev 函数 $h$ 的表征。
• 通过从 Novikov (1987, 1988) 的结果约化，展示结果在电导率断层扫描中的直接应用。

提出的方法

• 采用 Beals-Coifman (1985)、Henkin-Novikov (1987) 与 Novikov (2002) 提出的 $\bar{\partial}$-方程方法，用于零能逆散射问题。
• 应用定义在复流形 $\Theta = \{k,l \in \mathbb{C}^3 : k^2 = l^2 = 0, \operatorname{Im}k = \operatorname{Im}l\}$ 上的 Faddeev 广义散射振幅 $h(k,l)$，并将其限制在 $\Gamma \subset \Theta$ 上。
• 使用积分方程 $H(k,p) = \hat{v}(p) - \int \frac{\hat{v}(p+\xi) H(k,-\xi)}{\xi^2 + 2k\xi} d\xi$ 来关联势能 $v$ 与散射数据，其中 $k \in \Sigma = \{k \in \mathbb{C}^3 : k^2 = 0\}$。
• 施加条件 $\hat{v} \in L_\mu^\infty(\mathbb{R}^3)$ 以确保在 $L_\mu^\infty$-范数空间中解的存在性与唯一性，其中 $\mu \geq 2$。
• 在空间 $L_\mu^\infty((\mathbb{C} \setminus 0) \times (\mathbb{R}^3 \setminus \mathcal{L}_\nu))$ 上使用压缩映射法求解重构过程中出现的非线性积分方程。
• 对复平面上核函数 $1/\zeta$ 进行估计，并利用 $L_\mu^\infty$-范数控制，推导重构过程的稳定性与收敛性界。

实验结果

研究问题

• RQ1 在零能下，能否从 Faddeev 散射振幅的限制 $h|_{\Gamma}$ 唯一重构三维 Schr"odinger 方程中的势能 $v$？
• RQ2 如何从 $h|_{\Gamma}$ 精确重构 $v$？该重构过程的稳定性与收敛性特性是什么？
• RQ3 对 $\hat{v}$ 需要施加何种条件，以确保相关 $\bar{\partial}$-方程组的可解性及重构的有效性？
• RQ4 限制 $h|_{\Gamma}$ 如何与经典后向散射振幅相关联？其在非过定逆散射中的作用是什么？
• RQ5 对小势能，散射数据 $h|_{\Gamma}$ 与完整 $h$ 在复域中的表征是什么？

主要发现

• 在 $\hat{v} \in L_\mu^\infty(\mathbb{R}^3)$ 且 $\mu \geq 2$ 的条件下，若 $||\hat{v}||_\mu$ 足够小，则势能 $v$ 的唯一性得以确立。
• 通过在 $L_\mu^\infty$-空间中求解非线性积分方程，并采用逐次逼近法，推导出 $v$ 的精确重构程序。
• 获得稳定性估计：重构势能之间差值的 $L_\mu^\infty$-范数被有界于散射数据差值的 $L_\mu^\infty$-范数的常数倍。
• 在压缩映射法下，当 $\alpha = 4c_6(\mu)r < 1$ 时，近似重构的收敛率为 $O(r)$，其中 $r = ||\hat{v}||_\mu$。
• 证明了一个表征定理：$h|_{\Gamma}$ 由满足 $\hat{v} \in L_\mu^\infty(\mathbb{R}^3)$，$\mu \geq 2$ 且 $||\hat{v}||_\mu$ 较小的势能 $v$ 生成，当且仅当其对应的 $\bar{\partial}$-方程解满足所需的积分方程。
• 在相同的小势能与正则性假设下，建立了零能下三维空间中完整 Faddeev 函数 $h$ 在复域中的新表征定理。