傅里叶级数初步：把函数拆成波
本文基于模型知识整理（生成时未联网核对），收敛定理（Dirichlet 条件）建议对照 Tolstov《Fourier Series》或教材 §11.11 复核。
一句话定义
傅里叶级数把周期函数展开成"正弦与余弦的叠加"：$f(x)=\frac{a_0}2+\sum(a_n\cos nx+b_n\sin nx)$，系数由积分给出 $a_n=\frac1\pi\int_{-\pi}^\pi f\cos nx\,dx$——幂级数用"多项式"克隆函数（kp-020），傅里叶用"波"克隆函数；三角函数系互相正交，系数=内积投影。
为什么重要
它是"频域视角"的出生证明：任何信号=频率成分的配方（mp3 压缩、JPEG、均衡器、FFT 全是它的后代）；微分方程里正弦波是本征模态（kp-026 振荡的谱观点）；概率的特征函数、量子力学的波函数展开同为这套正交基思想。换基表示（线性代数 kp-004 换基思想的分析版）是傅里叶留给人间的最大思维遗产。
前置知识
kp-012/013（积分）、kp-005（三角）、幂级数外的"第二套展开"意识。
核心概念
- 三角函数系的正交性：$\int_{-\pi}^{\pi}\sin mx\sin nx\,dx=0$（m≠n）、cos 同理、sin⊥cos、$\int\sin^2=\int\cos^2=\pi$——积分为零=正交（kp-005 的函数版内积）。
- 系数公式（投影）：正交基下"坐标=内积"，$a_n=\frac{\langle f,\cos nx\rangle}{\langle\cos nx,\cos nx\rangle}$——傅里叶系数是 f 在各频率上的"含量"。
- Dirichlet 收敛：分段光滑的周期函数，级数收敛于"左右极限的平均"——连续点取本值、跳跃点取中点（吉布斯现象：跳跃附近 9% 的过冲永不消失）。
- 奇偶省力：奇函数只有 b_n（正弦项）、偶函数只有 a_n（余弦项）。
- 指数形式：$f=\sum c_ne^{inx}$，$c_n=\frac1{2\pi}\int fe^{-inx}dx$——欧拉公式（kp-020）把 sin/cos 压缩成单个复指数，频谱变成对称的复数序列（DFT/FFT 的数学本体）。
原理与机制
为什么"波可以搭出任何（合理）函数"：正弦函数族足够丰富（各频率、可调幅相）且互相正交——正交基的展开定理（函数版的向量分解，kp-004）。幂级数擅长"局部克隆"（一点展开），傅里叶擅长"全局重构"（整段周期等权）——两种展开哲学的分工。
为什么系数=内积：欲求 $\cos nx$ 的含量 $a_n$，两边同乘 $\cos nx$ 并积分——正交性让其他所有项积分归零，只剩 $\langle f,\cos nx\rangle$。"投影提取频率成分"与 kp-005 的标准正交基坐标公式逐字同构——分析学里的线性代数。
频域思维的力量：微分算子在正弦基下只是乘 nx（$\frac{d}{dx}\sin nx=n\cos nx$，指数式更妙：乘 in）——微分方程被"对角化"为逐频率的代数方程（kp-026 的模态分解完整版）；这就是 FFT 求解 PDE、信号滤波的原理核心。
图示
f(x) = a₀/2 + Σ (aₙcosnx + bₙsinnx)
aₙ = (1/π)∫f·cosnx dx ; bₙ = (1/π)∫f·sinnx dx
正交性: ∫ sin·cos = 0, ∫ sin_m·sin_n = 0 (m≠n)
Dirichlet: 分段光滑 → 收敛于左右极限平均 (跳点取中)
吉布斯: 跳跃处 9% 过冲不消失
指数式: f = Σ cₙe^{inx}, 微分 = 乘 in (频域对角化)直观类比
傅里叶级数像"鸡尾酒配方表"：任何一杯混合饮料（信号）都能写成"基酒+各味糖浆各多少毫升"（各频率振幅）。喝的时候是混合口感（时域），配方表是频域——滤波=挑出某些糖浆扔掉，压缩=少记淡味成分。
实例或案例
- 方波的吉布斯现象：方波展开只有奇次正弦项，有限项叠加在跳跃处过冲 9%——"波=方波"近似的天生纹理。
- JPEG/MP3：图像/音频变换到频率域，丢弃人眼/耳不敏感的高频系数——傅里叶思想的商用化（离散版 DCT/DFT）。
- 热传导（傅里叶的原始论文！）：杆上温度展开成正弦模态，每个模态独立指数衰减——PDE 的级数解法原型。
常见误区
- 误区一："傅里叶级数处处等于原函数"。Dirichlet 条件下跳点取中值——自己构造的展开在断点处"叛变"是正常行为。
- 误区二："项数越多一定越像"。跳点附近的过冲不随项数消失（吉布斯），只是挤得更窄——逼近的"误差范数"与"逐点误差"是两种收敛（本库边界外，README 记扩展）。
- 误区三："任何函数都能展开"。必须周期化+分段光滑（Dirichlet 条件）；非周期函数要用傅里叶积分/变换（另一支，本库边界外）。
与其他知识点的关系
自测题
- 证明 $\int_{-\pi}^{\pi}\sin mx\cos nx\,dx=0$（m,n 整数）。
答：被积函数是关于 x 的奇函数（sin 奇 × cos 偶）× 偶对称区间——奇函数积分为零。
- 方波的傅里叶级数为什么只有正弦项？
答：标准方波是奇函数——偶系数 $a_n=\frac1\pi\int f\cos nx$ 的被积函数为奇，全零。
- 为什么微分在频域变成"乘 in"？
答：$\frac{d}{dx}e^{inx}=in\,e^{inx}$——指数函数是微分算子的特征函数（kp-026），特征值 in；正弦/余弦展开即在对角化后的坐标下工作。
延伸阅读
- Tolstov《Fourier Series》（性价比最高的专著）。
- 3Blue1Brown 但傅里叶变换的视频（方波叠加的可视化经典）。
- Stanford EE261（Osgood，傅里叶变换课程讲义，免费）。