[论文解读] From K.A.M. Tori to Isospectral Invariants and Spectral Rigidity of Billiard Tables

G. Popov, P. Topalov|arXiv (Cornell University)|Feb 9, 2016

Quantum chaos and dynamical systems被引用 4

一句话总结

该论文在弱等谱条件下，利用 $C^1$ 家族的 KAM 环面与 Birkhoff 标准型，建立了二维和三维 Liouville 棒球桌的无穷小谱刚性。证明了平均作用量与 Birkhoff 标准型在形变下保持不变，从而得出椭圆与椭球的刚性结论，并将结果推广至椭圆附近的解析及 $\mathbb{Z}_2\times\mathbb{Z}_2$-对称棒球桌。

ABSTRACT

This article is a part of a project investigating the relationship between the dynamics of completely integrable or close to completely integrable billiard tables, the integral geometry on them, and the spectrum of the corresponding Laplace-Beltrami operators. It is concerned with new isospectral invariants and with the spectral rigidity problem for families of Laplace-Beltrami operators with Dirichlet, Neumann or Robin boundary conditions, associated with C^1 families of billiard tables. We introduce a notion of weak isospectrality for such deformations. The main dynamical assumption on the initial billiard table is that the corresponding billiard ball map or an iterate of it has a Kronecker invariant torus with a Diophantine frequency and that the corresponding Birkhoff Normal Form is nondegenerate in Kolmogorov sense. Then we obtain C^1 families of Kronecker tori with Diophantine frequencies. If the family of the Laplace-Beltrami operators satisfies the weak isospectral condition, we prove that the average action on the tori and the Birkhoff Normal Form of the billiard ball maps remain the same along the perturbation. As an application we obtain infinitesimal spectral rigidity for Liouville billiard tables in dimensions two and three. Applications are obtained also for strictly convex billiard tables of dimension two as well as in the case when the initial billiard table admits an elliptic periodic billiard trajectory. Spectral rigidity of billard tables close elliptical billiard tables is obtained. The results are based on a construction of C^1 families of quasi-modes associated with the Kronecker tori and on suitable KAM theorems for C^1 families of Hamiltonians.

研究动机与目标

• 在弱等谱条件下，建立二维与三维 Liouville 棒球桌的谱刚性。
• 将谱刚性推广至椭圆附近的解析及 $\mathbb{Z}_2\times\mathbb{Z}_2$-对称棒球桌。
• 提出一种新的 $C^1$ KAM 迭代方案，避免使用 Whitney 延拓定理，从而实现全局 Hölder 估计。
• 构造与 Kronecker 环面相关的 $C^1$ 家族准模态，用于谱不变量。
• 证明在弱等谱形变下，不变环面上的 Birkhoff 标准型与平均作用量保持不变。

提出的方法

• 引入了 $C^1$ 家族的 Laplace-Beltrami 算子 $\Delta_t$（带 Dirichlet/Neumann/Robin 条件）的弱等谱性概念。
• 将 $C^1$ KAM 理论应用于 $C^1$ 家族的辛映射，构造了在 $\omega_0$ 附近具有非李普希茨频率 $\omega$ 的 $C^1$ 家族 Kronecker 环面 $\Lambda_t(\omega)$。
• 在 Hölder 范数下发展了一种改进的迭代引理，避免使用 Whitney 延拓定理，从而实现共形变换的全局估计。
• 构造了与不变环面 $\Lambda_t(\omega)$ 相关的 $C^1$ 家族准模态，将其与谱不变量联系起来。
• 利用波迹与 Gutzwiller 迹公式，将谱奇点与 Birkhoff 标准型及 Poincaré 映射谱联系起来。
• 应用微局部分析，将量子 Birkhoff 标准型约化至边界，通过 $\lambda$-FIO 与 $\lambda$-PDO 量化棒球映射。

实验结果

研究问题

• RQ1 在弱等谱条件下，能否在二维与三维中建立 Liouville 棒球桌的谱刚性？
• RQ2 在度量的 $C^1$ 变形下，不变环面上的 Birkhoff 标准型与平均作用量是否保持不变？
• RQ3 能否在不依赖 Whitney 延拓定理的前提下，发展一种具有全局 Hölder 估计的 $C^1$ KAM 理论？
• RQ4 量子 Birkhoff 标准型在检测 $C^1$ 光滑 KAM 系统的谱不变量中起什么作用？
• RQ5 在椭圆附近的解析及 $\mathbb{Z}_2\times\mathbb{Z}_2$-对称棒球桌中，谱刚性是否保持？

主要发现

• 对于具有弱等谱性的 $C^1$ 度量族 $g_t$，在密度为 1 的非李普希茨频率集合 $\Xi$ 上，平均作用量 $\beta_t(\omega)$ 与 $P_t$ 在 $\Lambda_t(\omega)$ 处的 Birkhoff 标准型与 $t$ 无关。
• 在弱等谱条件下，证明了二维与三维 Liouville 棒球桌（包括椭圆与椭球）的无穷小谱刚性。
• 在椭圆附近的解析及 $\mathbb{Z}_2\times\mathbb{Z}_2$-对称棒球桌中建立了谱刚性，其中 $\frac{dK}{dI}(0) = -\frac{2}{\pi}\arctan(\sinh 2\pi N) < 0$。
• 证明了二阶导数 $\frac{d^2K}{dI^2}(0) = -\frac{1}{2\epsilon\pi^2}\frac{\sinh 2\pi N}{\cosh^2 2\pi N} < 0$ 是弱等谱条件下的谱不变量。
• 改进的迭代引理实现了 Hölder 范数下的全局 $C^1$ 估计，避免了对 $C^\infty$ 线性泛函与 Whitney 延拓定理的依赖。
• 通过微局部方法构造了 $C^1$ 家族哈密顿量的量子 Birkhoff 标准型，利用单值算子将谱数据与经典动力学联系起来。