[论文解读] On reconstruction from imaginary part for radiation solutions in two dimensions

Arjun V. Nair, Roman Novikov|arXiv (Cornell University)|Nov 14, 2024

Numerical methods in inverse problems被引用 1

一句话总结

本文证明，在二维情况下，亥姆霍兹方程的辐射解由其在外部区域某条直线上任意非空区间的虚部唯一确定。利用卡普展开和两点近似方法，作者证明了仅通过边界测量虚部 Im(ψ) 即可实现解的全局唯一重构，该结果在反谱问题和二维被动成像中具有应用价值。

ABSTRACT

We consider a radiation solution $\psi$ for the Helmholtz equation in an exterior region in $\mathbb R^2$. We show that $\psi$ in the exterior region is uniquely determined by its imaginary part $Im(\psi)$ on an interval of a line $L$ lying in the exterior region. This result has holographic prototype in the recent work Nair, Novikov (2025, J. Geom. Anal. 35, 123). Some other curves for measurements instead of the lines $L$ are also considered. Applications to the Gelfand-Krein-Levitan inverse problem (from boundary values of the spectral measure in $\mathbb R^2$) and to passive imaging are also indicated.

研究动机与目标

• 建立二维亥姆霍兹方程辐射解的唯一重构，其依据为解在直线线段上虚部的测量结果。
• 利用卡普展开和相位无关反问题的最新进展，将三维情况下的全息型唯一性结果推广至二维情形。
• 为求解二维固定能量下的盖尔范德-克雷因-列维坦反问题提供理论基础。
• 证明解在直线或解析曲线上虚部的测量值可唯一确定外部区域中的完整解。
• 通过证明边界测量的 Im(ψ) 足够实现全局重构，支持被动成像与反散射问题的应用。

提出的方法

• 利用贝塞尔函数和角向傅里叶系数的卡普展开，对解在无穷远处进行渐近表示。
• 应用从 Im(ψ) 渐近行为导出的两点近似公式，通过射线上测量数据重构主导傅里叶系数 f₀(φ)。
• 利用渐近展开和 ψ 的虚部，通过沿射线的一系列两点测量递归重构高阶傅里叶系数 fⱼ(φ)。
• 通过解析延拓及有界区域上狄利克雷问题的求解，将唯一性从射线推广至一般解析曲线。
• 通过证明线段上 Im(ψ) 的测量值可通过实解析性及卡普级数系数的唯一性确定完整解，将反问题转化为边界测量问题。
• 将三维反问题中的技术（如文献 [26] 所述）适配至二维情形，以卡普展开替代阿特金森-威尔科克斯展开。

实验结果

研究问题

• RQ1 能否仅通过单一线段上解的虚部唯一重构二维亥姆霍兹方程的辐射解？
• RQ2 三维相位无关反问题中的全息型唯一性结果是否可推广至二维情形？
• RQ3 解在一般解析曲线（如圆周或有界区域边界）上的虚部在多大程度上可唯一确定完整解？
• RQ4 二维盖尔范德-克雷因-列维坦反问题如何转化为 Im(ψ) 的边界测量问题？可建立何种唯一性保证？
• RQ5 能否利用卡普展开将两点近似方法推广至二维，以重构解的傅里叶系数？

主要发现

• 在任意非空区间 Λ ⊂ L 的直线 L ⊂ U 上，辐射解 ψ 的虚部唯一确定了整个外部区域 U 中的 ψ。
• 定理 2 表明，线段上 Im(ψ) 的测量值唯一确定了 R² \ U 中的完整辐射解 ψ，其依据为实解析性与卡普展开。
• 对于半径为 r = cj/κ 的圆 Sr（cj 为 J₀ 的正零点），有 Im(ψ) ≡ 0（当 ψ = G⁺(x, κ) 时），表明在圆周上唯一性不成立；但对不包含此类半径的解析曲线，唯一性仍成立。
• 定理 3 证明：若 κ 不是有界区域 D 的狄利克雷特征值，则在有界区域 D 的连通实解析边界 Γ 的任意非空开区间 Λ 上，Im(ψ) 唯一确定了 U 中的 ψ。
• 二维盖尔范德-克雷因-列维坦反问题被简化为线段上 Im(R⁺_v) 的边界测量问题，定理 4 表明该数据可唯一确定势函数 v。
• 两点近似公式 (12) 允许仅通过射线上两点处的 Im(ψ) 测量值重构主导傅里叶系数 f₀(φ)，并支持高阶系数的递归重构。