Fourier分析

傅里叶级数理论系统讲解

——基于数学分析经典体系的严谨推演与应用

开篇引言

傅里叶级数是分析学的核心工具之一，其本质是将周期函数分解为正交三角函数系的线性叠加，是连接时域与频域的桥梁，广泛应用于调和分析、微分方程、信号处理、量子力学等领域。本讲将严格遵循数学分析的公理化体系，从正交性出发，完整构建傅里叶级数的定义、收敛性理论、系数衰减规律，并配套梯度化例题与系统总结。

---

1. 预备知识：三角函数系的正交性

定义1.1 三角函数系

称函数集合

\[\{1, \cos x, \sin x, \cos 2x, \sin 2x, \dots, \cos nx, \sin nx, \dots\} \]

为周期为\(2\pi\)的三角函数系。

定理1.1 三角函数系的正交性

上述三角函数系在区间\([-\pi, \pi]\)上是黎曼积分意义下的正交函数系，即满足：

1. 任意两个不同函数的内积为0：
   \[\begin{align*} \int_{-\pi}^{\pi} \cos nx \cos mx dx &= 0, \quad n \neq m, \ n,m=0,1,2,\dots \\ \int_{-\pi}^{\pi} \sin nx \sin mx dx &= 0, \quad n \neq m, \ n,m=1,2,\dots \\ \int_{-\pi}^{\pi} \cos nx \sin mx dx &= 0, \quad \forall n,m=0,1,2,\dots \end{align*} \]

2. 任意函数自身的内积非零：
   \[\int_{-\pi}^{\pi} 1^2 dx = 2\pi, \quad \int_{-\pi}^{\pi} \cos^2 nx dx = \int_{-\pi}^{\pi} \sin^2 nx dx = \pi, \ n\geq1 \]

证明（核心步骤）：利用积化和差公式将乘积转化为和差，再利用三角函数在周期区间上的积分性质。例如对\(n\neq m\)：

\[\cos nx \cos mx = \frac{1}{2}[\cos(n+m)x + \cos(n-m)x] \]

在\([-\pi,\pi]\)上积分，余弦函数在整数倍周期上的积分为0，故结果为0。其余情形同理可证。

---

2. 傅里叶系数与傅里叶级数的严格定义

定义2.1 可积与绝对可积

设\(f(x)\)是以\(2\pi\)为周期的函数，若\(f(x)\)在\([-\pi,\pi]\)上满足：

1. 黎曼可积：\(f(x)\)在\([-\pi,\pi]\)上有界，且达布上下和的极限相等；
2. 绝对可积：若\(f(x)\)为反常积分，满足\(\int_{-\pi}^{\pi} |f(x)| dx < +\infty\)。

则称\(f(x)\)在\([-\pi,\pi]\)上可积或绝对可积，这是傅里叶系数存在的前提条件。

定义2.2 欧拉-傅里叶系数

设\(f(x)\)是以\(2\pi\)为周期，在\([-\pi,\pi]\)上可积或绝对可积的函数，称

\[\begin{align*} a_0 &= \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) dx \\ a_n &= \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos nx dx, \quad n=1,2,3,\dots \\ b_n &= \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin nx dx, \quad n=1,2,3,\dots \end{align*} \]

为\(f(x)\)的傅里叶系数（欧拉-傅里叶公式）。

注：\(a_0\)的系数取\(\frac{1}{\pi}\)，是为了与\(a_n(n\geq1)\)的公式统一，后续级数中以\(\frac{a_0}{2}\)形式出现，避免单独定义常数项的内积系数。

定义2.3 傅里叶级数

由\(f(x)\)的傅里叶系数构成的三角级数

\[\frac{a_0}{2} + \sum_{n=1}^{\infty} (a_n \cos nx + b_n \sin nx) \]

称为\(f(x)\)的傅里叶级数，记作

\[f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty} (a_n \cos nx + b_n \sin nx) \]

⚠️ 核心警示：此处使用符号\(\sim\)而非\(=\)，原因是：

1. 我们尚未证明该级数是否收敛；
2. 即使级数收敛，也尚未证明其收敛到\(f(x)\)本身。
   这是傅里叶级数理论的核心问题，也是初学者最易犯的概念错误。

---

3. 黎曼-勒贝格引理与傅里叶系数的极限性质

黎曼-勒贝格引理是傅里叶级数收敛性分析的基石，刻画了高频振荡积分的极限行为。

定理3.1 黎曼-勒贝格引理

若函数\(f(x)\)在\([a,b]\)上可积或绝对可积，则

\[\lim_{\lambda \to +\infty} \int_{a}^{b} f(x) \cos \lambda x dx = 0, \quad \lim_{\lambda \to +\infty} \int_{a}^{b} f(x) \sin \lambda x dx = 0 \]

完整证明：

情形1：\(f(x)\)在\([a,b]\)上黎曼可积

由黎曼可积的充要条件，对任意\(\varepsilon>0\)，存在\([a,b]\)的划分\(a=x_0<x_1<\dots<x_n=b\)，使得

\[\sum_{i=1}^n \omega_i \Delta x_i < \frac{\varepsilon}{2}, \quad \omega_i = \sup_{x\in[x_{i-1},x_i]} f(x) - \inf_{x\in[x_{i-1},x_i]} f(x) \]

令\(m_i = \inf_{x\in[x_{i-1},x_i]} f(x)\)，构造阶梯函数\(\varphi(x)=m_i, x\in[x_{i-1},x_i)\)，则

\[\left| \int_{a}^{b} f(x)\cos\lambda x dx \right| \leq \left| \int_{a}^{b} [f(x)-\varphi(x)]\cos\lambda x dx \right| + \left| \int_{a}^{b} \varphi(x)\cos\lambda x dx \right| \]

• 第一项估计：\(|\cos\lambda x|\leq1\)，故
  \[\left| \int_{a}^{b} [f(x)-\varphi(x)]\cos\lambda x dx \right| \leq \sum_{i=1}^n \omega_i \Delta x_i < \frac{\varepsilon}{2} \]

• 第二项估计：对阶梯函数积分
  \[\left| \int_{a}^{b} \varphi(x)\cos\lambda x dx \right| = \left| \sum_{i=1}^n m_i \int_{x_{i-1}}^{x_i} \cos\lambda x dx \right| = \left| \sum_{i=1}^n m_i \frac{\sin\lambda x_i - \sin\lambda x_{i-1}}{\lambda} \right| \leq \frac{2\sum_{i=1}^n |m_i|}{\lambda} \]
  取\(\lambda > \frac{4\sum_{i=1}^n |m_i|}{\varepsilon}\)，则第二项小于\(\frac{\varepsilon}{2}\)。

综上，当\(\lambda\)足够大时，积分绝对值小于\(\varepsilon\)，即极限为0。

情形2：\(f(x)\)在\([a,b]\)上绝对可积（反常积分）

不妨设\(b\)为唯一瑕点，由绝对可积性，对任意\(\varepsilon>0\)，存在\(\delta>0\)，使得

\[\int_{b-\delta}^{b} |f(x)| dx < \frac{\varepsilon}{2} \]

将积分拆分为\(\int_{a}^{b-\delta} + \int_{b-\delta}^{b}\)：

• 第二项：\(\left| \int_{b-\delta}^{b} f(x)\cos\lambda x dx \right| \leq \int_{b-\delta}^{b} |f(x)| dx < \frac{\varepsilon}{2}\)；
• 第一项：\(f(x)\)在\([a,b-\delta]\)上正常可积，由情形1，存在\(\Lambda>0\)，当\(\lambda>\Lambda\)时，第一项绝对值小于\(\frac{\varepsilon}{2}\)。

综上，极限为0，正弦积分的情形同理可证。

推论3.1 傅里叶系数的极限性质

若\(f(x)\)在\([-\pi,\pi]\)上可积或绝对可积，则其傅里叶系数满足

\[\lim_{n\to\infty} a_n = 0, \quad \lim_{n\to\infty} b_n = 0 \]

注：该性质是三角级数成为傅里叶级数的必要非充分条件，详见后续反例警示。

---

4. 傅里叶级数的部分和与狄利克雷积分

傅里叶级数的收敛性等价于其部分和的极限行为，我们通过正交性将部分和转化为积分形式，即狄利克雷积分。

定义4.1 傅里叶级数的部分和

对\(f(x)\)的傅里叶级数，其前\(N+1\)项的和称为第\(N\)个部分和，记作

\[S_N(f;x) = \frac{a_0}{2} + \sum_{n=1}^N (a_n \cos nx + b_n \sin nx) \]

定义4.2 狄利克雷核

称函数

\[D_N(u) = \frac{1}{2} + \sum_{n=1}^N \cos nu \]

为\(N\)阶狄利克雷核，其闭形式为：

\[D_N(u) = \begin{cases} \frac{\sin\left( \left(N+\frac{1}{2}\right)u \right)}{2\sin\frac{u}{2}}, & u \neq 2k\pi, \ k\in\mathbb{Z} \\ N + \frac{1}{2}, & u = 2k\pi \end{cases} \]

闭形式推导：利用积化和差公式构造望远镜求和

\[2\sin\frac{u}{2} \cos nu = \sin\left(n+\frac{1}{2}\right)u - \sin\left(n-\frac{1}{2}\right)u \]

对\(n=1\)到\(N\)求和，中间项全部抵消，得

\[2\sin\frac{u}{2} \cdot \left( D_N(u) - \frac{1}{2} \right) = \sin\left(N+\frac{1}{2}\right)u - \sin\frac{u}{2} \]

整理即得闭形式，\(u=0\)处的取值由极限\(\lim_{u\to0} D_N(u) = N+\frac{1}{2}\)得到。

定理4.1 部分和的狄利克雷积分表示

设\(f(x)\)是以\(2\pi\)为周期、可积或绝对可积的函数，则其部分和可表示为

\[S_N(f;x) = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x+u) D_N(u) du \]

利用\(D_N(u)\)的偶性，可进一步改写为对称形式

\[S_N(f;x) = \frac{1}{\pi} \int_{0}^{\pi} \left[ f(x+u) + f(x-u) \right] D_N(u) du \]

证明：将傅里叶系数代入部分和表达式，由积分的线性性质（有限和可交换积分与求和顺序），结合余弦差角公式\(\cos nt \cos nx + \sin nt \sin nx = \cos n(t-x)\)，得

\[S_N(f;x) = \frac{1}{\pi} \int_{-\pi}^{\pi} f(t) \left[ \frac{1}{2} + \sum_{n=1}^N \cos n(t-x) \right] dt = \frac{1}{\pi} \int_{-\pi}^{\pi} f(t) D_N(t-x) dt \]

令\(u = t-x\)，由\(f\)和\(D_N\)的\(2\pi\)周期性，积分区间可平移至\([-\pi,\pi]\)，即得结论。

推论4.1 收敛性的等价条件

结合狄利克雷核的规范性\(\frac{1}{\pi}\int_{0}^{\pi} D_N(u) du = \frac{1}{2}\)，可得

\[S_N(f;x) - A = \frac{1}{\pi} \int_{0}^{\pi} \left[ f(x+u) + f(x-u) - 2A \right] D_N(u) du \]

因此，傅里叶级数在\(x\)处收敛到\(A\)的充要条件是

\[\lim_{N\to\infty} \int_{0}^{\pi} \left[ f(x+u) + f(x-u) - 2A \right] \frac{\sin\left( \left(N+\frac{1}{2}\right)u \right)}{2\sin\frac{u}{2}} du = 0 \]

---

5. 局部化原理与点态收敛定理

定理5.1 黎曼局部化原理

设\(f(x)\)是以\(2\pi\)为周期、可积或绝对可积的函数，则\(f(x)\)的傅里叶级数在点\(x\)处收敛到常数\(A\)的充要条件是：存在\(\delta\in(0,\pi)\)，使得

\[\lim_{N\to\infty} \int_{0}^{\delta} \left[ f(x+u) + f(x-u) - 2A \right] \frac{\sin\left( \left(N+\frac{1}{2}\right)u \right)}{2\sin\frac{u}{2}} du = 0 \]

证明：将积分拆分为\([0,\delta]\)和\([\delta,\pi]\)两部分。对\([\delta,\pi]\)上的积分，\(\sin\frac{u}{2} \geq \sin\frac{\delta}{2} > 0\)，故\(\frac{f(x+u)+f(x-u)-2A}{2\sin\frac{u}{2}}\)在\([\delta,\pi]\)上可积或绝对可积，由黎曼-勒贝格引理，当\(N\to\infty\)时该积分趋于0。因此，部分和的极限完全由\([0,\delta]\)上的积分决定。

⚠️ 核心结论：傅里叶级数在点\(x\)处的收敛性，仅由\(f(x)\)在\(x\)的任意小邻域内的取值决定，与邻域外的函数值无关。这是傅里叶级数与幂级数的本质区别——幂级数的收敛性由函数在整个收敛区间上的解析性决定，而傅里叶级数的收敛性是局部性质。

定理5.2 狄利克雷-利普希茨收敛判别法

设\(f(x)\)是以\(2\pi\)为周期、可积或绝对可积的函数，若\(f\)在点\(x\)处满足指数为\(\alpha\in(0,1]\)的利普希茨条件，即存在常数\(L>0\)和\(\delta>0\)，使得对所有\(|u|<\delta\)，有

\[|f(x+u) - f(x)| \leq L |u|^\alpha \]

则\(f(x)\)的傅里叶级数在\(x\)处收敛到\(f(x)\)。

特别地：若\(f\)在\(x\)处可微，则满足\(\alpha=1\)的利普希茨条件，傅里叶级数必收敛到\(f(x)\)。

证明（核心ε/2技巧）：
对任意\(\varepsilon>0\)，将积分拆分为\([0,\eta]\)和\([\eta,\delta]\)（\(\eta\)足够小）：

1. 小邻域估计：利用利普希茨条件，\(|f(x+u)+f(x-u)-2f(x)| \leq 2L u^\alpha\)，结合不等式\(\sin\frac{u}{2} \geq \frac{u}{\pi} \ (u\in[0,\pi])\)，得
   \[\left| \int_{0}^{\eta} \frac{f(x+u)+f(x-u)-2f(x)}{2\sin\frac{u}{2}} \sin\left(N+\frac{1}{2}\right)u du \right| \leq L\pi \int_{0}^{\eta} u^{\alpha-1} du = \frac{L\pi \eta^\alpha}{\alpha} \]
   取\(\eta\)足够小，使得该式小于\(\frac{\varepsilon}{2}\)。
2. 远离奇点的估计：在\([\eta,\delta]\)上，被积函数可积或绝对可积，由黎曼-勒贝格引理，存在\(N_0>0\)，当\(N>N_0\)时，积分绝对值小于\(\frac{\varepsilon}{2}\)。

综上，当\(N>N_0\)时，积分绝对值小于\(\varepsilon\)，由局部化原理，级数收敛到\(f(x)\)。

定理5.3 若尔当判别法（更一般的收敛定理）

设\(f(x)\)是以\(2\pi\)为周期、可积或绝对可积的函数，若\(f\)在点\(x\)的某个邻域内是有界变差函数，则\(f(x)\)的傅里叶级数在\(x\)处收敛到

\[\frac{f(x+0) + f(x-0)}{2} \]

其中\(f(x+0),f(x-0)\)分别为\(f\)在\(x\)处的右、左极限。

推论5.1 分段光滑函数的收敛定理
若\(f(x)\)是以\(2\pi\)为周期的分段光滑函数（即\(f\)在\([-\pi,\pi]\)上除有限个第一类间断点外连续，导数除有限个点外存在且连续，在间断点处左右导数存在），则：

1. 在\(f\)的连续点\(x\)处，傅里叶级数收敛到\(f(x)\)；
2. 在\(f\)的第一类间断点\(x\)处，傅里叶级数收敛到\(\frac{f(x+0)+f(x-0)}{2}\)。

注：该推论是工程与数学中最常用的收敛判别法，绝大多数实际应用中的函数都满足分段光滑条件。

---

6. 函数光滑性与傅里叶系数的衰减性

傅里叶系数的衰减速度与函数的光滑性直接相关，函数越光滑，系数衰减越快，级数收敛速度越高。

定理6.1 光滑性与系数衰减的关系

设\(f(x)\)是以\(2\pi\)为周期的函数，在\([-\pi,\pi]\)上具有\(k\)阶连续导数，则其傅里叶系数满足

\[a_n = o\left( \frac{1}{n^k} \right), \quad b_n = o\left( \frac{1}{n^k} \right), \quad n\to\infty \]

若\(f\)的\(k+1\)阶导数在\([-\pi,\pi]\)上可积或绝对可积，则

\[a_n = O\left( \frac{1}{n^{k+1}} \right), \quad b_n = O\left( \frac{1}{n^{k+1}} \right), \quad n\to\infty \]

证明（分部积分法）：
对\(a_n\)分部积分，令\(u=f(x), dv=\cos nx dx\)，则\(du=f'(x)dx, v=\frac{1}{n}\sin nx\)，由\(f\)的周期性，边界项\(f(x)\frac{\sin nx}{n}\big|_{-\pi}^{\pi}=0\)，故

\[a_n = -\frac{1}{n\pi} \int_{-\pi}^{\pi} f'(x) \sin nx dx = -\frac{b_n'}{n} \]

其中\(b_n'\)是\(f'(x)\)的傅里叶正弦系数。同理对\(b_n\)分部积分得

\[b_n = \frac{1}{n\pi} \int_{-\pi}^{\pi} f'(x) \cos nx dx = \frac{a_n'}{n} \]

重复分部积分\(k\)次，可得

\[a_n = \frac{(-1)^m}{n^{2m}} a_n^{(2m)} = \frac{(-1)^m}{n^{2m-1}} (-b_n^{(2m-1)}), \quad b_n = \frac{(-1)^m}{n^{2m}} (-b_n^{(2m)}) = \frac{(-1)^m}{n^{2m-1}} a_n^{(2m-1)} \]

其中\(f^{(m)}\)为\(f\)的\(m\)阶导数。由黎曼-勒贝格引理，\(f^{(k)}\)的傅里叶系数趋于0，故\(a_n,b_n=o(1/n^k)\)；若\(f^{(k+1)}\)可积，则其傅里叶系数有界，故\(a_n,b_n=O(1/n^{k+1})\)。

⚠️ 核心意义：该定理建立了函数的光滑性与傅里叶级数收敛速度的直接联系。例如：

• 具有跳跃间断点的函数，系数衰减为\(O(1/n)\)，级数仅条件收敛；
• 连续且一阶可导的函数，系数衰减为\(O(1/n^2)\)，级数绝对一致收敛；
• 无穷次可微的函数，系数衰减速度快于任何\(1/n^k\)，即超代数衰减。

---

7. 反例警示：概念边界的严格区分

「反例警示1」三角级数不一定是傅里叶级数

傅里叶系数趋于0是三角级数成为傅里叶级数的必要非充分条件。
反例：三角级数\(\sum_{n=2}^{\infty} \frac{\sin nx}{\ln n}\)，其系数\(b_n=\frac{1}{\ln n}\to0(n\to\infty)\)，但该级数不是任何可积或绝对可积函数的傅里叶级数。
证明思路：若存在这样的函数\(f(x)\)，则其积分\(F(x)=\int_0^x f(t)dt\)的傅里叶级数为\(\sum_{n=2}^{\infty} \frac{-\cos nx}{n\ln n}\)，该级数在\(x=0\)处发散，与连续有界变差函数的傅里叶级数必处处收敛矛盾。

「反例警示2」连续函数的傅里叶级数可能在某点发散

连续不是傅里叶级数收敛的充分条件。
反例：du Bois-Reymond在1876年构造了以\(2\pi\)为周期的连续函数，其傅里叶级数在一个稠密点集上发散。
核心原因：狄利克雷核的\(L^1\)范数\(\frac{1}{\pi}\int_{-\pi}^{\pi} |D_N(u)|du \sim \frac{4}{\pi^2}\ln N \to\infty\)，由泛函分析的一致有界原理，必存在连续函数，其部分和在某点无界，从而发散。

「反例警示3」傅里叶级数收敛，但不收敛到原函数

改变函数在有限个点的取值，不会改变其傅里叶系数与傅里叶级数。
反例：\(f(x)\equiv0\)与\(g(x)=\begin{cases}1, & x=0 \\ 0, & x\neq0\end{cases}\)的傅里叶系数全为0，傅里叶级数为0，在\(x=0\)处收敛到0，但\(g(0)=1\neq0\)。

「反例警示4」可积函数的傅里叶级数可能几乎处处发散

Kolmogorov在1923年构造了Lebesgue可积的函数，其傅里叶级数几乎处处发散（后续又构造了处处发散的例子）。
补充结论：Carleson定理（1966）证明了平方可积函数的傅里叶级数几乎处处收敛到原函数，这是傅里叶分析的里程碑结果。

---

8. 梯度化配套例题

【基础巩固题】

例题1

• 难度层级：基础巩固题
• 考察核心知识点：傅里叶系数计算、奇偶性简化、收敛定理应用
• 题干：设\(f(x)\)是以\(2\pi\)为周期的函数，在\([-\pi,\pi]\)上的表达式为\(f(x)=x\)，求\(f(x)\)的傅里叶级数，并讨论其收敛性。

完整解答：

1. 计算傅里叶系数

   • \(a_0 = \frac{1}{\pi}\int_{-\pi}^{\pi} x dx\)：被积函数为奇函数，对称区间积分得\(a_0=0\)；
   • \(a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} x\cos nx dx\)：被积函数为奇函数，对称区间积分得\(a_n=0, n\geq1\)；
   • \(b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} x\sin nx dx\)：被积函数为偶函数，故
     \[b_n = \frac{2}{\pi}\int_{0}^{\pi} x\sin nx dx \]
     分部积分：令\(u=x, dv=\sin nx dx\)，得
     \[\int_{0}^{\pi} x\sin nx dx = -\frac{x\cos nx}{n}\bigg|_0^\pi + \frac{1}{n}\int_{0}^{\pi} \cos nx dx = \frac{\pi (-1)^{n+1}}{n} \]
     因此\(b_n = \frac{2}{\pi} \cdot \frac{\pi (-1)^{n+1}}{n} = \frac{2(-1)^{n+1}}{n}, n\geq1\)。

2. 写出傅里叶级数

   \[f(x) \sim \sum_{n=1}^{\infty} \frac{2(-1)^{n+1}}{n} \sin nx \]

3. 收敛性讨论
   \(f(x)=x\)在\((-\pi,\pi)\)内连续且分段光滑，在\(x=\pm\pi\)处为第一类间断点，左极限\(f(\pi-0)=\pi\)，右极限\(f(\pi+0)=f(-\pi+0)=-\pi\)。由分段光滑收敛定理：

   • 在\(x\in(-\pi,\pi)\)时，级数收敛到\(f(x)=x\)；
   • 在\(x=\pm\pi\)时，级数收敛到\(\frac{f(\pi+0)+f(\pi-0)}{2}=0\)。

   最终得到展开式：

   \[x = 2\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} \sin nx, \quad x\in(-\pi,\pi) \]

「题后总结」

1. 核心思想：利用函数奇偶性大幅简化傅里叶系数计算，奇函数的傅里叶级数为正弦级数，偶函数为余弦级数；
2. 解题通法：周期函数傅里叶展开的标准流程：确定周期→计算系数（优先利用奇偶性）→写出级数→用收敛定理确定收敛域；
3. 题干识别：给出周期函数表达式，要求傅里叶展开，首先判断奇偶性与光滑性，选择对应收敛定理；
4. 延伸方向：该展开式为锯齿波的傅里叶级数，是信号处理谐波分析的基础，同时该级数为条件收敛，与Riemann重排定理衔接。

「变式思考」

1. 求\(f(x)=|x|, x\in[-\pi,\pi]\)的傅里叶级数并讨论收敛性；
2. 求\(f(x)=x^2, x\in[-\pi,\pi]\)的傅里叶级数，并利用展开式求\(\sum_{n=1}^{\infty}\frac{1}{n^2}\)的值。

---

【进阶综合题】

例题2

• 难度层级：进阶综合题
• 考察核心知识点：分部积分技巧、系数衰减估计、魏尔斯特拉斯M判别法、一致收敛性
• 题干：设\(f(x)\)是以\(2\pi\)为周期的连续函数，且在\([-\pi,\pi]\)上具有二阶连续导数，证明：\(f(x)\)的傅里叶级数在\([-\pi,\pi]\)上绝对一致收敛到\(f(x)\)。

完整解答：

1. 分部积分得到系数衰减估计
   对\(a_n\)连续两次分部积分，由\(f,f'\)的周期性，边界项均为0：

   \[a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx dx = -\frac{1}{n\pi}\int_{-\pi}^{\pi} f'(x)\sin nx dx = -\frac{1}{n^2\pi}\int_{-\pi}^{\pi} f''(x)\cos nx dx \]

   同理，对\(b_n\)两次分部积分得：

   \[b_n = -\frac{1}{n^2\pi}\int_{-\pi}^{\pi} f''(x)\sin nx dx \]

2. 系数绝对值估计
   \(f''\)在\([-\pi,\pi]\)上连续，故有界，即存在\(M>0\)，使得\(|f''(x)|\leq M, \forall x\in[-\pi,\pi]\)。因此

   \[|a_n| \leq \frac{1}{n^2\pi}\int_{-\pi}^{\pi} |f''(x)\cos nx| dx \leq \frac{M}{n^2\pi} \cdot 2\pi = \frac{2M}{n^2} \]

   同理\(|b_n| \leq \frac{2M}{n^2}, \forall n\geq1\)。

3. 证明绝对一致收敛
   傅里叶级数的通项满足

   \[|a_n\cos nx + b_n\sin nx| \leq |a_n| + |b_n| \leq \frac{4M}{n^2}, \quad \forall x\in\mathbb{R} \]

   级数\(\sum_{n=1}^{\infty}\frac{4M}{n^2}\)是收敛的\(p\)-级数（\(p=2>1\)），由魏尔斯特拉斯M判别法，傅里叶级数在\(\mathbb{R}\)上绝对一致收敛。

4. 证明收敛到\(f(x)\)
   \(f\)二阶连续可导，故分段光滑，由收敛定理，级数在每一点都收敛到\(f(x)\)，结合一致收敛性，级数在\([-\pi,\pi]\)上一致收敛到\(f(x)\)。

「题后总结」

1. 核心思想：通过高阶导数的分部积分得到傅里叶系数的衰减估计，再用M判别法证明一致收敛，是傅里叶级数一致收敛证明的标准方法；
2. 解题通法：傅里叶级数一致收敛的常用路径：高阶可导→系数\(O(1/n^2)\)→M判别法→绝对一致收敛；
3. 题干识别：题目给出函数高阶可微性，要求证明一致收敛，优先考虑分部积分+系数衰减估计；
4. 延伸方向：该结论是数值分析中谱方法的理论基础，光滑函数的傅里叶逼近具有谱精度，与泛函分析中Sobolev空间嵌入定理衔接。

「变式思考」

1. 若\(f\)是以\(2\pi\)为周期的连续函数，且满足\(\alpha>1/2\)阶利普希茨条件，证明其傅里叶级数绝对一致收敛；
2. 若\(f\)的傅里叶级数绝对收敛，证明其一致收敛到\(f(x)\)。

---

【科研拓展题】

例题3

• 难度层级：科研拓展题
• 考察核心知识点：费耶核、Cesàro和、逼近恒同核、魏尔斯特拉斯逼近定理
• 题干：设\(f(x)\)是以\(2\pi\)为周期的连续函数，\(S_N(f;x)\)为其傅里叶部分和，定义Cesàro和\(\sigma_N(f;x) = \frac{1}{N}\sum_{k=0}^{N-1} S_k(f;x)\)，证明：\(\sigma_N(f;x)\)在\([-\pi,\pi]\)上一致收敛到\(f(x)\)（费耶定理），并利用该结论证明魏尔斯特拉斯三角逼近定理。

完整解答：

1. 推导Cesàro和的积分表示与费耶核
   由部分和的狄利克雷积分表示，得

   \[\sigma_N(f;x) = \frac{1}{N}\sum_{k=0}^{N-1} \frac{1}{\pi}\int_{-\pi}^{\pi} f(x+u) D_k(u) du = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x+u) \cdot \frac{1}{N}\sum_{k=0}^{N-1} D_k(u) du \]

   定义费耶核\(F_N(u) = \frac{1}{N}\sum_{k=0}^{N-1} D_k(u)\)，利用狄利克雷核的闭形式，通过望远镜求和得费耶核的闭形式：

   \[F_N(u) = \begin{cases} \frac{\sin^2\left( \frac{Nu}{2} \right)}{2N \sin^2\left( \frac{u}{2} \right)}, & u\neq2k\pi \\ \frac{N}{2}, & u=2k\pi \end{cases} \]

2. 费耶核的核心性质

   1. 非负性：\(F_N(u)\geq0, \forall u\in\mathbb{R}\)（分子分母均为平方项）；
   2. 规范性：\(\frac{1}{\pi}\int_{-\pi}^{\pi} F_N(u) du = 1\)（由狄利克雷核的规范性直接得到）；
   3. 集中性：对任意固定的\(\delta\in(0,\pi)\)，\(\lim_{N\to\infty} \int_{\delta}^{\pi} F_N(u) du = 0\)（因\(F_N(u)\leq\frac{1}{2N\sin^2(\delta/2)}\)，积分随\(N\to\infty\)趋于0）。

3. 证明一致收敛（ε/2技巧）
   \(f\)是连续周期函数，故在\(\mathbb{R}\)上一致连续，对任意\(\varepsilon>0\)，存在\(\delta>0\)，使得对所有\(|u|<\delta\)，有\(|f(x+u)-f(x)|<\frac{\varepsilon}{2}, \forall x\in\mathbb{R}\)。

   由费耶核的规范性，\(f(x) = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x) F_N(u) du\)，因此

   \[\sigma_N(f;x) - f(x) = \frac{1}{\pi}\int_{0}^{\pi} \left[ f(x+u) + f(x-u) - 2f(x) \right] F_N(u) du \]

   拆分积分\(\int_{0}^{\pi} = \int_{0}^{\delta} + \int_{\delta}^{\pi}\)，分别估计：

   • 第一个积分：
     \[\left| \frac{1}{\pi}\int_{0}^{\delta} [f(x+u)+f(x-u)-2f(x)]F_N(u)du \right| \leq \frac{1}{\pi}\int_{0}^{\delta} \varepsilon F_N(u)du \leq \frac{\varepsilon}{\pi}\int_{0}^{\pi} F_N(u)du = \frac{\varepsilon}{2} \]

   • 第二个积分：\(f\)有界，设\(|f(x)|\leq M\)，则\(|f(x+u)+f(x-u)-2f(x)|\leq4M\)，故
     \[\left| \frac{1}{\pi}\int_{\delta}^{\pi} [f(x+u)+f(x-u)-2f(x)]F_N(u)du \right| \leq \frac{4M}{\pi}\int_{\delta}^{\pi} F_N(u)du \]
     由费耶核的集中性，存在\(N_0>0\)，当\(N>N_0\)时，该式小于\(\frac{\varepsilon}{2}\)。

   综上，当\(N>N_0\)时，对所有\(x\)有\(|\sigma_N(f;x)-f(x)|<\varepsilon\)，即\(\sigma_N(f;x)\)一致收敛到\(f(x)\)。

4. 证明魏尔斯特拉斯三角逼近定理
   定理表述：对任意以\(2\pi\)为周期的连续函数\(f(x)\)，任意\(\varepsilon>0\)，存在三角多项式\(T(x)\)，使得\(|f(x)-T(x)|<\varepsilon\)对所有\(x\)成立。
   证明：由费耶定理，存在\(N\)使得\(|f(x)-\sigma_N(f;x)|<\varepsilon\)对所有\(x\)成立。而\(\sigma_N(f;x)\)是有限个三角多项式的平均，本身也是次数不超过\(N-1\)的三角多项式，取\(T(x)=\sigma_N(f;x)\)即得结论。

