[論文レビュー] Remarks on the general Funk-Radon transform and thermoacoustic tomography

Victor Palamodov|ArXiv.org|Jan 7, 2007

Photoacoustic and Ultrasonic Imaging参考文献 8被引用数 16

ひとこと要約

本稿は、熱音響トモグラフィーの文脈において、一般化されたファンク＝ラドン変換の理論的基盤を確立し、核の双対作用素の二面的推定、範囲記述、近似定理を提供する。変換作用素の正則化されたデータに対する単射性を証明し、安定な逆問題解法のための反復的アルゴリズムとしてカツマルツ法を適応し、インシデント多様体の一般な幾何的条件下で収束性を保証する。

ABSTRACT

We study properties of the general integral transform defined for a family of hypersurfaces in a smooth manifold. Estimates of Sobolev norms, range conditions and approximation theorem for the kernel of the integral transform are stated. Applications to the spherical mean transform that appears in thermo/opto/photoacoustic tomography are discussed.

研究の動機と目的

• 多様体上のインシデント構造を有する一般化されたファンク＝ラドン変換の二面的推定を確立し、その範囲を記述すること。
• 近似定理を用いて双対ファンク＝ラドン作用素の核を特徴づけること。
• $ \alpha > 1/2 $ の場合に、正則化された変換作用素 $ M^*\varepsilon M $ が単射であることを証明し、逆問題における一意性を保証すること。
• 熱音響トモグラフィーにおける一般化されたファンク＝ラドン作用素の安定な反復的逆問題解法を、カツマルツ法に適応すること。

提案手法

• 本稿は、滑らかなインシデント多様体 $ F \subset X \times \Sigma $ を用いた二重ファイブレーション枠組みを採用し、非消滅微分 $ dI \neq 0 $ を満たし、ランクおよび横断的条件を満たす。
• ファンク変換 $ Mf(\sigma) = \int_{F(\sigma)} \frac{f}{d_xI} $ を定義し、$ f $ を compact な台を持つ密度とみなして、結果を超曲面積分として解釈する。
• 双対作用素 $ M^\circ $ は、幾何学的および解析的条件、特にヘッセ型行列式 $ \det \Phi \neq 0 $ の非退化性を用いて分析され、局所微分同相性を保証する。
• 反復的カツマルツ型法は、作用素 $ Q = I - \omega M^* R^{-1} M $ を用いて構築され、$ 0 < \omega < 2 $ の範囲で収束を保証する。
• 本手法は、$ R $ の自己随伴性および可逆性、および $ M g \neq 0 $ の場合に $ \|Qg\| < \|g\| $ を満たす収縮性に依存し、解に収束することを保証する。
• 理論的収束は、単射性および範囲条件のもとで、列 $ \{f^k\} $ の強い収束性を用いて証明される。

実験結果

リサーチクエスチョン

• RQ1 一般化されたファンク＝ラドン変換が、どのような幾何的および解析的条件下で単射となるか。
• RQ2 ファンク＝ラドン変換の正確な範囲は何か。その核はどのように近似可能か。
• RQ3 カツマルツ法は、熱音響トモグラフィーにおける一般化されたファンク＝ラドン作用素に対して、どのように適応され、収束性を保証できるか。
• RQ4 データにどのような正則性条件が課されると、逆問題における安定性と一意性が保証されるか。

主な発見

• 任意の $ \delta > 0 $ およびすべての $ \alpha > 1/2 $ に対して、作用素 $ M^*\varepsilon M $ は単射であり、正則化された逆問題における一意性を保証する。
• $ \alpha > 1/2 $ の場合に、不等式 $ \|Mf\| \geq c \|f\| $ が成り立ち、変換に対する二面的推定が得られる。
• カツマルツ型反復 $ f^{k+1} = f^k + \omega M^* R^{-1}(\varphi - Mf^k) $ は、$ 0 < \omega < 2 $ の範囲で、解 $ f $ に強く収束する。
• 作用素 $ R = -MM^* + \theta I $ は自己随伴的で正定値かつ可逆であり、安定な逆問題解法を反復スキームにより実現可能である。
• 条件 $ M $ が単射であり $ \varphi $ が範囲内にある限り、$ \|f^{k+1} - f\| < \|f^k - f\| $ が成り立ち、真の解 $ f $ に収束する。
• 本枠組みは、条件 (i) および (ii) を満たす任意のコンパクト多様体 $ K $ および $ \Lambda $ に一般化可能であり、熱音響トモグラフィーの設定を含む。