[论文解读] $C^{\infty} $ spectral rigidity of the ellipse

Hamid Hezari, Steve Zelditch|arXiv (Cornell University)|Jul 10, 2010

Mathematics and Applications参考文献 21被引用 4

一句话总结

该论文证明了在具有 $\bbZ_2\times\bbZ_2$ 对称性的 $C^{\infty}$ 定域中，椭圆是 $C^{\infty}$ 光谱刚性的，这意味着不存在非平凡的同谱形变。通过新颖地应用波迹的哈达玛变分公式，作者表明，任何同谱形变在零阶时的法向边界变分必须为零，这意味着形变在 $\epsilon=0$ 处是平坦的。这确立了无穷小光谱刚性，并排除了椭圆的实解析同谱形变。

ABSTRACT

We prove that ellipses are infinitesimally spectrally rigid among $C^{\infty}$ domains with the symmetries of the ellipse.

研究动机与目标

• 在具有椭圆对称性的 $C^\infty$ 定域中建立椭圆的无穷小光谱刚性。
• 解决反向光谱理论中一个长期存在的猜想，即椭圆是具有完全可积的台球系统的唯一区域。
• 开发并应用一种新的哈达玛变分公式，用于光滑欧几里得区域在边界形变下的波迹。
• 表明椭圆的任何同谱形变在 $\epsilon=0$ 处必须是平坦的，从而排除非平凡的实解析形变。
• 将光谱刚性结果从实解析区域扩展到 $C^\infty$ 设置，克服了先前方法的局限性。

提出的方法

• 推导出在 $C^1$ 边界形变下，光滑区域上波迹的新型哈达玛变分公式，该公式在标准的‘清晰性’假设下成立。
• 将该公式应用于椭圆 $\Omega_0$ 的同谱形变族 $\Omega_\epsilon$，将波迹的变化与法向边界变分 $\dot{\rho}$ 联系起来。
• 利用泊松关系和驻相分析，将波迹的奇异支撑与长度谱及周期轨道联系起来。
• 分析周期轨道的能量层级集 $F_T$ 的结构，表明对于某些 $T$，$F_T$ 由两条对称的不变曲线组成。
• 对涉及 $\dot{\rho}$ 的积分方程应用阿贝尔变换，利用对称性和可测性论证，证明 $\dot{\rho} \equiv 0$。
• 重新参数化形变族以分离出 $\rho_\epsilon$ 的第一个非零泰勒系数，若 $\dot{\rho} \neq 0$，则导致矛盾。

实验结果

研究问题

• RQ1 在具有 $\bbZ_2\times\bbZ_2$ 对称性的 $C^\infty$ 定域中，椭圆能否通过不改变谱的形变被同谱地形变？
• RQ2 在给定对称性下，椭圆的任何同谱形变的法向边界变分 $\dot{\rho}$ 是否必然为零？
• RQ3 无穷小光谱刚性是否意味着不存在非平凡的实解析同谱形变？
• RQ4 哈达玛变分公式能否用于在 $C^\infty$ 范畴中推导光谱刚性结果，而不仅限于实解析情形？
• RQ5 由于长度谱的重数，波迹迹公式中是否存在阻碍光谱刚性的抵消现象，以及如何解决它们？

主要发现

• 在 $\bbZ_2\times\bbZ_2$ 对称性下，椭圆的任何同谱形变的法向边界变分 $\dot{\rho}$ 必须恒为零，从而证明了无穷小光谱刚性。
• 椭圆的所有同谱形变在 $\epsilon = 0$ 处都是平坦的，即 $\rho_\epsilon$ 的泰勒展开在所有阶上都为零。
• 不存在非平凡的实解析曲线，使得 $\bbZ_2\times\bbZ_2$ 对称的 $C^\infty$ 定域族与椭圆同谱。
• 波迹变分公式产生了一个非平凡的光谱不变量，能够检测在对称性约束下边界的无形变性。
• 该方法适用于 $C^\infty$ 定域，将先前仅需实解析性的结果扩展到更一般情形，克服了长度谱重数带来的限制。
• 证明依赖于阿贝尔变换和对称性性质，表明唯一满足积分方程的 $\bbZ_2\times\bbZ_2$-不变函数是 $\dot{\rho} \equiv 0$。