2026-09-10 · 平均为何能驯服振荡

0. 导读与元结构 (Orientation & Meta-structure)

起点是一次失败：Fourier 系数已经算出，部分和却未必按期待方式回到原函数。 对连续 $2\pi$-周期函数 $f$，令 $S_{n}f$ 为第 $n$ 个对称 Fourier 部分和。直接研究 $S_{n}f$ 会遇到 Dirichlet 核的正负振荡；连续性本身并不保证 $S_{n}f$ 一致收敛，甚至不能保证处处收敛。

Fejér 的转向很小，却改变了算子的几何性质：不再只看最后一个部分和，而取

$${\sigma }_{N}f=\frac{1}{N+1}\sum _{n=0}^N{S}_{n}f.$$

平均后的核变成非负、总质量为 $1$、并向原点集中的“概率密度”。于是问题从“怎样控制剧烈抵消”变成“怎样用一致连续性控制局部平移”。

对象与量词层。 给定任意连续 $2\pi$-周期函数 $f:\mathbb{R}\to \mathbb{C}$。要证明：对任意 $\epsilon >0$，存在 $N_0=N_0(f,\epsilon )\in \mathbb{N}$，使得对任意 $N\ge N_0$ 与任意 $x\in \mathbb{R}$，都有 $|{\sigma }_{N}f(x)-f(x)|<\epsilon$。

前置知识： Fourier 系数、有限几何级数、卷积、紧集上的一致连续性。主证明引擎： 算术平均产生平方公式；核的正性把绝对值移入积分而不付抵消代价；最后按 $|t|<\delta$ 与 $|t|\ge \delta$ 分拆积分。

这是 anchor-2026-w37-positive-summability-kernels 的第 1/3 日，也是对 2026-07-25“Fourier 变换解热方程”的有意深化：前一期在 $\mathbb{R}$ 上用 Gaussian 热核完成谱对角化；本期转到圆群，提炼“正核逼近恒等”的收敛机制。下一日将把 Cesàro 平均换成 Abel 阻尼，比较 Fejér 核与 Poisson 核。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从 Fourier 部分和到卷积核

记圆群为 $\mathbb{T}=\mathbb{R}/(2\pi \mathbb{Z})$。对 $f\in C(\mathbb{T})$，定义

$$\hat{f}(k)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f(t)e^{-ikt}dt,k\in \mathbb{Z},$$

以及对称部分和

$$S_{n}f(x)=\sum _{k=-n}^n\hat{f}(k)e^{ikx}.$$

因为和是有限的，可以交换求和与积分：

$$S_{n}f(x)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{D}_n(x-t)f(t)dt,$$

其中 Dirichlet 核 (Dirichlet kernel)

$$D_n(u)=\sum _{k=-n}^n{e}^{iku}=\frac{\sin ((n+\frac{1}{2})u)}{\sin (u/2)}$$

在 $u\in 2\pi \mathbb{Z}$ 处按连续延拓取值 $2n+1$。它的积分是 $2\pi$，但会变号，且 $\parallel D_n{\parallel }_{L^1(\mathbb{T})}$ 随 $n$ 增长。故“质量集中于零附近”若没有绝对质量控制，并不足以完成一致收敛证明。

1.2 平均产生 Fejér 核

定义 Cesàro 均值 (Cesàro mean)

$${\sigma }_{N}f=\frac{1}{N+1}\sum _{n=0}^N{S}_{n}f.$$

再次交换有限求和与积分，得到

$${\sigma }_{N}f(x)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{K}_N(t)f(x-t)dt,$$

其中 Fejér 核 (Fejér kernel)

$$K_N(t)=\frac{1}{N+1}\sum _{n=0}^N{D}_n(t).$$

对 $t\notin 2\pi \mathbb{Z}$，先用 $D_n(t)=\sum _{k=-n}^n{e}^{ikt}$ 重排频率，得

$$K_N(t)=\sum _{|k|\le N}(1-\frac{|k|}{N+1})e^{ikt}.$$

另一方面，对几何和取模平方：

