14.级数 V —— 傅里叶级数

幂级数作为一种拟合，还是有些不当之处，随着 增长，高幂次的项数增长很快，于是需要一个很大的系数去压制，能不能找一个更好的基底拟合，而非 的幂次呢？

动机我们难以理解，毕竟我们不是傅里叶。但是我们可以找这样一组基 ，或者等价地写作 。我们会发现这组基有相当好的性质，考虑积分从 到 构成的一个内积空间，那么这组基是正交的。这意味着我们可以通过

直接积分，就得到对应的系数。详细地：

从幂级数过渡到傅里叶级数，其本质是从“用代数多项式逼近一切函数”转向“用具有周期性的三角多项式逼近一切函数”。这一过程伴随着空间基底的转换，也揭示了现代数学中“正交分解”的深刻动机。

泰勒级数（幂级数）的局限与动机

对于一些难以直接求出原函数的积分，例如 ，我们无法通过初等函数给表达式。为了解决这一困境，最自然的动机就是将复杂的非多项式函数转化为我们最熟悉的“无限项多项式”进行积。

利用已知的泰勒展开公式：

令 ，我们可以将该积项展开为幂级数：

这种做法在本质上是在假定一个函数 属于由单项式作为基底所张成的空间。在 处展开时，其形式为：

局限性分析（置信度评级：高）：

1. 收敛域的严格限制：泰勒级数仅在收敛半径 内有效。一旦超出这个范围，级数就会发散，无法表现全局性质。

2. 非周期性高次爆炸：由于单项式基底 在 时会趋于无穷（如图 的发散曲线），它极其不适合用来描述具有周期性、波动性或者局部剧烈震荡的信号。

从代数基底向一般函数基底的泛化

为了摆脱幂级数的空间限制，我们需要抽象出更一般的基底表达。假设存在某一组更广泛的函数基底 ，使得：

针对特定物理和数学场景——比如一个以 为周期的函数 （满足 ），或者一个在局部呈现密集波动的复杂信号：

普通的幂级数在面对这类具有周期性边界、或包含复杂局部纹理的函数时，拟合效率极低。我们迫切需要一种天然具备周期性（如在 、 循环往复）且在整体边界内有界的基底。

傅里叶级数（三角级数）的构造

既然目标是逼近周期信号与波动函数，最完美的基底选择自然是简谐振动（三角函数）。我们构建一组由常数、正弦函数和余弦函数组成的完备正交基：

那么，任意函数 都可以看作是该基底空间中的一个“向量”：

核心问题提出：

对于任意给定的函数 ，是否必然存在唯一的一组系数 和 ，使得函数可以被分解为：

且该公式成立的自变量定义域 究竟能扩展到多大？

通过这种基底的转换，我们成功将复杂的时域信号分解为了不同频率的谐波组合。正如在线性代数中利用对偶基提取系数一样，三角函数的“正交性”（即不同频率的三角函数在周期内的积分乘积为零）将作为后续提取这组系数 的强力工具。

从傅里叶级数的系数确定，到利用其求解偏微分方程（如热传导方程），再到从几何视角理解函数逼近的“距离”概念，这一阶段完成了从“纯函数分解”向“空间几何与动力学应用”的跃升。

物理背景：非齐次热传导方程的引入

为了展现傅里叶级数解题的强大威力，我们引入一个经典的物理模型：一根两端固定的均匀细杆的温度变化控制。

假设杆的长度为 ，考虑其温度分布函数 ，其满足如下带有外加热源的非齐次热传导方程：

• （左端项）：温度随时间的变化率（热量随时间的累积）。

• （右端第一项）：热传导项，代表由于空间温度不均匀引起的扩散。

• （右端第二项）：外加热源项，它不随时间变化，仅与位置 有关。

