2025-11-29T15:07:18.367123

A Hard-Analytic Proof of "Most" Polynomial Wiener-Wintner Theorems for Infinite Measure Spaces

Krause

We provide a new proof of ``most" cases of the polynomial Wiener-Wintner theorem for $Ï$-finite spaces, using hard-analytic methods. Specifically, we prove that whenever $(X,Î¼,T)$ is a $Ï$-finite measure-preserving system, and $f \in L^p(X), \ 1 \leq p < \infty$, there exists a co-null set $X_f \subset X$ so that for all $Ï\in X_f$ \[ \frac{1}{N} \sum_{n \leq N} e^{2 Ïi P(n)} f(T^n Ï) \] converges for all polynomials $P$ which are either linear, or vanish to degree $2$ at the origin.

academic

A Hard-Analytic Proof of "Most" Polynomial Wiener-Wintner Theorems for Infinite Measure Spaces

基本信息

论文ID: 2511.02786
标题: A Hard-Analytic Proof of "Most" Polynomial Wiener-Wintner Theorems for Infinite Measure Spaces
作者: Ben Krause (University of Bristol)
分类: math.DS (Dynamical Systems), math.CA (Classical Analysis and ODEs)
发表时间: November 5, 2025
论文链接: https://arxiv.org/abs/2511.02786

摘要

本文使用硬分析方法为σ-有限测度空间上的"大多数"多项式Wiener-Wintner定理提供了新的证明。具体而言，对于任意σ-有限测度保持系统 $(X,\mu,T)$ 和 $f \in L^p(X)$ （ $1 \leq p < \infty$ ），存在余零集 $X_f \subset X$ 使得对所有 $\omega \in X_f$ ，平均值 $\frac{1}{N}\sum_{n\leq N} e^{2\pi iP(n)}f(T^n\omega)$ 对所有线性多项式或在原点处二阶消失的多项式 $P$ 都收敛。

研究背景与动机

核心问题

Wiener-Wintner遍历定理是Birkhoff遍历定理的经典推广，它断言对于测度保持系统 $(X,\mu,T)$ 和 $f \in L^1(X)$ ，存在全测集 $X_f$ 使得对所有 $\omega \in X_f$ 和所有 $\theta \in [0,1]$ ，极限 $\lim_{N\to\infty} \frac{1}{N}\sum_{n\leq N} e^{2\pi in\theta}f(T^n\omega)$ 都存在。其显著性在于收敛对所有 $\theta$ 同时成立，而非几乎处处成立。

研究意义

理论拓展：Wiener-Wintner定理已被推广到更一般的加权平均，包括多项式调制、幂零序列、Hardy域函数等
测度空间扩展：现有结果主要针对概率空间，而σ-有限空间的情况需要新技术
方法论创新：现有证明多采用软方法（遍历理论），本文开创性地使用硬分析方法

现有方法局限

多项式Wiener-Wintner定理的完整证明涉及复杂的遍历理论结构
对于一般多项式调制，当前技术无法处理其隐含的"多项式调制不变性"
σ-有限空间的特殊性要求更精细的分析工具

本文动机

作者旨在通过纯分析方法（时频分析和变分理论）证明"大多数"情况，避免深层遍历理论，并为未来处理一般情况奠定技术基础。

核心贡献

主要定理（定理1.2）：证明了对于σ-有限测度保持系统和 $f \in L^p(X)$ （ $1 \leq p < \infty$ ），存在余零集使得多项式加权平均对所有线性多项式或在原点二阶消失的多项式收敛
技术创新：
- 对线性调制情况，通过Calderón转移原理将问题归约到整数格点，并应用Oberlin-Seeger-Tao-Thiele-Wright的变分Carleson定理
- 对振荡多项式情况，发展了新的"变系数"多频变分估计理论
方法论突破：提供了完全基于硬分析的证明路径，不依赖深层遍历理论结构
技术工具：引入跳跃计数函数（jump-counting function）和变分算子框架，通过控制变分范数建立收敛性

方法详解

任务定义

输入：

