[论文解读] Improved Generalized Periods estimates on Riemannian Surfaces with Nonpositive Curvature

Yakun Xi|arXiv (Cornell University)|Nov 27, 2017

Geometric Analysis and Curvature Flows参考文献 14被引用 6

一句话总结

该论文为具有非正曲率的紧致黎曼流形上的特征函数的广义周期（即$u$阶傅里叶系数）建立了改进的$L^2$衰减估计。通过将高斯-博内定理精细化，以定量方式避免在万有覆盖中出现测地线平行四边形，作者证明了当$\nu < c_0\lambda$且$0 < c_0 < 1$时，这些广义周期以$O((\log\lambda)^{-1/2})$的速率衰减，从而扩展了先前关于测地线周期积分的结果，并表明特征函数在典型闭测地线上限制的弱$L^2$收敛性。

ABSTRACT

We show that on compact Riemann surfaces of negative curvature, the generalized periods, i.e. the $ν$-th order Fourier coefficient of eigenfunctions $e_λ$ over a period geodesic $γ$ goes to 0 at the rate of $O((\logλ)^{-1/2})$, if $0

研究动机与目标

• 为具有非正曲率的紧致黎曼流形上的$L^2$归一化特征函数的广义傅里叶系数（广义周期）建立定量衰减估计。
• 在相同的曲率假设下，将先前关于测地线周期积分（$\nu=0$）的结果扩展至更高阶傅里叶系数（$\nu > 0$）。
• 证明在紧致双曲曲面上，对于典型闭测地线，特征正交基在该测地线上的限制具有一个密度为全集的子序列，其在$L^2(\gamma)$中弱收敛于零。

提出的方法

• 通过使用高斯-博内定理在万有覆盖中定量避免测地线平行四边形，而非测地线矩形，从而改进Sogge、Xi和Zhang（2017）的方法。
• 在涉及特征函数在测地线上限制的振荡积分上应用平稳相位法，相位函数由到测地线线段的距离函数导出。
• 使用单位分解和截断函数将积分局部化在相位函数的临界点附近，利用非正曲率控制相位函数的二阶导数。
• 在$t$-变量上应用分部积分，每步获得$\lambda^{-1/6}$的因子，以控制振荡积分并推导衰减界。
• 利用曲率条件（1.5），该条件允许曲率以有限类型平均速率趋于零，从而维持对万有覆盖几何结构的控制。
• 利用命题3.11和引理4.13，对相位函数二阶导数有下界限制的局部区域上的积分进行有界，确保衰减速率在$\nu < c_0\lambda$时与$\nu$无关。

实验结果

研究问题

• RQ1 能否将负曲率曲面上测地线周期积分（$\nu=0$）的$O((\log\lambda)^{-1/2})$衰减速率扩展至更高阶广义周期（$\nu > 0$）？
• RQ2 在非正曲率曲面上，何种几何障碍导致衰减速率无法优于$O((\log\lambda)^{-1/2})$？
• RQ3 在允许曲率以平均有限类型速率趋于零的曲率条件下，是否可能实现广义周期的强于$O((\log\lambda)^{-1/2})$的衰减？
• RQ4 在紧致双曲曲面上，特征正交基在典型闭测地线上的限制是否具有一个密度为全集的子序列，其在$L^2(\gamma)$中弱收敛于零？
• RQ5 高斯-博内定理是否可用于在万有覆盖中定量避免测地线平行四边形，以控制特征函数限制理论中的振荡积分？

主要发现

• 对于满足平均消失条件（1.5）的紧致黎曼流形，若其曲率为非正，则特征函数$e_\lambda$的$\nu$阶广义周期在所有$\nu < c_0\lambda$且$0 < c_0 < 1$时，以$O((\log\lambda)^{-1/2})$的速率衰减，且该衰减在$\nu$上一致。
• 该衰减速率严格优于非负曲率曲面（如$S^2$或$\mathbb{T}^2$）上已知的均匀界$O(1)$，因为在这些曲面上此类衰减并不成立。
• 该结果是精确的：在$S^2$或$\mathbb{T}^2$上，由于存在沿周期测地线为常数的特征函数，显式反例表明此类衰减不可能存在。
• 通过使用高斯-博内定理避免万有覆盖中测地线平行四边形的改进平稳相位法，建立了衰减速率$O((\log\lambda)^{-1/2})$。
• 与先前工作相比，该方法弱化了曲率假设，允许曲率以有限类型平均速率趋于零，如定义1.2所形式化。
• 该结果意味着，对于紧致双曲曲面上的典型闭测地线$\gamma$，特征正交基在$\gamma$上的限制$e_{\lambda_j}|_\gamma$具有一个密度为全集的子序列，其在$L^2(\gamma)$中弱收敛于零。