Weyl平均分布准则

介绍

设$a_1,a_2,\cdots,a_n,\cdots$为一组实数列，我们说$a_i$在$[a,b]$中是平均分布的，如果对任意$[c,d]\subset[a,b]$我们有：

$$\lim_{N\rightarrow\infty}\frac{1}{N}\sum_{i\le N}\delta_{[c,d]}(a_i)=\frac{d-c}{b-a}.$$ 这里 $\delta_{[c,d]}(x)$定义为:
$$\delta_{[c,d]}(x)= \begin{cases} 1,\qquad x\in [c,d]\\ 0,\qquad x\not\in [c,d]. \end{cases}$$

Weyl平均分布准则是说，如果：

$$\forall k>0,\qquad \lim_{N\rightarrow \infty}\frac{1}{N}\sum_{n=1}^Ne^{2\pi i ka_n}=0,$$ 那么 $a_i$在 $[0,1]$中是均匀分布的。

证明

为证明Weyl准则，我们先证如下引理：

引理1：若函数$f(x)$是闭区间$I=[-1/2,1/2]$上的连续函数且$\epsilon>0$，那么存在三角多项式$P(e^{2\pi t})=\sum_{k=-N}^Nc_ke^{2\pi ikt}$使得$\sup|f-P|\le \epsilon$。

证明：设$\hat{f}(k)=\int_{I}f(x)e^{-2\pi ikx}\mathrm{d}x$，我们令：

σNf(t)