σ-有限测度保持系统 $(X,\mu,T)$
函数 $f \in L^p(X)$ ， $1 \leq p < \infty$
多项式类 $\mathcal{P}$ （线性或二阶消失）

输出：

余零集 $X_f \subset X$
对所有 $\omega \in X_f$ 和 $P \in \mathcal{P}$ ，证明 $\lim_{N\to\infty} \frac{1}{N}\sum_{n\leq N} e^{2\pi iP(n)}f(T^n\omega)$ 存在

整体策略

第一步：归约到简单情形

通过极大遍历定理和密度论证，可假设 $f$ 为可积指示函数，并限制到间隙时间序列 $N \in \{\lfloor\lambda^k\rfloor: k \in \mathbb{N}\}$ （ $1 < \lambda \leq 2$ ）。

第二步：光滑化

用光滑截断函数替换粗糙截断： $\phi_N(n) := \frac{1}{N}\phi\left(\frac{n}{N}\right)$ 其中 $\|\phi - 1_{[0,1]}\|_{L^1(\mathbb{R})} \leq \epsilon_0$ 且 $|\partial^\alpha\phi| \lesssim_\alpha \epsilon_0^{-\alpha} \cdot 1_{[0,1]}$ 。

第三步：跳跃计数函数

定义算子 $\Phi_M^P f(\omega) := \sum_m \phi_M(m)e^{2\pi iP(m)}f(T^m\omega)$ 和跳跃计数函数（截断版） $N_{\tau,H}^P f(\omega) := \sup\{K: \exists M_0(\omega) < \cdots < M_K(\omega) \leq H: |\Phi_{M_{k-1}}^P f(\omega) - \Phi_{M_k}^P f(\omega)| \gg \tau\}$

关键引理1.4：若对每个可积指示函数 $f$ ， $\mu\left(\left\{X: \sup_{P\in\mathcal{P}} N_{\tau,H}^P f(\omega) \geq L\right\}\right) = o_{L\to\infty;\tau,\|f\|_{L^2(X)}}(1)$ （与 $H$ 无关），则对任意 $f \in L^p(X)$ ，存在余零集使得 $\Phi_N^P f$ 对所有 $P \in \mathcal{P}$ 收敛。

第四步：变分控制

通过变分算子控制跳跃计数： $\sup_{P\in\mathcal{P}} \tau N_{\tau,H}^P f(\omega)^{1/r} \leq V_\mathcal{P}^r f(\omega)$ 其中 $V_\mathcal{P}^r f := \sup_{P\in\mathcal{P}} \sup \left(\sum_i |\Phi_{M_k}^P f - \Phi_{M_{k-1}}^P f|^r\right)^{1/r}, \quad 2 < r < \infty$

核心任务转化为证明 $\|V_\mathcal{P}^r f\|_{L^2(X)} \lesssim \|f\|_{L^2(X)}$ 。

线性调制情况（§2）

Calderón转移原理

通过转移原理，问题归约到整数格点 $\ell^2(\mathbb{Z})$ 上估计 $V_\mathcal{P}^r f := \sup_{P\in\mathcal{P}} \sup \left(\sum_i |A_{M_k}^P f - A_{M_{k-1}}^P f|^r\right)^{1/r}$ 其中 $A_M^P f(x) := \sum_n \phi_M(n)e^{2\pi iP(n)}f(x-n)$ 是离散卷积算子。

模调不变性

线性多项式情况具有模调不变性： $V_\mathcal{P}^r f \equiv V_\mathcal{P}^r f_\theta, \quad f_\theta(n) := e^{2\pi in\theta}f(n)$ 这要求使用时频分析方法。

变分Carleson定理

定义2.8（r-变分Carleson性质）：函数 $\chi: \mathbb{R} \to \mathbb{C}$ 满足r-变分Carleson性质（常数 $C$ ），若 $\left\|\left(\sum_i \left|\int \left(\hat{\chi}(R_i(x)(\beta-\theta(x))) - \hat{\chi}(R_{i+1}(x)(\beta-\theta(x)))\right)\hat{f}(\beta)e(\beta x)\right|^r\right)^{1/r}\right\|_{L^2(\mathbb{R})} \leq C\frac{r}{r-2}\|f\|_{L^2(\mathbb{R})}$