「题后总结」

1. 核心思想：利用逼近恒同核的非负性、规范性、集中性证明一致逼近，是调和分析中逼近理论的核心思想；
2. 解题通法：核函数一致逼近的标准流程：构造核函数→验证三大性质→ε/2拆分积分→证明一致收敛；
3. 题干识别：涉及傅里叶平均和、连续函数一致逼近，优先考虑费耶核与逼近恒同核方法；
4. 延伸方向：该结论是奇异积分理论、小波分析、偏微分方程正则化理论的基础，魏尔斯特拉斯逼近定理是Stone-Weierstrass定理的特例，广泛应用于机器学习逼近理论、数值分析。

「变式思考」

1. 利用费耶定理证明：若连续函数\(f\)的傅里叶级数在某点收敛，则必收敛到\(f(x)\)；
2. 利用三角逼近定理证明闭区间上连续函数的多项式逼近定理。

---

9. 核心知识点系统总结表

核心概念/定理	形式化表述/关键条件	典型证明技巧/方法	常见反例/易错点	后续课程关联	典型应用场景
三角函数系的正交性	在\([-\pi,\pi]\)上，不同三角函数的内积为0，自身内积非零	积化和差公式、周期函数积分性质	混淆正交性的区间（如\([0,\pi]\)上的正交性需调整系数）	泛函分析中的Hilbert空间正交基理论	信号的正交分解、谱分析
傅里叶系数	欧拉-傅里叶公式，要求函数可积或绝对可积	分部积分法、奇偶性简化积分	直接将傅里叶级数与原函数划等号；忽略绝对可积条件	实变函数中的Fourier变换、调和分析	频域分析、滤波器设计
黎曼-勒贝格引理	可积/绝对可积函数的高频振荡积分极限为0	ε/2拆分积分、阶梯函数逼近、黎曼可积充要条件	认为系数趋于0是三角级数为傅里叶级数的充分条件	奇异积分理论、振荡积分估计	积分收敛性判断、数值积分误差分析
狄利克雷积分	傅里叶部分和的积分表示，核心是狄利克雷核	望远镜求和、周期函数积分平移	忽略狄利克雷核的非正定性，误以为部分和一定收敛	调和分析中的奇异乘子理论	傅里叶级数收敛性分析
黎曼局部化原理	傅里叶级数在点x的收敛性仅由x附近的函数值决定	黎曼-勒贝格引理、积分拆分	与幂级数的解析延拓性质混淆，误以为收敛性是全局的	微局部分析、偏微分方程解的正则性	信号的局部时频分析
分段光滑收敛定理	分段光滑函数的傅里叶级数在连续点收敛到f(x)，间断点收敛到左右极限的平均	ε/2技巧、利普希茨条件估计、黎曼-勒贝格引理	误以为连续函数的傅里叶级数一定收敛；间断点处直接写等号	实变函数中的点态收敛理论	周期信号的傅里叶展开、谐波分析
光滑性与系数衰减定理	k阶连续可导函数的傅里叶系数为o(1/n^k)	重复分部积分、黎曼-勒贝格引理	忽略函数的周期性边界条件，分部积分时遗漏边界项	Sobolev空间理论、函数光滑性刻画	数值逼近的谱方法、偏微分方程的谱解法
费耶定理	连续函数的傅里叶Cesàro和一致收敛到原函数	逼近恒同核的三大性质、ε/2拆分积分	混淆部分和与Cesàro和的收敛性，误以为部分和一定一致收敛	泛函分析中的凸性理论、遍历定理	连续函数的三角多项式逼近、数据平滑
魏尔斯特拉斯三角逼近定理	周期连续函数可被三角多项式一致逼近	费耶定理、Cesàro和的构造	误以为逼近多项式是唯一的	Stone-Weierstrass定理、函数空间逼近理论	数值分析中的函数逼近、机器学习的通用逼近定理

---

傅里叶级数经典例题 完整解析与深度解读

这组例题是数学分析中傅里叶级数模块的核心母题，覆盖了周期函数傅里叶展开的核心方法、奇偶性简化技巧、赋值法求数项级数和、傅里叶级数与积分的综合应用，是数学专业本科学习、考研数学分析的高频考点。以下为每道例题的完整推导、核心思路解读与拓展延伸。

---

例16.1.1 锯齿波的正弦级数展开与交错级数求和

题干

设\(f(x)\)是周期为\(2\pi\)的函数，且\(f(x)=x,\ x\in[-\pi,\pi)\)，求\(f(x)\)的傅里叶级数，以及数项级数\(1-\frac{1}{3}+\frac{1}{5}-\frac{1}{7}+\dots\)的和。

完整解答

步骤1：利用奇偶性简化傅里叶系数计算

\(f(x)=x\)在\([-\pi,\pi)\)上是奇函数，根据奇函数在对称区间的积分性质：

• 奇函数×偶函数=奇函数，故\(a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx dx = 0,\ n=0,1,2,\dots\)（常数项\(a_0\)也为0）；
• 奇函数×奇函数=偶函数，故\(b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin nx dx = \frac{2}{\pi}\int_{0}^{\pi} x\sin nx dx\)。

步骤2：分部积分计算正弦系数

对\(\int_{0}^{\pi} x\sin nx dx\)分部积分，令\(u=x,\ dv=\sin nx dx\)，则\(du=dx,\ v=-\frac{1}{n}\cos nx\)，由分部积分公式\(\int u dv = uv|_a^b - \int v du\)：

\[\int_{0}^{\pi} x\sin nx dx = -\frac{x}{n}\cos nx\bigg|_{0}^{\pi} + \frac{1}{n}\int_{0}^{\pi} \cos nx dx \]

• 边界项：\(-\frac{\pi}{n}\cos n\pi + 0 = -\frac{\pi}{n}(-1)^n = \frac{\pi (-1)^{n+1}}{n}\)；
• 积分项：\(\frac{1}{n}\cdot\frac{\sin nx}{n}\bigg|_{0}^{\pi} = 0\)。

因此\(b_n = \frac{2}{\pi}\cdot\frac{\pi (-1)^{n+1}}{n} = \frac{2(-1)^{n+1}}{n},\ n=1,2,\dots\)。

步骤3：写出傅里叶级数并确定收敛域

\(f(x)\)在\((-\pi,\pi)\)内分段光滑且连续，在\(x=\pm\pi\)处为第一类间断点，由分段光滑函数的傅里叶收敛定理：

• 在\(x\in(-\pi,\pi)\)时，级数收敛到\(f(x)=x\)；
• 在\(x=\pm\pi\)时，级数收敛到\(\frac{f(\pi-0)+f(\pi+0)}{2}=\frac{\pi+(-\pi)}{2}=0\)。

最终傅里叶展开式为：

\[x = 2\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}\sin nx,\quad x\in(-\pi,\pi) \]

步骤4：赋值法求数项级数的和

令\(x=\frac{\pi}{2}\)，代入展开式：

\[\frac{\pi}{2} = 2\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}\sin\frac{n\pi}{2} \]

注意到\(\sin\frac{n\pi}{2}\)的取值规律：\(n\)为偶数时\(\sin\frac{n\pi}{2}=0\)；\(n=2k-1\)（奇数）时\(\sin\frac{(2k-1)\pi}{2}=(-1)^{k+1}\)。因此级数仅奇数项非零：

\[\frac{\pi}{2} = 2\sum_{k=1}^{\infty} \frac{(-1)^{2k}}{2k-1}(-1)^{k+1} = 2\sum_{k=1}^{\infty} \frac{(-1)^{k+1}}{2k-1} \]

两边除以2得：

\[\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \dots \]

核心解读

1. 核心技巧：利用函数奇偶性大幅简化傅里叶系数计算，奇函数的傅里叶级数为正弦级数，偶函数为余弦级数，是傅里叶展开的首要简化思路。
2. 易错警示：展开式的成立区间仅为\((-\pi,\pi)\)，在间断点\(x=\pm\pi\)处级数不收敛到\(f(x)\)，不可直接写\(x=\pm\pi\)时的等号。
3. 拓展延伸：该展开式是信号处理中锯齿波的傅里叶分解，是谐波分析的基础模型。

---

例16.1.2 非对称区间的锯齿波展开与级数拆分

题干

设\(f(x)\)是周期为\(2\pi\)的函数，且\(f(x)=x,\ x\in(0,2\pi]\)，求\(f(x)\)的傅里叶级数，以及函数项级数\(\sum_{n=1}^\infty\frac{\sin2nx}{2n}\)和\(\sum_{n=1}^\infty\frac{\sin(2n-1)x}{2n-1}\)的和。

完整解答

步骤1：计算傅里叶系数

\(f(x)\)定义在\((0,2\pi]\)，无奇偶性，需直接计算全部系数：

1. 常数项：\(a_0 = \frac{1}{\pi}\int_{0}^{2\pi} f(x)dx = \frac{1}{\pi}\int_{0}^{2\pi} x dx = \frac{1}{\pi}\cdot\frac{x^2}{2}\bigg|_{0}^{2\pi} = 2\pi\)；
2. 余弦系数：\(a_n = \frac{1}{\pi}\int_{0}^{2\pi} x\cos nx dx\)，分部积分得：
   \[a_n = \frac{1}{\pi}\left( \frac{x\sin nx}{n}\bigg|_{0}^{2\pi} - \frac{1}{n}\int_{0}^{2\pi} \sin nx dx \right) = 0,\ n=1,2,\dots \]

3. 正弦系数：\(b_n = \frac{1}{\pi}\int_{0}^{2\pi} x\sin nx dx\)，分部积分得：
   \[b_n = \frac{1}{\pi}\left( -\frac{x\cos nx}{n}\bigg|_{0}^{2\pi} + \frac{1}{n}\int_{0}^{2\pi} \cos nx dx \right) = \frac{1}{\pi}\cdot\left( -\frac{2\pi\cos2n\pi}{n} \right) = -\frac{2}{n},\ n=1,2,\dots \]

步骤2：确定收敛域与展开式

\(f(x)\)在\((0,2\pi)\)内连续且分段光滑，在\(x=2k\pi(k\in\mathbb{Z})\)处为第一类间断点，由收敛定理：

• 在\(x\in(0,2\pi)\)时，级数收敛到\(f(x)=x\)；
• 在\(x=2k\pi\)时，级数收敛到\(\frac{f(0+0)+f(2\pi-0)}{2}=\frac{0+2\pi}{2}=\pi\)。

最终展开式为：

\[x = \pi - 2\sum_{n=1}^{\infty} \frac{\sin nx}{n},\quad x\in(0,2\pi) \]

这是历史上Abel给出的经典例子，该级数的和函数在\(x=2k\pi\)处间断，因此级数在\([0,2\pi]\)上不一致收敛（一致收敛的连续函数项级数和函数必连续）。

步骤3：拆分级数求两个子级数的和

1. 求\(\sum_{n=1}^\infty\frac{\sin2nx}{2n}\)：将原展开式中的\(x\)替换为\(2x\)，得
   \[2x = \pi - 2\sum_{n=1}^{\infty} \frac{\sin2nx}{n},\quad x\in(0,\pi) \]
   两边除以2，整理得：
   \[\frac{\pi}{2} - x = 2\sum_{n=1}^{\infty} \frac{\sin2nx}{2n},\quad x\in(0,\pi) \]

2. 求\(\sum_{n=1}^\infty\frac{\sin(2n-1)x}{2n-1}\)：原级数可拆分为奇数项和偶数项之和：
   \[\sum_{n=1}^{\infty} \frac{\sin nx}{n} = \sum_{k=1}^{\infty} \frac{\sin(2k-1)x}{2k-1} + \sum_{k=1}^{\infty} \frac{\sin2kx}{2k} \]
   将原展开式\(\sum_{n=1}^\infty\frac{\sin nx}{n}=\frac{\pi-x}{2}\)与偶数项和代入，得：
   \[\frac{\pi-x}{2} = \sum_{k=1}^{\infty} \frac{\sin(2k-1)x}{2k-1} + \frac{\pi-2x}{4} \]
   整理得：
   \[\sum_{n=1}^{\infty} \frac{\sin(2n-1)x}{2n-1} = \frac{\pi}{4},\quad x\in(0,\pi) \]

核心解读

1. 关键区别：与例16.1.1的\(f(x)=x\)是同一个函数，但定义区间不同，延拓后的周期函数奇偶性不同，因此傅里叶级数形式完全不同，体现了傅里叶级数依赖于周期延拓方式。
2. 核心考点：该例题是傅里叶级数一致收敛性的经典反例，逐点收敛的级数不一定一致收敛，是函数项级数收敛性辨析的核心母题。
3. 拓展延伸：该展开式是方波信号分解的基础，奇数项级数的和为常数\(\frac{\pi}{4}\)，是数字信号处理中矩形波生成的核心原理。

---

例16.1.3 抛物线的余弦级数展开与巴塞尔问题求解

题干

将函数\(f(x)=x^2,\ x\in[-\pi,\pi]\)展开为傅里叶级数，由此证明：

\[\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n^2}=\frac{\pi^2}{12},\quad \sum_{n=1}^{\infty}\frac{1}{n^2}=\frac{\pi^2}{6} \]

完整解答

步骤1：利用奇偶性简化系数计算

\(f(x)=x^2\)在\([-\pi,\pi]\)上是偶函数，因此：

• 正弦系数\(b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} x^2\sin nx dx = 0,\ n=1,2,\dots\)（奇函数在对称区间积分为0）；
• 余弦系数\(a_n = \frac{2}{\pi}\int_{0}^{\pi} x^2\cos nx dx,\ n=0,1,2,\dots\)。

步骤2：两次分部积分计算余弦系数

1. 常数项\(a_0\)：
   \[a_0 = \frac{2}{\pi}\int_{0}^{\pi} x^2 dx = \frac{2}{\pi}\cdot\frac{x^3}{3}\bigg|_{0}^{\pi} = \frac{2\pi^2}{3} \]

2. 余弦系数\(a_n(n\geq1)\)：
   第一次分部积分：令\(u=x^2,\ dv=\cos nx dx\)，则\(du=2xdx,\ v=\frac{1}{n}\sin nx\)，得
   \[\int_{0}^{\pi} x^2\cos nx dx = \frac{x^2\sin nx}{n}\bigg|_{0}^{\pi} - \frac{2}{n}\int_{0}^{\pi} x\sin nx dx = -\frac{2}{n}\int_{0}^{\pi} x\sin nx dx \]
   第二次分部积分：对\(\int_{0}^{\pi} x\sin nx dx\)分部积分（同例16.1.1），得
   \[\int_{0}^{\pi} x\sin nx dx = \frac{\pi (-1)^{n+1}}{n} \]
   代入得：
   \[\int_{0}^{\pi} x^2\cos nx dx = -\frac{2}{n}\cdot\frac{\pi (-1)^{n+1}}{n} = \frac{2\pi (-1)^n}{n^2} \]
   因此\(a_n = \frac{2}{\pi}\cdot\frac{2\pi (-1)^n}{n^2} = \frac{4(-1)^n}{n^2},\ n=1,2,\dots\)。

步骤3：确定收敛域与展开式

\(f(x)=x^2\)在\([-\pi,\pi]\)上连续且分段光滑，周期延拓后在\(x=\pm\pi\)处连续（\(f(\pi)=f(-\pi)=\pi^2\)），因此傅里叶级数在\((-\infty,+\infty)\)上处处收敛到\(f(x)\)，展开式为：

\[x^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2}\cos nx,\quad x\in[-\pi,\pi] \]

步骤4：赋值法证明数项级数等式

1. 证明\(\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n^2}=\frac{\pi^2}{12}\)：
   令\(x=0\)，代入展开式，\(\cos0=1\)，得：
   \[0 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2} \]
   整理得：
   \[\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n^2} = \frac{\pi^2}{12} \]

2. 证明\(\sum_{n=1}^{\infty}\frac{1}{n^2}=\frac{\pi^2}{6}\)（巴塞尔问题）：
   令\(x=\pi\)，代入展开式，\(\cos n\pi=(-1)^n\)，得：
   \[\pi^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty} \frac{(-1)^n}{n^2}\cdot(-1)^n = \frac{\pi^2}{3} + 4\sum_{n=1}^{\infty} \frac{1}{n^2} \]
   移项整理得：
   \[\sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} \]

核心解读

1. 历史意义：该解法是欧拉解决巴塞尔问题（求自然数平方倒数和）的经典方法之一，是傅里叶级数最具代表性的应用。
2. 核心技巧：通过两次分部积分处理幂函数与三角函数的乘积积分，是多项式函数傅里叶展开的标准方法。
3. 拓展延伸：该方法可推广到\(x^k\)的傅里叶展开，进而求解\(\sum_{n=1}^\infty\frac{1}{n^{2k}}\)（黎曼ζ函数在正偶数处的取值），是数论与分析学的交叉核心问题。

---

例16.1.4 非整参数余弦函数的展开与余割函数的分式分解

题干

设\(a\)不为整数，将\(f(x)=\cos ax,\ x\in[-\pi,\pi]\)展开为傅里叶级数，并证明：

\[\frac{\pi}{\sin a\pi} = \frac{1}{a} + \sum_{n=1}^{\infty} (-1)^n \frac{2a}{a^2-n^2},\ a\notin\mathbb{Z} \]

完整解答

步骤1：利用奇偶性简化系数计算

\(f(x)=\cos ax\)在\([-\pi,\pi]\)上是偶函数，因此正弦系数\(b_n=0\)，仅需计算余弦系数：

\[a_n = \frac{2}{\pi}\int_{0}^{\pi} \cos ax \cos nx dx,\ n=0,1,2,\dots \]

步骤2：积化和差计算余弦系数

利用积化和差公式\(\cos A\cos B = \frac{1}{2}[\cos(A+B)x + \cos(A-B)x]\)，拆分积分：

1. 常数项\(a_0\)：
   \[a_0 = \frac{2}{\pi}\int_{0}^{\pi} \cos ax dx = \frac{2}{\pi}\cdot\frac{\sin ax}{a}\bigg|_{0}^{\pi} = \frac{2\sin a\pi}{a\pi} \]

2. 余弦系数\(a_n(n\geq1)\)：
   \[a_n = \frac{1}{\pi}\int_{0}^{\pi} \left[ \cos(a+n)x + \cos(a-n)x \right] dx \]
   分别计算两个积分：
   \[\int_{0}^{\pi} \cos(a+n)x dx = \frac{\sin(a+n)\pi}{a+n} = \frac{\sin a\pi \cos n\pi + \cos a\pi \sin n\pi}{a+n} = \frac{(-1)^n \sin a\pi}{a+n} \]
   \[\int_{0}^{\pi} \cos(a-n)x dx = \frac{\sin(a-n)\pi}{a-n} = \frac{(-1)^n \sin a\pi}{a-n} \]
   代入得：
   \[a_n = \frac{1}{\pi}\cdot (-1)^n \sin a\pi \left( \frac{1}{a+n} + \frac{1}{a-n} \right) = \frac{(-1)^n 2a \sin a\pi}{\pi(a^2-n^2)},\ n=1,2,\dots \]

步骤3：写出傅里叶展开式

\(f(x)=\cos ax\)在\([-\pi,\pi]\)上连续且分段光滑，周期延拓后在\(x=\pm\pi\)处连续，因此展开式为：

\[\cos ax = \frac{\sin a\pi}{\pi} \left[ \frac{1}{a} + \sum_{n=1}^{\infty} (-1)^n \frac{2a}{a^2-n^2}\cos nx \right],\quad x\in[-\pi,\pi] \]

步骤4：赋值法证明余割函数的分式展开

令\(x=0\)，代入展开式，\(\cos0=1\)，得：

\[1 = \frac{\sin a\pi}{\pi} \left( \frac{1}{a} + \sum_{n=1}^{\infty} (-1)^n \frac{2a}{a^2-n^2} \right) \]

两边除以\(\frac{\sin a\pi}{\pi}\)，整理得：

\[\frac{\pi}{\sin a\pi} = \frac{1}{a} + \sum_{n=1}^{\infty} (-1)^n \frac{2a}{a^2-n^2},\ a\notin\mathbb{Z} \]

核心解读

1. 核心意义：该等式是三角函数的有理分式展开，是复分析中留数定理的经典结论，也是计算含三角函数的无穷积分的核心工具。
2. 易错警示：必须强调\(a\)不为整数，若\(a\)为整数，\(\sin a\pi=0\)，原函数退化为\(\cos nx\)，傅里叶级数仅含一项，该分式展开无意义。
3. 拓展延伸：对该式积分可得到余切函数的分式展开\(\pi\cot a\pi = \frac{1}{a} + \sum_{n=1}^\infty \frac{2a}{a^2-n^2}\)，是伽马函数、黎曼ζ函数的核心恒等式。

---

半区间函数的傅里叶展开：奇偶延拓与正/余弦级数

本部分是傅里叶级数理论的核心工程应用延伸，解决了仅定义在有限半区间\((0,\pi)\)上的非周期函数的傅里叶展开问题，是数学物理方程（热传导、弦振动方程）、信号处理、有限元分析的核心基础工具，也是数学专业考研、数学竞赛的高频考点。

---

---

一、半区间展开的核心逻辑

傅里叶级数的本质是周期函数的正交基分解，仅定义在\((0,\pi)\)上的函数本身不具备周期性，无法直接展开为傅里叶级数。我们通过两步延拓法解决这个问题：

1. 区间对称延拓：将\((0,\pi)\)上的函数补充定义到对称区间\((-\pi,0)\)上，得到\((-\pi,\pi)\)上的完整函数；
2. 周期延拓：将\((-\pi,\pi)\)上的函数以\(2\pi\)为周期延拓到整个实数轴，得到周期为\(2\pi\)的周期函数；
3. 级数展开：对周期延拓后的函数做傅里叶展开，该级数在原区间\((0,\pi)\)的连续点上，必然收敛到原函数。

核心自由度：在\((-\pi,0)\)上的补充定义是任意的，不同延拓方式会得到不同形式的傅里叶级数，但在原区间\((0,\pi)\)的连续点上，所有级数都收敛到同一个原函数。工程中最常用偶延拓和奇延拓，可利用奇偶性大幅简化傅里叶系数的计算。

---

例16.1.5 完整解析与深度解读

本题是数学分析中欧拉余元公式的经典实分析证明，核心是通过级数展开、积分与求和的交换、变量代换，结合傅里叶级数的结论，建立了特殊函数、无穷级数与三角函数的核心恒等式，是傅里叶级数在数论、特殊函数论中的标志性应用。

---

一、题目核心背景

本题要证明的等式是欧拉余元公式的标准形式：

\[\int_{0}^{+\infty} \frac{x^{p-1}}{1+x} dx = \frac{1}{p} + \sum_{n=1}^{\infty} (-1)^n \frac{2p}{p^2-n^2} = \frac{\pi}{\sin p\pi}, \quad 0<p<1 \]

其中：

1. 左侧的无穷积分是第一类欧拉积分（贝塔函数）的标准形式，记为\(B(p,1-p)=\int_{0}^{+\infty}\frac{x^{p-1}}{1+x}dx\)；
2. 中间的级数是余割函数的分式展开式，由傅里叶级数严格推导得到；
3. 最终的等式\(\Gamma(p)\Gamma(1-p)=\frac{\pi}{\sin p\pi}\)是特殊函数论的核心恒等式，连接了伽马函数、贝塔函数与初等三角函数，在数论、概率论、复分析、量子力学中均有广泛应用。

---

二、完整证明拆解（每步标注理论依据）

步骤1：拆分积分区间

无穷积分在\(x\to0^+\)和\(x\to+\infty\)处的收敛性不同，且等比级数展开仅在\(|x|<1\)时成立，因此将积分拆分为有限区间与无穷区间两部分：

\[\int_{0}^{+\infty} \frac{x^{p-1}}{1+x} dx = \int_{0}^{1} \frac{x^{p-1}}{1+x} dx + \int_{1}^{+\infty} \frac{x^{p-1}}{1+x} dx \]

理论依据：定积分对区间的可加性。

---

步骤2：(0,1)上的被积函数等比级数展开

当\(0<x<1\)时，\(|-x|=x<1\)，满足等比级数收敛条件：\(|q|<1\)时，\(\sum_{n=0}^{\infty} q^n = \frac{1}{1-q}\)。令\(q=-x\)，得：

\[\frac{1}{1+x} = \sum_{n=0}^{\infty} (-1)^n x^n \]

两边乘以\(x^{p-1\)x^{p-1}$，得到被积函数的级数展开：

\[\frac{x^{p-1}}{1+x} = \sum_{n=0}^{\infty} (-1)^n x^{n+p-1}, \quad x\in(0,1) \]

理论依据：等比级数的收敛定理。

---

步骤3：验证积分与求和可交换的严谨性条件

这是证明的核心严谨性环节，严禁直接交换积分与求和，必须验证收敛条件。

1. 记部分和\(f_n(x) = \sum_{k=0}^{n-1} (-1)^k x^{k+p-1}\)，由等比级数前n项和公式得：
   \[f_n(x) = x^{p-1} \cdot \frac{1-(-x)^n}{1+x} \]

2. 有界估计：因\(0<x<1\)，故\(|(-x)^n|=x^n\leq1\)，\(\frac{1}{1+x}\leq1\)，因此：
   \[0 \leq f_n(x) \leq 2x^{p-1} \]

3. 控制收敛条件：因\(0<p<1\)，反常积分\(\int_{0}^{1} x^{p-1} dx = \frac{x^p}{p}\bigg|_{0}^{1} = \frac{1}{p}\)收敛。

由勒贝格控制收敛定理（数学分析中对应反常积分的一致收敛与积分号下求和定理）：可测函数列被可积函数控制时，积分与极限（求和）可交换顺序。

---

步骤4：计算(0,1)上的积分

交换积分与求和后，由幂函数积分法则\(\int_{0}^{1} x^s dx = \frac{1}{s+1} \ (s>-1)\)，令\(s=n+p-1\)，得：

\[\int_{0}^{1} x^{n+p-1} dx = \frac{1}{n+p} \]

因此：

\[\int_{0}^{1} \frac{x^{p-1}}{1+x} dx = \sum_{n=0}^{\infty} (-1)^n \int_{0}^{1} x^{n+p-1} dx = \sum_{n=0}^{\infty} \frac{(-1)^n}{n+p} \]

理论依据：牛顿-莱布尼茨公式，幂函数积分法则。

---

步骤5：倒代换处理(1,+∞)上的积分

对无穷积分做倒代换（处理1到+∞幂函数积分的经典技巧）：令\(x=\frac{1}{t}\)，则\(dx = -\frac{1}{t^2}dt\)，积分上下限变换：\(x=1\to t=1\)，\(x\to+\infty\to t\to0^+\)，代入得：

\[\int_{1}^{+\infty} \frac{x^{p-1}}{1+x} dx = \int_{1}^{0} \frac{\left( \frac{1}{t} \right)^{p-1}}{1+\frac{1}{t}} \cdot \left( -\frac{1}{t^2} \right) dt \]

化简符号与被积函数：

1. 负号翻转积分上下限，变为\(\int_{0}^{1}\)；
2. 分母\(1+\frac{1}{t}=\frac{t+1}{t}\)，因此\(\frac{1}{1+1/t}=\frac{t}{t+1}\)；
3. 指数化简：\(\left( \frac{1}{t} \right)^{p-1} \cdot t \cdot \frac{1}{t^2} = t^{1-p+1-2} = t^{-p}\)。

最终积分化简为：

\[\int_{1}^{+\infty} \frac{x^{p-1}}{1+x} dx = \int_{0}^{1} \frac{t^{-p}}{1+t} dt = \int_{0}^{1} \frac{t^{(1-p)-1}}{1+t} dt \]

该积分与步骤4的(0,1)积分形式完全一致，仅将\(p\)替换为\(1-p\)（\(0<1-p<1\)，满足条件），直接套用步骤4的结论：

\[\int_{0}^{1} \frac{t^{(1-p)-1}}{1+t} dt = \sum_{n=0}^{\infty} \frac{(-1)^n}{n+1-p} \]

对级数做下标替换：令\(k=n+1\)，则\(n=0\to k=1\)，\((-1)^n=(-1)^{k-1}=-(-1)^k\)，因此：

\[\sum_{n=0}^{\infty} \frac{(-1)^n}{n+1-p} = \sum_{k=1}^{\infty} \frac{(-1)^k}{p-k} \]

即：

\[\int_{1}^{+\infty} \frac{x^{p-1}}{1+x} dx = \sum_{n=1}^{\infty} \frac{(-1)^n}{p-n} \]

理论依据：定积分的变量代换法则，级数的下标替换规则。

---

步骤6：合并积分，化简级数

将两部分积分结果合并，拆分第一个级数的\(n=0\)项：

\[\int_{0}^{+\infty} \frac{x^{p-1}}{1+x} dx = \frac{1}{p} + \sum_{n=1}^{\infty} \frac{(-1)^n}{n+p} + \sum_{n=1}^{\infty} \frac{(-1)^n}{p-n} \]

对括号内的分式通分化简：

\[\frac{1}{n+p} + \frac{1}{p-n} = \frac{(p-n)+(p+n)}{p^2-n^2} = \frac{2p}{p^2-n^2} \]

因此得到级数形式：

\[\int_{0}^{+\infty} \frac{x^{p-1}}{1+x} dx = \frac{1}{p} + \sum_{n=1}^{\infty} (-1)^n \frac{2p}{p^2-n^2} \]

理论依据：级数的线性运算，分式通分化简。

---

步骤7：结合傅里叶级数结论完成证明

该级数正是例16.1.4中通过\(\cos(ax)\)的傅里叶展开得到的余割函数分式展开式：

\[\frac{\pi}{\sin a\pi} = \frac{1}{a} + \sum_{n=1}^{\infty} (-1)^n \frac{2a}{a^2-n^2}, \quad a\notin\mathbb{Z} \]

因\(0<p<1\)，满足\(p\notin\mathbb{Z}\)，令\(a=p\)，直接得：

\[\frac{1}{p} + \sum_{n=1}^{\infty} (-1)^n \frac{2p}{p^2-n^2} = \frac{\pi}{\sin p\pi} \]

最终完成证明：

\[\int_{0}^{+\infty} \frac{x^{p-1}}{1+x} dx = \frac{1}{p} + \sum_{n=1}^{\infty} (-1)^n \frac{2p}{p^2-n^2} = \frac{\pi}{\sin p\pi}, \quad 0<p<1 \]

理论依据：傅里叶级数得到的余割函数展开式（欧拉余元公式的级数形式）。

---

三、关键步骤深度解读

1. 积分区间拆分的必要性
   等比级数\(\sum_{n=0}^\infty (-1)^n x^n\)仅在\(|x|<1\)时收敛，\(x>1\)时级数发散，因此必须拆分区间分别处理；同时拆分后可分别分析\(x\to0^+\)和\(x\to+\infty\)处的积分收敛性，保证每一步的严谨性。

2. 一致收敛验证的核心意义
   逐点收敛的级数不能直接交换积分与求和，经典反例：\(f_n(x)=nxe^{-nx}\)在\((0,1)\)上逐点收敛到0，但\(\lim_{n\to\infty}\int_0^1 f_n(x)dx=1\neq0\)。本题通过控制收敛定理保证交换的合法性，是实分析中积分与极限交换的核心准则。

3. 倒代换的技巧价值
   倒代换是处理\(\int_1^{+\infty}\frac{x^\alpha}{1+x^\beta}dx\)型积分的通用技巧，通过\(x=1/t\)将无穷区间转化为有限区间，同时将被积函数转化为与\((0,1)\)上同类型的形式，避免重复计算，大幅简化推导。

4. 傅里叶级数的不可替代性
   中间的级数\(\frac{1}{p} + \sum_{n=1}^\infty (-1)^n \frac{2p}{p^2-n^2}\)无法用初等方法（裂项、泰勒展开等）求和，而傅里叶级数通过三角函数的正交分解，直接建立了该级数与余割函数的联系，给出了闭式结果，这是傅里叶级数在数论、特殊函数论中的核心应用价值。

---

四、高频易错点警示

1. 忽略\(p\)的取值范围
   等式成立的前提是\(0<p<1\)：若\(p\leq0\)，\(\int_0^1 x^{p-1}dx\)发散；若\(p\geq1\)，\(\int_1^{+\infty}\frac{x^{p-1}}{1+x}dx\)发散，结论完全不成立。

2. 倒代换的符号与指数化简错误
   倒代换\(x=1/t\)时，\(dx=-1/t^2 dt\)的负号必须与积分上下限的翻转对应，否则会出现符号错误；指数化简时需注意分母\(1+1/t\)带来的额外\(t\)因子，极易算错指数。

3. 级数下标替换的符号错误
   处理\((1,+\infty)\)的级数时，下标替换\(k=n+1\)后，\((-1)^n=(-1)^{k-1}=-(-1)^k\)，初学者极易漏掉负号，导致最终级数符号完全错误。

4. 跳过收敛验证直接交换积分与求和
   这是最常见的错误，认为逐点收敛即可交换积分与求和，忽略了一致收敛/控制收敛的必要条件，会导致错误的计算结果。

---

五、拓展应用与延伸

1. 经典特例：正态分布积分的来源
   令\(p=1/2\)，代入余元公式得：

   \[\int_{0}^{+\infty} \frac{x^{-1/2}}{1+x} dx = \frac{\pi}{\sin(\pi/2)} = \pi \]

   做变量代换\(t=\sqrt{x}\)，\(x=t^2\)，\(dx=2tdt\)，代入得：

   \[2\int_{0}^{+\infty} \frac{1}{1+t^2}dt = \pi \]

   进一步可推导出\(\Gamma(1/2)=\sqrt{\pi}\)，这正是正态分布积分\(\int_{-\infty}^{+\infty}e^{-x^2}dx=\sqrt{\pi}\)的核心来源。

2. 级数求和的应用
   令\(p=1/2\)，代入级数展开式可得到经典级数和：

   \[\sum_{n=1}^{\infty} \frac{(-1)^n}{1-4n^2} = \frac{\pi-2}{4} \]

3. 概率论与统计学应用
   贝塔分布的概率密度函数为\(f(x)=\frac{x^{\alpha-1}(1-x)^{\beta-1}}{B(\alpha,\beta)}\)，其中\(B(\alpha,\beta)=\frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)}\)，余元公式是计算贝塔函数、伽马函数值的核心工具，在贝叶斯统计、概率分布计算中广泛应用。

