[论文解读] On the pointwise convergence of multiple ergodic averages

El Houcein El Abdalaoui|arXiv (Cornell University)|Jun 10, 2014

Mathematical Dynamics and Fractals参考文献 26被引用 6

一句话总结

本文证明，在某些非奇异动力系统中，最大遍历不等式不成立，从而破坏了证明Furstenberg多重遍历平均点态收敛性的关键策略。然而，研究还表明，对于满足额外遍历条件的弱混合系统，沿特定子列，平均值几乎处处收敛，为长期存在的点态收敛问题提供了部分积极解决。

ABSTRACT

It is shown that there exist a subsequence for which the multiple ergodic averages of commuting invertible measure preserving transformations of a Lebesgue probability space converge almost everywhere provided that the maps are weakly mixing with an ergodic extra condition. The proof provides a example of non-singular dynamical system for which the maximal ergodic inequality does not hold. We further get that the non-singular strategy to solve the pointwise convergence of the Furstenberg ergodic averages fails.

研究动机与目标

• 研究非奇异动力系统中多重遍历平均的点态收敛性。
• 确定此类系统中最大遍历不等式是否成立，因其在经典遍历定理中具有核心作用。
• 探讨此前由Assani提出的非奇异方法是否能成功建立Furstenberg平均的点态收敛性。
• 即使完整最大不等式不成立，仍提供沿子列几乎处处收敛的积极结果。
• 证明基于非奇异系统的策略因最大不等式的崩溃而失败，尽管沿子列具有有利的收敛性质。

提出的方法

• 构造一个非奇异动力系统，其中最大遍历不等式不成立，通过精心选择的测度和变换结构实现。
• 应用Tuleca定理，即使最大不等式不成立，仍确立非奇异映射的个体遍历定理。
• 利用Koopman算子及其伴随算子（Perron-Frobenius算子）分析变换在 $ L^ atural $ 和 $ L^1 $ 空间上的作用。
• 采用Ryll-Nardzewski方法和Mazur-Banach极限过程，通过前向像的凸组合构造不变的有限可加测度。
• 定义由给定非奇异测度 $ \widehat{\lambda} $ 支配的Ryll-Nardzewski不变概率测度类，通过Alaoglu-Banach-Bourbaki定理确保弱*紧致性。
• 通过 $ \nu $ 的拼接构造（定义为对角线与迭代前像的加权和），建模交换变换的联合作用。

实验结果

研究问题

• RQ1 非奇异动力系统在Furstenberg平均研究中，最大遍历不等式是否成立？
• RQ2 即使最大不等式不成立，能否在非奇异系统中确立多重遍历平均的点态收敛性？
• RQ3 基于拼接和转移算子的非奇异策略是否可行，以证明Furstenberg平均的点态收敛性？
• RQ4 在具有额外遍历条件的弱混合系统中，能否沿子列实现几乎处处收敛？
• RQ5 Ryll-Nardzewski不变测度类在构建非奇异系统可行遍历理论中起什么作用？

主要发现

• 存在一个非奇异动力系统，其最大遍历不等式不成立，从而否定了经典遍历理论中的关键工具。
• 尽管最大遍历不等式不成立，但根据Tuleca定理，非奇异映射 $ \phi $ 的个体遍历定理仍然成立。
• 对于弱混合的交换测度保持变换，即使缺乏最大不等式，多重遍历平均仍沿特定子列 $ (N_l) $ 几乎处处收敛。
• 尽管沿子列收敛仍然有效，但基于非奇异系统的Furstenberg平均点态收敛证明策略因最大不等式的崩溃而失败。
• $ \widehat{T} $-不变测度集合 $ \Pi^*(\widehat{T}, \widehat{\lambda}) $（由 $ \widehat{\lambda} $ 支配）非空且弱*紧致，其极值点对应于遍历测度。
• 该构造生成一个Ryll-Nardzewski不变测度类 $ \widehat{\rho} \leq K \cdot \widehat{\lambda} $，通过Banach-Mazur极限的平均获得，确保不变性与支配性。