命题2.9（引用20）： $1_{[-1/2,1/2]}$ 满足r-变分Carleson性质，常数 $O(1)$ 。

命题2.10（本文核心）：对光滑 $\phi$ 和间隙时间 $M \in \lfloor\lambda^N\rfloor$ ， $\left\|\sup_\theta V^r\left(\sum_m \phi_M(m)g(a+m)e(m\theta): M\right)\right\|_{\ell^2(\mathbb{Z})} \lesssim \epsilon_0^{-O(1)}\frac{r}{r-2}\frac{\lambda}{\lambda-1}\|f\|_{\ell^2(\mathbb{Z})}$

证明思路：

凸性引理2.11：若 $\phi \in C^1 \cap C^0$ ，则 $\phi$ 满足r-变分Carleson性质，常数 $O(C_\phi)$ ，其中 $C_\phi = \|x\phi'(x)\|_{L^1}$
间隙版本（定义2.12）：引入间隙r-变分Carleson性质，额外因子 $\frac{\lambda}{\lambda-1}$
逼近引理2.13：通过量 $A[\phi,\chi]$ （涉及差分、导数估计）控制从 $\chi$ 到 $\phi$ 的传递
离散转移引理2.14：Magyar-Stein-Wainger转移原理将连续结果转移到离散情形
二进分解：将 $\phi$ 分解为 $\phi_0 + \sum_{j\geq 1}\phi_j$ ，其中 $\hat{\phi}_j$ 支撑在 $\{|\xi| \lesssim \epsilon_0^{-2}2^j\}$ ，分别估计

多项式振荡情况（§3）

问题设定

