[论文解读] Transfer operators and atomic decomposition

Alexander Arbieto, Daniel Smania|arXiv (Cornell University)|Mar 16, 2019

Mathematical Dynamics and Fractals参考文献 43被引用 5

一句话总结

本文引入了一类新型的贝索夫型巴拿赫空间，定义于具有优良网格结构的测度空间上，用于研究低正则性分段定义映射的转移算子。通过采用原子分解并建立拉斯塔-约尔克不等式，作者证明了即使在低正则性条件下，转移算子仍具有拟紧性，从而实现了相关系数的指数衰减、中心极限定理以及无界可观测量的几乎必然不变原理。

ABSTRACT

We use the method of atomic decomposition and a new family of Banach spaces to study the action of transfer operators associated to piecewise-defined maps. It turns out that these transfer operators are quasi-compact even when the associated potential, the dynamics and the underlying phase space have very low regularity. In particular it is often possible to obtain exponential decay of correlations, the Central Limit Theorem and almost sure invariance principle for fairly general observables, including unbounded ones.

研究动机与目标

• 为低正则性动力系统中的转移算子建立一个泛函分析框架。
• 克服在 $ L^1 $ 空间中转移算子谱退化的缺陷，即谱为整个闭单位圆盘。
• 在最小光滑性条件下，为无界可观测量建立相关系数的指数衰减与统计极限定理（中心极限定理、几乎必然不变原理）。
• 将经典遍历理论结果推广至具有不连续或非光滑动力学的系统。
• 通过原子分解与新型贝索夫型范数，提供一个稳健的巴拿赫空间设定，使转移算子表现出拟紧谱行为。

提出的方法

• 作者在配备有'优良网格'且有限测度的测度空间上定义了一类新的贝索夫空间 $ \mathcal{B}^s_{p,q} $，推广了经典贝索夫空间。
• 他们利用原子分解，将 $ \mathcal{B}^s_{p,q} $ 中的函数表示为定义在网格单元上的原子之和，从而实现对范数的精确控制。
• 一个关键技术工具是动力切片技术，该技术根据动力系统与转移算子的作用对相空间进行划分。
• 本文建立了转移算子 $ \Phi $ 在 $ \mathcal{B}^s_{p,q} $ 上的拉斯塔-约尔克不等式，表明 $ \|\Phi f\|_{\mathcal{B}^s_{p,q}} \leq C_1 \|f\|_{\mathcal{B}^s_{p,q}} + C_2 \|f\|_{L^1} $，该不等式蕴含了拟紧性。
• 他们证明了 $ \Phi $ 在 $ L^{t_0} $ 与 $ L^1 $ 上的有界性，并通过插值法以及对雅可比行列式与畸变的估计，控制本质谱半径。
• 本质谱半径通过畸变界与预像测度的指数衰减得到控制，从而导出谱间隙估计。

实验结果

研究问题

• RQ1 对于低正则性分段定义映射的转移算子，是否仍能表现出相关系数的指数衰减与统计极限定理？
• RQ2 是否可能构造一个函数的巴拿赫空间，使得即使映射与势函数不光滑，转移算子仍具有拟紧性？
• RQ3 原子分解如何用于分析非光滑或不连续动力系统中的转移算子？
• RQ4 相空间与动力学需满足何种条件，才能保证转移算子的本质谱半径严格小于一？
• RQ5 该泛函分析框架能否扩展至无界可观测量，同时保持中心极限定理等统计性质？

主要发现

• 即使映射、势函数与相空间仅具有最小正则性，转移算子 $ \Phi $ 在新定义的贝索夫空间 $ \mathcal{B}^s_{p,q} $ 上仍具有拟紧性。
• 只要 1 是孤立的单特征值，且其余谱位于半径严格小于一的闭圆盘内，则所有属于 $ \mathcal{B}^s_{p,q} $ 的可观测量均存在相关系数的指数衰减。
• 中心极限定理与几乎必然不变原理对一大类无界可观测量成立，将经典结果从 $ L^2 $ 拓展至更广范围。
• 在较弱的畸变与扩张条件下，$ \Phi $ 在 $ \mathcal{B}^s_{p,q} $ 上的本质谱半径严格小于一，确保了谱间隙的存在。
• 该方法通过依赖于畸变与扩张速率的常数 $ C_{\text{DC1}}, \lambda_{\text{DC2}} $ 与 $ \epsilon' $，给出了算子范数与本质谱半径的显式界。
• 通过原子分解构造贝索夫空间的方法，使得该框架在光滑情形下与经典贝索夫空间一致，同时可推广至非光滑系统。