[论文解读] 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

一句话总结

本文在两种不同的曲率条件下建立了二维Cartan-Hadamard流形上测地线射线变换的单射性：有界非正曲率与衰减的非正曲率。通过基于Pestov恒等式的扩展能量估计方法，作者证明了若函数的变换为零，则该函数必恒为零，前提是该函数及其梯度以足够快的速度衰减——具体而言，衰减速率取决于曲率的有界性或衰减特性。

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.

研究动机与目标

• 在非紧致、二维Cartan-Hadamard流形上，曲率为非正时，建立测地线射线变换的单射性。
• 将紧凑情形下的能量估计技术扩展至非紧致情形，克服衰减控制与边界项分析的挑战。
• 提供函数及其梯度的充分衰减条件，使得射线变换为零可推出函数恒为零。
• 分析两种不同的曲率情形：有界非正曲率与衰减的非正曲率，每种情形需采用不同的衰减假设。
• 将欧氏空间与双曲空间中经典Radon变换的单射结果推广至更一般的无对称性的黎曼流形。

提出的方法

• 通过将Pestov恒等式限制在紧致子流形 $ SM_{p,r} $ 上，将其适应于非紧致流形上的测地线射线变换，并分析边界项。
• 使用截断函数 $ \rho_k $，并构造一列函数 $ u_k $ 逼近传输方程 $ Xu = -f $ 的解 $ u^f $。
• 在 $ SM_{p,r} $ 上应用Pestov恒等式，由于 $ 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 $ 分别在 $ L^\frown $ 范数下收敛于 $ -f $、$ X_{\bot}u^f $ 与 $ Vu^f $，确保在 $ L^2 $ 与 $ L^\frown $ 范数下的收敛性。

实验结果

研究问题

• RQ1 在何种函数 $ f $ 及其梯度的衰减条件下，二维Cartan-Hadamard流形上的测地线射线变换是单射的？
• RQ2 Pestov恒等式能否被适配于非紧致流形，以证明测地线射线变换的单射性？
• RQ3 单射性的衰减率阈值如何依赖于高斯曲率的有界性或衰减性？
• RQ4 为确保在非正曲率下 $ If = 0 $ 蕴含 $ f = 0 $，$ f $ 与 $ \nabla f $ 的最小衰减要求是什么？
• RQ5 曲率的衰减与有界性如何影响非紧致流形上Pestov恒等式中边界项的行为？

主要发现

• 对于满足有界非正曲率 $ -K_0 \leq K \leq 0 $ 的流形，测地线射线变换在 $ E^1_\eta(M) \cap C^2(M) $ 上是单射的，其中 $ \eta > \frac{5}{2}\sqrt{K_0} $，此时 $ 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 $ 具有多项式衰减。
• 由于衰减项 $ e^{(5\sqrt{K_0} - 2\eta)r} $ 与 $ e^{(3\sqrt{K_0} - 2\eta)r} $ 趋于零，Pestov恒等式中的边界项在 $ r \to \infty $ 时趋于零，当 $ \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 $ 中Radon变换的经典单射定理推广至更一般的非紧致、无对称性的非正曲率黎曼流形。