[论文解读] On the norm convergence of nonconventional ergodic averages

Tim Austin|ArXiv.org|May 3, 2008

Limits and Structures in Graph Theory参考文献 13被引用 19

一句话总结

本文为概率空间上交换的 $\mathbb{Z}^r$-作用的非典型遍历平均的范数收敛性提供了一种全新的纯无穷分析证明，证明了平均值 $\frac{1}{|I_N|}\sum_{n\in I_N+a_N}\prod_{i=1}^d f_i\circ T_i^n$ 在 $L^2(\mu)$ 中收敛至一个与Følner序列 $(I_N)$ 和基点序列 $(a_N)$ 无关的极限，通过经典遍历理论方法扩展了Tao的有限分析方法。

ABSTRACT

We offer a generalization of the recent result of Tao (building on earlier results of Conze and Lesigne, Furstenberg and Weiss, Zhang, Host and Kra, Frantzikinakis and Kra and Ziegler) that the nonconventional ergodic averages associated to an arbitrary number of commuting probability-preserving transformations always converge to some limit in L^2. We prove the corresponding result for a collection of commuting actions of a larger discrete Abelian group, and gives convergence that is uniform in the start-point of the averages. While Tao's proof rests on a conversion to a finitary problem, we invoke only techniques from classical ergodic theory, so giving a new proof of his result.

研究动机与目标

• 为交换的 $\mathbb{Z}^r$-作用的非典型遍历平均的范数收敛性提供一种全新的无穷分析证明。
• 在不依赖有限化约化或非标准分析的前提下，建立在 $L^2(\mu)$ 中的收敛性。
• 证明极限与Følner序列 $(I_N)$ 和基点序列 $(a_N)$ 的选择无关。
• 通过经典方法将Tao对 $r=1$ 的结果推广至一般 $r$ 及任意Følner序列。
• 通过使用愉悦扩展和自积，避免对特征因子或尼尔系统分解的依赖。

提出的方法

• 利用Furstenberg自积构造，将系统提升至具有 $d$ 个交换作用的乘积空间。
• 通过逆极限构造愉悦扩展的塔，以确保对平均值的统一控制。
• 以递归方式应用van der Corput估计和柯西-施瓦茨不等式，以控制误差项。
• 构建一个高度为 $d$ 的自积塔，以分析扩展系统中极限的结构。
• 使用Host-Kra自积作为Furstenberg自积的替代，实现愉悦系统的一般一步构造。
• 依赖经典遍历理论工具，而非有限化或非标准分析技术。

实验结果

研究问题

• RQ1 能否仅使用经典无穷分析遍历理论证明交换的 $\mathbb{Z}^r$-作用的非典型遍历平均的范数收敛性？
• RQ2 平均值的极限是否依赖于Følner序列或基点序列的选择？
• RQ3 能否在不约化为有限问题或使用非标准分析的前提下建立收敛性？
• RQ4 能否在有限步内构造愉悦扩展而不使用逆极限？
• RQ5 该方法能否推广至可约群或幂零群作用？

主要发现

• 对于任意 $f_1,\ldots,f_d \in L^\infty(\mu)$，非典型遍历平均 $\frac{1}{|I_N|}\sum_{n\in I_N+a_N}\prod_{i=1}^d f_i\circ T_i^n$ 在 $L^2(\mu)$ 中收敛。
• 极限与Følner序列 $(I_N)$ 和基点序列 $(a_N)$ 的选择无关。
• 该证明避免了有限化约简和非标准分析，完全依赖经典遍历理论。
• 通过Host-Kra自积实现了一步到位的新愉悦扩展构造，绕过了逆极限过程。
• 该方法对基点偏移具有统一性，与Tao原始的有限分析方法不同。
• 该结果适用于一般 $r \geq 1$ 及任意交换的 $\mathbb{Z}^r$-作用，将先前结果推广至更高秩。