第十一章 傅立叶级数与积分变换
在理论和应用上,常常要考察一个函数与一正交函数系之间的关系.傅立叶级数理论就是研究在有限区间上的这个关系,对于区间是无限的情况,傅立叶变换理论(包括傅立叶变换,拉普拉斯变换等积分变换),就是这一理论的推广.本章重点介绍在有限区间上函数用傅立叶三角级数表示,在无限区间上函数用某种特殊的积分形式表示,如傅立叶变换,拉普拉斯变换,梅林变换,汉克尔变换等,这些都是傅立叶分析的重要内容.
傅立叶分析在研究振动和波动现象及解数学物理方程时是个重要的工具.它在物理上还说明:任意波形总能进行谱分解,即表为不同频率,不同振幅的简谐波的线性叠加.在六十年代发展了快速傅立叶变换,为傅立叶分析在实际中的广泛应用创造了条件,本章收集了关于这方面的部分内容.
§1 傅立叶级数
一、 三角级数与傅立叶级数
[正交函数系] 一个函数系
(1)
其中每个函数都是定义在区间上的实函数或实变量的复值函数,如果满足
(m
n )
就称函数系(1)为区间上的正交函数系,式中
是
的共轭函数.如果再满足

就称函数系(1)为上的标准(规范)正交函数系.例如

是区间上的正交函数系,式中
,函数系
是区间上的标准正交函数系.
设给定函数系
(2)
其中自变量x取有限个离散值

满足

就称函数系(2)为标准正交函数系,式中

例如取

就是一个标准正交函数系.
[三角级数的几种类型]
类 型 |
表 达 式 |
|
实 数 型 余 弦 级 数 正 弦 级 数 |
式中 |
|
复 数 型 |
式中 |
[傅立叶级数] 设函数在区间
上绝对可积,且令

以为系数作三角级数

它称为的傅立叶级数,
称为
的傅立叶系数.不管级数(1)是否收敛,或者收敛而不管它是否等于
,都记作
~
如果的傅立叶级数点点收敛,而且它的和等于
(除去有限个点外),那末级数(1)称为
的傅立叶展开,记作

注意:1o 如果在区间
上绝对可积,那末一定有它的傅立叶级数,但是,不一定有它的傅立叶展开(可以展开的条件参看本节,四).
2o 如果在区间上有一个三角级数一致收敛(或囿收敛,即部分和点点收敛且一致有界)于函数
,那末这个级数就是函数
的傅立叶展开.
3o 区间上两个绝对可积函数
,
,如果除去有限个点外处处相等(可以推广到几乎处处相等*,那末
和
的所有对应的傅立叶系数都一致.
4o 定义,那末函数
的定义域可推广到整个数轴,求傅立叶系数的积分区间可以换成长度为
的任意区间,例如
等.
* 如果除掉一个测度等于零的点集外与g ( x )都相等,那末称
与g ( x )几乎处处相等。关于测度的定义,见第九章§7,一。