[論文レビュー] The geodesic ray transform on two-dimensional Cartan-Hadamard manifolds

Jere Lehtonen|arXiv (Cornell University)|Dec 14, 2016

Geometric Analysis and Curvature Flows参考文献 12被引用数 5

ひとこと要約

本稿は、2次元のカルタン＝ハダマール多様体における測地線ラジアル変換の単射性を、2種類の異なる曲率条件のもとで確立する。すなわち、有界で非正の曲率と、減少する非正の曲率である。ペストフ恒等式に基づく拡張されたエネルギー推定法を用いて、関数とその勾配が十分に速く減少する場合、変換の値が恒等的にゼロであれば、関数自体も恒等的にゼロでなければならないことを証明する。具体的には、曲率の有界性または減少性に依存する減衰率を持つ。

ABSTRACT

We prove two injectivity theorems for the geodesic ray transform on two-dimensional, complete, simply connected Riemannian manifolds with non-positive Gaussian curvature, also known as Cartan-Hadamard manifolds. The first theorem is concerned with bounded non-positive curvature and the second with decaying non-positive curvature.

研究の動機と目的

• 非コンパクトで2次元のカルタン＝ハダマール多様体に非正の曲率をもつ場合、測地線ラジアル変換の単射性を確立すること。
• コンパクトな状況から非コンパクトな状況へのエネルギー推定技術の拡張を行い、減衰制御と境界項の解析における課題を克服すること。
• 測地線ラジアル変換がゼロであれば関数が恒等的にゼロであることを保証するための、関数およびその勾配の十分な減衰条件を提供すること。
• 2種類の異なる曲率領域を分析する：有界で非正の曲率と、減少する非正の曲率であり、それぞれ異なる減衰仮定を要する。
• ユークリッド空間および双曲空間におけるラドン変換の古典的単射性結果を、対称性のないより一般的なリーマン多様体へ一般化すること。

提案手法

• 非コンパクト多様体における測地線ラジアル変換のペストフ恒等式を、コンパクト部分多様体 $ SM_{p,r} $ に制限することで適応し、境界項を解析する。
• 切捨て関数 $ \rho_k $ を用い、輸送方程式 $ Xu = -f $ の解 $ u^f $ を近似する関数列 $ u_k $ を構成する。
• 多様体 $ SM_{p,r} $ においてペストフ恒等式を適用し、$ Xu = -f $ により $ \nabla_X u $ 項が消えることを用い、非正曲率により曲率項 $ \nabla_K Vu, Vu $ を制御する。
• 外向き法線 $ \nu $ と速度ベクトル $ v $ を含む境界項を、曲率および関数の減衰から導かれる指数的減衰境界を用いて推定する。
• 補題4.5および4.7を用いて、$ |Vu^f| $ および $ |X_{\bot}u^f| $ を、曲率仮定に応じて指数的または多項式的減衰の形で上界で抑え込む。
• コンパクト化された部分多様体上で $ Xu_k $, $ X_{\bot}u_k $, および $ Vu_k $ がそれぞれ $ -f $, $ X_{\bot}u^f $, および $ Vu^f $ に $ L^\frown $ 収束することを証明し、$ L^2 $ および $ L^\frown $ での収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 関数 $ f $ 及びその勾配にどのような減衰条件を課すと、2次元カルタン＝ハダマール多様体上での測地線ラジアル変換が単射となるか？
• RQ2 ペストフ恒等式は非コンパクト多様体に対しても適応可能であり、測地線ラジアル変換の単射性を証明できるか？
• RQ3 曲率の有界性または減少性に応じて、減衰率の単射性閾値はどのように変化するか？
• RQ4 非正曲率のもとで、$ If = 0 $ ならば $ f = 0 $ となるために必要な $ f $ 及び $ \nabla f $ の最小減衰は何か？
• RQ5 曲率の減少性と有界性は、非コンパクト多様体上でのペストフ恒等式における境界項の挙動にどのように影響するか？

主な発見

• 有界で非正の曲率 $ -K_0 \leq K \leq 0 $ をもつ多様体では、$ \eta > \frac{5}{2}\sqrt{K_0} $ のとき、$ E^1_\eta(M) \cap C^2(M) $ 上で測地線ラジアル変換は単射であり、$ f $ はレート $ \eta $ で指数的減衰する。
• ガウス曲率が $ K \in P_{\tilde{\eta}}(p,M) $ と減少する多様体では、$ \tilde{\eta} > 2 $ のとき、$ P^1_\eta(p,M) \cap C^2(M) $ 上で $ \eta > \frac{3}{2} $ に対して単射であり、$ f $ 及び $ \nabla f $ の多項式的減衰が必要となる。
• 境界項は $ r \to \infty $ のとき、$ e^{(5\sqrt{K_0} - 2\eta)r} $ および $ e^{(3\sqrt{K_0} - 2\eta)r} $ の指数的減衰により消える。$ \eta > \frac{5}{2}\sqrt{K_0} $ のとき、これらはゼロに収束する。
• 証明は、輸送方程式 $ Xu = -f $ の近似解 $ u_k $ を構成し、コンパクト化された部分多様体上で $ L^2 $ および $ L^\infty $ ノルムで収束することを示すことに依存する。
• 関数 $ f $ 及び $ \nabla f $ の減衰は極めて重要である。有界曲率の場合、指数的減衰が必要である。減少曲率の場合、$ \eta > 3/2 $ の多項式的減衰で十分である。
• 本結果は、$ \mathbb{R}^2 $ 及び $ H^2 $ におけるラドン変換の古典的単射定理を、非コンパクトで対称性のない非正曲率多様体へ一般化する。