[论文解读] Problems and Results related to Waring's problem: Maximal functions and ergodic averages

Kevin Hughes|arXiv (Cornell University)|Oct 29, 2013

Analytic Number Theory Research参考文献 11被引用 5

一句话总结

本文通过利用Wooley的最新结果改进了对角超曲面上格点的傅里叶变换的渐近公式，推进了Waring问题。该研究扩大了算术极大函数与遍历平均在ℓ^p空间中的有界性范围，降低了维数约束，并对k ≥ 3时提出了全k-球极大函数最优有界范围的猜想。

ABSTRACT

We study the arithmetic analogue of maximal functions on diagonal hypersurfaces. This paper is a natural step following the papers of \cite{Magyar_dyadic}, \cite{Magyar_ergodic} and \cite{MSW}. We combine more precise knowledge of oscillatory integrals and exponential sums to generalize the asymptotic formula in Waring's problem to an approximation formula for the fourier transform of the solution set of lattice points on hypersurfaces arising in Waring's problem and apply this result to arithmetic maximal functions and ergodic averages. In sufficiently large dimensions, the approximation formula, $\ell^2$-maximal theorems and ergodic theorems were previously known. Our contribution is in reducing the dimensional constraint in the approximation formula using recent bounds of Wooley, and improving the range of $\ell^p$ spaces in the maximal and ergodic theorems. We also conjecture the expected range of spaces.

研究动机与目标

• 将Waring问题中的渐近公式推广至对角超曲面上格点的傅里叶变换的近似公式。
• 将此改进的近似公式应用于建立算术极大函数与遍历平均更强的ℓ^p有界性结果。
• 利用最新的指数和估计进展，降低近似公式与极大定理有效性的维数要求。
• 对k ≥ 3时全k-球极大函数的ℓ^p空间有界性的最优范围提出猜想。
• 在算术设定下拓展先前结果，特别是超越ℓ^2范围，并弥合已知有界性范围在极大算子与遍历算子之间的空白。

提出的方法

• 利用Wooley工作中的最新指数和尖锐界，改进将整数表示为k次幂之和的渐近公式中的误差项。
• 应用振荡积分估计与指数和技巧，控制ℤ^d中k-球上支撑的测度的傅里叶变换。
• 通过频率局部化与二进分解，将极大函数分解为低频与高频部分。
• 运用Calderón传递原理与Plancherel定理，将频域的L^2估计转移到时域。
• 利用谱定理与特征的正交性，通过动力系统的谱测度分析低频部分。
• 利用零均值与强遍历性条件，控制零频率附近的谱测度，确保低频极大算子的等连续性与衰减性。

实验结果

研究问题

• RQ1 当k ≥ 3时，全k-球极大函数在ℤ^d上在哪些ℓ^p空间中是有界的？
• RQ2 能否利用现代指数和估计降低Waring问题中渐近公式所需的维数阈值？
• RQ3 近似公式中改进的误差估计如何影响极大算子与遍历算子在ℓ^p中的有界性？
• RQ4 鉴于Littlewood–Paley理论的失效，在算术设定下，dyadic极大函数结果能在多大程度上推广至全极大函数？
• RQ5 极大算子的端点行为如何？在临界指数p = d/(d−k)处是否成立受限弱型估计？

主要发现

• 本文利用Wooley对奇异级数与奇异积分的最新界，将渐近公式成立所需的维数d ≥ 2k² + 2k − 3降低。
• 对k-球上格点集合的傅里叶变换近似公式的误差项得到改进，从而在极大函数分析中获得更精确的估计。
• dyadic极大函数A_R的ℓ^p有界性范围被扩展至ℓ^2之外，对k ≥ 3优于Magyar的原始ℓ^2结果。
• 当d ≥ 2k² + 2k − 3时，全极大函数A_*在ℓ^p(ℤ^d)上对p > d/(d−k)有界，其范围依赖于改进的误差控制。
• 在端点p = d/(d−k)处提出了受限弱型估计的猜想，与连续情形下Bourgain的结果类似。
• 通过谱理论与零频率附近谱测度的衰减，控制了极大函数的低频部分，该控制依赖于系统的零均值与强遍历性。