4. 复分析对照
   该积分也可通过复分析中的留数定理，取钥匙孔围道完成证明，与实分析方法形成对照，体现了实分析与复分析的内在统一性。

---

例16.1.6 完整解析与深度解读

本题是指数函数傅里叶展开的经典母题，核心是通过非对称区间的傅里叶系数计算，结合周期延拓后的收敛定理，求解无法用初等方法（泰勒展开、裂项相消等）处理的数项级数和，是傅里叶级数在分析学中最具代表性的应用之一。

---

一、题目核心信息

• 核心任务1：将\(f(x)=e^{ax}\)在区间\((0,2\pi)\)上展开为以\(2\pi\)为周期的傅里叶级数；
• 核心任务2：利用展开式求数项级数\(\sum_{n=1}^{\infty}\frac{1}{1+n^2}\)的和。

---

二、完整推导过程（每步标注理论依据）

步骤1：明确傅里叶系数的计算框架

对于定义在\((0,2\pi)\)上的函数，以\(2\pi\)为周期的傅里叶系数公式为：

\[\begin{align*} a_n &= \frac{1}{\pi}\int_{0}^{2\pi} f(x)\cos nx dx, \quad n=0,1,2,\dots \\ b_n &= \frac{1}{\pi}\int_{0}^{2\pi} f(x)\sin nx dx, \quad n=1,2,\dots \end{align*} \]

\(f(x)=e^{ax}\)在\((0,2\pi)\)上无奇偶性，无法通过对称区间简化，需直接计算积分。

---

步骤2：推导核心积分公式（补充教材省略的推导）

指数函数乘三角函数的积分是本题的计算基础，通过两次分部积分推导通用公式：
对积分\(I = \int e^{kx}\cos mx dx\)，令\(u=\cos mx\)，\(dv=e^{kx}dx\)，则\(du=-m\sin mx dx\)，\(v=\frac{e^{kx}}{k}\)，由分部积分公式\(\int u dv = uv|_a^b - \int v du\)得：

\[I = \frac{e^{kx}\cos mx}{k} + \frac{m}{k}\int e^{kx}\sin mx dx \]

对剩余积分再次分部积分，令\(u=\sin mx\)，\(dv=e^{kx}dx\)，整理后代回原式，最终得到通用积分公式：

\[\boldsymbol{\int e^{kx}\cos mx dx = \frac{e^{kx}(k\cos mx + m\sin mx)}{k^2+m^2} + C} \]

同理可得正弦积分公式：

\[\boldsymbol{\int e^{kx}\sin mx dx = \frac{e^{kx}(k\sin mx - m\cos mx)}{k^2+m^2} + C} \]

---

步骤3：计算傅里叶系数\(a_n\)

令\(k=a\)，\(m=n\)，代入积分公式，上下限取\(0\)到\(2\pi\)：

\[a_n = \frac{1}{\pi} \cdot \left. \frac{e^{ax}(a\cos nx + n\sin nx)}{a^2+n^2} \right|_{0}^{2\pi} \]

代入上下限化简（\(\cos2n\pi=1\)，\(\sin2n\pi=0\)，\(\cos0=1\)，\(\sin0=0\)）：

\[a_n = \frac{1}{\pi} \cdot \frac{a e^{2a\pi} - a \cdot e^0}{a^2+n^2} = \boldsymbol{\frac{e^{2a\pi}-1}{\pi} \cdot \frac{a}{a^2+n^2}, \quad n=0,1,2,\dots} \]

验证：\(n=0\)时，\(a_0=\frac{e^{2a\pi}-1}{\pi}\cdot\frac{1}{a}\)，与直接积分\(\int_{0}^{2\pi}e^{ax}dx\)的结果完全一致。

---

步骤4：计算傅里叶系数\(b_n\)

同理代入正弦积分公式，上下限取\(0\)到\(2\pi\)：

\[b_n = \frac{1}{\pi} \cdot \left. \frac{e^{ax}(a\sin nx - n\cos nx)}{a^2+n^2} \right|_{0}^{2\pi} \]

代入上下限化简：

\[b_n = \frac{1}{\pi} \cdot \frac{-n e^{2a\pi} - (-n) \cdot e^0}{a^2+n^2} = \boldsymbol{\frac{e^{2a\pi}-1}{\pi} \cdot \frac{-n}{a^2+n^2}, \quad n=1,2,\dots} \]

---

步骤5：写出傅里叶展开式与收敛域

将系数代入傅里叶级数标准形式\(\frac{a_0}{2} + \sum_{n=1}^\infty (a_n\cos nx + b_n\sin nx)\)，整理得：

\[\boldsymbol{e^{ax} = \frac{e^{2a\pi}-1}{\pi} \left( \frac{1}{2a} + \sum_{n=1}^{\infty} \frac{a\cos nx - n\sin nx}{a^2+n^2} \right), \quad 0<x<2\pi} \]

等号成立的依据：狄利克雷收敛定理。\(f(x)=e^{ax}\)在\((0,2\pi)\)内连续且分段光滑，因此在\((0,2\pi)\)内，级数收敛到\(f(x)\)本身。

---

步骤6：周期延拓与间断点的收敛值

将\(f(x)=e^{ax}(0<x<2\pi)\)延拓为\((-\infty,+\infty)\)上以\(2\pi\)为周期的函数\(\tilde{f}(x)\)，则在间断点\(x=2k\pi(k\in\mathbb{Z})\)处，级数收敛到左右极限的平均：

\[\tilde{f}(2k\pi) = \frac{f(2\pi-0) + f(0+0)}{2} = \frac{e^{2a\pi} + e^{0}}{2} = \boldsymbol{\frac{e^{2a\pi}+1}{2}} \]

这是本题赋值求和的核心依据，也是最容易出错的关键点。

---

步骤7：赋值求数项级数\(\sum_{n=1}^\infty \frac{1}{1+n^2}\)的和

令\(a=1\)，\(x=0\)（延拓后的间断点），代入延拓后的傅里叶级数：

• 左边：\(\tilde{f}(0) = \frac{e^{2\pi}+1}{2}\)
• 右边：\(\frac{e^{2\pi}-1}{\pi} \left( \frac{1}{2} + \sum_{n=1}^{\infty} \frac{1\cdot\cos0 - n\cdot\sin0}{1+n^2} \right) = \frac{e^{2\pi}-1}{\pi} \left( \frac{1}{2} + \sum_{n=1}^{\infty} \frac{1}{1+n^2} \right)\)

联立方程求解：

\[\frac{e^{2\pi}+1}{2} = \frac{e^{2\pi}-1}{\pi} \left( \frac{1}{2} + \sum_{n=1}^{\infty} \frac{1}{1+n^2} \right) \]

1. 两边乘以\(\frac{\pi}{e^{2\pi}-1}\)，得：
   \[\frac{\pi(e^{2\pi}+1)}{2(e^{2\pi}-1)} = \frac{1}{2} + \sum_{n=1}^{\infty} \frac{1}{1+n^2} \]

2. 移项整理得最终结果：
   \[\boldsymbol{\sum_{n=1}^{\infty} \frac{1}{1+n^2} = \frac{\pi}{2} \cdot \frac{e^{2\pi}+1}{e^{2\pi}-1} - \frac{1}{2}} \]

简洁形式：利用双曲余切函数\(\coth x = \frac{e^{2x}+1}{e^{2x}-1}\)，可将结果简化为\(\sum_{n=1}^{\infty} \frac{1}{1+n^2} = \frac{\pi \coth\pi - 1}{2}\)，这是该级数和的标准形式。

---

三、高频易错点警示

1. 间断点赋值错误（最致命错误）
   \(x=0\)是周期延拓后的第一类间断点，必须用左右极限的平均\(\frac{e^{2\pi}+1}{2}\)赋值，绝对不能直接用原函数值\(f(0)=1\)，否则会得到完全错误的结果。

2. 积分公式的符号错误
   计算\(b_n\)时，正弦积分公式的分子为\(a\sin nx - n\cos nx\)，代入上下限时符号极易出错，必须严格核对边界项的符号。

3. 常数项的系数遗漏
   傅里叶级数的常数项是\(\frac{a_0}{2}\)，初学者常直接用\(a_0\)代入，漏掉\(\frac{1}{2}\)的系数，导致结果偏差。

4. 收敛域的误用
   原展开式仅在\((0,2\pi)\)内收敛到\(e^{ax}\)，在区间外无原函数意义，赋值时必须使用周期延拓后的收敛值。

---

四、拓展应用与延伸

1. 同源级数求和

令\(a=1\)，\(x=\pi\)（\((0,2\pi)\)内的连续点），代入展开式可求得交错级数和：

\[\sum_{n=1}^{\infty} \frac{(-1)^n}{1+n^2} = \frac{\pi}{2\sinh\pi} - \frac{1}{2} \]

2. 通用级数公式

对任意非整数\(a\)，可推广得到通用结论：

\[\sum_{n=1}^{\infty} \frac{1}{a^2+n^2} = \frac{\pi a \coth\pi a - 1}{2a^2} \]

这是数论中二次型求和、特殊函数计算的核心公式。

3. 理论衔接

该级数和与复分析中的Mittag-Leffler定理（亚纯函数的分式展开）完全一致，与余切函数的分式展开\(\pi\cot\pi a = \frac{1}{a} + 2a\sum_{n=1}^\infty \frac{1}{a^2-n^2}\)同源，体现了实分析与复分析的内在统一性。

4. 工程应用

指数函数的傅里叶展开是信号处理中指数衰减信号频谱分析、控制工程中一阶系统频率响应分析的基础工具。

---

五、注16.1.2 深度解读

注中提到“经某个函数的Fourier级数的计算，并取特殊点求得一些数项级数之和，这些数项级数之和是难以用其他方法得到的”，其核心原因是：

1. 泰勒级数仅能展开无穷次可微的函数，且仅在收敛区间内有效，对非光滑函数、间断函数完全无能为力；
2. 裂项相消、等比级数等初等方法仅能处理结构特殊的级数，对含\(\frac{1}{n^2+a^2}\)、\(\frac{1}{a^2-n^2}\)的级数完全失效；
3. 傅里叶级数仅要求函数可积或绝对可积，适用范围极广，通过三角函数的正交分解，实现了离散无穷级数和与连续函数值的双向转化，这是傅里叶级数在分析学中不可替代的核心价值。

---

半区间函数的傅里叶展开：奇偶延拓与正/余弦级数

本部分是傅里叶级数理论的核心工程应用延伸，解决了仅定义在有限半区间\((0,\pi)\)上的非周期函数的傅里叶展开问题，是数学物理方程（热传导、弦振动方程）、信号处理、有限元分析的核心基础工具，也是数学专业考研、数学竞赛的高频考点。

---

一、核心问题与延拓思想

傅里叶级数的本质是周期函数的正交基分解，仅定义在\((0,\pi)\)上的函数本身不具备周期性，无法直接展开为傅里叶级数。我们通过两步延拓法解决这个问题：

1. 对称延拓：将\((0,\pi)\)上的函数补充定义到对称区间\((-\pi,0)\)上，得到\((-\pi,\pi)\)上的完整函数；
2. 周期延拓：将\((-\pi,\pi)\)上的函数以\(2\pi\)为周期延拓到整个实数轴，得到周期为\(2\pi\)的周期函数，即可展开为傅里叶级数。

核心性质：无论在\((-\pi,0)\)上如何补充定义，得到的傅里叶级数在原区间\((0,\pi)\)的连续点上，都收敛到原函数\(f(x)\)。工程中最常用偶延拓和奇延拓，可利用奇偶性大幅简化傅里叶系数的计算。

---

二、偶延拓与余弦级数

1. 定义与延拓操作

设\(f(x)\)是定义在\((0,\pi)\)上的函数，令

\[f(x) = f(-x), \quad x\in(-\pi,0) \]

该操作将\(f(x)\)补充定义为\((-\pi,\pi)\)上的偶函数，称为偶延拓。

2. 傅里叶系数公式推导

利用偶函数在对称区间的积分性质，可直接简化傅里叶系数：

• 偶函数×偶函数=偶函数，对称区间积分可简化为半区间积分的2倍；
• 偶函数×奇函数=奇函数，对称区间积分为0。

因此傅里叶系数为：

\[\begin{align*} a_n &= \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx dx = \boldsymbol{\frac{2}{\pi}\int_{0}^{\pi} f(x)\cos nx dx}, \quad n=0,1,2,\dots \\ b_n &= \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin nx dx = \boldsymbol{0}, \quad n=1,2,\dots \end{align*} \]

3. 级数形式与收敛性

偶延拓后的傅里叶级数仅含常数项和余弦项，称为余弦级数：

\[\boldsymbol{f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty} a_n \cos nx, \quad x\in(0,\pi)} \]

收敛性结论：

• 在\((0,\pi)\)内的连续点，级数收敛到\(f(x)\)；
• 在端点\(x=0\)和\(x=\pi\)处，偶延拓后的函数在这两点连续，因此级数分别收敛到\(f(0)\)和\(f(\pi)\)，与原函数端点值完全一致。

---

三、奇延拓与正弦级数

1. 定义与延拓操作

设\(f(x)\)是定义在\((0,\pi)\)上的函数，令

\[f(x) = -f(-x), \quad x\in(-\pi,0) \]

该操作将\(f(x)\)补充定义为\((-\pi,\pi)\)上的奇函数，称为奇延拓。

关键注记：由奇函数的定义\(f(0) = -f(-0) = -f(0)\)，必须令\(f(0)=0\)，否则不满足奇函数的性质，会导致延拓失败。

2. 傅里叶系数公式推导

利用奇函数在对称区间的积分性质，简化傅里叶系数：

• 奇函数×偶函数=奇函数，对称区间积分为0；
• 奇函数×奇函数=偶函数，对称区间积分可简化为半区间积分的2倍。

因此傅里叶系数为：

\[\begin{align*} a_n &= \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx dx = \boldsymbol{0}, \quad n=0,1,2,\dots \\ b_n &= \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin nx dx = \boldsymbol{\frac{2}{\pi}\int_{0}^{\pi} f(x)\sin nx dx}, \quad n=1,2,\dots \end{align*} \]

3. 级数形式与收敛性

奇延拓后的傅里叶级数仅含正弦项，称为正弦级数：

\[\boldsymbol{f(x) \sim \sum_{n=1}^{\infty} b_n \sin nx, \quad x\in(0,\pi)} \]

收敛性结论：

• 在\((0,\pi)\)内的连续点，级数收敛到\(f(x)\)；
• 在端点\(x=0\)和\(x=\pi\)处，奇延拓后的函数在这两点的函数值为0，因此级数固定收敛到0，与原函数在端点的取值无关。

---

四、奇偶延拓核心对比表

对比维度	偶延拓（余弦级数）	奇延拓（正弦级数）
延拓规则	\(f(x)=f(-x),\ x\in(-\pi,0)\)	\(f(x)=-f(-x),\ x\in(-\pi,0)\)
延拓后函数性质	\((-\pi,\pi)\)上的偶函数	\((-\pi,\pi)\)上的奇函数
非零系数	余弦系数\(a_n\)（含常数项）	正弦系数\(b_n\)
系数公式	\(a_n=\frac{2}{\pi}\int_0^\pi f(x)\cos nx dx\)	\(b_n=\frac{2}{\pi}\int_0^\pi f(x)\sin nx dx\)
级数形式	仅含常数项和余弦项	仅含正弦项
端点\(x=0,\pi\)收敛值	收敛到原函数值\(f(0),f(\pi)\)	固定收敛到0，与原函数值无关
核心适用场景	边界值非零的稳态问题（热传导、静电场）	齐次边界条件的波动问题（弦振动、传输线）

---

五、关键细节与易错警示

1. 系数公式的系数错误
   奇偶延拓后的系数公式是\(\boldsymbol{\frac{2}{\pi}}\)乘以\((0,\pi)\)上的积分，而非对称区间傅里叶系数的\(\frac{1}{\pi}\)，这是初学者最易犯的计算错误。

2. 端点收敛性的混淆

   • 余弦级数在\(x=0,x=\pi\)处收敛到原函数值，可直接写等号；
   • 正弦级数在\(x=0,x=\pi\)处固定收敛到0，与原函数端点值无关，不可直接写等号。

3. 奇延拓的\(f(0)\)处理
   奇延拓必须强制令\(f(0)=0\)，否则不满足奇函数的定义，会导致延拓后的函数不是奇函数，系数计算全部错误。

4. 延拓的本质认知
   奇偶延拓只是获取傅里叶级数的工具，原函数仅在\((0,\pi)\)上有定义，延拓后的级数在整个实数轴收敛，但仅在\((0,\pi)\)的连续点上等于原函数，在区间外无原函数的意义。

5. 展开的前提条件
   只要\(f(x)\)在\((0,\pi)\)上满足Dini定理的条件（如分段光滑、连续、满足利普希茨条件），就可以展开为正弦级数或余弦级数。

---

六、拓展与应用

1. 任意周期\((0,l)\)的半区间延拓推广

工程中更常见的是定义在\((0,l)\)上的函数，可完全类比奇偶延拓方法，得到通用展开公式：

• 偶延拓（余弦级数）：
  \[f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty} a_n \cos\frac{n\pi x}{l}, \quad \boldsymbol{a_n = \frac{2}{l}\int_{0}^{l} f(x)\cos\frac{n\pi x}{l}dx} \]

• 奇延拓（正弦级数）：
  \[f(x) \sim \sum_{n=1}^{\infty} b_n \sin\frac{n\pi x}{l}, \quad \boldsymbol{b_n = \frac{2}{l}\int_{0}^{l} f(x)\sin\frac{n\pi x}{l}dx} \]

2. 核心工程应用场景

• 余弦级数：用于边界值非零的稳态问题，如固定边界温度分布的热传导方程、静态电场的电位分布求解，是数学物理方程分离变量法的核心工具。
• 正弦级数：用于齐次边界条件的波动问题，如两端固定的弦振动方程、两端接地的传输线方程，是有限元分析、振动工程的基础。

---

七、基础配套例题

题干

将函数\(f(x)=1,\ x\in(0,\pi)\)分别展开为余弦级数和正弦级数。

解答

（1）展开为余弦级数（偶延拓）

计算系数：

\[a_0 = \frac{2}{\pi}\int_{0}^{\pi} 1 dx = 2 \]

\[a_n = \frac{2}{\pi}\int_{0}^{\pi} 1\cdot\cos nx dx = \frac{2}{\pi}\cdot\left. \frac{\sin nx}{n} \right|_{0}^{\pi} = 0, \quad n\geq1 \]

因此余弦级数为：

\[1 = 1, \quad x\in[0,\pi] \]

（偶延拓后\(f(x)=1\)是常数函数，傅里叶级数就是其本身，符合预期）

（2）展开为正弦级数（奇延拓）

计算系数：

\[b_n = \frac{2}{\pi}\int_{0}^{\pi} 1\cdot\sin nx dx = \frac{2}{\pi}\cdot\left. \frac{-\cos nx}{n} \right|_{0}^{\pi} = \frac{2[1-(-1)^n]}{\pi n} \]

\(n\)为偶数时\(b_n=0\)，\(n\)为奇数时\(b_n=\frac{4}{\pi n}\)，因此正弦级数为：

\[1 = \frac{4}{\pi}\sum_{k=1}^{\infty} \frac{\sin(2k-1)x}{2k-1}, \quad x\in(0,\pi) \]

在端点\(x=0\)和\(x=\pi\)处，级数收敛到0，与原函数值1不同，验证了正弦级数的端点收敛性质。

---

例16.1.7 完整解析与深度解读

本题是半区间函数傅里叶展开的经典母题，完整演示了偶延拓（余弦级数）与奇延拓（正弦级数）的标准流程，同时通过赋值法求解了经典数项级数的和，是数学专业考研、数学物理方程应用的核心基础题型。

---

题干

将函数\(f(x)=x,\ x\in(0,\pi)\)分别展开为余弦级数与正弦级数。

---

一、展开为余弦级数（偶延拓）

1. 延拓操作

要得到仅含余弦项的级数，需先完成两步延拓：

1. 偶延拓：将\((0,\pi)\)上的\(f(x)=x\)补充定义到\((-\pi,0)\)，令\(f(x)=-x,\ x\in(-\pi,0)\)，此时\((-\pi,\pi)\)上的函数为\(f(x)=|x|\)（偶函数）；
2. 周期延拓：将\((-\pi,\pi)\)上的偶函数以\(2\pi\)为周期延拓到整个实数轴，得到连续的三角波函数（图16.1.6），该函数在\(\mathbb{R}\)上处处连续、分段光滑，无间断点。

2. 傅里叶系数计算

偶延拓后，正弦系数\(b_n\equiv0\)（奇函数在对称区间的积分为0），仅需计算余弦系数，公式为\(a_n=\frac{2}{\pi}\int_0^\pi f(x)\cos nx dx\)：

1. 常数项\(a_0\)：

   \[a_0 = \frac{2}{\pi}\int_0^\pi x dx = \frac{2}{\pi}\cdot\left.\frac{x^2}{2}\right|_0^\pi = \pi \]

2. 余弦系数\(a_n(n\geq1)\)：
   采用分部积分法，令\(u=x\)，\(dv=\cos nx dx\)，则\(du=dx\)，\(v=\frac{1}{n}\sin nx\)，由分部积分公式\(\int u dv = uv|_a^b - \int v du\)得：

   \[a_n = \frac{2}{\pi}\int_0^\pi x\cos nx dx = \frac{2}{n\pi}\left( x\sin nx\bigg|_0^\pi - \int_0^\pi \sin nx dx \right) \]
   • 边界项：\(\sin n\pi=0\)，\(\sin0=0\)，因此第一项为0；
   • 剩余积分计算：\(\int_0^\pi \sin nx dx = -\frac{\cos nx}{n}\bigg|_0^\pi = \frac{1-(-1)^n}{n}\)。

   代入化简得：

   \[a_n = \frac{2\left[ (-1)^n - 1 \right]}{n^2\pi} \]

   系数的取值规律：

   • 当\(n\)为偶数（\(n=2k,\ k\in\mathbb{N}^*\)）时，\((-1)^n-1=0\)，故\(a_{2k}=0\)；
   • 当\(n\)为奇数（\(n=2k-1,\ k\in\mathbb{N}^*\)）时，\((-1)^n-1=-2\)，故\(a_{2k-1} = -\frac{4}{(2k-1)^2\pi}\)。

3. 展开式与收敛域

延拓后的三角波函数在\(\mathbb{R}\)上处处连续，由傅里叶收敛定理，级数在整个实数轴上收敛到延拓后的函数，在原区间\([0,\pi]\)上收敛到\(f(x)=x\)，最终展开式为：

\[\boldsymbol{x = \frac{\pi}{2} - \frac{4}{\pi}\sum_{k=1}^{\infty} \frac{\cos\left[(2k-1)x\right]}{(2k-1)^2}, \quad x\in[0,\pi]} \]

⚠️ 教材排版笔误纠正：图片中公式写为\(\cos(2k-1)\pi\)是明显的排版错误，正确应为\(\cos[(2k-1)x]\)，否则展开式不成立。

4. 赋值法求数项级数和

令\(x=0\)，代入展开式（\(\cos0=1\)），得：

\[0 = \frac{\pi}{2} - \frac{4}{\pi}\sum_{k=1}^{\infty} \frac{1}{(2k-1)^2} \]

整理得到经典结论：

\[\boldsymbol{\sum_{k=1}^{\infty} \frac{1}{(2k-1)^2} = \frac{\pi^2}{8}} \]

5. 结果验证（巴塞尔问题）

通过自然数平方倒数和的结论可验证该结果的正确性：
将全体自然数的平方倒数和拆分为奇数项和偶数项之和：

\[\sum_{n=1}^{\infty} \frac{1}{n^2} = \sum_{k=1}^{\infty} \frac{1}{(2k-1)^2} + \sum_{k=1}^{\infty} \frac{1}{(2k)^2} \]

其中偶数项和为\(\sum_{k=1}^{\infty} \frac{1}{(2k)^2} = \frac{1}{4}\sum_{k=1}^{\infty} \frac{1}{k^2}\)，代入巴塞尔问题的结论\(\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}\)，得：

\[\sum_{k=1}^{\infty} \frac{1}{(2k-1)^2} = \frac{3}{4}\times\frac{\pi^2}{6} = \frac{\pi^2}{8} \]

与赋值结果完全一致，验证了展开式的正确性。

---

二、展开为正弦级数（奇延拓）

1. 延拓操作

要得到仅含正弦项的级数，需完成两步延拓：

1. 奇延拓：将\((0,\pi)\)上的\(f(x)=x\)补充定义到\((-\pi,0)\)，令\(f(x)=x,\ x\in(-\pi,0)\)，此时\((-\pi,\pi)\)上的函数为\(f(x)=x\)（奇函数）；
2. 周期延拓：将\((-\pi,\pi)\)上的奇函数以\(2\pi\)为周期延拓到整个实数轴，得到锯齿波函数（图16.1.7），该函数在\(x=(2k-1)\pi(k\in\mathbb{Z})\)处为第一类间断点。

2. 傅里叶系数计算

奇延拓后，余弦系数\(a_n\equiv0\)（偶函数在对称区间的积分为0），仅需计算正弦系数，公式为\(b_n=\frac{2}{\pi}\int_0^\pi f(x)\sin nx dx\)，由例16.1.1的分部积分结果，直接得：

\[b_n = \frac{2(-1)^{n+1}}{n}, \quad n=1,2,\dots \]

3. 展开式与收敛域

由傅里叶收敛定理：

• 在\(x\in(0,\pi)\)内，级数收敛到\(f(x)=x\)；
• 在端点\(x=0\)和\(x=\pi\)处，奇延拓后的函数在这两点收敛到0，与\(f(0)=0\)一致，但与\(f(\pi)=\pi\)不同；
• 在间断点\(x=(2k-1)\pi\)处，级数收敛到\(\frac{f(\pi-0)+f(\pi+0)}{2}=\frac{\pi+(-\pi)}{2}=0\)。

最终展开式为：

\[\boldsymbol{x = 2\sum_{n=1}^{\infty} \frac{(-1)^{n-1}\sin nx}{n}, \quad x\in[0,\pi)} \]

周期延拓后的函数在整个实数轴的展开式为：

\[\tilde{f}(x) = 2\sum_{n=1}^{\infty} \frac{(-1)^{n-1}\sin nx}{n}, \quad x\in(-\infty,+\infty),\ x\neq(2k-1)\pi \]

---

三、高频易错警示

1. 排版笔误纠正
   教材中余弦级数展开式的\(\cos(2k-1)\pi\)是明显错误，正确应为\(\cos[(2k-1)x]\)。若按原式计算，\(\cos(2k-1)\pi=-1\)，代入\(x=0\)会得到\(0=\pi\)的矛盾结果，需特别注意。

2. 端点收敛性的核心区别

   • 余弦级数（偶延拓）：延拓后的函数在\(x=0,x=\pi\)处连续，因此展开式在\([0,\pi]\)上处处成立，端点可直接写等号；
   • 正弦级数（奇延拓）：延拓后的函数在\(x=\pi\)处收敛到0，与原函数值\(\pi\)不同，因此展开式的成立区间是\([0,\pi)\)，\(x=\pi\)处不收敛到原函数。

3. 系数公式的系数错误
   奇偶延拓后的系数公式是\(\boldsymbol{\frac{2}{\pi}}\)乘以\((0,\pi)\)上的积分，而非对称区间的\(\frac{1}{\pi}\)，初学者极易漏掉系数2，导致结果错误。

4. 分部积分的符号错误
   计算\(a_n\)时，\(\int \sin nx dx = -\frac{\cos nx}{n}\)，符号极易出错，需严格核对分部积分的每一步。

---

四、深度解读与拓展

1. 收敛速度的本质差异

• 余弦级数的系数为\(O\left(\frac{1}{n^2}\right)\)，级数绝对一致收敛，仅需前几项就能得到极高的逼近精度；
• 正弦级数的系数为\(O\left(\frac{1}{n}\right)\)，级数仅条件收敛，收敛速度极慢，需要大量项才能逼近原函数。

本质原因：函数的光滑性决定了傅里叶系数的衰减速度。偶延拓后的三角波是连续函数，一阶导数分段连续；而奇延拓后的锯齿波存在第一类间断点，光滑性更差，因此系数衰减更慢。

2. 工程应用意义

• 偶延拓的三角波：频谱仅含奇次谐波，谐波幅度按\(1/n^2\)衰减，高频分量极少，是信号处理中常用的低噪声波形；
• 奇延拓的锯齿波：频谱包含所有整数次谐波，谐波幅度按\(1/n\)衰减，高频分量丰富，广泛用于示波器、信号发生器的扫描电路。

---

周期为\(2l\)的函数的傅里叶展开

本部分是傅里叶级数理论的通用化工程推广，将周期为\(2\pi\)的傅里叶展开体系，拓展到任意周期\(T=2l\)的函数，是傅里叶级数从纯理论走向工程实际应用的核心桥梁——现实中绝大多数周期信号的周期都不是\(2\pi\)，而是任意长度（如交流电周期\(0.02\mathrm{s}\)、机械振动周期\(T\)等），本部分的通用公式是信号处理、电路分析、振动工程的核心基础工具。

