Fourier级数
三角级数
考虑无穷个简谐运动的叠加
由于是任意取的,所以讨论的情况,此时有
其中有
它是由三角函数列 (三角函数系)
所产生的一般形式的三角级数
三角级数的收敛性
若级数
收敛,则由Werierstrass 判别法可知上述一般的三角级数也收敛
三角函数系的正交性
- 三角函数系中的函数具有共同周期
- 三角函数系中每个函数在上的积分都为
- 在三角函数系中仍以两个不同的函数的乘积在上的积分都为
其中3.说明三角函数系在上具有正交性,它是正交函数系
以为周期的函数的Fourier级数
若在整个数轴上有
且等式右边级数一致收敛 , 则其系数可由唯一表示
这利用了三角函数系的正交性 , 之所以取正是为了方便这点
一般来说,若是以为周期且在上可积的函数,则由此算出的称为函数的Fourier系数,以的Fourier系数为系数的三角级数称为的Fourier级数,记作
如果右边的Fourier级数
- 一致收敛
- 收敛于本身 则可将改为
收敛定理
收敛定理
设是周期为的函数,如果它满足:
- 在一个周期内连续,或只有有限个第一类间断点
- 在一个周期内最多只有有限个极值点 那么则称的Fourier级数收敛,并且
- 当是的连续点时,级数收敛于
- 当是的间断点时,级数收敛于 该定理就是 Fourier级数的收敛定理 ,或称为 Dirichlet–Jordan充分条件
如果把条件加强为具有二阶连续的导函数,那么它的Fourier级数在上 一致收敛
周期延拓
在具体讨论函数的Fourier级数展开式时,常常只给出函数在或上的解析表达式,但应当理解为它是定义在整个数轴上以为周期的函数. 即在以外的部分按照周期性作周期延拓
计算程序
- 计算
- 计算, 通常利用分部积分,可以利用表格积分法
- 计算在端点 和 不连续点上,级数收敛至哪个值
注意
- Fourier级数的第一项是
- 由于周期性,端点的收敛值等于趋近于区间两侧的极限的平均值,两个端点的收敛值应当是一样的
- 积分上下界不一定是关于原点对称的,应该按照定义域来
以为周期的函数的展开式
设是以为周期的函数,通过变量置换
则可以把变换成以为周期的的. 若在上可积,则在 上也可积,这时函数的Fourier级数展开式就是
其中
偶函数与奇函数的Fourier级数
若是定义在上的偶函数,则有
右边的级数称为余弦级数
若是定义在上的奇函数,则有
右边的级数称为正弦级数
在实际应用中,有时候需要把定义在上的函数展开成余弦级数或正弦级数. 所以,我们可以先把定义在上的函数作偶式延拓和奇式延拓,使它在上成为一个偶函数/奇函数. 然后在求其的Fourier展开式
收敛定理的证明
预备定理
Bessel 不等式
Fejer和
若是以为周期的函数,且在上可积,则它的Fourier级数的部分和可写成
当时,被积函数中的不定式由极限
来确定