第十一章 傅立叶级数与积分变换

在理论和应用上，常常要考察一个函数与一正交函数系之间的关系.傅立叶级数理论就是研究在有限区间上的这个关系，对于区间是无限的情况，傅立叶变换理论(包括傅立叶变换，拉普拉斯变换等积分变换)，就是这一理论的推广.本章重点介绍在有限区间上函数用傅立叶三角级数表示，在无限区间上函数用某种特殊的积分形式表示，如傅立叶变换，拉普拉斯变换，梅林变换，汉克尔变换等，这些都是傅立叶分析的重要内容.

傅立叶分析在研究振动和波动现象及解数学物理方程时是个重要的工具.它在物理上还说明：任意波形总能进行谱分解，即表为不同频率，不同振幅的简谐波的线性叠加.在六十年代发展了快速傅立叶变换，为傅立叶分析在实际中的广泛应用创造了条件，本章收集了关于这方面的部分内容.

§1 傅立叶级数

一、 三角级数与傅立叶级数

[正交函数系] 一个函数系

(1)

其中每个函数都是定义在区间上的实函数或实变量的复值函数，如果满足

( m ¹ n )

就称函数系(1)为区间上的正交函数系，式中是的共轭函数.如果再满足

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

是区间上的正交函数系，式中，函数系

是区间上的标准正交函数系.

设给定函数系

(2)

其中自变量x取有限个离散值

满足

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

例如取

就是一个标准正交函数系.

[三角级数的几种类型]

类 型	表 达 式
实 数 型 余 弦 级 数 正 弦 级 数	式中 是实常数
复 数 型	式中 ,,,

[傅立叶级数] 设函数在区间上绝对可积，且令

以为系数作三角级数

它称为的傅立叶级数，称为的傅立叶系数.不管级数(1)是否收敛，或者收敛而不管它是否等于，都记作

～

如果的傅立叶级数点点收敛，而且它的和等于(除去有限个点外)，那末级数(1)称为的傅立叶展开，记作

注意：1^o 如果在区间上绝对可积，那末一定有它的傅立叶级数，但是，不一定有它的傅立叶展开(可以展开的条件参看本节，四).

2^o 如果在区间上有一个三角级数一致收敛(或囿收敛，即部分和点点收敛且一致有界)于函数，那末这个级数就是函数的傅立叶展开.

3^o 区间上两个绝对可积函数，，如果除去有限个点外处处相等(可以推广到几乎处处相等)，那末和的所有对应的傅立叶系数都一致.

4^o 定义，那末函数的定义域可推广到整个数轴，求傅立叶系数的积分区间可以换成长度为的任意区间，例如等.

二、 f ( x )在其他区间上的傅立叶级数

[在区间上]

～

或者

f ( x )～

=

特别，若是偶函数，则b_n= 0，得到的傅立叶余弦级数

～

若是奇函数，则，得到的傅立叶正弦级数

～

[在[-l , l]区间上]

～

或者

～

当是偶函数或奇函数时，同区间上的情形一样，分别有余弦级数或正弦级数.

[在区间上]

～

或者

f ( x )～

三、 傅立叶系数的性质

1^o 绝对可积函数的傅立叶系数收敛于零，即

特别，如果在区间上有有界变差，或者单调上升有界，或在上分段单调，那末都有

如果及它们一直到阶的导数在区间上都是有界变差函数，或者都单调上升有界，或在上分段单调，那末

,

2^o 如果函数在上平方可积，那末

这个公式称为帕塞法耳等式或封闭性方程.

3^o 如果函数，在上平方可积，它们的傅立叶级数是

～

～

那末有下面的广义封闭性方程

4^o 如果函数在区间上绝对可积，b_n是它的傅立叶级数的正

弦项系数，那末级数

收敛.

四、 傅立叶级数的收敛性及在第一类间断点的性质

[傅立叶级数收敛性的判别]

1^o 假设的傅立叶级数的部分和为

如果当,s_m(x)趋于(在某一点x趋于，或在某一区间内一致地趋于)函数，那末函数的傅立叶级数收敛于函数.

2^o 如果函数在开区间内分段单调，并在该区间内有有限个第一类间断点，那末(i) s_m(x)在连续点x收敛于；(ii)在第一类间断点x₀收敛于；(iii)在区间的端点，即 与上，等于.(狄利克莱定理)

3^o 如果函数在区间上分段可微，在连续点上有导数，在第一类间断点x₀处极限

和

存在，那末s_m(x)在连续点x上收敛于，在间断点x₀上收敛于

[吉布斯现象] 以为周期的函数具有第一类间断点，令，在点函数的跳跃为，假定函数在点的某邻域内没有其他间断点，且有有界变差.令函数的傅立叶级数部分和为s_m(x).那末函数的傅立叶级数在点处是收敛的，但在该邻域内不一致收敛.这时有一种奇怪的现象(称为吉布斯现象)出现：

存在点列，和，使得

因此，s_m(x)在间断点的邻域内的振幅的极限为

它比函数在点的跳跃量大(约18%)，或者是的倍(图11.1).

例 函数

的傅立叶级数为

～

点x=0为的第一类间断点,其跳跃D=π

y = s_m(x) (m=1,2,3,4,5,6)的曲线如图11.2.

存在点列 , , 使得

当时，s_m(x)的极限图形如图11.3(注意在点x=0的形状).

五、 傅立叶级数的逐项积分与微分

[逐项微分] 假定在区间上绝对可积函数的傅立叶级数是

～

那末不管它是否收敛于f ( x )，都可逐项积分. 即对任意区间 (其中，下列关系成立：

[逐项微分] 假定函数在区间上连续，,并有绝对可积的导数(可能有有限个点没有导数) ，那末函数的傅立叶级数可由逐项微分的傅立叶级数得到，即

～

这里没有指出右边级数是否收敛于 , 对具体问题还应作具体判断.

六、 函数的傅立叶级数展开式表

1^o

2^o

3^o

4^o

5^o

6^O

7^o

8^o

9^o

10^o

11^o

12^o

13^o

14^o

15^o

16^o

17^o

18^o

19^o

20^o

21^o

22^o

23^o

24^o

25^o

26^o

27^o

28^o

29^o

30^o

31^o

32^o (a不是整数，下同)

33^o

34^o

35^o

36^o

37^o

38^o

39^o (k为正整数，下同)

40^o

41^o

42^o

43^o

44^o

45^o

46^o

47^o

48^o

49^o

50^o

51^o

52^o

53^o

54^o

55^o

56^o

57^o

58^o

59^o

60^o

61^o

62^o

63^o

七、 二重傅立叶级数

假定双变量函数在矩形区域上绝对可积，那末它的二重傅立叶级数有两种形式.

[实数形式]

f (x, y)～

式中

[复数形式]

～

式中

[展开条件] 如果函数在矩形区域R内满足条件：

(i) 在R上偏导数和处处存在并且有界；

(ii) 在R的每个内点(x₀ , y₀)的某个邻域内，二阶偏导数(或)存在且连续.

那末可展开为傅立叶级数.

---

 如果除掉一个测度等于零的点集外与g ( x )都相等，那末称与g ( x )几乎处处相等。关于测度的定义，见第九章§7，一。

 有界变差定义见第五章 §1.

平方可积函数的定义见第九章 §7， 一.