[论文解读] A weak type (1,1) inequality for maximal averages over certain sparse sequences

Michael Christ|arXiv (Cornell University)|Aug 29, 2011

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

一句话总结

本文通过基于间隙素数和多项式数字展开构造的结构化集合，显式构造了 $\mathbb{Z}$ 上的稀疏序列 $(n_\nu)$，满足 $n_\nu \asymp \nu^m$（$m \geq 2$ 为整数），并利用阿贝尔型准则证明了其相关极大算子为弱型 $(1,1)$，借助指数和估计与测度分解控制 $L^1$-范数衰减，从而解决了多项式序列在平方以外的端点情形下长期存在的问题。

ABSTRACT

Examples are constructed of sparse subsequences of the integers for which the associated maximal averages operator is of weak type (1,1). A consequence, by transference, is that an almost everywhere L^1 -- type ergodic theorem holds for corresponding subsequences of iterates of general measure-preserving transformations. These examples can be constructed so that n_k has growth rate k^m for any prescribed integer power m greater than or equal to 2. Urban and Zienkiewicz have established the same conclusion for other subsequences, which have growth rate k^m for noninteger exponents m sufficiently close to 1; the first novelty here is that the exponent can be arbitrarily large. In contrast, Buczolich and Mauldin have shown that the corresponding conclusion fails to hold if n_k is exactly k^2. The rather simple analysis relies on certain exponential sum bounds of Weil, together with a decomposition of Calderon-Zygmund type in which the exceptional set is defined in terms of the subsequence in question. The subsequences used are closely related to those employed by Rudin in a 1960 paper in which examples of Lambda(p) sets were constructed.

研究动机与目标

• 为解决关于序列 $n_\nu = \nu^m$（$m \geq 2$）的极大算子在 $\mathbb{Z}$ 上是否为弱型 $(1,1)$ 的开放问题。
• 显式构造满足 $n_\nu \asymp \nu^m$（$m \geq 2$ 为整数）的代数结构化稀疏序列，使其对应的极大算子为弱型 $(1,1)$。
• 将已知的弱型 $(1,1)$ 有界性范围扩展至稀疏序列的极大算子，超越此前 $m \in (1,2)$ 的已知情形。
• 提供一种基于间隙素数与多项式数字展开的构造方法，生成具有受控增长与谱衰减的此类序列。

提出的方法

• 定义集合 $\mathcal{S}_k$ 为多项式映射 $j \mapsto \sum_{r=1}^m p_k^{r-1} [j^r]_{p_k}$ 在 $\mathbb{Z}_{p_k}$ 上的像，确保 $|\mathcal{S}_k| = p_k$ 且 $\mathcal{S}_k \subset [a_k, a_k + p_k^m]$。
• 将完整序列 $\{n_\nu\}$ 构造为 $\mathcal{S} = \bigcup_k \mathcal{S}_k$ 的严格递增枚举，其中 $a_{k+1} > a_k + p_k^m$ 确保跨 $k$ 的严格有序性。
• 应用阿贝尔型准则（定理 1.2），将弱型 $(1,1)$ 有界性问题转化为估计 $\|\widehat{\mu_k} - \widehat{\nu_k}\|_{L^\infty} \leq C 2^{-k\gamma/2}$，其中 $\gamma = m$。
• 利用指数和估计——特别是 $|\sum_{j=0}^{p-1} e^{-2\pi i (j^r \cdot \xi)/p}| \leq C p^{-1/2}$（$r \geq 2$）——来控制傅里叶变换差的范数 $\|\widehat{\mu_k} - \widehat{\nu_k}\|_{L^\infty}$。
• 将与 $\mathcal{S}_k$ 关联的测度 $\mu_k$ 分解为 $\tilde{\mu}_k - \nu_k$，其中 $\tilde{\mu}_k$ 为下界测度，$\nu_k$ 为有界误差，且满足 $\|\nu_k\|_{\infty} \leq C p_k^{-m}$。
• 利用 $\nu_k$ 的非负性与紧支集控制，将 $\sup_k |f * \nu_k|$ 控制为常数倍的 Hardy-Littlewood 极大函数，从而确保误差项的弱型 $(1,1)$ 有界性。

实验结果

研究问题

• RQ1 对于满足 $n_\nu \asymp \nu^m$（$m \geq 2$）的稀疏序列，其关联的极大算子在 $\mathbb{Z}$ 上是否可能为弱型 $(1,1)$？
• RQ2 序列 $\{n_\nu\}$ 需满足何种结构条件，才能使其关联的极大算子满足弱型 $(1,1)$ 不等式？
• RQ3 如何利用有限域上的指数和估计来控制离散测度的傅里叶变换在 $L^\infty$ 范数下的行为？
• RQ4 是否可以显式构造出代数定义的序列，满足 $n_\nu \asymp \nu^m$（$m \geq 2$），并使其极大算子为弱型 $(1,1)$？

主要发现

• 所构造序列 $\{n_\nu\}$ 关联的极大算子在 $\ell^1(\mathbb{Z})$ 上对所有整数 $m \geq 2$ 均为弱型 $(1,1)$。
• 序列 $\{n_\nu\}$ 满足对所有整数 $m \geq 2$ 有 $n_\nu \asymp \nu^m$，且隐含常数在 $m$ 上一致。
• 该构造依赖于模素数 $p_k$ 的多项式数字展开定义的集合 $\mathcal{S}_k$，确保 $|\mathcal{S}_k| = p_k$ 且 $\mathcal{S}_k \subset [a_k, a_k + p_k^m]$。
• 关键技术突破在于利用指数和估计——特别是 $|\sum_{j=0}^{p-1} e^{-2\pi i (j^r \cdot \xi)/p}| \leq C p^{-1/2}$（$r \geq 2$）——来控制阿贝尔准则中傅里叶变换差的范数。
• 该方法可推广至有理指数 $r > 1$ 的情形，通过使用 $d$-维多项式映射的第二种构造，可生成满足 $n_\nu \asymp \nu^r$（$r = (d+1)/d$）的序列。
• 该结果确立了多项式序列的正向端点情形，与以往研究中关于 $n_\nu = \nu^2$ 和 $n_\nu = \nu^m$（$m \geq 2$）的已知负结果形成鲜明对比。