$${\left|\sum _{j=0}^N{e}^{ijt}\right|}^2=\sum _{k=-N}^N(N+1-|k|)e^{ikt}.$$

两式比较便得到关键闭式

$$K_N(t)=\frac{1}{N+1}{\left(\frac{\sin ((N+1)t/2)}{\sin (t/2)}\right)}^2,$$

并在 $t=0$ 取连续值 $K_N(0)=N+1$。平方不是装饰：它立即给出 $K_N(t)\ge 0$。

1.3 三个性质：正性、单位质量、尾部集中

对每个 $N\in {\mathbb{N}}_0$：

1. 正性： 对任意 $t\in \mathbb{R}$，$K_N(t)\ge 0$。
2. 单位质量： 因频率展开的常数项为 $1$，
   $$\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{K}_N(t)dt=1.$$
3. 远离原点时消失： 对每个固定 $\delta \in (0,\pi ]$，若 $\delta \le |t|\le \pi$，则
   $$0\le K_N(t)\le \frac{1}{(N+1){\sin }^2(\delta /2)}.$$
   从而
   $$\frac{1}{2\pi }{\int }_{\delta \le |t|\le \pi }{K}_N(t)dt\le \frac{1}{(N+1){\sin }^2(\delta /2)}⟶0.$$

这三条正是正逼近恒等族 (positive approximate identity) 的核心公理：核的总质量保持为一，而任意固定邻域之外的质量趋于零。

1.4 Fejér 定理

定理（Fejér）。 若 $f:\mathbb{R}\to \mathbb{C}$ 连续且 $2\pi$-周期，则

$$\underset{N\to \mathrm{\infty }}{lim}\parallel {\sigma }_{N}f-f{\parallel }_{\mathrm{\infty }}=0.$$

这里上确界可取遍 $\mathbb{R}$，也等价于取遍 $[-\pi ,\pi ]$。

证明。 固定 $\epsilon >0$。周期性与紧区间上的连续性推出 $f$ 在 $\mathbb{R}$ 上一致连续，因此存在 $\delta =\delta (f,\epsilon )\in (0,\pi ]$，使

$$|t|<\delta ⟹\underset{x\in \mathbb{R}}{sup}|f(x-t)-f(x)|<\frac{\epsilon }{2}.$$

利用核质量为一，对任意 $x$，

$${\sigma }_{N}f(x)-f(x)=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{K}_N(t)(f(x-t)-f(x))dt.$$

把积分分成近场 $|t|<\delta$ 与远场 $\delta \le |t|\le \pi$。由于 $K_N\ge 0$，近场满足

$$\frac{1}{2\pi }{\int }_{|t|<\delta }{K}_N(t)|f(x-t)-f(x)|dt\le \frac{\epsilon }{2}\frac{1}{2\pi }{\int }_{-\pi }^{\pi }{K}_N(t)dt=\frac{\epsilon }{2}.$$

远场中 $|f(x-t)-f(x)|\le 2\parallel f{\parallel }_{\mathrm{\infty }}$，故

$$\begin{array}{rl}& \frac{1}{2\pi }{\int }_{\delta \le |t|\le \pi }{K}_N(t)|f(x-t)-f(x)|dt\\ & \le \frac{2\parallel f{\parallel }_{\mathrm{\infty }}}{(N+1){\sin }^2(\delta /2)}.\end{array}$$

选取

$$N_0=N_0(f,\epsilon ,\delta )$$

足够大，使右侧对所有 $N\ge N_0$ 小于 $\epsilon /2$。两个估计都与 $x$ 无关，因而 $\parallel {\sigma }_{N}f-f{\parallel }_{\mathrm{\infty }}<\epsilon$。证毕。

1.5 谱系与现代延伸

这一定理保留了 Fourier 展开的频率信息，却改变了截断权重：$S_N$ 使用矩形乘子 ${\mathbf{1}}_{|k|\le N}$，而 ${\sigma }_N$ 使用三角乘子

$${(1-\frac{|k|}{N+1})}_{+}.$$

