[论文解读] A uniform nilsequence Wiener-Wintner theorem for bilinear ergodic averages

Pavel Zorin‐Kranich|arXiv (Cornell University)|Apr 17, 2015

Limits and Structures in Graph Theory参考文献 15被引用 7

一句话总结

本文通过证明一个一致性的半范数估计，建立了双线性遍历平均的统一尼尔序列 Wiener–Wintner 定理，该估计蕴含了涉及尼尔序列的加权遍历平均的收敛性。关键结果表明，若一个系统满足 $k$-线性逐点遍历定理，则其也满足具有尼尔序列权重的统一版本，推广了此前针对 $k=2$ 的结果，并通过归纳法和 Gowers 一致范数扩展至高阶平均。

ABSTRACT

We show that a $k$-linear pointwise ergodic theorem on an ergodic measure-preserving system implies a uniform $k$-linear nilsequence Wiener-Wintner theorem on that system. The assumption is known to hold for arbitrary systems and $k=2$ (due to Bourgain) and for distal systems and arbitrary $k$ (due to Huang, Shao, and Ye).

研究动机与目标

• 在遍历系统中建立双线性遍历平均的统一尼尔序列 Wiener–Wintner 定理。
• 将先前关于多项式权重和尼尔序列的结果推广至高阶多重线性平均。
• 证明一个一致性半范数估计，以控制尼尔序列上加权遍历平均的上确界。
• 表明 $k$-线性逐点遍历定理蕴含具有尼尔序列权重的统一收敛性，推广了已知的 $k=2$ 情形结果。
• 通过幂零群的幂零类归纳法，为可 distal 系统和任意 $k$ 提供一个通用框架。

提出的方法

• 对幂零李群 $G$ 的滤子 $G_{ullet}$ 的长度 $l$ 进行归纳。
• 利用尼尔流形 $G/\tilde{\tau}$ 上函数的垂直傅里叶分解，将问题约化为垂直特征。
• 应用 van der Corput 引理以控制加权平均的 $L^{2^{l+1}}$-范数。
• 利用改进的 Gowers–Host–Kra 一致半范数 $U^{k+l}(T,c)$ 量化收敛行为。
• 依赖归纳假设，通过立方构造和群扩张将 $l$-情形约化为 $(l-1)$-情形。
• 应用 Fatou 引理和 Hölder 不等式，将 $L^{2^{l+1}}$-范数以函数 $f_i$ 的 $U^{k+l}(T,c)$ 半范数形式有界。

实验结果

研究问题

• RQ1 是否 $k$-线性逐点遍历定理蕴含具有尼尔序列权重的双线性遍历平均的统一收敛性？
• RQ2 定理 1.1 中的一致性半范数估计能否推广至高阶幂零群和任意 $k$？
• RQ3 当基系统满足 $k$-线性遍历定理时，加权平均在所有尼尔序列上的收敛是否一致？
• RQ4 幂零群滤子 $G_{ullet}$ 的结构如何影响收敛的一致性？
• RQ5 该结果能否应用于 distal 系统，并通过命题 1.3 中的等价性推广至多项式权重？

主要发现

• 本文证明了一致性半范数估计（定理 1.1）：加权遍历平均的上确界的 $L^{2^{l+1}}$-范数被函数 $f_i$ 的 $U^{k+l}(T,c)$ 半范数控制，常数仅依赖于 $b_1,\dots,b_k$、$l$ 和尼尔流形 $G/\Gamma$。
• 该结果蕴含一个统一尼尔序列 Wiener–Wintner 定理（推论 1.4）：对任意 $f_1,\dots,f_k \in L^\infty(X)$，序列 $\prod_{i=1}^k f_i(T^{b_i n}x)$ 几乎处处满足命题 1.3 的等价条件，包括尼尔序列加权平均的收敛性。
• 对于 $k=2$，该定理无条件成立，源于 Bourgain 的双线性遍历定理，且该结果恢复并推广了 Assani、Duncan 和 Moore 的先前工作。
• 证明通过 $l$ 的归纳法进行，利用垂直傅里叶分解和 van der Corput 引理将 $l$-情形约化为 $(l-1)$-情形。
• 关键技术步骤涉及将加权平均的 $L^{2^{l+1}}$-范数估计为 $C$-下极限的 $L^{2^l}$-范数之差，再通过归纳假设和 Gowers 一致半范数进行有界。
• 最终有界被证明受 $\min_i \|f_i\|_{U^{k+l}(T,c)}^{2^{l+1}}$ 控制，从而确立了所需的统一性与收敛性。