三角级数·正交函数系
最简单的周期运动,可用正弦函数
(1)
来描述,由(1)所表达的周期运动也称为简谐振动.由无穷多个简谐振动进行叠加就得到函数项级数
若级数(2)收敛,则它所描述的是更为一般的周期运动现象.只讨论的情形得
它是由三角函数列(也称三角函数系)
(4)
若两个函数与在[a,b]上可积,且则称函数与在[a,b]上是正交的.由此,三角函数系(4)在上具有正交性,或称(4)是正交函数系.
一致收敛判别定理
在三角函数系(4)中,任何两个不相同的函数的乘积在上的积都等于零,即
在三角函数系(4)中任何一个函数的平方在上的积分都不等于零,即
棣莫弗公式
以为周期的傅里叶级数
若在整个数轴上
且等式右边级数一致收敛,则有如下关系式:
一般地说,若f是以为周期且在上可积的函数,则称为函数f(关于三角函数系)的傅里叶系数,三角级数(5)称为f(关于三角函数系)的傅里叶级数,记作
上式中,符号"~"仅表示三角级数是由f(x)所生成的,并不意味着级数就等于f(x)也不意味着级数是否收敛.
傅里叶级数收敛定理
以为周期的函数f在上按段光滑,则在每一点,f的傅里叶级数(7)收敛于f在点x的左、右极限的算术平均值,即
其中为f的傅里叶系数.
下面先对定理中的某些概念作解释,然后举例说明如何运用这个定理把函数展开成傅里叶级数.
我们知道,若f的导函数在[a,b]上光滑.但若定义在[a,b]上除了至多有有限个第一类间断点的函数f的导函数在[a,b]上除了至多有限个点外都存在且连续,且在这有限个点上导函数f'的左、右极限存在,则称f在[a,b]上按段光滑.
根据上述定义,若函数f在[a,b]上按段光滑,则有如下重要性质:
1.f在[a,b]上可积.
2.在[a,b]上每一点都存在,且有
3.补充定义f'在[a,b]上那些至多有限个不存在点上的值后(仍记为f'),f'在[a,b]上可积.
从几何图形上讲,在区间[a,b]上按段光滑函数,是由有限个光滑弧段所组成,它至多有有限个第一类间断点和角点.
推论 若f是以为周期的连续函数,且在上按段光滑,则f的傅里叶级数在上收敛于f.
根据收敛定理的假设,f是以为周期的函数,所以系数公式(6)中的积分区间可以改为长度为的任何区间,而不影响的值:
其中c为任何实数.
注意:在具体讨论函数的傅里叶级数展开式时,常只给出函数f在(或)上的表达式,但应理解为它是定义在整个数轴上以为周期的函数.即在以外的部分按函数在上的对应关系作周期延拓.如f为上的解析表达式,那么周期延拓后的函数为
因此我们说函数f的傅里叶级数就是指函数的傅里叶级数.