60、傅里叶级数逐点收敛性及相关性质探究

傅里叶级数逐点收敛性及相关性质探究

1. 引言

在傅里叶级数的研究中，一个自然且重要的问题是探讨 $s_n(f)$ 逐点或一致收敛到 $f$ 的情况。19 世纪的许多关于傅里叶级数的讨论都围绕着这个收敛问题展开，虽然该问题困难且微妙，但它的重要性被高估了。实际上，傅里叶级数“收敛”回原函数固然重要，但逐点收敛在应用中并非关键，甚至可能并不重要。我们知道有许多解释函数收敛的方法，如均值收敛、测度收敛、$L^p$ 收敛等，这些方法可能更适合解决相关问题。逐点收敛存在一个主要困难，即函数用逐点收敛级数表示时，不一定能对该级数进行进一步操作，如微分和积分。不过，出于历史原因和其内在的趣味性，我们仍将探讨傅里叶级数的逐点收敛情况。

2. 傅里叶级数收敛的形式要求

对于可积函数 $f$ 的傅里叶级数收敛，我们有如下形式要求。已知：
[s_n(f, x_0) - s = \frac{1}{\pi} \int_{0}^{\pi} (f(x_0 + t) + f(x_0 - t) - 2s) D_n(t) dt]
将积分拆分为 $\int_{0}^{\delta}$ 和 $\int_{\delta}^{\pi}$，由相关练习可知：
[\lim_{n \to \infty} \frac{1}{\pi} \int_{\delta}^{\pi} (f(x_0 + t) + f(x_0 - t) - 2s) D_n(t) dt = 0]
由此得到级数收敛的一个形式上但有趣的充要条件：
定理 15.13：设 $f \in L^1(T)$，则 $\lim_{n \to \infty} s_n(f, x_0) = s$