双聚焦方法在不完整多静态响应矩阵下识别小目标的理论与数值验证

《Mathematics》：Theoretical and Numerical Validations of the Bifocusing Method for Identifying Small Objects with Incomplete MSR Matrices

　　

本文关注双聚焦方法（Bifocusing Method, BFM）在二维均匀域中利用零填充不完整多静态响应（Multi-Static Response, MSR）矩阵对小型、良好分离介质目标进行成像的应用。该受限测量设置的核心挑战在于存在一个可能掩盖目标定位的干扰项。为此，研究人员从理论证明成像函数的干扰项被严格界定在0.2438以内，从而在不被干扰淹没主导定位项的前提下保证目标的唯一识别。跨多种频率与不同目标特性的大量数值模拟验证了这些理论发现。结果表明，即便在大量数据缺失情况下，基于BFM的成像函数仍能稳健定位目标。

研究背景方面，电磁逆散射问题旨在利用外部测量的散射场或远场数据反演未知目标的位置、形状与物理属性，广泛应用于医学成像、无损检测、穿墙成像、地雷探测、探地雷达与地球物理等领域。在非迭代算法中，双聚焦方法（Bifocusing Method, BFM）因直观高效受到关注，其传统成像函数利用两个格林函数逆合成的检测向量，并依赖由发射与接收阵列观测构成的完整多静态响应（Multi-Static Response, MSR）矩阵。然而在实际工业或临床环境中，受物理约束或有限孔径布置影响，难以全角度采集散射场，Fresnel数据集等场景仅能在受限角度内测量，导致MSR矩阵大量缺失，既往研究采用将不可测条目置零的零填充策略继续成像。此举引入数学难题：BFM成像函数可分解为定位小目标的贡献项与产生虚影的干扰项，既往虽给出干扰项形式，但未建立严格上界以保证唯一识别，这正是本研究切入点。研究人员针对零填充不完整MSR矩阵下的BFM干扰项，证明其上界严格小于0.2438，远低于贡献项峰值，从而在严重缺数据下仍保障唯一准确识别，并以多组数值实验交叉验证。该文发表于《Mathematics》。

关键技术方法上，研究人员基于二维标量亥姆霍兹方程建立点源入射场与总场模型，在小目标假设下利用积分表示式得到MSR矩阵分解；针对Fresnel式受限孔径，将不可测MSR条目置零构造零填充不完整MSR矩阵并定义归一化BFM成像函数；借助汉克尔函数渐近近似与贝塞尔函数估计，对干扰项做级数拆分与余项衰减分析，推得全局最大值上界0.2438；数值上采用Foldy–Lax公式生成三圆目标散射数据并加白高斯噪声（信噪比10 dB），在完整与零填充不完整MSR下计算成像图，并用二维相关系数（2DCC）、峰 artifact 比（PAR）、对比度噪声比（CNR）及蒙特卡洛定位误差评估，同时与MUSIC算法对比。

研究结果部分，各节简要结论如下。第2节问题描述与BFM成像函数中，研究人员回顾二维直接散射问题与完整MSR下传统BFM峰值定位原理，并给出零填充不完整MSR下成像函数定义，明确缺数据场景建模基础。第3节理论结果与目标唯一识别中，研究人员依据引理将成像函数分解为贡献项I_p^(c)与干扰项I_p^(d)，通过贝塞尔函数J₁首项主导性与高阶余项快速衰减，严谨证明I_p^(d)最大值不超过0.2438（数值精算约0.2414），该界源于Fresnel配置下核函数解析性质，非普适常数；单与多目标一维曲线显示干扰项低于此界，多目标叠加不超0.5，故不能淹没贡献项，目标可唯一识别，但低频因主瓣变宽致多目标合并属分辨率局限。第4节数值模拟中，研究人员设四组三圆目标（同介电同半径、异介电同半径、同介电异半径、异介电异半径），在4 GHz至10 GHz频段对比完整与零填充不完整MSR成像：视觉上缺数据无显著退化，高频主瓣变窄提升分辨使弱目标显形；2DCC均高于0.815；PAR在低频低于10因主瓣合并，高频超100达4000级；CNR低频约2.1至2.5，4 GHz以上超4.3最高8.32；噪声鲁棒性上阵列增益使相干和随测量数N_TN_R比例放大、噪声非相干按平方根增长，输入SNR 5 dB经增益后有效SNR约25 dB，蒙特卡洛百次试验在8 GHz下SNR 0 dB仍保85%至90%检出率且平均定位误差约0.01 λ；同条件MUSIC算法在低于10 GHz时因不完整MSR破坏噪声子空间正交性而失效或漏检，BFM全频段稳健。第5节结论中，研究人员确认不完整MSR下BFM干扰项严格有界0.2438，保障ghost artifact不掩真目标，数值实验与高2DCC支持结论，但低频多目标因分辨率极限难分，留待后续。

讨论与结论翻译部分，研究人员在文中指出：本工作验证了MSR不完整时BFM成像函数的稳健性，理论核心为干扰项严格界0.2438，该值远低于主导定位项峰值，从数学上确保虚影与背景干扰不淹没真实目标，从而在高缺数据下仍唯一准确识别；含噪合成数据多频模拟与高二维相关系数证实完整MSR缺失不显著降质；BFM为受限测量、材料对比、尺寸异质下提供可靠非迭代框架；但低频（如4 GHz）多目标邻近时主瓣合并的分辨率限制仍存，未来将在保持非迭代稳健性同时攻关低频分辨增强。