核心动机：面对这样一个偏微分方程（PDE），直接求解极其困难。由于三角函数基底具有求导后形式不变（仅改变系数）的优良性质，我们自然的动机是将未知解 和已知源项 统一在空间域上进行傅里叶级数展开，从而将“偏微分方程”降维解耦为“常微分方程”。

谱方法求解：偏微分方程的代数化

我们将 看作空间基底上的组合，其系数是时间的函数；同时将外加热源 也做三角展开：

1. 算子作用（求导）

利用傅里叶级数逐项求导的性质，分别计算控制方程的左、右两端：

• 对时间求导：

• 对空间求二次导：

2. 代入方程与系数匹配

将上述展开式代入原物理方程 ，利用三角函数基底的线性独立性，我们可以让每一个谐波分量的系数分别对应相等。由此，偏微分方程成功转化为无限个独立的常微分方程（ODE）组：

通过求解这组一阶常微分方程，再结合初始条件，即可彻底锁定制得的未知解 。

几何视角：函数空间中的逼近与距离

当我们在实际计算中无法取无限项时，只能截取前 项的有限和 来逼近原函数 。那么，如何度量这种“逼近的优劣”？这促使我们建立函数空间的几何学，即定义“距离”（范数）。

这里存在两种不同的“度量误差”的哲学：

1. 一致范数（ 范数）—— 绝对极致的误差

• 动机：关注的是“最坏的情况”。它要求在定义域的每一个点上，逼近函数与原函数的最大偏差都必须尽可能小。如图中两条曲线在最宽处的垂直距离。

2. 均方范数（ 范数）—— 整体能量的误差

• 动机：关注的是“整体的拟合能量”。它允许个别点存在相对明显的偏差（例如在间断点处的吉布斯现象），但要求整个区间上的总误差平方和（面积）达到最小。

结论：傅里叶级数在 均方范数下具有完美的最佳逼近性。从几何上看，截断的傅里叶级数 恰好是原函数 在低频有限维子空间上的正交投影。这一几何本质，构成了近代泛函分析与现代信号处理的理论基石。

有了前面对“几何度量”与“三角基底”的宏观直觉，这一阶段的核心任务是严格建立函数空间的内积架构。通过引入内积，函数空间被赋予了几何结构，进而能像处理有限维欧几里得空间一样，利用“正交性”去精确提取傅里叶级数的每一个系数。

构造平方可积函数空间

为了让“整体能量误差”的度量在数学上是合法的，我们首先必须定义一个严谨的函数空间。这个空间不能包含那些会发散到无穷大的恶性函数。

我们定义空间 为在 区间上的平方可积函数空间（即 空间的雏形）：

要让 构成一个合格的线性向量空间，它必须对加法和数乘封闭。我们通过基本性质进行验证：

1. 包含零元：恒等于 的函数显然属于 。

2. 数乘封闭性：若 ，对于任意实数 ，有 。

3. 加法封闭性：若 ，则其和 。

   动机与数学支撑：为什么两个平方可积函数的和仍是平方可积的？我们可以通过简单的代数不等式与柯西-施瓦茨不等式来加以保证：

> 其中利用了基本的积性不等式 $\int fg dx \le \sqrt{\int f^2 dx \int g^2 dx}$。

函数空间几何化：内积 的定义

有了线性空间后，为了引入“角度”和“投影”的概念，我们需要在 上定义一个内积。

对于任意 ，我们定义其内积形式为在全周期上的加权积分：

这个定义必须严格满足内积的三条核心公理：

1. 线性度 / 对称性：

2. 正定性： 且 > 注：在勒贝格积分意义下，这里的 表示 几乎处处为 0。若两个函数满足 ，在几何上我们视它们为“同一个向量”（即 ）。

正交的几何定义：有了内积，我们就可以定义函数之间的垂直关系。若两个函数的内积为零，即：

则称函数 与 正交。

三角函数基底的标准正交性验证

现在我们将视线移回由常数和三角函数构成的基底空间：

(注：为了后续规范化，这里将常数 1 修正为 ，以便让所有基向量的模长统一。)

