[论文解读] Spectra of differentiable hyperbolic maps

Viviane Baladi, Masato Tsujii|arXiv (Cornell University)|Sep 16, 2005

Mathematical Dynamics and Fractals参考文献 18被引用 3

一句话总结

本文通过使用分布的各向异性Banach空间，建立了光滑双曲动力系统转移算子本质谱半径的改进界。通过应用Paley-Littlewood分解和逼近数技术，证明了动力Fredholm行列式的全纯延拓受谱性质控制，其零点对应于特征值——为双曲映射提供了更精细的谱理论。

ABSTRACT

This note is about the spectral properties of transfer operators associated to smooth hyperbolic dynamics. In the first two sections (written in 2006), we state our new results relating such spectra with dynamical determinants, first announced at the conference ``Traces in Geometry, Number Theory and Quantum Fields" at the Max Planck Institute, Bonn, October 2005. In the last two sections, we give a reader-friendly presentation of some key ideas in our work in the simplest possible settings, including a new proof of a result of Ruelle on expanding endomorphisms. (These last two sections are a revised version of the lecture notes given during the workshop ``Resonances and Periodic Orbits: Spectrum and Zeta functions in Quantum and Classical Chaos" at Institut Henri Poincaré, Paris, July 2005.) (Revised version, submitted for publication)

研究动机与目标

• 为光滑双曲动力系统中的Ruelle转移算子提供更精细的谱分析。
• 通过新的各向异性Banach空间的分布，改进先前对本质谱半径的界。
• 在转移算子的特征值与动力Fredholm行列式的零点之间建立精确对应关系。
• 为Kitaev关于动力行列式全纯延拓半径的下界提供新证明。

提出的方法

• 为紧邻域$V$上的双曲基本集$\Lambda$的分布引入一族新的各向异性Banach空间$\mathcal{C}^{p,q}(T,V)$，其中参数满足$p>0$，$q<0$，且$p-q < r-1$。
• 在傅里叶空间中应用Paley-Littlewood分解，以分析转移算子的正则性与衰减性质。
• 借鉴早期工作，将傅里叶空间分解为稳定与不稳定锥，以控制算子范数。
• 利用泛函分析中的逼近数估计谱半径，并建立变分界。
• 在相空间中应用 dyadic 分解与分部积分，推导出由转移算子产生的振荡积分的$L^2$型估计。
• 在半径为$R(T,g)\max\{\lambda_s^p, \nu_u^q\}$的圆盘内，建立了$\mathcal{L}_{T,g}$在$\mathcal{C}^{p,q}(T,V)$上的特征值与动力Fredholm行列式零点之间的一一对应关系。

实验结果

研究问题

• RQ1 对于$C^r$双曲微分同胚（$r>1$），Ruelle转移算子的本质谱半径的精确界是什么？
• RQ2 转移算子的谱性质如何与动力Fredholm行列式的全纯延拓相关联？
• RQ3 是否能通过动力zeta函数的零点精确确定转移算子的特征值？
• RQ4 各向异性函数空间在控制转移算子的谱间隙与拟紧性方面起什么作用？
• RQ5 逼近数与Paley-Littlewood技术如何改进双曲动力系统中的谱估计？

主要发现

• 在$\mathcal{C}^{p,q}(T,V)$上，$\mathcal{L}_{T,g}$的本质谱半径上界为$R(T,g)\max\{\lambda_s^p, \nu_u^q\}$，其中$R(T,g)$为与范数相关的量，$\lambda_s$与$\nu_u$分别为稳定与不稳定扩张率。
• 动力Fredholm行列式在半径为$R(T,g)\max\{\lambda_s^p, \nu_u^q\}$的圆盘内存在全纯延拓，且该界在Kitaev下界的意义下是紧的。
• 该圆盘内动力Fredholm行列式的零点与$\mathcal{C}^{p,q}(T,V)$上$\mathcal{L}_{T,g}$的特征值之间存在一一对应关系，从而确立了谱行列式恒等式。
• 对于扩张映射，通过dyadic分解给出了谱半径界的新证明，以新颖的分析方法确认了已知结果。
• $\mathcal{C}^{p,q}(T,V)$的构造确保当$g>0$时，$\mathcal{L}_{T,g}$具有谱间隙且为拟紧算子；该空间包含$C^s(V)$（当$s>p$时），且包含于$C^s(V)$的对偶空间中（当$s>|q|$时），从而保证了适当的正则性与对偶性。
• 该方法导出了谱半径界的变分表达式，将谱行为与李雅普诺夫指数、度量熵等动力量联系起来。