空间侧的“核非负”与频率侧的“线性衰减”是同一平均操作的两面。Fejér 方法并没有证明原 Fourier 部分和一致收敛；它证明的是一种更稳定的求和法能够恢复函数。

研究生/现代延伸。 若 $1\le p<\mathrm{\infty }$ 且 $f\in L^p(\mathbb{T})$，同一逼近恒等机制结合平移在 $L^p$ 中的连续性，给出 $\parallel {\sigma }_{N}f-f{\parallel }_p\to 0$。在 Lebesgue 点还能得到点态恢复。抽象地看，$f\mapsto {\sigma }_{N}f$ 是有限秩正算子；“正性 + 保常数 + 局部集中”把 Fourier 问题接到一般的正线性逼近、Poisson 半群与调和分析核估计。

2. 固定模板习题 (Template Exercise)

题目

设 $f\in C_0(\mathbb{R})$，即 $f:\mathbb{R}\to \mathbb{C}$ 连续且 $|x|\to \mathrm{\infty }$ 时 $f(x)\to 0$。对 $n\ge 1$ 定义

$${\varphi }_n(t)=\frac{n}{2}{e}^{-n|t|},T_{n}f(x)={\int }_{\mathbb{R}}{\varphi }_n(t)f(x-t)dt.$$

证明

$$\underset{n\to \mathrm{\infty }}{lim}\parallel T_{n}f-f{\parallel }_{\mathrm{\infty }}=0.$$

模板识别

看到一族非负核具有“总质量为一、尺度越来越窄”的结构，应识别为逼近恒等族的近场—远场分拆模板：先把 $f(x)$ 写成核积分，再用一致连续性控制小平移，用尾质量控制大平移。量词顺序必须是先给 $\epsilon$，再选空间尺度 $\delta$，最后选核尺度 $n_0$。

分级提示

1. 先直接计算 ${\int }_{\mathbb{R}}{\varphi }_n(t)dt$ 与 ${\int }_{|t|\ge \delta }{\varphi }_n(t)dt$。
2. 证明 $C_0(\mathbb{R})$ 中每个函数都在整条实线上一致连续；不要只引用每个紧区间上的一致连续性而漏掉尾部。
3. 写出
   $$T_{n}f(x)-f(x)={\int }_{\mathbb{R}}{\varphi }_n(t)(f(x-t)-f(x))dt.$$
4. 在 $|t|<\delta$ 与 $|t|\ge \delta$ 上分别使用 $\epsilon /2$ 和 $2\parallel f{\parallel }_{\mathrm{\infty }}$；最后选择 $n_0=n_0(f,\epsilon ,\delta )$。

3. 大家之言 (Mathematician in Their Own Words)

人物与语境。 Hermann Weyl 的 Space—Time—Matter 来自他 1917 年在苏黎世联邦理工学院所作讲授；这里使用 Henry L. Brose 的英译本，初版英译于 1922 年出版。Weyl 在全书导言中解释：基础概念的重建并非先验玄思的产物，而是具体问题把旧框架逼到边界之后才发生。

“The ideas to be worked out in this book are not the result of some speculative inquiry into the foundations of physical knowledge, but have been developed in the ordinary course of the handling of concrete physical problems.”

“本书将展开的观念，并非出自对物理知识基础的某种思辨探究，而是在处理具体物理问题的通常进程中发展出来的。”

这段话并不是反对抽象。Weyl 紧接着说，基本原则的修订是在新观念迫使它发生之后才进行。今天的 Fejér 核正有这种发生顺序：并非先宣布“逼近恒等族”这个抽象定义，再寻找例子；而是 Fourier 部分和的振荡迫使我们平均，平均偶然又必然地产生正核，最后才把正性、单位质量、尾部集中蒸馏为可迁移的公理。好的抽象不是远离具体，而是保留多个具体证明中真正承担工作的结构。

4. 反例与边界 (Counterexample & Boundary)

一个最接近 Fejér 定理、也最容易误推的命题是：

若一列数的 Cesàro 平均收敛，则原数列也收敛。

取

$$a_n=(-1{)}^n,n\in {\mathbb{N}}_0.$$

逐项核对：

