[論文レビュー] Tensor tomography on surfaces

Gabriel P. Paternain, Mikko Salo+1 more|arXiv (Cornell University)|Sep 2, 2011

Advanced Differential Geometry Research参考文献 15被引用数 8

ひとこと要約

本稿は、単純な表面上の任意の順序の対称テンソル場における測地線ラスタ変換のs-注入性を確立する。つまり、すべての測地線に沿ってテンソル場の積分が消えるならば、その場はポテンシャル場（つまり、発散がゼロである対称テンソル）であることを示している。証明は、単位円束の文脈におけるペストフの恒等式と正則的積分因子に依拠しており、2次元テンソルトモグラフィーにおける長年の逆問題を解決する。

ABSTRACT

We show that on simple surfaces the geodesic ray transform acting on solenoidal symmetric tensor fields of arbitrary order is injective. This solves a long standing inverse problem in the two-dimensional case.

研究の動機と目的

• 2次元において、任意の順序の対称テンソル場における測地線ラスタ変換の注入性という長年の逆問題を解決すること。
• 単純な表面上で、すべてのテンソルランク m ≥ 0 に対してs-注入性を確立し、核が正確にポテンシャル場（対称テンソル場の差）からなることを示すこと。
• 非線形境界剛性問題の解に依存しない、s-注入性の新しい、自己完結的な証明を提供すること。
• 地球物理学的および医用画像診断に応用可能な高次テンソル場へのトモグラフィーの適用範囲を拡張すること。
• 最小限の曲率および幾何的仮定の下で、既存のテンソルトモグラフィーの結果を統一的かつ一般化すること。

提案手法

• 単位円束 SM 上でのペストフの恒等式の応用において、測地線ベクトル場 X とその共役 V を用い、(X + A)v および V(X + A)v のノルムを含むエネルギー恒等式を導出する。
• 角度変数 θ を用いた SM 上でのテンソル場のフーリエモードへの分解により、演算子 X + A のスペクトル解析を行う。
• 命題 2.4 を用いて、Xw = A を満たす正則的積分因子 w を構成し、輸送方程式を正則的設定に変換する。
• 正則関数論の応用：輸送方程式の右辺が正則的であり、境界で解が消えるならば、解も正則的であり、そのゼロフーリエモードは消える。
• Ω_m 内で特定の非ゼロ関数 h = e^{imθ} を用い、接続 A = -h^{-1}Xh を定義する。これは m 次テンソルベンドルバンドル上のリーマン接続に対応する。
• 単純な表面がディスクに微分同相であることから、大域的等角座標が存在し、積分因子法に適した大域的正則セクションが存在することを用いる。

実験結果

リサーチクエスチョン

• RQ1 単純な2次元リーマン多様体上における任意の順序 m の対称テンソル場に対して、測地線ラスタ変換はs-注入的か？
• RQ2 非線形境界剛性問題の解に依存せずに、s-注入性の結果を証明できるか？
• RQ3 正則関数および積分因子は、SM 上での輸送方程式解析においてどのような役割を果たすか？
• RQ4 接続 A を含むペストフの恒等式は、テンソル場のソリノイダル分解とどのように関係するか？
• RQ5 最小限の幾何的仮定の下で、注入性の結果を高次テンソル場へ拡張できるか？

主な発見

• 測地線ラスタ変換 I は、任意の m ≥ 0 に対して、単純な表面上のすべての対称 m-テンソル場でs-注入的である。
• C^∞ 級の対称 m-テンソル場 f に対して If = 0 ならば、f = dh を満たす C^∞ 級の対称 (m−1)-テンソル h が存在し、h|∂M = 0 を満たす。
• 証明は非線形境界剛性問題の結果に依存せず、注入性問題に対する新しい直接的アプローチを提供する。
• 接続 A を含む修正されたペストフの恒等式に依拠し、非負のエネルギー恒等式が得られ、s > (m²−1)/2 sup_M K のとき、解が消えることを強制する。
• 正則的積分因子の使用により、右辺が正則的である輸送方程式の解は正則的でなければならないことが保証され、低次のフーリエモードが消える。
• 結果はすべての m ≥ 0 に対して成り立ち、m = 0（ここではムフメトフの結果に帰着）、m = 1, 2, なども含む。医療超音波や地球物理学的イメージングへの応用がある。