[论文解读] Inverse problems in spectral geometry

Kiril Datchev, Hamid Hezari|arXiv (Cornell University)|Aug 29, 2011

Spectral Theory in Mathematical Physics参考文献 86被引用 20

一句话总结

本文综述了几何中的反谱问题，重点关注拉普拉斯-贝尔特拉米算子的谱是否能唯一确定一个区域或流形的几何结构（直至等距同构）。文章整合了热迹和波迹不变量的研究成果，表明在解析性和对称性假设下，谱数据可唯一确定椭圆、球面以及具有可积或混沌测地流的流形等形状，同时指出了开放性问题和反例。

ABSTRACT

In this survey we review positive inverse spectral and inverse resonant results for the following kinds of problems: Laplacians on bounded domains, Laplace-Beltrami operators on compact manifolds, Schrödinger operators, Laplacians on exterior domains, and Laplacians on manifolds which are hyperbolic near infinity.

研究动机与目标

• 理解哪些几何不变量（如面积、周长、欧拉示性数或拓扑）可由区域和流形上拉普拉斯算子的谱唯一确定。
• 研究在对称性和解析性假设下，椭圆、球面或平坦流形等几何对象是否具有谱唯一性。
• 考察波迹不变量和热不变量在从谱数据重构几何中的作用。
• 识别在何种条件下同谱形变是平凡的（谱刚性）或紧致的（谱紧致性）。
• 通过构造具有相同不变量但非同谱的流形，阐明谱不变量的局限性。

提出的方法

• 利用热迹渐近展开 $\operatorname{Tr}e^{-t\Delta} \sim \sum a_j t^{j/2}$（当 $t \to 0^+$ 时），其中系数 $a_j$ 为几何不变量（例如 $a_0 = \text{Area}/(2\pi)$，$a_1 = \text{Perimeter}/(4\pi)$）。
• 在周期测地线长度 $T$ 附近应用波迹展开 $\operatorname{Tr}\cos(t\sqrt{\Delta})$，以从周期轨道中提取局部不变量。
• 利用量子比尔霍夫正则型，将波迹不变量 $b_j$ 表示为沿周期测地线的曲率与度量导数的积分。
• 借助非退化周期轨道及其迭代，在解析或对称设定下，通过波迹不变量推导出唯一性结果。
• 利用盖茨勒的迹公式分析在半经典极限下薛定谔算子的谱不变量，以研究量子系统中的谱不变量。
• 通过扰动对称势（如谐振子）构造反例，表明在 $\mathcal{O}(h^\infty)$ 范围内不变量一致，尽管谱不同。

实验结果

研究问题

• RQ1 能否从拉普拉斯特征值谱中恢复区域的面积、周长和欧拉示性数？
• RQ2 椭圆和球面是否具有谱刚性，即在同谱形变中是否由谱唯一确定？
• RQ3 波迹不变量（源自周期测地线）在多大程度上决定了流形的几何结构？
• RQ4 两个非等距的流形能否具有完全相同的热迹或波迹不变量？若能，其条件是什么？
• RQ5 解析性和对称性在确保谱唯一性方面起什么作用？这些假设如何影响反问题结果的强度？

主要发现

• 区域的面积和周长是谱不变量，这由威伊的渐近律以及普莱杰尔对热迹的改进结果所证明。
• 欧拉示性数是谱不变量，热迹展开中的 $a_2$ 给出了 $\chi(\Omega)$，该结论由麦凯恩和辛格证明。
• 存在同谱但不同构的区域（例如戈登-韦伯-沃尔珀特区域），但此类例子均为非凸且非光滑的，因此凸或光滑区域的谱刚性仍为开放问题。
• 对于实解析且对称的区域，在较弱的非退化条件下，谱唯一性成立，其依赖于来自周期轨道的波迹不变量。
• 椭圆、球面、平坦流形以及常负曲率流形的谱刚性已确立，这是由于其测地流具有特殊性质。
• 尚未构造出具有完全相同波迹不变量但非同谱的两个流形，尽管此类例子被推测存在。