1. 原数列有界，且偶数子列 $a_{2m}=1$、奇数子列 $a_{2m+1}=-1$；两个子列极限不同，所以 $(a_n)$ 不收敛。
2. 它的 Cesàro 平均为
   $$A_N=\frac{1}{N+1}\sum _{n=0}^N(-1{)}^n.$$
3. 若 $N$ 为奇数，则 $A_N=0$；若 $N$ 为偶数，则 $A_N=1/(N+1)$。因此 $A_N\to 0$。

暴露的边界。 “通常收敛 $\Rightarrow$ Cesàro 收敛且极限相同”成立；逆向不成立，因为平均会消去持续振荡。对应到 Fourier 分析，${\sigma }_{N}f\to f$ 不能推出 $S_{N}f\to f$。Fejér 定理的价值恰在于采用了更宽容而稳定的恢复规则，而不是暗中解决了所有部分和问题。

更深一层，Dirichlet 核虽也有归一化积分并在固定的非零位置衰减，却不非负，且其 $L^1$ 范数具有对数增长；因此 Fejér 证明中把近场绝对值代价压到“核总质量 $1$”的那一步不能照搬。若要从某种平均收敛反推原序列收敛，必须加入额外的 Tauber 型条件来限制振荡，而不能只凭平均值。

5. 今日一问与数学地图 (Question & Map)

今日一问。 定义连续模

$${\omega }_f(h)=\underset{|x-y|\le h}{sup}|f(x)-f(y)|.$$

对连续 $2\pi$-周期函数 $f$，近场—远场证明给出的粗界依赖一个可选尺度 $\delta$。能否只从 Fejér 核的闭式出发，把

$$\parallel {\sigma }_{N}f-f{\parallel }_{\mathrm{\infty }}$$

显式估计为 ${\omega }_f$ 与 $N$ 的函数？若进一步有 ${\omega }_f(h)\le C{h}^{\alpha }$，怎样利用核的一阶绝对矩，而不是仅用远场上确界，得到比粗略 $\delta$ 优化更锋利的速率？

方向提示（不封口）。 从

$$\parallel {\sigma }_{N}f-f{\parallel }_{\mathrm{\infty }}\le \frac{1}{2\pi }{\int }_{-\pi }^{\pi }{K}_N(t){\omega }_f(|t|)dt$$

开始；把积分按 $|t|\asymp 2^j/(N+1)$ 作二进分层，观察 $K_N(t)\lesssim min\{N+1,((N+1)t^2{)}^{-1}\}$。

数学地图：

$$\text{Fourier 系数与卷积}⟶\text{Dirichlet 核的振荡障碍}⟶\text{Cesàro 平均与 Fejér 正核}$$