---

一、核心思想：化归法推导

我们已经完整解决了周期为\(2\pi\)的函数的傅里叶展开问题，对于任意周期\(2l\)的函数，核心思路是通过线性变量代换，将未知的任意周期问题，转化为已经解决的\(2\pi\)周期问题，无需重新从零推导。

定义16.1.4 变量代换与周期转化

设\(f(x)\)是以\(2l\)为周期的函数，做线性变量代换：

\[\boldsymbol{x = \frac{l}{\pi} t} \quad \Leftrightarrow \quad \boldsymbol{t = \frac{\pi}{l}x} \]

记\(g(t) = f\left( \frac{l}{\pi}t \right)\)，则\(g(t)\)是以\(2\pi\)为周期的函数，推导如下：

\[g(t+2\pi) = f\left( \frac{l}{\pi}(t+2\pi) \right) = f\left( \frac{l}{\pi}t + 2l \right) = f\left( \frac{l}{\pi}t \right) = g(t) \]

完全匹配\(2\pi\)周期函数的定义。

---

二、完整推导：周期\(2l\)的傅里叶级数与系数公式

步骤1：\(g(t)\)的\(2\pi\)周期傅里叶展开

若\(g(t)\)满足Dini定理的收敛条件（分段光滑、第一类间断点），则可展开为\(2\pi\)周期的傅里叶级数：

\[g(t) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left( a_n \cos nt + b_n \sin nt \right) \]

其中系数为：

\[\begin{align*} a_n &= \frac{1}{\pi} \int_{-\pi}^{\pi} g(t)\cos nt dt, \quad n=0,1,2,\dots \\ b_n &= \frac{1}{\pi} \int_{-\pi}^{\pi} g(t)\sin nt dt, \quad n=1,2,\dots \end{align*} \]

步骤2：变量回代，还原为关于\(x\)的展开式

将\(t = \frac{\pi}{l}x\)代回，有：

• \(\cos nt = \cos\left( \frac{n\pi x}{l} \right)\)，\(\sin nt = \sin\left( \frac{n\pi x}{l} \right)\)；
• 微分变换：\(dt = \frac{\pi}{l}dx\)；
• 积分上下限：\(t=-\pi \leftrightarrow x=-l\)，\(t=\pi \leftrightarrow x=l\)；
• 函数关系：\(g(t)=f(x)\)。

步骤3：推导\(f(x)\)的傅里叶系数

将上述变换代入\(a_n\)的表达式：

\[a_n = \frac{1}{\pi} \int_{-l}^{l} f(x) \cos\left( \frac{n\pi x}{l} \right) \cdot \frac{\pi}{l} dx \]

约去\(\pi\)后，得到周期\(2l\)的余弦系数公式：

\[\boldsymbol{a_n = \frac{1}{l} \int_{-l}^{l} f(x) \cos\left( \frac{n\pi x}{l} \right) dx, \quad n=0,1,2,\dots} \]

同理，代入\(b_n\)的表达式，得到正弦系数公式：

\[\boldsymbol{b_n = \frac{1}{l} \int_{-l}^{l} f(x) \sin\left( \frac{n\pi x}{l} \right) dx, \quad n=1,2,\dots} \]

步骤4：最终傅里叶展开式

结合收敛定理，在\(f(x)\)的连续点处，有：

\[\boldsymbol{f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left[ a_n \cos\left( \frac{n\pi x}{l} \right) + b_n \sin\left( \frac{n\pi x}{l} \right) \right]} \]

在\(f(x)\)的第一类间断点\(x_0\)处，级数收敛到\(\frac{f(x_0+0)+f(x_0-0)}{2}\)。

---

三、半区间\((0,l)\)上的函数展开：奇偶延拓的推广

对于仅定义在半区间\((0,l)\)上的函数，完全类比\((0,\pi)\)的奇偶延拓方法，可将其展开为余弦级数或正弦级数，仅需将\(\pi\)替换为\(l\)，三角函数的自变量替换为\(\frac{n\pi x}{l}\)。

1. 偶延拓与余弦级数

将\((0,l)\)上的函数偶延拓到\((-l,0)\)，再周期延拓到整个实数轴，得到仅含余弦项的级数：

\[\boldsymbol{f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} a_n \cos\left( \frac{n\pi x}{l} \right), \quad x\in(0,l)} \]

其中系数仅需在半区间\((0,l)\)上计算：

\[\boldsymbol{a_n = \frac{2}{l} \int_{0}^{l} f(x) \cos\left( \frac{n\pi x}{l} \right) dx, \quad n=0,1,2,\dots} \]

• 收敛性：在\((0,l)\)的连续点收敛到\(f(x)\)，在端点\(x=0,x=l\)处收敛到\(f(0),f(l)\)。

2. 奇延拓与正弦级数

将\((0,l)\)上的函数奇延拓到\((-l,0)\)，再周期延拓到整个实数轴，得到仅含正弦项的级数：

\[\boldsymbol{f(x) = \sum_{n=1}^{\infty} b_n \sin\left( \frac{n\pi x}{l} \right), \quad x\in(0,l)} \]

其中系数仅需在半区间\((0,l)\)上计算：

\[\boldsymbol{b_n = \frac{2}{l} \int_{0}^{l} f(x) \sin\left( \frac{n\pi x}{l} \right) dx, \quad n=1,2,\dots} \]

• 收敛性：在\((0,l)\)的连续点收敛到\(f(x)\)，在端点\(x=0,x=l\)处固定收敛到\(0\)。

---

四、核心公式对比表（周期\(2\pi\) vs 周期\(2l\)）

对比维度	周期\(2\pi\)的傅里叶级数	周期\(2l\)的傅里叶级数
周期	\(T=2\pi\)	\(T=2l\)
基波角频率	\(\omega_0=1\)	\(\omega_0=\frac{\pi}{l}\)（对应周期\(2l\)）
级数形式	\(f(x)=\frac{a_0}{2}+\sum_{n=1}^\infty (a_n\cos nx + b_n\sin nx)\)	\(f(x)=\frac{a_0}{2}+\sum_{n=1}^\infty \left(a_n\cos\frac{n\pi x}{l} + b_n\sin\frac{n\pi x}{l}\right)\)
全区间系数公式	\(a_n=\frac{1}{\pi}\int_{-\pi}^\pi f(x)\cos nx dx\) \(b_n=\frac{1}{\pi}\int_{-\pi}^\pi f(x)\sin nx dx\)	\(a_n=\frac{1}{l}\int_{-l}^l f(x)\cos\frac{n\pi x}{l} dx\) \(b_n=\frac{1}{l}\int_{-l}^l f(x)\sin\frac{n\pi x}{l} dx\)
半区间\((0,l)\)余弦级数	\(a_n=\frac{2}{\pi}\int_0^\pi f(x)\cos nx dx\)	\(a_n=\frac{2}{l}\int_0^l f(x)\cos\frac{n\pi x}{l} dx\)
半区间\((0,l)\)正弦级数	\(b_n=\frac{2}{\pi}\int_0^\pi f(x)\sin nx dx\)	\(b_n=\frac{2}{l}\int_0^l f(x)\sin\frac{n\pi x}{l} dx\)

---

五、高频易错点警示

1. 基频与角频率的混淆
   周期\(2l\)的基波角频率是\(\frac{\pi}{l}\)，而非\(\frac{2\pi}{l}\)。本质原因：\(\cos\left(\frac{n\pi x}{l}\right)\)的周期为\(\frac{2\pi}{n\pi/l}=\frac{2l}{n}\)，\(n=1\)时基波周期恰好为\(2l\)，与原函数周期匹配。

2. 系数的分母错误
   全区间展开的系数分母是\(l\)，而非\(2l\)或\(\pi\)；半区间展开的系数分母是\(l\)，系数为\(\frac{2}{l}\)，而非\(\frac{1}{l}\)。核心记忆点：\(2\pi\)周期的系数是\(\frac{1}{\pi}\)，对应\(2l\)周期的\(\frac{1}{l}\)，半区间均乘以2。

3. 变量代换的微分遗漏
   推导系数时，\(dt=\frac{\pi}{l}dx\)的变换是核心，初学者极易遗漏该微分项，导致系数公式推导错误。

4. 收敛域的端点错误
   半区间正弦级数在\(x=0,x=l\)处固定收敛到0，与原函数端点值无关；余弦级数在端点收敛到原函数值，二者不可混淆。

---

六、经典配套例题

例题1 周期为2的函数的傅里叶展开

• 题干：设\(f(x)\)是以\(2\)为周期的函数，\(f(x)=x,\ x\in(-1,1)\)，求其傅里叶级数。
• 解答：
  周期\(2l=2\)，故\(l=1\)，基频为\(\pi x\)。
  1. 奇偶性判断：\(f(x)=x\)是奇函数，故\(a_n=0,\ n=0,1,2,\dots\)；
  2. 计算正弦系数：
     \[b_n = \frac{2}{1}\int_{0}^{1} x\sin(n\pi x) dx = 2\cdot\left( -\frac{x\cos n\pi x}{n\pi} + \frac{\sin n\pi x}{n^2\pi^2} \right)\bigg|_0^1 = \frac{2(-1)^{n+1}}{n\pi} \]

  3. 展开式：
     \[x = \frac{2}{\pi}\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}\sin(n\pi x), \quad x\in(-1,1) \]
     在间断点\(x=\pm1,\pm3,\dots\)处，级数收敛到0。

例题2 半区间函数的展开

• 题干：将\(f(x)=1-x,\ x\in(0,1)\)分别展开为余弦级数和正弦级数。
• 解答：
  半区间长度\(l=1\)。
  1. 余弦级数（偶延拓）：
     \[a_0 = \frac{2}{1}\int_{0}^{1} (1-x)dx = 1 \]
     \[a_n = 2\int_{0}^{1} (1-x)\cos(n\pi x)dx = \frac{2[1-(-1)^n]}{n^2\pi^2} \]
     展开式：
     \[1-x = \frac{1}{2} + \frac{4}{\pi^2}\sum_{k=1}^{\infty} \frac{\cos\left[(2k-1)\pi x\right]}{(2k-1)^2}, \quad x\in[0,1] \]

  2. 正弦级数（奇延拓）：
     \[b_n = 2\int_{0}^{1} (1-x)\sin(n\pi x)dx = \frac{2}{n\pi} \]
     展开式：
     \[1-x = \frac{2}{\pi}\sum_{n=1}^{\infty} \frac{\sin(n\pi x)}{n}, \quad x\in(0,1) \]

---

七、工程应用意义

1. 通用适配性：本部分的通用公式完全适配任意周期的信号，是电路分析中周期信号频谱分析、机械振动中周期激励的响应计算、数字信号处理中离散傅里叶变换（DFT）的理论基础。
2. 物理意义：展开式中的\(\cos\left(\frac{n\pi x}{l}\right)\)和\(\sin\left(\frac{n\pi x}{l}\right)\)对应周期信号的\(n\)次谐波，\(a_n,b_n\)对应谐波的幅度，是信号谐波分析、滤波器设计的核心依据。
3. 数学物理方程的核心工具：在求解热传导方程、弦振动方程的定解问题时，分离变量法的核心就是半区间\((0,l)\)上的正/余弦级数展开，是偏微分方程数值求解的基础。

---

例16.1.8 完整解析与深度解读

本题是半区间分段函数傅里叶展开的经典工程母题，核心是三角波函数的正弦级数展开，是信号处理、振动工程、数学物理方程中最常用的基础模型之一，完整演示了分段函数半区间展开的标准流程、分部积分技巧与级数收敛性分析。

---

题干

设分段函数

\[f(x) = \begin{cases} x, & x\in\left[0,\frac{l}{2}\right] \\ l-x, & x\in\left[\frac{l}{2},l\right] \end{cases} \]

将其在\([0,l]\)上展开为正弦级数。

---

一、解题核心思路

要将定义在\([0,l]\)上的函数展开为正弦级数，需完成两步延拓：

1. 奇延拓：将\(f(x)\)补充定义到\((-l,0)\)，使其成为\((-l,l)\)上的奇函数；
2. 周期延拓：将奇函数以\(2l\)为周期延拓到整个实数轴，得到周期为\(2l\)的奇函数。

此时傅里叶级数仅含正弦项，系数公式为：

\[\boldsymbol{b_n = \frac{2}{l}\int_{0}^{l} f(x)\sin\frac{n\pi x}{l}dx, \quad n=1,2,\dots} \]

在\(f(x)\)的连续点处，级数收敛到\(f(x)\)本身。

---

二、完整分步推导（补全教材跳步细节）

步骤1：拆分分段积分

\(f(x)\)以\(x=l/2\)为分段点，因此将积分拆分为\([0,l/2]\)和\([l/2,l]\)两段：

\[b_n = \frac{2}{l}\left( \int_{0}^{\frac{l}{2}} x\sin\frac{n\pi x}{l}dx + \int_{\frac{l}{2}}^{l} (l-x)\sin\frac{n\pi x}{l}dx \right) \]

步骤2：分部积分计算第一段积分\(I_1\)

记\(I_1 = \int_{0}^{\frac{l}{2}} x\sin\frac{n\pi x}{l}dx\)，由分部积分公式\(\int u dv = uv - \int v du\)，令：

• \(u=x\)，则\(du=dx\)；
• \(dv=\sin\frac{n\pi x}{l}dx\)，则\(v=-\frac{l}{n\pi}\cos\frac{n\pi x}{l}\)。

代入分部积分公式得：

\[I_1 = -\frac{l}{n\pi}x\cos\frac{n\pi x}{l}\bigg|_{0}^{\frac{l}{2}} + \frac{l}{n\pi}\int_{0}^{\frac{l}{2}} \cos\frac{n\pi x}{l}dx \]

1. 边界项计算：代入上下限\(l/2\)和\(0\)，\(\cos0=1\)，\(\cos\frac{n\pi}{2}\)为分段值，得：
   \[-\frac{l}{n\pi}\cdot\frac{l}{2}\cos\frac{n\pi}{2} + 0 = -\frac{l^2}{2n\pi}\cos\frac{n\pi}{2} \]

2. 积分项计算：
   \[\frac{l}{n\pi}\cdot\frac{l}{n\pi}\sin\frac{n\pi x}{l}\bigg|_{0}^{\frac{l}{2}} = \frac{l^2}{n^2\pi^2}\sin\frac{n\pi}{2} \]

因此第一段积分结果为：

\[I_1 = -\frac{l^2}{2n\pi}\cos\frac{n\pi}{2} + \frac{l^2}{n^2\pi^2}\sin\frac{n\pi}{2} \]

步骤3：分部积分计算第二段积分\(I_2\)

记\(I_2 = \int_{\frac{l}{2}}^{l} (l-x)\sin\frac{n\pi x}{l}dx\)，同理分部积分，令：

• \(u=l-x\)，则\(du=-dx\)；
• \(dv=\sin\frac{n\pi x}{l}dx\)，则\(v=-\frac{l}{n\pi}\cos\frac{n\pi x}{l}\)。

代入分部积分公式得：

\[I_2 = -\frac{l}{n\pi}(l-x)\cos\frac{n\pi x}{l}\bigg|_{\frac{l}{2}}^{l} - \frac{l}{n\pi}\int_{\frac{l}{2}}^{l} \cos\frac{n\pi x}{l}dx \]

1. 边界项计算：代入上下限\(l\)和\(l/2\)，得：
   \[0 + \frac{l}{n\pi}\cdot\frac{l}{2}\cos\frac{n\pi}{2} = \frac{l^2}{2n\pi}\cos\frac{n\pi}{2} \]

2. 积分项计算：
   \[-\frac{l}{n\pi}\cdot\frac{l}{n\pi}\sin\frac{n\pi x}{l}\bigg|_{\frac{l}{2}}^{l} = -\frac{l^2}{n^2\pi^2}\left( \sin n\pi - \sin\frac{n\pi}{2} \right) = \frac{l^2}{n^2\pi^2}\sin\frac{n\pi}{2} \]

因此第二段积分结果为：

\[I_2 = \frac{l^2}{2n\pi}\cos\frac{n\pi}{2} + \frac{l^2}{n^2\pi^2}\sin\frac{n\pi}{2} \]

步骤4：合并积分，化简系数\(b_n\)

将\(I_1\)和\(I_2\)相加，带\(\cos\frac{n\pi}{2}\)的两项恰好抵消，得：

\[I_1 + I_2 = \frac{2l^2}{n^2\pi^2}\sin\frac{n\pi}{2} \]

代入\(b_n\)的表达式：

\[b_n = \frac{2}{l} \cdot \frac{2l^2}{n^2\pi^2}\sin\frac{n\pi}{2} = \boldsymbol{\frac{4l}{n^2\pi^2}\sin\frac{n\pi}{2}} \]

步骤5：按奇偶性拆分系数，得到最终级数

分析\(\sin\frac{n\pi}{2}\)的取值规律：

1. 当\(n\)为偶数时，令\(n=2k\)（\(k=1,2,\dots\)），\(\sin\frac{2k\pi}{2}=\sin k\pi=0\)，因此\(b_{2k}=0\)；
2. 当\(n\)为奇数时，令\(n=2k+1\)（\(k=0,1,2,\dots\)），\(\sin\frac{(2k+1)\pi}{2}=(-1)^k\)，因此\(b_{2k+1} = \frac{4l(-1)^k}{(2k+1)^2\pi^2}\)。

步骤6：写出正弦级数展开式

⚠️ 教材笔误纠正：教材中展开式写的\(x\in[0,1]\)是排版错误，正确成立区间为\([0,l]\)。

\(f(x)\)在\([0,l]\)上连续且分段光滑，奇延拓后在端点\(x=0,x=l\)处收敛到0，与\(f(0)=0\)、\(f(l)=0\)完全一致，因此展开式在\([0,l]\)上处处成立：

\[\boldsymbol{f(x) = \frac{4l}{\pi^2}\sum_{k=0}^{\infty} \frac{(-1)^k}{(2k+1)^2} \sin\left( \frac{(2k+1)\pi x}{l} \right), \quad x\in[0,l]} \]

周期延拓到整个实数轴的展开式为：

\[\tilde{f}(x) = \frac{4l}{\pi^2}\sum_{k=0}^{\infty} \frac{(-1)^k}{(2k+1)^2} \sin\left( \frac{(2k+1)\pi x}{l} \right), \quad x\in(-\infty,+\infty) \]

---

三、收敛性分析

该级数的系数为\(O\left(\frac{1}{n^2}\right)\)，因此在\(\mathbb{R}\)上绝对一致收敛，收敛速度极快：

• 仅取前1项，就能得到原函数的粗略逼近；
• 取前3项，逼近误差小于1%；
• 本质原因：奇延拓后的周期函数是连续的分段光滑函数，一阶导数分段连续，光滑性远好于锯齿波、方波，因此傅里叶系数衰减更快。

---

四、高频易错点警示

1. 分段积分的区间拆分错误：必须严格按分段点\(x=l/2\)拆分积分，不可直接对整个区间积分，否则会得到完全错误的结果。
2. 分部积分的符号错误：第二段积分的\(u=l-x\)导数为\(-dx\)，分部积分时边界项的符号极易出错，需逐行核对。
3. 系数的系数遗漏：半区间正弦级数的系数公式是\(\frac{2}{l}\)，初学者极易漏掉该系数，或误写为\(\frac{1}{l}\)，导致结果偏差。
4. \(\sin\frac{n\pi}{2}\)的符号错误：奇数项的\((-1)^k\)需验证首项：\(k=0\)时\(n=1\)，\(\sin\frac{\pi}{2}=1=(-1)^0\)；\(k=1\)时\(n=3\)，\(\sin\frac{3\pi}{2}=-1=(-1)^1\)，避免符号颠倒。
5. 展开式区间错误：教材排版笔误的\([0,1]\)仅为\(l=1\)的特殊情况，通用情况为\([0,l]\)，不可直接套用。

---

五、深度解读与拓展

1. 物理意义与工程应用

该函数是三角波函数，是信号处理、振动工程、电子电路中最核心的基础波形之一：

• 频谱特性：仅含奇次谐波，谐波幅度按\(\frac{1}{n^2}\)衰减，高频分量极少，噪声极低，广泛用于低噪声扫描电路、音频信号处理、函数发生器；
• 对比方波（系数\(O(1/n)\)）、锯齿波（系数\(O(1/n)\)），三角波的高频衰减更快，波形更平滑，是电磁兼容设计中优先选用的波形。

2. 结果验证（经典级数和）

令\(x=l/2\)，代入展开式，\(f(l/2)=l/2\)，\(\sin\left(\frac{(2k+1)\pi}{2}\right)=(-1)^k\)，因此：

\[\frac{l}{2} = \frac{4l}{\pi^2}\sum_{k=0}^{\infty} \frac{(-1)^k}{(2k+1)^2}\cdot(-1)^k = \frac{4l}{\pi^2}\sum_{k=0}^{\infty} \frac{1}{(2k+1)^2} \]

约去\(l\)后整理得经典结论：

\[\sum_{k=0}^{\infty} \frac{1}{(2k+1)^2} = \frac{\pi^2}{8} \]

与例16.1.7的结果完全一致，验证了展开式的正确性。

3. 特殊情况简化

令\(l=1\)，得到\([0,1]\)上三角波的正弦展开式：

\[f(x) = \frac{4}{\pi^2}\left( \sin\pi x - \frac{1}{9}\sin3\pi x + \frac{1}{25}\sin5\pi x - \frac{1}{49}\sin7\pi x + \dots \right), \quad x\in[0,1] \]

4. 数学物理方程的核心应用

该展开式是分离变量法求解偏微分方程的核心基础：

• 两端固定的弦振动方程的自由振动解，就是这类正弦级数的叠加；
• 两端接地的一维热传导方程的瞬态解，也可通过该级数形式表示；
• 是有限元分析、结构动力学中模态分析的基础工具。

---

16.2 平方平均收敛 系统讲解

一、引入动机与预备知识

1.1 收敛模式的层级与引入背景

我们已经知道，Weierstrass三角逼近定理指出：周期为\(2\pi\)的连续函数可以用三角多项式一致逼近。但一致收敛的要求极强：

1. 一致收敛保持连续性：若连续函数列\(\{T_n(x)\}\)一致收敛于\(f(x)\)，则\(f(x)\)必为连续函数；
2. 对于不连续的可积函数（如分段连续函数、仅在可数个点不连续的Riemann可积函数），不可能被三角多项式一致逼近。

但实际应用中，我们大量处理的是可积但不连续的函数，因此需要弱化收敛要求：不要求误差在每一点都均匀趋于0，只要求误差的平方在整个区间上的积分趋于0，这就是平方平均收敛，它是\(L^2\)范数下的收敛，是比一致收敛更弱、适用范围更广的收敛模式，也是现代调和分析、实变函数论的核心基础。

1.2 平方可积函数的严格定义

定义1（平方可积函数） 设区间\(I\subset\mathbb{R}\)，函数\(f:I\to\mathbb{R}\)，若\(f\)在\(I\)上Riemann可积（或广义Riemann可积），且\(f^2\)在\(I\)上广义可积，则称\(f\)是\(I\)上的平方可积函数，记为\(f\in R^2(I)\)。特别地，\(I=[-\pi,\pi]\)时记为\(R^2[-\pi,\pi]\)。

核心性质证明：若\(f\in R^2[a,b]\)，则\(f\)在\([a,b]\)上广义绝对可积。

证明：由均值不等式，对任意实数\(t\)，有\((|t|-1)^2\geq0\)，展开得\(|t|\leq\frac{1+t^2}{2}\)。代入\(t=f(x)\)得

\[|f(x)|\leq\frac{1+f(x)^2}{2} \]

右边\(\frac{1}{2}\)在\([a,b]\)上可积，\(\frac{f(x)^2}{2}\)由平方可积的定义可积，因此右边整体可积。由定积分的比较判别法，\(|f(x)|\)在\([a,b]\)上广义可积，即\(f\)广义绝对可积。

---

二、平方平均收敛的核心理论与严格推导

2.1 平方平均收敛的形式化定义

定义2（平方平均收敛） 设\(f,f_n\in R^2(I)\)，\(n=1,2,\dots\)，若

\[\lim_{n\to\infty} \int_I \left[f_n(x)-f(x)\right]^2 dx = 0 \]

则称函数列\(\{f_n\}\)在\(I\)上平方平均收敛于\(f\)，记为\(f_n \stackrel{L^2}{\longrightarrow} f\ (n\to\infty)\)。

特别地，当\(I=[-\pi,\pi]\)且\(\{f_n\}\)为三角多项式序列时，就是教材中定义16.2.1的表述。

直观解释：平方平均收敛是“整体意义上的收敛”，不要求函数列在每一点都收敛到\(f\)，甚至可以在可数个点上发散——只要这些点的Riemann积分贡献为0（零测集），就不影响平方积分的极限。它刻画的是函数“整体能量”的逼近，而非逐点的局部逼近。

2.2 核心定理1：一致收敛与平方平均收敛的蕴含关系

定理1 设\(I=[a,b]\)为有界闭区间，\(f_n\in C[a,b]\)，\(f\in C[a,b]\)。若\(\{f_n\}\)在\([a,b]\)上一致收敛于\(f\)，则\(\{f_n\}\)必在\([a,b]\)上平方平均收敛于\(f\)；反之不真。

完整证明：

1. 充分性（一致收敛⇒平方平均收敛）
   由一致收敛的\(\varepsilon\)-\(N\)定义：\(\forall\varepsilon>0\)，\(\exists N\in\mathbb{N}\)，当\(n>N\)时，对\(\forall x\in[a,b]\)，有

   \[|f_n(x)-f(x)|<\sqrt{\frac{\varepsilon}{b-a}} \]

   【依据：一致收敛的严格定义】
   两边平方（平方函数在非负实数上严格单调递增），得

   \[[f_n(x)-f(x)]^2 < \frac{\varepsilon}{b-a},\quad \forall x\in[a,b] \]

   对不等式两边在\([a,b]\)上积分，由定积分的单调性（若\(g(x)\leq h(x)\)，则\(\int_a^b g(x)dx\leq\int_a^b h(x)dx\)），得

   \[\int_a^b [f_n(x)-f(x)]^2 dx < \int_a^b \frac{\varepsilon}{b-a} dx = \varepsilon \]

   由数列极限的\(\varepsilon\)-\(N\)定义，\(\lim_{n\to\infty}\int_a^b [f_n-f]^2 dx=0\)，即平方平均收敛成立。
   【依据：定积分的单调性、数列极限的定义】

2. 反之不真的反例构造
   取\(I=[0,1]\)，\(f_n(x)=x^n\)，其逐点极限为

   \[f(x)=\begin{cases}0, & x\in[0,1) \\ 1, & x=1\end{cases} \]

   计算平方误差积分：

   \[\int_0^1 [f_n(x)-f(x)]^2 dx = \int_0^1 x^{2n} dx = \frac{1}{2n+1} \to 0\ (n\to\infty) \]

   因此\(\{f_n\}\)平方平均收敛于\(f\)。但

   \[\sup_{x\in[0,1]}|f_n(x)-f(x)| = \sup_{x\in[0,1)}x^n = 1 \]

   永远不趋于0，故\(\{f_n\}\)不一致收敛于\(f\)。

2.3 「反例警示」：收敛模式的本质区别

在有界闭区间\([a,b]\)上，Riemann可积函数列的收敛模式满足：

1. 一致收敛 ⇒ 平方平均收敛，反之不真；
2. 一致收敛 ⇒ 逐点收敛 ⇒ 几乎处处收敛，反之不真；
3. 平方平均收敛与逐点收敛互不蕴含：
   • 反例1（平方平均收敛但处处不逐点收敛）：滑动峰函数列。对\(n\in\mathbb{N}\)，取唯一的\(k\in\mathbb{N},m=0,1,\dots,k-1\)使得\(n=\frac{k(k-1)}{2}+m+1\)，定义
     \[f_n(x)=\begin{cases}1, & x\in\left[\frac{m}{k},\frac{m+1}{k}\right] \\ 0, & \text{其他}\end{cases} \]
     该函数列在\([0,1]\)上每一点都无限次取0和1，处处不收敛，但\(\int_0^1 f_n^2 dx=\frac{1}{k}\to0\)，平方平均收敛于0。
   • 反例2（逐点收敛但不平方平均收敛）：\(f_n(x)=\sqrt{n}\cdot\chi_{(0,1/n)}(x)\)，在\([0,1]\)上逐点收敛于0，但\(\int_0^1 f_n^2 dx=1\)，不趋于0，故不平方平均收敛。

2.4 平方平均收敛的基本性质

定理2（线性性） 若\(f_n \stackrel{L^2}{\longrightarrow} f\)，\(g_n \stackrel{L^2}{\longrightarrow} g\)，\(\alpha,\beta\in\mathbb{R}\)，则\(\alpha f_n + \beta g_n \stackrel{L^2}{\longrightarrow} \alpha f + \beta g\)。

证明：由不等式\((a+b)^2\leq2a^2+2b^2\)，得

\[[\alpha(f_n-f)+\beta(g_n-g)]^2 \leq 2\alpha^2(f_n-f)^2 + 2\beta^2(g_n-g)^2 \]

两边积分后，右边两项均趋于0，由夹逼准则得左边趋于0，线性性成立。

定理3（极限唯一性） 若\(f_n \stackrel{L^2}{\longrightarrow} f\)且\(f_n \stackrel{L^2}{\longrightarrow} g\)，则\(f\)与\(g\)在\(I\)上几乎处处相等（即\(\int_I (f-g)^2 dx=0\)）。

证明：由Minkowski不等式（积分形式）

\[\sqrt{\int_I (f-g)^2 dx} \leq \sqrt{\int_I (f-f_n)^2 dx} + \sqrt{\int_I (f_n-g)^2 dx} \]

令\(n\to\infty\)，右边趋于0，故左边为0，即\(f\)与\(g\)几乎处处相等。

2.5 核心定理2：Fourier级数的平方平均收敛性

平方平均收敛的核心应用是Fourier级数理论，它解决了不连续函数的Fourier级数收敛性问题。

首先回顾Fourier系数与部分和的定义：设\(f\in R^2[-\pi,\pi]\)，其Fourier系数为

\[a_0=\frac{1}{\pi}\int_{-\pi}^\pi f(x)dx,\quad a_k=\frac{1}{\pi}\int_{-\pi}^\pi f(x)\cos kx dx,\quad b_k=\frac{1}{\pi}\int_{-\pi}^\pi f(x)\sin kx dx\ (k\geq1) \]

Fourier级数的部分和为

\[S_n(f;x)=\frac{a_0}{2}+\sum_{k=1}^n (a_k\cos kx + b_k\sin kx) \]

这是一个\(n\)次三角多项式。

引理1（最佳平方逼近引理） 设\(f\in R^2[-\pi,\pi]\)，则对任意\(n\)次三角多项式\(T_n(x)\)，有

\[\int_{-\pi}^\pi [f(x)-T_n(x)]^2 dx \geq \int_{-\pi}^\pi [f(x)-S_n(f;x)]^2 dx \]

等号成立当且仅当\(T_n(x)=S_n(f;x)\)。即Fourier部分和是\(f\)在所有\(n\)次三角多项式中的最佳平方逼近元。

完整证明：

1. 展开平方误差：
   \[\int_{-\pi}^\pi [f-T_n]^2 dx = \int_{-\pi}^\pi f^2 dx - 2\int_{-\pi}^\pi fT_n dx + \int_{-\pi}^\pi T_n^2 dx \]
   【依据：完全平方公式、积分的线性性】