我们的目标是证明这组基是一组标准正交基，即满足克罗内克积性质：

通过经典的三角函数系积化和差公式，我们可以逐一验证其在内积定义下的正交与归一性：

1. 异类函数正交（正弦与余弦）

对于任意的正整数 ，正弦与余弦在周期内总是正交的：

2. 同类不同频函数正交（频率不相等）

当 时，不同频率的波形相互独立：

3. 同类同频归一化（频率相等）

当 时，利用二倍角公式（如 ）积分：

4. 常数项基底的特殊验证

常数项与任何正余弦波形在全周期内积分均为 0（因为正余弦的均值为 0）：

而常数基底自身的内积为：

这就是为什么我们在写傅里叶级数时，常数项往往写成 的几何动机——因为常数 的模长平方是 ，为了在形式上与后面模长为 的三角项系数保持内积提取形式的统一，需要进行相应的数学修正。

通过这一套完美的标准正交基，任意函数 的傅里叶系数提取就变得易如反掌：只需要将 分别与对应的基向量 或 做内积，就能像在线性代数中投射坐标一样，直接“拍”出系数 和 。

在建立了空间内积与三角基底的标准正交性后，最后一步核心任务就是利用正交投影严谨导出傅里叶系数，并明确函数能够展开为傅里叶级数的收敛条件（狄利克雷条件）。这完成了从线性代数框架到数学分析收敛性的闭环。

几何投影：傅里叶系数的精确导出

在线性代数中，已知一组标准正交基 ，任意向量 都可以表示为：

利用标准正交性 ，我们对等式两边同时与 做内积，可以直接“拍”出组合系数：

现在，我们将这个结论完全平移到平方可积函数空间 中。由于空间基底为：

我们假设函数 展开为：

1. 提取余弦项系数 与正弦项系数 利用定义好的内积 ，当 时，直接作投影：

2. 提取常数项系数 同理，将 与常数基底 做内积：

为了消除项中不习惯的 ，让常数项在形式上更统一，我们重新定义一个系数 ，令：

此时，由于 ，级数的常数项便自然化为了我们最熟悉的经典形式：

收敛的边界：狄利克雷（Dirichlet）条件

写出级数表达式 只是形式上的展开。这个级数到底在什么情况下才能真正收敛，并且其和 是否严格等于原函数 呢？这就需要引入狄利克雷条件。

对于定义在 上的函数 ，若满足以下三个条件，则其傅里叶级数在区间内是收敛的：

1. 分段连续 (Piecewise Continuous)

函数 在区间内只有有限个第一类间断点。

也就是说，可以把区间切分成有限个小区间 ：

使得 在每个单侧开区间内都是连续的，并且在端点处的左极限 与右极限 均存在（不能发散到无穷大）。

2. 分段单调 (Piecewise Monotonic)

函数 在每个小区间 内是单调的（要么单调递增，要么单调递减）。这意味着函数在整个大区间内只有有限个极值点，排除了像 这样在原点附近产生无限次密集震荡的恶性函数。

3. 分段可导 / 导数有界 (Piecewise Differentiable)

函数 在每个小区间 内可导，并且其导函数 在该区间内也是有界的。这一条件进一步保证了函数曲线的局部光滑度，使得级数逼近时在连续点处能够完美收敛。

当函数满足上述狄利克雷条件时，傅里叶级数的收敛值 具有如下极其漂亮的分析学性质：

• 当 是 的连续点时，级数严格收敛于函数值：

• 当 是 的间断点时，级数将收敛于该点左右极限的算术平均值：

至此，傅里叶级数从空间的代数构造，最终平稳落地到了分析学的严格收敛应用上。

在明确了狄利克雷收敛定理之后，最有效的巩固方式就是通过一个经典的非光滑函数——方波函数（Square Wave）来亲自实践傅里叶系数的计算，并直观观察级数在连续点与跳跃间断点处的收敛表现。

