[论文解读] Hybrid bounds on two-parametric family Weyl sums along smooth curves

Changhao Chen, Igor E. Shparlinski|arXiv (Cornell University)|Mar 5, 2020

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

一句话总结

本文在光滑曲线上建立了双参数Weyl指数和的混合型界，推广并改进了与色散PDE相关的指数和的先前结果。通过结合矩定理、补全技巧和测度论估计，证明了对几乎所有参数，Weyl和的上确界范数被控制在 $ N^{\rho + o(1)} $ 内，其中 $ \rho < 1 $，并将其推广至Hölder连续的水平集和次数 $ k \geq 2 $ 的多项式相位。

ABSTRACT

We obtain a new bound on Weyl sums with degree $k\ge 2$ polynomials of the form $(τx+c) ω(n)+xn$, $n=1, 2, \ldots$, with fixed $ω(T) \in \mathbb{Z}[T]$ and $τ\in \mathbb{R}$, which holds for almost all $c\in [0,1)$ and all $x\in [0,1)$. We improve and generalise some recent results of M.~B.~Erdogan and G.~Shakan (2019), whose work also shows links between this question and some classical partial differential equations. We extend this to more general settings of families of polynomials $xn+y ω(n)$ for all $(x,y)\in [0,1)^2$ with $f(x,y)=z$ for a set of $z \in [0,1)$ of full Lebesgue measure, provided that $f$ is some Hölder function.

研究动机与目标

• 改进并推广近期关于环面上直线上的多项式相位Weyl和的结果，特别是与色散偏微分方程相关的结果。
• 为形如 $ \sum_{n=1}^N \mathbf{e}((\tau x + c)\omega(n) + xn) $ 的和建立混合型界——在某一参数上一致，在另一参数上几乎处处成立，其中 $ \omega(n) \in \mathbb{Z}[n] $，且 $ \deg \omega = k \geq 2 $。
• 将这些界推广至更一般的设定，涉及Hölder连续函数 $ f(x,y) = z $，其中求和在 $ (x,y) \in f^{-1}(z) $ 上进行，对几乎所有 $ z \in [0,1) $ 成立。
• 利用测度论和组合技术，对Weyl和超过 $ N^\alpha $ 的参数的例外集合提供定量估计。
• 展示该方法在更广泛的几何设定中的适用性，如Hölder函数的水平集和固定半径的圆周，并推广至满足光滑性条件的非多项式相位。

提出的方法

• 应用补全技巧将不完備的指数和转化为完备和，从而可应用经典矩定理。
• 采用二分分解和利用二分矩形 $ \mathcal{R} $ 的覆盖论证，以定位Weyl和较大值的区域。
• 使用条件估计（引理3.1）来控制Weyl和超过 $ N^\alpha $ 的参数集合的测度，依赖于 $ L^2 $-范数和覆盖中矩形的数量。
• 应用引理2.8（一个测度论覆盖引理）来控制参数集合 $ \mathbf{u} $ 的Lebesgue测度，使得Weyl和较大。
• 引入一个与指数和衰减相关的参数 $ s $，并利用条件 $ 2s(1 - \alpha) - t + 2 - \alpha < 0 $ 推导出例外集合的最终界。
• 通过分析水平集 $ f^{-1}(z) $ 将方法推广至Hölder连续函数 $ f $，并利用几何测度估计推广至圆周水平集 $ \mathcal{C}(\mathbf{z}, r) $。

实验结果

研究问题

• RQ1 能否在多项式相位次数 $ k \geq 2 $ 的情况下，将光滑曲线上双参数Weyl和的混合型界进一步改进至超越当前最优水平？
• RQ2 Erdoğdu与Shakan（2019）关于沿直线 $ t = \tau x + c $ 的指数和结果，能在多大程度上推广至更一般的曲线族或水平集？
• RQ3 是否存在最优指数 $ \vartheta < 1 $，使得对几乎所有 $ c \in [0,1) $ 和所有 $ x \in [0,1) $，有 $ \sup_x |\sum_n \mathbf{e}((\tau x + c)\omega(n) + xn)| \leq N^{\vartheta + o(1)} $ 成立？
• RQ4 该方法如何推广至满足 $ \omega'(x) \ll x^{\kappa - 1 + o(1)} $ 的非多项式相位 $ \omega(n) $，并能获得何种界？
• RQ5 该框架能否推广至任意集合族 $ \mathcal{A}_\gamma \subset \mathbb{T}^2 $，如圆周或Hölder正则水平集，并对Weyl和的上确界范数给出一致界？

主要发现

• 对于任意整系数多项式 $ \omega(T) \in \mathbb{Z}[T] $，其次数 $ k \geq 2 $，Weyl和 $ \sum_{n=1}^N \mathbf{e}((\tau x + c)\omega(n) + xn) $ 对几乎所有 $ c \in [0,1) $ 和所有 $ x \in [0,1) $ 满足 $ N^{\rho + o(1)} $ 的界，其中 $ \rho < 1 $，优于先前结果。
• Weyl和超过 $ N^\alpha $ 的 $ c \in [0,1) $ 的例外集合的Lebesgue测度为 $ \ll N^{2s(1 - \alpha) - t + 2 - \alpha + o(1)} $，其中 $ s $ 和 $ t $ 是来自矩定理的参数。
• 对于Hölder连续函数 $ f(x,y) = z $，使得在 $ (x,y) \in f^{-1}(z) $ 上求和超过 $ N^\alpha $ 的 $ z \in [0,1) $ 的集合，其测度为 $ \ll N^{2s(1 - \alpha) - t + 2 - \alpha + o(1)} $，在适当条件下成立。
• 对于圆周水平集 $ \mathcal{C}(\mathbf{z}, r) $，使得在 $ \mathbf{u} \in \mathcal{C}(\mathbf{z}, r) $ 上求和超过 $ N^\alpha $ 的 $ \mathbf{z} \in \mathbb{T}^2 $ 的测度被控制为 $ \ll N^{k+1 - \alpha + 2s(1 - \alpha) - t + o(1)} $。
• 该方法对满足 $ \omega'(x) \ll x^{\kappa - 1 + o(1)} $ 的非多项式相位 $ \omega $ 也给出非平凡界，前提是 $ t > \kappa $，从而将适用范围扩展至多项式之外。
• 结果意味着通过关系式 $ \delta \leq 2 - (1 - \vartheta)/k $，对线性色散PDE（如Schrödinger方程和Airy方程）解的图像的Minkowski维数给出了改进的上界。