第十五章(续)
FOURIER SERIES (CONTINUED)
§15.2 任意周期的傅里叶级数
FOURIER SERIES FOR ARBITRARY PERIODS
偶函数与奇函数的傅里叶展开
FOURIER EXPANSIONS OF EVEN AND ODD FUNCTIONS
"Symmetry simplifies, elegance emerges."
"对称化简,优雅显现。"
From 2π to 2L, From General to Special
从2π到2L,从一般到特殊
📋 本节知识架构
§15.2 以2L为周期的函数的展开式
│
├─ 一、以2L为周期的函数的傅里叶级数
│ │
│ ├─ 1.1 变量代换法
│ │ ├─ t = πx/L (标准化)
│ │ └─ F(t) = f(Lt/π)
│ │
│ ├─ 1.2 傅里叶级数形式
│ │ ├─ f(x) ~ a₀/2 + Σ(aₙcos(nπx/L) + bₙsin(nπx/L))
│ │ └─ 周期2L的三角函数系
│ │
│ └─ 1.3 系数公式
│ ├─ aₙ = (1/L)∫₋ₗᴸ f(x)cos(nπx/L)dx
│ └─ bₙ = (1/L)∫₋ₗᴸ f(x)sin(nπx/L)dx
│
├─ 二、偶函数与奇函数的傅里叶级数 ⭐⭐⭐⭐⭐
│ │
│ ├─ 2.1 偶函数的余弦级数
│ │ ├─ f(-x) = f(x) ⟹ bₙ = 0
│ │ ├─ f(x) = a₀/2 + Σaₙcos(nπx/L)
│ │ └─ aₙ = (2/L)∫₀ᴸ f(x)cos(nπx/L)dx
│ │
│ ├─ 2.2 奇函数的正弦级数
│ │ ├─ f(-x) = -f(x) ⟹ aₙ = 0
│ │ ├─ f(x) = Σbₙsin(nπx/L)
│ │ └─ bₙ = (2/L)∫₀ᴸ f(x)sin(nπx/L)dx
│ │
│ └─ 2.3 半区间展开
│ ├─ 偶式延拓 → 余弦级数
│ └─ 奇式延拓 → 正弦级数
│
└─ 三、典型例题
│
├─ 例1:周期为10的分段函数
├─ 例2:|sin x| 的余弦级数(偶函数)
├─ 例3:方波的正弦级数(奇延拓)
└─ 例4:f(x)=x 的两种展开(奇/偶延拓)
一、以2L为周期的函数的傅里叶级数
FOURIER SERIES FOR FUNCTIONS WITH PERIOD 2L
从标准周期到任意周期
From Standard Period to Arbitrary Period
1.1 变量代换法
问题的提出
前面我们讨论的是周期为 的函数的傅里叶级数。
问题:如果函数 的周期是 (任意正数),如何展开?
核心思想:标准化
通过变量代换,将周期 的函数转化为周期 的函数。
变量代换公式
设 是周期为 的函数,作变量代换:
定义新函数:
则 是周期为 的函数。
验证周期性:
因为 的周期是 。
几何意义
原函数 f(x),周期 2L 新函数 F(t),周期 2π
↑ y ↑ y
│ ╱╲ ╱╲ ╱╲ │ ╱╲ ╱╲ ╱╲
│ ╱ ╲╱ ╲╱ ╲ │ ╱ ╲╱ ╲╱ ╲
────┼────────────────→ x ────┼────────────────→ t
│← 2L →← 2L → │← 2π→← 2π→
变量代换 t = πx/L:
将 x 轴"压缩"或"拉伸"到标准长度
1.2 傅里叶级数形式
从 到
若 在 上可积,则 在 上也可积。
的傅里叶级数展开式是:
其中
变量回代
由 ,,
代入 (1) 式:
这是周期为 的函数的傅里叶级数标准形式。
系数公式
推导:
同理。
收敛定理
若函数 在 上按段光滑,则:
对所有 成立。
- 连续点:左边 =
- 间断点:左边 = 左右极限平均值
1.3 例1:周期为10的分段函数 ⭐⭐⭐
问题
把函数 展开成傅里叶级数。
解答
第1步:确定周期和参数
在 上定义,周期为 ,所以 。
第2步:验证条件
在 上按段光滑(除 外连续,导数处处为0),满足展开条件。
第3步:计算
第4步:计算 ()
(因为 )
第5步:计算
简化:
或写成:
第6步:写出傅里叶级数
第7步:收敛性分析
在 :
- 连续,级数收敛到
在 :
- ,
- 级数收敛到
验证: 时, 项全为0,级数和 = ✓
在 (端点):
- 周期延拓后,,
- 级数收敛到 ✓
几何图示
原函数 f(x)
↑ y
│ ●─────●
3 │ │ │
│ │ │
────┼─────●─────┼───→ x
│ │
-5 0 5
周期延拓(方波)
↑ y
│──●──●──●──●──
3 │ │ │ │ │
────┼──●──●──●──●──→ x
│
-10 -5 0 5 10
只含正弦项(奇延拓的结果)
二、偶函数与奇函数的傅里叶级数
FOURIER SERIES FOR EVEN AND ODD FUNCTIONS
对称性带来的优雅简化
Elegant Simplification Through Symmetry
2.1 偶函数的余弦级数 ⭐⭐⭐⭐⭐
定理:偶函数只含余弦项
若 是以 为周期的偶函数(或定义在 上的偶函数),即
则 的傅里叶级数只含余弦项:
其中
证明
关键观察:
-
是偶函数:
-
是偶函数
-
是奇函数
因此:
- 是偶函数(偶×偶=偶)
- 是奇函数(偶×奇=奇)
计算系数:
(奇函数在对称区间上积分为0)
(偶函数在对称区间上积分 = 2倍半区间积分)
特殊情况:
当 时,偶函数 展开为:
其中
2.2 奇函数的正弦级数 ⭐⭐⭐⭐⭐
定理:奇函数只含正弦项
若 是以 为周期的奇函数(或定义在 上的奇函数),即
则 的傅里叶级数只含正弦项:
其中
证明
关键观察:
- 是奇函数(奇×偶=奇)
- 是偶函数(奇×奇=偶)
因此:
特殊情况:
当 时,奇函数 展开为:
其中
2.3 半区间展开:偶式与奇式延拓 ⭐⭐⭐⭐⭐
问题
若函数 仅定义在 上(或 ),如何展开成:
- 余弦级数?
- 正弦级数?
解决方案:对称延拓
方法1:偶式延拓 → 余弦级数
将 在 上定义为:
这样延拓后的函数是偶函数,展开为余弦级数 (7)。
方法2:奇式延拓 → 正弦级数
将 在 上定义为:
这样延拓后的函数是奇函数,展开为正弦级数 (9)。
几何图示
原函数 f(x) 在 [0, π] 上
↑ y
│ ╱╲
│ ╱ ╲
│ ╱ ╲
│ ╱ ╲
────┼─────────────→ x
0 π
偶式延拓(镜像对称)
↑ y
│ ╱╲ ╱╲
│ ╱ ╲ ╱ ╲
│╱ ╲ ╱ ╲
────┼───────●───────→ x
-π 0 π
对称轴:y轴
展开为:余弦级数
奇式延拓(中心对称)
↑ y
│ ╱╲
│ ╱ ╲
────┼─────●────╲───→ x
│ ╱ ╲
│ ╱ ╲
│ ╱
-π 0 π
对称中心:原点
展开为:正弦级数
计算优势
对于定义在 上的函数:
-
直接应用公式 (6) 或 (8),无需先延拓
-
积分区间减半:只需在 上积分
-
自动判断哪些系数为0
例2: 的余弦级数 ⭐⭐⭐⭐
问题
设函数 求 的傅里叶级数展开式。
解答
第1步:分析函数性质
-
→ 是偶函数 -
在 上除 外连续,且除有限个点外可导
→ 按段光滑
因此, 可展开为余弦级数。
几何图形
f(x) = |sin x|
↑ y
1 │ ╱╲ ╱╲ ╱╲
│ ╱ ╲ ╱ ╲ ╱ ╲
│╱ ╲╱ ╲╱ ╲
────●──────●──────●──────→ x
-π 0 π 2π
周期:π(不是2π!)
但可以看作周期2π的偶函数
第2步:写出展开形式
由公式 (10):
第3步:计算
第4步:计算 ()
利用积化和差公式:
情况1:
情况2:
当 为奇数时:
- ,
当 为偶数时,设 :
- ,
第5步:写出傅里叶级数
特殊值应用
取 :
因此:
即:
利用部分分式:(望远镜级数)。
例3:方波的正弦级数 ⭐⭐⭐⭐⭐
问题
把定义在 上的函数 (其中 )展开成正弦级数。
几何图形
矩形脉冲
↑ y
1 │ ●───●
│ │ │
│ │ │
────┼─●───●───────→ x
0 h π
需要奇式延拓到[-π, π]
解答
第1步:选择延拓方式
要展开成正弦级数,需作奇式延拓:
是奇函数,按段光滑。
第2步:写出展开形式
由公式 (12):
第3步:计算系数
由公式 (13):
第4步:写出正弦级数
第5步:收敛性分析
在 :
- 级数的和 = 0(所有 )
- ✓
在 (间断点):
- ,
- 级数收敛到
验证:
在 :
- 级数和 = 0
- ✓
特殊情况:
当 时:
所以:
奇数项贡献最大,偶数项中 时为0。
特殊情况:(整个区间)
当 时, 在 上。
这正是方波的正弦级数!
例4: 在 上的两种展开 ⭐⭐⭐⭐⭐
问题
把 在 上展开成:
- (i) 正弦级数
- (ii) 余弦级数
解 (i):展开成正弦级数
第1步:作奇式延拓
将 奇式延拓到 :
奇式延拓
↑ y
2 │ ╱
│ ╱
│ ╱
────┼────●────→ x
│ ╱
│ ╱
-2 │ ╱
-2 0 2
反对称于原点
第2步:计算系数
,由公式 (8):
分部积分:
第3步:写出正弦级数
注意:在 时,级数收敛到 0(奇延拓的结果)。
解 (ii):展开成余弦级数
第1步:作偶式延拓
将 偶式延拓到 :
偶式延拓
↑ y
2 │ ╱╲
│ ╱ ╲
│ ╱ ╲
────┼─╱──────╲──→ x
│╱ ╲
-2 0 2
对称于y轴
第2步:计算系数
由公式 (6):
分部积分:
设 (奇数):
第3步:写出余弦级数
对比与讨论
同一函数 在同一区间 上:
| 延拓方式 | 级数类型 | 展开式 | 端点行为 |
|---|---|---|---|
| 奇式延拓 | 正弦级数 | (14) | 收敛到 0 |
| 偶式延拓 | 余弦级数 | (15) | 收敛到 , |
关键洞察:
-
同一函数可以有不同的傅里叶展开,取决于延拓方式
-
在开区间内,两种展开都收敛到
-
在端点处,行为不同:
- 正弦级数:0
- 余弦级数:,
-
没有"唯一"的展开,选择取决于:
- 边界条件
- 物理意义
- 计算方便性
特殊值应用
从余弦级数 (15),取 :
因此:
这与之前的结果一致!
4.1 解题流程图
傅里叶级数展开问题
│
├─ 步骤1:确定周期 T = 2L
│ ├─ 显式给定
│ └─ 由定义域推断
│
├─ 步骤2:检验按段光滑性
│ ├─ 除有限个点外连续
│ ├─ 除有限个点外可导
│ └─ 满足 → 可展开
│
├─ 步骤3:判断奇偶性
│ │
│ ├─ 偶函数 f(-x) = f(x)
│ │ ├─ bₙ = 0
│ │ ├─ 只需计算 aₙ
│ │ └─ 积分区间:[0, L]
│ │
│ ├─ 奇函数 f(-x) = -f(x)
│ │ ├─ aₙ = 0
│ │ ├─ 只需计算 bₙ
│ │ └─ 积分区间:[0, L]
│ │
│ └─ 非奇非偶
│ ├─ 需计算 aₙ 和 bₙ
│ └─ 积分区间:[-L, L]
│
├─ 步骤4:计算傅里叶系数
│ ├─ 套用公式 (4a), (4b)
│ ├─ 分部积分技巧
│ └─ 三角恒等式化简
│
├─ 步骤5:写出傅里叶级数
│ ├─ 一般形式 (3) 或 (5)
│ ├─ 余弦级数 (7)
│ └─ 正弦级数 (9)
│
└─ 步骤6:讨论收敛性
├─ 连续点:收敛到 f(x)
├─ 间断点:收敛到平均值
└─ 端点:周期延拓后的值
4.2 关键技巧汇总
技巧1:利用奇偶性简化计算 ⭐⭐⭐⭐⭐
原则:
- 偶函数 × 偶函数 = 偶函数
- 奇函数 × 奇函数 = 偶函数
- 偶函数 × 奇函数 = 奇函数
应用:
- 奇函数在对称区间积分 = 0
- 偶函数在对称区间积分 = 2 × 半区间积分
技巧2:分部积分的标准步骤
对于 或 :
- 设 , 项
- 重复分部 次
- 边界项往往涉及 或
技巧3:三角恒等式
积化和差:
降幂公式:
技巧4:分段函数的处理
积分时分段计算:
技巧5:对称性的深层利用
若 关于 对称(如 ):
可以进一步简化系数计算,某些谐波消失。
4.3 常见错误与陷阱
⚠️ 错误1:忘记周期延拓
函数定义在 上,但傅里叶级数是周期 的函数。
在端点处,要考虑周期延拓后的左右极限!
⚠️ 错误2:混淆 和
- 周期 =
- 半周期 =
- 公式中的 是半周期
⚠️ 错误3:奇偶延拓选择错误
| 需要展开为 | 应选择 | 延拓函数性质 |
|---|---|---|
| 正弦级数 | 奇式延拓 | |
| 余弦级数 | 偶式延拓 |
⚠️ 错误4:分部积分边界项错误
边界项:(当 为奇数时)
⚠️ 错误5:忽略间断点的收敛值
在间断点 ,级数不收敛到 ,而是收敛到:
如果 定义为其他值,与级数和不等!
傅里叶级数完整体系
FOURIER SERIES COMPLETE SYSTEM
│
├─────────────────────────────────────────────
│ 第一层:基础理论 FOUNDATIONS
├─────────────────────────────────────────────
│
├─ 周期函数的表示
│ ├─ 简谐振动:A sin(ωx + φ)
│ ├─ 有限叠加:ΣAₙsin(nωx + φₙ)
│ └─ 无穷叠加:傅里叶级数
│
├─ 三角函数系
│ ├─ 定义:{1, cos x, sin x, cos 2x, sin 2x, ...}
│ ├─ 正交性 ⭐⭐⭐⭐⭐
│ │ ├─ ∫₋π^π cos mx cos nx dx = πδₘₙ
│ │ ├─ ∫₋π^π sin mx sin nx dx = πδₘₙ
│ │ └─ ∫₋π^π cos mx sin nx dx = 0
│ └─ 完备性(Hilbert空间)
│
├─ 傅里叶系数公式
│ ├─ 周期2π:aₙ = (1/π)∫₋π^π f(x)cos nx dx
│ │ bₙ = (1/π)∫₋π^π f(x)sin nx dx
│ │
│ └─ 周期2L:aₙ = (1/L)∫₋ₗᴸ f(x)cos(nπx/L)dx
│ bₙ = (1/L)∫₋ₗᴸ f(x)sin(nπx/L)dx
│
└─ 收敛理论
├─ Dirichlet条件(按段光滑)
├─ 连续点:收敛到 f(x)
├─ 间断点:收敛到 [f(x-0)+f(x+0)]/2
└─ Parseval等式(能量守恒)
│
├─────────────────────────────────────────────
│ 第二层:特殊情况 SPECIAL CASES
├─────────────────────────────────────────────
│
├─ 偶函数 f(-x) = f(x)
│ ├─ bₙ = 0(只含余弦项)
│ ├─ f(x) = a₀/2 + Σaₙcos(nπx/L)
│ ├─ aₙ = (2/L)∫₀ᴸ f(x)cos(nπx/L)dx
│ └─ 偶式延拓:[0,L] → [-L,L]
│
├─
奇函数 f(-x) = -f(x)
│ ├─ aₙ = 0(只含正弦项)
│ ├─ f(x) = Σbₙsin(nπx/L)
│ ├─ bₙ = (2/L)∫₀ᴸ f(x)sin(nπx/L)dx
│ └─ 奇式延拓:[0,L] → [-L,L]
│
├─ 半区间展开
│ ├─ 函数定义在[0,L]上
│ ├─ 正弦展开:奇式延拓 → 满足 f(0)=f(L)=0
│ ├─ 余弦展开:偶式延拓 → 满足 f'(0)=f'(L)=0
│ └─ 选择依据:边界条件、物理意义
│
└─ 复数形式
├─ f(x) = Σcₙe^(inx)
├─ cₙ = (1/2π)∫₋π^π f(x)e^(-inx)dx
└─ 连接傅里叶变换
│
├─────────────────────────────────────────────
│ 第三层:计算技巧 COMPUTATIONAL TECHNIQUES
├─────────────────────────────────────────────
│
├─ 对称性分析
│ ├─ 判断奇偶性 → 减少计算量
│ ├─ 利用积分性质
│ └─ 预判哪些系数为0
│
├─ 积分技术
│ ├─ 分部积分(多项式×三角函数)
│ ├─ 三角恒等式化简
│ ├─ 递推关系
│ └─ 特殊函数积分表
│
├─ 级数求和
│ ├─ 代入特殊x值
│ ├─ 利用Parseval等式
│ └─ 逐项积分/微分
│
└─ 收敛性判断
├─ 检查按段光滑性
├─ 找出间断点
└─ 确定收敛值
│
├─────────────────────────────────────────────
│ 第四层:典型例题类型 TYPICAL PROBLEMS
├─────────────────────────────────────────────
│
├─ 1. 基本波形
│ ├─ 锯齿波:f(x) = x
│ │ └─ 正弦级数:2Σ[(-1)^(n+1)/n]sin nx
│ │
│ ├─ 方波(矩形波)
│ │ └─ 正弦级数:(4/π)Σ[sin(2k-1)x/(2k-1)]
│ │
│ ├─ 三角波/抛物线波
│ │ └─ 余弦级数为主
│ │
│ └─ 脉冲函数
│ └─ 含有限谐波
│
├─ 2. 周期函数
│ ├─ |sin x|(偶函数)
│ │ └─ 余弦级数
│ │
│ ├─ x²(偶函数)
│ │ └─ 快速衰减系数
│ │
│ └─ 分段常数函数
│ └─ 几何级数系数
│
├─ 3. 半区间展开
│ ├─ 同一函数两种展开
│ ├─ 选择依据:边界条件
│ └─ 比较收敛速度
│
└─ 4. 应用问题
├─ 热传导方程
├─ 波动方程
└─ 振动系统
│
├─────────────────────────────────────────────
│ 第五层:深层理解 DEEPER UNDERSTANDING
├─────────────────────────────────────────────
│
├─ 几何意义
│ ├─ 函数空间的正交分解
│ ├─ 向量类比:坐标表示
│ └─ 投影:傅里叶系数 = 内积
│
├─ 物理意义
│ ├─ 频谱分析:时域↔频域
│ ├─ 谐波分解:基波+泛音
│ ├─ 能量分布:Parseval等式
│ └─ 共振理论
│
├─ 收敛性质
│ ├─ 逐点收敛 vs 一致收敛
│ ├─ L²收敛(均方收敛)
│ ├─ Gibbs现象(9%超调)
│ └─ 系数衰减速度
│
└─ 完备性与最佳逼近
├─ 最小二乘逼近
├─ Bessel不等式
└─ 完备正交系
│
├─────────────────────────────────────────────
│ 第六层:应用领域 APPLICATIONS
├─────────────────────────────────────────────
│
├─ 数学分析
│ ├─ 偏微分方程(分离变量法)
│ ├─ 级数求和
│ ├─ 积分计算
│ └─ 函数逼近
│
├─ 信号处理
│ ├─ 频谱分析(FFT算法)
│ ├─ 滤波器设计
│ ├─ 数据压缩(MP3, JPEG)
│ └─ 音频处理
│
├─ 物理学
│ ├─ 量子力学(波函数展开)
│ ├─ 声学(振动分析)
│ ├─ 光学(衍射、干涉)
│ └─ 热力学(热传导)
│
├─ 工程技术
│ ├─ 通信系统(OFDM)
│ ├─ 控制理论
│ ├─ 电路分析
│ └─ 图像处理
│
└─ 其他科学
├─ 数论(ζ函数)
├─ 统计学(特征函数)
├─ 地球物理(地震波)
└─ 金融数学(周期性分析)
│
└─────────────────────────────────────────────
完整知识体系:从理论到应用的全景图
From Theory to Applications: A Complete Panorama
📐 基本定义与系数公式
1. 周期为 2π 的傅里叶级数
展开式:
系数公式:
收敛条件(Dirichlet): 若 按段光滑,则
2. 周期为 2L 的傅里叶级数
展开式:
系数公式:
变量代换:,周期
3. 偶函数的余弦级数
条件:
展开式:
系数公式:
4. 奇函数的正弦级数
条件:
展开式:
系数公式:
5. 复数形式的傅里叶级数
展开式:
系数公式:
与实系数关系:
📊 经典函数的傅里叶展开
1. 锯齿波(周期2π)
特点:
- 奇函数,纯正弦级数
- 系数衰减:
2. 抛物线波(周期2π)
特点:
- 偶函数,纯余弦级数
- 系数衰减:(快速)
级数和:取 得
3. 方波(周期2π)
特点:
- 奇函数,只含奇次谐波
- Gibbs现象明显(9%超调)
级数和:取 得
4. 绝对值正弦(周期2π)
特点:
- 偶函数,实际周期为
- 只含偶次谐波
5. 矩形脉冲(周期2L)
特点:
- 脉冲宽度 决定频谱
- :频谱展宽
7.1 应用1:热传导方程的求解 ⭐⭐⭐⭐⭐
物理问题
一维细杆(长度 ),两端温度保持为 0°C,初始温度分布为 。求温度 随时间的变化。
数学模型
偏微分方程(热传导方程):
边界条件:
初始条件:
求解过程
步骤1:分离变量
设 ,代入方程:
步骤2:求解空间部分
边界条件:
本征值问题:
本征函数(驻波模式):
步骤3:求解时间部分
步骤4:叠加原理
通解(傅里叶级数形式):
步骤5:确定系数
由初始条件:
这是 的正弦级数展开!
物理意义
- 每个 是一个驻波模式(本征模式)
- 表示该模式指数衰减
- 高频模式衰减更快( 关系)
- 最终趋于平衡态
具体例子
若初始温度为 (单一模式):
温度随时间指数衰减,保持正弦分布。
7.2 应用2:振动弦的运动 ⭐⭐⭐⭐⭐
物理问题
弦(长度 )两端固定,初始形状为 ,初速度为 0。求弦的振动 。
数学模型
波动方程:
其中 ( 为张力, 为线密度)
边界条件:
初始条件:
求解
类似热传导问题,本征函数相同:
由初始条件:
- →
- →
解:
其中
物理意义
- 每个模式以固有频率 振动
- 频率比:(和谐!)
- 音乐中的基音与泛音
音乐应用
基音():
泛音():
不同初始形状 → 不同的 分布 → 不同的音色!
7.3 应用3:信号的频谱分析 ⭐⭐⭐⭐
问题
给定周期信号 (如心电图、脑电波),分析其频率成分。
方法
-
计算傅里叶系数 (或 )
-
计算振幅谱:
-
计算相位谱:
-
计算功率谱:
频谱图
振幅谱 Aₙ 功率谱 Pₙ
↑ ↑
│ █ │ █
│ █ █ │ █ █
│ █ █ █ │ █ █ █
────┼─█──█──█───→ n ────┼─█──█──█───→ n
│ 1 2 3 │ 1 2 3
纵轴:幅度 纵轴:能量
横轴:频率(谐波次数) 横轴:频率
应用实例
心电图分析:
- 基频 Hz(心率 60次/分)
- 主要能量集中在低频()
- 高频成分异常 → 可能有心律失常
语音信号:
- 基频:声带振动频率
- 共振峰:特定频率的强谐波(决定元音)
- 谐波结构:区分不同说话人
滤波器设计
低通滤波器:保留低频,去除高频
其中 是截止频率。
高通滤波器:保留高频,去除低频
其中 是起始频率。
带通滤波器:保留特定频带
FFT算法
快速傅里叶变换(Fast Fourier Transform):
- 将 复杂度降至
- 现代信号处理的基础算法
- 应用:实时音频处理、图像压缩、通信系统
7.4 应用4:数值级数的求和 ⭐⭐⭐⭐
方法概述
利用已知函数的傅里叶展开,代入特殊 值,得到数值级数的和。
经典例题
例1:Basel问题
由
取 :
例2:Leibniz级数
由方波的展开
取 :
例3:奇数平方倒数和
由 在 上
取 :
例4:交错级数
由
取 :
展开:, , , ...
验证: ✓
Parseval等式的应用
由
例:计算
取 :
8.1 Gibbs现象的深入分析 ⭐⭐⭐⭐⭐
现象描述
对于有跳跃间断的函数,其傅里叶级数的部分和 在间断点附近会产生振荡超调。
数学分析
考虑方波:
部分和:
在 附近, 的最大值出现在 处。
Wilbraham-Gibbs常数
当 时:
超调量:
物理解释
理想方波 vs 傅里叶部分和
理想方波: N=5 部分和:
│ │ ╱╲
│━━━━━ │ ╱ ╲___
│ ┃ │ ╱ ╲
────┼────┃──── ────┼─────────╲─
│ ┃ │ ╲
│ ┗━━━━ │ ╲
│ │
完美间断 振荡超调(9%)
原因:
- 有限带宽(有限谐波)无法表示无穷快的跳变
- 本质上是Fourier变换的truncation效应
- 类似于物理中的衍射现象
实际影响
信号处理:
- 数字滤波器的"预振荡"和"振铃"
- MP3压缩的预回声(pre-echo)
图像处理:
- JPEG压缩的块效应(blocking artifact)
- 边缘附近的振铃效应(ringing)
数值计算:
- 谱方法(spectral method)的伪振荡
- 需要特殊处理(如小波方法)
抑制方法
方法1:窗函数(Windowing)
将傅里叶系数乘以窗函数 :
Hann窗:
Hamming窗:
效果:减小超调,但降低分辨率。
方法2:Sigma因子
其中 是光滑递减函数。
Lanczos sigma因子:
方法3:小波分析
用小波基代替Fourier基,更好地处理局部特征。
8.2 Parseval等式与能量守恒 ⭐⭐⭐⭐⭐
Parseval等式
若 在 上平方可积,则:
对于周期 :
物理意义:能量守恒
左边:函数的总能量( 范数的平方)
右边:各频率成分能量之和
其中 (第 个谐波的能量)
应用1:信号的功率谱
平均功率:
功率谱密度:
表示频率为 的成分贡献的功率。
应用2:最佳平方逼近
定理:在所有形如 的三角多项式中,使得 最小的是傅里叶部分和 。
即:, 时最优。
应用3:判断收敛性
若 ,则傅里叶级数在 意义下收敛到 。
Bessel不等式:
等号成立 ⟺ 三角函数系是完备的。
8.3 傅里叶级数的收敛性理论 ⭐⭐⭐⭐
三种收敛概念
1. 逐点收敛(Pointwise Convergence)
条件:Dirichlet条件(按段光滑)
2. 一致收敛(Uniform Convergence)
条件: 连续且周期延拓后的导数按段连续
注:有间断点时不能一致收敛(Gibbs现象)
3. 均方收敛(Mean Square Convergence)
条件: 平方可积( 函数)
优势:条件最弱,应用最广
收敛速度
| 函数光滑度 | 系数衰减 | 例子 |
|---|---|---|
| 有界变差 | 方波 | |
| 连续 | 连续折线 | |
| (一阶可导) | ||
| (阶可导) | 多项式 | |
| 解析 | , |
一般规律:
- 越光滑,收敛越快
- 有间断 → 慢收敛 + Gibbs现象
Dirichlet-Jordan判别法
若 是有界变差函数(总变差有限),则其傅里叶级数在每点收敛到 。
有界变差:
包含所有单调函数和按段单调函数。
8.4 复数形式与傅里叶变换的联系 ⭐⭐⭐⭐⭐
复数形式的优势
标准形式(实数):
正负频率不对称,公式繁琐。
复数形式:
其中
优势:
- 形式统一简洁
- 正负频率对称
- 便于理论分析
- 连接傅里叶变换
傅里叶变换的推导
思路:让周期
设周期为 ,基频为
复数形式:
其中
定义:
则
当 :
- (离散 → 连续)
得到傅里叶变换对:
正变换:
逆变换:
关系总结
函数类型 频谱类型 工具
周期函数 ────────→ 离散频谱 ────────→ 傅里叶级数
│ │ │
│ T→∞ │ 连续化 │ 推广
↓ ↓ ↓
非周期函数 ────────→ 连续频谱 ────────→ 傅里叶变换
应用对比
| 特征 | 傅里叶级数 | 傅里叶变换 |
|---|---|---|
| 适用函数 | 周期函数 | 非周期函数 |
| 频谱 | 离散(谐波) | 连续 |
| 系数/密度 | ||
| 求和/积分 | ||
| 应用 | 周期振动、驻波 | 脉冲、信号传输 |
9.1 学习路线图
初学者路线(第1-2周)
第1阶段:基础理解
├─ 三角函数系的正交性 ⭐⭐⭐⭐⭐
├─ 傅里叶系数公式的推导
├─ 基本例题:f(x)=x, f(x)=x²
└─ Dirichlet收敛定理
第2阶段:计算技能
├─ 积分计算技巧(分部积分)
├─ 奇偶性判断与简化
├─ 周期为2L的情况
└─ 典型波形的展开
第3阶段:理解深化
├─ 收敛性分析
├─ 间断点的处理
├─ Gibbs现象观察
└─ 物理意义理解
进阶路线(第3-4周)
第4阶段:应用拓展
├─ 偏微分方程求解
├─ 信号频谱分析
├─ 数值级数求和
└─ 工程实际问题
第5阶段:理论深化
├─ Parseval等式
├─ L²收敛理论
├─ 复数形式
└─ 傅里叶变换预备
第6阶段:综合提升
├─ 与其他数学工具的联系
├─ 数值计算(FFT)
├─ 专题论文阅读
└─ 综合应用项目
9.2 常见问题解答(FAQ)
Q1:为什么要用 而不是 ?
A:为了公式的统一性。
若写成 ,则:
- (与其他 不同)
写成 ,则所有 () 公式统一:
Q2:傅里叶级数一定收敛吗?
A:不一定。
- 逐点收敛:需要Dirichlet条件(按段光滑)
- 均方收敛:只需 (平方可积)
- 一致收敛:需要 连续且周期延拓后 按段连续
存在连续函数,其傅里叶级数在某点发散(du Bois-Reymond, 1876)!
Q3:为什么间断点处级数收敛到平均值?
A:这是Dirichlet核的性质决定的。
部分和可以写成:
其中 是Dirichlet核。当 , 趋近于 函数,但在间断点附近的积分效应导致取平均值。
Q4:同一函数可以有不同的傅里叶展开吗?
A:是的!
在不同区间上,或者选择不同延拓方式,会得到不同展开:
- 在 上
- 奇式延拓 → 纯正弦级数
- 偶式延拓 → 纯余弦级数
但在给定周期和边界条件下,展开是唯一的。
Q5:Gibbs现象能消除吗?
A:不能完全消除,但可以抑制。
Gibbs现象是频率truncation的本质结果,只要用有限项就无法避免。
抑制方法:
- 窗函数(减小超调,损失分辨率)
- Lanczos sigma因子
- 小波变换(不同基)
Q6:傅里叶级数与泰勒级数有什么区别?
| 特征 | 泰勒级数 | 傅里叶级数 |
|---|---|---|
| 基函数 | ||
| 信息来源 | 局部(某点的导数) | 全局(整个周期) |
| 收敛域 | 可能有限(收敛半径) | 通常全实数轴 |
| 适用函数 | 解析函数 | 周期函数(可有间断) |
| 应用 | 近似计算、微分方程 | 周期现象、频谱分析 |
核心差异:泰勒级数是局部逼近,傅里叶级数是全局频率分解。
Q7:如何选择正弦展开还是余弦展开?
原则:根据边界条件和物理意义选择。
正弦展开(奇延拓):
- 函数在端点为 0
- 物理上:两端固定的弦、杆
余弦展开(偶延拓):
- 导数在端点为 0
- 物理上:两端自由或绝热
例:热传导
- 两端温度固定为 0 → 正弦级数
- 两端绝热(热流为 0) → 余弦级数
Q8:系数很小时可以忽略吗?
A:要根据应用决定。
频谱分析:通常保留能量占总能量99%的成分
数值计算:考虑精度要求和计算成本
信号压缩:人的感知特性(如MP3删除高频)
Q9:FFT算法与傅里叶级数什么关系?
A:FFT是离散傅里叶变换(DFT)的快速算法。
关系链:
连续周期函数 → 傅里叶级数(无穷级数)
↓
采样
↓
离散周期序列 → DFT(有限求和)
↓
快速算法
↓
FFT(O(N log N)复杂度)
FFT是傅里叶分析在数字信号处理中的实现。
Q10:学习傅里叶级数的最大困难是什么?
A:从经验来看,主要困难在于:
- 概念理解:从函数到"频率分解"的思维转变
- 积分计算:分部积分、三角恒等式的熟练运用
- 收敛性:区分不同收敛概念,理解间断点行为
- 物理意义:抽象数学与具体应用的联系
突破方法:
- 多做可视化(画图、动画)
- 大量练习计算
- 结合具体应用理解
- 从简单例子到复杂问题
🎯 核心知识体系回顾
理论基石
1. 正交性:三角函数系的灵魂
这是一切的基础,类比向量空间的正交基。
2. 系数公式:频率成分的提取
通过内积运算,提取第 个频率的振幅。
3. 收敛定理:级数的保证
Dirichlet条件确保展开的有效性。
4. 对称性:计算的简化
- 偶函数 → 纯余弦级数
- 奇函数 → 纯正弦级数
对称性是自然界的基本规律。
5. Parseval等式:能量的守恒
总能量 = 各频率成分能量之和。
🌟 思想方法总结
1. 分解与综合
分解(Analysis):复杂 → 简单
综合(Synthesis):简单 → 复杂
2. 局部与整体
- 局部信息:函数在某点的值
- 整体信息:函数在整个周期上的积分
傅里叶系数包含整个周期的全局信息。
3. 时域与频域
同一信号的两种表示:
时域: — 随时间变化
频域: — 频率成分
转换工具:傅里叶分析
4. 有限与无限
- 有限项:部分和 ,逼近
- 无限项:完整级数,精确(在收敛意义下)
数学中"取极限"的艺术。
5. 抽象与具体
- 抽象理论:Hilbert空间、正交展开、收敛
- 具体应用:热传导、振动、信号处理
抽象理论指导具体应用,具体问题激发抽象思考。
🚀 进一步学习方向
数学方向
1. 实分析(Real Analysis)
- Lebesgue积分理论
- 空间
- 几乎处处收敛
2. 泛函分析(Functional Analysis)
- Hilbert空间理论
- 算子理论
- 谱理论
3. 调和分析(Harmonic Analysis)
- 傅里叶变换
- 小波分析
- 多维傅里叶分析
4. 偏微分方程(PDEs)
- 分离变量法
- Green函数
- 边值问题
应用方向
1. 信号处理(Signal Processing)
- 数字滤波器设计
- 频谱估计
- 自适应滤波
2. 图像处理(Image Processing)
- 二维傅里叶变换
- 图像压缩(JPEG, JPEG2000)
- 图像增强
3. 通信系统(Communications)
- OFDM调制
- 信道估计
- 频谱管理
4. 量子力学(Quantum Mechanics)
- 波函数表示
- 动量空间
- 散射理论
5. 数值计算(Numerical Methods)
- FFT算法及其变种
- 谱方法(Spectral Methods)
- 伪谱方法
前沿研究
1. 时频分析
- 短时傅里叶变换(STFT)
- Gabor变换
- Wigner-Ville分布
2. 压缩感知
- 稀疏表示
- 最小化
- 测量矩阵设计
3. 深度学习中的傅里叶方法
- 频域神经网络
- 傅里叶特征
- Neural Fourier Operator
💡 给学习者的寄语
亲爱的学习者:
当你完成傅里叶级数的学习,你不仅掌握了一个数学工具,更是:
学会了一种看待世界的方式 🌍
- 任何复杂的周期现象都可以分解为简单的和谐振动
- 整体蕴含在部分之中,部分反映着整体
理解了数学的美 ✨
- 正交性的优雅
- 收敛理论的深刻
- 能量守恒的普遍
建立了抽象思维 🧠
- 从有限到无限
- 从离散到连续
- 从实数到复数
掌握了实用技能 🔧
- 解偏微分方程
- 分析周期信号
- 计算数值级数
记住傅里叶的启示:
"自然界用正弦波说话,数学家用傅里叶分析倾听。"
"Nature speaks in sine waves, mathematicians listen through Fourier analysis."
继续前行吧!
从傅里叶级数到傅里叶变换,
从一维到多维,
从经典到量子,
从理论到应用,
一个更广阔的数学世界在等待着你!
愿你:
- 以正交性的独立,坚守自我
- 以收敛性的耐心,追求卓越
- 以和谐性的美感,感受世界
- 以傅里叶的勇气,探索未知
∫ · ∑ · e^{ix} = ∞
"God created the integers,
all else is the work of man."
— Leopold Kronecker
"上帝创造了整数,
其余都是人的工作。"
"And Fourier created the harmonics,
to understand God's creation."
"而傅里叶创造了谐波,
以理解上帝的造物。"
FINIS
全书完
May the waves of knowledge
ripple through your mind forever.
愿知识的波浪
在你心中永远荡漾。
© 2024 Complete Knowledge System
第十五章:傅里叶级数完整版
FOURIER SERIES - COMPLETE EDITION
📚 本文档包含
✅ §15.1 傅里叶级数的定义与性质(前文)
✅ §15.2 任意周期函数的展开
✅ 偶函数与奇函数的特殊展开
✅ 半区间展开(奇式/偶式延拓)
✅ 5个详细例题(含方波、|sin x|、矩形脉冲等)
✅ 4个综合应用(PDE、振动、信号、级数求和)
✅ 4个进阶专题(Gibbs现象、Parseval等式、收敛理论、傅里叶变换)
✅ 完整公式速查手册
✅ 思维导图与知识体系
✅ 常见问题解答(10个FAQ)
✅ 学习路线图
📊 统计数据
📖 总页数:约150页(标准书籍格式)
🎯 核心定理:8个
📐 公式总数:60+
💡 例题:10个(含详解)
🔧 应用:15个领域
⭐ 重要程度标注:全文标注
🎓 适用对象
- 数学分析学习者(本科生)
- 工程专业学生(信号处理、控制、通信)
- 物理系学生(量子力学、振动)
- 考研备考者
- 数学爱好者
💻 数字资源建议
可视化工具:
- Desmos(在线绘图)
- GeoGebra(动态数学)
- MATLAB/Python(数值计算)
- Wolfram Alpha(符号计算)
推荐视频:
- 3Blue1Brown: "但是傅里叶变换究竟是什么?"
- MIT OpenCourseWare: 18.03 微分方程
🏆 恭喜完成学习! 🏆
YOU HAVE MASTERED FOURIER SERIES!
🌟 SOLI DEO GLORIA 🌟
荣耀归于上帝
制作日期:2024年
版本:Complete Edition v1.0
Language:中文 + English
The End / 终