[论文解读] Banach spaces for piecewise cone hyperbolic maps

Viviane Baladi, Sébastien Gouëzel|arXiv (Cornell University)|Jul 8, 2009

Mathematical Dynamics and Fractals被引用 3

一句话总结

该论文在分段锥双曲映射的传递算子上建立了谱间隙，基于捆扎条件，并利用各向异性Sobolev空间统一并推广了先前的结果。当复杂度为次指数时，本质谱半径严格小于1，这意味着在许多情况下（包括体积守恒系统和稳定维数为1的系统）物理测度的关联函数呈指数衰减，并具有统计稳定性。

ABSTRACT

We consider piecewise cone hyperbolic systems satisfying a bunching condition and we obtain a bound on the essential spectral radius of the associated weighted transfer operators acting on anisotropic Sobolev spaces. The bunching condition is always satisfied in dimension two, and our results give a unifying treatment of the work of Demers-Liverani and our previous work. When the complexity is subexponential, our bound implies a spectral gap for the transfer operator corresponding to the physical measures in many cases (for example if $T$ preserves volume, or if the stable dimension is equal to 1 and the unstable dimension is not zero).

研究动机与目标

• 统一并扩展针对具有奇点的分段锥双曲映射的统计性质的功能分析方法。
• 为作用于各向异性Sobolev空间上的传递算子提供一个通用框架，以处理不连续性和奇点。
• 在捆扎条件下证明传递算子的谱间隙，确保物理测度的关联函数呈指数衰减。
• 将Demers-Liverani（2008）和Baladi-Gou"ezel（2009）的结果统一到一个单一、连贯的框架中。
• 为通过传递算子的谱间隙证明离散时间Sinai玻尔兹曼系统的关联函数指数衰减奠定基础。

提出的方法

• 作者在Triebel-Lizorkin类中构造了适应系统双曲结构的各向异性Sobolev空间 $\mathbf{H}_{p}^{t,s}$。
• 他们通过 $\mathcal{L}\omega = \frac{\omega \circ T^{-1}}{|\det DT \circ T^{-1}|}$ 定义了作用于分布的传递算子 $\mathcal{L}$，并将其扩展到Banach空间 $\mathbf{H}$。
• 利用捆扎条件和稳定与不稳定流形的横截性假设，界定了 $\mathcal{L}$ 在 $\mathbf{H}$ 上的本质谱半径。
• 证明依赖于收缩邻域的特征函数在 $\mathbf{H}$ 中的有界性和紧致性，确保物理测度在不连续集上测度为零。
• 采用对偶论证：证明传递算子 $\mathcal{L}$ 的对偶保持Lebesgue测度，从而将 $\mathcal{L}$ 的不动点与物理测度联系起来。
• 通过证明 $\mathcal{L}$ 的迭代一致有界且本质谱半径严格小于1，建立了谱间隙。

实验结果

研究问题

• RQ1 能否为具有奇点的分段锥双曲映射开发一个统一的功能分析框架，涵盖先前的所有结果？
• RQ2 在何种条件下，作用于各向异性Sobolev空间上的传递算子会表现出谱间隙？
• RQ3 在捆扎条件下，传递算子的本质谱半径是否严格小于1？
• RQ4 谱间隙结果是否能推出在复杂度为次指数的系统中，物理测度的关联函数呈指数衰减？
• RQ5 该框架是否能确保物理测度几乎处处避开不连续集？

主要发现

• 在捆扎条件下，传递算子 $\mathcal{L}$ 在各向异性Sobolev空间 $\mathbf{H}$ 上的本质谱半径严格小于1。
• 传递算子 $\mathcal{L}$ 在 $\mathbf{H}$ 中存在不动点，对应于物理测度，且1是单位圆上唯一的特征值，且为单重特征值。
• 对于复杂度为次指数的系统，谱间隙意味着物理测度与Hölder连续观测函数之间的关联函数呈指数衰减。
• 该框架确保物理测度在映射 $T$ 的不连续集上测度为零，这通过收缩邻域的特征函数在 $\mathbf{H}$ 中收敛于零得到证明。
• 该结果推广并统一了Demers-Liverani（2008）和Baladi-Gou"ezel（2009）的早期工作，适用于体积守恒系统和稳定维数为1的系统。
• 该方法避免使用马尔可夫划分和人为构造的扩张映射，保持了原始动力系统的光滑性。