2. 设\(T_n(x)=\frac{\alpha_0}{2}+\sum_{k=1}^n (\alpha_k\cos kx+\beta_k\sin kx)\)，利用三角函数系的正交性，计算得：
   \[\int_{-\pi}^\pi fT_n dx = \frac{\pi}{2}\alpha_0a_0 + \pi\sum_{k=1}^n (\alpha_k a_k + \beta_k b_k) \]
   \[\int_{-\pi}^\pi T_n^2 dx = \frac{\pi}{2}\alpha_0^2 + \pi\sum_{k=1}^n (\alpha_k^2 + \beta_k^2) \]
   【依据：三角函数系的正交性、Fourier系数的定义】
3. 代入误差表达式并配方：
   \[\int_{-\pi}^\pi [f-T_n]^2 dx = \int_{-\pi}^\pi f^2 dx - \frac{\pi}{2}a_0^2 - \pi\sum_{k=1}^n (a_k^2+b_k^2) + \frac{\pi}{2}(\alpha_0-a_0)^2 + \pi\sum_{k=1}^n \left[(\alpha_k-a_k)^2+(\beta_k-b_k)^2\right] \]

4. 右边前三项为常数，后三项均为非负项，因此当且仅当\(\alpha_0=a_0,\alpha_k=a_k,\beta_k=b_k\)（即\(T_n=S_n(f)\)）时，误差取得最小值，引理得证。

推论1（Bessel不等式） 设\(f\in R^2[-\pi,\pi]\)，则

\[\frac{a_0^2}{2} + \sum_{k=1}^\infty (a_k^2 + b_k^2) \leq \frac{1}{\pi}\int_{-\pi}^\pi f(x)^2 dx \]

证明：由最佳平方逼近的误差非负，得

\[\int_{-\pi}^\pi f^2 dx - \frac{\pi}{2}a_0^2 - \pi\sum_{k=1}^n (a_k^2+b_k^2) \geq 0,\quad \forall n\in\mathbb{N} \]

两边除以\(\pi\)，右边正项级数的部分和单调递增有上界，故级数收敛且满足上述不等式。

定理4（Fourier级数平方平均收敛定理/Riesz-Fischer定理） 设\(f\in R^2[-\pi,\pi]\)，则\(f\)的Fourier部分和序列\(\{S_n(f;x)\}\)在\([-\pi,\pi]\)上平方平均收敛于\(f\)，即

\[\lim_{n\to\infty}\int_{-\pi}^\pi [f(x)-S_n(f;x)]^2 dx = 0 \]

且Bessel不等式中的等号成立，即Parseval等式：

\[\frac{a_0^2}{2} + \sum_{k=1}^\infty (a_k^2 + b_k^2) = \frac{1}{\pi}\int_{-\pi}^\pi f(x)^2 dx \]

证明核心思路：

1. 对连续周期函数，由Weierstrass三角逼近定理，存在三角多项式一致逼近\(f\)，从而平方平均逼近；再由最佳平方逼近引理，\(S_n(f)\)的误差不超过该三角多项式的误差，故平方平均收敛，Parseval等式成立。
2. 对一般的\(f\in R^2[-\pi,\pi]\)，用连续函数平方平均逼近\(f\)，结合三角不等式推广到一般情况，最终证明平方平均收敛与Parseval等式。

---

三、梯度化配套例题

【基础巩固题】

例题1

• 难度层级：基础巩固题

• 考察核心知识点：平方平均收敛的定义、与逐点收敛/一致收敛的区别

• 题干：设函数列\(f_n(x)=e^{-nx}\)，\(x\in[0,1]\)，\(n=1,2,\dots\)。
  (1) 求\(\{f_n\}\)的逐点极限函数\(f(x)\)；
  (2) 证明\(\{f_n\}\)在\([0,1]\)上平方平均收敛于\(f(x)\)；
  (3) 证明\(\{f_n\}\)在\([0,1]\)上不一致收敛于\(f(x)\)。

• 解答过程：
  (1) 逐点极限：对\(x=0\)，\(f_n(0)=1\)，故\(\lim_{n\to\infty}f_n(0)=1\)；对\(x\in(0,1]\)，\(|e^{-nx}|<1\)，故\(\lim_{n\to\infty}e^{-nx}=0\)。因此

  \[f(x)=\begin{cases}1, & x=0 \\ 0, & x\in(0,1]\end{cases} \]

  【依据：数列极限定义，\(|q|<1\)时\(q^n\to0\)】

  (2) 平方平均收敛证明：
  计算平方误差积分：

  \[\int_0^1 [f_n(x)-f(x)]^2 dx = \int_0^1 e^{-2nx} dx = \frac{1-e^{-2n}}{2n} \to 0\ (n\to\infty) \]

  【依据：Newton-Leibniz公式，单点函数值不影响Riemann积分值】
  由平方平均收敛的定义，\(\{f_n\}\)平方平均收敛于\(f(x)\)。

  (3) 不一致收敛证明：
  取\(x_n=\frac{1}{n}\in(0,1]\)，则\(f_n(x_n)=e^{-1}\)，故\(|f_n(x_n)-f(x_n)|=e^{-1}\)，因此

  \[\sup_{x\in[0,1]}|f_n(x)-f(x)| \geq e^{-1} \]

  不趋于0，故\(\{f_n\}\)不一致收敛于\(f(x)\)。
  【依据：一致收敛的充要条件：余项上确界的极限为0】

• 「题后总结」：

  • 核心思想：通过直接计算平方积分验证平方平均收敛，通过构造特殊点列证明不一致收敛，清晰区分三种收敛模式的定义差异。
  • 解题通法：证明平方平均收敛的基础方法是直接计算误差平方积分的极限；证明不一致收敛的常用方法是找到点列\(x_n\)使得误差不趋于0。
  • 题干识别特征：给出具体函数列，要求验证不同收敛模式，直接对应三种收敛的定义。
  • 后续关联：为实变函数中Lebesgue收敛定理提供直观素材。

---

【进阶综合题】

例题2

• 难度层级：进阶综合题

• 考察核心知识点：Parseval等式的应用、Fourier系数计算

• 题干：设\(f(x)=x^2\)，\(x\in[-\pi,\pi]\)，
  (1) 计算\(f(x)\)的Fourier系数；
  (2) 利用Parseval等式求级数\(\sum_{k=1}^\infty \frac{1}{k^4}\)的和。

• 解答过程：
  (1) 计算Fourier系数：
  \(f(x)=x^2\)是偶函数，故\(b_k=0\)（\(k\geq1\)），只需计算\(a_0,a_k\)：

  \[a_0=\frac{1}{\pi}\int_{-\pi}^\pi x^2 dx = \frac{2}{\pi}\cdot\frac{\pi^3}{3} = \frac{2\pi^2}{3} \]

  对\(k\geq1\)，由分部积分法：

  \[a_k=\frac{1}{\pi}\int_{-\pi}^\pi x^2\cos kx dx = \frac{2}{\pi}\int_0^\pi x^2\cos kx dx = \frac{4(-1)^k}{k^2} \]

  【依据：偶函数在对称区间的积分性质、分部积分法】

  (2) 应用Parseval等式：
  Parseval等式为：

  \[\frac{a_0^2}{2} + \sum_{k=1}^\infty a_k^2 = \frac{1}{\pi}\int_{-\pi}^\pi f(x)^2 dx \]

  代入\(a_0,a_k\)，左边为：

  \[\frac{1}{2}\cdot\left(\frac{2\pi^2}{3}\right)^2 + \sum_{k=1}^\infty \frac{16}{k^4} = \frac{2\pi^4}{9} + 16\sum_{k=1}^\infty \frac{1}{k^4} \]

  右边为：

  \[\frac{1}{\pi}\int_{-\pi}^\pi x^4 dx = \frac{2}{\pi}\cdot\frac{\pi^5}{5} = \frac{2\pi^4}{5} \]

  联立等式解得：

  \[\frac{2\pi^4}{9} + 16\sum_{k=1}^\infty \frac{1}{k^4} = \frac{2\pi^4}{5} \]

  整理得：

  \[\sum_{k=1}^\infty \frac{1}{k^4} = \frac{\pi^4}{90} \]

  【依据：Parseval等式、定积分计算】

• 「题后总结」：

  • 核心思想：利用Parseval等式建立函数平方积分与Fourier系数级数和的等价关系，实现数项级数的求解。
  • 解题通法：计算Fourier系数→分别计算Parseval等式左右两边→解方程得到级数和。
  • 题干识别特征：求偶次p-级数的和，优先考虑Parseval等式。
  • 后续关联：为Zeta函数求值、概率论中矩的计算提供基础方法。

• 「变式思考」：利用广义Parseval等式，证明对\(f(x)=x,g(x)=x^2\)，有\(\sum_{k=1}^\infty \frac{(-1)^k}{k^3} = -\frac{\pi^3}{32}\)。

---

【科研拓展题】

例题3

• 难度层级：科研拓展题

• 考察核心知识点：平方平均收敛的Cauchy准则、空间完备性、Riemann积分与Lebesgue积分的本质区别

• 题干：设\(R^2[0,1]\)是\([0,1]\)上平方Riemann可积函数的集合，定义范数\(\|f\|_{L^2}=\sqrt{\int_0^1 f(x)^2 dx}\)。
  (1) 证明：\(\{f_n\}\subset R^2[0,1]\)按范数收敛的充要条件是\(\{f_n\}\)为Cauchy列（即\(\forall\varepsilon>0,\exists N\in\mathbb{N}\)，当\(m,n>N\)时，\(\|f_m-f_n\|_{L^2}<\varepsilon\)）；
  (2) 证明\(R^2[0,1]\)不是完备的，并解释\(L^2[0,1]\)（Lebesgue平方可积空间）完备性的意义。

• 解答过程：
  (1) 充要条件证明：

  • 必要性（收敛⇒Cauchy列）：若\(\|f_n-f\|_{L^2}\to0\)，则\(\forall\varepsilon>0,\exists N\)，当\(n>N\)时，\(\|f_n-f\|_{L^2}<\varepsilon/2\)。当\(m,n>N\)时，由Minkowski不等式：
    \[\|f_m-f_n\|_{L^2} \leq \|f_m-f\|_{L^2} + \|f_n-f\|_{L^2} < \varepsilon \]
    故\(\{f_n\}\)为Cauchy列。
  • 充分性（Cauchy列⇒收敛）：设\(\{f_n\}\)为Cauchy列，取子列\(\{f_{n_k}\}\)使得\(\|f_{n_{k+1}}-f_{n_k}\|_{L^2}<1/2^k\)。构造单调递增函数列\(g_K(x)=|f_{n_1}(x)|+\sum_{k=1}^K |f_{n_{k+1}}-f_{n_k}|\)，由Minkowski不等式，\(\|g_K\|_{L^2}\)有界，故\(g_K(x)\)几乎处处收敛于有限函数\(g(x)\)，即\(\{f_{n_k}(x)\}\)几乎处处收敛于\(f(x)\)。
    对\(\forall\varepsilon>0\)，取\(N\)使得\(m,n>N\)时\(\|f_m-f_n\|_{L^2}<\varepsilon\)，固定\(n>N\)，令\(m=n_k\to\infty\)，由Fatou引理：
    \[\|f-f_n\|_{L^2}^2 = \int_0^1 \lim_{k\to\infty} [f_{n_k}-f_n]^2 dx \leq \liminf_{k\to\infty} \int_0^1 [f_{n_k}-f_n]^2 dx \leq \varepsilon^2 \]
    故\(\|f-f_n\|_{L^2}\to0\)，即\(\{f_n\}\)按范数收敛于\(f\)。

  (2) \(R^2[0,1]\)的不完备性证明：
  取\([0,1]\)中的有理数全体为\(\{r_1,r_2,\dots\}\)，构造函数列

  \[f_n(x)=\begin{cases}1, & x\in\{r_1,\dots,r_n\} \\ 0, & \text{其他}\end{cases} \]

  对任意\(m>n\)，\(\|f_m-f_n\|_{L^2}^2=\int_0^1 [f_m-f_n]^2 dx=0\)，故\(\{f_n\}\)是Cauchy列。但其极限为Dirichlet函数

  \[D(x)=\begin{cases}1, & x\in\mathbb{Q}\cap[0,1] \\ 0, & x\in[0,1]\setminus\mathbb{Q}\end{cases} \]

  Dirichlet函数在\([0,1]\)上不是Riemann可积的，因此不在\(R^2[0,1]\)中，故\(R^2[0,1]\)不完备。

  完备性的意义：
  \(L^2[0,1]\)是Lebesgue平方可积函数空间，Riesz-Fischer定理证明了它是完备的Hilbert空间。完备性保证了空间中极限运算的封闭性，不会出现“Cauchy列的极限跑出空间”的情况，是现代分析学的核心基础：

  • 调和分析中，完备性保证了三角函数系是\(L^2\)空间的完备正交基，任何平方可积函数都可展开为Fourier级数；
  • 偏微分方程中，完备性保证了弱解的存在性，可通过Cauchy列的极限构造方程的弱解；
  • 量子力学中，\(L^2\)空间的完备性是态叠加原理的数学基础。

• 「题后总结」：

  • 核心思想：平方平均收敛本质是\(L^2\)范数下的收敛，完备性是Riemann积分与Lebesgue积分的核心区别，Lebesgue积分通过扩大可积函数范围实现了空间完备性。
  • 解题通法：证明完备性采用“Cauchy列→收敛子列→子列极限为原列极限”的标准流程；证明不完备性只需构造极限不在空间中的Cauchy列。
  • 后续关联：泛函分析的Hilbert空间理论、偏微分方程的弱解理论、调和分析的正交基理论。

---

四、知识点归纳总结表

核心概念/定理	形式化表述/关键条件	典型证明技巧/方法	常见反例/易错点	与后续课程的关联	典型应用场景
平方可积函数	\(f\in R^2(I)\)当且仅当\(f\)在\(I\)上可积且\(\int_I f^2 dx<+\infty\)	均值不等式\(|f|\leq\frac{1+f^2}{2}\)证明绝对可积性	易错点：混淆可积与平方可积，如\(f(x)=1/\sqrt{x}\)在\((0,1)\)可积但非平方可积	实变函数\(L^2\)空间；泛函分析Hilbert空间元素	能量有限信号；方差有限随机变量；Fourier可展开函数
平方平均收敛	\(f_n \stackrel{L^2}{\longrightarrow} f\)当且仅当\(\lim_{n\to\infty}\int_I [f_n-f]^2 dx=0\)	直接计算平方积分；Minkowski不等式拆分误差；夹逼准则	1. 误以为平方平均收敛蕴含逐点收敛（滑动峰反例）；2. 误以为逐点收敛蕴含平方平均收敛（\(\sqrt{n}\chi_{(0,1/n)}\)反例）	实变函数\(L^p\)收敛；泛函分析赋范空间收敛	最小二乘逼近；信号滤波与重构；有限元方法
一致收敛蕴含平方平均收敛	有界闭区间上一致收敛必平方平均收敛，反之不真	一致收敛余项上确界估计平方积分；构造反例证反之不真	易错点：误以为平方平均收敛蕴含一致收敛（\(f_n(x)=x^n\)反例）	函数项级数收敛理论；范数强弱关系	函数逼近误差估计；数值计算收敛性验证
最佳平方逼近引理	Fourier部分和是三角多项式中的最佳平方逼近元	三角函数系正交性展开误差；配方求最小值	易错点：误以为Fourier部分和是一致逼近最佳元	泛函分析正交投影定理；逼近论最佳逼近问题	最小二乘拟合；频谱分析；数据压缩正交变换
Bessel不等式	\(\frac{a_0^2}{2}+\sum_{k=1}^\infty (a_k^2+b_k^2)\leq\frac{1}{\pi}\int_{-\pi}^\pi f^2 dx\)	最佳平方逼近误差非负；单调有界定理证级数收敛	易错点：误以为等号对所有函数成立	Hilbert空间Bessel不等式；正交基性质	频谱能量估计；信号降噪阈值选择
Parseval等式	\(\frac{a_0^2}{2}+\sum_{k=1}^\infty (a_k^2+b_k^2)=\frac{1}{\pi}\int_{-\pi}^\pi f^2 dx\)，等价于Fourier级数平方平均收敛	Weierstrass逼近定理；连续函数逼近平方可积函数；误差表达式取极限	易错点：误以为Parseval等式需要Fourier级数逐点收敛	Hilbert空间Parseval恒等式；调和分析Plancherel定理	数项级数求和；信号能量守恒；量子力学概率守恒
Riesz-Fischer定理	\(L^2\)空间是完备的Hilbert空间，\(R^2\)空间不完备	构造Cauchy列的收敛子列；Fatou引理；Dirichlet函数反例证不完备	易错点：误以为\(R^2\)空间是完备的	Lebesgue积分理论；Hilbert空间理论；偏微分方程弱解理论	有限元方法；量子力学数学基础；自适应信号滤波

---

平方可积函数空间的内积、范数与度量空间 系统讲解

本节我们将从泛函分析公理化框架出发，为平方平均收敛建立严格的空间结构基础：在平方可积函数空间上定义内积、范数与距离，将平方平均收敛统一为度量空间中的序列收敛，同时解决Riemann可积空间的内积正定性缺陷，最终构建真正的内积空间、赋范线性空间与度量空间。这是连接经典数学分析与现代泛函分析、实变函数论的核心桥梁。

---

一、平方可积函数空间的线性结构

核心定义与线性空间验证

定义1（平方可积函数空间\(R[a,b]\)） 设区间\([a,b]\subset\mathbb{R}\)，记\(R[a,b]\)为\([a,b]\)上所有满足以下条件的函数\(f\)的全体：

1. \(f\)在\([a,b]\)上可积（Riemann可积或广义Riemann可积）；
2. \(f^2\)在\([a,b]\)上可积（平方可积）。

定理1 \(R[a,b]\)是实数域上的线性空间
对\(\forall f,g\in R[a,b]\)，\(\forall \lambda\in\mathbb{R}\)，定义线性运算：

• 加法：\((f+g)(x)=f(x)+g(x),\ \forall x\in[a,b]\)
• 数乘：\((\lambda f)(x)=\lambda\cdot f(x),\ \forall x\in[a,b]\)
  则\(R[a,b]\)关于上述运算构成实数域\(\mathbb{R}\)上的线性空间。

完整证明：

1. 运算封闭性验证
   • 加法封闭性：对\(f,g\in R[a,b]\)，由不等式\((f+g)^2\leq 2f^2+2g^2\)，右边可积，故\((f+g)^2\)可积，即\(f+g\in R[a,b]\)。
   • 数乘封闭性：对\(\lambda\in\mathbb{R}\)，\((\lambda f)^2=\lambda^2 f^2\)可积，故\(\lambda f\in R[a,b]\)。
2. 线性空间8条公理验证
   由实数加法、乘法的运算律，可直接验证加法交换律、结合律、零元（零函数）存在性、负元存在性、数乘单位元、数乘结合律、双分配律全部成立。
   【依据：线性空间公理化定义、定积分比较判别法】

---

二、内积的定义、性质与正定性缺陷

内积是欧氏空间“点积”的推广，是定义角度、正交性、范数的核心基础。

实内积的公理化定义

定义2（实内积） 设\(V\)是\(\mathbb{R}\)上的线性空间，若映射\(\langle\cdot,\cdot\rangle:V\times V\to\mathbb{R}\)满足以下3条公理：

1. 正定性：\(\langle v,v\rangle\geq0,\ \forall v\in V\)，且\(\langle v,v\rangle=0\iff v=0\)（零元）；
2. 对称性：\(\langle u,v\rangle=\langle v,u\rangle,\ \forall u,v\in V\)；
3. 双线性性：\(\langle \lambda_1 u_1+\lambda_2 u_2,v\rangle=\lambda_1\langle u_1,v\rangle+\lambda_2\langle u_2,v\rangle,\ \forall u_1,u_2,v\in V,\ \lambda_1,\lambda_2\in\mathbb{R}\)。
   则称\(\langle\cdot,\cdot\rangle\)是\(V\)上的实内积，\((V,\langle\cdot,\cdot\rangle)\)为实内积空间。

\(R[a,b]\)上的内积候选映射

定理2 对\(\forall f,g\in R[a,b]\)，定义映射

\[\langle f,g\rangle=\int_a^b f(x)g(x)dx \]

则该映射满足对称性、双线性性，但不满足内积正定性的充要条件，仅能推出\(\langle f,f\rangle=0\implies f\stackrel{\text{a.e.}}{=}0\)（几乎处处为零），而非\(f\equiv0\)。

完整证明：

1. 非负性：对\(\forall f\in R[a,b]\)，\(f(x)^2\geq0\)，由定积分保号性，\(\langle f,f\rangle=\int_a^b f(x)^2 dx\geq0\)成立。
   「反例警示」取Dirichlet函数
   \[D(x)=\begin{cases}1, & x\in\mathbb{Q}\cap[a,b] \\ 0, & x\in[a,b]\setminus\mathbb{Q}\end{cases} \]
   \(D(x)\)不是零函数，但\(D(x)^2=D(x)\)在\([a,b]\)上Riemann可积且积分值为0，即\(\langle D,D\rangle=0\)，不满足正定性的充要条件。
2. 对称性：\(\langle f,g\rangle=\int_a^b f(x)g(x)dx=\int_a^b g(x)f(x)dx=\langle g,f\rangle\)，成立。
3. 双线性性：由定积分的线性性质，直接可证对两个变元均满足线性性，成立。

核心结论：上述映射不是\(R[a,b]\)上的真正内积，根源在于Riemann积分中“积分为零的函数不一定是零函数”。

---

三、等价类与真正的内积空间\(\widetilde{R}[a,b]\)

为修正正定性缺陷，我们通过等价关系将“几乎处处相等的函数”视为同一元素，构造商空间得到真正的内积空间。

等价关系与商空间

定义3（几乎处处相等的等价关系） 在\(R[a,b]\)中定义二元关系\(\sim\)：

\[f\sim g\iff f(x)\stackrel{\text{a.e.}}{=}g(x),\ x\in[a,b] \]

可验证\(\sim\)满足自反性、对称性、传递性，是\(R[a,b]\)上的等价关系。

定义4（等价类与商空间）

• 对\(\forall f\in R[a,b]\)，记\(\tilde{f}=\{g\in R[a,b]|g\sim f\}\)，称为\(f\)的等价类；
• 记\(\widetilde{R}[a,b]=\{\tilde{f}\mid f\in R[a,b]\}\)，称为\(R[a,b]\)关于\(\sim\)的商集。

在商集上定义线性运算：\(\tilde{f}+\tilde{g}=\widetilde{f+g}\)，\(\lambda\tilde{f}=\widetilde{\lambda f}\)，可验证运算与代表元选取无关，\(\widetilde{R}[a,b]\)构成\(\mathbb{R}\)上的线性空间。

商空间上的真正内积

定理3 对\(\forall \tilde{f},\tilde{g}\in\widetilde{R}[a,b]\)，定义

\[\langle \tilde{f},\tilde{g}\rangle=\int_a^b f(x)g(x)dx \]

其中\(f\in\tilde{f},g\in\tilde{g}\)为任意代表元。该映射是\(\widetilde{R}[a,b]\)上的实内积，\((\widetilde{R}[a,b],\langle\cdot,\cdot\rangle)\)是实内积空间。

证明核心：

1. 定义合理性：若\(f_1\sim f_2,g_1\sim g_2\)，则\(f_1g_1\stackrel{\text{a.e.}}{=}f_2g_2\)，积分值相等，与代表元选取无关。
2. 正定性：\(\langle \tilde{f},\tilde{f}\rangle=0\iff f\stackrel{\text{a.e.}}{=}0\iff \tilde{f}=\tilde{0}\)（商空间零元），正定性充要条件成立。
3. 对称性、双线性性由\(R[a,b]\)上的性质直接继承。

注：分析学中通常默认“几乎处处相等的函数是同一元素”，在不混淆的情况下，直接将\(R[a,b]\)视为内积空间。

---

四、Cauchy-Schwarz不等式（柯西-施瓦茨不等式）

Cauchy-Schwarz不等式是内积空间最核心的不等式，是证明范数三角不等式、积分估计的核心工具。

引理1（Cauchy-Schwarz不等式） 对\(\forall f,g\in R[a,b]\)，有

\[|\langle f,g\rangle|=\left|\int_a^b f(x)g(x)dx\right|\leq \sqrt{\int_a^b f(x)^2 dx}\cdot\sqrt{\int_a^b g(x)^2 dx} \]

等号成立当且仅当\(f\)与\(g\)线性相关，即存在\(\lambda\in\mathbb{R}\)，使得\(f(x)\stackrel{\text{a.e.}}{=}\lambda g(x)\)或\(g(x)\stackrel{\text{a.e.}}{=}\lambda f(x)\)。

完整分步证明：

1. 构造非负二次函数：对\(\forall t\in\mathbb{R}\)，\([f(x)-tg(x)]^2\geq0\)，由定积分保号性得
   \[0\leq \int_a^b [f(x)-tg(x)]^2 dx,\quad \forall t\in\mathbb{R} \]

2. 展开为二次多项式：记\(A=\int_a^b f^2 dx\)，\(B=\int_a^b fg dx\)，\(C=\int_a^b g^2 dx\)，则
   \[\varphi(t)=Ct^2 - 2Bt + A\geq0,\quad \forall t\in\mathbb{R} \]

3. 分情况讨论：
   • 若\(C=0\)，则\(g\stackrel{\text{a.e.}}{=}0\)，不等式两边均为0，等号成立；
   • 若\(C>0\)，二次函数开口向上且在\(\mathbb{R}\)上非负，故判别式\(\Delta=4(B^2-AC)\leq0\)，即\(B^2\leq AC\)，开方得不等式成立。
4. 等号充要条件：等号成立当且仅当\(\Delta=0\)，二次函数有唯一实根\(t=\lambda\)，使得\(\int_a^b [f-\lambda g]^2 dx=0\)，即\(f\stackrel{\text{a.e.}}{=}\lambda g\)，线性相关。

几何意义：该不等式保证了内积空间中两个非零元素的夹角\(\theta\)满足\(\cos\theta=\frac{\langle f,g\rangle}{\|f\|\|g\|}\)，且\(|\cos\theta|\leq1\)，是欧氏空间向量夹角的推广。

---

五、\(L^2\)范数的定义与性质

由内积可自然诱导范数，范数是欧氏空间“向量长度”的推广，是刻画元素大小、定义收敛性的核心工具。

\(L^2\)范数的定义与公理验证

定义5（\(L^2\)范数） 对\(\forall f\in R[a,b]\)，定义

\[\|f\|=\|f\|_{L^2}=\sqrt{\langle f,f\rangle}=\left(\int_a^b f(x)^2 dx\right)^{\frac{1}{2}} \]

称为\(f\)的\(L^2\)范数（平方可积范数）。

定理4（范数的公理化性质） \(L^2\)范数满足范数的三条公理：

1. 非负性：\(\|f\|\geq0,\ \forall f\in R[a,b]\)，且\(\|f\|=0\iff f\stackrel{\text{a.e.}}{=}0\)；
2. 齐次性：\(\|\lambda f\|=|\lambda|\cdot\|f\|,\ \forall f\in R[a,b],\ \forall \lambda\in\mathbb{R}\)；
3. 三角不等式（Minkowski不等式）：\(\|f+g\|\leq\|f\|+\|g\|,\ \forall f,g\in R[a,b]\)。

在商空间\(\widetilde{R}[a,b]\)上，范数满足正定性：\(\|\tilde{f}\|=0\iff \tilde{f}=\tilde{0}\)，因此\((\widetilde{R}[a,b],\|\cdot\|)\)是赋范线性空间。

完整证明：

1. 非负性由内积非负性直接得证；
2. 齐次性：\(\|\lambda f\|=\sqrt{\lambda^2\langle f,f\rangle}=|\lambda|\cdot\|f\|\)，成立；
3. 三角不等式：
   \[\|f+g\|^2=\langle f+g,f+g\rangle=\|f\|^2+2\langle f,g\rangle+\|g\|^2 \]
   由Cauchy-Schwarz不等式，\(\langle f,g\rangle\leq\|f\|\|g\|\)，代入得
   \[\|f+g\|^2\leq(\|f\|+\|g\|)^2 \]
   两边开平方得三角不等式成立。

核心关联：平方平均收敛的本质就是\(L^2\)范数下的序列收敛：

\[\lim_{n\to\infty}\int_a^b [f_n-f]^2 dx=0\iff \lim_{n\to\infty}\|f_n-f\|_{L^2}=0 \]

---

六、\(L^2\)距离与度量空间

由范数可诱导距离，将平方平均收敛转化为度量空间中的距离收敛，建立更一般的收敛框架。

\(L^2\)距离的定义与公理验证

定义6（\(L^2\)距离） 对\(\forall f,g\in R[a,b]\)，定义

\[d(f,g)=\|f-g\|_{L^2}=\sqrt{\int_a^b [f(x)-g(x)]^2 dx} \]

称为\(f\)与\(g\)之间的\(L^2\)距离。

定理5（距离的公理化性质） \(L^2\)距离满足度量空间的三条公理：

1. 非负性：\(d(f,g)\geq0\)，且\(d(f,g)=0\iff f\stackrel{\text{a.e.}}{=}g\)；
2. 对称性：\(d(f,g)=d(g,f),\ \forall f,g\in R[a,b]\)；
3. 三角不等式：\(d(f,g)\leq d(f,h)+d(h,g),\ \forall f,g,h\in R[a,b]\)。

在商空间\(\widetilde{R}[a,b]\)上，距离满足正定性：\(d(\tilde{f},\tilde{g})=0\iff \tilde{f}=\tilde{g}\)，因此\((\widetilde{R}[a,b],d)\)是度量空间。

证明核心：

1. 非负性由范数非负性直接得证；
2. 对称性：\(d(f,g)=\|f-g\|=\|-(g-f)\|=\|g-f\|=d(g,f)\)，成立；
3. 三角不等式：\(d(f,g)=\|f-g\|=\|(f-h)+(h-g)\|\leq\|f-h\|+\|h-g\|=d(f,h)+d(h,g)\)，成立。

核心结论：平方平均收敛就是\(L^2\)度量下的距离收敛，我们可以用度量空间的全部理论（Cauchy收敛准则、完备性、紧性等）研究平方平均收敛。

---

梯度化配套例题

【基础巩固题】

例题1

• 难度层级：基础巩固题

• 考察核心知识点：内积、\(L^2\)范数的定义与计算，Cauchy-Schwarz不等式验证

• 题干：设\(f(x)=x\)，\(g(x)=e^x\)，\(x\in[0,1]\)。
  (1) 计算\(\langle f,g\rangle\)、\(\|f\|_{L^2}\)、\(\|g\|_{L^2}\)；
  (2) 验证Cauchy-Schwarz不等式\(|\langle f,g\rangle|\leq\|f\|\|g\|\)成立。

• 解答过程：
  (1) 计算各量：

  • 内积：由分部积分法，
    \[\langle f,g\rangle=\int_0^1 x e^x dx = xe^x\big|_0^1 - \int_0^1 e^x dx = 1 \]

  • \(f\)的\(L^2\)范数：
    \[\|f\|_{L^2}=\sqrt{\int_0^1 x^2 dx}=\frac{\sqrt{3}}{3} \]

  • \(g\)的\(L^2\)范数：
    \[\|g\|_{L^2}=\sqrt{\int_0^1 e^{2x} dx}=\sqrt{\frac{e^2-1}{2}} \]

  (2) 验证不等式：
  左边\(|\langle f,g\rangle|=1\)，右边\(\|f\|\|g\|=\frac{\sqrt{3}}{3}\cdot\sqrt{\frac{e^2-1}{2}}\approx1.032>1\)，不等式成立。

