[论文解读] Phaseless inverse scattering problems in 3-d

Michael V. Klibanov|arXiv (Cornell University)|Mar 5, 2013

Numerical methods in inverse problems参考文献 29被引用 4

一句话总结

本文建立了三维无相位反散射问题的唯一性定理，其中仅测量波场的模，而非相位。通过利用时域公式和从散射波数据的傅里叶变换导出的伏尔泰拉积分方程，证明了在有界区域 $ \Omega $ 内，即使对势函数和数据的光滑性假设较弱，仅通过源点邻域的无相位测量，也能唯一确定势函数 $ q(x) $。

ABSTRACT

Uniqueness theorems are proved for 3-d inverse scattering problems in the frequency domain under the assumption that only the modulus of the complex valued wave field is measured, while the phase is unknown.

研究动机与目标

• 解决从波场的无相位测量中重建三维势函数 $ q(x) $ 的挑战，这是反散射领域长期存在的难题。
• 通过证明当仅知道模 $ |u(x,x_0,k)|^2 $ 而非相位时的唯一性，克服相位恢复的局限性。
• 在势函数和解的光滑性条件为 $ C^2 $ 或 $ C^4 $ 的实际假设下，建立唯一性结果，避免最小光滑性假设。
• 将无相位反散射理论从一维扩展到三维，此前结果需同时使用振幅和相位。
• 提供一种框架，仅使用源点附近的局部振幅数据，即可在紧支集区域 $ \Omega $ 内重建势函数 $ q(x) $。

提出的方法

• 在频域中利用紧支集势函数 $ q(x) \in C^m(\mathbb{R}^3) $（$ m=2 $ 或 $ 4 $）的薛定谔方程，建立反散射问题的公式。
• 通过逆傅里叶变换将频域问题转化为时域问题，得到带有源项的双曲波方程。
• 利用时域公式推导涉及散射波及其导数的伏尔泰拉积分方程，利用因果性和紧支集条件。
• 应用具有时空面上 $ S \times (0,\infty) $ 上边界数据的双曲方程唯一性定理，确保若测量振幅匹配，则 $ q_1(x) = q_2(x) $ 在 $ \Omega $ 内成立。
• 利用匹配 $ |u(x,x_0,k)|^2 $ 意味着散射波的傅里叶变换匹配，从而推出时域解 $ V_1 = V_2 $ 在边界上的相等。
• 通过解的时间导数和高阶导数构造第二类伏尔泰拉方程，证明对于两个势函数，散射波必须完全相同，因此 $ q_1 = q_2 $。

实验结果

研究问题

• RQ1 在三维区域中，是否能仅从波场的模而无需相位信息，唯一地重构势函数 $ q(x) $？
• RQ2 当测量被限制在源点 $ x_0 $ 的邻域而非全远场图案时，反散射问题的唯一性是否仍然成立？
• RQ3 在 $ q(x) $ 为 $ C^2 $ 或 $ C^4 $ 光滑性假设下，即使不假设最小光滑性，唯一性是否仍可建立？
• RQ4 当仅有无相位数据时，是否可能使用时域方法恢复势函数？
• RQ5 在测量区域和数据（仅振幅）满足何种条件下，可确保两个不同势函数不会产生相同的测量强度？

主要发现

• 若两个势函数 $ q_1 $ 和 $ q_2 $ 的测量模 $ |u(x,x_0,k)|^2 $ 在 $ \Omega $ 内完全相同，即使相位未知，也能唯一确定势函数 $ q(x) $。
• 唯一性结果在 $ q(x) $ 的 $ C^2 $ 或 $ C^4 $ 光滑性假设下成立，选择 $ m=4 $ 可确保与现有双曲方程唯一性定理的兼容性。
• 证明依赖于将频域问题转化为时域问题，此时测量振幅数据导致时域解 $ V_1 = V_2 $ 在边界 $ S \times (0,\infty) $ 上相等。
• 时域解相等意味着散射波及其导数匹配，从而导出唯一解的伏尔泰拉积分方程，强制两个势函数完全相同。
• 即使时间区间有限，只要 $ T > \text{diam}(G_1)/2 $，结果依然成立，允许实际测量窗口的存在。
• 推论表明，即使仅在源面 $ S $ 上某固定点 $ y \neq y_0 $ 处测量单一点 $ |u(y,y_0,k)|^2 $，也能唯一确定波场，从而唯一确定势函数。