[论文解读] The Central Limit Theorem for function systems on the circle

Tomasz Szarek, Anna Zdunik|arXiv (Cornell University)|Mar 30, 2017

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

一句话总结

本文在最小假设下建立了圆周上迭代函数系统（IFS）的中心极限定理（CLT），具体为半群作用的极小性，无需生成同胚的额外正则性要求。证明利用了马尔可夫链的Maxwell-Woodroofe条件，并引入e-性质以确保遍历性和渐近稳定性，通过有理逼近将CLT推广至任意初始分布和一般概率向量。

ABSTRACT

The Central Limit Theorem for Iterated Functions Systems on the circle is proved. We study also ergodicity of such systems.

研究动机与目标

• 在最小假设下建立圆周上迭代函数系统（IFS）的Lipschitz可观测量的中心极限定理（CLT）。
• 将CLT扩展至不具有谱间隙的系统，允许任意初始分布和一般概率向量。
• 通过Markov算子的e-性质，为IFS的遍历性和渐近稳定性提供一个框架。
• 利用e-性质提供已知遍历性结果的替代证明，适用于具有最小动力学假设的IFS。

提出的方法

• 将Maxwell-Woodroofe条件用作IFS生成的平稳马尔可夫链中CLT的充分条件。
• 应用Feller算子的e-性质以确保迭代函数的等连续性，从而蕴含遍历不变测度的分离性。
• 使用Cesáro e-性质证明经验测度对任意起点在全测度开集中的弱收敛性。
• 通过一般概率向量的有理逼近构造具有相等概率的符号扩展，保持不变测度和CLT行为。
• 利用Lipschitz连续性和e-性质，估计从不同点出发的轨迹之间特征函数的差异。
• 通过有理概率向量的逼近，将CLT从相等概率推广至一般概率，同时保持收敛速率的统一有界性。

实验结果

研究问题

• RQ1 在何种最小条件下，圆周上具有Lipschitz可观测量的迭代函数系统（IFS）的中心极限定理（CLT）成立？
• RQ2 是否可以在不假设谱间隙或映射额外正则性的情况下，为IFS建立CLT？
• RQ3 如何利用Markov算子的e-性质证明圆周上IFS的遍历性和渐近稳定性？
• RQ4 在IFS框架下，CLT是否对一般初始分布和任意概率向量均成立？
• RQ5 是否可使用逼近技术将CLT从相等概率扩展至一般概率向量？

主要发现

• 在仅假设半群作用极小性的前提下，圆周上IFS的Lipschitz可观测量的CLT成立，无需映射的光滑性要求。
• Maxwell-Woodroofe条件在IFS设定中足以保证CLT，从而适用于任意初始分布。
• e-性质确保了不同遍历不变测度具有不相交支集，这是证明唯一性和稳定性的关键。
• 在存在全测度开不变集的温和条件下，Cesáro e-性质可推出IFS的渐近稳定性和遍历性。
• 通过有理逼近，CLT可推广至一般概率向量，且逼近参数的收敛性保持一致。
• 该证明经轻微修改后仍适用于Hölder连续可观测量，表明该框架具有鲁棒性。