跳转至

连续点与跳跃点的展开值应怎样判断?

先备知识

掌握方波、锯齿波、半区间展开与 Dirichlet 定理。

学习目标

把“算出系数”升级为“在每类点上说明级数等于什么”。

牵引问题

若原函数在跳跃点被任意赋值,Fourier 级数会服从这个赋值吗?

探索与猜想

积分看不见单点赋值,因此极限只能由邻域两侧行为决定。

概念与理论

对满足 Dirichlet 条件的周期函数,

\[ S_Nf(x)\longrightarrow \frac{f(x-)+f(x+)}2. \]

所以连续点的逐点收敛值是 \(f(x)\),跳跃点是左右极限半和,并不一定等于原函数赋值。 对方波,非跳跃点等于 \(\pm1\),所有跳跃点等于 0;对锯齿波 \(x\)\((-\pi,\pi)\) 内等于 \(x\),周期端点等于 \((\pi+(-\pi))/2=0\)\(|x|\) 与三角波连续,最终展开式在每点等于相应连续周期函数。

障碍

区间端点在周期世界中是同一点,必须比较末端与下一周期开端。

证明路线

先列出周期延拓的左右极限,再套用定理;不从有限图像猜极限。

逐步证明

单点修改不改变所有 Fourier 系数,故也不改变任何部分和;若极限存在,它不可能随 该点赋值改变。Dirichlet 定理给出的半和正好满足这一不变量。

假设用在何处

分段光滑保证定理适用;连续性只在把半和化为 \(f(x)\) 时使用。

失败边界

系数相同只说明函数几乎处处层面的信息,不能恢复任意单点赋值。

例题与迁移

例 1:方波求值

\[ \frac4\pi\sum_{k\ge0}\frac{\sin((2k+1)x)}{2k+1} =\begin{cases}1,&0<x<\pi,\\-1,&-\pi<x<0,\\0,&x\in\pi\mathbb Z.\end{cases} \]

例 2:由锯齿波得到经典和

\(x=\pi/2\) 代入最终展开式可得到交错奇数倒数和;合法性来自逐点定理。

即时检验与回望

即时检验 1

跳跃点目标值的公式是什么?

答案

\(\frac{f(x-)+f(x+)}2\)

即时检验 2

修改一个点会改变 Fourier 系数吗?

答案

不会。

常见误区与后续

  • 展开式必须附带适用点与端点说明。
  • 逐点收敛值不等于有限部分和在该点附近没有超调。

习题与答案

习题 1

左右极限为 2 与 6 时极限是多少?

答案

4。

习题 2

连续点为何返回函数值?

答案

两个单侧极限均为函数值。

习题 3

方波在 0 处等于多少?

答案

Fourier 级数极限为 0。

习题 4

锯齿波在 \(\pi\) 的周期极限是多少?

答案

0。

习题 5

\(|x|\) 在 0 处是否需取半和?

答案

可取,但左右极限相同,结果仍为 0。

习题 6

单点修改后部分和是否改变?

答案

不改变,因为系数积分不变。

习题 7

半区间正弦展开在 0 处通常趋于什么?

答案

奇延拓的半和 0。

习题 8

余弦展开在 0 处由哪种延拓判断?

答案

偶延拓。

习题 9

逐点定理是否消除 Gibbs 超调?

答案

不消除;它只给固定点极限。

习题 10

完整展开答案必须写什么?

答案

系数、最终级数、连续点与跳跃点的逐点收敛值。