[论文解读] On conjugacy of convex billiards

Vadim Kaloshin, Alfonso Sorrentino|arXiv (Cornell University)|Mar 6, 2012

Mathematical Dynamics and Fractals参考文献 19被引用 5

一句话总结

本文证明，若两个严格凸平面内摆线映射在边界附近具有 $C^{1,\beta}$-共轭关系（$β > 1/2$），则对应的区域彼此相似——即通过缩放和等距变换相关联。该结果解决了Guillemin提出的问题，并为Birkhoff关于可积内摆线的猜想提供了条件性证明，通过Lazutkin坐标与曲率不变量将动力共轭与几何刚性联系起来。

ABSTRACT

Given a strictly convex domain $Ω$ in $\R^2$, there is a natural way to define a billiard map in it: a rectilinear path hitting the boundary reflects so that the angle of reflection is equal to the angle of incidence. In this paper we answer a relatively old question of Guillemin. We show that if two billiard maps are $C^{1,α}$-conjugate near the boundary, for some $α> 1/2$, then the corresponding domains are similar, i.e. they can be obtained one from the other by a rescaling and an isometry. As an application, we prove a conditional version of Birkhoff conjecture on the integrability of planar billiards and show that the original conjecture is equivalent to what we call an "Extension problem". Quite interestingly, our result and a positive solution to this extension problem would provide an answer to a closely related question in spectral theory: if the marked length spectra of two domains are the same, is it true that they are isometric?

研究动机与目标

• 解决Victor Guillemin长期提出的问题：若边界附近两个内摆线映射具有 $C^{1,\alpha}$-共轭关系，是否意味着其对应的严格凸区域必然几何相似？
• 通过将动力共轭与几何刚性联系起来，为平面内摆线可积性猜想（Birkhoff猜想）提供条件性证明。
• 将共轭问题与延拓问题联系起来，表明若该问题有正解，则可推出严格凸区域的标记长度谱刚性。
• 证明在适度正则性条件下，所有 $C^r$ 严格凸区域（$r \geq 4$）若在边界附近具有 $C^{1,\alpha}$ 共轭关系，则彼此相似。

提出的方法

• 使用Lazutkin坐标将边界附近的内摆线映射线性化，使动力系统转化为具有恒定旋转数的标准形式。
• 在原始坐标与Lazutkin坐标下分别构造内摆线映射 $f$ 与 $g$ 之间的共轭 $h$，并推导其在柱面 $\mathbb{T} \times [0,\delta]$ 上的诱导映射 $h_L$。
• 推导出雅可比矩阵 $Dh_L(x,0) = \begin{pmatrix} 1 & * \\ 0 & 1 \end{pmatrix}$，表明共轭保持角度坐标至多相差剪切，这是刚性论证的关键。
• 计算边界导数 $\frac{d\hat{s}}{ds} = C^{-1} \lambda^{-2}$，其中 $C = C_f / C_g$ 为Lazutkin周长之比，$\lambda = \rho_f^{1/3}/\rho_g^{1/3}$，将共轭关系与曲率及周长不变量联系起来。
• 利用 $h_L$ 在Lazutkin坐标下保持映射的标准形式这一事实，推导出曲率函数 $\rho_f$ 与 $\rho_g$ 必须成比例，从而推出区域的相似性。
• 应用 $C^{1,\alpha}$-正则性条件（$\alpha > 1/2$），确保共轭足够光滑，从而强制曲率函数在缩放意义下完全相同。

实验结果

研究问题

• RQ1 若两个严格凸平面内摆线映射在边界附近具有 $C^{1,\alpha}$-共轭关系（$\alpha > 1/2$），则其对应区域是否必然相似（即通过缩放与等距变换相关）？
• RQ2 若边界附近的共轭关系可全局延拓，是否可证明Birkhoff关于平面内摆线可积性的猜想？
• RQ3 严格凸区域的标记长度谱是否由其几何唯一确定？若两个区域的标记长度谱相等，是否意味着它们彼此等距？
• RQ4 Lazutkin坐标在共轭关系下检测几何不变量方面起什么作用？
• RQ5 在边界附近存在 $C^{1,\alpha}$ 共轭关系是否强制两个区域的曲率函数成比例，从而导致区域相似？

主要发现

• 若两个 $C^r$ 严格凸平面内摆线映射（$r \geq 4$）在边界附近具有 $C^{1,\alpha}$-共轭关系（$\alpha > 1/2$），则其对应区域相似，即通过缩放与等距变换相关联。
• 共轭诱导出在Lazutkin柱面上的映射 $h_L$，其导数为 $Dh_L(x,0) = \begin{pmatrix} 1 & * \\ 0 & 1 \end{pmatrix}$，保持角度坐标至多相差剪切，这对刚性论证至关重要。
• 共轭的边界导数满足 $\frac{d\hat{s}}{ds} = C^{-1} \lambda^{-2}$，其中 $C$ 为Lazutkin周长之比，$\lambda = \rho_f^{1/3}/\rho_g^{1/3}$，将共轭与曲率及周长不变量联系起来。
• $C^{1,\alpha}$-正则性条件（$\alpha > 1/2$）确保共轭足够光滑，从而强制曲率函数 $\rho_f$ 与 $\rho_g$ 成比例，进而推出区域相似性。
• 该结果为Birkhoff猜想提供了条件性证明：若边界附近的共轭关系可全局延拓，则区域必为椭圆。
• 本文建立了动力共轭与谱刚性之间的深刻联系：若两个区域具有相同的标记长度谱，则在延拓问题条件下，它们必为等距的。