[論文レビュー] On the injectivity of the circular Radon transform arising in thermoacoustic tomography

Gaik Ambartsoumian, Peter Kuchment|arXiv (Cornell University)|Apr 27, 2004

Photoacoustic and Ultrasonic Imaging参考文献 21被引用数 34

ひとこと要約

この論文は、波動方程式の有限伝搬速度および領域依存性を用いて、熱音響トモグラフィーの中心的役割を果たす円形ラドン変換の新たな単射性結果を確立している。これにより、従来の微局所的および調和多項式的手法に代わる偏微分方程式（PDE）ベースの代替手法が提供される。2次元における特定の中心集合について単射性を証明し、高次元および多様な幾何構造への応用も展開している。

ABSTRACT

The circular Radon transform integrates a function over the set of all spheres with a given set of centers. The problem of injectivity of this transform (as well as inversion formulas, range descriptions, etc.) arises in many fields from approximation theory to integral geometry, to inverse problems for PDEs, and recently to newly developing types of tomography. The article discusses known and provides new results that one can obtain by methods that essentially involve only the finite speed of propagation and domain dependence for the wave equation.

研究の動機と目的

• 熱音響トモグラフィー（TAT）における円形ラドン変換の単射性問題に取り組み、関数をその球面積分から再構成することを目的とする。
• 単射性を証明するための従来の微局所的および調和多項式的手法に代わる、より単純なPDEベースの代替手法を提供する。
• 既知の単射性結果を高次元およびトランスデューサー位置のより一般的な幾何構造へと拡張する。
• 複雑な幾何的解析を避けるために、AgranovskyとQuinto（2002）の主要な結果を波動方程式の性質のみを用いて再現・一般化する。
• 非-compactly 支持関数、不完全データ、およびリーマン多様体に対する将来的な研究の基盤を築く。

提案手法

• 波動方程式の有限伝搬速度の性質を用いて、波フロントが特定の点に到達する時刻と方法を分析する。
• 波動方程式の解の領域依存性を適用し、初期データが観測信号に与える影響を追跡する。
• エネルギーに基づく議論を用いて波動の伝搬を制御し、中心集合上でのデータが消えることから一意性を導く。
• コンパクトにサポートされた非ゼロ関数が変換でゼロとなると仮定し、波動伝搬を介して矛盾を導く背理法を構築する。
• 有限半径までのデータがゼロであると仮定するような局所的単射性結果を導出する。
• 高次元空間および非ユークリッド幾何構造（例えば双曲空間）への一般化を試みる。

実験結果

リサーチクエスチョン

• RQ1 微局所解析や調和多項式の零点集合に依存せずに、波動方程式の基本的性質のみを用いて円形ラドン変換の単射性を確立できるか？
• RQ2 コンパクトにサポートされた関数に対して、円形ラドン変換が単射となるための中心集合Sの必要十分条件は何か？
• RQ3 このPDEベースの手法を高次元および非ユークリッド幾何構造へどの程度まで拡張できるか？
• RQ4 到達時間の制御に加えて波動エネルギーを制御することで、非-compactly 支持関数に対してもこのアプローチを適応可能か？
• RQ5 有限半径までの球面データがゼロであると仮定する場合の局所的単射性条件は何か？

主な発見

• 本論文は、波動方程式の有限伝搬速度および領域依存性のみを用いて、2次元における特定の中心集合について円形ラドン変換の単射性を証明した。
• AgranovskyとQuinto（2002）の2次元における円形中心の単射性に関する主要な結果を、より単純なPDE技術を用いて再確認した。
• この手法は高次元へ一般化可能であり、双曲空間などの他の幾何構造へも適応可能である。
• 有限半径までのデータがゼロであると仮定するような局所的単射性結果が確立された。
• エネルギーに基づく波動解析を組み込むことで、非-compactly 支持関数への単射性結果の拡張に基盤を提供する。
• これらの結果は、より一般的な設定における円形ラドン変換の逆問題の公式化および像の記述の開発に向けた可能性を示唆している。