$$⟶\{\begin{array}{l}\text{Poisson 核与 Abel 求和：调和延拓},\\ \text{连续模与 Jackson 定理：定量逼近},\\ \text{Banach--Steinhaus：部分和发散的算子边界},\\ \text{Carleson 定理：}{L}^2\text{ Fourier 部分和的几乎处处收敛}.\end{array}$$

附录 A：习题完整解答 (Full Solution)

展开完整解答

模板名：逼近恒等族的近场—远场 $\epsilon$ 分拆。

先核对核。对每个 $n\ge 1$，${\varphi }_n\ge 0$，且

$${\int }_{\mathbb{R}}{\varphi }_n(t)dt=n{\int }_0^{\mathrm{\infty }}{e}^{-nt}dt=1.$$

对任意 $\delta >0$，

$${\int }_{|t|\ge \delta }{\varphi }_n(t)dt=n{\int }_{\delta }^{\mathrm{\infty }}{e}^{-nt}dt=e^{-n\delta }.$$

其次证明 $f$ 一致连续。固定 $\eta >0$。由 $f(x)\to 0$，存在 $R>0$，使 $|x|\ge R$ 时 $|f(x)|<\eta /2$。在紧区间 $[-R-1,R+1]$ 上，$f$ 一致连续，故存在 $\delta \in (0,1)$，使得 $x,y\in [-R-1,R+1]$ 且 $|x-y|<\delta$ 时，$|f(x)-f(y)|<\eta$。

若 $|x-y|<\delta$ 而至少一点不在 $[-R-1,R+1]$，则两点必同时满足绝对值大于 $R$，于是

$$|f(x)-f(y)|\le |f(x)|+|f(y)|<\eta .$$

所以 $f$ 在 $\mathbb{R}$ 上一致连续。

现在固定 $\epsilon >0$。由一致连续性，选取 $\delta =\delta (f,\epsilon )>0$，使

$$|t|<\delta ⟹\underset{x\in \mathbb{R}}{sup}|f(x-t)-f(x)|<\frac{\epsilon }{2}.$$

因为核质量为一，

$$T_{n}f(x)-f(x)={\int }_{\mathbb{R}}{\varphi }_n(t)(f(x-t)-f(x))dt.$$

利用 ${\varphi }_n\ge 0$ 并分拆积分，得到

$$\begin{array}{rl}|T_{n}f(x)-f(x)|& \le {\int }_{|t|<\delta }{\varphi }_n(t)|f(x-t)-f(x)|dt\\ & +{\int }_{|t|\ge \delta }{\varphi }_n(t)|f(x-t)-f(x)|dt\\ & \le \frac{\epsilon }{2}{\int }_{\mathbb{R}}{\varphi }_n(t)dt+2\parallel f{\parallel }_{\mathrm{\infty }}{\int }_{|t|\ge \delta }{\varphi }_n(t)dt\\ & \le \frac{\epsilon }{2}+2\parallel f{\parallel }_{\mathrm{\infty }}{e}^{-n\delta }.\end{array}$$

若 $f=0$，结论显然。否则选取 $n_0=n_0(f,\epsilon ,\delta )$，使得对所有 $n\ge n_0$，

$$2\parallel f{\parallel }_{\mathrm{\infty }}{e}^{-n\delta }<\frac{\epsilon }{2}.$$

于是对所有 $n\ge n_0$ 与所有 $x\in \mathbb{R}$，都有 $|T_{n}f(x)-f(x)|<\epsilon$，即

$$\parallel T_{n}f-f{\parallel }_{\mathrm{\infty }}⟶0.$$

证明中可复用的量词次序是：$\epsilon \to \delta (f,\epsilon )\to n_0(f,\epsilon ,\delta )$；先固定局部振幅尺度，再让核把尾质量压小。

资料与来源 (Sources)

1. Casey Rodriguez, “Lecture 16: Fejer’s Theorem and Convergence of Fourier Series,” MIT 18.102 Introduction to Functional Analysis, Spring 2021, MIT OpenCourseWare。课程页与逐字稿给出 Fejér 核公式、正性、单位积分、离零衰减以及连续周期函数上一致收敛的近场—远场证明。https://ocw.mit.edu/courses/18-102-introduction-to-functional-analysis-spring-2021/resources/18102-sp21-lecture-16/
   • 官方英文逐字稿：https://ocw.mit.edu/courses/18-102-introduction-to-functional-analysis-spring-2021/1WLUcGY6_kxyR6eTmnGkcS2nR9ATRXFkE_transcript.pdf
2. Jing Miao, “Convergence of Fourier Series in $L^p$ Space,” University of Chicago REU paper, 2014。§3 以 $\mathbb{T}=\mathbb{R}/\mathbb{Z}$ 的另一归一化陈述 Fejér 核、逼近恒等族及 $C(\mathbb{T})$、$L^p(\mathbb{T})$ 收敛；与本期公式比较时需换算周期与 $2\pi$ 常数。https://math.uchicago.edu/~may/REU2014/REUPapers/Miao.pdf
3. Hermann Weyl, Space—Time—Matter, translated by Henry L. Brose, Methuen & Co., 1922，作者第一版序与 Introduction。第 3 节引文核对自 Project Gutenberg 的公开英译文本；馆藏元数据列明作者、译者与版本信息。https://www.gutenberg.org/ebooks/43006
   • 可检索 TeX 全文：https://www.gutenberg.org/files/43006/43006-t/43006-t.tex