[論文レビュー] The X-ray transform for a generic family of curves

Béla A. Frigyik, Plamen Stefanov+1 more|ArXiv.org|Feb 3, 2007

Numerical methods in inverse problems参考文献 20被引用数 5

ひとこと要約

本稿では、境界をもつコンパクト多様体上の滑らかな曲線族に対して、曲線の共法線 bundle が余接 bundle $ T^*M $ を被覆するという条件下で、重み付きX線変換の一般的単射性および安定性評価を確立する。微局所的および解析的技法を用いて、曲線および重みの一般的選択のもとで、変換が単射的かつ安定であることを証明し、標準的な直線に基づくX線変換を超えて、積分幾何学およびコンピュータトモグラフィーの結果を一般化する。

ABSTRACT

We study the weighted integral transform on a compact manifold with boundary over a smooth family of curves $Γ$. We prove generic injectivity and a stability estimate under the condition that the conormal bundle of $Γ$ covers $T^*M$.

研究の動機と目的

• 境界をもつコンパクト多様体上の一般的曲線族に対して、重み付きX線変換の単射性を確立すること。
• 曲線および重みに関する一般的条件下で、変換の安定性評価を導出すること。
• 共役性やグローバルな単純性を仮定しない任意の滑らかな曲線族への、古典的X線トモグラフィーの結果の一般化。
• 幾何的または力学的仮定に依存する従来のアプローチの制限を乗り越えるために、微局所的および解析的手段を用いること。
• 解析的重みおよび一般的曲線族に対して、凸性や測地線のグローバル一意性がなくても、単射性が成立することを示すこと。

提案手法

• 著者たちは、特にフーリエ積分作用素およびその逆作用素の理論を用いた微局所解析と解析的技法を用いる。
• 曲線族の幾何構造と共法線 bundle の性質を用いて、重み付きX線変換の近似逆作用素（パラメトリクス）を構成する。
• この手法は、曲線の共法線 bundle が $ T^*M $ を被覆するという条件に依存しており、十分な幾何的制御を保証する。
• 重要なステップとして、正規作用素のスチャウツィルト核の解析を行い、特異積分のカルデロン＝ジムンド理論を用いてその $ H^1 $-ノルムを推定する。
• 証明では、近接する曲線族および重みについての摂動論法を用い、摂動の $ C^1 $-ノルムを用いて作用素ノルムの差を評価する。
• 安定性評価は、事前評価と奇数同次核をもつ作用素に対するカルデロン＝ジムンド定理を組み合わせることで導出される。

実験結果

リサーチクエスチョン

• RQ1 境界をもつコンパクト多様体上の一般的曲線族に対して、重み付きX線変換がどのような条件下で単射的か。
• RQ2 曲線族がグローバルに単純でない、または共役自由でない場合に、X線変換の安定性評価を確立できるか。
• RQ3 曲線の共法線 bundle が $ T^*M $ を被覆するという条件は、凸性や曲線のグローバル一意性がなくても、単射性を保証するか。
• RQ4 曲線族および重み関数の摂動が、変換の単射性および安定性にどのように影響するか。
• RQ5 幾何的仮定（単純性や非捕獲性）に依存せずに、微局所的手法を用いて一般的単射性を証明できるか。

主な発見

• 重み付きX線変換 $ I_{\tilde{\rho},w} $ は、曲線族 $ \tilde{\rho} $ および重み $ w $ の一般的選択（解析的重みを含む）に対して単射的である。
• 安定性評価が確立された：$ \|f\|_{L^2(M)} \leq C \|N_{\tilde{\Gamma},\tilde{w},\tilde{\alpha}}f\|_{H^1(M_1)} + C\delta \|f\|_{L^2(M)} $、ここで $ \delta $ は摂動の大きさを測る。
• 正規作用素 $ N_{\Gamma,w,\alpha} $ は、$ r^{-n+1} $ 階の弱特異部をもつスチャウツィルト核を持ち、その微分は $ r^{-n} $ 階の特異核をもたらす。
• カルデロン＝ジムンド定理により、正規作用素の $ H^1 $-ノルムが制御され、特異部の $ L^2 \to L^2 $ ノルムは振幅の $ C^1 $-ノルムによって上界が与えられる。
• 摂動されたデータと元のデータの正規作用素の差は、$ C\delta \|f\|_{L^2} $ で上界が与えられ、小さな摂動に対しても安定性が保証される。
• ボーマンの反例により、ある滑らかな重みでは単射性が成立しないことが示されているため、この結果は一般性の観点で最良の条件である。