卡尔松定理

命题陈述

对任意平方可积周期函数 $f \in L^2([-\pi, \pi])$，其傅里叶级数的对称部分和 $S_N f(x) = \sum_{n=-N}^{N} \hat{f}(n) e^{inx}$（其中 $\hat{f}(n) = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(t) e^{-int}\,dt$）在 $N \to \infty$ 时对勒贝格几乎处处的 $x \in [-\pi, \pi]$ 逐点收敛于 $f(x)$。（理查德·亨特于1968年将其推广到所有满足 $1 < p < \infty$ 的 $f \in L^p([-\pi, \pi])$。）

为什么成立?

帕塞瓦尔恒等式保证了傅里叶部分和 $S_N f$ 在平均 $L^2$ 能量意义下收敛于 $f$，因此尼古拉·卢津在1915年猜想 $S_N f(x)$ 在几乎处处的单个点 $x$ 上也应当收敛。然而安德烈·柯尔莫哥洛夫在1923–1926年间构造出一个傅里叶级数处处发散的可积函数 $f \in L^1([-\pi, \pi])$，震惊了分析学界，使许多人怀疑卢津猜想即便对 $L^2$ 也不成立。1966年，伦纳特·卡尔松证明了有限能量条件 $f \in L^2([-\pi, \pi])$ 足以驯服狄利克雷核的剧烈振荡：跨尺度的相消干涉阻止了部分和的发散，例外点集测度为零。

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。