[论文解读] The semiclassical zeta function for geodesic flows on negatively curved manifolds

Fréderic Faure, Masato Tsujii|arXiv (Cornell University)|Nov 20, 2013

Mathematical Dynamics and Fractals被引用 13

一句话总结

该论文建立了与负曲率流形上$C^{\infty}$接触Anosov流相关的半经典Zeta函数的谱局部化及零点密度。通过利用非齐次Sobolev空间和谱投影算子分析转移算子，证明了零点位于虚轴的$\tau$-邻域以及左半平面$< -\chi_0 + \tau$内，且虚轴上的零点密度服从Weyl型规律，将Selberg的结果推广至一般Anosov动力系统。

ABSTRACT

We consider the semi-classical (or Gutzwiller-Voros) zeta function for $C^\infty$ contact Anosov flows. Analyzing the spectrum of transfer operators associated to the flow, we prove, for any $τ&gt;0$, that its zeros are contained in the union of the $τ$-neighborhood of the imaginary axis, $|\Re(s)|0$ is the hyperbolicity exponent of the flow. Further we show that the zeros in the neighborhood of the imaginary axis satisfy an analogue of the Weyl law.

研究动机与目标

• 将Selberg Zeta函数的解析与谱性质推广至负曲率流形上的一般$C^\infty$接触Anosov流。
• 在常曲率情形之外，建立半经典Zeta函数的亚纯延拓及零点局部化。
• 在一般Anosov动力系统的背景下，证明虚轴上零点密度的Weyl型规律。
• 通过改进的非齐次Sobolev空间与转移算子，建立一个函数分析框架，以控制谱投影算子与迹范数。

提出的方法

• 利用Grassmann扩张和局部坐标图上的单位分解，分析与测地流相关的转移算子的谱。
• 引入改进的非齐次Sobolev空间$\mathcal{K}^{r,\sigma}(K_0)$，以控制相空间中的正则性与衰减性。
• 通过提升算子与谱投影算子$\boldsymbol{\pi}^{\text{lift}}$将动力系统分解为谱分量，并控制迹范数。
• 通过将算子分解为迹类与上三角部分，应用迹估计，以界定算子的平坦迹。
• 利用谱投影算子与衰减估计的迭代论证，证明某些复合算子的平坦迹随迭代次数呈指数衰减。
• 依赖于对提升算子$\mathbf{R}^{(n)}$与$\widetilde{\mathbf{R}}^{(n)}$的算子范数与迹范数的详细分析，推导出命题B.1证明中的关键衰减估计。

实验结果

研究问题

• RQ1 对于一般$C^\infty$接触Anosov流，半经典Zeta函数的零点是否如Selberg情形一样，集中在虚轴及其邻域与左半平面内？
• RQ2 在非常曲率情形下，虚轴上零点的密度是否仍可由Weyl型规律描述？
• RQ3 在一般Anosov设定下，转移算子的哪些谱性质决定了Zeta函数零点的分布？
• RQ4 在适用于Anosov动力系统的函数分析框架中，如何控制非自伴转移算子的迹？
• RQ5 谱间隙与相关性衰减在多大程度上可与Zeta函数的零点自由区域相联系？

主要发现

• 对任意$\tau > 0$，半经典Zeta函数的所有但有限个零点均位于虚轴的$\tau$-邻域与左半平面$\Re(s) < -\chi_0 + \tau$的并集中，其中$\chi_0 > 0$为双曲性指数。
• 虚轴上零点的密度满足Weyl定律，表明其渐近分布与相空间体积成正比。
• 提升算子复合算子的平坦迹以$Cr_0^{-n} \cdot 2^{-I}$的形式指数衰减，这对控制谱迹并证明零点局部化至关重要。
• 谱投影算子$\boldsymbol{\pi}^{\text{lift}}$可分离出主导谱分量，其余部分在算子范数与迹范数下均较小。
• 分析依赖于将算子分解为迹类与上三角部分，从而可应用迹公式与谱间隙估计。
• 结果将Selberg对Zeta函数的解析性质推广至一般$C^\infty$接触Anosov流，建立了超越双曲曲面情形的亚纯延拓与零点分布。