• 「题后总结」：

  • 核心思想：通过具体计算理解内积、范数的定义，验证Cauchy-Schwarz不等式的正确性。
  • 解题通法：内积与范数的计算核心是定积分计算，分部积分法是常用工具。
  • 易错点：计算范数时忘记开平方，或内积计算符号错误。

---

【进阶综合题】

例题2

• 难度层级：进阶综合题

• 考察核心知识点：内积与范数的连续性、Cauchy-Schwarz不等式、\(\varepsilon/2\)拆分技巧

• 题干：设\(\{f_n\},\{g_n\}\subset R^2[a,b]\)，且\(\{f_n\}\)平方平均收敛于\(f\)，\(\{g_n\}\)平方平均收敛于\(g\)，证明：
  (1) 内积序列\(\langle f_n,g_n\rangle\)收敛于\(\langle f,g\rangle\)；
  (2) 范数序列\(\|f_n\|\)收敛于\(\|f\|\)。

• 解答过程：
  (1) 内积连续性证明：
  用\(\varepsilon/2\)技巧拆分误差：

  \[\langle f_n,g_n\rangle - \langle f,g\rangle = \langle f_n,g_n-g\rangle + \langle f_n-f,g\rangle \]

  【依据：内积的双线性性，拆分是为了将未知量与已知极限分开，分别估计】
  由三角不等式与Cauchy-Schwarz不等式：

  \[|\langle f_n,g_n\rangle - \langle f,g\rangle| \leq \|f_n\|\cdot\|g_n-g\| + \|f_n-f\|\cdot\|g\| \]

  由\(\{f_n\}\)平方平均收敛，\(\|f_n-f\|\to0\)，且收敛序列必有界（\(\exists M>0\)，\(\|f_n\|\leq M\)）；同时\(\|g_n-g\|\to0\)，\(\|g\|\)为常数。因此右边两项均趋于0，故\(\lim_{n\to\infty}\langle f_n,g_n\rangle=\langle f,g\rangle\)。

  (2) 范数连续性证明：
  方法1：令\(g_n=f_n,g=f\)，由(1)得\(\|f_n\|^2=\langle f_n,f_n\rangle\to\langle f,f\rangle=\|f\|^2\)，开平方得\(\|f_n\|\to\|f\|\)。
  方法2：由三角不等式，\(|\|f_n\| - \|f\|| \leq \|f_n-f\|\)，右边趋于0，故\(\|f_n\|\to\|f\|\)。

• 「题后总结」：

  • 核心思想：利用内积双线性性拆分误差，结合Cauchy-Schwarz不等式估计，是内积空间中证明连续性的标准方法。
  • 解题通法：\(\varepsilon/2\)拆分是分析学中处理极限乘积、极限和的通用方法。
  • 易错点：忘记证明收敛序列\(\{f_n\}\)的有界性，逻辑不严谨。
  • 后续关联：泛函分析中有界线性算子的连续性理论。

---

【科研拓展题】

例题3

• 难度层级：科研拓展题

• 考察核心知识点：空间完备性、Riemann积分与Lebesgue积分的本质区别、Hilbert空间定义

• 题干：(1) 证明\(R^2[a,b]\)按\(L^2\)范数不是完备的；
  (2) 解释\(L^2[a,b]\)（Lebesgue平方可积空间）完备性的核心意义。

• 解答过程：
  (1) 不完备性证明：
  完备性定义：空间中所有Cauchy列都收敛到空间内的元素。要证明不完备，只需构造一个极限不在\(R^2[a,b]\)中的Cauchy列。

  构造Cauchy列：取\([a,b]=[0,1]\)，设\([0,1]\)中的全体有理数为\(\{r_1,r_2,\dots\}\)，构造

  \[f_n(x)=\begin{cases}1, & x\in\{r_1,\dots,r_n\} \\ 0, & \text{其他}\end{cases} \]

  每个\(f_n\)仅在有限个点非零，是Riemann可积的，故\(f_n\in R^2[0,1]\)。

  验证Cauchy列：对任意\(m>n\)，\(f_m-f_n\)仅在有限个点非零，故\(\|f_m-f_n\|_{L^2}^2=0\)，对\(\forall\varepsilon>0\)，取\(N=1\)，当\(m,n>N\)时，\(\|f_m-f_n\|<\varepsilon\)，是Cauchy列。

  验证极限不在空间中：该序列的逐点极限是Dirichlet函数\(D(x)\)，而\(D(x)\)不是Riemann可积的，故不在\(R^2[0,1]\)中。因此\(R^2[a,b]\)不完备。

  (2) \(L^2[a,b]\)的完备性与意义：
  \(L^2[a,b]\)是\([a,b]\)上Lebesgue平方可积函数的等价类空间，Riesz-Fischer定理证明了它按\(L^2\)范数是完备的，是无穷维Hilbert空间。

  完备性的核心意义：

  1. 极限运算封闭性：保证\(L^2\)空间中极限运算不会出现“极限跑出空间”的情况，是分析学运算的基础，比如平方可积函数的Fourier级数一定在\(L^2\)意义下收敛到自身。
  2. Hilbert空间几何结构：完备内积空间具有和欧氏空间一致的几何结构（正交基、正交投影、勾股定理），是现代分析学的核心框架。
  3. 应用基础：是偏微分方程弱解理论、量子力学态空间、信号处理正交基重构的数学基础。

• 「题后总结」：

  • 核心思想：完备性是Riemann积分与Lebesgue积分的核心区别，Lebesgue积分通过扩大可积函数范围解决了不完备性问题。
  • 解题通法：证明不完备的标准方法是构造极限不在空间中的Cauchy列。
  • 后续关联：泛函分析Banach/Hilbert空间理论、实变函数Lebesgue积分理论。

---

知识点归纳总结表

核心概念/定理	形式化表述/关键条件	典型证明技巧/方法	常见反例/易错点	与后续课程的关联	典型应用场景
平方可积函数空间\(R[a,b]\)	\(f\in R[a,b]\iff f\)可积且\(\int_a^b f^2 dx<+\infty\)，是\(\mathbb{R}\)上的线性空间	验证线性空间8条公理，用不等式证明运算封闭性	易错点：误以为可积一定平方可积（如\(f(x)=1/\sqrt{x}\)在\((0,1)\)可积但非平方可积）	实变函数\(L^2\)空间；泛函分析线性空间理论	能量有限信号建模；最小二乘拟合；随机变量方差分析
内积与内积空间	实内积满足正定性、对称性、双线性性；\(R[a,b]\)上的内积仅满足半正定性	构造二次函数证明Cauchy-Schwarz不等式；用等价类修正正定性缺陷	反例：Dirichlet函数\(\langle D,D\rangle=0\)但\(D\neq0\)；易错点：忽略正定性充要条件	泛函分析Hilbert空间理论；调和分析正交基理论	正交投影；信号正交分解；Fourier级数展开
Cauchy-Schwarz不等式	\(|\langle f,g\rangle|\leq|f||g|\)，等号成立当且仅当\(f,g\)线性相关	构造关于参数\(t\)的非负二次函数，利用判别式估计	易错点：忽略等号成立的线性相关条件	概率论协方差不等式；泛函分析算子范数估计	积分不等式证明；参数估计；误差上界推导
\(L^2\)范数与赋范空间	\(|f|_{L^2}=\sqrt{\int_a^b f^2 dx}\)，满足非负性、齐次性、三角不等式	用Cauchy-Schwarz不等式证明Minkowski不等式	易错点：混淆非负性与正定性，误以为\(|f|=0\iff f\equiv0\)	泛函分析Banach空间理论；函数空间理论	平方平均收敛刻画；函数逼近误差度量；信号能量计算
\(L^2\)距离与度量空间	\(d(f,g)=|f-g|_{L^2}\)，满足非负性、对称性、三角不等式	由范数性质直接继承度量公理	易错点：忽略距离为零仅能推出几乎处处相等	拓扑学度量空间理论；泛函分析收敛性理论	平方平均收敛的距离刻画；函数空间拓扑结构
内积/范数的连续性	若\(f_n\stackrel{L^2}{\to}f\)，\(g_n\stackrel{L^2}{\to}g\)，则\(\langle f_n,g_n\rangle\to\langle f,g\rangle\)，\(|f_n|\to|f|\)	\(\varepsilon/2\)拆分技巧；Cauchy-Schwarz不等式估计	易错点：忽略收敛序列的有界性，逻辑不严谨	泛函分析算子连续性理论	极限与积分/内积的交换；数值计算收敛性验证
\(R^2[a,b]\)的不完备性	\(R^2[a,b]\)中存在\(L^2\)Cauchy列，其极限不在空间中	构造以Dirichlet函数为极限的Cauchy列	易错点：误以为\(R^2[a,b]\)是完备的	实变函数Lebesgue积分理论；Riesz-Fischer定理	为Lebesgue积分的引入提供动机；解释Fourier级数收敛性
Riesz-Fischer定理	\(L^2[a,b]\)是完备的Hilbert空间	构造Cauchy列的几乎处处收敛子列，用Fatou引理证明极限在空间内	易错点：混淆\(R^2\)与\(L^2\)空间的完备性	偏微分方程弱解理论；量子力学数学基础	信号正交基重构；有限元方法；量子力学态叠加原理

---

正交系与Fourier级数的平方平均收敛理论 系统讲解

本节我们将基于上一节建立的平方可积函数内积空间结构，引入正交性这一核心工具，建立一般正交系下的Fourier分析理论，彻底解决平方可积函数的三角多项式平方平均逼近问题。本节内容是经典Fourier分析的核心，也是现代调和分析、小波分析、泛函分析中Hilbert空间正交基理论的基础。

---

一、正交性与正交系的基本概念

1.1 正交的严格定义

定义1（正交性） 设\(f,g\in R[a,b]\)，若其内积为零，即

\[\langle f,g\rangle = \int_a^b f(x)g(x)dx = 0 \]

则称\(f\)与\(g\)正交（垂直）。

直观解释：正交是欧氏空间中两个向量垂直的推广。在欧氏空间中，两个向量垂直当且仅当它们的点积为零；在内积空间中，两个函数正交当且仅当它们的内积为零，意味着两个函数在整个区间上的“加权乘积和”为零，没有“投影分量”。

平凡性质：零函数与\(R[a,b]\)中任意函数正交。

1.2 正交系与规范正交系

定义2（正交系） 设\(\{\varphi_k\}_{k=0}^\infty \subset R[a,b]\)是一个函数系，若满足：

1. 每个\(\varphi_k\)都是非零函数（\(\|\varphi_k\|>0\)）；
2. 任意两个不同的函数正交，即\(\langle \varphi_k,\varphi_l\rangle=0,\ \forall k\neq l\)。
   则称\(\{\varphi_k\}\)为\(R[a,b]\)中的正交系。

定义3（规范正交系） 若正交系\(\{\varphi_k\}\)还满足每个元素的范数为1，即

\[\|\varphi_k\| = \sqrt{\langle \varphi_k,\varphi_k\rangle} = 1,\ \forall k=0,1,2,\dots \]

则称\(\{\varphi_k\}\)为\(R[a,b]\)中的规范正交系（标准正交系）。

核心例子：

1. 三角正交系：在\([-\pi,\pi]\)上，函数系

   \[\{1,\cos x,\sin x,\cos2x,\sin2x,\dots,\cos nx,\sin nx,\dots\} \]

   是正交系，对应的规范正交系为

   \[\left\{\frac{1}{\sqrt{2\pi}},\frac{\cos x}{\sqrt{\pi}},\frac{\sin x}{\sqrt{\pi}},\dots,\frac{\cos nx}{\sqrt{\pi}},\frac{\sin nx}{\sqrt{\pi}},\dots\right\} \]

   【验证】：利用三角函数的正交性积分，\(\int_{-\pi}^\pi \cos kx\cos lx dx=0(k\neq l)\)，\(\int_{-\pi}^\pi \cos^2 kx dx=\pi(k\geq1)\)，\(\int_{-\pi}^\pi 1^2 dx=2\pi\)。

2. Legendre多项式系：在\([-1,1]\)上，Legendre多项式

   \[P_n(x)=\frac{1}{2^n n!}\frac{d^n}{dx^n}(x^2-1)^n,\ n=0,1,2,\dots \]

   是正交系，规范Legendre多项式为\(\sqrt{\frac{2n+1}{2}}P_n(x)\)。

「反例警示」 非正交系的例子
幂函数系\(\{1,x,x^2,\dots,x^n,\dots\}\)在\([0,1]\)上不是正交系。例如\(\langle 1,x\rangle=\int_0^1 1\cdot x dx=\frac{1}{2}\neq0\)，不满足正交性。

---

二、一般正交系下的Fourier系数与Fourier级数

2.1 Fourier系数的严格定义

定义4（Fourier系数与Fourier级数） 设\(\{\varphi_k\}_{k=0}^\infty\)是\(R[a,b]\)中的规范正交系，对任意\(f\in R[a,b]\)，称

\[c_k = \langle f,\varphi_k\rangle = \int_a^b f(x)\varphi_k(x)dx,\ k=0,1,2,\dots \]

为\(f\)关于规范正交系\(\{\varphi_k\}\)的Fourier系数；由此生成的级数

\[\sum_{k=0}^\infty c_k \varphi_k(x) \]

称为\(f\)关于规范正交系\(\{\varphi_k\}\)的Fourier级数，记为

\[f(x) \sim \sum_{k=0}^\infty c_k \varphi_k(x) \]

直观解释：Fourier系数是函数\(f\)在规范正交系元素\(\varphi_k\)上的正交投影，类比欧氏空间中向量在标准正交基上的坐标。Fourier级数就是函数在正交系下的“坐标展开式”，和欧氏空间中向量\(\vec{v}=\sum_{k=1}^n (\vec{v}\cdot\vec{e}_k)\vec{e}_k\)完全一致，区别仅在于这里是无穷维空间。

2.2 三角Fourier级数的对应关系

以\([-\pi,\pi]\)上的规范正交三角函数系为例，我们可以建立普通Fourier系数与规范正交系下Fourier系数的对应关系：
设规范正交系为

\[\varphi_0(x)=\frac{1}{\sqrt{2\pi}},\ \varphi_{2k-1}(x)=\frac{\cos kx}{\sqrt{\pi}},\ \varphi_{2k}(x)=\frac{\sin kx}{\sqrt{\pi}},\ k=1,2,\dots \]

则：

• \(c_0 = \langle f,\varphi_0\rangle = \frac{1}{\sqrt{2\pi}}\int_{-\pi}^\pi f(x)dx = \sqrt{\frac{\pi}{2}} a_0\)，其中\(a_0=\frac{1}{\pi}\int_{-\pi}^\pi f(x)dx\)是普通Fourier系数；
• \(c_{2k-1} = \langle f,\varphi_{2k-1}\rangle = \frac{1}{\sqrt{\pi}}\int_{-\pi}^\pi f(x)\cos kx dx = \sqrt{\pi} a_k\)，其中\(a_k=\frac{1}{\pi}\int_{-\pi}^\pi f(x)\cos kx dx\)；
• \(c_{2k} = \langle f,\varphi_{2k}\rangle = \frac{1}{\sqrt{\pi}}\int_{-\pi}^\pi f(x)\sin kx dx = \sqrt{\pi} b_k\)，其中\(b_k=\frac{1}{\pi}\int_{-\pi}^\pi f(x)\sin kx dx\)。

对应的Fourier级数为：

\[\sum_{k=0}^\infty c_k\varphi_k(x) = \frac{a_0}{2} + \sum_{k=1}^\infty (a_k\cos kx + b_k\sin kx) \]

和普通三角Fourier级数完全一致。

---

三、核心定理：最佳平方逼近定理

最佳平方逼近定理是整个Fourier平方平均收敛理论的基石，它回答了：在正交系张成的有限维子空间中，什么样的线性组合能对原函数实现最佳的平方平均逼近？

定理1（最佳平方逼近定理） 设\(f\in R[a,b]\)，\(\{\varphi_k\}_{k=0}^\infty\)是\(R[a,b]\)中的规范正交系，\(\{c_k\}\)是\(f\)关于\(\{\varphi_k\}\)的Fourier系数。记

\[S_n(x) = \sum_{k=0}^n c_k \varphi_k(x) \]

为Fourier级数的\(n\)次部分和；对任意实数\(\alpha_0,\alpha_1,\dots,\alpha_n\)，记\(n\)次线性组合

\[T_n(x) = \sum_{k=0}^n \alpha_k \varphi_k(x) \]

则有以下三个核心结论：

1. 最佳逼近性：Fourier部分和是所有\(n\)次线性组合中，对\(f\)的最佳平方逼近元，即
   \[\|f - S_n\| \leq \|f - T_n\|,\ \forall \alpha_0,\alpha_1,\dots,\alpha_n\in\mathbb{R} \]
   等号成立当且仅当\(\alpha_k = c_k,\ k=0,1,\dots,n\)，即最佳逼近元唯一。
2. 误差公式：最佳平方逼近的误差满足
   \[\left\|f - \sum_{k=0}^n c_k\varphi_k\right\|^2 = \|f\|^2 - \sum_{k=0}^n c_k^2 \]

3. Bessel不等式：Fourier系数的平方和不超过函数范数的平方，即
   \[\sum_{k=0}^\infty c_k^2 \leq \|f\|^2 \]

完整、分步证明（每步标注依据）

结论1与结论2的证明

1. 展开误差的平方范数：
   由范数与内积的关系\(\|u\|^2=\langle u,u\rangle\)，得

   \[\|f - T_n\|^2 = \left\langle f - \sum_{k=0}^n \alpha_k\varphi_k,\ f - \sum_{l=0}^n \alpha_l\varphi_l\right\rangle \]

   【依据：范数的定义】

2. 利用内积的双线性性展开：
   内积对两个变元都是线性的，因此展开得

   \[\|f - T_n\|^2 = \langle f,f\rangle - \sum_{k=0}^n \alpha_k\langle f,\varphi_k\rangle - \sum_{l=0}^n \alpha_l\langle \varphi_l,f\rangle + \sum_{k=0}^n\sum_{l=0}^n \alpha_k\alpha_l\langle \varphi_k,\varphi_l\rangle \]

   【依据：内积的双线性性】

3. 利用正交系的规范正交性化简：
   规范正交系满足\(\langle \varphi_k,\varphi_l\rangle = \begin{cases}1, & k=l \\ 0, & k\neq l\end{cases}\)，因此二重求和仅当\(k=l\)时非零；同时由内积的对称性\(\langle \varphi_l,f\rangle=\langle f,\varphi_l\rangle=c_l\)，代入得

   \[\|f - T_n\|^2 = \|f\|^2 - 2\sum_{k=0}^n \alpha_k c_k + \sum_{k=0}^n \alpha_k^2 \]

   【依据：规范正交系的定义、内积的对称性、Fourier系数的定义】

4. 配方求最小值：
   对右边的求和项进行配方：

   \[-2\sum_{k=0}^n \alpha_k c_k + \sum_{k=0}^n \alpha_k^2 = \sum_{k=0}^n (\alpha_k - c_k)^2 - \sum_{k=0}^n c_k^2 \]

   代入误差表达式得

   \[\|f - T_n\|^2 = \|f\|^2 - \sum_{k=0}^n c_k^2 + \sum_{k=0}^n (\alpha_k - c_k)^2 \]

   【依据：完全平方公式】

5. 分析最小值条件：
   上式中，\(\|f\|^2 - \sum_{k=0}^n c_k^2\)是与\(\alpha_k\)无关的常数，\(\sum_{k=0}^n (\alpha_k - c_k)^2\)是平方和，恒非负。因此：

   • 当且仅当\(\alpha_k = c_k\)对所有\(k=0,\dots,n\)成立时，平方和为0，\(\|f-T_n\|^2\)取得最小值\(\|f\|^2 - \sum_{k=0}^n c_k^2\)，即最佳逼近性成立，且误差公式得证。

结论3（Bessel不等式）的证明

由结论2的误差公式，误差的平方范数恒非负，因此对任意\(n\in\mathbb{N}\)，有

\[\|f\|^2 - \sum_{k=0}^n c_k^2 = \left\|f - \sum_{k=0}^n c_k\varphi_k\right\|^2 \geq 0 \]

即

\[\sum_{k=0}^n c_k^2 \leq \|f\|^2,\ \forall n\in\mathbb{N} \]

上式说明正项级数\(\sum_{k=0}^\infty c_k^2\)的部分和序列单调递增且有上界\(\|f\|^2\)，由单调有界定理，级数收敛，且满足

\[\sum_{k=0}^\infty c_k^2 \leq \|f\|^2 \]

【依据：单调有界收敛定理、正项级数收敛准则】

几何意义与核心解读

1. 最佳逼近的几何本质：Fourier部分和\(S_n\)是\(f\)在正交系\(\{\varphi_0,\dots,\varphi_n\}\)张成的有限维子空间\(M_n=\text{span}\{\varphi_0,\dots,\varphi_n\}\)上的正交投影。在欧氏空间中，点到平面的最短距离是垂线段的长度，在内积空间中，函数到子空间的最佳平方逼近距离，就是函数到子空间的正交投影的距离，这是欧氏几何在无穷维内积空间的直接推广。

2. 误差公式的勾股定理意义：误差公式

   \[\|f\|^2 = \left\|f - S_n\right\|^2 + \left\|S_n\right\|^2 \]

   （因为\(\|S_n\|^2=\sum_{k=0}^n c_k^2\)）就是无穷维内积空间的勾股定理：函数的范数平方，等于它在子空间上的投影的范数平方，加上垂直于子空间的余项的范数平方。

3. Bessel不等式的意义：Bessel不等式是无穷维勾股定理的弱形式，它说明函数在无穷多个正交基上的投影分量的平方和，不会超过函数自身的范数平方，保证了Fourier系数级数的收敛性。

---

四、Bessel不等式的直接推论：Riemann-Lebesgue引理

推论1（Riemann-Lebesgue引理） 设\(f\in R[a,b]\)，\(\{\varphi_k\}\)是\(R[a,b]\)中的规范正交系，\(\{c_k\}\)是\(f\)的Fourier系数，则

\[\lim_{k\to\infty} c_k = 0 \]

证明：由Bessel不等式，正项级数\(\sum_{k=0}^\infty c_k^2\)收敛，根据级数收敛的必要条件，通项的极限为0，即\(\lim_{k\to\infty} c_k^2=0\)，因此\(\lim_{k\to\infty} c_k=0\)。
【依据：级数收敛的必要条件：若\(\sum_{k=0}^\infty a_k\)收敛，则\(\lim_{k\to\infty}a_k=0\)】

核心解读：Riemann-Lebesgue引理是Fourier分析中最基础的结论之一，它说明：任何平方可积函数的Fourier系数都会随着频率的升高而趋于0。在信号处理中，这意味着任何能量有限的信号，其高频分量的能量都会趋于0，是信号滤波、降噪的理论基础。

「反例警示」 Riemann-Lebesgue引理的逆命题不成立
若一个序列\(\{c_k\}\)满足\(\lim_{k\to\infty}c_k=0\)，不一定存在平方可积函数\(f\)，使得\(c_k\)是\(f\)的Fourier系数。例如\(c_k=\frac{1}{\sqrt{k+1}}\)，满足\(\lim_{k\to\infty}c_k=0\)，但\(\sum_{k=0}^\infty c_k^2=\sum_{k=0}^\infty \frac{1}{k+1}\)发散，不满足Bessel不等式，因此不存在对应的平方可积函数。

---

五、Parseval等式与正交系的封闭性（完备性）

Bessel不等式给出了Fourier系数平方和的上界，我们自然会问：什么时候等号成立？这就引出了正交系的封闭性（完备性）概念。

5.1 核心定义

定义5（Parseval等式） 设\(\{\varphi_k\}\)是\(R[a,b]\)中的规范正交系，若对所有\(f\in R[a,b]\)，都有

\[\sum_{k=0}^\infty c_k^2 = \|f\|^2 \]

其中\(c_k=\langle f,\varphi_k\rangle\)是\(f\)的Fourier系数，则称上式为Parseval等式（封闭公式）。

定义6（正交系的封闭性/完备性） 若规范正交系\(\{\varphi_k\}\)满足Parseval等式对所有\(f\in R[a,b]\)成立，则称\(\{\varphi_k\}\)是\(R[a,b]\)中的封闭正交系（完备正交系）。

5.2 封闭性的等价刻画

定理2（封闭性的等价条件） 设\(\{\varphi_k\}\)是\(R[a,b]\)中的规范正交系，则以下三个命题等价：

1. \(\{\varphi_k\}\)是封闭的（Parseval等式对所有\(f\in R[a,b]\)成立）；
2. 对所有\(f\in R[a,b]\)，其Fourier级数的部分和\(S_n\)平方平均收敛于\(f\)，即
   \[\lim_{n\to\infty} \|f - S_n\| = 0 \]

3. 所有\(f\in R[a,b]\)都可以用\(\{\varphi_k\}\)中有限个元素的线性组合平方平均逼近，即对任意\(\varepsilon>0\)，存在\(n\in\mathbb{N}\)和实数\(\alpha_0,\dots,\alpha_n\)，使得
   \[\left\|f - \sum_{k=0}^n \alpha_k\varphi_k\right\| < \varepsilon \]

完整等价性证明

(1) \(\iff\) (2)

由最佳平方逼近定理的误差公式：

\[\|f - S_n\|^2 = \|f\|^2 - \sum_{k=0}^n c_k^2 \]

令\(n\to\infty\)，得

\[\lim_{n\to\infty}\|f - S_n\|^2 = \|f\|^2 - \sum_{k=0}^\infty c_k^2 \]

因此：

• Parseval等式成立\(\iff\) 右边为0\(\iff\) \(\lim_{n\to\infty}\|f - S_n\|=0\)，即Fourier级数平方平均收敛于\(f\)。

(2) \(\implies\) (3)

若Fourier级数平方平均收敛于\(f\)，则对任意\(\varepsilon>0\)，存在\(n\in\mathbb{N}\)，当\(n>N\)时，\(\|f - S_n\|<\varepsilon\)，而\(S_n\)就是\(\{\varphi_0,\dots,\varphi_n\}\)的线性组合，因此(3)成立。

(3) \(\implies\) (1)

对任意\(\varepsilon>0\)，由(3)，存在线性组合\(T_n=\sum_{k=0}^n \alpha_k\varphi_k\)，使得\(\|f-T_n\|<\varepsilon\)。由最佳平方逼近定理，Fourier部分和\(S_n\)是最佳逼近元，因此\(\|f-S_n\|\leq\|f-T_n\|<\varepsilon\)。

由误差公式，\(\|f\|^2 - \sum_{k=0}^n c_k^2 = \|f-S_n\|^2 < \varepsilon^2\)，即

\[0\leq \|f\|^2 - \sum_{k=0}^\infty c_k^2 \leq \|f\|^2 - \sum_{k=0}^n c_k^2 < \varepsilon^2 \]

由\(\varepsilon\)的任意性，得\(\|f\|^2 = \sum_{k=0}^\infty c_k^2\)，即Parseval等式成立，(1)得证。

几何意义

封闭正交系就是内积空间\(R[a,b]\)的一组完备正交基，类比欧氏空间中的标准正交基：欧氏空间中，任何向量都可以表示为标准正交基的线性组合，且范数平方等于各坐标分量的平方和；在无穷维内积空间中，封闭正交系保证了任何平方可积函数都可以展开为Fourier级数（平方平均收敛意义下），且范数平方等于各Fourier系数的平方和，即Parseval等式成立。

「反例警示」 不完备的正交系
在\([-\pi,\pi]\)上，正交系\(\{\sin x,\sin2x,\dots,\sin nx,\dots\}\)是不完备的。例如取\(f(x)=1\)，其Fourier系数\(c_k=\langle 1,\sin kx\rangle=0\)，因此\(\sum_{k=1}^\infty c_k^2=0\)，但\(\|f\|^2=\int_{-\pi}^\pi 1^2 dx=2\pi\)，Bessel不等式严格成立，Parseval等式不成立，因此该正交系不完备。

---

六、核心定理：三角函数系的封闭性

我们现在证明本节最重要的结论：\([-\pi,\pi]\)上的三角正交系是封闭的，这彻底解决了平方可积函数的三角多项式平方平均逼近问题。

定理3（三角函数系的封闭性） \([-\pi,\pi]\)上的规范正交三角函数系

\[\left\{\frac{1}{\sqrt{2\pi}},\frac{\cos x}{\sqrt{\pi}},\frac{\sin x}{\sqrt{\pi}},\dots,\frac{\cos nx}{\sqrt{\pi}},\frac{\sin nx}{\sqrt{\pi}},\dots\right\} \]

是\(R[-\pi,\pi]\)中的封闭正交系，即对任意\(f\in R[-\pi,\pi]\)，Parseval等式

\[\frac{a_0^2}{2} + \sum_{k=1}^\infty (a_k^2 + b_k^2) = \frac{1}{\pi}\int_{-\pi}^\pi f(x)^2 dx \]

成立，其中\(a_0,a_k,b_k\)是\(f\)的普通三角Fourier系数；且\(f\)的Fourier级数平方平均收敛于\(f\)。

完整三步证明

我们利用定理2的等价条件(3)：只要证明所有平方可积函数都可以用三角多项式平方平均逼近，即可证明封闭性。证明分三步，从简单函数逐步推广到一般平方可积函数。

步骤1：对连续周期函数\(f\in C[-\pi,\pi]\)且\(f(-\pi)=f(\pi)\)，结论成立

由Weierstrass三角逼近定理：周期为\(2\pi\)的连续函数可以用三角多项式一致逼近。即对任意\(\varepsilon>0\)，存在三角多项式\(T_n(x)\)，使得

\[|f(x) - T_n(x)| < \sqrt{\frac{\varepsilon}{2\pi}},\ \forall x\in[-\pi,\pi] \]

【依据：Weierstrass三角逼近定理】

两边平方后积分，得

\[\|f - T_n\|^2 = \int_{-\pi}^\pi [f(x)-T_n(x)]^2 dx < \int_{-\pi}^\pi \frac{\varepsilon}{2\pi} dx = \varepsilon \]

即\(\|f-T_n\|<\sqrt{\varepsilon}\)，因此连续周期函数可以用三角多项式平方平均逼近。

由最佳平方逼近定理，Fourier部分和\(S_n\)是最佳逼近元，因此\(\|f-S_n\|\leq\|f-T_n\|<\sqrt{\varepsilon}\)，即Fourier级数平方平均收敛于\(f\)，Parseval等式成立。

步骤2：对分段连续函数\(f\)，结论成立

设\(f\)在\([-\pi,\pi]\)上分段连续，即存在分割\(-\pi=x_0<x_1<\dots<x_m=\pi\)，使得\(f\)在每个开区间\((x_{i-1},x_i)\)上连续，在端点处有有限极限。

对任意\(\varepsilon>0\)，我们可以构造一个连续周期函数\(g(x)\)，使得\(\|f-g\|<\sqrt{\varepsilon}/2\)：

• 对\(f\)的每个间断点，用连续的折线段连接间断点两侧的函数值，使得折线段与\(f\)的差的积分足够小；
• 由\(f\)分段连续，振幅有限，可构造\(g(x)\)满足\(\int_{-\pi}^\pi [f(x)-g(x)]^2 dx < \varepsilon/4\)，即\(\|f-g\|<\sqrt{\varepsilon}/2\)。

对连续函数\(g(x)\)，由步骤1，存在三角多项式\(T_n(x)\)，使得\(\|g-T_n\|<\sqrt{\varepsilon}/2\)。

由三角不等式（Minkowski不等式）：

\[\|f-T_n\| \leq \|f-g\| + \|g-T_n\| < \sqrt{\varepsilon}/2 + \sqrt{\varepsilon}/2 = \sqrt{\varepsilon} \]

因此分段连续函数可以用三角多项式平方平均逼近，结论成立。

步骤3：对一般平方可积函数\(f\in R[-\pi,\pi]\)，结论成立