经典案例：符号函数（方波）的构建

我们考虑一个在 上的分段恒定函数 （实质上是符号函数 在该区间上的表现）：

物理与几何动机：这是一个最典型的不连续函数。它在 处有一个跨度为 的剧烈跳跃（从 直接跳变到 ）。我们希望用光滑的三角函数波形的叠加来逼近这个处处“坚硬”的方波。

傅里叶系数的精细推导

利用之前导出的正交投影公式，我们分别计算各个系数。

1. 常数项与余弦系数的奇偶性简化

注意到函数 是一个标准的奇函数（满足 ）。

• 常数基底 和余弦基底 都是偶函数。

• 奇函数与偶函数的乘积仍为奇函数。

根据定积分在对称区间上的性质，奇函数在 上的积分必然为 。因此，我们甚至不需要进行具体代数计算，就能从几何对称性上直接判定：

这意味着，奇函数的傅里叶展开中只包含正弦项（称为傅里叶正弦级数）。

2.正弦项系数 的计算

由于 和 都是奇函数，它们的乘积 变为偶函数。因此积分可以简化为半区间积分的两倍：

进行一元积分：

由于 ，上式化简为：

3. 系数的分类讨论

分析因子 的取值：

• 当 为偶数（）时，，则 。

• 当 为奇数（）时，，则 。

4.级数合成与狄利克雷收敛验证

将计算出的系数代回傅里叶级数表达式：

展开前几项可以更直观地看到波形的叠加：

现在我们用狄利克雷定理来严格检验其收敛值 ：

1. 在连续点处（如 ）：

   函数满足分段光滑，级数严格收敛于原函数值：

2. 在跳跃间断点处（如 ）：

   根据狄利克雷条件，级数应该收敛于左右极限的平均值。我们进行验证：

   • 左极限：

   • 右极限：

   • 理论收敛值： 直接带入级数级数解析式进行检验：当 时，每一项 ，所以整个级数的和 。理论预言与级数实际求和结果完全吻合。

这一完美的实例不仅展示了如何通过正交性剥离出特定频率的系数，更证明了即使面对有间断点的函数，傅里叶级数也能在整体能量不失真的前提下，以一种圆滑且极其优美的方式在间断点处准确平稳地着陆。

在深入理解了奇偶函数的特殊性质后，面对更具一般性的非对称分段信号，我们需要完整地同时计算出余弦和正弦系数。通过对这类函数的傅里叶级数在特定点（如不连续点）进行求值，我们不仅能再次验证狄利克雷收敛定理，还能意外获得求解数论中经典数项级数（如巴塞尔问题变形）的强力代数工具。

复杂分段函数的傅里叶级数展开

考虑如下非对称的分段函数 ：

动机分析：该函数在 内为常数，在 内为线性函数，既非奇函数也非偶函数。因此，其傅里叶系数中同时存在直流分量 、余弦分量 与正弦分量 。我们需要在区间上分段进行定积分提取。

1. 常数项系数 的计算

2. 余弦项系数 的计算（）

• 左半部分：

• 右半部分（使用分部积分法）：

合并得到：

3. 正弦项系数 的计算（）

• 左半部分：

• 右半部分： 合并各项并消去 ：

4. 级数形式合成

将各系数代入标准表达式中（注意直流项为 ）：

狄利克雷定理在跳跃间断点 处的检验

该函数在 处不连续，我们利用狄利克雷定理来计算级数在该点处的理论收敛值：

• 左极限：

• 右极限：

• 理论收敛值：

应用拓宽：解析经典数项级数的和

核心动机：如果我们直接对傅里叶级数解析式在 处代入求和，并令其等于理论收敛值 ，就能建立起函数空间与纯数级数之间的神奇桥梁。

当 时，所有正弦项 ，余弦项 ，级数表达式简化为：

令其等于理论值 ：

1. 求解奇数项平方倒数和

