[论文解读] The Scattering Relation on Asymptotically Hyperbolic Manifolds

Antônio Sá Barreto, Yiran Wang|arXiv (Cornell University)|Oct 24, 2014

Geometric Analysis and Curvature Flows参考文献 11被引用 3

一句话总结

本文建立了非截断渐近双曲流形（AHM）上散射关系的光滑性与结构，证明了驻留时间与测地流可光滑延拓至无穷远边界。此外，推导了测地凸AHM上距离函数的渐近展开式，表明距离函数是光滑的，其微分由测地向量场的拉格朗日流描述，而驻留时间捕捉了无穷远处的主导行为。

ABSTRACT

We study the scattering relation and the sojourn times on non-trapping asymptotically hyperbolic manifolds and use it to obtain the asymptotics of the distance function on geodesically convex asymptotically hyperbolic manifolds.

研究动机与目标

• 在非截断渐近双曲流形（AHM）上定义并分析散射关系，推广经典欧氏空间中的散射框架。
• 将驻留时间泛函扩展至连接两个边界点的测地线，推广此前仅考虑单个边界趋近结果的研究。
• 建立散射关系的光滑性及其与余切丛上测地向量场拉格朗日流的关系。
• 利用散射关系与驻留时间，推导测地凸AHM上距离函数的渐近展开式。
• 证明驻留时间 $ s = r(z,z') + \log \rho_L + \log \rho_R $ 是 $ X \times_0 X \setminus \text{Diag}_0 $ 上的光滑函数，将测地线的几何结构与散射数据联系起来。

提出的方法

• 在余球丛 $ S^*\text{Diag} $ 上使用测地流 $ \exp(tH_p) $ 定义拉格朗日子流形 $ \Lambda $，其参数化单位速度测地线。
• 应用微局部分析与纤维积 $ X \times_0 X $ 上 $ C^\infty $-光滑结构的理论，将散射关系光滑延拓至无穷远边界。
• 引入驻留时间 $ s = t + \log \rho_L + \log \rho_R $，其中 $ t $ 为测地线长度，$ \rho_L, \rho_R $ 为边界定义函数，以定义散射数据的光滑延拓。
• 依赖于存在光滑定义函数 $ x $，使得 $ g = \frac{dx^2}{x^2} + \frac{h(x)}{x^2} $ 且 $ h(0) = h_0 $，确保度量为渐近双曲。
• 在流形测地凸时，使用法坐标系中的指数映射全局参数化测地线，从而构造全局拉格朗日结构。
• 应用 Sá Barreto 与 Wunsch（2012）的结果，即极限 $ s_\gamma(z',y) = \lim_{t\to\infty}(t + \log \rho(\gamma(t))) $ 的存在性，并将其推广至两端均趋近边界的情形。

实验结果

研究问题

• RQ1 如何在非截断渐近双曲流形上定义并光滑延拓散射关系至无穷远边界？
• RQ2 当两点均趋近边界时，两点间距离函数的渐近行为如何？
• RQ3 驻留时间 $ s = r(z,z') + \log \rho_L + \log \rho_R $ 如何与测地线的几何结构及散射数据相关联？
• RQ4 在何种条件下，由测地流生成的拉格朗日流形 $ \Lambda $ 是光滑嵌入的子流形？
• RQ5 距离函数的微分能否被描述为余切丛中光滑拉格朗日对应关系的图像？

主要发现

• 在非截断AHM上，散射关系可光滑延拓至无穷远边界，构成 $ T^*({\mathbb{R}}_s \times X \times_0 X) $ 中的 $ C^\infty $ 嵌入拉格朗日子流形。
• 驻留时间 $ s = r(z,z') + \log \rho_L + \log \rho_R $ 是 $ X \times_0 X \setminus \text{Diag}_0 $ 上的光滑函数，捕捉了无穷远处测地线长度的主导渐近行为。
• 在测地凸AHM上，拉格朗日流形 $ \Lambda \setminus S^*\text{Diag} $ 是距离函数 $ r(z,z') $ 微分的图像，即 $ \zeta = d_z r(z,z'), \zeta' = -d_{z'} r(z,z') $。
• 散射关系被表征为流出 $ \exp(tH_p)S^*\text{Diag} $ 在无穷远边界上的限制，其中 $ t $ 被 $ s = t + \log \rho_L + \log \rho_R $ 替代。
• 散射关系在 $ \partial({\mathbb{R}}_s \times X \times_0 X) $ 上的延拓是光滑且良定义的，且 $ s $ 仅为基变量的光滑函数。
• 结果确认了散射矩阵核的主导奇性项与 $ R^{-2i\lambda}H|_{\{\rho_L=\rho_R=0\}} $ 相关，其中 $ H $ 在 $ X \times_0 X $ 上光滑，将微局部分析与散射理论联系起来。