[论文解读] Spectral theory and inverse problem on asymptotically hyperbolic orbifolds

Hiroshi Isozaki, Yaroslav Kurylev+1 more|arXiv (Cornell University)|Dec 2, 2013

Geometric Analysis and Curvature Flows参考文献 18被引用 4

一句话总结

本文通过在尖点处利用赫姆霍兹方程解的广义S矩阵，建立了具有尖点和常规端点的渐近双曲轨道丛的谱反问题。证明了S矩阵唯一确定黎曼度量与轨道丛结构，将反散射理论推广至具有群作用奇点的奇异、非紧致黎曼空间。

ABSTRACT

We consider an inverse problem associated with $n$-dimensional asymptotically hyperbolic orbifolds $(n \geq 2)$ having a finite number of cusps and regular ends. By observing solutions of the Helmholtz equation at the cusp, we introduce a generalized $S$-matrix, and then show that it determines the manifolds with its Riemannian metric and the orbifold structure.

研究动机与目标

• 将反散射理论推广至具有有限尖点和常规端点的渐近双曲轨道丛。
• 通过尖点端处赫姆霍兹方程解的性质定义广义S矩阵，以克服奇点处光滑性不足的问题。
• 证明S矩阵唯一确定黎曼度量与轨道丛结构（包括奇点）。
• 将光滑流形上的已知结果推广至在奇点处具有群作用的轨道丛，特别是高维情形。
• 建立一种从边界谱数据通过S矩阵与诺伊曼到狄利克雷映射恢复轨道丛几何的构造性程序。

提出的方法

• 定义具有两种端点类型的渐近双曲轨道丛：尖点（在无穷远处为柱状）和常规端点（度量系数衰减）。
• 通过函数空间 $$\mathcal{B}^*\u0024$$ 中解的渐近行为引入广义S矩阵，其衰减为 $O(y^{(n-1)/2})$。
• 利用与内部问题相关的诺伊曼到狄利克雷映射 $\Lambda(k)$，在紧致核心 $\mathcal{M}_{\text{int}}$ 上恢复格林函数 $G_{\text{int}}(X,Y;z)$。
• 通过边界 $\Gamma$ 处等距映射的迭代扩展，利用注入半径与球体积估计，建立轨道丛内部正则部分之间的等距关系。
• 利用格林函数的分离性质：若对所有 $Y$ 有 $G_{\text{int}}(X,Y;z) = G_{\text{int}}(X',Y;z)$，则 $X = X'$，以确保等距映射扩展的唯一性。
• 应用局部轨道丛同构定理，得出在奇点处具有相容群作用的等距度量空间必为轨道丛同构。

实验结果

研究问题

• RQ1 在尖点端定义的S矩阵是否能唯一确定渐近双曲轨道丛的黎曼度量？
• RQ2 广义S矩阵是否编码有关轨道丛结构的信息，包括奇点与局部群作用？
• RQ3 能否利用谱数据解决具有尖点和常规端点的非紧致、奇异黎曼空间的反问题？
• RQ4 如何将两个此类轨道丛正则部分之间的等距关系扩展至包含奇点，同时保持群作用？
• RQ5 边界上的诺伊曼到狄利克雷映射 $\Lambda(k)$ 在多大程度上确定轨道丛的完整几何结构？

主要发现

• 由尖点端赫姆霍兹方程解导出的广义S矩阵，唯一确定了渐近双曲轨道丛的黎曼度量。
• S矩阵通过内部核心的等距关系，确定了轨道丛结构，包括奇点的存在与局部群作用。
• 若两个轨道丛的S矩阵一致，则其诺伊曼到狄利克雷映射 $\Lambda(k)$ 必然相同，表明可完全恢复几何结构。
• 奇点处的注入半径在等距下保持不变，且通过测地线球的非空边界可检测奇点集合。
• 由于体积与注入半径的控制，可从边界 $\Gamma$ 迭代扩展等距映射至整个正则部分 $\mathcal{M}_{\text{int}}^{(i),\text{reg}}$。
• 在度量等距与局部群作用相容的前提下，轨道丛同构成立，将紧致情形的结果推广至非紧致、可定向轨道丛。