[论文解读] Inverse Spectral Problems for Collapsing Manifolds I: Uniqueness and Stability

Yaroslav Kurylev, Matti Lassas+2 more|arXiv (Cornell University)|Sep 26, 2012

Numerical methods in inverse problems参考文献 57被引用 7

一句话总结

本文通过分析光滑流形在坍缩至低维非光滑空间时的极限行为，建立了坍缩黎曼流形上反谱问题的唯一性与稳定性。研究证明，即使在坍缩情况下，通过研究谱收敛与Gromov-Hausdorff极限及轨道丛结构，对子集上的内部热核测量可唯一确定原始流形的完整度量-测度结构。

ABSTRACT

We consider the geometric inverse problem of determining a closed Riemannian manifold from measurements of the heat kernel in an open subset of the manifold. In this paper we analyze the stability of this problem in the class of $n$-dimensional Riemannian manifolds with bounded diameter and sectional curvature. It is well-known that a sequence in this class of manifolds can collapse to a lower dimensional stratified space when the injectivity radius of the sequence of manifolds goes to zero. We prove the uniqueness of the inverse problem on the limiting spaces of the collapsing manifolds. As a result, we obtain stability results for the inverse problem in the class of manifolds with bounded diameter and sectional curvature.

研究动机与目标

• 解决从内部热核测量重建闭黎曼流形及其度量的反问题。
• 分析此类重建在可能坍缩至低维极限空间的n维流形类中的稳定性。
• 通过研究作为光滑坍缩序列Gromov-Hausdorff极限的极限非光滑空间，建立唯一性与稳定性。
• 将反问题框架扩展至轨道丛结构，并证明极限空间的同构结果。
• 为几何分析中坍缩情形下的反问题提供理论基础，相关于变换光学与数学物理。

提出的方法

• 使用测度Gromov-Hausdorff距离分析黎曼流形坍缩序列收敛至极限度量-测度空间的过程。
• 应用谱收敛理论，证明拉普拉斯-贝尔特拉米算子与热核在极限空间上的收敛性。
• 通过$ au_*: L^2_O(Y) \to L^2(X)$建立极限空间$X$上的拉普拉斯算子与坍缩纤维空间$Y$上拉普拉斯算子的$O(n)$-不变部分之间的酉等价。
• 利用Blagovestchenskii恒等式与近似可控性，从局部谱数据重构度量。
• 利用纤维丛定理与测度Gromov-Hausdorff收敛性，刻画极限空间的结构。
• 分析Dirichlet型式$a_X[u] = \int_{X^{\text{reg}}} |du|^2 \, d\mu_X$及其关联的自伴算子$\Delta_X$，并证明其与$L^2_O(Y)$上的$\Delta_O$酉等价。

实验结果

研究问题

• RQ1 内部热核测量能否唯一确定闭黎曼流形上完整的黎曼度量与流形结构？
• RQ2 当底流形坍缩至低维非光滑极限空间时，反谱问题的稳定性如何表现？
• RQ3 在具有有界曲率与直径的光滑流形坍缩序列的极限空间上，拉普拉斯算子的谱行为如何？
• RQ4 在坍缩情况下，能否从子集上的谱数据重构原始流形的度量-测度结构？
• RQ5 坍缩流形纤维上的轨道丛结构与群作用（例如$O(n)$）如何影响谱与几何重构？

主要发现

• 坍缩流形上的热核收敛性意味着拉普拉斯算子的谱收敛，确保极限空间的谱包含于原始流形的谱中。
• 极限空间$X$上的拉普拉斯算子与纤维空间$Y$上拉普拉斯算子的$O(n)$-不变部分酉等价，即$\Delta_X = \pi_* \circ \Delta_Y \circ \pi^*$，其中$\pi_*$为等距映射。
• $X$上的本征函数是$Y$上$O(n)$-不变本征函数的提升，即$\phi_j = \pi_*(\phi_j^O)$，且$\text{spec}(\Delta_X) = \text{spec}(\Delta_O) \subset \text{spec}(\Delta_Y)$。
• 当一列流形坍缩至一点时，极限拉普拉斯算子$\Delta_X$在常数函数上作用为乘以零，与$\text{spec}(\Delta_O) = \{0\}$一致。
• 在具有有界截面曲率与直径的$n$维流形类中，只要通过谱与度量-测度结构重构分析极限空间，该反问题即保持稳定。
• 该方法即使在极限空间为非光滑或奇异时，也能通过谱数据建立极限空间与原始流形结构之间的同构关系。