1. 傅里叶级数(Fourier series)
为什么用简单的三角函数,
与
,就能表示周期函数?本质原因在于
与
在一个周期内是两两正交的,即:
.
因此,
与
为函数空间的一组正交基。函数空间(此处应为希尔伯特空间:完备的内积空间)中任何一个函数都可以用这些基来表示,就如三维欧式空间中任何一个向量都可以用
来表示一样,不同之处在于对于函数的表示是无穷维的。 如对方波函数
:
其傅里叶级数可以表示为:
此处方波函数为奇函数,只需
。求各系数非常简单,方程两边同乘
,然后在一个周期内积分,可得:
如图:
注意:在靠近间断点x=0处,随着所用项(基)的增多,波动(overshoot)越来越靠近间断点,这种现象叫做吉布斯现象(Gibbs phenomenon)。只能减小其影响,但无法避免,这是处理不连续函数的一个巨大障碍。关于吉布斯现象,有个很有意思的典故,见下图。
类似地,对于偶函数
,只需用
表示为:
一般地,任何一个函数
(既不是奇函数,也不是偶函数)可以表示为:
求各系数特别简单,等式两边分别同乘
然后在一个周期内积分可分别得到
.
,
,
.
更进一步地,推广到复数域。我们知道
与
是正交的(内积为0),即:
.
也就是说
是希尔伯特空间的一组正交基。注意此处复数内积运算,乘
。
则任何一个函数
可以表示为:
.
要求
,两边同乘
,然后在一个周期内积分:
则:
是连续的,
是间断的。
2.傅里叶变换(Fourier transform)
上面的傅里叶级数是用于分析连续周期函数,更一般地,对于连续非周期函数,则傅里叶变换为:
,
傅里叶逆变换为:
.
证明:
连续非周期,
也是连续非周期。
常见的傅里叶变换组合:
FT基本性质:
1)线性,
.
2)平移,
,
.
3)伸缩,
4)微分,
.
5)卷积,
.
6)Parsevel's relation,
.
个人笔记,有错请指出。