Fourier 部分和怎样写成 Dirichlet 核卷积？¶

先备知识¶

掌握有限三角和、Fourier 系数与积分线性。

学习目标¶

把全部有限系数重新组织成一个核积分，为逐点收敛证明建立入口。

牵引问题¶

如何同时控制前 \(N\) 个频率，而不是逐项估计每个系数？

探索与猜想¶

有限频率和可以合并成集中在原点附近、但带正负振荡的核。

概念与理论¶

定义 Dirichlet 核

\[ D_N(t)=\frac12+\sum_{n=1}^{N}\cos(nt) =\frac{\sin((N+\frac12)t)}{2\sin(t/2)} \]

（\(t\notin2\pi\mathbb Z\)，奇点按连续延拓定义）。代入系数并交换有限和与积分，

\[ S_Nf(x)=\frac1\pi\int_{-\pi}^{\pi}f(x-t)D_N(t)\,dt. \]

归一化为 \(\pi^{-1}\int_{-\pi}^{\pi}D_N(t)\,dt=1\)。

障碍¶

\(D_N\) 不恒非负，且其绝对积分不一致有界，不能当作普通概率密度。

证明路线¶

先用有限等比和推导闭式，再把系数积分按频率有限求和。

逐步证明¶

\(\sum_{n=-N}^{N}e^{int}=\sin((N+1/2)t)/\sin(t/2)\)；取一半实形式得到上式。卷积表达中的 \(x-t\) 来自三角加法公式和周期换元。

假设用在何处¶

只交换有限和与积分，无需任何无穷交换定理；周期性保证平移合法。

失败边界¶

核的归一化不等于正性，也不能单独推出逐点收敛。

例题与迁移¶

例 1：常数函数¶

卷积与归一化立即给 \(S_N1=1\)。

例 2：单一频率¶

若 \(f=\cos mx\) 且 \(N\ge m\)，卷积精确返回 \(f\)。

即时检验与回望¶

即时检验 1¶

交换和与积分为何安全？

答案

和只有有限项。

即时检验 2¶

Dirichlet 核是否非负？

答案

否，它会振荡变号。

常见误区与后续¶

闭式在 \(t=0\) 看似 \(0/0\)，须按极限连续延拓。
卷积中的归一化因子取决于系数约定。

习题与答案¶

习题 1¶

计算 \(D_0\)。

答案

\(1/2\)。

习题 2¶

计算 \(D_N(0)\)。

答案

\(N+1/2\)。

习题 3¶

写出指数形式的有限和。

答案

\(\sum_{n=-N}^{N}e^{int}\)。

习题 4¶

核的积分是多少？

答案

\(\pi\)。

习题 5¶

为什么称为卷积？

答案

被积函数是 \(f(x-t)D_N(t)\) 的周期积分。

习题 6¶

闭式分母在哪里为零？

答案

\(t\in2\pi\mathbb Z\)。

习题 7¶

这些点是否真奇点？

答案

不是，可去奇点，由有限和定义连续延拓。

习题 8¶

归一化为何保持常数？

答案

常数可移出积分，剩余归一化积分为 1。

习题 9¶

能否对 \(|D_N|\) 使用同一归一化？

答案

不能，绝对值破坏抵消。

习题 10¶

本单元仍未证明什么？

答案

未证明一般函数的部分和逐点收敛。