[论文解读] Inverting the spherical Radon transform for physically meaningful functions

Jens Klein|ArXiv.org|Jul 28, 2003

Synthetic Aperture Radar (SAR) Applications and Techniques参考文献 6被引用 13

一句话总结

本文識別出在合成孔徑雷達（SAR）與聲納（SONAR）應用中使用的球面Radon變換第一個重構公式中的一個關鍵缺陷，表明在物理上合理的條件下該公式會發散。論文提出了一個修正的替代公式，並通過分布理論分析與Fubini定理，嚴謹證明第二個公式在數學上是良定義的，儘管其數值實現具有挑戰性。

ABSTRACT

In this paper we refer to the reconstruction formulas given in L.-E. Andersson's On the determination of a function from spherical averages, which are often used in applications such as SAR and SONAR. We demonstrate that the first one of these formulas does not converge given physically reasonable assumptions. An alternative is proposed and it is shown that the second reconstruction formula is well-defined but might be difficult to compute numerically.

研究动机与目标

• 評估球面Radon變換重構公式在SAR與SONAR等物理成像應用中的有效性。
• 識別並解決Andersson工作中第一個重構公式中的數學缺陷，該公式在物理上合理的假設下無法收斂。
• 即使存在數值複雜性，仍確立第二個重構公式的數學良定義性。
• 為當資料的傅里葉變換不屬於L²空間時，提供處理反球面Radon變換的嚴謹分布框架。

提出的方法

• 利用緩增分布與Schwartz空間理論，分析球面Radon變換Rf及其逆變換在傅里葉域中的關係。
• 證明當f具有物理上合理的性質時，特別是當f̂(0,0) ≠ 0時，第一個重構公式會導致發散積分。
• 提出一種基於伴隨算子R*與透過其傅里葉乘子√(|η|²−|ξ|²)|η|ⁿ⁻¹定義的擬微分算子K的替代反演公式。
• 利用Fubini定理，確保R*Kg的傅里葉變換中積分順序的合理性，從而使分布傅里葉變換具有良定義性。
• 透過變數變換與L²範數估計，證明在物理假設下ĝ的L²範數為無窮大，從而證明必須採用分布方法的必要性。
• 透過證明傅里葉變換的相等性，即f̂(ξ,η) = cₙ ŝ(Kg)(ξ,√(|ξ|²+η²))，確立f = cₙ R*Kg在分布意義下的成立。

实验结果

研究问题

• RQ1 Andersson工作中的第一個重構公式在SAR與SONAR成像中對物理上合理的函數是否收斂？
• RQ2 當資料的傅里葉變換不屬於L²空間時，第二個重構公式的數學狀態為何？
• RQ3 對於在原點處傅里葉變換不為零的函數，其反球面Radon變換能否在分布意義下嚴謹定義？
• RQ4 透過R*Kg提出的替代反演公式在數學上是否良定義，且與已知的傅里葉域關係一致？

主要发现

• 在物理上合理的假設下，第一個重構公式無效，因其導致發散積分，特別是在f̂(0,0) ≠ 0時。
• 第二個重構公式在分布意義下具有數學良定義性，這是透過證明R*Kg的傅里葉變換存在且符合所需形式所證實。
• 資料g = Rf的傅里葉變換不屬於L²空間，且g也不屬於L¹空間，這是因在原點存在奇點，導致標準的L²或L¹數值方法失效。
• R*Kg的分布傅里葉變換具有良定義性，且等於cₙ倍的所需表達式，從而確保在緩增分布空間中反演公式f = cₙ R*Kg成立。
• 分析確認，即使資料的傅里葉變換不可積或不平方可積，第二個公式仍與已知的傅里葉域反演關係一致。