[论文解读] A spectral gap for transer operators of piecewise expanding maps

Damien Thomine|arXiv (Cornell University)|Jun 14, 2010

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

一句话总结

本文通过Sobolev空间与有界变差函数，建立了一类逐段扩张映射转移算子的谱间隙，证明了存在有限个具有指数混合速率的混合物理测度。该研究通过基于Sobolev范数与插值理论的稳健框架，推广了Lasota-Yorke与Cowieson型结果，利用迭代与Hennion定理，对本质谱半径得出了精确估计。

ABSTRACT

We provide a simplified proof of the existence, under some assumptions, of a spectral gap for the Perron-Frobenius operator of piecewise uniformly expanding maps on Riemannian manifolds when acting on some Sobolev spaces. Its consequences include, among others, the existence of invariant physical measures, and an exponential decay of correlations for suitable observables. These features are then adapted to different function spaces (functions with bounded variation or bounded oscillation), so as to give a new insight of - and generalize - earlier results.

研究动机与目标

• 在尽可能弱的正则性假设下，为逐段扩张映射的转移算子建立谱间隙。
• 利用Sobolev空间与有界变差空间等标准函数空间，推广Lasota-Yorke与Cowieson关于物理测度的结果。
• 通过依赖插值理论与傅里叶分析，而非特定构造的函数空间，简化并统一谱间隙结果的证明。
• 将该框架推广至C^1+Lip映射情形，结合有界变差函数，强化Cowieson定理。

提出的方法

• 利用傅里叶变换定义的Sobolev空间与插值理论，确保正则性的同时容许不连续性。
• 应用C^1+α微分同胚复合时的初等不等式与局部化技术，控制算子范数。
• 应用Hennion定理估计本质谱半径，并通过迭代转移算子以改进谱估计。
• 在Sobolev空间中导出Lasota-Yorke型不等式，以有界转移算子的本质谱半径。
• 改编锥方法与紧致性论证，证明物理测度的存在性及其混合性质。
• 通过映射的迭代改进谱半径估计，导出方程(6.6)中的极限表达式。

实验结果

研究问题

• RQ1 能否使用标准Sobolev空间而非特定构造的函数空间，为逐段扩张映射的转移算子建立谱间隙？
• RQ2 本质谱半径的精确估计如何依赖于扩张率与不连续性复杂度？
• RQ3 当映射为逐段C^1+α且密度属于有界变差函数时，该方法是否能保证物理测度的指数混合性？
• RQ4 该框架能否推广至C^1+Lip情形，结合有界变差函数，从而改进Cowieson定理？
• RQ5 谱间隙如何依赖于不连续性的组合复杂度与扩张率？

主要发现

• 转移算子的本质谱半径被一个涉及扩张率λ_n与不连续性复杂度D_n^b的表达式所控制，其第n次迭代的界为(λ_n^{-α} + 4γ_d D_n^b / ((λ_n - 1)γ_{d-1}))^{1/n}。
• 当n → ∞时，该界极限给出谱间隙估计ρ_ess ≤ sup{ lim (λ_n^{-1/n} (D_n^b)^{1/n}), lim (λ_n^{-α/n}) }，从而确保指数混合性。
• 对于逐段C^1+α一致扩张映射，Perron-Frobenius算子在Sobolev空间上具有谱间隙，意味着存在有限个混合物理测度，其密度属于这些空间。
• 在C^1+Lip情形下，该方法给出了Cowieson定理的更强版本，证明了存在有限个具有有界变差密度的物理测度。
• 该框架具有鲁棒性，可适用于其他函数空间（如Saussol的V_α空间），表明其应用范围不仅限于Sobolev与BV空间。
• 通过迭代与Hennion定理，可获得比Saussol定理初始界更紧的谱半径估计，从而提升收敛速率。