设\(f\)是\([-\pi,\pi]\)上的平方可积函数，即\(f^2\)可积。对任意\(\varepsilon>0\)，由Riemann可积的定义，存在分割\(-\pi=x_0<x_1<\dots<x_m=\pi\)，使得

\[\sum_{i=1}^m \omega_i \Delta x_i < \frac{\varepsilon}{4M} \]

其中\(\omega_i\)是\(f\)在\([x_{i-1},x_i]\)上的振幅，\(M\)是\(|f|\)的上界（平方可积函数必有界，否则\(f^2\)不可积）。

构造阶梯函数\(g(x)\)，在每个区间\([x_{i-1},x_i]\)上取\(f\)的上确界（或下确界），则\(g(x)\)是分段连续函数，且

\[\int_{-\pi}^\pi [f(x)-g(x)]^2 dx \leq 2M \sum_{i=1}^m \omega_i \Delta x_i < \frac{\varepsilon}{2} \]

即\(\|f-g\|<\sqrt{\varepsilon/2}\)。

对分段连续函数\(g(x)\)，由步骤2，存在三角多项式\(T_n(x)\)，使得\(\|g-T_n\|<\sqrt{\varepsilon/2}\)。

由三角不等式：

\[\|f-T_n\| \leq \|f-g\| + \|g-T_n\| < \sqrt{\varepsilon/2} + \sqrt{\varepsilon/2} = \sqrt{\varepsilon} \]

因此一般平方可积函数可以用三角多项式平方平均逼近。

综上，所有\(f\in R[-\pi,\pi]\)都可以用三角多项式平方平均逼近，由定理2的等价条件，三角函数系是封闭的，Parseval等式成立，Fourier级数平方平均收敛于\(f\)。

定理的核心意义

这个定理彻底解决了我们在16.1节提出的问题：所有周期为\(2\pi\)的平方可积函数，无论是否连续，都可以用三角多项式平方平均逼近，其Fourier级数在平方平均意义下收敛到自身。这是Fourier分析的核心定理，也是信号处理、调和分析、偏微分方程分离变量法的理论基础。

---

七、重要推论

推论2（Fourier系数的唯一性定理）

设\(f,g\in R[-\pi,\pi]\)，若\(f\)和\(g\)有完全相同的三角Fourier系数，则\(f\)与\(g\)几乎处处相等，即\(f(x)\stackrel{\text{a.e.}}{=}g(x),\ x\in[-\pi,\pi]\)。特别地，若\(f,g\)都是连续函数，则\(f(x)\equiv g(x),\ x\in[-\pi,\pi]\)。

证明：令\(h(x)=f(x)-g(x)\)，则\(h\)的Fourier系数全为0。由Parseval等式：

\[\frac{1}{\pi}\int_{-\pi}^\pi h(x)^2 dx = \frac{a_0^2}{2} + \sum_{k=1}^\infty (a_k^2 + b_k^2) = 0 \]

因此\(\int_{-\pi}^\pi h(x)^2 dx=0\)，即\(h(x)\stackrel{\text{a.e.}}{=}0\)，故\(f\stackrel{\text{a.e.}}{=}g\)。

若\(f,g\)连续，则\(h\)连续，连续函数的积分为0当且仅当\(h(x)\equiv0\)，故\(f\equiv g\)。

核心意义：唯一性定理说明，平方可积函数由其Fourier系数唯一确定（几乎处处意义下），这是Fourier变换的逆变换存在性的基础，也是信号重构的理论依据。

---

八、梯度化配套例题

【基础巩固题】

例题1

• 难度层级：基础巩固题

• 考察核心知识点：Fourier系数计算、Bessel不等式验证

• 题干：设\(f(x)=x\)，\(x\in[-\pi,\pi]\)，
  (1) 计算\(f(x)\)的三角Fourier系数\(a_0,a_k,b_k\)；
  (2) 写出\(f(x)\)的Fourier级数；
  (3) 验证Bessel不等式成立。

• 解答过程：
  (1) 计算Fourier系数：
  \(f(x)=x\)是奇函数，故\(a_0=0\)，\(a_k=0\)（\(k\geq1\)）；
  对\(b_k\)，由分部积分法：

  \[b_k = \frac{1}{\pi}\int_{-\pi}^\pi x\sin kx dx = \frac{2}{\pi}\int_0^\pi x\sin kx dx = \frac{2(-1)^{k+1}}{k},\ k=1,2,\dots \]

  【依据：奇函数在对称区间的积分性质、分部积分法】

  (2) Fourier级数：

  \[f(x) \sim \sum_{k=1}^\infty \frac{2(-1)^{k+1}}{k} \sin kx \]

  (3) 验证Bessel不等式：
  Bessel不等式为：

  \[\frac{a_0^2}{2} + \sum_{k=1}^\infty (a_k^2 + b_k^2) \leq \frac{1}{\pi}\int_{-\pi}^\pi f(x)^2 dx \]

  左边：\(\sum_{k=1}^\infty b_k^2 = \sum_{k=1}^\infty \frac{4}{k^2} = 4\cdot\frac{\pi^2}{6} = \frac{2\pi^2}{3}\)；
  右边：\(\frac{1}{\pi}\int_{-\pi}^\pi x^2 dx = \frac{2}{\pi}\cdot\frac{\pi^3}{3} = \frac{2\pi^2}{3}\)；
  左边等于右边，Bessel不等式成立（实际上是Parseval等式成立）。

• 「题后总结」：

  • 核心思想：通过具体计算掌握Fourier系数的计算方法，验证Bessel不等式，理解奇函数的Fourier级数仅含正弦项。
  • 解题通法：奇偶函数的Fourier系数可利用对称性简化计算，分部积分法是计算Fourier系数的核心工具。
  • 易错点：计算\(b_k\)时符号错误，或忘记Bessel不等式中的系数\(1/\pi\)。

---

【进阶综合题】

例题2

• 难度层级：进阶综合题

• 考察核心知识点：Parseval等式的应用、数项级数求和

• 题干：设\(f(x)=x^2\)，\(x\in[-\pi,\pi]\)，利用Parseval等式求级数\(\sum_{k=1}^\infty \frac{1}{k^4}\)的和。

• 解答过程：

  1. 计算Fourier系数：
     \(f(x)=x^2\)是偶函数，故\(b_k=0\)（\(k\geq1\)）；
  \[a_0 = \frac{1}{\pi}\int_{-\pi}^\pi x^2 dx = \frac{2\pi^2}{3} \]
  \[a_k = \frac{1}{\pi}\int_{-\pi}^\pi x^2\cos kx dx = \frac{4(-1)^k}{k^2},\ k\geq1 \]
  2. 应用Parseval等式：
     Parseval等式为：
  \[\frac{a_0^2}{2} + \sum_{k=1}^\infty a_k^2 = \frac{1}{\pi}\int_{-\pi}^\pi f(x)^2 dx \]

  代入计算：
  左边：\(\frac{1}{2}\cdot\left(\frac{2\pi^2}{3}\right)^2 + \sum_{k=1}^\infty \frac{16}{k^4} = \frac{2\pi^4}{9} + 16\sum_{k=1}^\infty \frac{1}{k^4}\)；
  右边：\(\frac{1}{\pi}\int_{-\pi}^\pi x^4 dx = \frac{2\pi^4}{5}\)；

  3. 解方程求级数和：
  \[\frac{2\pi^4}{9} + 16\sum_{k=1}^\infty \frac{1}{k^4} = \frac{2\pi^4}{5} \]

  整理得：

  \[\sum_{k=1}^\infty \frac{1}{k^4} = \frac{\pi^4}{90} \]

• 「题后总结」：

  • 核心思想：利用Parseval等式建立函数平方积分与Fourier系数级数和的等价关系，实现数项级数的精确求解。
  • 解题通法：计算Fourier系数→代入Parseval等式→解方程得到级数和，是求偶次p-级数和的标准方法。
  • 题干识别特征：求\(\sum_{n=1}^\infty 1/n^{2m}\)形式的级数和，优先考虑Parseval等式。
  • 后续关联：Riemann Zeta函数的偶数值求解、概率论中随机变量的矩计算。

• 「变式思考」：利用Parseval等式求级数\(\sum_{k=1}^\infty \frac{1}{k^6}\)的和。

---

【科研拓展题】

例题3

• 难度层级：科研拓展题

• 考察核心知识点：正交系的完备性、Hilbert空间基的性质、Legendre多项式

• 题干：Legendre多项式\(P_n(x)=\frac{1}{2^n n!}\frac{d^n}{dx^n}(x^2-1)^n\)是\([-1,1]\)上的正交系，满足\(\int_{-1}^1 P_m(x)P_n(x)dx=\frac{2}{2n+1}\delta_{mn}\)，其中\(\delta_{mn}\)是Kronecker符号。
  (1) 写出\([-1,1]\)上的规范Legendre正交系；
  (2) 证明Legendre多项式系是\(R[-1,1]\)上的完备正交系；
  (3) 说明其在数值分析、有限元方法中的应用意义。

• 解答过程：
  (1) 规范Legendre正交系：
  由正交性，\(\|P_n\|^2=\frac{2}{2n+1}\)，因此规范Legendre多项式为

  \[\widetilde{P}_n(x) = \sqrt{\frac{2n+1}{2}} P_n(x),\ n=0,1,2,\dots \]

  满足\(\langle \widetilde{P}_m,\widetilde{P}_n\rangle=\delta_{mn}\)，是\([-1,1]\)上的规范正交系。

  (2) 完备性证明：
  由Weierstrass多项式逼近定理：\([-1,1]\)上的连续函数可以用代数多项式一致逼近，从而平方平均逼近。而所有次数不超过\(n\)的代数多项式都可以表示为\(P_0,P_1,\dots,P_n\)的线性组合（Gram-Schmidt正交化的逆过程），因此所有连续函数都可以用Legendre多项式的有限线性组合平方平均逼近。

  对一般平方可积函数\(f\in R[-1,1]\)，可以用连续函数平方平均逼近，再用Legendre多项式线性组合逼近连续函数，由三角不等式，\(f\)可以用Legendre多项式线性组合平方平均逼近。由定理2的等价条件，Legendre多项式系是完备的。

  (3) 应用意义：
  Legendre多项式是\([-1,1]\)上的完备正交多项式系，具有以下核心应用：

  1. 数值分析中的最佳平方逼近：用Legendre多项式展开实现函数的最佳平方逼近，避免了幂函数系的病态问题，数值稳定性好；
  2. 有限元方法与谱方法：Legendre多项式是谱方法的核心基函数，其正交性保证了刚度矩阵的稀疏性，大幅提高偏微分方程数值求解的效率；
  3. 球谐函数与量子力学：Legendre多项式是球谐函数的径向部分，是量子力学中氢原子波函数的核心组成部分；
  4. 机器学习中的核方法：正交多项式核是核方法的重要组成部分，用于高维特征空间的映射。

• 「题后总结」：

  • 核心思想：正交多项式系的完备性证明核心是Weierstrass逼近定理，所有完备正交系都满足“有限线性组合可以逼近任意平方可积函数”的性质。
  • 解题通法：证明正交系完备性的标准方法是验证“连续函数可以用其线性组合逼近”，再推广到一般平方可积函数。
  • 后续关联：泛函分析中的Schauder基理论、调和分析中的正交小波基、数值分析中的谱方法。

---

九、知识点归纳总结表

核心概念/定理	形式化表述/关键条件	典型证明技巧/方法	常见反例/易错点	与后续课程的关联	典型应用场景
正交性	\(f,g\in R[a,b]\)正交\(\iff\langle f,g\rangle=\int_a^b f(x)g(x)dx=0\)	内积计算、积分正交性验证	易错点：误以为零函数是唯一与所有函数正交的函数（几乎处处为零的函数都满足）	泛函分析Hilbert空间正交性、量子力学态正交	信号正交分解、正交滤波、PCA降维
规范正交系	两两正交且每个元素范数为1的函数系\(\{\varphi_k\}\)，即\(\langle\varphi_k,\varphi_l\rangle=\delta_{kl}\)	Gram-Schmidt正交化、三角函数/Legendre多项式正交性验证	反例：幂函数系\(\{1,x,x^2,\dots\}\)不是正交系；易错点：混淆正交系与规范正交系的系数	泛函分析正交基理论、调和分析小波基	Fourier级数展开、函数正交逼近、信号压缩
Fourier系数	规范正交系下\(c_k=\langle f,\varphi_k\rangle=\int_a^b f(x)\varphi_k(x)dx\)	分部积分法、奇偶对称性简化计算	易错点：混淆普通Fourier系数与规范正交系下的Fourier系数的系数关系	调和分析Fourier变换、泛函分析对偶空间	频谱分析、信号特征提取、图像压缩
最佳平方逼近定理	Fourier部分和是正交系张成子空间的唯一最佳平方逼近元，误差\(|f-S_n|^2=|f|^2-\sum_{k=0}^n c_k^2\)	内积双线性展开、配方求最小值、正交性化简	易错点：误以为Fourier部分和是一致逼近的最佳元，混淆平方逼近与一致逼近	泛函分析正交投影定理、逼近论最佳逼近	最小二乘拟合、数据平滑、有限元基函数选取
Bessel不等式	\(\sum_{k=0}^\infty c_k^2\leq|f|^2\)，对任意规范正交系成立	最佳平方逼近误差非负、单调有界定理证级数收敛	反例：不完备正交系下Bessel不等式严格成立；易错点：误以为等号对所有正交系成立	Hilbert空间Bessel不等式、算子范数估计	信号能量估计、降噪阈值选择、级数收敛性判断
Riemann-Lebesgue引理	平方可积函数的Fourier系数满足\(\lim_{k\to\infty}c_k=0\)	Bessel不等式、级数收敛的必要条件	反例：\(c_k=1/\sqrt{k}\)趋于0但无对应平方可积函数；易错点：逆命题不成立	调和分析振荡积分、Fourier变换衰减性	信号高频滤波、积分方程求解、级数收敛性证明
Parseval等式与封闭性	正交系封闭\(\iff\sum_{k=0}^\infty c_k^2=|f|^2\)对所有\(f\)成立\(\iff\)Fourier级数平方平均收敛于\(f\)	Weierstrass逼近定理、连续函数逼近一般可积函数、三角不等式	反例：\(\{\sin nx\}\)在\([-\pi,\pi]\)上不完备；易错点：混淆正交系与完备正交系	Hilbert空间完备正交基、Plancherel定理	数项级数求和、信号能量守恒、量子力学概率守恒
三角函数系的封闭性	\([-\pi,\pi]\)上的三角正交系是完备的，Parseval等式成立，Fourier级数平方平均收敛	分三步逼近：连续函数→分段连续函数→一般可积函数，Weierstrass三角逼近定理	反例：Fourier级数平方平均收敛但逐点不收敛（Kolmogorov反例）；易错点：混淆平方平均收敛与逐点收敛	调和分析Fourier级数、偏微分方程分离变量法	信号处理、图像处理、振动分析、偏微分方程求解
Fourier系数唯一性定理	两个平方可积函数有相同Fourier系数则几乎处处相等，连续函数则恒等	Parseval等式、连续函数积分为零则恒为零	反例：零函数与Dirichlet函数有相同Fourier系数但不恒等；易错点：忽略“几乎处处”的条件	逆问题理论、Fourier逆变换	信号重构、逆滤波、系统识别、断层扫描成像

---

广义Parseval等式与Fourier级数逐项积分定理 系统讲解

本节我们基于三角函数系的完备性与Parseval等式，完成两个核心结论的讲解：一是将Parseval等式从单个函数的范数形式推广到两个函数的内积形式（广义Parseval等式），这是内积空间中内积的坐标表示的核心结论；二是利用广义Parseval等式证明Fourier级数特有的逐项积分定理——该定理突破了一般函数项级数逐项积分对一致收敛性的要求，无论原Fourier级数是否逐点收敛，都可在任意闭区间上逐项积分，且逐项积分后的级数一致收敛。这是Fourier分析区别于普通幂级数分析的核心特性之一。

---

一、广义Parseval等式（推广的Parseval等式）

1.1 定理的严格表述

预备知识：设\(f(x),g(x)\in R[-\pi,\pi]\)（即\([-\pi,\pi]\)上的平方可积函数），\(f(x)\)的Fourier系数为

\[a_n = \frac{1}{\pi}\int_{-\pi}^\pi f(x)\cos nx dx,\ n=0,1,2,\dots \]

\[b_n = \frac{1}{\pi}\int_{-\pi}^\pi f(x)\sin nx dx,\ n=1,2,\dots \]

\(g(x)\)的Fourier系数为

\[\alpha_n = \frac{1}{\pi}\int_{-\pi}^\pi g(x)\cos nx dx,\ n=0,1,2,\dots \]

\[\beta_n = \frac{1}{\pi}\int_{-\pi}^\pi g(x)\sin nx dx,\ n=1,2,\dots \]

定理1（广义Parseval等式） 设\(f(x),g(x)\in R[-\pi,\pi]\)，其Fourier系数分别为\(\{a_n,b_n\}\)与\(\{\alpha_n,\beta_n\}\)，则

\[\frac{1}{\pi}\int_{-\pi}^\pi f(x)g(x)dx = \frac{a_0\alpha_0}{2} + \sum_{n=1}^\infty (a_n\alpha_n + b_n\beta_n) \]

1.2 完整证明与拆解

教材采用极化恒等式的方法，这是内积空间中将内积转化为范数的通用方法，我们先完整复现并拆解证明，再补充更直观的正交基展开法。

证明方法1：极化恒等式法（教材方法）

步骤1：极化恒等式的引入
在内积空间中，内积可通过范数表示，即极化恒等式：

\[\langle f,g\rangle = \frac{1}{4}\left( \|f+g\|^2 - \|f-g\|^2 \right) \]

对于平方可积函数空间，内积定义为\(\langle f,g\rangle = \frac{1}{\pi}\int_{-\pi}^\pi f(x)g(x)dx\)，范数平方为\(\|f\|^2 = \langle f,f\rangle = \frac{1}{\pi}\int_{-\pi}^\pi f^2(x)dx\)，因此极化恒等式可写为

\[\frac{1}{\pi}\int_{-\pi}^\pi f(x)g(x)dx = \frac{1}{4}\left\{ \frac{1}{\pi}\int_{-\pi}^\pi [f(x)+g(x)]^2 dx - \frac{1}{\pi}\int_{-\pi}^\pi [f(x)-g(x)]^2 dx \right\} \]

【依据：内积的定义、完全平方公式展开】

步骤2：对\(f+g\)和\(f-g\)应用Parseval等式
由Fourier系数的线性性，\(f+g\)的Fourier系数为\(a_0+\alpha_0,\ a_n+\alpha_n,\ b_n+\beta_n\)，\(f-g\)的Fourier系数为\(a_0-\alpha_0,\ a_n-\alpha_n,\ b_n-\beta_n\)。

由三角函数系的完备性，Parseval等式对任意平方可积函数成立，因此

\[\frac{1}{\pi}\int_{-\pi}^\pi [f+g]^2 dx = \frac{(a_0+\alpha_0)^2}{2} + \sum_{n=1}^\infty \left[(a_n+\alpha_n)^2 + (b_n+\beta_n)^2\right] \]

\[\frac{1}{\pi}\int_{-\pi}^\pi [f-g]^2 dx = \frac{(a_0-\alpha_0)^2}{2} + \sum_{n=1}^\infty \left[(a_n-\alpha_n)^2 + (b_n-\beta_n)^2\right] \]

【依据：Fourier系数的线性性、三角函数系的完备性】

步骤3：代入化简得到结论
将上述两式代入极化恒等式，利用完全平方差公式\((A+B)^2-(A-B)^2=4AB\)化简：

\[\begin{align*} &\frac{1}{4}\left\{ \frac{(a_0+\alpha_0)^2 - (a_0-\alpha_0)^2}{2} + \sum_{n=1}^\infty \left[ (a_n+\alpha_n)^2 - (a_n-\alpha_n)^2 + (b_n+\beta_n)^2 - (b_n-\beta_n)^2 \right] \right\} \\ =& \frac{1}{4}\left\{ \frac{4a_0\alpha_0}{2} + \sum_{n=1}^\infty \left[ 4a_n\alpha_n + 4b_n\beta_n \right] \right\} \\ =& \frac{a_0\alpha_0}{2} + \sum_{n=1}^\infty (a_n\alpha_n + b_n\beta_n) \end{align*} \]

广义Parseval等式得证。

证明方法2：完备正交基的内积展开法（更直观）

\([-\pi,\pi]\)上的规范正交三角函数系为

\[\varphi_0(x)=\frac{1}{\sqrt{2\pi}},\ \varphi_{2n-1}(x)=\frac{\cos nx}{\sqrt{\pi}},\ \varphi_{2n}(x)=\frac{\sin nx}{\sqrt{\pi}},\ n=1,2,\dots \]

该正交系是完备的，因此对任意\(f,g\in R[-\pi,\pi]\)，内积可展开为正交基下的坐标乘积和：

\[\langle f,g\rangle = \sum_{k=0}^\infty \langle f,\varphi_k\rangle \langle g,\varphi_k\rangle \]

将规范正交系下的Fourier系数与普通Fourier系数对应：

• \(\langle f,\varphi_0\rangle = \sqrt{\frac{\pi}{2}}a_0\)，\(\langle g,\varphi_0\rangle = \sqrt{\frac{\pi}{2}}\alpha_0\)；
• \(\langle f,\varphi_{2n-1}\rangle = \sqrt{\pi}a_n\)，\(\langle g,\varphi_{2n-1}\rangle = \sqrt{\pi}\alpha_n\)；
• \(\langle f,\varphi_{2n}\rangle = \sqrt{\pi}b_n\)，\(\langle g,\varphi_{2n}\rangle = \sqrt{\pi}\beta_n\)。

代入内积展开式，直接化简得到广义Parseval等式，与教材结论完全一致。

1.3 定理的核心解读

1. 几何本质：广义Parseval等式是无穷维内积空间中内积的坐标表示，类比欧氏空间中两个向量的点积等于坐标对应乘积之和，两个函数的内积等于它们在完备正交基下Fourier系数的对应乘积之和。
2. 级数收敛性：等式右边的级数绝对收敛。由Bessel不等式，\(\sum a_n^2\)和\(\sum \alpha_n^2\)均收敛，由Cauchy-Schwarz不等式，\(\sum |a_n\alpha_n| \leq \sqrt{\sum a_n^2 \sum \alpha_n^2} < +\infty\)，同理\(\sum |b_n\beta_n|\)收敛，保证了等式的合理性。
3. 特例关系：当\(g(x)=f(x)\)时，广义Parseval等式退化为普通Parseval等式。

---

二、Fourier级数的逐项积分定理

这是广义Parseval等式的核心应用，也是Fourier级数最具特色的性质，完全突破了一般函数项级数逐项积分的限制。

2.1 定理的严格表述

定理2（Fourier级数的逐项积分定理） 设\(f(x)\in R[-\pi,\pi]\)，其Fourier级数为

\[f(x) \sim \frac{a_0}{2} + \sum_{n=1}^\infty (a_n\cos nx + b_n\sin nx) \]

则对任意闭区间\([a,b]\subset [-\pi,\pi]\)，有

\[\int_a^b f(x)dx = \int_a^b \frac{a_0}{2}dx + \sum_{n=1}^\infty \int_a^b (a_n\cos nx + b_n\sin nx)dx \]

更强结论：逐项积分后的级数在\([-\pi,\pi]\)上一致收敛于\(\int_{-\pi}^x f(t)dt - \frac{a_0}{2}x\)。

2.2 完整证明与拆解

核心证明（教材方法）

步骤1：构造特殊的测试函数\(g(x)\)
广义Parseval等式对任意\(g(x)\in R[-\pi,\pi]\)成立，因此构造分段特征函数

\[g(x) = \begin{cases} 1, & x\in [a,b] \\ 0, & x\in [-\pi,a)\cup (b,\pi] \end{cases}\]

\(g(x)\)是分段连续函数，属于\(R[-\pi,\pi]\)，满足广义Parseval等式的条件。

步骤2：计算\(g(x)\)的Fourier系数

\[\alpha_0 = \frac{1}{\pi}\int_{-\pi}^\pi g(x)dx = \frac{b-a}{\pi} \]

\[\alpha_n = \frac{1}{\pi}\int_a^b \cos nx dx,\ n\geq1 \]

\[\beta_n = \frac{1}{\pi}\int_a^b \sin nx dx,\ n\geq1 \]

步骤3：代入广义Parseval等式化简
等式左边：\(\frac{1}{\pi}\int_{-\pi}^\pi f(x)g(x)dx = \frac{1}{\pi}\int_a^b f(x)dx\)。

等式右边代入\(\alpha_n,\beta_n\)的表达式：

\[\begin{align*} \frac{a_0\alpha_0}{2} + \sum_{n=1}^\infty (a_n\alpha_n + b_n\beta_n) &= \frac{a_0}{2}\cdot\frac{b-a}{\pi} + \sum_{n=1}^\infty \left( a_n\cdot\frac{1}{\pi}\int_a^b \cos nx dx + b_n\cdot\frac{1}{\pi}\int_a^b \sin nx dx \right) \\ &= \frac{1}{\pi}\left[ \int_a^b \frac{a_0}{2}dx + \sum_{n=1}^\infty \int_a^b (a_n\cos nx + b_n\sin nx)dx \right] \end{align*} \]

两边同时乘以\(\pi\)，直接得到逐项积分的等式，定理得证。

补充证明：逐项积分后的级数一致收敛

对任意\(x\in[-\pi,\pi]\)，逐项积分后的级数为

\[\int_{-\pi}^x f(t)dt = \frac{a_0}{2}(x+\pi) + \sum_{n=1}^\infty \left( a_n\frac{\sin nx}{n} + b_n\frac{(-1)^n - \cos nx}{n} \right) \]

对通项做估计：

\[\left| a_n\frac{\sin nx}{n} + b_n\frac{(-1)^n - \cos nx}{n} \right| \leq \frac{|a_n| + 2|b_n|}{n} \]

由Cauchy-Schwarz不等式：

\[\sum_{n=1}^\infty \frac{|a_n|}{n} \leq \sqrt{\sum_{n=1}^\infty a_n^2 \cdot \sum_{n=1}^\infty \frac{1}{n^2}} < +\infty \]

\[\sum_{n=1}^\infty \frac{|b_n|}{n} \leq \sqrt{\sum_{n=1}^\infty b_n^2 \cdot \sum_{n=1}^\infty \frac{1}{n^2}} < +\infty \]

其中\(\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}\)收敛，由Bessel不等式\(\sum a_n^2\)、\(\sum b_n^2\)均收敛，因此优级数\(\sum_{n=1}^\infty \frac{|a_n|+2|b_n|}{n}\)收敛。由Weierstrass M判别法，逐项积分后的级数在\([-\pi,\pi]\)上一致收敛。

2.3 定理的核心解读与特殊性

1. 突破一致收敛的限制：一般函数项级数逐项积分需要满足一致收敛的条件，而Fourier级数的逐项积分完全不需要原级数的逐点收敛性，更不需要一致收敛性，仅需原函数平方可积即可。

2. 「反例警示」：原级数发散但逐项积分后收敛
   取\(f(x)=x\)，\(x\in(-\pi,\pi)\)，其Fourier级数为

\[x \sim 2\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}\sin nx \]

该级数在\(x=\pi\)处收敛于0，与\(f(\pi)=\pi\)不符，在\(x=\pi\)处发散。但根据逐项积分定理，对任意\(x\in(-\pi,\pi)\)，有

\[\frac{x^2}{2} = 2\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^2}(1-\cos nx) \]

右边的级数在\([-\pi,\pi]\)上一致收敛，即使原级数在\(x=\pi\)处发散，逐项积分后的级数仍收敛。

3. 深层原因：定理成立的核心是三角函数系的完备性和Fourier系数的衰减性。即使原级数发散，由Bessel不等式，\(\sum a_n^2\)、\(\sum b_n^2\)收敛，逐项积分后的系数为\(a_n/n\)、\(b_n/n\)，衰减速度更快，保证了级数的绝对收敛与一致收敛。

4. 与幂级数的对比：幂级数仅在收敛区间内可逐项积分，而Fourier级数无论原级数是否收敛，在整个区间上都可逐项积分，且逐项积分后的级数一致收敛，这是Fourier级数独有的优势。

---

梯度化配套例题

【基础巩固题】

例题1

• 难度层级：基础巩固题

• 考察核心知识点：广义Parseval等式的应用、Fourier系数计算

• 题干：设\(f(x)=x\)，\(g(x)=x^2\)，\(x\in[-\pi,\pi]\)，
  (1) 计算\(f(x)\)和\(g(x)\)的Fourier系数；
  (2) 用广义Parseval等式验证\(\sum_{n=1}^\infty \frac{(-1)^n}{n^2} = -\frac{\pi^2}{12}\)。

• 解答过程：
  (1) 计算Fourier系数：

  • \(f(x)=x\)是奇函数，故\(a_0=0\)，\(a_n=0\)（\(n\geq1\)），\(b_n=\frac{2(-1)^{n+1}}{n}\)（\(n\geq1\)）；
  • \(g(x)=x^2\)是偶函数，故\(b_n=0\)（\(n\geq1\)），\(a_0=\frac{2\pi^2}{3}\)，\(a_n=\frac{4(-1)^n}{n^2}\)（\(n\geq1\)）。

  (2) 验证级数和：
  对\(f(x)=x\)的Fourier级数逐项积分，从\(0\)到\(x\)得

  \[\frac{x^2}{2} = 2\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^2}(1-\cos nx) \]

  令\(x=\pi\)，得\(\frac{\pi^2}{2}=4\sum_{k=1}^\infty \frac{1}{(2k-1)^2}\)，即\(\sum_{k=1}^\infty \frac{1}{(2k-1)^2}=\frac{\pi^2}{8}\)。

  结合\(\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}\)，拆分奇偶项得

  \[\sum_{n=1}^\infty \frac{(-1)^n}{n^2} = -\sum_{n=1}^\infty \frac{1}{n^2} + 2\sum_{k=1}^\infty \frac{1}{(2k)^2} = -\frac{\pi^2}{6} + \frac{\pi^2}{12} = -\frac{\pi^2}{12} \]

  验证成立。

• 「题后总结」：

  • 核心思想：广义Parseval等式与逐项积分定理将函数积分转化为Fourier系数的级数和，是数项级数求和的核心工具。
  • 解题通法：计算Fourier系数→代入等式/逐项积分→代入特殊值求解级数和。
  • 易错点：混淆两个函数的Fourier系数对应关系，导致符号错误。

---

【进阶综合题】

例题2

• 难度层级：进阶综合题

• 考察核心知识点：逐项积分定理、一致收敛性、级数求和

• 题干：设\(f(x)=\begin{cases}1, & x\in(0,\pi) \\ 0, & x=0,\pm\pi \\ -1, & x\in(-\pi,0)\end{cases}\)，
  (1) 写出\(f(x)\)的Fourier级数；
  (2) 利用逐项积分定理求\(\sum_{k=1}^\infty \frac{1}{(2k-1)^2}\)的和；
  (3) 证明逐项积分后的级数在\([-\pi,\pi]\)上一致收敛。