分析分子项 ：

• 当 为偶数时，，项消失；

• 当 为奇数时（令 ），。

因此，级数中仅剩下奇数项：

两边同乘 ，精确导出：

2. 泛化推导：解决巴塞尔问题 我们可以进一步利用上述奇数项的求和结果，推导出所有正整数的平方倒数和（即著名的 ）。

设总和为 ，我们可以将其拆分为偶数项与奇数项两部分：

将偶数项提取出 ：

移项化简：

这向我们展示了傅里叶级数非凡的副产物：原本属于高等微积分的函数空间正交分解方法，居然能够极其轻巧地破解纯粹数论中极其困难的解析求和问题。

在前一个案例中，我们处理了一个在原点处不连续的函数。现在，为了研究更具光滑性的波形，我们引入一个连续但非处处可导的二次抛物线拼接信号。通过它，我们不仅能观察到傅里叶系数随频率衰减速度的变化规律，还能顺藤摸瓜地攻克更高级的数项级数求和问题（如 ）。

一、 连续分段函数（抛物线波形）的构建

考虑如下在 上的分段二次函数 ：

物理与几何动机：

1. 对称性（奇偶性）：由于 ，该函数是一个标准的偶函数。它在 处的取值为 ，在 处光滑地落到 。

2. 光滑度提升：与前面的方波和锯齿波相比，这个函数在区间内部以及周期边界上（由于 ）都是完全连续的。这种连续性将直接映射到其傅里叶系数的衰减速率上。

二、 傅里叶系数的精细推导

利用偶函数的对称性质，我们可以大幅化简内积分运算。

1. 正弦分量系数 由于 是偶函数，而 是奇函数，它们的乘积在对称区间上的积分恒为零：

这意味着，偶函数的傅里叶展开只包含直流分量与余弦分量（称为傅里叶余弦级数）。

2. 直流项系数

利用半区间积分的两倍：

3. 余弦项系数 （）

同样利用偶函数性质展开，并采用连续两次分部积分法：

• 第一次分部积分：

由于 ，第一项完全消失。化简剩：

• 第二次分部积分：

因为 （当 ），最后一项积分项再次消失。我们只需要代入边界评估前一项：

4. 级数形式合成

将系数代入标准傅里叶余弦级数公式（注意直流项需要除以 2）：

数学本质观察：对比前几节的方波系数（正比于 ），当前二次波形的系数正比于 。在分析学中，这表明原函数越光滑（连续性越好），其高频谐波系数衰减得就越快。

三、 狄利克雷收敛验证与级数求和

由于该函数在其定义域内处处连续，根据狄利克雷定理，在任意点 处都必定有 。

1. 回归巴塞尔问题（验证 点）

我们在 处对级数进行求值。此时 ，且 ：

两边同时除以 ，再次极其漂亮地导出了巴塞尔问题的经典答案：

2. 探索未知：求解四次平方倒数和 更高阶的动机：利用刚刚构造出的这个连续函数的傅里叶级数，我们该如何提取出带有 分母的数项级数呢？

这需要借助帕塞瓦尔恒等式（Parseval’s Identity）。该定理在线性代数中的本质就是“毕达哥拉斯定理（勾股定理）”在无穷维标准正交基函数空间中的延伸——向量的总能量（模长平方）等于其各个分量能量的总和。

根据内积空间中的帕塞瓦尔恒等式：

(注：这里由于我们的内积定义带了 前缀，故左侧形式对应匹配。)

我们将本题的系数 ， 统一代入：

• 左端项（总能量）：

• 右端项（分量平方和）：

令两端相等：

两边同时除以 16，我们最终一锤定音地解出了四次幂级数的和：

从代数逼近的局限，到内积空间的几何化，再到算子方程的求解，最后到帕塞瓦尔能量守恒破解数论级数——至此，傅里叶级数在解析与几何上的宏伟全貌已全部闭环。