[论文解读] Inverse spectral theory and the Minkowski problem for the surface of revolution

Hiroshi Isozaki, Evgeny Korotyaev|arXiv (Cornell University)|May 17, 2016

Geometric Analysis and Curvature Flows被引用 3

一句话总结

本文建立了旋转对称流形上谱数据与半径函数之间的解析同构，解决了旋转曲面的逆谱问题。证明了通过特征值和范数常数可唯一重构半径剖面，通过在扭曲积流形上应用逆谱方法，将经典闵可夫斯基问题推广至该几何设定。

ABSTRACT

We solve the inverse spectral problem for rotationally symmetric manifolds, which include the class of surfaces of revolution, by giving an analytic isomorphism from the space of spectral data onto the space of functions describing the radius of rotation. An analogue of the Minkowski problem is also solved.

研究动机与目标

• 通过从谱数据重构旋转半径，解决旋转对称流形（包括旋转曲面）的逆谱问题。
• 建立谱数据空间与描述旋转半径的函数空间之间的解析同构。
• 在旋转曲面的背景下，利用逆谱理论，为闵可夫斯基问题的一个类比提供解法。
• 刻画由扭曲积流形上的拉普拉斯-贝尔特拉米算子导出的斯图尔姆-刘易维尔算子的谱数据映射的像集。

提出的方法

• 通过坐标变换和度量分解，将旋转曲面上的逆谱问题约化为一维斯图尔姆-刘易维尔问题。
• 使用扭曲积形式的拉普拉斯-贝尔特拉米算子 $ \Delta_M = \frac{1}{r^m} \partial_x(r^m \partial_x) + \frac{\Delta_Y}{r^2} $，将问题分解为由 $ \Delta_Y $ 的特征值索引的正交子空间。
• 引入变换 $ \varrho = r^{m/2} $，并通过 $ \varrho' / \varrho = q_0 + q(x) $ 定义 $ q(x) $，将问题约化为具有势函数 $ u = E_\nu / r^2 $ 的薛定谔型算子。
• 应用实解析同构定理（定理 4.3–4.5），证明谱数据——特征值与范数常数——唯一确定函数 $ q(x) $，从而唯一确定 $ r(x) $。
• 利用谱渐近性确定总长度 $ t_0 $，将定义域归一化为 $[0,1]$，并应用具有狄利克雷、混合或罗宾边界条件的斯图尔姆-刘易维尔算子的逆理论。
• 证明势函数 $ u = E_\nu e^{-4Q/m} $ 满足条件 U，从而可应用已知的逆谱结果于变换后的算子。

实验结果

研究问题

• RQ1 能否从谱数据（包括特征值和范数常数）唯一重构旋转曲面的半径函数？
• RQ2 旋转对称流形的谱数据空间与半径函数空间之间是否存在一个典范同构？
• RQ3 经典闵可夫斯基问题——即从表面积测度重构凸曲面——在旋转曲面的逆谱设定下，能在多大程度上被推广？
• RQ4 不同边界条件（狄利克雷、混合、罗宾）如何影响半径函数的逆谱重构？
• RQ5 底流形 $ Y $ 的特征值在决定扭曲积流形上全拉普拉斯算子的谱数据中起什么作用？

主要发现

• 从函数 $ q \in \mathscr{W}_1^0 $ 到谱数据 $ \{ \widetilde{\mu}_n(q), \kappa_n(q) \} $ 的映射是一个实解析同构，确保了从谱数据对半径函数的唯一且光滑重构。
• 对于狄利克雷边界条件，谱映射 $ \widetilde{\mu} $ 是 $ \mathscr{W}_0^{1,\text{odd}} $ 到 $ \mathcal{M}_1 $ 的实解析同构，其中 $ \mu_n^0 = (\pi n)^2 $。
• 对于混合边界条件，映射 $ \Psi: q \mapsto \{ \widetilde{\mu}_n(q,b), \chi_{n-1}(q,b) - \chi_{n-1}^0 \} $ 是到 $ \mathcal{M}_1 \times \ell^2_1 $ 的实解析同构，其中 $ \mu_n^0 = (\pi n + \frac{1}{2})^2 + 2b $。
• 对于罗宾边界条件，映射 $ \Psi_{a,b} $ 是 $ \mathscr{W}_1^0 $ 到 $ \mathcal{M}_1 \times \ell^2_1 $ 的实解析同构，其中 $ \mu_n^0 = (\pi n)^2 + 2(a+b) $。
• 推导出一个显式恒等式：$ b = \sum_{n=0}^\infty \left( 2 - \frac{e^{\chi_n(q,b)}}{ |\partial w / \partial \lambda (\mu_n, q, b)| } \right) $，将边界参数 $ b $ 与谱数据联系起来。
• 该解在归一化下具有鲁棒性：总长度 $ t_0 $ 由谱渐近性恢复，允许将问题归约到单位区间 $[0,1]$ 而不失一般性。