• 解答过程：
  (1) 计算Fourier级数：
  \(f(x)\)是奇函数，故\(a_0=0\)，\(a_n=0\)（\(n\geq1\)）；

  \[b_n = \frac{2}{\pi}\int_0^\pi \sin nx dx = \frac{2(1-(-1)^n)}{\pi n} = \begin{cases}\frac{4}{\pi n}, & n为奇数 \\ 0, & n为偶数\end{cases} \]

  因此\(f(x)\)的Fourier级数为

  \[f(x) \sim \frac{4}{\pi}\sum_{k=1}^\infty \frac{\sin(2k-1)x}{2k-1} \]

  (2) 逐项积分求级数和：
  对任意\(x\in[0,\pi]\)，由逐项积分定理得

  \[\int_0^x f(t)dt = \frac{4}{\pi}\sum_{k=1}^\infty \frac{1}{2k-1}\int_0^x \sin(2k-1)t dt \]

  左边为\(x\)，右边积分得\(\frac{1-\cos(2k-1)x}{2k-1}\)，因此

  \[x = \frac{4}{\pi}\sum_{k=1}^\infty \frac{1-\cos(2k-1)x}{(2k-1)^2} \]

  令\(x=\pi\)，代入得

  \[\pi = \frac{8}{\pi}\sum_{k=1}^\infty \frac{1}{(2k-1)^2} \]

  解得\(\sum_{k=1}^\infty \frac{1}{(2k-1)^2} = \frac{\pi^2}{8}\)。

  (3) 证明一致收敛：
  逐项积分后的级数通项满足

  \[\left| \frac{1-\cos(2k-1)x}{(2k-1)^2} \right| \leq \frac{2}{(2k-1)^2} \]

  优级数\(\sum_{k=1}^\infty \frac{2}{(2k-1)^2} = \frac{\pi^2}{4}\)收敛，由Weierstrass M判别法，级数在\([-\pi,\pi]\)上一致收敛。

• 「题后总结」：

  • 核心思想：利用逐项积分定理，即使原级数在间断点不收敛，也可通过逐项积分得到收敛级数，进而求解数项和。
  • 解题通法：计算Fourier级数→逐项积分→代入特殊值求解→M判别法证明一致收敛。
  • 后续关联：三角级数收敛性理论、傅里叶变换的积分性质。

---

【科研拓展题】

例题3

• 难度层级：科研拓展题

• 考察核心知识点：逐项积分定理的逆定理、Fourier级数的判定、绝对连续函数

• 题干：(1) 证明：若\(f(x)\in R[-\pi,\pi]\)，则\(F(x)=\int_{-\pi}^x f(t)dt - \frac{a_0}{2}x\)是\([-\pi,\pi]\)上的绝对连续函数，且其Fourier级数在\([-\pi,\pi]\)上一致收敛于\(F(x)\)；
  (2) 证明：三角级数\(\sum_{n=2}^\infty \frac{\sin nx}{\ln n}\)是某个可积函数的Fourier级数，但其逐项微分后的级数\(\sum_{n=2}^\infty \frac{\cos nx}{\ln n}\)不是任何可积函数的Fourier级数。

• 解答过程：
  (1) 证明：
  ① 绝对连续性：由\(f(x)\)可积，根据积分的绝对连续性，对任意\(\varepsilon>0\)，存在\(\delta>0\)，当有限个互不相交的区间\((x_i,y_i)\)满足\(\sum (y_i-x_i)<\delta\)时，\(\sum |\int_{x_i}^{y_i} f(t)dt| < \varepsilon\)，因此\(F(x)\)是绝对连续函数。

  ② 一致收敛性：
  \(F(-\pi)=F(\pi)=\frac{a_0\pi}{2}\)，可延拓为周期连续函数。计算其Fourier系数得\(A_0=0\)，\(A_n=-\frac{b_n}{n}\)，\(B_n=\frac{a_n}{n}\)，因此\(F(x)\)的Fourier级数为

  \[F(x) \sim \sum_{n=1}^\infty \left( -\frac{b_n}{n}\cos nx + \frac{a_n}{n}\sin nx \right) \]

  这正是原级数逐项积分后的级数。由之前的证明，该级数一致收敛，而\(F(x)\)是连续函数，因此级数一致收敛于\(F(x)\)本身。

  (2) 证明：
  ① 原级数是Fourier级数：
  原级数逐项积分后得到\(\sum_{n=2}^\infty \frac{1-\cos nx}{n\ln n}\)，该级数在\([-\pi,\pi]\)上一致收敛（优级数\(\sum_{n=2}^\infty \frac{2}{n\ln n}\)？不，\(\sum \frac{1}{n\ln n}\)发散，改用Dirichlet判别法可证其一致收敛）。根据逐项积分定理的逆定理，若三角级数逐项积分后一致收敛，则原级数是某个可积函数的Fourier级数。

  ② 逐项微分后的级数不是Fourier级数：
  若\(\sum_{n=2}^\infty \frac{\cos nx}{\ln n}\)是某个可积函数的Fourier级数，则由Bessel不等式，其系数的平方和\(\sum_{n=2}^\infty \frac{1}{(\ln n)^2}\)必须收敛，但该级数发散，不满足Bessel不等式，因此不可能是任何可积函数的Fourier级数。

• 「题后总结」：

  • 核心思想：逐项积分定理是判断三角级数是否为Fourier级数的核心工具，同时揭示了Fourier级数逐项微分的严格限制。
  • 后续关联：实变函数绝对连续函数、三角级数唯一性理论、调和分析奇异积分。

---

知识点归纳总结表

核心概念/定理	形式化表述/关键条件	典型证明技巧/方法	常见反例/易错点	与后续课程的关联	典型应用场景
广义Parseval等式	对\(f,g\in R[-\pi,\pi]\)，\(\frac{1}{\pi}\int_{-\pi}^\pi f(x)g(x)dx = \frac{a_0\alpha_0}{2} + \sum_{n=1}^\infty (a_n\alpha_n + b_n\beta_n)\)	极化恒等式；完备正交基的内积展开；Fourier系数线性性	易错点：混淆两个函数的Fourier系数对应关系；误以为需要原级数收敛	泛函分析Hilbert空间内积理论；调和分析Plancherel定理	数项级数求和；信号互相关计算；内积数值计算
Fourier级数逐项积分定理	平方可积函数的Fourier级数可在任意\([a,b]\subset[-\pi,\pi]\)上逐项积分，且逐项积分后的级数一致收敛	构造分段特征函数代入广义Parseval等式；Weierstrass M判别法；Cauchy-Schwarz不等式估计	反例：原级数发散但逐项积分后收敛（如\(f(x)=x\)的级数在\(x=\pi\)处发散）；易错点：误以为需要原级数收敛	实变函数绝对连续函数；偏微分方程分离变量法；三角级数唯一性理论	函数积分的级数展开；数项级数求和；信号积分的频域计算
逐项积分定理的逆定理	若三角级数逐项积分后一致收敛，则原级数是某个可积函数的Fourier级数	构造变上限积分连续函数；利用连续函数Fourier级数的收敛性	反例：\(\sum_{n=2}^\infty \frac{\sin nx}{\ln n}\)是Fourier级数，但其逐项微分后的级数不是	调和分析三角级数理论；Fourier级数收敛性判别	判断三角级数是否为Fourier级数；构造特殊Fourier级数
逐项积分级数的一致收敛性	平方可积函数的Fourier级数逐项积分后，得到的级数在\([-\pi,\pi]\)上一致收敛	Weierstrass M判别法；Bessel不等式；Cauchy-Schwarz不等式	易错点：误以为原级数一致收敛是逐项积分后一致收敛的必要条件	函数项级数一致收敛理论；数值分析级数逼近	函数一致逼近；数值积分的级数方法；信号平滑处理

---

经典p级数与交错p级数和的Fourier级数方法 系统讲解

本题是Fourier分析中Parseval等式与逐项积分定理最经典的应用，解决了著名的Basel问题（\(\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}\)）及高阶偶次p级数、交错p级数的求和问题。我们将完整拆解两种证明方法的核心逻辑，补充每一步的理论依据，并拓展其背后的一般规律。

---

一、前置核心知识回顾

所有证明均基于以下两个核心定理，先明确关键前提：

1. Fourier级数展开

   • 奇函数\(f(x)=x\)在\((-\pi,\pi)\)上的Fourier级数：
     \[x = 2\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n}\sin nx,\quad x\in(-\pi,\pi) \]
     （\(f(x)\)为奇函数，余弦项系数\(a_0=a_n=0\)，正弦项系数\(b_n=\frac{2}{\pi}\int_0^\pi x\sin nx dx=\frac{2(-1)^{n+1}}{n}\)）
   • 偶函数\(f(x)=x^2\)在\([-\pi,\pi]\)上的Fourier级数：
     \[x^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^\infty \frac{(-1)^n}{n^2}\cos nx,\quad x\in[-\pi,\pi] \]
     （\(f(x)\)为偶函数，正弦项系数\(b_n=0\)，余弦项系数\(a_0=\frac{2}{\pi}\int_0^\pi x^2 dx=\frac{2\pi^2}{3}\)，\(a_n=\frac{2}{\pi}\int_0^\pi x^2\cos nx dx=\frac{4(-1)^n}{n^2}\)）

2. Parseval等式
   对任意平方可积函数\(f\in R[-\pi,\pi]\)，设其Fourier系数为\(a_0,a_n,b_n\)，则

   \[\frac{1}{\pi}\int_{-\pi}^\pi f^2(x)dx = \frac{a_0^2}{2} + \sum_{n=1}^\infty (a_n^2 + b_n^2) \]

   本质是无穷维内积空间的勾股定理，将函数的平方积分转化为Fourier系数的平方和。

3. Fourier级数逐项积分定理
   平方可积函数的Fourier级数，无论原级数是否逐点收敛，都可在任意闭区间\([a,b]\subset[-\pi,\pi]\)上逐项积分，且逐项积分后的级数一致收敛。

---

二、证法1：基于Parseval等式的简洁证明

该方法核心是直接利用Parseval等式，将函数平方积分与Fourier系数级数和关联，一步得到目标级数和。

(1) 证明\(\boldsymbol{\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}}\)（Basel问题）

1. 代入\(f(x)=x\)的Fourier系数到Parseval等式：
   • 左边（函数平方积分）：
     \[\frac{1}{\pi}\int_{-\pi}^\pi x^2 dx = \frac{1}{\pi}\cdot\left.\frac{x^3}{3}\right|_{-\pi}^\pi = \frac{1}{\pi}\cdot\frac{2\pi^3}{3} = \frac{2\pi^2}{3} \]

   • 右边（Fourier系数平方和）：
     \[\frac{a_0^2}{2} + \sum_{n=1}^\infty (a_n^2 + b_n^2) = 0 + \sum_{n=1}^\infty \left(\frac{2(-1)^{n+1}}{n}\right)^2 = 4\sum_{n=1}^\infty \frac{1}{n^2} \]

2. 等式联立求解：
   \[4\sum_{n=1}^\infty \frac{1}{n^2} = \frac{2\pi^2}{3} \implies \sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6} \]

(2) 证明\(\boldsymbol{\sum_{n=1}^\infty \frac{1}{(2k-1)^2} = \frac{\pi^2}{8}}\)

1. 级数拆分：将正整数项分为奇数项与偶数项
   \[\sum_{n=1}^\infty \frac{1}{n^2} = \sum_{k=1}^\infty \frac{1}{(2k-1)^2} + \sum_{k=1}^\infty \frac{1}{(2k)^2} \]

2. 化简偶数项：\(\sum_{k=1}^\infty \frac{1}{(2k)^2} = \frac{1}{4}\sum_{k=1}^\infty \frac{1}{k^2}\)，代入(1)的结论：
   \[\sum_{k=1}^\infty \frac{1}{(2k-1)^2} = \sum_{n=1}^\infty \frac{1}{n^2} - \frac{1}{4}\sum_{n=1}^\infty \frac{1}{n^2} = \frac{3}{4}\cdot\frac{\pi^2}{6} = \frac{\pi^2}{8} \]

(3) 证明\(\boldsymbol{\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2} = \frac{\pi^2}{12}}\)

1. 交错级数拆分：将正项与负项分离
   \[\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2} = \sum_{k=1}^\infty \frac{1}{(2k-1)^2} - \sum_{k=1}^\infty \frac{1}{(2k)^2} \]

2. 代入(1)(2)的结论：
   \[\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2} = \frac{\pi^2}{8} - \frac{1}{4}\cdot\frac{\pi^2}{6} = \frac{\pi^2}{8} - \frac{\pi^2}{24} = \frac{\pi^2}{12} \]

(5) 证明\(\boldsymbol{\sum_{n=1}^\infty \frac{1}{n^4} = \frac{\pi^4}{90}}\)

1. 代入\(f(x)=x^2\)的Fourier系数到Parseval等式：
   • 左边（函数平方积分）：
     \[\frac{1}{\pi}\int_{-\pi}^\pi x^4 dx = \frac{1}{\pi}\cdot\left.\frac{2x^5}{5}\right|_0^\pi = \frac{1}{\pi}\cdot\frac{2\pi^5}{5} = \frac{2\pi^4}{5} \]

   • 右边（Fourier系数平方和）：
     \[\frac{a_0^2}{2} + \sum_{n=1}^\infty a_n^2 = \frac{1}{2}\cdot\left(\frac{2\pi^2}{3}\right)^2 + \sum_{n=1}^\infty \left(\frac{4(-1)^n}{n^2}\right)^2 = \frac{2\pi^4}{9} + 16\sum_{n=1}^\infty \frac{1}{n^4} \]

2. 等式联立求解：
   \[\frac{2\pi^4}{5} = \frac{2\pi^4}{9} + 16\sum_{n=1}^\infty \frac{1}{n^4} \]
   移项得：
   \[16\sum_{n=1}^\infty \frac{1}{n^4} = 2\pi^4\left(\frac{1}{5}-\frac{1}{9}\right) = \frac{8\pi^4}{45} \implies \sum_{n=1}^\infty \frac{1}{n^4} = \frac{\pi^4}{90} \]

(4) 证明\(\boldsymbol{\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^4} = \frac{7\pi^4}{720}}\)

该结论可通过级数拆分直接得到：

1. 交错级数拆分：
   \[\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^4} = \sum_{k=1}^\infty \frac{1}{(2k-1)^4} - \sum_{k=1}^\infty \frac{1}{(2k)^4} \]

2. 由\(\sum_{n=1}^\infty \frac{1}{n^4} = \sum_{奇数项} + \frac{1}{16}\sum_{n=1}^\infty \frac{1}{n^4}\)，得奇数项和：
   \[\sum_{k=1}^\infty \frac{1}{(2k-1)^4} = \frac{15}{16}\cdot\frac{\pi^4}{90} = \frac{\pi^4}{96} \]

3. 代入交错级数：
   \[\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^4} = \frac{\pi^4}{96} - \frac{1}{16}\cdot\frac{\pi^4}{90} = \frac{7\pi^4}{720} \]

---

三、证法2：基于逐项积分定理的递推证明

该方法的核心优势是无需重复计算高次幂函数的Fourier系数，通过对低次幂的Fourier级数逐项积分，递推得到高次幂的展开式，同时可同步求解交错级数和，是求解高阶偶次p级数的通用方法。

步骤1：从\(f(x)=x\)的Fourier级数出发

\[x = 2\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n}\sin nx,\quad x\in(-\pi,\pi) \]

两边从\(0\)到\(x\)逐项积分（逐项积分定理保证合法性）：

\[\int_0^x t dt = 2\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n}\int_0^x \sin nt dt \]

左边积分得\(\frac{1}{2}x^2\)，右边积分得\(2\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2}(1-\cos nx)\)，整理得：

\[\frac{1}{2}x^2 = 2\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2} - 2\sum_{n=1}^\infty \frac{(-1)^{n-1}\cos nx}{n^2} \]

步骤2：代入\(x=\pi\)求解奇数项级数和

令\(x=\pi\)，\(\cos n\pi=(-1)^n\)，代入得：

\[\frac{1}{2}\pi^2 = 2\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2} - 2\sum_{n=1}^\infty \frac{(-1)^{n-1}\cdot(-1)^n}{n^2} \]

化简得：

\[\frac{1}{2}\pi^2 = 2\sum_{n=1}^\infty \frac{1+(-1)^{n+1}}{n^2} \]

其中\(1+(-1)^{n+1}\)仅当\(n\)为奇数时取\(2\)，偶数时取\(0\)，因此：

\[\frac{1}{2}\pi^2 = 4\sum_{k=1}^\infty \frac{1}{(2k-1)^2} \implies \sum_{k=1}^\infty \frac{1}{(2k-1)^2} = \frac{\pi^2}{8} \]

后续\(\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}\)、\(\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2}=\frac{\pi^2}{12}\)的推导与证法1完全一致。

步骤3：递推得到\(x^2,x^3,x^4\)的Fourier展开

将\(\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^2}=\frac{\pi^2}{12}\)代入\(x^2\)的展开式，整理得：

\[x^2 = \frac{\pi^2}{3} + 4\sum_{n=1}^\infty \frac{(-1)^n}{n^2}\cos nx \]

对该式再次逐项积分，得到\(x^3\)的Fourier级数；再积分一次得到\(x^4\)的Fourier级数，最终代入\(x=0\)和\(x=\pi\)，即可分别得到(4)(5)的结论，与证法1结果一致。

---

四、方法对比与核心思想总结

证明方法	核心思路	优势	适用场景
Parseval等式法	利用内积空间的范数平方与坐标平方和的等价性，直接关联函数积分与级数和	步骤简洁、计算量小，一步得到结果	已知函数Fourier展开，求解单个级数和
逐项积分递推法	利用Fourier级数逐项积分的性质，从低次幂递推得到高次幂的展开式	可同步得到交错级数和，无需重复计算Fourier系数，可推广到任意高阶偶次p级数	求解多组级数和、高阶p级数和

核心数学思想

1. 正交基的坐标表示：三角函数系是\([-\pi,\pi]\)上的完备正交基，函数的平方积分等价于其在正交基下坐标（Fourier系数）的平方和，这是Parseval等式的本质。
2. 积分的正则化效应：逐项积分可以提升级数的收敛性——即使原Fourier级数在间断点发散，逐项积分后的级数也会一致收敛，这是Fourier级数区别于幂级数的核心特性。

---

五、拓展延伸：偶次p级数的一般公式

本题的结论可推广到任意偶次p级数，其和与Bernoulli数（伯努利数）直接相关：

\[\sum_{n=1}^\infty \frac{1}{n^{2k}} = \frac{(2\pi)^{2k} |B_{2k}|}{2\cdot(2k)!},\quad k=1,2,3,\dots \]

其中\(B_{2k}\)为第\(2k\)个Bernoulli数，例如：

• \(k=1\)时，\(B_2=\frac{1}{6}\)，代入得\(\sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6}\)；
• \(k=2\)时，\(B_4=-\frac{1}{30}\)，代入得\(\sum_{n=1}^\infty \frac{1}{n^4}=\frac{\pi^4}{90}\)；
• \(k=3\)时，\(B_6=\frac{1}{42}\)，代入得\(\sum_{n=1}^\infty \frac{1}{n^6}=\frac{\pi^6}{945}\)。

---

六、高频易错点提醒

1. Parseval等式的系数错误：应用时不要忘记左边的系数\(\frac{1}{\pi}\)，以及\(a_0\)项的系数\(\frac{1}{2}\)，这是最常见的计算错误。
2. 逐项积分的常数项遗漏：对Fourier级数逐项积分时，必须计算积分后的常数项，不能直接对通项积分后忽略常数。
3. 交错级数的符号错误：处理\((-1)\)的幂次时，需注意\(\cos n\pi=(-1)^n\)，避免符号颠倒导致结果错误。
4. 收敛性的误解：无需原Fourier级数逐点收敛，只要函数平方可积，即可应用Parseval等式和逐项积分定理，这是Fourier级数的核心优势。

---

三角级数与Fourier级数的区分 + Wirtinger不等式 系统讲解

本次内容包含两个Fourier分析的核心经典例题：第一个例题明确了收敛的三角级数与Fourier级数的本质区别，打破了“收敛三角级数必为某函数Fourier级数”的常见误区；第二个例题是分析学中极具应用价值的Wirtinger不等式，是变分法、偏微分方程、微分几何的基础工具。

---

例16.2.3 收敛三角级数与Fourier级数的区分

题干核心

证明两个结论：

1. 三角级数\(\boldsymbol{\sum_{n=2}^\infty \frac{\sin nx}{\ln n}}\)在\(\mathbb{R}\)上处处收敛；
2. 不存在\([-\pi,\pi]\)上的可积（或平方可积）函数\(f(x)\)，使得该级数是\(f(x)\)的Fourier级数。

一、级数收敛性的证明

核心工具：Dirichlet判别法

数项级数\(\sum_{n=1}^\infty u_n v_n\)收敛的充要条件：

1. 部分和序列\(S_N=\sum_{n=1}^N u_n\)关于\(N\)有界；
2. 序列\(\{v_n\}\)单调趋于0。

分步证明

1. 正弦部分和的有界性验证
   对任意\(x\neq 2k\pi\)（\(k\in\mathbb{Z}\)），利用积化和差三角恒等式：

   \[2\sin\frac{x}{2}\sin nx = \cos\left(n-\frac{1}{2}\right)x - \cos\left(n+\frac{1}{2}\right)x \]

   对\(n=2\)到\(N\)求和，得到望远镜级数：

   \[\sum_{n=2}^N 2\sin\frac{x}{2}\sin nx = \cos\frac{3x}{2} - \cos\left(N+\frac{1}{2}\right)x \]

   由\(|\cos A|\leq1\)，两边取绝对值得：

   \[\left|\sum_{n=2}^N \sin nx\right| \leq \frac{1}{\left|\sin\frac{x}{2}\right|} \]

   当\(x=2k\pi\)时，\(\sin nx=0\)，部分和恒为0，显然有界。
   综上，对任意\(x\in\mathbb{R}\)，\(\sum_{n=2}^\infty \sin nx\)的部分和有界。

2. 单调趋于0的验证
   序列\(v_n=\frac{1}{\ln n}\)，当\(n\to\infty\)时，\(\ln n\)单调递增趋于\(+\infty\)，因此\(v_n\)单调递减趋于0。

3. 收敛性结论
   由Dirichlet判别法，对任意\(x\in\mathbb{R}\)，级数\(\sum_{n=2}^\infty \frac{\sin nx}{\ln n}\)处处收敛。

---

二、反证：该级数不是任何可积/平方可积函数的Fourier级数

我们用两种方法证明，分别基于Fourier级数的两个核心性质：逐项积分定理和Parseval等式。

证法1：基于Fourier级数逐项积分定理

核心依据

Fourier级数逐项积分定理：若\(\frac{a_0}{2}+\sum_{n=1}^\infty (a_n\cos nx + b_n\sin nx)\)是某可积函数\(f(x)\)的Fourier级数，则无论原级数是否逐点收敛，对任意\([a,b]\subset[-\pi,\pi]\)，恒有

\[\int_a^b f(x)dx = \int_a^b \frac{a_0}{2}dx + \sum_{n=1}^\infty \int_a^b (a_n\cos nx + b_n\sin nx)dx \]

且逐项积分后的级数必收敛。

反证过程

1. 假设存在可积函数\(f(x)\)，使得该级数是其Fourier级数，则其Fourier系数为：\(a_0=0,a_n=0(n\geq1)\)，\(b_n=\frac{1}{\ln n}(n\geq2)\)。
2. 对级数在\([0,\pi]\)上逐项积分，由定理得：
   \[\int_0^\pi f(x)dx = \sum_{n=2}^\infty \int_0^\pi \frac{\sin nx}{\ln n}dx \]

3. 计算积分并化简级数：
   \[\int_0^\pi \frac{\sin nx}{\ln n}dx = \frac{1-\cos n\pi}{n\ln n} = \frac{1+(-1)^{n+1}}{n\ln n} \]
   偶数项为0，仅保留奇数项，级数化简为：
   \[\sum_{n=2}^\infty \frac{1+(-1)^{n+1}}{n\ln n} = 2\sum_{k=1}^\infty \frac{1}{(2k+1)\ln(2k+1)} \]

4. 级数发散性判断：
   由积分判别法，正项级数\(\sum_{n=3}^\infty \frac{1}{n\ln n}\)与反常积分\(\int_3^{+\infty} \frac{dx}{x\ln x}\)同敛散，而
   \[\int_3^{+\infty} \frac{dx}{x\ln x} = \lim_{A\to+\infty} \ln\ln x\big|_3^A = +\infty \]
   因此该级数发散。
5. 矛盾：
   左边\(\int_0^\pi f(x)dx\)是可积函数的定积分，必为有限值；右边级数发散，假设不成立。

证法2：基于Parseval等式

核心依据

Parseval等式：若\(f(x)\)是\([-\pi,\pi]\)上的平方可积函数，其Fourier系数为\(a_0,a_n,b_n\)，则

\[\frac{1}{\pi}\int_{-\pi}^\pi f^2(x)dx = \frac{a_0^2}{2} + \sum_{n=1}^\infty (a_n^2 + b_n^2) \]

等式左边为有限值，因此右边的Fourier系数平方和必收敛。

反证过程

1. 假设存在平方可积函数\(f(x)\)，使得该级数是其Fourier级数，由Parseval等式得：
   \[\frac{1}{\pi}\int_{-\pi}^\pi f^2(x)dx = \sum_{n=2}^\infty \frac{1}{(\ln n)^2} \]

2. 级数发散性判断：
   由极限形式的比较判别法，与发散的调和级数\(\sum_{n=2}^\infty \frac{1}{n}\)比较：
   \[\lim_{n\to\infty} \frac{\frac{1}{(\ln n)^2}}{\frac{1}{n}} = \lim_{n\to\infty} \frac{n}{(\ln n)^2} = +\infty \]
   因此\(\sum_{n=2}^\infty \frac{1}{(\ln n)^2}\)发散。
3. 矛盾：
   左边平方可积函数的积分必为有限值，右边级数发散，假设不成立。

---

核心解读与拓展

1. 关键结论：三角级数分为两类，Fourier级数是三角级数的真子类。收敛的三角级数不一定是Fourier级数，只有满足逐项积分定理、Bessel不等式等核心性质的三角级数，才是某可积函数的Fourier级数。
2. Fourier级数的必要条件：
   • 系数满足Riemann-Lebesgue引理：\(\lim_{n\to\infty}a_n=\lim_{n\to\infty}b_n=0\)；
   • 逐项积分后的级数必收敛；
   • 平方可积函数的Fourier系数平方和必收敛。
3. 拓展意义：该例题与“Fourier级数可以处处发散”的Kolmogorov反例，共同揭示了Fourier级数的收敛性与“是否为Fourier级数”是两个独立的核心问题。

---

例16.2.4 Wirtinger不等式的Fourier级数证明

题干核心

设\(f(x)\)在\([-\pi,\pi]\)上连续，导函数\(f'(x)\)在\([-\pi,\pi]\)上可积且平方可积，满足边界条件\(f(-\pi)=f(\pi)\)，且零均值条件\(\int_{-\pi}^\pi f(x)dx=0\)，证明Wirtinger不等式：

\[\int_{-\pi}^\pi [f'(x)]^2 dx \geq \int_{-\pi}^\pi f^2(x) dx \]

等号当且仅当\(f(x)=A\cos x + B\sin x\)时成立。

完整证明过程

核心工具

Fourier系数的分部积分关系、Parseval等式。

分步证明

1. 原函数的Fourier系数
   由零均值条件\(\int_{-\pi}^\pi f(x)dx=0\)，得\(f(x)\)的Fourier系数\(a_0=0\)，其Fourier级数为：

   \[f(x) \sim \sum_{n=1}^\infty (a_n\cos nx + b_n\sin nx) \]

2. 导数与原函数的Fourier系数关系
   设\(f'(x)\)的Fourier系数为\(a_0',a_n',b_n'\)，对\(a_n\)分部积分：

   \[a_n = \frac{1}{\pi}\int_{-\pi}^\pi f(x)\cos nx dx \]

   令\(u=f(x),dv=\cos nx dx\)，则\(du=f'(x)dx,v=\frac{\sin nx}{n}\)，代入得：

   \[a_n = \frac{1}{\pi}\left[ \left.f(x)\frac{\sin nx}{n}\right|_{-\pi}^\pi - \frac{1}{n}\int_{-\pi}^\pi f'(x)\sin nx dx \right] \]

   边界项因\(\sin n\pi=0\)消失，因此\(\boldsymbol{a_n = -\frac{b_n'}{n}\ (n\geq1)}\)。

   同理对\(b_n\)分部积分，结合边界条件\(f(-\pi)=f(\pi)\)，边界项消失，得：

   \[\boldsymbol{b_n = \frac{a_n'}{n}\ (n\geq1)} \]

3. Parseval等式的应用

   • 对\(f(x)\)，代入系数关系得：
     \[\frac{1}{\pi}\int_{-\pi}^\pi f^2(x)dx = \sum_{n=1}^\infty (a_n^2 + b_n^2) = \sum_{n=1}^\infty \frac{1}{n^2}(a_n'^2 + b_n'^2) \]

   • 对\(f'(x)\)，Parseval等式为：
     \[\frac{1}{\pi}\int_{-\pi}^\pi [f'(x)]^2 dx = \frac{a_0'^2}{2} + \sum_{n=1}^\infty (a_n'^2 + b_n'^2) \]

4. 不等式推导
   对\(n\geq1\)，有\(\frac{1}{n^2}\leq1\)，当且仅当\(n=1\)时等号成立，因此：

   \[\sum_{n=1}^\infty \frac{1}{n^2}(a_n'^2 + b_n'^2) \leq \sum_{n=1}^\infty (a_n'^2 + b_n'^2) \]

   结合Parseval等式的结果，两边同乘\(\pi\)得：

   \[\int_{-\pi}^\pi f^2(x)dx \leq \int_{-\pi}^\pi [f'(x)]^2 dx \]

   Wirtinger不等式得证。

5. 等号成立条件
   等号成立当且仅当：

   1. 对所有\(n\geq2\)，\(a_n'=b_n'=0\)（保证\(\frac{1}{n^2}=1\)）；
   2. \(a_0'=0\)（保证右边无额外的正项）。
      此时\(f'(x)\)的Fourier级数仅含\(n=1\)的项，积分后结合零均值条件，得\(f(x)=A\cos x + B\sin x\)。

---

核心解读与拓展

1. 不等式的本质：Wirtinger不等式刻画了函数导数的能量与函数自身能量的下界关系，在周期边界和零均值条件下，导数的平方积分不小于函数自身的平方积分，等号仅当函数是导数算子的最小非零特征值对应的特征函数（一阶三角函数）时成立。
2. 条件的必要性：
   • 边界条件\(f(-\pi)=f(\pi)\)保证分部积分的边界项为0，是系数关系成立的核心；
   • 零均值条件排除了常数函数（常数函数导数为0，不等式不成立）。
3. 经典等价形式：
   若\(f(x)\)在\([0,\pi]\)上连续，\(f(0)=f(\pi)=0\)，\(f'(x)\)平方可积，则
   \[\int_0^\pi f^2(x)dx \leq \int_0^\pi [f'(x)]^2 dx \]
   等号当且仅当\(f(x)=A\sin x\)时成立。
4. 拓展应用：
   • Poincaré不等式：Wirtinger不等式是Poincaré不等式的一维特例，是椭圆型偏微分方程弱解存在性的核心工具；
   • 等周不等式：可通过Wirtinger不等式证明平面等周定理（周长固定的图形中，圆的面积最大）；
   • 变分法：是泛函极值问题的经典案例，刻画了能量泛函的最小值与极小元。

---

高频易错点总结

1. 例16.2.3易错点：

   • 误以为“收敛的三角级数就是Fourier级数”，忽略Fourier级数的必要条件；
   • 用Dirichlet判别法时，遗漏\(x=2k\pi\)的边界情况；
   • 积分判别法中错误计算\(\int \frac{dx}{x\ln x}\)的原函数。

2. 例16.2.4易错点：

   • 分部积分时忽略边界条件\(f(-\pi)=f(\pi)\)，错误保留边界项；
   • 遗漏零均值条件，导致Parseval等式多出\(a_0^2/2\)项；
   • 等号成立条件遗漏\(a_0'=0\)，导致结论不严谨。