[論文レビュー] 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応用で用いられる球面ラドン変換の最初の再構成公式に、物理的に現実的な条件下で発散する重大な欠陥が存在することを特定し、修正された代替公式を提示する。この代替公式は、分布的解析と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.

研究の動機と目的

• SARおよびSONARなどの物理的イメージング応用における球面ラドン変換の再構成公式の妥当性を評価すること。
• アンダーソンの研究における最初の再構成公式に存在する数学的欠陥を特定・解消すること。この欠陥は、物理的に妥当な仮定のもとで収束しないことを示している。
• データのフーリエ変換が L² に属さない場合でも、第二の再構成公式の数学的適切性（well-posedness）を確立すること。
• データのフーリエ変換が L² に属さない場合に、逆球面ラドン変換を分布的意味で厳密に定義するフレームワークを提供すること。

提案手法

• 緩和分布およびシュワーツ空間理論を用いて、球面ラドン変換 Rf とその逆変換のフーリエドメイン関係を分析する。
• f が物理的に意味のある性質を持つ場合、特に f̂(0,0) ≠ 0 のとき、最初の再構成公式が発散する積分を生じることを示す。
• 随伴作用素 R* と、そのフーリエ乗数 √(|η|²−|ξ|²)|η|ⁿ⁻¹ で定義される擬微分作用素 K を用いた代替逆変換公式を提案する。
• Fubiniの定理を用いて、R*Kg のフーリエ変換における積分順序の交換を正当化し、分布的フーリエ変換が適切に定義されることを保証する。
• 変数変換と L² ノルムにおける推定を用い、物理的仮定のもとで ĝ の L² ノルムが無限大に達することを示し、分布的アプローチの必要性を裏付ける。
• f̂(ξ,η) = cₙ ŝ(Kg)(ξ,√(|ξ|²+η²)) であることを示すことにより、f = cₙ R*Kg が分布的意味で成り立つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 アンダーソンの研究における最初の再構成公式は、SARおよびSONARイメージングにおいて物理的に現実的な関数に対して収束するか？
• RQ2 データのフーリエ変換が L² に属さない場合、第二の再構成公式の数学的状態は何か？
• RQ3 原点におけるフーリエ変換が消えない関数に対して、逆球面ラドン変換を分布的意味で厳密に定義できるか？
• RQ4 R*Kg を通じた提案された代替逆変換公式は、数学的に適切に定義されており、既知のフーリエドメイン関係と整合的か？

主な発見

• 最初の再構成公式は、物理的に妥当な仮定のもとで無効である。特に f̂(0,0) ≠ 0 のとき、発散する積分を生じるためである。
• 第二の再構成公式は、分布的意味で数学的に適切に定義されており、R*Kg のフーリエ変換が存在し、必要な形と一致することを証明することで示された。
• データ g = Rf のフーリエ変換は L² に属さず、g は L¹ に属さない。これは原点における特異性に起因し、標準的な L² または L¹ に基づく数値手法が無効であることを示している。
• R*Kg の分布的フーリエ変換は適切に定義されており、cₙ 倍の必要な式に等しい。これにより、逆変換公式 f = cₙ R*Kg が緩和分布空間内で成立することが保証される。
• 解析により、第二の公式が、データのフーリエ変換が可積分または平方可積分でない場合でも、既知のフーリエドメイン逆関係と整合的であることが確認された。