[论文解读] Averages along cubes for not necessarily commuting measure preserving transformations

Idris Assani|arXiv (Cornell University)|Nov 2, 2005

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

一句话总结

本文在非交换保测变换下，建立了六组有界函数沿三维立方体的加权平均的几乎处处收敛与范数收敛。利用威纳-温纳型估计与遍历分解，证明了形如 $\frac{1}{N^3}\sum_{n,m,p=1}^N f_1(T_1^n x)f_2(T_2^m x)f_3(T_3^p x)f_4(T_4^{n+m}x)f_5(T_5^{n+p}x)f_6(T_6^{m+p}x)$ 的平均值在有限测度空间上的有界函数下几乎处处收敛，即使变换不交换。

ABSTRACT

We study the pointwise convergence of some weighted averages linked to averages along cubes. We show that if $(X,\mathcal{B},μ, T_i)$ are not necessarily commuting measure preserving systems on the same finite measure space and if $f_i,$ $1\leq i\leq 6$ are bounded functions then the averages $$\frac{1}{N^3}\sum_{n, m, p=1}^N f_1(T_1^nx) f_2(T_2^mx) f_3(T_3^px) f_4(T_4^{n+m}x) f_5(T_5^{n+p}x) f_6(T_6^{m+p}x)$$ converge almost everywhere.

研究动机与目标

• 建立在非交换保测变换下的动力系统中，三维立方体上加权平均的逐点几乎处处收敛性。
• 将先前关于二维平均的结果推广至三维立方体情形，其中动力系统涉及多个非交换作用的变换。
• 研究遍历性是否为涉及特征函数与谱测度的某些加权平均收敛的必要假设。
• 证明此类平均的收敛集与有界序列的选择无关，凸显算术结构在收敛行为中的作用。

提出的方法

• 利用威纳-温纳型估计控制与变换相关的指数和的增长。
• 应用引理1与引理2，通过频率 $t$ 上三角多项式平均的上确界，有界平均的 $L^2$-范数。
• 采用遍历分解将问题约化至遍历系统，从而可应用谱理论与谱测度。
• 利用关联性原理分析谱测度（如勒贝格测度与狄拉克测度）之间的正交性，以确立序列的收敛或发散。
• 构造反例，使用具有振荡切萨罗均值的序列 $v_n$ 与二次相位 $e^{2\binom{in^2\alpha}}$，表明在非遍历设定下存在发散。
• 依赖恒等式 $(n+m+p)^2 = (n+m)^2 + (n+p)^2 + (m+p)^2 - n^2 - m^2 - p^2$，将变换 $S(x,y) = (x+\alpha, x+y)$ 的动力学与平均的相位结构联系起来。

实验结果

研究问题

• RQ1 当底层保测变换不交换时，沿三维立方体的加权平均是否几乎处处收敛？
• RQ2 对于涉及特征函数与有界序列的加权平均，遍历性假设是否为几乎处处收敛的必要条件？
• RQ3 此类平均的收敛集是否如谱结构所示，与有界序列的选择无关？
• RQ4 算术结构（如多项式相位）与动力结构在多重遍历平均收敛性中各自起何作用？
• RQ5 能否构造一个单一的动力系统与函数，使得某些加权立方平均几乎处处不收敛，即使各序列满足威纳-温纳条件？

主要发现

• 对于有界函数 $f_i$ 与非交换保测变换 $T_i$，平均 $\frac{1}{N^3}\sum_{n,m,p=1}^N f_1(T_1^n x)f_2(T_2^m x)f_3(T_3^p x)f_4(T_4^{n+m}x)f_5(T_5^{n+p}x)f_6(T_6^{m+p}x)$ 几乎处处收敛且在范数下收敛。
• 即使变换不交换，收敛性依然成立，扩展了先前需交换性或遍历性的结果。
• 平均收敛的 $x$ 的集合与有界序列 $a_n, b_n, c_n$ 的选择无关，表明收敛行为中存在深层算术结构。
• 通过构造一个非遍历系统与具有发散切萨罗均值的序列 $v_n$，给出反例，表明遍历性对某些高阶平均的收敛性是必要的。
• 序列 $a_n = v_n e^{2\pi i n^2 \alpha}$ 属于威纳-温纳类 $\mathcal{WW}_1$，但在特定非遍历设定下导致平均发散，证明了引理3中遍历性的重要性。
• 发散源于谱测度 $\delta_0$（来自 $v_n$）与勒贝格测度（来自 $e^{2\pi i n^2 \alpha}$）之间的正交性，从而阻止相关指数和的收敛。