Weyl不等式

介绍

设$P(n)$是一个实数域上的多项式，我们称如下和式为Weyl和：

$$S=\sum_{n=1}^{N}e^{2\pi iP(n)}.$$
Weyl不等式的主要内容即是对如上求和给出一个估计，其可被广泛应用于丢翻图逼近等领域。

Weyl不等式

定理（Weyl不等式）：设$a$为整数$q$为自然数且满足$(a,q)=1$，对任意实数$\alpha$和自然数$N\ge 2$，如果$|\alpha-a/q|\le 1/q^2$，那么我们有如下结论：

$$\left|\sum_{n=1}^{N}e^{2\pi i\alpha n^2}\right|\le 10N\log N(1/q+1/N+q/N^2)^{1/2}.$$
为证明Weyl不等式，我们先给出如下引理：

引理1：设$\alpha$为实数，那么对任意自然数$N$我们有：

$$\left|\sum_{n=1}^{N}e^{2\pi i\alpha n}\right|\le \min\left\{N,\frac{1}{2||\alpha||}\right\},$$ 这里 $||\alpha||$表示 $\alpha$与最近整数的距离。

证明：如果$\alpha=0$那么上式左边和为