考虑多项式类 $\mathcal{P}_d := \{P \in \mathbb{R}[\cdot]: P(0) = P'(0) = 0, \deg(P) \leq d\}$ 即在原点二阶消失的有界度多项式。

核心命题3.15： $\|V_d^r f\|_{\ell^2(\mathbb{Z})} \lesssim_{\epsilon_0,\lambda,d} \left(\frac{r}{r-2}\right)^2 \|f\|_{\ell^2(\mathbb{Z})}$ 其中 $V_d^r f(x) := \sup_{P\in\mathcal{P}_d} \sup \left(\sum_i \left|\sum_n (\Psi_{k_i}(n) - \Psi_{k_{i-1}}(n))e(P(n))f(x-n)\right|^r\right)^{1/r}$

技术分解（引理3.17，引用15）

$V_d^r f \leq \sum_{s\geq 1} A^s f + Ef + O(M_{HL}f) + H^r f$ 其中：

$E$ ：有界 $\ell^2$ 算子
$H^r f$ ：截断奇异积分的r-变分， $\ell^2$ 范数 $O(\frac{r}{r-2})$
$A^s f$ ：主要项，涉及系数范数 $N_{2^k}(P_{\vec{\lambda}}) = 2^s$ 的贡献

Fourier乘子表示（命题3.19）

引入Fourier乘子 $L_{J,\vec{\lambda}}^s(\beta) = \sum_{\substack{(\vec{A},Q)=1 \\ 2^{s-1}\leq Q < 2^s}} \sum_{B\leq Q} S(\vec{A}/Q, B/Q)\Phi_{J,\vec{\lambda}-\vec{A}/Q}^*(\beta - B/Q)\chi_s(\beta - B/Q)$ 其中：

$S(\vec{A}/Q, B/Q) = \frac{1}{Q}\sum_{r\leq Q} e\left(\frac{-A_2r^2 + \cdots + A_dr^d + rB}{Q}\right)$ 是完全Weyl和
$\Phi_{J,\vec{\lambda}}^\vee(x) = \Psi_J^s(x)e(-P_{\vec{\lambda}}(x)) \cdot 1_{\|\lambda_k\|_\mathbb{T} \leq JA_0 2^{-kJ}, 2\leq k\leq d}$

关键性质（引理3.18，引用15）：Weyl和满足正交性估计 $\left\|\sup_{\substack{(\vec{A},Q)=1 \\ 2^{s-1}\leq Q<2^s}} \left|\int \sum_{B\leq Q} S(\vec{A}/Q,B/Q)\chi_s(\beta-B/Q)\hat{f}(\beta)e(\beta x)\right|\right\|_{\ell^2(\mathbb{Z})} \lesssim 2^{-cs}\|f\|_{\ell^2(\mathbb{Z})}$

主要估计（命题3.22）

$\|V_s^r f\|_{\ell^2(\mathbb{Z})} \lesssim_{\epsilon_0,\lambda} \left(\frac{r}{r-2}\right)2^s 2^{-cs}\|f\|_{\ell^2(\mathbb{Z})}$ 其中 $V_s^r f(x) := \sup_{\substack{(\vec{A},Q)=1 \\ 2^{s-1}\leq Q<2^s}} V^r\left(\int \sum_{B\leq Q} S(\vec{A}/Q,B/Q)\hat{\Psi}_J^s(\beta-B/Q)\chi_s(\beta-B/Q)\hat{f}(\beta)e(\beta x)d\beta: J\right)$

证明策略：

线性化：通过可测函数 $\vec{A}(x), Q(x)$ 线性化上确界
Taylor展开：对区间 $I$ （ $|I| = |I_s|$ ），在 $x_I \in I$ 处Taylor展开，误差 $O(2^{-10s}M_{HL}f(y_I))$
度量链接（metric chaining）：对集合 $X(x_I) := \{(\Psi_j * F_{B/Q}(x_I))_{B\leq Q, 2^{s-1}\leq Q<2^s}: j \geq 2^{s/A_0}\}$ 应用度量链接，引入跳跃计数函数 $\vec{N}_\lambda(x_I)$ 和尺度集合 $\Lambda_v(x_I)$
核心不等式：对每个尺度 $v$ （ $2^{-v} \leq \text{diam}(X(x_I))$ ）， $\left\|\left(\sum_{t\in\Lambda_v(x_I)} \left|\sum_{B\leq Q(x)} e(B/Q(x)x)S(\vec{A}(x)/Q(x),B/Q(x))\nu_t * F_{B/Q}(x)(x_I)\right|^r\right)^{1/r}\right\|_{\ell^2(I)}$ $\lesssim 2^{-cs}2^{-v}|I|^{1/2}\min\{2^s \vec{N}_{2^{-v}}(x_I)^{1/r}, \vec{N}_{2^{-v}}(x_I)^{1/2}\}$ 其中 $\nu_t := \Psi_t - \Psi_{\varrho(t)}$ ， $\varrho(t)$ 是 $t$ 的父节点
求和：对 $v$ 求和并应用标准变分估计

完整证明（命题3.19）

将尺度按多项式系数范数分类：

$\mathcal{J}_{\leq}(\vec{\mu})$ ： $\|P_{\vec{\mu}}(2^j\cdot)\| \leq 2^{-A_1s}$ （小振荡）
$\mathcal{J}_{\approx}(\vec{\mu})$ ： $2^{-A_1s} \leq \|P_{\vec{\mu}}(2^j\cdot)\| \leq 2^{A_1s}$ （中等振荡）
$\mathcal{J}_{\geq}(\vec{\mu})$ ： $\|P_{\vec{\mu}}(2^j\cdot)\| \geq 2^{A_1s}$ （大振荡）

关键观察： $|\mathcal{J}_{\approx}(\vec{\mu})| \lesssim_d s$ 且 $\sup_{\vec{\mu},l\geq -A_1s} |\mathcal{J}_l(\vec{\mu})| \lesssim_d 1$ 。

估计贡献：

小振荡： $e(P_{\vec{\mu}}(t)) - 1 \approx 0$ ，误差 $O(2^{-10s})$
中等振荡：应用引理3.21，贡献 $O(s2^{-cs})$
大振荡：Magyar-Stein-Wainger转移和 $TT^*$ 方法，每个尺度贡献 $O(2^{-cl})$ ，求和得 $O(2^{-s})$

综合： $\|V_{s,d}^r f\|_{\ell^2(\mathbb{Z})} \lesssim \left[\left(\frac{r}{r-2}\right)2^s2^{-cs} + s2^{-cs} + 2^{-s}\right]\|f\|_{\ell^2(\mathbb{Z})}$

技术创新点

跳跃计数与变分控制的统一框架：通过不等式 $\tau N_{\tau,H}^P f(\omega)^{1/r} \leq V_\mathcal{P}^r f(\omega)$ 将收敛性问题转化为变分范数估计
变分Carleson理论的转移：创造性地将Oberlin等人的变分Carleson定理通过Magyar-Stein-Wainger转移原理应用到离散情形
度量链接技术：在变分估计中引入度量链接，将变分控制归约到不同尺度的局部估计
尺度分解策略：根据多项式系数范数 $\|P_{\vec{\mu}}(2^j\cdot)\|$ 对尺度精细分类，针对不同振荡强度采用不同估计方法
Weyl和的深层应用：充分利用完全Weyl和的衰减性和正交性（引理3.18），这是处理数论障碍的关键

实验设置

本文为纯数学理论论文，不涉及数值实验。所有结果均为严格数学证明。

实验结果

主要定理

定理1.2（主要结果）：设 $(X,\mu,T)$ 为σ-有限测度保持系统， $f \in L^p(X)$ （ $1 \leq p < \infty$ ）。则存在余零集 $X_f \subset X$ 使得对所有 $\omega \in X_f$ ， $\lim_{N\to\infty} \frac{1}{N}\sum_{n\leq N} e^{2\pi iP(n)}f(T^n\omega)$ 对所有线性多项式 $P$ 或满足 $P(0) = P'(0) = 0$ 的有界度多项式 $P$ 收敛。

推论

注释3.16：通过插值，对 $r > \max\{p, p'\}$ ， $\|V_d^r f\|_{\ell^p(\mathbb{Z})} \lesssim_{\epsilon_0,\lambda,d,p} \left(\frac{r}{r-2}\right)^2 \|f\|_{\ell^p(\mathbb{Z})}$

技术估计

线性情况（命题2.10）： $\lesssim \epsilon_0^{-O(1)}\frac{r}{r-2}\frac{\lambda}{\lambda-1}$
振荡情况（命题3.15）： $\lesssim_{\epsilon_0,\lambda,d} \left(\frac{r}{r-2}\right)^2$
Weyl和衰减（引理3.18）： $\lesssim 2^{-cs}$ （ $c = c_d > 0$ ）

多项式类限制：未能处理一般多项式 $P(t) = \sum_{j=0}^d \lambda_j t^j$ 的情况
技术障碍：一般情况的"多项式调制不变性" $V_\mathcal{P}^r f \equiv V_\mathcal{P}^r f_P, \quad f_P(n) := e^{2\pi iP(n)}f(n), \quad \deg(P) \leq d$ 引入的复杂度类似于多重遍历平均 $\frac{1}{N}\sum_{n\leq N} T^n f_1 \cdots T^{n(d+1)}f_{d+1}$ 的逐点收敛问题，超出当前技术范围
常数依赖：估计中的常数依赖于 $\epsilon_0, \lambda, d$ ，未优化

未来方向

作者明确提出希望在未来工作中解决一般多项式情况，这需要：

发展处理高维多项式调制不变性的新技术
可能需要结合多重遍历理论的深层结构
进一步改进变分估计的精细度

范式转换：将经典遍历理论问题转化为纯调和分析问题，开辟新研究路径
技术综合：巧妙结合时频分析（Carleson理论）、变分理论、数论估计（Weyl和）、奇异积分理论
度量链接应用：在变分估计中创造性使用度量链接技术，精细控制不同尺度贡献

理论深度

统一框架：跳跃计数函数→变分控制→范数估计的统一处理框架清晰优雅
精细分解：尺度按振荡强度分类（ $\mathcal{J}_{\leq}, \mathcal{J}_{\approx}, \mathcal{J}_{\geq}$ ）体现深刻理解
最优依赖： $r$ -依赖 $\left(\frac{r}{r-2}\right)^2$ 接近最优（与13一致）