[论文解读] Pointwise multiple averages for systems with two commuting transformations

Sebastián Donoso, Wenbo Sun|arXiv (Cornell University)|Sep 30, 2015

Limits and Structures in Graph Theory参考文献 12被引用 4

一句话总结

本文通过拓扑模型与结构分解，建立了具有两个对易变换的系统中逐点多重遍历平均收敛性。证明了对于具有对易变换 $ S $ 和 $ T $ 的遍历系统，平均值 $\frac{1}{N^3}\sum_{i,j,k=0}^{N-1} f_0(S^jT^k x)f_1(S^{i+j}T^k x)f_2(S^jT^{i+k}x)$ 几乎处处收敛于有界函数，且在可去情形下，更简单的平均值 $\frac{1}{N}\sum_{i=0}^{N-1} f_1(S^i x)f_2(T^i x)$ 同样几乎处处收敛。

ABSTRACT

We show that if $(X,\mathcal{X},μ,S,T)$ is an ergodic measure preserving system with commuting transformations $S$ and $T$, then the average \[\frac{1}{N^3} \sum_{i,j,k=0}^{N-1} f_0(S^j T^k x) f_1 (S^{i+j} T^k x) f_2 (S^j T^{i+k} x)\] converges for $μ$-a.e. $x\in X$ as $N o \infty$ for $f_0,f_1, f_2\in L^\infty(μ)$. We also show that if $(X,\mathcal{X},μ,S,T)$ is a measurable distal system, the average \[ \frac{1}{N}\sum_{i=0}^{N-1} f_1 (S^i x) f_2 (T^i x) \] converges for $μ$-a.e. $x\in X$ as $N o \infty$ for $f_1,f_2\in L^{\infty}(μ)$.

研究动机与目标

• 建立具有两个对易保测变换的系统中多重遍历平均的逐点收敛性。
• 将此前仅应用于单变换情形的拓扑模型方法扩展至具有两个对易变换的系统。
• 在可去情形下证明收敛结果，其中额外的结构性质可简化分析。
• 提出一种新的拓扑结构 $ N_{S,T}(X) $，以实现此类系统的严格遍历模型的构造。
• 将先前的逐点收敛结果（特别是 Huang、Shao 和 Ye 的工作）推广至两个对易变换的情形。

提出的方法

• 为任意具有两个对易变换 $ S $ 和 $ T $ 的遍历系统构造一个拓扑模型 $ N_{S,T}(X) $，确保其严格遍历性。
• 利用严格遍历模型的存在性，将逐点收敛问题转化为连续函数在其中稠密的拓扑设定中。
• 通过中间因子 $ \mathcal{Z}_{S,R}(X) $ 和 $ \mathcal{Z}_{T,R}(X) $ 应用因子分解技术，利用不变 $ \sigma $-代数的结构。
• 在等距扩张的序数指标 $ \theta $ 的超限序列上使用归纳法，将收敛性从基例传播至更高层。
• 利用与 $ R $ 关联的公共因子 $ X_R $ 上的 Birkhoff 逐点收敛定理，处理 $ S $ 与 $ T $ 的耦合动力学。
• 通过 $ L^1 $ 中的逼近密度与条件期望估计，控制近似误差并证明几乎处处收敛。

实验结果

研究问题

• RQ1 在具有两个对易变换的遍历系统中，三重平均 $\frac{1}{N^3}\sum_{i,j,k=0}^{N-1} f_0(S^jT^k x)f_1(S^{i+j}T^k x)f_2(S^jT^{i+k}x)$ 是否对所有有界函数几乎处处逐点收敛？
• RQ2 在可去情形下，是否能通过拓扑模型证明 $\frac{1}{N}\sum_{i=0}^{N-1} f_1(S^i x)f_2(T^i x)$ 的逐点收敛性？
• RQ3 如何将拓扑模型扩展至处理多个对易变换及其联合动力学？
• RQ4 为确保此类系统中逐点收敛性，需要并足以具备哪些结构性质（如等距扩张、魔术扩张）？
• RQ5 能否通过因子分解与超限归纳法，从更简单平均的收敛性推导出三重平均的收敛性？

主要发现

• 对于每个具有对易变换 $ S $ 和 $ T $ 的遍历保测系统 $ (X,\mathcal{X},\mu,S,T) $，三重平均 $\frac{1}{N^3}\sum_{i,j,k=0}^{N-1} f_0(S^jT^k x)f_1(S^{i+j}T^k x)f_2(S^jT^{i+k}x)$ 对所有 $ f_0,f_1,f_2 \in L^\infty(\mu) $ 几乎处处收敛，当 $ N \to \infty $ 时。
• 在具有对易变换 $ S $ 和 $ T $ 的遍历可去系统中，更简单的平均 $\frac{1}{N}\sum_{i=0}^{N-1} f_1(S^i x)f_2(T^i x)$ 对所有 $ f_1,f_2 \in L^\infty(\mu) $ 几乎处处收敛，当 $ N \to \infty $ 时。
• 此类系统均存在一个具有严格遍历结构 $ N_{S,T}(X) $ 的拓扑模型，使得连续函数可作为一个在其中稠密的代数。
• 该证明依赖于构造一个三重魔术扩张，并通过等距扩张的超限归纳法，将收敛性从基因子传播至更高层。
• 在可去情形下的收敛性是通过将问题约化为 $ S $ 与 $ T $ 在公共因子上作用相同的乘积系统而建立的，从而可应用 Birkhoff 逐点收敛定理。
• 关键的技术创新在于使用具有受控结构的拓扑模型，以处理点态遍历理论中两个对易变换的联合动力学。